OFFSET
0,2
COMMENTS
a(n) is the number ordered pairs of semistandard Young tableaux of size 2*n or 2*n+1 with consecutive entries (i.e., if i is in T, and 1<=j<=i, then j is in T) and with conjugate shapes, which are both invariant under Schützenberger involution.
EXAMPLE
The a(2) = 32 matrices with sum of entries equal to 4:
[1 0 0 0] [0 0 0 1] [1 0 0 0] [0 0 0 1] [0 0 1 0] [0 1 0 0]
[0 1 0 0] [0 1 0 0] [0 0 1 0] [0 0 1 0] [0 0 0 1] [1 0 0 0]
[0 0 1 0] [0 0 1 0] [0 1 0 0] [0 1 0 0] [1 0 0 0] [0 0 0 1]
[0 0 0 1] [1 0 0 0] [0 0 0 1] [1 0 0 0] [0 1 0 0] [0 0 1 0]
.
[0 1 0 0] [0 0 1 0] [1 0 0] [0 1 0] [0 1 0] [0 0 1]
[0 0 0 1] [1 0 0 0] [0 1 0] [1 0 0] [0 0 1] [0 1 0]
[1 0 0 0] [0 0 0 1] [0 1 0] [0 0 1] [1 0 0] [0 1 0]
[0 0 1 0] [0 1 0 0] [0 0 1] [0 1 0] [0 1 0] [1 0 0]
.
[1 0] [0 1] [1 0] [0 1] [1]
[1 0] [0 1] [0 1] [1 0] [1]
[0 1] [1 0] [1 0] [0 1] [1]
[0 1] [1 0] [0 1] [1 0] [1]
.
[1 0 0 0] [0 1 0 0] [0 0 1 0] [0 0 0 1] [0 1 0] [1 0] [0 1]
[0 1 1 0] [1 0 0 1] [1 0 0 1] [0 1 1 0] [1 0 1] [1 1] [1 1]
[0 0 0 1] [0 0 1 0] [0 1 0 0] [1 0 0 0] [0 1 0] [0 1] [1 0]
.
[1 1 0 0] [0 0 1 1] [1 0 1 0] [0 1 0 1] [1 1 0] [0 1 1] [1 1]
[0 0 1 1] [1 1 0 0] [0 1 0 1] [1 0 1 0] [0 1 1] [1 1 0] [1 1]
.
[1 1 1 1]
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Ludovic Schwob, May 20 2024
STATUS
approved