Smith Normal Form and Combinatorics

Similar documents
Smith Normal Form and Combinatorics

A Multivariate Determinant Associated with Partitions (preliminary version)

SMITH NORMAL FORM OF A MULTIVARIATE MATRIX ASSOCIATED WITH PARTITIONS

The Matrix-Tree Theorem

THE SMITH NORMAL FORM OF A SPECIALIZED JACOBI-TRUDI MATRIX

SMITH NORMAL FORM IN COMBINATORICS

h r t r 1 (1 x i=1 (1 + x i t). e r t r = i=1 ( 1) i e i h r i = 0 r 1.

NOTES ABOUT SATURATED CHAINS IN THE DYCK PATH POSET. 1. Basic Definitions

Smith normal form of a multivariate matrix associated with partitions

Combinatorics for algebraic geometers

18.312: Algebraic Combinatorics Lionel Levine. Lecture 19

Notes on the Matrix-Tree theorem and Cayley s tree enumerator

TRIVARIATE MONOMIAL COMPLETE INTERSECTIONS AND PLANE PARTITIONS

WHAT IS a sandpile? Lionel Levine and James Propp

Shifted symmetric functions I: the vanishing property, skew Young diagrams and symmetric group characters

18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).

Question: Given an n x n matrix A, how do we find its eigenvalues? Idea: Suppose c is an eigenvalue of A, then what is the determinant of A-cI?

Standard Young Tableaux Old and New

Linear algebra and applications to graphs Part 1

LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS

Numerical Linear Algebra Homework Assignment - Week 2

Eigenvectors and Reconstruction

MATH 240 Spring, Chapter 1: Linear Equations and Matrices

Statistical Mechanics & Enumerative Geometry:

and let s calculate the image of some vectors under the transformation T.

Matrices and Linear Algebra

Plücker Relations on Schur Functions

Chapter 2:Determinants. Section 2.1: Determinants by cofactor expansion

Two Remarks on Skew Tableaux

1 Counting spanning trees: A determinantal formula

Sandpile Groups of Cubes

The Smith normal form distribution of a random integer matrix

Computing the rank of configurations on Complete Graphs

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman

Linear Algebra M1 - FIB. Contents: 5. Matrices, systems of linear equations and determinants 6. Vector space 7. Linear maps 8.

The critical group of a graph

Statistical Mechanics and Combinatorics : Lecture IV

Smith normal forms of matrices associated with the Grassmann graphs of lines in

EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE EIGHT: EQUIVARIANT COHOMOLOGY OF GRASSMANNIANS II. σ λ = [Ω λ (F )] T,

Witt vectors and total positivity

Operators on k-tableaux and the k-littlewood Richardson rule for a special case. Sarah Elizabeth Iveson

Two Remarks on Skew Tableaux

Very few Moore Graphs

SPRING OF 2008 D. DETERMINANTS

MATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS

Product distance matrix of a tree with matrix weights

Eigenvalues of the Redheffer Matrix and Their Relation to the Mertens Function

Row Space and Column Space of a Matrix

Matrices. In this chapter: matrices, determinants. inverse matrix

Eigenvalues and Eigenvectors

The Structure of the Jacobian Group of a Graph. A Thesis Presented to The Division of Mathematics and Natural Sciences Reed College

Smith Normal Forms of Strongly Regular graphs

Linear Algebra in Actuarial Science: Slides to the lecture

POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS

c c c c c c c c c c a 3x3 matrix C= has a determinant determined by

Critical Groups for Cayley Graphs of Bent Functions

A Murnaghan-Nakayama Rule for k-schur Functions

22m:033 Notes: 3.1 Introduction to Determinants

Econ Slides from Lecture 7

On Tensor Products of Polynomial Representations

Chapter 3. Determinants and Eigenvalues

0.1 Rational Canonical Forms

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Counting Matrices Over a Finite Field With All Eigenvalues in the Field

An Introduction to Spectral Graph Theory

LS.1 Review of Linear Algebra

TOWARDS A COMBINATORIAL CLASSIFICATION OF SKEW SCHUR FUNCTIONS

Lecture 1 and 2: Random Spanning Trees

The (q, t)-catalan Numbers and the Space of Diagonal Harmonics. James Haglund. University of Pennsylvania

LINEAR ALGEBRA REVIEW

Ma/CS 6b Class 23: Eigenvalues in Regular Graphs

Littlewood Richardson polynomials

On Multiplicity-free Products of Schur P -functions. 1 Introduction

Online Exercises for Linear Algebra XM511

Math 205, Summer I, Week 4b: Continued. Chapter 5, Section 8

Multiplicity Free Expansions of Schur P-Functions

Lecture Summaries for Linear Algebra M51A

ORIE 6334 Spectral Graph Theory September 8, Lecture 6. In order to do the first proof, we need to use the following fact.

Counting matrices over finite fields

5 Quiver Representations

On the critical group of the n-cube

8 Extremal Values & Higher Derivatives

18.S34 linear algebra problems (2007)

Math Linear Algebra Final Exam Review Sheet

1 Determinants. 1.1 Determinant

A Formula for the Specialization of Skew Schur Functions

Combinatorial properties of the numbers of tableaux of bounded height

Boolean Product Polynomials and the Resonance Arrangement

Math 205, Summer I, Week 4b:

LINEAR ALGEBRA SUMMARY SHEET.

Algorithms to Compute Bases and the Rank of a Matrix

Chromatic bases for symmetric functions

Spectra of Semidirect Products of Cyclic Groups

Refined Cauchy/Littlewood identities and partition functions of the six-vertex model

The Littlewood-Richardson Rule

Identities for minors of the Laplacian, resistance and distance matrices

City Suburbs. : population distribution after m years

SOME POSITIVE DIFFERENCES OF PRODUCTS OF SCHUR FUNCTIONS

A note on quantum products of Schubert classes in a Grassmannian

A = 3 1. We conclude that the algebraic multiplicity of the eigenvalues are both one, that is,

Transcription:

Smith Normal Form and Combinatorics p. 1 Smith Normal Form and Combinatorics Richard P. Stanley

Smith Normal Form and Combinatorics p. 2 Smith normal form A: n n matrix over commutative ring R (with 1) Suppose there exist P, Q GL(n, R) such that PAQ := B = diag(d 1,d 1 d 2,...d 1 d 2 d n ), where d i R. We then call B a Smith normal form (SNF) of A.

Smith Normal Form and Combinatorics p. 2 Smith normal form A: n n matrix over commutative ring R (with 1) Suppose there exist P, Q GL(n, R) such that PAQ := B = diag(d 1,d 1 d 2,...d 1 d 2 d n ), where d i R. We then call B a Smith normal form (SNF) of A. NOTE. (1) Can extend to m n. (2) unit det(a) = det(b) = d n 1 dn 1 2 d n. Thus SNF is a refinement of det.

Smith Normal Form and Combinatorics p. 3 Row and column operations Can put a matrix into SNF by the following operations. Add a multiple of a row to another row. Add a multiple of a column to another column. Multiply a row or column by a unit in R.

Smith Normal Form and Combinatorics p. 3 Row and column operations Can put a matrix into SNF by the following operations. Add a multiple of a row to another row. Add a multiple of a column to another column. Multiply a row or column by a unit in R. Over a field, SNF is row reduced echelon form (with all unit entries equal to 1).

Smith Normal Form and Combinatorics p. 4 Existence of SNF If R is a PID, such as Z or K[x] (K = field), then A has a unique SNF up to units.

Smith Normal Form and Combinatorics p. 4 Existence of SNF If R is a PID, such as Z or K[x] (K = field), then A has a unique SNF up to units. Otherwise A typically does not have a SNF but may have one in special cases.

Smith Normal Form and Combinatorics p. 5 Algebraic interpretation of SNF R: a PID A: an n n matrix over R with rows v 1,...,v n R n diag(e 1,e 2,...,e n ): SNF of A

Smith Normal Form and Combinatorics p. 5 Algebraic interpretation of SNF R: a PID A: an n n matrix over R with rows v 1,...,v n R n diag(e 1,e 2,...,e n ): SNF of A Theorem. R n /(v 1,...,v n ) = (R/e 1 R) (R/e n R).

Smith Normal Form and Combinatorics p. 5 Algebraic interpretation of SNF R: a PID A: an n n matrix over R with rows v 1,...,v n R n diag(e 1,e 2,...,e n ): SNF of A Theorem. R n /(v 1,...,v n ) = (R/e 1 R) (R/e n R). R n /(v 1,...,v n ): (Kastelyn) cokernel of A

Smith Normal Form and Combinatorics p. 6 An explicit formula for SNF R: a PID A: an n n matrix over R with det(a) 0 diag(e 1,e 2,...,e n ): SNF of A

Smith Normal Form and Combinatorics p. 6 An explicit formula for SNF R: a PID A: an n n matrix over R with det(a) 0 diag(e 1,e 2,...,e n ): SNF of A Theorem. e 1 e 2 e i is the gcd of all i i minors of A. minor: determinant of a square submatrix. Special case: e 1 is the gcd of all entries of A.

Smith Normal Form and Combinatorics p. 7 An example Reduced Laplacian matrix of K 4 : 3 1 1 A = 1 3 1 1 1 3

Smith Normal Form and Combinatorics p. 7 An example Reduced Laplacian matrix of K 4 : 3 1 1 A = 1 3 1 1 1 3 Matrix-tree theorem = det(a) = 16, the number of spanning trees of K 4.

Smith Normal Form and Combinatorics p. 7 An example Reduced Laplacian matrix of K 4 : 3 1 1 A = 1 3 1 1 1 3 Matrix-tree theorem = det(a) = 16, the number of spanning trees of K 4. What about SNF?

Smith Normal Form and Combinatorics p. 8 An example (continued) 3 1 1 1 3 1 1 1 3 0 0 1 0 4 0 4 4 0 0 0 1 4 4 1 8 4 3 0 0 1 0 4 0 4 0 0 0 0 1 4 4 0 8 4 0 4 0 0 0 4 0 0 0 1

Smith Normal Form and Combinatorics p. 9 Laplacian matrices L 0 (G): reduced Laplacian matrix of the graph G Matrix-tree theorem. detl 0 (G) = κ(g), the number of spanning trees of G.

Smith Normal Form and Combinatorics p. 9 Laplacian matrices L 0 (G): reduced Laplacian matrix of the graph G Matrix-tree theorem. detl 0 (G) = κ(g), the number of spanning trees of G. Theorem. L 0 (K n ) SNF diag(1,n,n,...,n), a refinement of Cayley s theorem that κ(k n ) = n n 2.

Smith Normal Form and Combinatorics p. 9 Laplacian matrices L 0 (G): reduced Laplacian matrix of the graph G Matrix-tree theorem. detl 0 (G) = κ(g), the number of spanning trees of G. Theorem. L 0 (K n ) SNF diag(1,n,n,...,n), a refinement of Cayley s theorem that κ(k n ) = n n 2. In general, SNF of L 0 (G) not understood.

Smith Normal Form and Combinatorics p. 10 Chip firing Abelian sandpile: a finite collection σ of indistinguishable chips distributed among the vertices V of a (finite) connected graph. Equivalently, σ: V {0,1,2,...}.

Chip firing Abelian sandpile: a finite collection σ of indistinguishable chips distributed among the vertices V of a (finite) connected graph. Equivalently, σ: V {0,1,2,...}. toppling of a vertex v: if σ(v) deg(v), then send a chip to each neighboring vertex. 0 5 6 1 2 7 1 2 2 1 3 2 Smith Normal Form and Combinatorics p. 10

Smith Normal Form and Combinatorics p. 11 The sandpile group Choose a vertex to be a sink, and ignore chips falling into the sink. stable configuration: no vertex can topple Theorem (easy). After finitely many topples a stable configuration will be reached, which is independent of the order of topples.

Smith Normal Form and Combinatorics p. 12 The monoid of stable configurations Define a commutative monoid M on the stable configurations by vertex-wise addition followed by stabilization. ideal of M: subset J M satisfying σj J for all σ M

Smith Normal Form and Combinatorics p. 12 The monoid of stable configurations Define a commutative monoid M on the stable configurations by vertex-wise addition followed by stabilization. ideal of M: subset J M satisfying σj J for all σ M Exercise. The (unique) minimal ideal of a finite commutative monoid is a group.

Smith Normal Form and Combinatorics p. 13 Sandpile group sandpile group of G: the minimal ideal K(G) of the monoid M Fact. K(G) is independent of the choice of sink up to isomorphism.

Smith Normal Form and Combinatorics p. 13 Sandpile group sandpile group of G: the minimal ideal K(G) of the monoid M Fact. K(G) is independent of the choice of sink up to isomorphism. Theorem. Let Then L 0 (G) SNF diag(e 1,...,e n 1 ). K(G) = Z/e 1 Z Z/e n 1 Z.

Smith Normal Form and Combinatorics p. 14 Second example Some matrices connected with Young diagrams

Smith Normal Form and Combinatorics p. 15 Extended Young diagrams λ: a partition (λ 1,λ 2,...), identified with its Young diagram (3,1)

Smith Normal Form and Combinatorics p. 15 Extended Young diagrams λ: a partition (λ 1,λ 2,...), identified with its Young diagram (3,1) λ : λ extended by a border strip along its entire boundary

Smith Normal Form and Combinatorics p. 15 Extended Young diagrams λ: a partition (λ 1,λ 2,...), identified with its Young diagram (3,1) λ : λ extended by a border strip along its entire boundary (3,1)* = (4,4,2)

Smith Normal Form and Combinatorics p. 16 Initialization Insert 1 into each square of λ /λ. 1 1 1 1 1 1 (3,1)* = (4,4,2)

Smith Normal Form and Combinatorics p. 17 M t Let t λ. Let M t be the largest square of λ with t as the upper left-hand corner.

Smith Normal Form and Combinatorics p. 17 M t Let t λ. Let M t be the largest square of λ with t as the upper left-hand corner. t

Smith Normal Form and Combinatorics p. 17 M t Let t λ. Let M t be the largest square of λ with t as the upper left-hand corner. t

Smith Normal Form and Combinatorics p. 18 Determinantal algorithm Suppose all squares to the southeast of t have been filled. Insert into t the number n t so that detm t = 1.

Smith Normal Form and Combinatorics p. 18 Determinantal algorithm Suppose all squares to the southeast of t have been filled. Insert into t the number n t so that detm t = 1. 1 1 1 1 1 1

Smith Normal Form and Combinatorics p. 18 Determinantal algorithm Suppose all squares to the southeast of t have been filled. Insert into t the number n t so that detm t = 1. 2 1 1 1 1 1 1

Smith Normal Form and Combinatorics p. 18 Determinantal algorithm Suppose all squares to the southeast of t have been filled. Insert into t the number n t so that detm t = 1. 2 1 2 1 1 1 1 1

Smith Normal Form and Combinatorics p. 18 Determinantal algorithm Suppose all squares to the southeast of t have been filled. Insert into t the number n t so that detm t = 1. 2 1 3 2 1 1 1 1 1

Smith Normal Form and Combinatorics p. 18 Determinantal algorithm Suppose all squares to the southeast of t have been filled. Insert into t the number n t so that detm t = 1. 5 2 1 3 2 1 1 1 1 1

Smith Normal Form and Combinatorics p. 18 Determinantal algorithm Suppose all squares to the southeast of t have been filled. Insert into t the number n t so that detm t = 1. 9 5 2 1 3 2 1 1 1 1 1

Smith Normal Form and Combinatorics p. 19 Uniqueness Easy to see: the numbers n t are well-defined and unique.

Smith Normal Form and Combinatorics p. 19 Uniqueness Easy to see: the numbers n t are well-defined and unique. Why? Expand detm t by the first row. The coefficient of n t is 1 by induction.

Smith Normal Form and Combinatorics p. 20 λ(t) If t λ, let λ(t) consist of all squares of λ to the southeast of t.

Smith Normal Form and Combinatorics p. 20 λ(t) If t λ, let λ(t) consist of all squares of λ to the southeast of t. t λ = (4,4,3)

Smith Normal Form and Combinatorics p. 20 λ(t) If t λ, let λ(t) consist of all squares of λ to the southeast of t. t λ = (4,4,3) λ( t ) = (3,2)

Smith Normal Form and Combinatorics p. 21 u λ u λ = #{µ : µ λ}

Smith Normal Form and Combinatorics p. 21 u λ Example. u (2,1) = 5: u λ = #{µ : µ λ} φ

Smith Normal Form and Combinatorics p. 21 u λ Example. u (2,1) = 5: u λ = #{µ : µ λ} φ There is a determinantal formula for u λ, due essentially to MacMahon and later Kreweras (not needed here).

Smith Normal Form and Combinatorics p. 22 Carlitz-Scoville-Roselle theorem Berlekamp (1963) first asked for n t (mod 2) in connection with a coding theory problem. Carlitz-Roselle-Scoville (1971): combinatorial interpretation of n t (over Z).

Smith Normal Form and Combinatorics p. 22 Carlitz-Scoville-Roselle theorem Berlekamp (1963) first asked for n t (mod 2) in connection with a coding theory problem. Carlitz-Roselle-Scoville (1971): combinatorial interpretation of n t (over Z). Theorem. n t = f(λ(t)).

Smith Normal Form and Combinatorics p. 22 Carlitz-Scoville-Roselle theorem Berlekamp (1963) first asked for n t (mod 2) in connection with a coding theory problem. Carlitz-Roselle-Scoville (1971): combinatorial interpretation of n t (over Z). Theorem. n t = f(λ(t)). Proofs. 1. Induction (row and column operations). 2. Nonintersecting lattice paths.

Smith Normal Form and Combinatorics p. 23 An example 7 3 2 1 2 1 1 1 1 1

Smith Normal Form and Combinatorics p. 23 An example 7 3 2 1 2 1 1 1 1 1 φ

Smith Normal Form and Combinatorics p. 24 Many indeterminates For each square (i,j) λ, associate an indeterminate x ij (matrix coordinates).

Smith Normal Form and Combinatorics p. 24 Many indeterminates For each square (i,j) λ, associate an indeterminate x ij (matrix coordinates). x x x x 11 12 13 x 21 22

Smith Normal Form and Combinatorics p. 25 A refinement of u λ u λ (x) = µ λ (i,j) λ/µ x ij

Smith Normal Form and Combinatorics p. 25 A refinement of u λ u λ (x) = µ λ (i,j) λ/µ x ij a b c c d e d e λ µ λ/µ (i,j) λ/µ x ij = cde

Smith Normal Form and Combinatorics p. 26 An example a d b e c abcde+bcde+bce+cde +ce+de+c+e+1 bce+ce+c +e+1 c+1 1 de+e+1 e+1 1 1 1 1 1

Smith Normal Form and Combinatorics p. 27 A t A t = (i,j) λ(t) x ij

Smith Normal Form and Combinatorics p. 27 A t A t = (i,j) λ(t) x ij t a b c d e f g h i j k l m n o

Smith Normal Form and Combinatorics p. 27 A t A t = (i,j) λ(t) x ij t a b c d e f g h i j k l m n o A t = bcdeghiklmo

Smith Normal Form and Combinatorics p. 28 The main theorem Theorem. Let t = (i,j). Then M t has SNF diag(a ij,a i 1,j 1,...,1).

Smith Normal Form and Combinatorics p. 28 The main theorem Theorem. Let t = (i,j). Then M t has SNF diag(a ij,a i 1,j 1,...,1). Proof. 1. Explicit row and column operations putting M t into SNF. 2. (C. Bessenrodt) Induction.

Smith Normal Form and Combinatorics p. 29 An example a d b e c abcde+bcde+bce+cde +ce+de+c+e+1 bce+ce+c +e+1 c+1 1 de+e+1 e+1 1 1 1 1 1

Smith Normal Form and Combinatorics p. 29 An example a d b e c abcde+bcde+bce+cde +ce+de+c+e+1 bce+ce+c +e+1 c+1 1 de+e+1 e+1 1 1 1 1 1 SNF = diag(abcde,e,1)

Smith Normal Form and Combinatorics p. 30 A special case Let λ be the staircase δ n = (n 1,n 2,...,1). Set each x ij = q.

Smith Normal Form and Combinatorics p. 30 A special case Let λ be the staircase δ n = (n 1,n 2,...,1). Set each x ij = q.

Smith Normal Form and Combinatorics p. 30 A special case Let λ be the staircase δ n = (n 1,n 2,...,1). Set each x ij = q. u δn 1 (x) xij counts Dyck paths of length 2n by =q (scaled) area, and is thus the well-known q-analogue C n (q) of the Catalan number C n.

Smith Normal Form and Combinatorics p. 31 A q-catalan example C 3 (q) = q 3 +q 2 +2q +1

Smith Normal Form and Combinatorics p. 31 A q-catalan example C 3 (q) = q 3 +q 2 +2q +1 C 4 (q) C 3 (q) 1+q C 3 (q) 1+q 1 1+q 1 1 SNF diag(q 6,q,1)

Smith Normal Form and Combinatorics p. 31 A q-catalan example C 3 (q) = q 3 +q 2 +2q +1 C 4 (q) C 3 (q) 1+q C 3 (q) 1+q 1 1+q 1 1 SNF diag(q 6,q,1) q-catalan determinant previously known SNF is new

Smith Normal Form and Combinatorics p. 32 SNF of random matrices Huge literature on random matrices, mostly connected with eigenvalues. Very little work on SNF of random matrices over a PID.

Smith Normal Form and Combinatorics p. 33 Is the question interesting? Mat k (n): all n n Z-matrices with entries in [ k, k] (uniform distribution) p k (n,d): probability that if M Mat k (n) and SNF(M) = (e 1,...,e n ), then e 1 = d.

Smith Normal Form and Combinatorics p. 33 Is the question interesting? Mat k (n): all n n Z-matrices with entries in [ k, k] (uniform distribution) p k (n,d): probability that if M Mat k (n) and SNF(M) = (e 1,...,e n ), then e 1 = d. Recall: e 1 = gcd of 1 1 minors (entries) of M

Smith Normal Form and Combinatorics p. 33 Is the question interesting? Mat k (n): all n n Z-matrices with entries in [ k, k] (uniform distribution) p k (n,d): probability that if M Mat k (n) and SNF(M) = (e 1,...,e n ), then e 1 = d. Recall: e 1 = gcd of 1 1 minors (entries) of M Theorem. lim k p k (n,d) = 1/d n2 ζ(n 2 )

Work of Yinghui Wang Smith Normal Form and Combinatorics p. 34

Work of Yinghui Wang ( ) Smith Normal Form and Combinatorics p. 35

Smith Normal Form and Combinatorics p. 36 Work of Yinghui Wang ( ) Sample result. µ k (n): probability that the SNF of a random A Mat k (n) satisfies e 1 = 2, e 2 = 6. µ(n) = lim k µ k (n).

Smith Normal Form and Combinatorics p. 37 Conclusion µ(n) = 2 n2 1 n(n 1) i=(n 1) 2 2 i + n 2 1 i=n(n 1)+1 3 (1 3 2 3 (n 1)2 (n 1)2 )(1 3 n ) 2 n(n 1) n 2 1 1 p i + p>3 i=(n 1) 2 i=n(n 1)+1 2 i p i.

Smith Normal Form and Combinatorics p. 38 A note on the proof uses a 2014 result of C. Feng, R. W. Nóbrega, F. R. Kschischang, and D. Silva, Communication over finite-chain-ring matrix channels: number of m n matrices over Z/p s Z with specified SNF

Smith Normal Form and Combinatorics p. 38 A note on the proof uses a 2014 result of C. Feng, R. W. Nóbrega, F. R. Kschischang, and D. Silva, Communication over finite-chain-ring matrix channels: number of m n matrices over Z/p s Z with specified SNF Note. Z/p s Z is not a PID, but SNF still exists because its ideals form a finite chain.

Smith Normal Form and Combinatorics p. 39 Cyclic cokernel κ(n): probability that an n n Z-matrix has SNF diag(e 1,e 2,...,e n ) with e 1 = e 2 = = e n 1 = 1.

Smith Normal Form and Combinatorics p. 39 Cyclic cokernel κ(n): probability that an n n Z-matrix has SNF diag(e 1,e 2,...,e n ) with e 1 = e 2 = = e n 1 = 1. (1+ 1p + 1p + + 1p ) 2 3 n Theorem. κ(n) = p ζ(2)ζ(3)

Smith Normal Form and Combinatorics p. 39 Cyclic cokernel κ(n): probability that an n n Z-matrix has SNF diag(e 1,e 2,...,e n ) with e 1 = e 2 = = e n 1 = 1. (1+ 1p + 1p + + 1p ) 2 3 n Theorem. κ(n) = Corollary. lim n κ(n) = p ζ(2)ζ(3) 1 ζ(6) j 4 ζ(j) 0.846936.

Smith Normal Form and Combinatorics p. 40 Third example In collaboration with Tommy Wuxing Cai.

Smith Normal Form and Combinatorics p. 40 Third example In collaboration with.

Smith Normal Form and Combinatorics p. 40 Third example In collaboration with. Par(n): set of all partitions of n E.g., Par(4) = {4, 31, 22, 211, 1111}.

Smith Normal Form and Combinatorics p. 40 Third example In collaboration with. Par(n): set of all partitions of n E.g., Par(4) = {4, 31, 22, 211, 1111}. V n : real vector space with basis Par(n)

Smith Normal Form and Combinatorics p. 41 U Define U = U n : V n V n+1 by U(λ) = µ µ, where µ Par(n+1) and µ i λ i i. Example. U(42211) = 52211+43211+42221+422111

Smith Normal Form and Combinatorics p. 42 D Dually, define D = D n : V n V n 1 by D(λ) = ν ν, where ν Par(n 1) and ν i λ i i. Example. D(42211) = 32211+42111+4221

Smith Normal Form and Combinatorics p. 43 Symmetric functions NOTE. Identify V n with the space Λ n Q of all homogeneous symmetric functions of degree n over Q, and identify λ V n with the Schur function s λ. Then U(f) = p 1 f, D(f) = p 1 f.

Smith Normal Form and Combinatorics p. 44 Commutation relation Basic commutation relation: DU U D = I Allows computation of eigenvalues of DU: V n V n. Or note that the eigenvectors of p 1 p 1 are the p λ s, λ n.

Smith Normal Form and Combinatorics p. 45 Eigenvalues of DU Let p(n) = #Par(n) = dimv n. Theorem. Let 1 i n+1, i n. Then i is an eigenvalue of D n+1 U n with multiplicity p(n+1 i) p(n i). Hence detd n+1 U n = n+1 i=1 i p(n+1 i) p(n i).

Smith Normal Form and Combinatorics p. 45 Eigenvalues of DU Let p(n) = #Par(n) = dimv n. Theorem. Let 1 i n+1, i n. Then i is an eigenvalue of D n+1 U n with multiplicity p(n+1 i) p(n i). Hence detd n+1 U n = n+1 i=1 i p(n+1 i) p(n i). What about SNF of the matrix [D n+1 U n ] (with respect to the basis Par(n))?

Smith Normal Form and Combinatorics p. 46 Conjecture of A. R. Miller, 2005 Conjecture (first form). Let e 1,...,e p(n) be the eigenvalues of D n+1 U n. Then [D n+1 U n ] has the same SNF as diag(e 1,...,e p(n) ).

Smith Normal Form and Combinatorics p. 46 Conjecture of A. R. Miller, 2005 Conjecture (first form). Let e 1,...,e p(n) be the eigenvalues of D n+1 U n. Then [D n+1 U n ] has the same SNF as diag(e 1,...,e p(n) ). Conjecture (second form). The diagonal entries of the SNF of [D n+1 U n ] are: (n+1)(n 1)!, with multiplicity 1 (n k)! with multiplicity p(k +1) 2p(k)+p(k 1), 3 k n 2 1, with multiplicity p(n) p(n 1)+p(n 2).

Smith Normal Form and Combinatorics p. 47 Not a trivial result NOTE. {p λ } λ n is not an integral basis.

Smith Normal Form and Combinatorics p. 48 Another form m 1 (λ): number of 1 s in λ M 1 (n): multiset of all numbers m 1 (λ)+1, λ Par(n) Let SNF of [D n+1 U n ] be diag(f 1,f 2,...,f p(n) ). Conjecture (third form). f 1 is the product of the distinct entries of M 1 (n); f 2 is the product of the remaining distinct entries of M 1 (n), etc.

Smith Normal Form and Combinatorics p. 49 An example: n = 6 Par(6) = {6,51,42,33,411,321,222,3111, 2211, 21111, 111111} M 1 (6) = {1,2,1,1,3,2,1,4,3,5,7} (f 1,...,f 11 ) = (7 5 4 3 2 1, 3 2 1, 1,1,1,1,1,1,1,1,1) = (840,6,1,1,1,1,1,1,1,1,1)

Smith Normal Form and Combinatorics p. 50 Yet another form Conjecture (fourth form). The matrix [D n+1 U n +xi] has an SNF over Z[x]. Note that Z[x] is not a PID.

Smith Normal Form and Combinatorics p. 51 Resolution of conjecture Theorem. The conjecture of Miller is true.

Smith Normal Form and Combinatorics p. 51 Resolution of conjecture Theorem. The conjecture of Miller is true. Proof (first step). Rather than use the basis {s λ } λ Par(n) (Schur functions) for Λ n Q, use the basis {h λ } λ Par(n) (complete symmetric functions). Since the two bases differ by a matrix in SL(p(n),Z), the SNF s stay the same.

Smith Normal Form and Combinatorics p. 52 Conclusion of proof (second step) Row and column operations.

Smith Normal Form and Combinatorics p. 52 Conclusion of proof (second step) Row and column operations. Not very insightful.

Smith Normal Form and Combinatorics p. 52 Conclusion of proof (second step) Row and column operations. Not very insightful.

Smith Normal Form and Combinatorics p. 53 An unsolved conjecture m j (λ): number of j s in λ M j (n): multiset of all numbers j(m j (λ)+1), λ Par(n) p j : power sum symmetric function x j i Let SNF of the operator f j p j p j f with respect to the basis {s λ } be diag(g 1,g 2,...,g p(n) ).

Smith Normal Form and Combinatorics p. 53 An unsolved conjecture m j (λ): number of j s in λ M j (n): multiset of all numbers j(m j (λ)+1), λ Par(n) p j : power sum symmetric function x j i Let SNF of the operator f j p j p j f with respect to the basis {s λ } be diag(g 1,g 2,...,g p(n) ). Conjecture.g 1 is the product of the distinct entries of M j (n); g 2 is the product of the remaining distinct entries of M j (n), etc.

Smith Normal Form and Combinatorics p. 54 Jacobi-Trudi specialization Jacobi-Trudi identity: s λ = det[h λi i+j], where s λ is a Schur function and h i is a complete symmetric function.

Smith Normal Form and Combinatorics p. 54 Jacobi-Trudi specialization Jacobi-Trudi identity: s λ = det[h λi i+j], where s λ is a Schur function and h i is a complete symmetric function. We consider the specialization x 1 = x 2 = = x n = 1, other x i = 0. Then ( ) n+i 1 h i. i

Smith Normal Form and Combinatorics p. 55 Specialized Schur function s λ u λ n+c(u) h(u). c(u): content of the square u 0 1 2 3 4 1 0 1 2 2 1 3 2 0 1

Smith Normal Form and Combinatorics p. 56 Diagonal hooks D 1,...,D m 0 1 2 3 4 1 0 1 2 2 1 3 2 0 1 λ = (5,4,4,2)

Smith Normal Form and Combinatorics p. 56 Diagonal hooks D 1,...,D m 0 1 2 3 4 1 0 1 2 2 1 3 2 0 1 D 1

Smith Normal Form and Combinatorics p. 56 Diagonal hooks D 1,...,D m 0 1 2 3 4 1 0 1 2 2 1 3 2 0 1 D 2

Smith Normal Form and Combinatorics p. 56 Diagonal hooks D 1,...,D m 0 1 2 3 4 1 0 1 2 2 1 3 2 0 1 D 3

Smith Normal Form and Combinatorics p. 57 SNF result Let SNF R = Q[n] [( )] n+λi i+j 1 λ i i+j = diag(e 1,...,e m ). Then e i = n+c(u). h(u) u D m i+1

Smith Normal Form and Combinatorics p. 58 Idea of proof f i = n+c(u) h(u) u D m i+1 Then f 1 f 2 ] f i is the value of the lower-left i i minor. (Special argument for 0 minors.)

Smith Normal Form and Combinatorics p. 58 Idea of proof f i = n+c(u) h(u) u D m i+1 Then f 1 f 2 ] f i is the value of the lower-left i i minor. (Special argument for 0 minors.) Every i i minor is a specialized skew Schur function s µ/ν. Let s α correspond to the lower left i i minor.

Smith Normal Form and Combinatorics p. 59 Conclusion of proof Let s µ/ν = ρ c µ νρs ρ. By Littlewood-Richardson rule, c µ νρ 0 α ρ.

Smith Normal Form and Combinatorics p. 59 Conclusion of proof Let s µ/ν = ρ c µ νρs ρ. By Littlewood-Richardson rule, c µ νρ 0 α ρ. Hence f i = gcd(i i minors) = e i e i 1.

The last slide Smith Normal Form and Combinatorics p. 60

The last slide Smith Normal Form and Combinatorics p. 61

The last slide Smith Normal Form and Combinatorics p. 61