arXiv++ Combinatorics

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.

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.

A. Joseph invented multidegrees in [Jo84] to study orbital varieties, which are the components of an orbital scheme, itself constructed by intersecting a nilpotent orbit with a Borel subalgebra. Their multidegrees, known as Joseph polynomials, give a basis of a (Springer) representation of the Weyl group. In the case of the nilpotent orbit $\{ M^2=0 \}$, the orbital varieties can be indexed by noncrossing chord diagrams in the disc. In this paper we study the normal cone to the orbital scheme inside this nilpotent orbit $\{ M^2 = 0 \}$. This gives a better-motivated construction of the Brauer loop scheme we introduced in [KZJ07], whose components are indexed by all chord diagrams (now possibly with crossings) in the disc. The multidegrees of its components, the Brauer loop varieties, were shown to reproduce the ground state of the Brauer loop model in statistical mechanics [DFZJ06]. Here, we reformulate and slightly generalize these multidegrees in order to express them as solutions of the rational quantum Knizhnik--Zamolodchikov equation associated to the Brauer algebra. In particular, the vector of the multidegrees satisfies two sets of equations, corresponding to the $e_i$ and $f_i$ generators of the Brauer algebra. We describe here the geometric meaning of both $e_i$ and $f_i$ equations in our slightly extended setting. We also describe the corresponding actions at the level of orbital varieties: while only the $e_i$ equations make sense directly on the Joseph polynomials, the $f_i$ equations also appear if one introduces a broader class of varieties. We explain the connection of the latter with matrix Schubert varieties.

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.

We introduce the_Brauer loop scheme_ E := {M in M_N(C) : M\cp M = 0}, where \cp is a certain degeneration of the ordinary matrix product. Its components of top dimension, floor(N^2/2), correspond to involutions πin S_N having one or no fixed points. In the case N even, this scheme contains the upper-upper scheme from [Knutson '04] as a union of (N/2)! of its components. One of those is a degeneration of the_commuting variety_ of pairs of commuting matrices. The_Brauer loop model_ is a quantum integrable stochastic process introduced in [de Gier--Nienhuis '04], and some of the entries of its Perron-Frobenius eigenvector were observed (conjecturally) to match the degrees of the components of the upper-upper scheme. We extend this, with proof, to_all_ the entries: they are the degrees of the components of the Brauer loop scheme. Our proof of this follows the program outlined in [Di Francesco--Zinn-Justin '04]. In that paper, the entries of the Perron-Frobenius eigenvector were generalized from numbers to polynomials, which allowed them to be calculated inductively using divided difference operators. We relate these polynomials to the multidegrees of the components of the Brauer loop scheme, defined using an evident torus action on E. In particular, we obtain a formula for the degree of the commuting variety, previously calculated up to 4x4 matrices.

We present a conjecture for the power-law exponent in the asymptotic number of types of plane curves as the number of self-intersections goes to infinity. In view of the description of prime alternating links as flype equivalence classes of plane curves, a similar conjecture is made for the asymptotic number of prime alternating knots. The rationale leading to these conjectures is given by quantum field theory. Plane curves are viewed as configurations of loops on a random planar lattices, that are in turn interpreted as a model of 2d quantum gravity with matter. The identification of the universality class of this model yields the conjecture. Since approximate counting or sampling planar curves with more than a few dozens of intersections is an open problem, direct confrontation with numerical data yields no convincing indication on the correctness of our conjectures. However, our physical approach yields a more general conjecture about connected systems of curves. We take advantage of this to design an original and feasible numerical test, based on recent perfect samplers for large planar maps. The numerical datas strongly support our identification with a conformal field theory recently described by Read and Saleur.

We propose a transfer matrix algorithm for the enumeration of alternating link diagrams with external legs, giving a weight $n$ to each connected component. Considering more general tetravalent diagrams with self-intersections and tangencies allows us to treat topological (flype) equivalences. This is done by means of a finite renormalization scheme for an associated matrix model. We give results, expressed as polynomials in $n$, for the various generating functions up to order 19 (link diagrams), 15 (prime alternating tangles) and 11 (6-legged links) intersections. The limit $n\to\infty$ is solved explicitly. We then analyze the large-order asymptotics of the generating functions. For $0\le n \le 2$ good agreement is found with a conjecture for the critical exponent, based on the KPZ relation.

We propose a new method to enumerate alternating knots using a transfer matrix approach. We apply it to count numerically various objects, including prime alternating tangles with two connected components, up to order 18--22, and comment on the large-order behavior in connection with one of the authors' conjecture.