- FindStat

Identifier

St001215: Dyck paths ⟶ ℤ

Values

[1,0] => 0

[1,0,1,0] => 1

[1,1,0,0] => 0

[1,0,1,0,1,0] => 1

[1,0,1,1,0,0] => 1

[1,1,0,0,1,0] => 1

[1,1,0,1,0,0] => 2

[1,1,1,0,0,0] => 0

[1,0,1,0,1,0,1,0] => 1

[1,0,1,0,1,1,0,0] => 1

[1,0,1,1,0,0,1,0] => 2

[1,0,1,1,0,1,0,0] => 2

[1,0,1,1,1,0,0,0] => 1

[1,1,0,0,1,0,1,0] => 1

[1,1,0,0,1,1,0,0] => 1

[1,1,0,1,0,0,1,0] => 2

[1,1,0,1,0,1,0,0] => 2

[1,1,0,1,1,0,0,0] => 2

[1,1,1,0,0,0,1,0] => 1

[1,1,1,0,0,1,0,0] => 2

[1,1,1,0,1,0,0,0] => 3

[1,1,1,1,0,0,0,0] => 0

[1,0,1,0,1,0,1,0,1,0] => 1

[1,0,1,0,1,0,1,1,0,0] => 1

[1,0,1,0,1,1,0,0,1,0] => 2

[1,0,1,0,1,1,0,1,0,0] => 2

[1,0,1,0,1,1,1,0,0,0] => 1

[1,0,1,1,0,0,1,0,1,0] => 2

[1,0,1,1,0,0,1,1,0,0] => 2

[1,0,1,1,0,1,0,0,1,0] => 2

[1,0,1,1,0,1,0,1,0,0] => 2

[1,0,1,1,0,1,1,0,0,0] => 2

[1,0,1,1,1,0,0,0,1,0] => 2

[1,0,1,1,1,0,0,1,0,0] => 3

[1,0,1,1,1,0,1,0,0,0] => 3

[1,0,1,1,1,1,0,0,0,0] => 1

[1,1,0,0,1,0,1,0,1,0] => 1

[1,1,0,0,1,0,1,1,0,0] => 1

[1,1,0,0,1,1,0,0,1,0] => 2

[1,1,0,0,1,1,0,1,0,0] => 2

[1,1,0,0,1,1,1,0,0,0] => 1

[1,1,0,1,0,0,1,0,1,0] => 2

[1,1,0,1,0,0,1,1,0,0] => 2

[1,1,0,1,0,1,0,0,1,0] => 2

[1,1,0,1,0,1,0,1,0,0] => 2

[1,1,0,1,0,1,1,0,0,0] => 2

[1,1,0,1,1,0,0,0,1,0] => 3

[1,1,0,1,1,0,0,1,0,0] => 3

[1,1,0,1,1,0,1,0,0,0] => 3

[1,1,0,1,1,1,0,0,0,0] => 2

[1,1,1,0,0,0,1,0,1,0] => 1

[1,1,1,0,0,0,1,1,0,0] => 1

[1,1,1,0,0,1,0,0,1,0] => 2

[1,1,1,0,0,1,0,1,0,0] => 2

[1,1,1,0,0,1,1,0,0,0] => 2

[1,1,1,0,1,0,0,0,1,0] => 3

[1,1,1,0,1,0,0,1,0,0] => 3

[1,1,1,0,1,0,1,0,0,0] => 3

[1,1,1,0,1,1,0,0,0,0] => 3

[1,1,1,1,0,0,0,0,1,0] => 1

[1,1,1,1,0,0,0,1,0,0] => 2

[1,1,1,1,0,0,1,0,0,0] => 3

[1,1,1,1,0,1,0,0,0,0] => 4

[1,1,1,1,1,0,0,0,0,0] => 0

[1,0,1,0,1,0,1,0,1,0,1,0] => 1

[1,0,1,0,1,0,1,0,1,1,0,0] => 1

[1,0,1,0,1,0,1,1,0,0,1,0] => 2

[1,0,1,0,1,0,1,1,0,1,0,0] => 2

[1,0,1,0,1,0,1,1,1,0,0,0] => 1

[1,0,1,0,1,1,0,0,1,0,1,0] => 2

[1,0,1,0,1,1,0,0,1,1,0,0] => 2

[1,0,1,0,1,1,0,1,0,0,1,0] => 2

[1,0,1,0,1,1,0,1,0,1,0,0] => 2

[1,0,1,0,1,1,0,1,1,0,0,0] => 2

[1,0,1,0,1,1,1,0,0,0,1,0] => 2

[1,0,1,0,1,1,1,0,0,1,0,0] => 3

[1,0,1,0,1,1,1,0,1,0,0,0] => 3

[1,0,1,0,1,1,1,1,0,0,0,0] => 1

[1,0,1,1,0,0,1,0,1,0,1,0] => 2

[1,0,1,1,0,0,1,0,1,1,0,0] => 2

[1,0,1,1,0,0,1,1,0,0,1,0] => 3

[1,0,1,1,0,0,1,1,0,1,0,0] => 3

[1,0,1,1,0,0,1,1,1,0,0,0] => 2

[1,0,1,1,0,1,0,0,1,0,1,0] => 2

[1,0,1,1,0,1,0,0,1,1,0,0] => 2

[1,0,1,1,0,1,0,1,0,0,1,0] => 2

[1,0,1,1,0,1,0,1,0,1,0,0] => 2

[1,0,1,1,0,1,0,1,1,0,0,0] => 2

[1,0,1,1,0,1,1,0,0,0,1,0] => 3

[1,0,1,1,0,1,1,0,0,1,0,0] => 3

[1,0,1,1,0,1,1,0,1,0,0,0] => 3

[1,0,1,1,0,1,1,1,0,0,0,0] => 2

[1,0,1,1,1,0,0,0,1,0,1,0] => 2

[1,0,1,1,1,0,0,0,1,1,0,0] => 2

[1,0,1,1,1,0,0,1,0,0,1,0] => 3

[1,0,1,1,1,0,0,1,0,1,0,0] => 3

[1,0,1,1,1,0,0,1,1,0,0,0] => 3

[1,0,1,1,1,0,1,0,0,0,1,0] => 3

[1,0,1,1,1,0,1,0,0,1,0,0] => 3

[1,0,1,1,1,0,1,0,1,0,0,0] => 3

[1,0,1,1,1,0,1,1,0,0,0,0] => 3

>>> Load all 196 entries. <<<

search for individual values

searching the database for the individual values of this statistic

/ search for generating function

searching the database for statistics with the same generating function

click to show known generating functions

Description

Let X be the direct sum of all simple modules of the corresponding Nakayama algebra. Then the statistic gives the vector space dimension of the second Ext-group between X and the regular module.
For the first 196 values, the statistic also gives the number of indecomposable non-projective modules $X$ such that $\tau(X)$ has codominant dimension equal to one and projective dimension equal to one.

Code

DeclareOperation("ext2sim",[IsList]);

InstallMethod(ext2sim, "for a representation of a quiver", [IsList],0,function(LIST)

local A,N,RegA,g,temmi,UT,M,L,U,simA;

A:=LIST[1];
simA:=SimpleModules(A);N:=DirectSumOfQPAModules(simA);
RegA:=DirectSumOfQPAModules(IndecProjectiveModules(A));
return(Size(ExtOverAlgebra(NthSyzygy(N,1),RegA)[2]));
end);



DeclareOperation("testii",[IsList]);

InstallMethod(testii, "for a representation of a quiver", [IsList],0,function(LIST)

local A,RegA,CoRegA,t,simA,U,L;

A:=LIST[1];
t:=LIST[2];
L:=ARQuiverNak([A]);
U:=Filtered(L,x->IsProjectiveModule(x)=false and ProjDimensionOfModule(DTr(x),1)=1 and DominantDimensionOfModule(DualOfModule(DTr(x)),30)>=1);
return(Size(U));

end);

Created

Jun 20, 2018 at 22:21 by Rene Marczinzik

Updated

Oct 23, 2018 at 21:27 by Rene Marczinzik