A simple explicit bijection between(n,2)-gog and Magog trapezoids

Transcription

1 A simple explicit bijection between(n,)-gog and Magog trapezoids Jérémie BETTINELLI April 0, 0 arxiv:.00v [math.co] Apr 0 Abstract A sub-problem of the open problem of finding an explicit bijection between alternating sign matrices and totally symmetric self-complementary plane partitions consists in finding an explicit bijection between so-called (n, k) Gog trapezoids and (n, k) Magog trapezoids. A quite involved bijection was found by Biane and Cheballah in the case k =. We give here a simpler bijection for this case. Key words and phrases: bijection, Gog, Magog, alternating sign matrix, totally symmetric selfcomplementary plane partition. AMS classification: 0A9. Introduction One of the most famous open problems in bijective combinatorics is to find an explicit bijection between alternating sign matrices of a given size and totally symmetric self-complementary plane partitions of the same size. These objects of combinatorial interest have been known since the end of the 90s to be equinumerous [And9, Zei9] but, as of today, there is no direct bijective proof of this fact. We refer the reader to [Bre99, Che] for more information on this story. The previous objects are in known bijections with arrays of integers called Gog and Magog triangles. These triangles are Young diagrams of shape (n,n,...,,) for some positive integer n, and they are filled with positive integers satisfying monotonicity conditions along vertical, horizontal and possibly diagonal lines. Although they satisfy very similar monotonicity conditions, nobody managed to find a direct bijection between these integer-filled triangles so far. Another surprising fact is that, if we only consider the first k rows of the triangles, the objects we obtain are also equinumerous. These objects, called(n, k) trapezoids, were introduced in [MRR], where they were conjectured to be equinumerous. This was later proved by Zeilberger [Zei9, Lemma ]. The supposedly simplest problem of finding an explicit bijection between (n, k)-gog trapezoids and (n,k)-magog trapezoids has been solved only for k. In fact, for k =, the objects are exactly the same, so there is nothing to prove. There is, however, a refined conjecture appearing in [MRR], which involves the number of entries equal to and the number of entries equal to the maximum possible value in the first and last rows. Proving this conjecture in a bijective way, even in the case k = is nontrivial; it was achieved by Krattenthaler [Kra]. In fact, Krattenthaler conjectured that more general objects called(l,n,k) trapezoids are equinumerous and that the previous statistics coincide; his bijection was established in this more general context, that is, between(l,n,)-gog and Magog trapezoids. CNRS & Laboratoire d Informatique de l École polytechnique; jeremie.bettinelli@normalesup.org; www. normalesup.org/~bettinel.

2 g, g, g, g, g, g, g, PSfrag replacements m, m, m, For k =, a bijection was found by Biane and Cheballah [BC]. Their bijection is relatively m, complicated and uses the so-called Schützenberger involution. It does not match the previous m, statistics of Mills, Robbins, and Rumsey. It does, however, match different statistics, expressed in m, terms of the rightmost entry for a Gog trapezoid and in terms of the two rightmost entries of both m, rows for Magog trapezoids. In this note, we give a different bijection for this case. Our bijection is very simple and involves only one operation. It does not match either aforementioned statistics. m, m, Acknowledgment. I thank Jean-François Marckert for introducing this problem to me. m, m, m, m, m, Magog and Gog trapezoids In this note, we are solely considering (n,) trapezoids, and we furthermore impose that n m, in order to avoid trivialities. Let us give proper definitions (see Figure for more graphical (,)-Gog trapezoid definitions and examples)., )-Magog trapezoid Definition. Letnbe an integer. An(n,)-Magog trapezoid is an array ofn positive integers m,,..., m,n, m,,..., m,n such that (i) m i,j m i,j+ for all i {,} and j {,...,n+i } ; (ii) m,j m,j j for allj {,...,n } and m,n n. Definition. Let n be an integer. An (n,)-gog trapezoid is an array of n positive integers g,,..., g,n,g,,..., g,n such that (i) g i,j g i,j+ for all i {,} andj {,...,n i} ; (ii) g,j < g,j < j + for all j {,...,n } ; (iii) g,j+ g,j for allj {,...,n }. We denote the sets of(n,)-magog and Gog trapezoids by M n and G n, respectively. m, m, m, m, m, m, m, m, m, m, m, m, m, m, m, g, g, g, g, g, g, g, g, g, g, g, g, g, g, g, (, )-Magog trapezoid (,)-Gog trapezoid Figure : The conditions satisfied by(n, )-Magog and Gog trapezoids. Every sequence formed by numbers obtained by following the direction of a simple-arrowhead (respectively a double-arrowhead) arrow is non-decreasing (respectively increasing).

3 From Magog to Gog Let us consider an (n,)-magog trapezoid M = (m i,j ). We say that an integer j {,...,n } is a bug if m,j+ > m,j +. For instance, is the only bug of the Magog trapezoid of Figure. We setφ n (M) := (g ij ), where(g ij ) is constructed as follows (see Figure ). + < + = + + Figure : The three cases of the bijection, from a Magog trapezoid to a Gog trapezoid. On the top line, the first bug is: it is symbolized by a small black diagonal line. The colored blocks are moved and, whenever there is a tag on a block, it is added to all the elements of the block. First case: M has at least one bug. In this case, we letk be the smallest bug of M and we set g,j := m,j + for j k ; g,j := m,j+ for k j n ; g,j := m,j for j k; g,k+ := m,k ; g,j := m,j for k + j n.

4 Second case: M does not have bugs andm,n < m,n. In this case, we set g,j := m,j + for j n ; g,n := m,n ; g,j := m,j for j n ; g,n := m,n. Third case: M does not have bugs andm,n = m,n. In this case, we set g,j := m,j + for j n ; g,j := m,j for j n ; g,n := m,n +. Let us check thatφ n (M) G n. First, observe that, ifj is not a bug, then, by definition,m,j+ m,j +, so that the yellow and purple blocks always satisfy the diagonal inequalities after the mapping. It is straightforward to verify that the other inequalities are satisfied in the second and third case. In the first case, notice that g,k = m,k m,k = g,k+ and g,k+ = m,k m,k+ = g,k+ ask is a bug. Furthermore, g,k = m,k + m,k + m,k+ m,k+ = g,k so that the horizontal inequalities are satisfied. Moreover, g,k = m,k m,k m,k+ m,k+ = g,k, g,k+ = m,k m,k+ = g,k+, g,j = m,j m,j+ = g,j for k+ j n, and g,j = m,j+ < j + for k j n, so that the vertical inequalities are also satisfied. Finally, the diagonal inequalities are satisfied since g,k+ = m,k m,k+ = g,k and g,j = m,j m,j = g,j fork+ j n. From Gog to Magog We now consider an(n,)-gog trapezoidg = (g i,j ) and construct Ψ n (G) = (m ij ) as follows. We define k := max { j {,...,n } : g,j g,j+ + }. () This number is well defined as g, = g, +. First case: k n. We set m,j := g,j for j k ; m,k := g,k+ ; m,j := g,j for k + j n; m,j := g,j for j k; m,j := g,j+ + for k + j n. Second case: k = n andg,n < g,n. We set m,j := g,j for j n ; m,n := g,n ; m,n := g,n ; m,j := g,j for j n. Third case: k = n andm,n = m,n. We set m,j := g,j for j n m,n := g,n ; m,j := g,j for j n.

5 > = + Figure : The three cases of the bijection, from a Gog trapezoid to a Magog trapezoid. On the top line,k =. We now show that Ψ n (G) M n. In the first and second case, the definition of k entails that m,k = g,k g,k+ = m,k, so that the horizontal inequalities hold. In the second case, we get the desired conclusion by noticing that m,n = g,n g,n n and m,n = g,n n. In the first case, by definition of k, m,j = g,j+ + g,j = m,j for k + j n and, by vertical inequalities, m,j = g,j j for k + j n. Finally, still by definition of k, m,k = g,k+ g,k+ g,k k. This establishes the claim in the first case. The third case is straightforward. The previous mappings are inverses of each other We now prove that the previous mappings are bijections. Theorem. The mappings Φ n : M n G n and Ψ n : G n M n are bijections, which are inverse one from another.

6 Proof. We have already established that Φ n : M n G n and Ψ n : G n M n. It remains to show thatψ n Φ n andφ n Ψ n are the identity onm n andg n, respectively. In fact, we will see that the three cases we distinguished are in correspondence via the bijection. First case. Let M = (m i,j ) M n be a Magog trapezoid that has a bug, and let k be its smallest bug. As in Section, we define (g ij ) := Φ n (M). We have g,k = m,k + m,k + = g,k+ + and, fork+ j n, g,j+ + = m,j < m,j = g,j fork+ j n, so that PSfrag replacements max { j {,...,n } : g,j g,j+ + } = k. As the box moving procedure of Section is clearly the inverse of that of Section, we conclude that(ψ n Φ n )(M) = M. Let now G = (g ij ) G n be such that the integer k defined by () is smaller than or equal to n. In order to conclude that (Φ n Ψ n )(G) = G, it is sufficient to show that k is the smallest bug of(m i,j ) := Ψ n (G). This is indeed the case as m,k+ = g,k+ + > g,k+ + = m,k + and, for j k, m,j+ = g,j+ g,j = m,j +. Second and third case. LetM = (m i,j ) M n be a bug-free Magog trapezoid and(g ij ) := Φ n (M). If we are in the second case, then g,n = m,n + m,n + = g,n +, and, if we are in the third case, then g,n = m,n + m,n + = g,n, so that, in both cases, max { j {,...,n } : g,j g,j+ + } = n. We conclude as above that (Ψ n Φ n )(M) = M. Let now G = (g ij ) G n be such that the integer k defined by () is equal to n. We see that (Φ n Ψ n )(G) = G by noticing that (m i,j ) := Ψ n (G) is bug-free as, for j n, m,j+ = g,j+ g,j = m,j +. Extension to(l,n,) trapezoids and perspectives Our bijection can trivially be extended to (l,n,) trapezoids, where l 0 is an integer. Here, an (l, n, )-Magog trapezoid is defined as an (n, )-Magog trapezoid, with the difference that item (ii) of Definition is replaced by (ii ) m,j m,j j +l for all j {,...,n } andm,n n+l. See Figure. Similarly, an (l,n,)-gog trapezoid is defined as an (n,)-gog trapezoid with the difference that item (ii) of Definition is replaced by (ii ) g,j < g,j < j ++l for allj {,...,n } ; m, m, m, m, m, m, m, m, m, m, m, m, m, m, m, g, g, g, g, g, g, g, g, g, g, g, g, g, g, g, (,, )-Magog trapezoid (,, )-Gog trapezoid Figure : Definition of(l, n, ) trapezoids.

7 For any l and n, the mappings Φ n and Ψ n can be extended without any differences in the construction into bijections between the set of (l,n,)-magog trapezoids and the set of (l,n,)-gog trapezoids. The proofs can be copied almost verbatim, the only thing to do is to addl whenever we use one of the bounds changed by these definitions. Unfortunately, as of today, we did not manage to extend this bijection to(n,) trapezoids. The mappingφ n exchanges the sizes of two consecutive rows so that one could think that, in the case of (n,) trapezoids, we would need to apply a similar operation several times in order to pass from a Magog to a Gog trapezoid. Unfortunately, whenever a third row is present, we cannot slide the boxes of two consecutive rows without breaking the rules. This question remains under investigation. It has also been brought to our attention that our construction bears some intriguing similarities with a construction used by Krattenthaler [Kra9, Section ] in order to show the q-logconcavity of Gaussian binomial coefficients. In the latter construction, two rows of strictly increasing integers are considered and one carefully chosen entry of the second row is removed from it and inserted in the first row after addition of a constant. A major difference between both constructions lies in the fact that the entries in the latter one only satisfy monotonicity relations in one direction (along rows) so that the objects are less constrained. References [And9] [BC] [Bre99] [Che] [Kra] George E. Andrews. Plane partitions. V. The TSSCPP conjecture. J. Combin. Theory Ser. A, (): 9, 99. Philippe Biane and Hayat Cheballah. Gog and Magog triangles, and the Schützenberger involution. Sém. Lothar. Combin., :Art. Bd, 0, 0. David M. Bressoud. Proofs and confirmations. MAA Spectrum. Mathematical Association of America, Washington, DC; Cambridge University Press, Cambridge, 999. The story of the alternating sign matrix conjecture. Hayat Cheballah. Combinatoire des matrices à signes alternants et des partitions planes. PhD thesis, LIPN, Université Paris-Nord, 0. Christian Krattenthaler. A gog-magog conjecture. Not published, available on his webpage: [Kra9] Christian Krattenthaler. On the q-log-concavity of Gaussian binomial coefficients. Monatsh. Math., 0(): 9, 99. [MRR] W. H. Mills, David P. Robbins, and Howard Rumsey, Jr. Self-complementary totally symmetric plane partitions. J. Combin. Theory Ser. A, (): 9, 9. [Zei9] Doron Zeilberger. Proof of the alternating sign matrix conjecture. Electron. J. Combin., ():Research Paper, approx. pp. (electronic), 99. The Foata Festschrift.