- FindStat

edit this statistic or download as text // json

Identifier

St000076: Alternating sign matrices ⟶ ℤ

Values

[[1]] => 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[0,0,1,0],[0,1,-1,1],[1,0,0,0],[0,0,1,0]] => 6

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

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

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

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

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

[[0,0,1,0],[0,1,0,0],[1,-1,0,1],[0,1,0,0]] => 6

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

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

[[0,0,1,0],[1,0,-1,1],[0,0,1,0],[0,1,0,0]] => 6

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

[[0,1,0,0],[0,0,0,1],[1,-1,1,0],[0,1,0,0]] => 6

[[0,0,1,0],[0,1,-1,1],[1,-1,1,0],[0,1,0,0]] => 7

[[0,0,0,1],[0,1,0,0],[1,-1,1,0],[0,1,0,0]] => 8

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

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

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

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

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

[[0,0,1,0],[0,1,-1,1],[0,0,1,0],[1,0,0,0]] => 8

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[0,0,1,0,0],[0,1,-1,1,0],[1,0,0,0,0],[0,0,1,0,0],[0,0,0,0,1]] => 6

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

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

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

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

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

[[0,0,1,0,0],[0,1,0,0,0],[1,-1,0,1,0],[0,1,0,0,0],[0,0,0,0,1]] => 6

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

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

[[0,0,1,0,0],[1,0,-1,1,0],[0,0,1,0,0],[0,1,0,0,0],[0,0,0,0,1]] => 6

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

[[0,1,0,0,0],[0,0,0,1,0],[1,-1,1,0,0],[0,1,0,0,0],[0,0,0,0,1]] => 6

[[0,0,1,0,0],[0,1,-1,1,0],[1,-1,1,0,0],[0,1,0,0,0],[0,0,0,0,1]] => 7

[[0,0,0,1,0],[0,1,0,0,0],[1,-1,1,0,0],[0,1,0,0,0],[0,0,0,0,1]] => 8

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

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

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

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

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

[[0,0,1,0,0],[0,1,-1,1,0],[0,0,1,0,0],[1,0,0,0,0],[0,0,0,0,1]] => 8

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

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

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

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

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

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

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

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

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

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

>>> Load all 1664 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 rank of the alternating sign matrix in the alternating sign matrix poset.
This rank is the sum of the entries of the monotone triangle minus $\binom{n+2}{3}$, which is the smallest sum of the entries in the set of all monotone triangles with bottom row $1\dots n$.
Alternatively, $rank(A)=\frac{1}{2} \sum_{i,j=1}^n (i-j)^2 a_{ij}$, see [3, thm.5.1].

References

[1] Lascoux, A., Schützenberger, M.-P. Treillis et bases des groupes de Coxeter MathSciNet:1395667
[2] Striker, J. A unifying poset perspective on alternating sign matrices, plane partitions, Catalan objects, tournaments, and tableaux MathSciNet:2794039
[3] Kobayashi, M. A directed graph structure of alternating sign matrices arXiv:1903.08338

Code

def rank(self):
    sum = -binomial(len(self)+2,3)
    for i in range(len(self)):
        for j in range(len(self[i])):
            sum = sum + self[i][j]
    return sum

def statistic(a):
    return rank(a.to_monotone_triangle())

Created

Jun 11, 2013 at 16:42 by Jessica Striker

Updated

May 30, 2019 at 13:09 by Martin Rubey