arXiv++ Combinatorics

We consider a discrete-time dynamical process on graphs, firstly introduced in connection with a protocol for controlling large networks of spin 1/2 quantum mechanical particles [Phys. Rev. Lett. 99, 100501 (2007)]. A description is as follows: each vertex of an initially selected set has a packet of information (the same for every element of the set), which will be distributed among vertices of the graph; a vertex v can pass its packet to an adjacent vertex w only if w is its only neighbour without the information. By mean of examples, we describe some general properties, mainly concerning homeomorphism, and redundant edges. We prove that the cardinality of the smallest sets propagating the information in all vertices of a balanced m-ary tree of depth k is exactly (m^{k+1}+(-1)^{k})/(m+1). For binary trees, this number is related to alternating sign matrices.

The problem of the limit shape of large alternating sign matrices (ASMs) is addressed by studying the emptiness formation probability (EFP) in the domain-wall six-vertex model. Assuming that the limit shape arises in correspondence to the `condensation' of almost all solutions of the saddle-point equations for certain multiple integral representation for EFP, a conjectural expression for the limit shape of large ASMs is derived. The case of 3-enumerated ASMs is also considered.

We prove the equality of doubly refined enumerations of Alternating Sign Matrices and of Totally Symmetric Self-Complementary Plane Partitions using integral formulae originating from certain solutions of the quantum Knizhnik--Zamolodchikov equation.

We obtain a new expression for the partition function of the 8VSOS model with domain wall boundary conditions, which we consider to be the natural extension of the Izergin-Korepin formula for the six-vertex model. As applications, we find dynamical (in the sense of the dynamical Yang-Baxter equation) generalizations of the enumeration and 2-enumeration of alternating sign matrices. The dynamical enumeration has a nice interpretation in terms of three-colourings of the square lattice.

We consider partial sum rules for the homogeneous limit of the solution of the q-deformed Knizhnik--Zamolodchikov equation with reflecting boundaries in the Dyck path representation. We show that these partial sums arise in a solution of the discrete Hirota equation, and prove that they are the generating functions of $τ^2$-weighted punctured cyclically symmetric transpose complement plane partitions where $τ=-(q+q^{-1})$. In the cases of no or minimal punctures, we prove that these generating functions coincide with $τ^2$-enumerations of vertically symmetric alternating sign matrices and modifications thereof.

Lascoux and Schützenberger introduced a notion of key associated to any Young tableau. More recently Lascoux defined the key of an alternating sign matrix by recursively removing all -1's in such matrices. But alternating sign matrices are in bijection with monotone triangles, which form a subclass of Young tableaux. We show that in this case these two notions of keys coincide. Moreover we obtain an elegant and direct way to compute the key of any Young tableau, and discuss consequences of our result.

We define a higher spin alternating sign matrix to be an integer-entry square matrix in which, for a nonnegative integer r, all complete row and column sums are r, and all partial row and column sums extending from each end of the row or column are nonnegative. Such matrices correspond to configurations of spin r/2 statistical mechanical vertex models with domain-wall boundary conditions. The case r=1 gives standard alternating sign matrices, while the case in which all matrix entries are nonnegative gives semimagic squares. We show that the higher spin alternating sign matrices of size n are the integer points of the r-th dilate of an integral convex polytope of dimension (n-1)^2 whose vertices are the standard alternating sign matrices of size n. It then follows that, for fixed n, these matrices are enumerated by an Ehrhart polynomial in r.

We define the alternating sign matrix polytope as the convex hull of nxn alternating sign matrices and prove its equivalent description in terms of inequalities. This is analogous to the well known result of Birkhoff and von Neumann that the convex hull of the permutation matrices equals the set of all nonnegative doubly stochastic matrices. We count the facets and vertices of the alternating sign matrix polytope and describe its projection to the permutohedron as well as give a complete characterization of its face lattice in terms of modified square ice configurations. Furthermore we prove that the dimension of any face can be easily determined from this characterization.

In this paper we study the Rotor Model of Martins and Nienhuis. After introducing spectral parameters, a combined use of integrability, polynomiality of the ground state wave function and a mapping into the fully-packed O(1)-model allows us to determine the sum rule and a family of maximally nested components for different boundary conditions. We see in this way the appearance of 3-enumerations of Alternating Sign Matrices.

We present multiresidue formulae for partial sums in the basis of link patterns of the polynomial solution to the level 1 U_q(\hat sl_2) quantum Knizhnik--Zamolodchikov equation at generic values of the quantum parameter q. These allow for rewriting and generalizing a recent conjecture [Di Francesco '06] connecting the above to generating polynomials for weighted Totally Symmetric Self-Complementary Plane Partitions. We reduce the corresponding conjectures to a single integral identity, yet to be proved.

Monotone triangles are certain triangular arrays of integers, which correspond to $n \times n$ alternating sign matrices when prescribing $(1,2,...,n)$ as bottom row of the monotone triangle. In this article we define halved monotone triangles, a specialization of which correspond to vertically symmetric alternating sign matrices. We derive an operator formula for the number of halved monotone triangles with prescribed bottom row which is analogous to our operator formula for the number of ordinary monotone triangle.

The combinatorics of certain osculating lattice paths is studied, and a relationship with oscillating tableaux is obtained. More specifically, the paths being considered have fixed start and end points on respectively the lower and right boundaries of a rectangle in the square lattice, each path can take only unit steps rightwards or upwards, and two different paths are permitted to share lattice points, but not to cross or share lattice edges. Such paths correspond to configurations of the six-vertex model of statistical mechanics with appropriate boundary conditions, and they include cases which correspond to alternating sign matrices and various subclasses thereof. Referring to points of the rectangle through which no or two paths pass as vacancies or osculations respectively, the case of primary interest is tuples of paths with a fixed number $l$ of vacancies and osculations. It is then shown that there exist natural bijections which map each such path tuple $P$ to a pair $(t,η)$, where $η$ is an oscillating tableau of length $l$ (i.e., a sequence of $l+1$ partitions, starting with the empty partition, in which the Young diagrams of successive partitions differ by a single square), and $t$ is a certain, compatible sequence of $l$ weakly increasing positive integers. Furthermore, each vacancy or osculation of $P$ corresponds to a partition in $η$ whose Young diagram is obtained from that of its predecessor by respectively the addition or deletion of a square. These bijections lead to enumeration formulae for osculating paths involving sums over oscillating tableaux.

The integrable loop model with mixed boundary conditions based on the 1-boundary extended Temperley--Lieb algebra with loop weight 1 is considered. The corresponding qKZ equation is introduced and its minimal degree solution described. As a result, the sum of the properly normalized components of the ground state in size L is computed and shown to be equal to the number of Horizontally and Vertically Symmetric Alternating Sign Matrices of size 2L+3. A refined counting is also considered.

We enumerate staircases with fixed left and right columns. These objects correspond to ice-configurations, or alternating sign matrices, with fixed top and bottom parts. The resulting partition functions are equal, up to a normalization factor, to some Schubert polynomials.

In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper "Self-complementary totally symmetric plane partitions" (J. Combin. Theory Ser. A 42, 277-292). In other words we show that the number of shifted plane partitions invariant under an involution is equal to the number of alternating sign matrices invariant under the vertical flip. We also give a determinantal formula for the general conjecture (Conjecture 6), but this determinant is still hard to evaluate. In this paper we introduce two new classes of domino plane partitions, one has the same cardinality as the set of half-turn symmetric alternating sign matrices and the other has the same cardinality as the set of vertically symmetric alternating sign matrices.

We study a one-parameter family of vector-valued polynomials associated to each simple Lie algebra. When this parameter $q$ equals -1 one recovers Joseph polynomials, whereas at $q$ cubic root of unity one obtains ground state eigenvectors of some integrable models with boundary conditions depending on the Lie algebra; in particular, we find that the sum of its entries is related to numbers of Alternating Sign Matrices and/or Plane Partitions in various symmetry classes.

A new type of sl_3 basic hypergeometric series based on Macdonald polynomials is introduced. Besides a pair of Macdonald polynomials attached to two different sets of variables, a key-ingredient in the sl_3 basic hypergeometric series is a bisymmetric function related to Macdonald's commuting family of q-difference operators, to the sl_3 Selberg integrals of Tarasov and Varchenko, and to alternating sign matrices. Our main result for sl_3 series is a multivariable generalization of the celebrated q-binomial theorem. In the limit this q-binomial sum yields a new sl_3 Selberg integral for Jack polynomials.

The six-vertex model, or the square ice model, with domain wall boundary conditions (DWBC) has been introduced and solved for finite $N$ by Korepin and Izergin. The solution is based on the Yang-Baxter equations and it represents the free energy in terms of an $N\times N$ Hankel determinant. Paul Zinn-Justin observed that the Izergin-Korepin formula can be re-expressed in terms of the partition function of a random matrix model with a nonpolynomial interaction. We use this observation to obtain the large $N$ asymptotics of the six-vertex model with DWBC in the disordered phase. The solution is based on the Riemann-Hilbert approach and the Deift-Zhou nonlinear steepest descent method. As was noticed by Kuperberg, the problem of enumeration of alternating sign matrices (the ASM problem) is a special case of the the six-vertex model. We compare the obtained exact solution of the six-vertex model with known exact results for the 1, 2, and 3 enumerations of ASMs, and also with the exact solution on the so-called free fermion line. We prove the conjecture of Zinn-Justin that the partition function of the six-vertex model with DWBC has the asymptotics, $Z_N\sim CN^κe^{N^2f}$ as $N\to\infty$, and we find the exact value of the exponent $κ$.

We find higher rank generalizations of the Razumov--Stroganov sum rules at $q=-e^{iπ\over k+1}$ for $A_{k-1}$ models with open boundaries, by constructing polynomial solutions of level one boundary quantum Knizhnik--Zamolodchikov equations for $U_q(\frak{sl}(k))$. The result takes the form of a character of the symplectic group, that leads to a generalization of the number of vertically symmetric alternating sign matrices. We also investigate the other combinatorial point $q=-1$, presumably related to the geometry of nilpotent matrix varieties.

We prove higher rank analogues of the Razumov--Stroganov sum rule for the groundstate of the O(1) loop model on a semi-infinite cylinder: we show that a weighted sum of components of the groundstate of the A_{k-1} IRF model yields integers that generalize the numbers of alternating sign matrices. This is done by constructing minimal polynomial solutions of the level 1 U_q(\hat{sl(k)}) quantum Knizhnik--Zamolodchikov equations, which may also be interpreted as quantum incompressible q-deformations of fractional quantum Hall effect wave functions at filling fraction nu=1/k. In addition to the generalized Razumov--Stroganov point q=-e^{i pi/k+1}, another combinatorially interesting point is reached in the rational limit q -> -1, where we identify the solution with extended Joseph polynomials associated to the geometry of upper triangular matrices with vanishing k-th power.