arXiv++ Combinatorics

The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column number of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various related topics are also studied, involving diagonally symmetric permutation matrices, off-diagonally symmetric alternating sign matrices, certain natural involutions on DSASMs, and the asymptotic enumeration of DSASMs and other classes of alternating sign matrices.

We prove that the height-level path ensemble of a uniform alternating sign matrix converges to the Airy line ensemble near every interior point of the north-west arctic arc. Under the standard bijection, this is equivalently a limit theorem for the osculating paths of the domain-wall six-vertex model at the ice point. The proof has two main inputs. The integrable input is a new Pfaffian formula for rectangular frozen-corner probabilities, from which we obtain one-point convergence of the top path to the GUE Tracy--Widom distribution. The probabilistic input is an exact resampling law and accompanying bridge estimates for a strictly ordered midpoint encoding of the paths; these yield tightness and the Brownian Gibbs property for every subsequential limit. Aggarwal and Huang's strong characterization then identifies each such limit as the Airy line ensemble.

We explain how to derive the Robinson-Schensted-Knuth (RSK) correspondence, a fundamental bijection in algebraic combinatorics, from the Yang-Baxter equation. The Yang-Baxter equation arose in the study of quantum many-body systems and later became a cornerstone of the theory of solvable lattice models, particularly vertex models. In a vertex model, arrows occupy the edges of a grid, and each vertex carries a Boltzmann weight determined by the arrows on the four edges meeting at it. The weight of a configuration is the product of these local weights, and a partition function is the sum of the weights of all configurations with prescribed boundary conditions. For a vertex model whose partition functions are the Schur polynomials, the two sides of each instance of the Yang-Baxter equation admit exactly one weight-preserving matching of their summands. Carried across a grid, this forced matching is the classical RSK correspondence in the form of Fomin's growth diagrams. In natural coordinates the local matching becomes the combinatorial three-dimensional R, a set-theoretic solution of the Zamolodchikov tetrahedron equation. Its periodic closure returns the combinatorial R-matrices of one-row crystals. The forced matching is special to the Schur weights. For the Hall-Littlewood and q-Whittaker deformations and their spin versions, at generic parameter values no deterministic matching works for all boundary data. Reading each instance of the Yang-Baxter equation probabilistically, we replace the matching by a coupling of the two sides - a bijectivization, or probabilistic bijection - and obtain Markov operators that transport probability measures attached to vertex models. Iterated over the grid, these operators produce randomized RSK-type dynamics and interacting particle systems, including q-PushTASEP and the stochastic six-vertex model.

In this note we announce the limiting shape for the height function of a uniformly distributed alternating sign matrix (equivalently, a six-vertex model with equal weights and domain-wall boundary conditions)

We prove a two-parameter skew Littlewood identity for stable spin Hall--Littlewood symmetric functions, generalizing Warnaar's identity. This identity yields a half-space extension of the Yang--Baxter random field of Bufetov and Petrov. Using their stochastic Yang--Baxter move together with the skew Littlewood identity, we construct explicit bulk and boundary sampling rules and characterize the two boundary regimes in which these rules admit autonomous projections onto the first $R$ column lengths for every $R\ge1$. In these regimes, the partition-length fields agree, after explicit coordinate and parameter changes, with the half-space stochastic six-vertex model of Barraquand, Borodin, Corwin and Wheeler and a subfamily of He's model. The two-column projections retain spin dependence and converge, under the respective continuous-time scalings, to the same two-layer exclusion process whose first layer is open ASEP. We also prove that the joint distributions of partition lengths in ascending processes are independent of spin throughout the nonnegative parameter range. Using this spin independence and the distributional comparisons with half-space six-vertex heights, we transfer He's asymptotic results to diagonal partition lengths, obtaining Tracy--Widom GSE and GOE limits, Gaussian limits, and a GSE--GOE crossover under boundary tuning. The GOE limit also holds at the even-column specialization. Finally, the first-layer particle count of the continuous-time process has GOE fluctuations.

We introduce a censored version of the stochastic six-vertex model. We show that for parameters $b_1 < b_2$, this model started from the initial condition ${1}_{x>0}$ is stochastically dominated at any time by the blocking measure. This is a partial analog of the censoring inequality for monotone spin systems. In particular, this result allows us to control the behavior of second-class particles. The proof uses parabolic Kazhdan--Lusztig $R$-polynomials, whose appearance is explained using a connection between the stochastic six-vertex model and the Iwahori--Hecke algebras of symmetric groups. Furthermore, we find an intertwining relation for this process using normalized parabolic Kazhdan--Lusztig $R$-polynomials as an intertwining kernel.

We provide a generalization of the Littlewood identity, both sides of which are related to alternating sign matrices. The classical Littlewood identity establishes a nice product formula for the sum of all Schur polynomials. Compared to the classical identity, Schur polynomials are replaced by so-called modified Robbins polynomials. These polynomials are a generalization of Schur polynomials and enumerate down-arrowed monotone triangles, and thus also alternating sign matrices. As an additional factor on the other side of the identity, we have a Pfaffian formula which we interpret in terms of the partition function of six-vertex model configurations corresponding to diagonally symmetric alternating sign matrices.

We address the enumeration of Eulerian orientations of 4-valent planar maps according to three parameters: the number of vertices, the number of alternating vertices (having in/out/in/out incident edges), and the number of clockwise oriented faces. This is a refinement of the six vertex model studied by Kostov, then Zinn-Justin and Elvey Price, where one only considers the first two parameters. Via a bijection of Ambjorn and Budd, our problem is equivalent to the enumeration of Eulerian partial orientations of general planar maps, counted by the number of edges, the number of undirected edges, and the number of vertices. We first derive from combinatorial arguments a system of functional equations characterising the associated trivariate series $Q(t,ω,v)$. We then derive from this system a compact characterisation of this series. We use it to determine $Q(t,ω,v)$ in three two-parameter cases. The first two cases correspond to setting the variable $ω$ counting alternating vertices (or undirected edges after the AB bijection) to $0$ or $1$: when $ω=0$ we count Eulerian orientations of general planar maps by edges and vertices, and when $ω=1$ we count Eulerian orientations of quartic maps by vertices and clockwise faces. The final forms of these two series, namely $Q(t,0, v)$ and $Q(t,1,v)$, refine those obtained by the authors in an earlier paper for $v=1$. The third case that we solve, namely $v=1$ (but $ω$ arbitrary), is the standard six-vertex model, for which we provide a new proof of the formula of Elvey Price and Zinn-Justin involving Jacobi theta functions. This new derivation remains purely in the world of formal power series, not relying on complex analysis. Our results also use a more direct approach to solving the functional equations, in contrast to the guess and check approaches used in previous work.

The number of standard Young tableaux of a skew shape $λ/μ$ can be computed as a sum over excited diagrams inside $λ$. Excited diagrams are in bijection with certain lozenge tilings, with flagged semistandard tableaux and also nonintersecting lattice paths inside $λ$. We give two new proofs of a multivariate generalization of this formula, which allow us to extend the setup beyond standard Young tableaux and the underlying Schur symmetric polynomials. The first proof uses multiple contour integrals. The second one interprets excited diagrams as configurations of a six-vertex model at a free fermion point, and derives the formula for the number of standard Young tableaux of a skew shape from the Yang-Baxter equation.

Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, keeping it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's fermionic observables, transfer matrices, and spectral radii. Quantum walks and the six-vertex model arise as the next step in this direction.

We study the stochastic six-vertex model in half-space with generic integrable boundary weights, and define two families of multivariate rational symmetric functions. Using commutation relations between double-row operators, we prove a skew Cauchy identity of these functions. In a certain degeneration of the right-hand side of the Cauchy identity we obtain the partition function of the six-vertex model in a half-quadrant, and give a Pfaffian formula for this quantity. The Pfaffian is a direct generalization of a formula obtained by Kuperberg in his work on symmetry classes of alternating-sign matrices. One of our families of symmetric functions admits an integral (sum over residues) formula, and we use this to conjecture an orthogonality property of the dual family. We conclude by studying the reduction of our integral formula to transition probabilities of the (initially empty) asymmetric simple exclusion process on the half-line.

We study the behavior of configurations in the symmetric six-vertex model with $a,b,c$ weights in the $n\times n$ square with Domain Wall Boundary Conditions as $n\to\infty$. We prove that when $Δ=\frac{a^2+b^2-c^2}{2ab}<1$, configurations near the boundary have fluctuations of order $n^{1/2}$ and are asymptotically described by the GUE-corners process of the random matrix theory. On the other hand, when $Δ>1$, the fluctuations are of finite order and configurations are asymptotically described by the stochastic six-vertex model in a quadrant. In the special case $c=0$ (which implies $Δ>1$), the limit is expressed as the $q$-exchangeable random permutation of infinitely many letters, distributed according to the infinite Mallows measure.

We consider the enumeration of states in the Brubaker-Bump-Friedberg six-vertex model, whose boundary conditions are determined by an integer partition. In general, we find the number of states is a polynomial in the largest part of the partition. By explicating this technique, we also enumerate the states completely for hook shapes and staircases.

We survey the connections between the six-vertex (square ice) model of 2d statistical mechanics and random matrix theory. We highlight the same universal probability distributions appearing on both sides, and also indicate related open questions and conjectures. We present full proofs of two asymptotic theorems for the six-vertex model: in the first one the Gaussian Unitary Ensemble and GUE-corners process appear; the second one leads to the Tracy-Widom distribution $F_2$. While both results are not new, we found shorter transparent proofs for this text. On our way we introduce the key tools in the study of the six-vertex model, including the Yang-Baxter equation and the Izergin-Korepin formula.

Webs give a diagrammatic calculus for spaces of tensor invariants. We introduce hourglass plabic graphs as a new avatar of webs, and use these to give the first rotation-invariant $U_q(\mathfrak{sl}_4)$-web basis, a long-sought object. The characterization of our basis webs relies on the combinatorics of these new plabic graphs and associated configurations of a symmetrized six-vertex model. We give growth rules, based on a novel crystal-theoretic technique, for generating our basis webs from tableaux and we use skein relations to give an algorithm for expressing arbitrary webs in the basis. We also discuss how previously known rotation-invariant web bases can be unified in our framework of hourglass plabic graphs.

In this paper, we introduce and analyze a new switch operator for the six-vertex model. This operator, derived from the Yang-Baxter equation, allows us to express the partition function with arbitrary boundaries in terms of a base case with domain wall boundary conditions. As an application, we derive explicit formulas for the factorial Schur functions and their generalizations. Our results provide new insights into the relationship between boundary conditions and partition functions in the six-vertex model.

We prove a positivity theorem for a certain family of operators defined in terms of the stochastic six-vertex model. We explore connections of this result with other vertex models and $t$-deformed Schensted insertions.

Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named because their admissible vertices have adjacent edges labeled by one of $n$ colors with additional restrictions. The two-colored case specializes to the six-vertex model, in which case our results recover the familiar quadric condition of Baxter for solvability. The general $n$-color case includes important solutions to the Yang-Baxter equation like the evaluation modules for the quantum affine Lie algebra $U_q(\hat{\mathfrak{sl}}_n)$. Finally, we demonstrate the invariance of this class of solutions under natural transformations, including those associated with Drinfeld twisting.

In his famous ASM paper, Kuperberg uses a skein relation to give an algebraic proof of a Yang-Baxter equation where the Boltzmann weights satisfy the field-free condition. In this paper, we use Kuperberg's techniques to give proofs of a few Yang-Baxter equations where the Boltzmann weights satisfy the free-fermionic condition. In particular, we use skein relations to prove the Yang-Baxter equation for Gamma-Gamma ice which is a free-fermionic six-vertex model introduced by Brubaker, Bump and Friedberg.

Recent works have sought to realize certain families of orthogonal, symmetric polynomials as partition functions of well-chosen classes of solvable lattice models. Many of these use Boltzmann weights arising from the trigonometric six-vertex model $R$-matrix (or generalizations or specializations of these weights). In this paper, we seek new variants of bosonic models on lattices designed for type B/C root systems, whose partition functions match the zonal spherical function in type C. Under general assumptions, we find that this is possible for all highest weights in rank $2$ and $3$, but not for higher rank.