arXiv++ Combinatorics

A number of conjectures have been given recently concerning the connection between the antiferromagnetic XXZ spin chain at $Δ= - \frac12$ and various symmetry classes of alternating sign matrices. Here we use the integrability of the XXZ chain to gain further insight into these developments. In doing so we obtain a number of new results using Baxter's $Q$ function for the XXZ chain for periodic, twisted and open boundary conditions. These include expressions for the elementary symmetric functions evaluated at the groundstate solution of the Bethe roots. In this approach Schur functions play a central role and enable us to derive determinant expressions which appear in certain natural double products over the Bethe roots. When evaluated these give rise to the numbers counting different symmetry classes of alternating sign matrices.

We compute 2-enumerations of certain halved alternating sign matrices. In one case the enumeration equals the number of perfect matchings of a halved Aztec diamond. In the other case the enumeration equals the number of perfect matchings of a halved fortress graph. Our results prove three conjectures by Jim Propp.

The finite XXZ Heisenberg spin chain with twisted boundary conditions was considered. For the case of even number of sites $N$, anisotropy parameter -1/2 and twisting angle $2 π/3$ the Hamiltonian of the system possesses an eigenvalue $-3N/2$. The explicit form of the corresponding eigenvector was found for $N \le 12$. Conjecturing that this vector is the ground state of the system we made and verified several conjectures related to the norm of the ground state vector, its component with maximal absolute value and some correlation functions, which have combinatorial nature. In particular, the squared norm of the ground state vector is probably coincides with the number of half-turn symmetric alternating sign $N \times N$ matrices.

We consider the groundstate wavefunction of the quantum symmetric antiferromagnetic XXZ chain with open and twisted boundary conditions at $Δ=-{1/2}$, along with the groundstate wavefunction of the corresponding O($n$) loop model at $n=1$. Based on exact results for finite-size systems, sums involving the wavefunction components, and in some cases the largest component itself, are conjectured to be directly related to the total number of alternating sign matrices and plane partitions in certain symmetry classes.

In a previous article [math.CO/9712207], we derived the alternating-sign matrix (ASM) theorem from the Izergin-Korepin determinant for a partition function for square ice with domain wall boundary. Here we show that the same argument enumerates three other symmetry classes of alternating-sign matrices: VSASMs (vertically symmetric ASMs), even HTSASMs (half-turn-symmetric ASMs), and even QTSASMs (quarter-turn-symmetric ASMs). The VSASM enumeration was conjectured by Mills; the others by Robbins [math.CO/0008045]. We introduce several new types of ASMs: UASMs (ASMs with a U-turn side), UUASMs (two U-turn sides), OSASMs (off-diagonally symmetric ASMs), OOSASMs (off-diagonally, off-antidiagonally symmetric), and UOSASMs (off-diagonally symmetric with U-turn sides). UASMs generalize VSASMs, while UUASMs generalize VHSASMs (vertically and horizontally symmetric ASMs) and another new class, VHPASMs (vertically and horizontally perverse). OSASMs, OOSASMs, and UOSASMs are related to the remaining symmetry classes of ASMs, namely DSASMs (diagonally symmetric), DASASMs (diagonally, anti-diagonally symmetric), and TSASMs (totally symmetric ASMs). We enumerate several of these new classes, and we provide several 2-enumerations and 3-enumerations. Our main technical tool is a set of multi-parameter determinant and Pfaffian formulas generalizing the Izergin-Korepin determinant for ASMs and the Tsuchiya determinant for UASMs [solv-int/9804010]. We evaluate specializations of the determinants and Pfaffians using the factor exhaustion method.

An alternating sign matrix is a square matrix satisfying (i) all entries are equal to 1, -1 or 0; (ii) every row and column has sum 1; (iii) in every row and column the non-zero entries alternate in sign. The 8-element group of symmetries of the square acts in an obvious way on square matrices. For any subgroup of the group of symmetries of the square we may consider the subset of matrices invariant under elements of this subgroup. There are 8 conjugacy classes of these subgroups giving rise to 8 symmetry classes of matrices. R. P. Stanley suggested the study of those alternating sign matrices in each of these symmetry classes. We have found evidence suggesting that for six of the symmetry classes there exist simple product formulas for the number of alternating sign matrices in the class. Moreover the factorizations of certain of their generating functions point to rather startling connections between several of the symmetry classes and cyclically symmetric plane partitions.

We settle a question of Bressoud concerning the existence of an explicit bijection from a class of oriented square-ice graphs to a class of tournaments. We give an algorithm constructing such a bijection.

This paper highlights three known identities, each of which involves sums over alternating sign matrices. While proofs of all three are known, the only known derivations are as corollaries of difficult results. The simplicity and natural combinatorial interpretation of these identities, however, suggest that there should be direct, bijective proofs.

We prove a conjecture of Cohn and Propp, which refines a conjecture of Bosley and Fidkowski about the symmetry of the set of alternating sign matrices (ASMs). We examine data arising from the representation of an ASM as a collection of paths connecting 2n vertices and show it to be invariant under the dihedral group D_{2n} rearranging those vertices, which is much bigger than the group of symmetries of the square. We also generalize conjectures of Propp and Wilson relating some of this data for different values of n.

Robbins conjectured, and Zeilberger recently proved, that there are 1!4!7!...(3n-2)!/n!/(n+1)!/.../(2n-1)! alternating sign matrices of order n. We give a new proof of this result using an analysis of the six-vertex state model (also called square ice) based on the Yang-Baxter equation.