alternating sign matrices and symmetry
DESCRIPTION
Alternating Sign Matrices and Symmetry. (or) Generalized Q*bert Games: An Introduction. (or) The Problem With Lewis Carroll. By Nickolas Chura. What to discuss…. What are Alternating Sign Matrices? A counting problem How are they symmetric? Some faces of Alternating Sign Matrices. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/1.jpg)
Alternating Sign Matricesand Symmetry
(or)
Generalized Q*bert Games: An Introduction
(or)
The Problem With Lewis Carroll
By Nickolas Chura
![Page 2: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/2.jpg)
What to discuss…
• What are Alternating Sign Matrices?
• A counting problem
• How are they symmetric?
• Some faces of Alternating Sign Matrices
![Page 3: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/3.jpg)
Matrices & Determinants
• A Matrix is a rectangular array of numbers.
• An example of a 3-by-3 matrix:
475.2
202
513
![Page 4: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/4.jpg)
Matrices & Determinants
• The determinant of a square matrix is a number.
• The study of Matrices and Determinants has been traced back to the 2nd century BC.
• Question: How are determinants computed?
Answer: Lots of ways. Here is a lesser-known
method…
![Page 5: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/5.jpg)
• Charles Dodgson (a.k.a. Lewis Carroll) developed a method for computing determinants called the method of condensation.
Matrices & Determinants
• So how does it work?
![Page 6: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/6.jpg)
Matrices & Determinants
The determinant of the 2-by-2 matrix
dc
ba
.bcad is defined to be the number
Example: The determinant of
45
13
is equal to 7512)5)(1()4)(3(
![Page 7: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/7.jpg)
Matrices & Determinants
The Method of Condensation –• Let A be an n-by-n matrix. Compute the
determinant of each connected 2-by-2 minor of A and form an (n-1)-by-(n-1) matrix from these numbers.
• Repeat this process until a 1-by-1 matrix results.• After 2 iterations, each entry in resulting
matrices must be divided by the center entry of the corresponding 3-by-3 submatrix 2 steps prior.
![Page 8: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/8.jpg)
Matrices & Determinants
The Method of Condensation –
Example:
100
272
440
10
254
36
6108
2108
475
2224
1412
0232
2311
210
20
![Page 9: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/9.jpg)
Matrices & Determinants
Why haven’t you heard of this method before?
475.2
202
513
Consider using condensation on our 1st example
of a matrix:
Will condensation give the correct answer of 31?
Ans: No. We will end up with 0/0.
![Page 10: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/10.jpg)
Matrices & Determinants
Ignoring the problem of division by zero, if we use
condensation on a general 3-by-3 matrix:
cegcdhbfgbdfhebdfhebdiafhaei
fheiegdh
cebfbdae
ihg
fed
cba
11
We get 7 distinct terms (up to sign)…
![Page 11: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/11.jpg)
Matrices & Determinants
For each term, create a 3-by-3 matrix whose entries
are the exponents of the variables in their original
positions.
cegcdhbfgbdfhebdiafhaei 1
001
010
100
010
001
100
001
100
010
010
111
010
100
001
010
010
100
001
100
010
001
![Page 12: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/12.jpg)
Matrices & Determinants
Things to notice about these matrices:• The entries are 0, 1, or -1
• The columns and rows each sum to 1
• The nonzero entries of rows and columns alternate in sign
001
010
100
010
001
100
001
100
010
010
111
010
100
001
010
010
100
001
100
010
001
![Page 13: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/13.jpg)
Definition: An Alternating Sign Matrix (or ASM) is an n-by-n matrix whose entries are each 0, 1, or
-1 with the property that the sum of each row or column is 1, and the non-zero entries in any row or column alternate in sign.
00010
01011
11100
01110
00100
10
01)1(Examples:
Any permutation matrix is an ASM.
![Page 14: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/14.jpg)
Alternating Sign Matrices
David Robbins introduced
ASMs and studied them along
with Howard Rumsey and
William Mills in the 1980s.
They conjectured that the
number of n-by-n ASMs is
given by the formula:
1
0 )!(
)!13(n
jn jn
jA
![Page 15: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/15.jpg)
Alternating Sign Matrices
nACompare the growth of and n!:
n n! An
1 1 1
2 2 2
3 6 7
4 24 42
5 120 429
6 720 7436
7 5040 218348
8 40320 10850216
9 362880 911835460
10 3628800 129534272700
![Page 16: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/16.jpg)
Alternating Sign Matrices• This is an important counting problem which answers many interesting questions.• Conjecture was proved in 1996 by Doron Zeilberger.• Also in 1996, Greg Kuperberg discovered a connection to physics, leading to a simpler proof.
![Page 17: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/17.jpg)
Alternating Sign Matrices
What did Kuperberg discover?
Physicists had been studying ASMs under a
different name: Square Ice
Square ice?
It is a 2-dimensional square lattice of water
molecules.
![Page 18: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/18.jpg)
Alternating Sign Matrices
An example of Square Ice:
![Page 19: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/19.jpg)
Alternating Sign MatricesSquare Ice is really a connected directed
graph:• Oxygen atoms are vertices• Hydrogen atoms are edges• An edge points toward the vertex which
it is bonded to• Require* that Hydrogens are bonded all along the sides and none top or bottom
![Page 20: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/20.jpg)
Alternating Sign Matrices
Our example of Square Ice seen as a graph:
![Page 21: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/21.jpg)
Alternating Sign Matrices
To change Square Ice into an ASM:• There are 6 types of internal vertices• Replace the vertices by 0, 1, or -1 according to their type
![Page 22: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/22.jpg)
Alternating Sign Matrices
Our Square Ice graph and its ASM:
0010
1000
0111
0010
![Page 23: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/23.jpg)
Alternating Sign MatricesTo change an ASM into Square Ice:• Replace the 1s and -1s by their vertex types.• Choose the 0-vertex type so orientations
along the horizontal and vertical paths through that vertex are unchanged.• Conclusion: ASMs and Square Ice
(with *) are in bijection.
![Page 24: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/24.jpg)
Square Ice• Impose coordinates on our graph.
• Define the parity of a vertex (x, y) to be the parity of x + y.
• Color an edge blue if it points from an odd
to an even vertex, color green otherwise.
![Page 25: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/25.jpg)
Square Ice
Our resulting graph becomes
![Page 26: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/26.jpg)
Square IceFacts about the 2-colored graph:
• Exterior edges alternate in color.• Monochromatic components are either paths connecting exterior vertices or they are
cycles.• The graph is determined by either the blue
or green subgraph.
![Page 27: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/27.jpg)
Square Ice
The 7 3-by-3 ASMs and their Square Ice
blue subgraphs:
010
111
010
001
010
100
010
001
100
001
100
010
100
001
010
010
100
001
100
010
001
![Page 28: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/28.jpg)
Square Ice
Now number the external blue vertices…
and call vertices joined by a path paired.
![Page 29: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/29.jpg)
Square Ice
Now rotate the numbers 60o anticlockwise…
and the pairing gets rotated clockwise.
![Page 30: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/30.jpg)
Square Ice
The pairing of these graphs is (2,3)(4,5)(6,1).
But after rotation, it becomes (1,2)(3,4)(5,6).
But we already had graphs with this pairing…
so there were 2 before and 2 after rotating.
![Page 31: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/31.jpg)
Square IceTheorem.
Let A(pb,pg,L) be the set of ASMs with blue
pairing pb, green pairing pg, and total number
of cycles L. If p/b is pb rotated clockwise and
p/g is pg rotated anticlockwise, then the sets
A(pb,pg,L) and A(p/b,p/
g,L) are in bijection.
We will construct this bijection in stages.
There is a more general property here:
![Page 32: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/32.jpg)
Square IceThe parity of a square in the graph is the
parity of its lower left or upper right vertex.
Here are the 1-squares…and here are the 0-squares.We refer to a square of parity k as a
k-square.
![Page 33: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/33.jpg)
Square IceCall a square alternating if its 4 sides
alternate in color around the square.
Here are the alternating squares.
![Page 34: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/34.jpg)
Square IceCall a vertex k-fixed if its incident blue edges
are on different k-squares.
These are the 1-fixed vertices.
![Page 35: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/35.jpg)
Square IceCall a vertex k-fixed if its incident blue edges
are on different k-squares.
These are the 0-fixed vertices.
![Page 36: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/36.jpg)
Square IceDefine functions Gk which switch the edge-
colors of all alternating k-squares.
Then define Hk = Gk O R where R switches
the color of every edge in the graph.
Finally, define the function G = H0 O H1 which
is our desired bijection!
![Page 37: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/37.jpg)
Square IceWhat needs to be shown?
• The functions Hk send paths to paths and
cycles to cycles.
Method: Show that k-fixed vertices are k-
fixed and connected before and after Hk.
Determine what happens on the edges of the graph to paths after Hk. Characterize
paths and cycles by their k-fixed vertices.
![Page 38: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/38.jpg)
Square IceWhat needs to be shown?• Show that the total number of cycles is unchanged.• The blue pairing rotates clockwise and the
green pairing rotates anticlockwise.• Show bijectivity of G.
![Page 39: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/39.jpg)
Square Ice• Finally, reflection over the line y = x composed with either Hk will rotate pairings
and preserve the total number of cycles.
• Conclude that D2n is a symmetry group on
ASMs.
![Page 40: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/40.jpg)
Now a large example…
000000010000000
000001010010000
000011100010010
000100100010000
001100010000000
000110110001000
000000001000000
011000011101111
000001000000000
000011000001000
001011101100010
101011100000000
000001000000000
001000000000000
000000000100000• Take a 15-by-15 ASM and look at its blue
subgraph.• Consider a path and see how the functions
H1 and H0 preserve the 1- and 0-vertices.
• Repeat for the green subgraph.
![Page 41: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/41.jpg)
Blue subgraph after H1Blue subgraph after H0Blue subgraph
The
1-vertices
The
0-vertices
![Page 42: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/42.jpg)
Green subgraph after H1after H0
The
1-vertices
The
0-vertices
![Page 43: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/43.jpg)
Another problem…Recall: An integer partition is a way to write
a positive integer as a sum of other positive
integers.
Example: The number 4 can be written as
4, 3+1, 2+2, 2+1+1, and 1+1+1+1.
This can be shown with a diagram…
![Page 44: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/44.jpg)
Another problem…
One method is by using Young Tableaux.
Here are the partitions of the number 4.
![Page 45: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/45.jpg)
Another problem…Mathematicians Percival MacMahon, Basil
Gordon, Donald Knuth, and others researched
a 3-D generalization of integer partitions.
Enter: Plane partitions
A plane partition is an assemblage of unit
cubes pushed into a corner.
![Page 46: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/46.jpg)
Another problem…
A plane partition of 11 cubes:
![Page 47: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/47.jpg)
Another problem…
But the most famous plane partition of all:
![Page 48: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/48.jpg)
Another problem…A descending plane partition of order n is
a 2-dimensional array of positive integers
less than or equal to n such that the left-
hand edges are successively indented, there
is weak decrease across rows and strict
decrease down columns, and the number of
entries in a row is strictly less than the
largest entry in that row.
![Page 49: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/49.jpg)
Another problem…
An example of a descending plane partition:
6 6 6 4 3 3 3 2
![Page 50: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/50.jpg)
Another problem…Theorem:
The number of descending plane partitions
with largest part less than or equal to r
equals the number of n-by-n ASMs.
![Page 51: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/51.jpg)
Even more problems!More counting problems are tied up in
counting ASMs.
Example: Jig saw puzzles
(see the poster)
![Page 52: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/52.jpg)
Conclusion
For people who like to count, ASMs are
where it’s at.
![Page 53: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/53.jpg)
References• The book Proofs and Confirmations by
David Bressoud• How the Alternating Sign Matrix Conjecture
Was Solved, by James Propp• A Large Dihedral Symmetry of the Set of
Alternating Sign Matrices, by Benjamin
Wieland
![Page 54: Alternating Sign Matrices and Symmetry](https://reader037.vdocument.in/reader037/viewer/2022110103/56814967550346895db6bc50/html5/thumbnails/54.jpg)
Thank You