arXiv++ Combinatorics

We review various combinatorial problems with underlying classical or quantum integrable structures. (Plenary talk given at the International Congress of Mathematical Physics, Aalborg, Denmark, August 10, 2012.)

In this paper, we use the network solution of the $A_r$ $T$-system to derive that of the unrestricted $A_\infty$ $T$-system, equivalent to the octahedron relation. We then present a method for implementing various boundary conditions on this system, which consists of picking initial data with suitable symmetries. The corresponding restricted $T$-systems are solved exactly in terms of networks. This gives a simple explanation for phenomena such as the Zamolodchikov periodicity property for $T$-systems (corresponding to the case $A_\ell\times A_r$) and a combinatorial interpretation for the positive Laurent property of the variables of the associated cluster algebra. We also explain the relation between the $T$-system wrapped on a torus and the higher pentagram maps of Gekhtman et al.

It was shown recently by the authors that, for any n, there is equality between the distributions of certain triplets of statistics on nxn alternating sign matrices (ASMs) and descending plane partitions (DPPs) with each part at most n. The statistics for an ASM A are the number of generalized inversions in A, the number of -1's in A and the number of 0's to the left of the 1 in the first row of A, and the respective statistics for a DPP D are the number of nonspecial parts in D, the number of special parts in D and the number of n's in D. Here, the result is generalized to include a fourth statistic for each type of object, where this is the number of 0's to the right of the 1 in the last row of an ASM, and the number of (n-1)'s plus the number of rows of length n-1 in a DPP. This generalization is proved using the known equality of the three-statistic generating functions, together with relations which express each four-statistic generating function in terms of its three-statistic counterpart. These relations are obtained by applying the Desnanot-Jacobi identity to determinantal expressions for the generating functions, where the determinants arise from standard methods involving the six-vertex model with domain-wall boundary conditions for ASMs, and nonintersecting lattice paths for DPPs.

$Q$-systems are recursion relations satisfied by the characters of the restrictions of special finite-dimensional modules of quantum affine algebras. They can also be viewed as mutations in certain cluster algebras, which have a natural quantum deformation. In this paper, we explain the relation in the simply-laced case between the resulting quantum $Q$-systems and the graded tensor product of Feigin and Loktev. We prove the graded version of the $M=N$ identities, and write expressions for these as non-commuting evaluated multi-residues of suitable products of solutions of the quantum $Q$-system. This leads to a simple reformulation of Feigin and Loktev's fusion coefficients as matrix elements in a representation of the quantum $Q$-system algebra.

We derive explicit expressions for the generating series of the fundamental solutions of the $A_r$ quantum $Q$-system of Ref. [P. Di Francesco and R. Kedem, arXiv:1006.4774 [math-ph]], expressed in terms of any admissible initial data. These involve products of quantum multinomial coefficients, coded by the initial data structure.

We prove a conjecture of Mills, Robbins and Rumsey [Alternating sign matrices and descending plane partitions, J. Combin. Theory Ser. A 34 (1983), 340-359] that, for any n, k, m and p, the number of nxn alternating sign matrices (ASMs) for which the 1 of the first row is in column k+1 and there are exactly m -1's and m+p inversions is equal to the number of descending plane partitions (DPPs) for which each part is at most n and there are exactly k parts equal to n, m special parts and p nonspecial parts. The proof involves expressing the associated generating functions for ASMs and DPPs with fixed n as determinants of nxn matrices, and using elementary transformations to show that these determinants are equal. The determinants themselves are obtained by standard methods: for ASMs this involves using the Izergin-Korepin formula for the partition function of the six-vertex model with domain-wall boundary conditions, together with a bijection between ASMs and configurations of this model, and for DPPs it involves using the Lindstrom-Gessel-Viennot theorem, together with a bijection between DPPs and certain sets of nonintersecting lattice paths.

We solve the quantum version of the $A_1$ $T$-system by use of quantum networks. The system is interpreted as a particular set of mutations of a suitable (infinite-rank) quantum cluster algebra, and Laurent positivity follows from our solution. As an application we re-derive the corresponding quantum network solution to the quantum $A_1$ $Q$-system and generalize it to the fully non-commutative case. We give the relation between the quantum $T$-system and the quantum lattice Liouville equation, which is the quantized $Y$-system.

In this review article, we present a unified approach to solving discrete, integrable, possibly non-commutative, dynamical systems, including the $Q$- and $T$-systems based on $A_r$. The initial data of the systems are seen as cluster variables in a suitable cluster algebra, and may evolve by local mutations. We show that the solutions are always expressed as Laurent polynomials of the initial data with non-negative integer coefficients. This is done by reformulating the mutations of initial data as local rearrangements of continued fractions generating some particular solutions, that preserve manifest positivity. We also show how these techniques apply as well to non-commutative settings.

In previous work, we showed that the solution of certain systems of discrete integrable equations, notably $Q$ and $T$-systems, is given in terms of partition functions of positively weighted paths, thereby proving the positive Laurent phenomenon of Fomin and Zelevinsky for these cases. This method of solution is amenable to generalization to non-commutative weighted paths. Under certain circumstances, these describe solutions of discrete evolution equations in non-commutative variables: Examples are the corresponding quantum cluster algebras [BZ], the Kontsevich evolution [DFK09b] and the $T$-systems themselves [DFK09a]. In this paper, we formulate certain non-commutative integrable evolutions by considering paths with non-commutative weights, together with an evolution of the weights that reduces to cluster algebra mutations in the commutative limit. The general weights are expressed as Laurent monomials of quasi-determinants of path partition functions, allowing for a non-commutative version of the positive Laurent phenomenon. We apply this construction to the known systems, and obtain Laurent positivity results for their solutions in terms of initial data.

In the first part of this paper, we provide a concise review of our method of solution of the $A_r$ Q-systems in terms of the partition function of paths on a weighted graph. In the second part, we show that it is possible to modify the graphs and transfer matrices so as to provide an explicit connection to the theory of planar networks introduced in the context of totally positive matrices by Fomin and Zelevinsky. As an illustration of the further generality of our method, we apply it to give a simple solution for the rank 2 affine cluster algebras studied by Caldero and Zelevinsky.

We define the cluster algebra associated with the Q-system for the Kirillov-Reshetikhin characters of the quantum affine algebra $U_q(\hat{\g})$ for any simple Lie algebra g, generalizing the simply-laced case treated in [Kedem 2007]. We describe some special properties of this cluster algebra, and explain its relation to the deformed Q-systems which appeared on our proof of the combinatorial-KR conjecture. We prove that the polynomiality of the cluster variables in terms of the ``initial cluster seeds'', including solutions of the Q-system, is a consequence of the Laurent phenomenon and the boundary conditions. We also give a formulation of both Q-systems and generalized T-systems as cluster algebras with coefficients. This provides a proof of the polynomiality of solutions of generalized T-systems with appropriate boundary conditions.

We investigate models of (1+d)-D Lorentzian semi-random lattices with one random (space-like) direction and d regular (time-like) ones. We prove a general inversion formula expressing the partition function of these models as the inverse of that of hard objects in d dimensions. This allows for an exact solution of a variety of new models including critical and multicritical generalized (1+1)-D Lorentzian surfaces, with fractal dimensions $d_F=k+1$, k=1,2,3,..., as well as a new model of (1+2)-D critical tetrahedral complexes, with fractal dimension $d_F=12/5$. Critical exponents and universal scaling functions follow from this solution. We finally establish a general connection between (1+d)-D Lorentzian lattices and directed-site lattice animals in (1+d) dimensions.