- FindStat

edit this statistic or download as text // json

Identifier

St001965: Alternating sign matrices ⟶ ℤ

Values

[[1]] => 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>> Load all 1200 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 number of decreasable positions in the corner sum matrix of an alternating sign matrix.
A decreasable position in a corner sum matrix is an entry such that the matrix obtained by decreasing it by one yields the corner sum matrix of some alternating sign matrix.

Code

def statistic(a):
    c = a.corner_sum_matrix()
    n = c.nrows()
    return len([(i, j, c[i, j]) for i in range(1, n-1) for j in range(1, n-1)
                if c[i, j] == c[i+1, j] == c[i, j+1] == c[i-1, j] + 1 == c[i, j-1] + 1])

Created

May 20, 2025 at 11:23 by Martin Rubey

Updated

May 20, 2025 at 11:23 by Martin Rubey