We study the enumeration of diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order by introducing a case of the six-vertex model whose configurations are in ...bijection with such matrices. The model involves a grid graph on a triangle, with bulk and boundary weights which satisfy the Yang–Baxter and reflection equations. We obtain a general expression for the partition function of this model as a sum of two determinantal terms, and show that at a certain point each of these terms reduces to a Schur function. We are then able to prove a conjecture of Robbins from the mid 1980's that the total number of (2n+1)×(2n+1) DASASMs is ∏i=0n(3i)!(n+i)!, and a conjecture of Stroganov from 2008 that the ratio between the numbers of (2n+1)×(2n+1) DASASMs with central entry −1 and 1 is n/(n+1). Among the several product formulae for the enumeration of symmetric alternating sign matrices which were conjectured in the 1980's, that for odd-order DASASMs is the last to have been proved.
We show that there is the same number of (n,l)-alternating sign trapezoids as there is of column strict shifted plane partitions of class l−1 with at most n parts in the top row, thereby proving a ...result that was conjectured independently by Behrend and Aigner. The first objects generalize alternating sign triangles, which have recently been introduced by Ayyer, Behrend and the author who showed that they are counted by the same formula as alternating sign matrices. Column strict shifted plane partitions of a fixed class were introduced in a slightly different form by Andrews, and they essentially generalize descending plane partitions. They also correspond to cyclically symmetric lozenge tilings of a hexagon with a triangular hole in the center. In addition, we also provide three statistics on each class of objects and show that their joint distribution is the same. We prove our result by employing a constant term approach that is based on the author's operator formula for monotone triangles. This paper complements a forthcoming paper of Behrend and the author, where the six-vertex model approach is used to show equinumeracy as well as generalizations involving statistics that are different from those considered in the present paper.
We study the enumeration of diagonally and antidiagonally symmetric alternating sign matrices (DAS- ASMs) of fixed odd order by introducing a case of the six-vertex model whose configurations are in ...bijection with such matrices. The model involves a grid graph on a triangle, with bulk and boundary weights which satisfy the Yang– Baxter and reflection equations. We obtain a general expression for the partition function of this model as a sum of two determinantal terms, and show that at a certain point each of these terms reduces to a Schur function. We are then able to prove a conjecture of Robbins from the mid 1980's that the total number of (2n + 1) × (2n + 1) DASASMs is∏n (3i)! ,andaconjectureofStroganovfrom2008thattheratiobetweenthenumbersof(2n+1)×(2n+1) i=0 (n+i)! DASASMs with central entry −1 and 1 is n/(n + 1). Among the several product formulae for the enumeration of symmetric alternating sign matrices which were conjectured in the 1980's, that for odd-order DASASMs is the last to have been proved.
Gog and Magog trapezoids are certain arrays of positive integers that generalize alternating sign matrices (ASMs) and totally symmetric self-complementary plane partitions (TSSCPPs) respectively. ...Zeilberger used constant term formulas to prove that there is the same number of (n,k)-Gog trapezoids as there is of (n,k)-Magog trapezoids, thereby providing so far the only proof for a weak version of a conjecture by Mills, Robbins and Rumsey from 1986. About 20 years ago, Krattenthaler generalized Gog and Magog trapezoids and formulated an extension of their conjecture, and, recently, Biane and Cheballah generalized Gog trapezoids further and formulated a related conjecture. In this paper, we derive constant term formulas for various refined enumerations of generalized Gog trapezoids including those considered by Krattenthaler and by Biane and Cheballah. For this purpose we employ a result on the enumeration of truncated monotone triangles which is in turn based in the author's operator formula for the number of monotone triangles with prescribed bottom row. As a byproduct, we also generalize the operator formula for monotone triangles by including the inversion number and the complementary inversion number for ASMs. Constant term formulas as well as determinant formulas for the refined Magog trapezoid numbers that appear in Krattenthaler's conjecture are also deduced by using the classical approach based on non-intersecting lattice paths and the Lindström–Gessel–Viennot theorem. Finally, we review and partly extend a few existing tools that may be helpful in relating constant term formulas for Gogs to those for Magogs to eventually prove the above mentioned conjectures.
Alternating sign matrix (ASM) counting is fascinating because it pushes the limits of counting tools. Nowadays, the standard method to attack such problems is the six-vertex model approach which ...involves computing a certain generating function of ASMs with—at first sight—nonorthodox weights originating from statistical mechanics. Still nobody has been able to use this technique to reprove the generalization of the ASM theorem that Zeilberger has actually established in the first proof of the ASM theorem, where he showed that there is the same number of n×k Gog-trapezoids as there is of n×k Magog-trapezoids nor has anybody proved Krattenthaler's conjectural generalization of this result. In 2007 I have presented a proof of the ASM theorem in a 12 page paper which does not involve the six-vertex model, but relies on another 19 page paper as well as Andrew's determinant evaluation that he used to enumerated descending plane partitions. Over the years I have discovered many simplifications of my original proof and it is the main purpose of this paper to present now a 9 page self-contained proof of the ASM theorem. In addition, I speculate on how to possibly transform this computational proof into a more combinatorial proof and I also provide a new constant term expression for the number of monotone triangles with prescribed bottom row.
In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the ...others into symplectic and/or orthogonal group characters, thereby generalizing results of Ciucu and Krattenthaler for rectangular shapes. Their proofs proceed by manipulations of determinants underlying the characters. The purpose of the current paper is to provide bijective proofs of such factorizations. The quantities involved have known combinatorial interpretations in terms of Gelfand-Tsetlin patterns of various types or half Gelfand-Tsetlin patterns, which can in turn be transformed into perfect matchings of weighted trapezoidal honeycomb graphs. An important ingredient is then Ciucu's theorem for graphs with reflective symmetry. However, before being able to apply it, we need to employ a certain averaging procedure in order to achieve symmetric edge weights. This procedure is based on a “randomized” bijection, which can however also be turned into a classical bijection. For one type of Schur polynomial factorization, we also need an additional graph operation that almost doubles the underlying graph. Finally, our combinatorial proofs reveal that the factorizations under consideration can in fact also be generalized to skew shapes as discussed at the end of the paper.
Abstract
This paper is the 2nd in a series of planned papers that provide 1st bijective proofs of alternating sign matrix (ASM) results. Based on the main result from the 1st paper, we construct a ...bijective proof of the enumeration formula for ASMs and of the fact that ASMs are equinumerous with descending plane partitions. We are also able to refine these bijections by including the position of the unique $1$ in the top row of the matrix. Our constructions rely on signed sets and related notions. The starting point for these constructions were known “computational” proofs, but the combinatorial point of view led to several drastic modifications. We also provide computer code where all of our constructions have been implemented.
There is the same number of n×n alternating sign matrices (ASMs) as there is of descending plane partitions (DPPs) with parts no greater than n, but finding an explicit bijection is an open problem ...for about 40 years now. So far, quadruples of statistics on ASMs and on DPPs that have the same joint distribution have been identified. We introduce extensions of ASMs and of DPPs along with n+3 statistics on each extension, and show that the two families of statistics have the same joint distribution. The ASM-DPP equinumerosity is obtained as an easy consequence by considering the (−1)-enumerations of these extended objects with respect to one pair of the n+3 pairs of statistics. One may speculate that the fact that these extensions might be necessary to have this significant increase in the number of statistics, as well as the involvement of signs when specializing to ASMs and DPPs may hint at the obstacles in finding an explicit bijection between ASMs and DPPs. One important tool for our proof is a multivariate generalization of the operator formula for the number of monotone triangles with prescribed bottom row that generalizes Schur functions.