![Page 1: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/1.jpg)
Proofs & Confirmations The story of the
alternating sign matrix conjecture
David M. Bressoud
Macalester College
Arizona State University
Tempe, AZ
March 19, 2009 These slides are available at
www.macalester.edu/~bressoud/talks
![Page 2: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/2.jpg)
Artwork by Greg Kuperberg
0 0 1 0 00 1 −1 0 11 −1 0 1 00 1 0 0 00 0 1 0 0
⎛
⎝
⎜⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟⎟
Square matrix:
• Entries are 0, 1, –1
• Row and column sums are +1
• Non-zero entries alternate in sign in each row
![Page 3: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/3.jpg)
Bill Mills
Howard Rumsey
IDA-CCR
David Robbins (1942–2003)
MAA Robbins Prize in algebra, combinatorics, or discrete math
![Page 4: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/4.jpg)
Charles L. Dodgson
aka Lewis Carroll
“Condensation of Determinants,” Proceedings of the Royal Society, London 1866
![Page 5: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/5.jpg)
Desnanot-Jacobi adjoint matrix theorem (Desnanot for n ≤ 6 in 1819, Jacobi for general case in 1833
M ji is matrix M with row i and column j removed.
detM =detM1
1 ⋅detMnn − detMn
1 ⋅detM1n
detM1,n1,n
Given that the determinant of the empty matrix is 1 and the determinant of a 1×1 is the entry in that matrix, this uniquely defines the determinant for all square matrices.
Carl Jacobi (1804–1851)
![Page 6: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/6.jpg)
detM =detM1
1 ⋅detMnn − detMn
1 ⋅detM1n
detM1,n1,n
detλ M =detλ M1
1 ⋅detλ Mnn + λ detλ Mn
1 ⋅detλ M1n
detλ M1,n1,n
det−1M = detM( )
detλ aji−1( )i, j=1
n= ai + λ aj( )1≤i< j≤n∏
![Page 7: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/7.jpg)
detλa bc d
⎛⎝⎜
⎞⎠⎟= ad + λbc
detλ
a b cd e fg h j
⎛
⎝
⎜⎜
⎞
⎠
⎟⎟ = aej + λ bdj + afh( ) + λ2 bfg + cdh( ) + λ 3ceg
+ λ 1+ λ( )bde−1 fh
detM =detM1
1 ⋅detMnn − detMn
1 ⋅detM1n
detM1,n1,n
detλ M =detλ M1
1 ⋅detλ Mnn + λ detλ Mn
1 ⋅detλ M1n
detλ M1,n1,n
![Page 8: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/8.jpg)
detλ
a1,1 a1,2 a1,3 a1,4
a2,1 a2,2 a2,3 a2,4
a3,1 a3,2 a3,3 a3,4
a4,1 a4,2 a4,3 a4,4
⎛
⎝
⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟
= a1,1a2,2a3,3a4,4
+ λ a1,2a2,1a3,3a4,4 + a1,1a2,3a3,2a4,4 + a1,1a2,2a3,4a4,3( )+ sums over other permutations × λ inversion number
+ λ 3 1+ λ−1( )a1,2a2,1a2,2−1 a2,3a3,4a4,2 +
+ λ 3 1+ λ−1( )2a1,2a2,1a2,2
−1 a2,3a3,2a3,3−1a3,4a4,3 +
![Page 9: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/9.jpg)
detλ
a1,1 a1,2 a1,3 a1,4
a2,1 a2,2 a2,3 a2,4
a3,1 a3,2 a3,3 a3,4
a4,1 a4,2 a4,3 a4,4
⎛
⎝
⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟
= a1,1a2,2a3,3a4,4
+ λ a1,2a2,1a3,3a4,4 + a1,1a2,3a3,2a4,4 + a1,1a2,2a3,4a4,3( )+ sums over other permutations × λ inversion number
+ λ 3 1+ λ−1( )a1,2a2,1a2,2−1 a2,3a3,4a4,2 +
+ λ 3 1+ λ−1( )2a1,2a2,1a2,2
−1 a2,3a3,2a3,3−1a3,4a4,3 +
0 1 0 01 −1 1 00 1 −1 10 0 1 0
⎛
⎝
⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟
0 1 0 01 −1 1 00 0 0 10 1 0 0
⎛
⎝
⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟
![Page 10: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/10.jpg)
detλ
a1,1 a1,2 a1,3 a1,4
a2,1 a2,2 a2,3 a2,4
a3,1 a3,2 a3,3 a3,4
a4,1 a4,2 a4,3 a4,4
⎛
⎝
⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟
= a1,1a2,2a3,3a4,4
+ λ a1,2a2,1a3,3a4,4 + a1,1a2,3a3,2a4,4 + a1,1a2,2a3,4a4,3( )+ sums over other permutations × λ inversion number
+ λ 3 1+ λ−1( )a1,2a2,1a2,2−1 a2,3a3,4a4,2 +
+ λ 3 1+ λ−1( )2a1,2a2,1a2,2
−1 a2,3a3,2a3,3−1a3,4a4,3 +
detλ xi, j( ) = λ Inv A( )
A= ai , j( )∑ 1+ λ−1( )N A( )
xi, jai , j
i, j∏
Sum is over all alternating sign matrices, N(A) = # of –1’s
![Page 11: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/11.jpg)
n
1
2
3
4
5
6
7
8
9
An
1
2
7
42
429
7436
218348
10850216
911835460
0 0 1 0 00 1 −1 0 11 −1 0 1 00 1 0 0 00 0 1 0 0
⎛
⎝
⎜⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟⎟
![Page 12: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/12.jpg)
n
1
2
3
4
5
6
7
8
9
An
1
2
7
42
429
7436
218348
10850216
911835460
= 3 × 11 × 13
= 22 × 11 × 132
= 22 × 132 × 17 × 19
= 23 × 13 × 172 × 192
= 22 × 5 × 172 × 193 × 23
= 2 × 3 × 7
How many n × n alternating sign matrices?
![Page 13: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/13.jpg)
n
1
2
3
4
5
6
7
8
9
An
1
2
7
42
429
7436
218348
10850216
911835460
0 0 1 0 00 1 −1 0 11 −1 0 1 00 1 0 0 00 0 1 0 0
⎛
⎝
⎜⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟⎟
There is exactly one 1 in the first row
![Page 14: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/14.jpg)
n
1
2
3
4
5
6
7
8
9
An
1
1+1
2+3+2
7+14+14+7
42+105+…
0 0 1 0 00 1 −1 0 11 −1 0 1 00 1 0 0 00 0 1 0 0
⎛
⎝
⎜⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟⎟
There is exactly one 1 in the first row
![Page 15: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/15.jpg)
1
1 1
2 3 2
7 14 14 7
42 105 135 105 42
429 1287 2002 2002 1287 429
![Page 16: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/16.jpg)
1
1 1
2 3 2
7 14 14 7
42 105 135 105 42
429 1287 2002 2002 1287 429
+ + +
![Page 17: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/17.jpg)
1
1 1
2 3 2
7 14 14 7
42 105 135 105 42
429 1287 2002 2002 1287 429
+ + +
![Page 18: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/18.jpg)
1
1 2/2 1
2 2/3 3 3/2 2
7 2/4 14 14 4/2 7
42 2/5 105 135 105 5/2 42
429 2/6 1287 2002 2002 1287 6/2 429
![Page 19: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/19.jpg)
1
1 2/2 1
2 2/3 3 3/2 2
7 2/4 14 5/5 14 4/2 7
42 2/5 105 7/9 135 9/7 105 5/2 42
429 2/6 1287 9/14 2002 16/16 2002 14/9 1287 6/2 429
![Page 20: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/20.jpg)
2/2
2/3 3/2
2/4 5/5 4/2
2/5 7/9 9/7 5/2
2/6 9/14 16/16 14/9 6/2
![Page 21: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/21.jpg)
1+1
1+1 1+2
1+1 2+3 1+3
1+1 3+4 3+6 1+4
1+1 4+5 6+10 4+10 1+5
Numerators:
![Page 22: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/22.jpg)
1+1
1+1 1+2
1+1 2+3 1+3
1+1 3+4 3+6 1+4
1+1 4+5 6+10 4+10 1+5
Conjecture 1:
Numerators:
An,kAn,k+1
=
n − 2k −1
⎛⎝⎜
⎞⎠⎟+
n −1k −1
⎛⎝⎜
⎞⎠⎟
n − 2n − k −1
⎛⎝⎜
⎞⎠⎟+
n −1n − k −1
⎛⎝⎜
⎞⎠⎟
![Page 23: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/23.jpg)
Conjecture 1:
Conjecture 2 (corollary of Conjecture 1):
An,kAn,k+1
=
n − 2k −1
⎛⎝⎜
⎞⎠⎟+
n −1k −1
⎛⎝⎜
⎞⎠⎟
n − 2n − k −1
⎛⎝⎜
⎞⎠⎟+
n −1n − k −1
⎛⎝⎜
⎞⎠⎟
An =3 j +1( )!n + j( )!j=0
n−1
∏ =1!⋅4!⋅7! 3n − 2( )!n!⋅ n +1( )! 2n −1( )!
![Page 24: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/24.jpg)
Richard Stanley
![Page 25: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/25.jpg)
Richard Stanley
George Andrews
Andrews’ Theorem: the number of descending plane partitions of size n is
An =3 j +1( )!n + j( )!j=0
n−1
∏ =1!⋅4!⋅7! 3n − 2( )!n!⋅ n +1( )! 2n −1( )!
![Page 26: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/26.jpg)
What is a descending
plane partition?
![Page 27: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/27.jpg)
Percy A. MacMahon
Plane Partition
Work begun in
1897
![Page 28: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/28.jpg)
6 5 5 4 3 3
Plane partition of 75
# of pp’s of 75 = pp(75)
![Page 29: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/29.jpg)
6 5 5 4 3 3
Plane partition of 75
# of pp’s of 75 = pp(75) = 37,745,732,428,153
![Page 30: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/30.jpg)
Generating function:
1+ pp j( )j=1
∞
∑ q j = 1+ q + 3q2 + 6q3 +13q4 +…
=1
1− qk( )kk=1
∞
∏
=1
1− q( ) 1− q2( )2 1− q3( )31912 MacMahon proves that the generating function for plane partitions in an n × n × n box is 1− qi+ j+ k−1
1− qi+ j+ k−21≤i, j ,k≤n∏
![Page 31: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/31.jpg)
Symmetric Plane Partition 4 3 2 1 1
3 2 2 1
2 2 1
1 1
1
![Page 32: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/32.jpg)
At the same time, he conjectures that the generating function for symmetric plane partitions is
1− qi+ j+ k−1
1− qi+ j+ k−21≤i= j≤n1≤k≤n
∏ 1− q2 i+ j+ k−1( )
1− q2 i+ j+ k−2( )1≤i< j≤n1≤k≤n
∏
“The reader must be warned that, although there is little doubt that this result is correct, … the result has not been rigorously established. … Further investigations in regard to these matters would be sure to lead to valuable work.’’ (1916)
![Page 33: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/33.jpg)
1971 Basil Gordon proves case for n = infinity
![Page 34: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/34.jpg)
1971 Basil Gordon proves case for n = infinity
1977 George Andrews and Ian Macdonald independently prove general case
![Page 35: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/35.jpg)
Cyclically Symmetric Plane Partition
![Page 36: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/36.jpg)
Macdonald’s Conjecture (1979): The generating function for cyclically symmetric plane partitions in B(n,n,n) is
“If I had to single out the most interesting open problem in all of enumerative combinatorics, this would be it.” Richard Stanley, review of Symmetric Functions and Hall Polynomials, Bulletin of the AMS, March, 1981.
1− q η 1+ht η( )( )
1− q η ht η( )η∈B /C3∏
![Page 37: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/37.jpg)
1979, Andrews counts cyclically symmetric plane partitions
![Page 38: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/38.jpg)
1979, Andrews counts cyclically symmetric plane partitions
![Page 39: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/39.jpg)
1979, Andrews counts cyclically symmetric plane partitions
![Page 40: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/40.jpg)
1979, Andrews counts cyclically symmetric plane partitions
![Page 41: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/41.jpg)
1979, Andrews counts cyclically symmetric plane partitions
length
width
L1 = W1 > L2 = W2 > L3 = W3 > …
![Page 42: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/42.jpg)
1979, Andrews counts descending plane partitions
length
width
L1 > W1 ≥ L2 > W2 ≥ L3 > W3 ≥ …
6 6 6 4 3
3 3
2
![Page 43: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/43.jpg)
length
width 6 6 6 4 3
3 3
2
Mills, Robbins, Rumsey Conjecture: # of n × n ASM’s with 1 at top of column j equals # of DPP’s ≤ n with exactly j–1 parts of size n.
![Page 44: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/44.jpg)
Discovered an easier proof of Andrews’ formula, using induction on j and n.
Used this inductive argument to prove Macdonald’s conjecture
“Proof of the Macdonald Conjecture,” Inv. Math., 1982
But they still didn’t have a proof of their conjecture!
![Page 45: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/45.jpg)
1983
Totally Symmetric Self-Complementary Plane Partitions
Vertical flip of ASM = complement of DPP ?
David Robbins
![Page 46: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/46.jpg)
Totally Symmetric Self-Complementary Plane Partitions
![Page 47: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/47.jpg)
![Page 48: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/48.jpg)
Robbins’ Conjecture: The number of TSSCPP’s in a 2n X 2n X 2n box is
3 j +1( )!n + j( )!j=0
n−1
∏ =1!⋅4!⋅7! 3n − 2( )!n!⋅ n +1( )! 2n −1( )!
![Page 49: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/49.jpg)
Robbins’ Conjecture: The number of TSSCPP’s in a 2n X 2n X 2n box is
1989: William Doran shows equivalent to counting lattice paths
1990: John Stembridge represents the counting function as a Pfaffian (built on insights of Gordon and Okada)
1992: George Andrews evaluates the Pfaffian, proves Robbins’ Conjecture
3 j +1( )!n + j( )!j=0
n−1
∏ =1!⋅4!⋅7! 3n − 2( )!n!⋅ n +1( )! 2n −1( )!
![Page 50: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/50.jpg)
December, 1992
Doron Zeilberger announces a proof that # of ASM’s of size n equals of TSSCPP’s in box of size 2n.
![Page 51: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/51.jpg)
December, 1992
Doron Zeilberger announces a proof that # of ASM’s of size n equals of TSSCPP’s in box of size 2n.
1995 all gaps removed, published as “Proof of the Alternating Sign Matrix Conjecture,” Elect. J. of Combinatorics, 1996.
![Page 52: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/52.jpg)
Zeilberger’s proof is an 84-page tour de force, but it still left open the original conjecture:
An,kAn,k+1
=
n − 2k −1
⎛⎝⎜
⎞⎠⎟+
n −1k −1
⎛⎝⎜
⎞⎠⎟
n − 2n − k −1
⎛⎝⎜
⎞⎠⎟+
n −1n − k −1
⎛⎝⎜
⎞⎠⎟
![Page 53: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/53.jpg)
1996 Kuperberg announces a simple proof
“Another proof of the alternating sign matrix conjecture,” International Mathematics Research Notices Greg Kuperberg
UC Davis
![Page 54: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/54.jpg)
1996 Kuperberg announces a simple proof
“Another proof of the alternating sign matrix conjecture,” International Mathematics Research Notices Greg Kuperberg
UC Davis
Physicists had been studying ASM’s for decades, only they called them the six-vertex model.
![Page 55: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/55.jpg)
Horizontal = 1
Vertical = –1
0 0 1 0 00 1 −1 0 11 −1 0 1 00 1 0 0 00 0 1 0 0
⎛
⎝
⎜⎜⎜⎜⎜
⎞
⎠
⎟⎟⎟⎟⎟
![Page 56: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/56.jpg)
1960’s
Anatoli Izergin Vladimir Korepin
1980’s
Rodney Baxter’s
Triangle-to-triangle relation
![Page 57: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/57.jpg)
det 1xi − yj( ) axi − yj( )
⎛
⎝⎜
⎞
⎠⎟
xi − yj( ) axi − yj( )i, j=1
n∏xi − x j( ) yi − yj( )1≤i< j≤n∏
= 1− a( )2N A( ) an(n−1)/2− Inv A( )
A∈An
∑× xi
vert∏ yj axi − yj( )
SW, NE∏ xi − yj( )
NW, SE∏
![Page 58: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/58.jpg)
a = z−4 , xi = z2 , yi = 1
RHS = z − z−1( )n n−1( )z + z−1( )2N A( )
A∈An
∑z = eπ i /3
RHS = −3( )n n−1( )/2 An
det 1xi − yj( ) axi − yj( )
⎛
⎝⎜
⎞
⎠⎟
xi − yj( ) axi − yj( )i, j=1
n∏xi − x j( ) yi − yj( )1≤i< j≤n∏
= 1− a( )2N A( ) an(n−1)/2− Inv A( )
A∈An
∑× xi
vert∏ yj axi − yj( )
SW, NE∏ xi − yj( )
NW, SE∏
![Page 59: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/59.jpg)
1996
Doron Zeilberger uses this determinant to prove the original conjecture
“Proof of the refined alternating sign matrix conjecture,” New York Journal of Mathematics
![Page 60: Proofs & Confirmations The story of the alternating sign ...bressoud/talks/2009/asm-ASU.pdf · Proofs & Confirmations The story of the alternating sign matrix conjecture David M](https://reader036.vdocuments.site/reader036/viewer/2022081615/5fe1f538ccdab9259d721e31/html5/thumbnails/60.jpg)
The End (which is really just the beginning)
These slides can be downloaded from
www.macalester.edu/~bressoud/talks