- FindStat

Identifier

St001142: Dyck paths ⟶ ℤ

Values

[1,0] => 0

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

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

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

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

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

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

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

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

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

[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] => 2

[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] => 1

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

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

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

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

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

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

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

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

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

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

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

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

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

[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] => 2

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

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

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

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

[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] => 3

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

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

[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] => 2

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

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

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

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

[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] => 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[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] => 2

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

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

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

[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] => 4

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

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

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

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

[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] => 3

[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] => 2

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

[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] => 2

>>> 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

The projective dimension of the socle of the regular module as a bimodule in the Nakayama algebra corresponding to the Dyck path.

References

[1] Marczinzik, René Upper bounds for the dominant dimension of Nakayama and related algebras. zbMATH:06820683

Code

DeclareOperation("socletest",[IsList]);

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

local A,g,U,UU,g2;

A:=LIST[1];
U:=AlgebraAsModuleOverEnvelopingAlgebra(A);
UU:=SocleOfModule(U);
g:=ProjDimensionOfModule(UU,20);
return(g);
end);

Created

Apr 14, 2018 at 11:08 by Rene Marczinzik

Updated

Apr 14, 2018 at 11:08 by Rene Marczinzik