A factorisation theorem for the number of rhombus tilings of a hexagon with triangular holes
|
|
- Matthew Hill
- 5 years ago
- Views:
Transcription
1 for the number of rhombus tilings of a hexagon with triangular holes Indiana University; Universität Wien
2 Prelude Rhombus tilings
3 Prelude Rhombus tilings
4 Prelude Rhombus tilings Dimer configurations
5 Prelude Rhombus tilings Dimer configurations
6 Prelude Rhombus tilings Dimer configurations
7 Prelude Rhombus tilings Dimer configurations
8 Prelude Rhombus tilings Dimer configurations
9 Science Fiction (Mihai Ciucu)
10 Science Fiction (Mihai Ciucu)
11 Science Fiction (Mihai Ciucu)
12 Science Fiction (Mihai Ciucu) Let R be that region. Then M(R)? = M hs (R) M vs (R), where M(R) denotes the number of rhombus tilings of R.
13 A small problem
14 A small problem For this region R, we have M(R) = 6 6 = 36, M hs (R) = 6, and M vs (R) = 4 4 = 16. But,
15 Evidence?
16 Evidence? It is true for the case without holes!
17 Evidence? It is true for the case without holes! Actually, this is trivial and well-known.
18 Evidence? n n 2m Once and for all, let us fix H n,2m to be the hexagon with side lengths n,n,2m,n,n,2m.
19 Evidence? MacMahon showed that ( plane partitions in a given box) M(H n,2m ) = n n 2m i=1 j=1k=1 i +j +k 1 i +j +k 2.
20 Evidence? MacMahon showed that ( plane partitions in a given box) M(H n,2m ) = n n 2m i=1 j=1k=1 i +j +k 1 i +j +k 2. Proctor showed that ( transpose-complementary plane partitions in a given box) M hs (H n,2m ) = 1 i<j n 2m+2n+1 i j. 2n+1 i j
21 Evidence? MacMahon showed that ( plane partitions in a given box) M(H n,2m ) = n n 2m i=1 j=1k=1 i +j +k 1 i +j +k 2. Proctor showed that ( transpose-complementary plane partitions in a given box) M hs (H n,2m ) = 1 i<j n 2m+2n+1 i j. 2n+1 i j Andrews showed that ( symmetric plane partitions in a given box) n M vs 2m+2i 1 2m+i +j 1 (H n,2m ) =. 2i 1 i +j 1 i=1 1 i<j n
22 Evidence?
23 Evidence?
24 How to prove such a thing?
25 How to prove such a thing? By a bijection?
26 How to prove such a thing? By a bijection? By factoring Kasteleyn matrices?
27 How to prove such a thing? By a bijection? By factoring Kasteleyn matrices? Maybe introducing weights helps in seeing what one can do?
28 Interlude: without holes It is well-known that the number of rhombus tilings of the hexagon H n,2m is the same as the number of semistandard tableaux of rectangular shape ((2m) n ) with entries between 1 and 2n. This observation connects M(H n,2m ) with Schur functions. Given a partition λ = (λ 1,...,λ n ), the Schur function s λ is given by ( ) det 1 i,j N x λ j+n j i s λ (x 1,...,x N ) = ( ) det 1 i,j N x N j = T N i=1 i #(occurrences of i in T) x i, where the sum is over all semistandard tableaux of shape λ with entries between 1 and N.
29 Interlude: without holes Hence: s λ (1,...,1) = M(H }{{} n,2m ). 2n
30 Interlude: without holes Hence: s λ (1,...,1) = M(H }{{} n,2m ). 2n So, let us consider the Schur function, when not all variables are specialised to 1.
31 Interlude: without holes In[1]:= S[la List] := Module[{L = Length[la]}, Expand[Cancel[Det[Table[x[i] (la[[j]] + L - j), {i, 1, L}, {j, 1, L}]]/ Det[Table[x[i] (L - j), {i, 1, L}, {j, 1, L}]]]]]
32 Interlude: without holes In[1]:= S[la List] := Module[{L = Length[la]}, Expand[Cancel[Det[Table[x[i] (la[[j]] + L - j), {i, 1, L}, {j, 1, L}]]/ Det[Table[x[i] (L - j), {i, 1, L}, {j, 1, L}]]]]] In[2]:= Factor[S[{2,2,0,0}]]
33 Interlude: without holes In[1]:= S[la List] := Module[{L = Length[la]}, Expand[Cancel[Det[Table[x[i] (la[[j]] + L - j), {i, 1, L}, {j, 1, L}]]/ Det[Table[x[i] (L - j), {i, 1, L}, {j, 1, L}]]]]] In[2]:= Factor[S[{2,2,0,0}]] Out[2]= x[1] x[2] + x[1] x[2] x[3] + x[1] x[2] x[3] > x[1] x[3] + x[1] x[2] x[3] + x[2] x[3] > x[1] x[2] x[4] + x[1] x[2] x[4] + 2 > x[1] x[3] x[4] + 2 x[1] x[2] x[3] x[4] > x[2] x[3] x[4] + x[1] x[3] x[4] + x[2] x[3] x[4] > x[1] x[4] + x[1] x[2] x[4] + x[2] x[4] > x[1] x[3] x[4] + x[2] x[3] x[4] + x[3] x[4]
34 Interlude: without holes In[3]:= Factor[S[{2, 2, 0, 0}] /. x[3] -> 1/x[1] /. x[4] -> 1/x[2]]
35 Interlude: without holes In[3]:= Factor[S[{2, 2, 0, 0}] /. x[3] -> 1/x[1] /. x[4] -> 1/x[2]] 2 Out[3]= ((1 - x[1] + x[1] - x[2] + 2 x[1] x[2] > x[1] x[2] + x[2] - x[1] x[2] + x[1] x[2] ) 2 2 > (1 + x[1] + x[1] + x[2] + 2 x[1] x[2] + x[1] x[2] > x[2] + x[1] x[2] + x[1] x[2] )) / (x[1] x[2] )
36 Interlude: without holes Computer experiments lead one to: Theorem For any non-negative integers m and n, we have s ((2m) n )(x 1,x 1 1,x 2,x 1 2,...,x n,x 1 n ) = ( 1) mn so (m n )(x 1,x 2,...,x n ) so (m n )( x 1, x 2,..., x n ). Here, so λ (x 1,x 2,...,x N ) = 1 2 det 1 i,j N (xλ j+n j+ i x (λ j+n j+ 1 2 ) 1 det 1 i,j N (xn j+ 2 i ) i ) i x (N j+1 2 ) is an irreducible character of SO 2N+1 (C).
37 Interlude: without holes The odd orthogonal character is expected, since all existing proofs for the enumeration of symmetric plane partitions use in one form or another, directly or indirectly the summation so (m n )(x 1,x 2,...,x n ) = (x 1 x 2 x n ) m s ν (x 1,...,x n ), and, in particular, one obtains ν:ν 1 2m M vs (H n,2m ) = so (m n )(1,...,1). }{{} n
38 Interlude: without holes However, the appearance of so (m n )( x 1, x 2,..., x n ) is unwanted. What one would actually like to see in place of this is a symplectic character of rectangular shape, because this is what goes into all proofs of the enumeration of transpose-complementary plane partitions (in one form or another). Nevertheless, by substituting x i = q i 1 in the Weyl character formula, both determinants can be evaluated in closed form, and subsequently the limit q 1 can be performed. The result is that, indeed, ( 1) mn so (m n )( 1,..., 1) = M hs (H }{{} n,2m ). n
39 Interlude: without holes Proof of the theorem. By the definition of the Schur function, we have s ((2m) n )(x 1,x1 1,x 2,x2 1,...,x n,x 1 ( = det 1 i,j 2n n ) x 2mχ(j n)+2n j i x (2mχ(j n)+2n t) i n denominator 1 i n n+1 i 2n Now do a Laplace expansion with respect to the first n columns. This leads to a huge sum. ).
40 Interlude: without holes For the odd orthogonal character(s), one also starts with the Weyl character formula det 1 i,j N (xλ j+n j+ i x (λ j+n j+ 1 2 ) i ) so λ (x 1,x 2,...,x N ) =. denominator Here, each entry in the determinant is a sum of two monomials. We use linearity of the determinant in the rows to expand the determinant. Also here, this leads to a huge sum. 1 2
41 Interlude: without holes In the end, one has to prove identities such as A [2N] A =N = A [2N] V(A)V ( A 1) V(A c )V ( (A c ) 1) R ( A,A 1) R ( A c,(a c ) 1) V(A)V ( A 1) V(A c )V ( (A c ) 1) R ( A,(A c ) 1) R ( A c,a 1), where A c denotes the complement of A in [2N]. Here, R ( A,B 1) := a A and V ( A 1) := b B (xa 1 x 1 b a,b A a<b provide a proof of the above identity. (x a x 1 b ), V(A) := (x a x b ), a,b A a<b ). Induction on N works to
42 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem
43 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G.
44 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. a b a b a b
45 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. a b a b a b
46 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. a b a b a b
47 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. a b a b a b
48 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. a b a b a b
49 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. a b a b a b
50 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. a b a b a b
51 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. G + a b a b a b 1/2 1/2 G
52 Half of Science Fiction is Reality Ciucu s Matchings Factorisation Theorem Consider a symmetric bipartite graph G. G + a b a b a b 1/2 1/2 G Then M(G) = 2 #(edges on symm. axis) M(G + ) M weighted (G ).
53 Half of Science Fiction is Reality If we translate this to our situation: R + we obtain R M(R) = 2 #(rhombi on symm. axis) M(R + ) M weighted (R ).
54 Half of Science Fiction is Reality If we translate this to our situation: R + R we obtain M(R) = 2 #(rhombi on symm. axis) M(R + ) M weighted (R ). We want M(R) =? M hs (R) M vs (R).
55 The actual problem So, it only remains to prove M vs (R) = 2 #(rhombi on symm. axis) M weighted (R ).
56 The theorem The hexagon with holes H 15,10 (2,5,7)
57 The theorem Theorem For all positive integers n, m, l and non-negative integers k 1,k 2,...k l with 0 < k 1 < k 2 < < k l n/2, we have M(H n,2m (k 1,k 2,...,k l )) = M hs (H n,2m (k 1,k 2,...,k l ))M vs (H n,2m (k 1,k 2,...,k l )).
58 Sketch of proof
59 Sketch of proof First step. Use non-intersecting lattice ) paths to get a determinant for M weighted (Hn,2m (k 1,k 2,...,k l ) and a Pfaffian for M vs (H n,2m (k 1,k 2,...,k l )).
60 Sketch of proof A tiling of H n,2m (k 1,k 2,...,k l )
61 Sketch of proof Theorem (Karlin McGregor, Lindström, Gessel Viennot, Fisher, John Sachs, Gronau Just Schade Scheffler Wojciechowski) Let G be an acyclic, directed graph, and let A 1,A 2,...,A n and E 1,E 2,...,E n be vertices in the graph with the property that, for i < j and k < l, any (directed) path from A i to E l intersects with any path from A j to E k. Then the number of families (P 1,P 2,...,P n ) of non-intersecting (directed) paths, where the i-th path P i runs from A i to E i, i = 1,2,...,n, is given by det ( P(A j E i ) ), 1 i,j n where P(A E) denotes the set of paths from A to E.
62 Sketch of proof By the Karlin McGregor, Lindström, Gessel Viennot, Fisher, John Sachs, Gronau Just Schade Scheffler Wojciechowski Theorem on non-intersecting lattice paths, we obtain a determinant. Proposition ) M weighted (Hn,2m (k 1,k 2,...,k l ) is given by det(n), where N is the matrix with rows and columns indexed by {1,2,...,m,1 +,2 +,...,l + }, and entries given by N i,j = ( 2n n+j i ( 2n 2kt ( n k t i+1 2n 2kt n k ( t j+1 2n 2kt 2kˆt ) ( + 2n n i j+1), if 1 i,j m, ) ( + 2n 2kt n k t i), if 1 i m and j = t +, ) ( + 2n 2kt n k t j), if i = t + and 1 j m, ) ( n k + 2n 2kt 2kˆt t kˆt n k t kˆt 1), if i = t +, j = ˆt +, and 1 t,ˆt l.
63 Sketch of proof The left half of a vertically symmetric tiling
64 Sketch of proof Theorem (Okada, Stembridge) Let {u 1,u 2,...,u p } and I = {I 1,I 2,...} be finite sets of lattice points in the integer lattice Z 2, with p even. Let S p be the symmetric group on {1,2,...,p}, set u π = (u π(1),u π(2),...,u π(p) ), and denote by P nonint (u π I) the number of families (P 1,P 2,...,P p ) of non-intersecting lattice paths, with P k running from u π(k) to I jk, k = 1,2,...,p, for some indices j 1,j 2,...,j p satisfying j 1 < j 2 < < j p. Then we have π S p (sgnπ) P nonint (u π I) = Pf(Q),
65 Sketch of proof with the matrix Q = (Q i,j ) 1 i,j p given by Q i,j = ( P(ui I u ) P(u j I v ) P(u j I u ) P(u i I v ) ), 1 u<v where P(A E) denotes the number of lattice paths from A to E.
66 Sketch of proof Proposition M vs (H n,2m (k 1,k 2,...,k l )) is given by ( 1) (l 2) Pf(M), where M is the skew-symmetric matrix with rows and columns indexed by { m +1, m +2,...,m,1,2,...,l,1 +,2 +,...,l + }, and entries given by
67 Sketch of proof M i,j = j i ( 2n r=i j+1 i ( 2n 2kt r=i+1 i+1 r=i n+r), if m+1 i < j m, n k t+r), if m+1 i m and j = t, ( 2n 2kt n k t+r), if m+1 i m and j = t +, 0, if i = t, j = ˆt, and 1 t < ˆt l, ( ) 2n 2kt 2kˆt n k t kˆt + ( 2n 2k t 2kˆt n k t kˆt +1), if i = t, j = ˆt +, and 1 t,ˆt l, 0, if i = t +, j = ˆt +, and 1 t < ˆt l, where sums have to be interpreted according to N 1 r=m Expr(k) = N 1 r=m Expr(k) N > M 0 N = M M 1 k=n Expr(k) N < M.
68 Sketch of proof Second step.
69 Sketch of proof Second step. Lemma For a positive integer m and a non-negative integer l, let A be a matrix of the form ( ) X Y A = Y t, Z where X = (x j i ) m+1 i,j m and Z = (z i,j ) i,j {1,...,l,1 +,...,l + } are skew-symmetric, and Y = (y i,j ) m+1 i m,j {1,...,l,1 +,...,l + } is a 2m 2l matrix. Suppose in addition that y i,t = y i,t and y i,t + = y i+2,t +, for all i with m+1 i m for which both sides of an equality are defined, and 1 t l, and that z i,j = 0 for all i,j {1,...,l }. Then Pf(A) = ( 1) (l 2) det(b),
70 Sketch of proof where with ( ) X Ȳ B = 1, Z Ȳ 2 X = ( x i,j ) 1 i,j m, Ȳ 1 = (y i+1,j ) 1 i m,j {1 +,...,l + }, Ȳ 2 = ( y i,j ) i {1,...,l },1 j m, Z = (z i,j ) i {1,...,l },j {1 +,...,l + }, and the entries of X are defined by x i,j = x j i +1 +x j i x i+j 1.
71 Sketch of proof By the lemma, the Pfaffian for M vs (H n,2m (k 1,k 2,...,k l )) can be converted into a determinant, of the same size ) as the determinant we obtained for M weighted (Hn,2m (k 1,k 2,...,k l ).
72 Sketch of proof By the lemma, the Pfaffian for M vs (H n,2m (k 1,k 2,...,k l )) can be converted into a determinant, of the same size ) as the determinant we obtained for M weighted (Hn,2m (k 1,k 2,...,k l ). Third step. Alas, it is not the same determinant.
73 Sketch of proof By the lemma, the Pfaffian for M vs (H n,2m (k 1,k 2,...,k l )) can be converted into a determinant, of the same size ) as the determinant we obtained for M weighted (Hn,2m (k 1,k 2,...,k l ). Third step. Alas, it is not the same determinant. However, further row and column operations do indeed convert one determinant into the other.
74 Postlude
75 Postlude A theorem has been proved.
76 Postlude A theorem has been proved. Is the proof illuminating?
77 Postlude A theorem has been proved. Is the proof illuminating? No.
78 Postlude A theorem has been proved. Is the proof illuminating? No. Do we understand this factorisation?
79 Postlude A theorem has been proved. Is the proof illuminating? No. Do we understand this factorisation? No.
80 Postlude A theorem has been proved. Is the proof illuminating? No. Do we understand this factorisation? No. Can this be the utmost/correct generality for this factorisation phenomenon?
81 Postlude A theorem has been proved. Is the proof illuminating? No. Do we understand this factorisation? No. Can this be the utmost/correct generality for this factorisation phenomenon? I do not know.
82 Postlude A theorem has been proved. Is the proof illuminating? No. Do we understand this factorisation? No. Can this be the utmost/correct generality for this factorisation phenomenon? I do not know. Is this a theorem without applications?
83 Postlude A theorem has been proved. Is the proof illuminating? No. Do we understand this factorisation? No. Can this be the utmost/correct generality for this factorisation phenomenon? I do not know. Is this a theorem without applications? No.
84 Postlude A theorem has been proved. Is the proof illuminating? No. Do we understand this factorisation? No. Can this be the utmost/correct generality for this factorisation phenomenon? I do not know. Is this a theorem without applications? No. Is this the end?
85 Postlude A theorem has been proved. Is the proof illuminating? No. Do we understand this factorisation? No. Can this be the utmost/correct generality for this factorisation phenomenon? I do not know. Is this a theorem without applications? No. Is this the end? Yes.
Enumerating some symmetry classes of rhombus tilings of holey hexagons
FPSAC 2015, Daejeon, South Korea DMTCS proc. FPSAC 15, 2015, 487 498 Enumerating some symmetry classes of rhombus tilings of holey hexagons Tomack Gilmore Fakultät für Mathematik, Universität Wien, Oskar-Morgenstern-Platz
More informationarxiv:math/ v1 [math.co] 5 Oct 1998
RHOMBUS TILINGS OF A HEXAGON WITH TWO TRIANGLES MISSING ON THE SYMMETRY AXIS THERESIA EISENKÖLBL arxiv:math/98009v [math.co] 5 Oct 998 Abstract. We compute the number of rhombus tilings of a hexagon with
More informationRHOMBUS TILINGS OF A HEXAGON WITH TWO TRIANGLES MISSING ON THE SYMMETRY AXIS
RHOMBUS TILINGS OF A HEXAGON WITH TWO TRIANGLES MISSING ON THE SYMMETRY AXIS THERESIA EISENKÖLBL Institut für Mathematik der Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria. E-mail: Theresia.Eisenkoelbl@univie.ac.at
More informationarxiv:math/ v1 [math.co] 26 Nov 1997
arxiv:math/97103v1 [math.co] 6 Nov 1997 THE NUMBER OF RHOMBUS TILINGS OF A PUNCTURED HEXAGON AND THE MINOR SUMMATION FORMULA S. Okada and C. Krattenthaler Graduate School of Polymathematics, Nagoya University
More informationA TRIANGULAR GAP OF SIZE TWO IN A SEA OF DIMERS ON A 60 ANGLE. Bloomington, IN 47401, USA Nordbergstraße 15 A-1090 Wien, Austria. 1.
A TRIANGULAR GAP OF SIZE TWO IN A SEA OF DIMERS ON A 60 ANGLE Mihai Ciucu 1 Ilse Fischer 2 Indiana University Universität Wien Department of Mathematics Fakultät für Mathematik Bloomington, IN 47401, USA
More informationProof of a generalization of Aztec diamond theorem
Proof of a generalization of Aztec diamond theorem Institute for Mathematics and its Applications University of Minnesota Minneapolis, MN 55455 December 5, 2014 Aztec Diamond Theorem Definition The Aztec
More informationENUMERATION OF DOMINO TILINGS OF AN AZTEC RECTANGLE WITH BOUNDARY DEFECTS
ENUMERATION OF DOMINO TILINGS OF AN AZTEC RECTANGLE WITH BOUNDARY DEFECTS MANJIL P. SAIKIA Abstract. In this paper we enumerate domino tilings of an Aztec rectangle with arbitrary defects of size one on
More informationEnumeration of domino tilings of a double Aztec rectangle
Enumeration of domino tilings of a double Aztec rectangle University of Nebraska Lincoln Lincoln, NE 68505 AMS Fall Central Sectional Meeting University of St. Thomas Minneapolis, MN, October 30, 2015
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS SYSTEMS OF EQUATIONS AND MATRICES Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
More informationDOMINO TILING. Contents 1. Introduction 1 2. Rectangular Grids 2 Acknowledgments 10 References 10
DOMINO TILING KASPER BORYS Abstract In this paper we explore the problem of domino tiling: tessellating a region with x2 rectangular dominoes First we address the question of existence for domino tilings
More informationTHE MAJOR COUNTING OF NONINTERSECTING LATTICE PATHS AND GENERATING FUNCTIONS FOR TABLEAUX Summary
THE MAJOR COUNTING OF NONINTERSECTING LATTICE PATHS AND GENERATING FUNCTIONS FOR TABLEAUX Summary (The full-length article will appear in Mem. Amer. Math. Soc.) C. Krattenthaler Institut für Mathematik
More informationA dual of MacMahon s theorem on plane partitions
Indiana University; Universität Wien Plane Partitions Plane partitions were invented by Major Percy Alexander MacMahon around 1900. Plane Partitions Plane partitions were invented by Major Percy Alexander
More informationLinear Systems and Matrices
Department of Mathematics The Chinese University of Hong Kong 1 System of m linear equations in n unknowns (linear system) a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.......
More informationarxiv:math/ v1 [math.co] 13 Jul 2005
A NEW PROOF OF THE REFINED ALTERNATING SIGN MATRIX THEOREM arxiv:math/0507270v1 [math.co] 13 Jul 2005 Ilse Fischer Fakultät für Mathematik, Universität Wien Nordbergstrasse 15, A-1090 Wien, Austria E-mail:
More informationTHE Q-SPECTRUM AND SPANNING TREES OF TENSOR PRODUCTS OF BIPARTITE GRAPHS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3155 3161 S 0002-9939(9704049-5 THE Q-SPECTRUM AND SPANNING TREES OF TENSOR PRODUCTS OF BIPARTITE GRAPHS TIMOTHY
More informationCOUNTING NONINTERSECTING LATTICE PATHS WITH TURNS
COUNTING NONINTERSECTING LATTICE PATHS WITH TURNS C. Krattenthaler Institut für Mathematik der Universität Wien, Strudlhofgasse 4, A-1090 Wien, Austria. e-mail: KRATT@Pap.Univie.Ac.At Abstract. We derive
More informationNotes on the Matrix-Tree theorem and Cayley s tree enumerator
Notes on the Matrix-Tree theorem and Cayley s tree enumerator 1 Cayley s tree enumerator Recall that the degree of a vertex in a tree (or in any graph) is the number of edges emanating from it We will
More informationLinear Algebra: Lecture notes from Kolman and Hill 9th edition.
Linear Algebra: Lecture notes from Kolman and Hill 9th edition Taylan Şengül March 20, 2019 Please let me know of any mistakes in these notes Contents Week 1 1 11 Systems of Linear Equations 1 12 Matrices
More informationTOPIC III LINEAR ALGEBRA
[1] Linear Equations TOPIC III LINEAR ALGEBRA (1) Case of Two Endogenous Variables 1) Linear vs. Nonlinear Equations Linear equation: ax + by = c, where a, b and c are constants. 2 Nonlinear equation:
More informationChapter 4 - MATRIX ALGEBRA. ... a 2j... a 2n. a i1 a i2... a ij... a in
Chapter 4 - MATRIX ALGEBRA 4.1. Matrix Operations A a 11 a 12... a 1j... a 1n a 21. a 22.... a 2j... a 2n. a i1 a i2... a ij... a in... a m1 a m2... a mj... a mn The entry in the ith row and the jth column
More informationMOMENTS OF INERTIA ASSOCIATED WITH THE LOZENGE TILINGS OF A HEXAGON
Séminaire Lotharingien de Combinatoire 45 001, Article B45f MOMENTS OF INERTIA ASSOCIATED WITH THE LOZENGE TILINGS OF A HEXAGON ILSE FISCHER Abstract. Consider the probability that an arbitrary chosen
More informationExtreme diagonally and antidiagonally symmetric alternating sign matrices of odd order
Extreme diagonally and antidiagonally symmetric alternating sign matrices of odd order Arvind Ayyer (Bangalore) Roger E. Behrend (Cardiff) Ilse Fischer (Vienna) 1 Outline Introduction: ASMs and DASASMs
More informationarxiv:math/ v2 [math.co] 11 Dec 1997
arxiv:math/97144v [math.co] 11 Dec 1997 THE NUMBER OF RHOMBUS TILINGS OF A SYMMETRIC HEXAGON WHICH CONTAIN A FIXED RHOMBUS ON THE SYMMETRY AXIS, I M. FULMEK AND C. KRATTENTHALER Abstract. WecomputethenumberofrhombustilingsofahexagonwithsidesN,M,N,
More informationMultiplicity Free Expansions of Schur P-Functions
Annals of Combinatorics 11 (2007) 69-77 0218-0006/07/010069-9 DOI 10.1007/s00026-007-0306-1 c Birkhäuser Verlag, Basel, 2007 Annals of Combinatorics Multiplicity Free Expansions of Schur P-Functions Kristin
More informationTiling expression of minors
Institute for Mathematics and its Applications Minneapolis, MN Colloquium University of British Columbia, Vancourver February, 0 Outline Introduction to the Enumeration of Tilings. Electrical networks
More informationENGR-1100 Introduction to Engineering Analysis. Lecture 21
ENGR-1100 Introduction to Engineering Analysis Lecture 21 Lecture outline Procedure (algorithm) for finding the inverse of invertible matrix. Investigate the system of linear equation and invertibility
More informationStatistical Mechanics and Combinatorics : Lecture IV
Statistical Mechanics and Combinatorics : Lecture IV Dimer Model Local Statistics We ve already discussed the partition function Z for dimer coverings in a graph G which can be computed by Kasteleyn matrix
More informationCombinatorics for algebraic geometers
Combinatorics for algebraic geometers Calculations in enumerative geometry Maria Monks March 17, 214 Motivation Enumerative geometry In the late 18 s, Hermann Schubert investigated problems in what is
More informationh 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.
. Four definitions of Schur functions.. Lecture : Jacobi s definition (ca 850). Fix λ = (λ λ n and X = {x,...,x n }. () a α = det ( ) x α i j for α = (α,...,α n ) N n (2) Jacobi s def: s λ = a λ+δ /a δ
More informationLecture Notes in Linear Algebra
Lecture Notes in Linear Algebra Dr. Abdullah Al-Azemi Mathematics Department Kuwait University February 4, 2017 Contents 1 Linear Equations and Matrices 1 1.2 Matrices............................................
More informationMatrix Algebra Determinant, Inverse matrix. Matrices. A. Fabretti. Mathematics 2 A.Y. 2015/2016. A. Fabretti Matrices
Matrices A. Fabretti Mathematics 2 A.Y. 2015/2016 Table of contents Matrix Algebra Determinant Inverse Matrix Introduction A matrix is a rectangular array of numbers. The size of a matrix is indicated
More informationPoset and Polytope Perspectives On Alternating Sign Matrices
Poset and Polytope Perspectives On Alternating Sign Matrices A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Jessica Palencia Striker IN PARTIAL FULFILLMENT
More informationIt is well-known (cf. [2,4,5,9]) that the generating function P w() summed over all tableaux of shape = where the parts in row i are at most a i and a
Counting tableaux with row and column bounds C. Krattenthalery S. G. Mohantyz Abstract. It is well-known that the generating function for tableaux of a given skew shape with r rows where the parts in the
More informationACI-matrices all of whose completions have the same rank
ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices
More informationMATH 1210 Assignment 4 Solutions 16R-T1
MATH 1210 Assignment 4 Solutions 16R-T1 Attempt all questions and show all your work. Due November 13, 2015. 1. Prove using mathematical induction that for any n 2, and collection of n m m matrices A 1,
More informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More informationarxiv: v1 [math.co] 18 Oct 2018
A NEW DETERMINANT FOR THE Q-ENUMERATION OF ALTERNATING SIGN MATRICES FLORIAN AIGNER arxiv:80.080v [math.co] 8 Oct 08 Abstract. Fischer provided a new type of binomial erminant for the number of alternating
More informationDeterminants Chapter 3 of Lay
Determinants Chapter of Lay Dr. Doreen De Leon Math 152, Fall 201 1 Introduction to Determinants Section.1 of Lay Given a square matrix A = [a ij, the determinant of A is denoted by det A or a 11 a 1j
More informationLinear Algebra. Matrices Operations. Consider, for example, a system of equations such as x + 2y z + 4w = 0, 3x 4y + 2z 6w = 0, x 3y 2z + w = 0.
Matrices Operations Linear Algebra Consider, for example, a system of equations such as x + 2y z + 4w = 0, 3x 4y + 2z 6w = 0, x 3y 2z + w = 0 The rectangular array 1 2 1 4 3 4 2 6 1 3 2 1 in which the
More informationA Catalan-Hankel Determinant Evaluation
A Catalan-Hankel Determinant Evaluation Ömer Eğecioğlu Department of Computer Science, University of California, Santa Barbara CA 93106 (omer@cs.ucsb.edu) Abstract Let C k = ( ) 2k k /(k +1) denote the
More informationPROBLEMS ON LINEAR ALGEBRA
1 Basic Linear Algebra PROBLEMS ON LINEAR ALGEBRA 1. Let M n be the (2n + 1) (2n + 1) for which 0, i = j (M n ) ij = 1, i j 1,..., n (mod 2n + 1) 1, i j n + 1,..., 2n (mod 2n + 1). Find the rank of M n.
More informationENGR-1100 Introduction to Engineering Analysis. Lecture 21. Lecture outline
ENGR-1100 Introduction to Engineering Analysis Lecture 21 Lecture outline Procedure (algorithm) for finding the inverse of invertible matrix. Investigate the system of linear equation and invertibility
More informationRefined Cauchy/Littlewood identities and partition functions of the six-vertex model
Refined Cauchy/Littlewood identities and partition functions of the six-vertex model LPTHE (UPMC Paris 6), CNRS (Collaboration with Dan Betea and Paul Zinn-Justin) 6 June, 4 Disclaimer: the word Baxterize
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real
More informationThe Pfaffian Transform
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 12 (2009), Article 0915 The Pfaffian Transform Tracale Austin 3824 Teton Pass Ellenwood, GA 30294 USA austintra@gmailcom Hans Bantilan Department of Physics
More information11 Block Designs. Linear Spaces. Designs. By convention, we shall
11 Block Designs Linear Spaces In this section we consider incidence structures I = (V, B, ). always let v = V and b = B. By convention, we shall Linear Space: We say that an incidence structure (V, B,
More information1 Matrices and Systems of Linear Equations. a 1n a 2n
March 31, 2013 16-1 16. Systems of Linear Equations 1 Matrices and Systems of Linear Equations An m n matrix is an array A = (a ij ) of the form a 11 a 21 a m1 a 1n a 2n... a mn where each a ij is a real
More informationA LATTICE POINT ENUMERATION APPROACH TO PARTITION IDENTITIES
A LATTICE POINT ENUMERATION APPROACH TO PARTITION IDENTITIES A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master of Arts
More informationGENERALIZATION OF THE SIGN REVERSING INVOLUTION ON THE SPECIAL RIM HOOK TABLEAUX. Jaejin Lee
Korean J. Math. 8 (00), No., pp. 89 98 GENERALIZATION OF THE SIGN REVERSING INVOLUTION ON THE SPECIAL RIM HOOK TABLEAUX Jaejin Lee Abstract. Eğecioğlu and Remmel [] gave a combinatorial interpretation
More informationTwo Variable Pfaffian Identities and Symmetric Functions*
Journal of Algebraic Combinatories 5 (1996), 135-148 1996 Kluwer Academic Publishers. Manufactured in The Netherlands. Two Variable Pfaffian Identities and Symmetric Functions* THOMAS SUNDQUIST Department
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationStandard Young Tableaux Old and New
Standard Young Tableaux Old and New Ron Adin and Yuval Roichman Department of Mathematics Bar-Ilan University Workshop on Group Theory in Memory of David Chillag Technion, Haifa, Oct. 14 1 2 4 3 5 7 6
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationThe Littlewood-Richardson Rule
REPRESENTATIONS OF THE SYMMETRIC GROUP The Littlewood-Richardson Rule Aman Barot B.Sc.(Hons.) Mathematics and Computer Science, III Year April 20, 2014 Abstract We motivate and prove the Littlewood-Richardson
More informationLecture 15 Review of Matrix Theory III. Dr. Radhakant Padhi Asst. Professor Dept. of Aerospace Engineering Indian Institute of Science - Bangalore
Lecture 15 Review of Matrix Theory III Dr. Radhakant Padhi Asst. Professor Dept. of Aerospace Engineering Indian Institute of Science - Bangalore Matrix An m n matrix is a rectangular or square array of
More information1 Determinants. 1.1 Determinant
1 Determinants [SB], Chapter 9, p.188-196. [SB], Chapter 26, p.719-739. Bellow w ll study the central question: which additional conditions must satisfy a quadratic matrix A to be invertible, that is to
More informationTRIVARIATE MONOMIAL COMPLETE INTERSECTIONS AND PLANE PARTITIONS
TRIVARIATE MONOMIAL COMPLETE INTERSECTIONS AND PLANE PARTITIONS CHARLES CHEN, ALAN GUO, XIN JIN, AND GAKU LIU Abstract. We consider the homogeneous components U r of the map on R = k[x, y, z]/(x A, y B,
More informationMultiplicity-Free Products of Schur Functions
Annals of Combinatorics 5 (2001) 113-121 0218-0006/01/020113-9$1.50+0.20/0 c Birkhäuser Verlag, Basel, 2001 Annals of Combinatorics Multiplicity-Free Products of Schur Functions John R. Stembridge Department
More informationTwo Remarks on Skew Tableaux
Two Remarks on Skew Tableaux Richard P. Stanley Department of Mathematics Massachusetts Institute of Technology Cambridge, MA 02139 rstan@math.mit.edu Submitted: 2011; Accepted: 2011; Published: XX Mathematics
More informationDeterminants - Uniqueness and Properties
Determinants - Uniqueness and Properties 2-2-2008 In order to show that there s only one determinant function on M(n, R), I m going to derive another formula for the determinant It involves permutations
More informationDeterminants: Uniqueness and more
Math 5327 Spring 2018 Determinants: Uniqueness and more Uniqueness The main theorem we are after: Theorem 1 The determinant of and n n matrix A is the unique n-linear, alternating function from F n n to
More information22m:033 Notes: 3.1 Introduction to Determinants
22m:033 Notes: 3. Introduction to Determinants Dennis Roseman University of Iowa Iowa City, IA http://www.math.uiowa.edu/ roseman October 27, 2009 When does a 2 2 matrix have an inverse? ( ) a a If A =
More informationEdge colored complete bipartite graphs with trivial automorphism groups
Edge colored complete bipartite graphs with trivial automorphism groups Michael J. Fisher Garth Isaak Abstract We determine the values of s and t for which there is a coloring of the edges of the complete
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationMathematics. EC / EE / IN / ME / CE. for
Mathematics for EC / EE / IN / ME / CE By www.thegateacademy.com Syllabus Syllabus for Mathematics Linear Algebra: Matrix Algebra, Systems of Linear Equations, Eigenvalues and Eigenvectors. Probability
More informationIntrinsic products and factorizations of matrices
Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 5 3 www.elsevier.com/locate/laa Intrinsic products and factorizations of matrices Miroslav Fiedler Academy of Sciences
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
More informationA Simple Proof of the Aztec Diamond Theorem
A Simple Proof of the Aztec Diamond Theorem Sen-Peng Eu Department of Applied Mathematics National University of Kaohsiung Kaohsiung 811, Taiwan, ROC speu@nuk.edu.tw Tung-Shan Fu Mathematics Faculty National
More informationProperties of the Determinant Function
Properties of the Determinant Function MATH 322, Linear Algebra I J. Robert Buchanan Department of Mathematics Spring 2015 Overview Today s discussion will illuminate some of the properties of the determinant:
More informationMONOMER CORRELATIONS ON THE SQUARE LATTICE. Mihai Ciucu Indiana University Department of Mathematics, Bloomington, IN 47405, USA
MONOMER CORRELATIONS ON THE SQUARE LATTICE Mihai Ciucu Indiana University Department of Mathematics, Bloomington, IN 4745, USA Domino tilings Domino tilings are equivalent to perfect matchings. M(G) :=
More informationA DETERMINANT PROPERTY OF CATALAN NUMBERS. 1. Introduction
A DETERMINANT PROPERTY OF CATALAN NUMBERS M E MAYS AND JERZY WOJCIECHOWSKI Abstract Catalan numbers arise in a family of persymmetric arrays with determinant 1 The demonstration involves a counting result
More informationReview of linear algebra
Review of linear algebra 1 Vectors and matrices We will just touch very briefly on certain aspects of linear algebra, most of which should be familiar. Recall that we deal with vectors, i.e. elements of
More informationFactorial Schur functions via the six vertex model
Factorial Schur functions via the six vertex model Peter J. McNamara Department of Mathematics Massachusetts Institute of Technology, MA 02139, USA petermc@math.mit.edu October 31, 2009 Abstract For a
More informationCPSC 536N: Randomized Algorithms Term 2. Lecture 9
CPSC 536N: Randomized Algorithms 2011-12 Term 2 Prof. Nick Harvey Lecture 9 University of British Columbia 1 Polynomial Identity Testing In the first lecture we discussed the problem of testing equality
More informationMATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants.
MATH 323 Linear Algebra Lecture 6: Matrix algebra (continued). Determinants. Elementary matrices Theorem 1 Any elementary row operation σ on matrices with n rows can be simulated as left multiplication
More informationChapter 2 - Basics Structures
Chapter 2 - Basics Structures 2.1 - Sets Definitions and Notation Definition 1 (Set). A set is an of. These are called the or of the set. We ll typically use uppercase letters to denote sets: S, A, B,...
More informationAssignment 10. Arfken Show that Stirling s formula is an asymptotic expansion. The remainder term is. B 2n 2n(2n 1) x1 2n.
Assignment Arfken 5.. Show that Stirling s formula is an asymptotic expansion. The remainder term is R N (x nn+ for some N. The condition for an asymptotic series, lim x xn R N lim x nn+ B n n(n x n B
More informationThe Determinant: a Means to Calculate Volume
The Determinant: a Means to Calculate Volume Bo Peng August 16, 2007 Abstract This paper gives a definition of the determinant and lists many of its well-known properties Volumes of parallelepipeds are
More informationLatin square determinants and permanents Ken Johnson Penn State Abington College (Joint work with D. Donovan and I. Wanless)
Latin square determinants and permanents Ken Johnson Penn State Abington College (Joint work with D. Donovan and I. Wanless) Outline 1)The basic idea 2) Motivation 3) Summary of the group case 4) Results
More informationFundamentals of Engineering Analysis (650163)
Philadelphia University Faculty of Engineering Communications and Electronics Engineering Fundamentals of Engineering Analysis (6563) Part Dr. Omar R Daoud Matrices: Introduction DEFINITION A matrix is
More informationMATH 2030: MATRICES ,, a m1 a m2 a mn If the columns of A are the vectors a 1, a 2,...,a n ; A is represented as A 1. .
MATH 030: MATRICES Matrix Operations We have seen how matrices and the operations on them originated from our study of linear equations In this chapter we study matrices explicitely Definition 01 A matrix
More informationTwo applications of useful functions
Universität Wien Special functions should be more appropriately called useful functions (Pál Turán) Special functions should be more appropriately called useful functions (Pál Turán) The useful functions
More informationLaplacians of Graphs, Spectra and Laplacian polynomials
Mednykh A. D. (Sobolev Institute of Math) Laplacian for Graphs 27 June - 03 July 2015 1 / 30 Laplacians of Graphs, Spectra and Laplacian polynomials Alexander Mednykh Sobolev Institute of Mathematics Novosibirsk
More informationProblem 1. Let f n (x, y), n Z, be the sequence of rational functions in two variables x and y given by the initial conditions.
18.217 Problem Set (due Monday, December 03, 2018) Solve as many problems as you want. Turn in your favorite solutions. You can also solve and turn any other claims that were given in class without proofs,
More informationQUASISYMMETRIC (k, l)-hook SCHUR FUNCTIONS
QUASISYMMETRIC (k, l)-hook SCHUR FUNCTIONS SARAH K. MASON AND ELIZABETH NIESE Abstract. We introduce a quasisymmetric generalization of Berele and Regev s hook Schur functions and prove that these new
More informationTwo Remarks on Skew Tableaux
Two Remarks on Skew Tableaux The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Stanley, Richard P. "Two
More informationarxiv:math/ v1 [math.co] 23 Oct 1998
arxiv:math/9843v [mathco] 3 Oct 998 ENUMERATION OF TILINGS OF DIAMONDS AND HEXAGONS WITH DEFECTS HARALD HELFGOTT AND IRA M GESSEL Abstract We show how to count tilings of Aztec diamonds and hexagons with
More informationAdvanced Computer Algebra for Determinants
Advanced Computer Algebra for Determinants Christoph Koutschan Research Institute for Symbolic Computation RISC Johannes Kepler University, A-4040 Linz, Austria Thotsaporn Aek Thanatipanonda Research Institute
More informationShifted symmetric functions I: the vanishing property, skew Young diagrams and symmetric group characters
I: the vanishing property, skew Young diagrams and symmetric group characters Valentin Féray Institut für Mathematik, Universität Zürich Séminaire Lotharingien de Combinatoire Bertinoro, Italy, Sept. 11th-12th-13th
More informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationSection 9.2: Matrices.. a m1 a m2 a mn
Section 9.2: Matrices Definition: A matrix is a rectangular array of numbers: a 11 a 12 a 1n a 21 a 22 a 2n A =...... a m1 a m2 a mn In general, a ij denotes the (i, j) entry of A. That is, the entry in
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Corrected Version, 7th April 013 Comments to the author at keithmatt@gmail.com Chapter 1 LINEAR EQUATIONS 1.1
More informationSkew row-strict quasisymmetric Schur functions
Journal of Algebraic Combinatorics manuscript No. (will be inserted by the editor) Skew row-strict quasisymmetric Schur functions Sarah K. Mason Elizabeth Niese Received: date / Accepted: date Abstract
More informationReview for Exam Find all a for which the following linear system has no solutions, one solution, and infinitely many solutions.
Review for Exam. Find all a for which the following linear system has no solutions, one solution, and infinitely many solutions. x + y z = 2 x + 2y + z = 3 x + y + (a 2 5)z = a 2 The augmented matrix for
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More informationBoolean Product Polynomials and the Resonance Arrangement
Boolean Product Polynomials and the Resonance Arrangement Sara Billey University of Washington Based on joint work with: Lou Billera and Vasu Tewari FPSAC July 17, 2018 Outline Symmetric Polynomials Schur
More informationLECTURE 4: DETERMINANT (CHAPTER 2 IN THE BOOK)
LECTURE 4: DETERMINANT (CHAPTER 2 IN THE BOOK) Everything with is not required by the course syllabus. Idea Idea: for each n n matrix A we will assign a real number called det(a). Properties: det(a) 0
More informationarxiv:math/ v2 [math.co] 1 Sep 2005
arxiv:math/0501132v2 [math.co] 1 Sep 2005 A DETERMINANT-LIKE FORMULA FOR THE KOSTKA NUMBERS MATHIAS LEDERER Abstract. Young tableaux are ubiquitous in various branches of mathematics. There are two counting
More informationShifted symmetric functions II: expansions in multi-rectangular coordinates
Shifted symmetric functions II: expansions in multi-rectangular coordinates Valentin Féray Institut für Mathematik, Universität Zürich Séminaire Lotharingien de Combinatoire Bertinoro, Italy, Sept. 11th-12th-13th
More information