arXiv++ Combinatorics

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.

The study of lattice walks restricted to the first quadrant has shed a lot of interest in the past twenty years. In particular, there has been an important effort to classify models of weighted walks with small steps with respect to the algebraic-differential nature of their generating function. The techniques that were developed in the course of this work are now applied to different extensions of those walks. One of these extensions, called walks with interacting boundaries, consists in accounting for the number of contacts of the walk with the axes, with motivation coming from statistical physics. These contacts are encoded as two additional parameters for the generating function, the Boltzmann weights. For one notable family of models, called genus zero models, we establish in this paper the complete classification of their generating function, for all real values of the parameters. We do this by adapting to this more general case a method due to Dreyfus, Hardouin, Roques and Singer, used in the former classification, and which consists in studying the rational solutions to a $q$-difference equation. In almost all cases, we show that the generating function is hypertranscendental, regardless of the values of the weights. In the remaining cases, we prove that specific algebraic relations between the Boltzmann weights make the generating function $\mathbb{N}$-algebraic or $\mathbb{N}$-rational, contrasting with the interaction-less case.

We find and analyse the exact solution of a model of three different polymers with asymmetric contact interactions in two dimensions, modelling a scenario where there are different types of polymers involved. In particular, we find the generating function of three directed osculating walks in star configurations on the square lattice with two interaction Boltzmann weights, so that there is one type of contact interaction between the top pair of walks and a different interaction between the bottom pair of walks. These osculating stars are found to be the most amenable to exact solution using functional equation techniques in comparison to the symmetric case where three friendly walks in watermelon configurations were successfully solved with the same techniques. We elucidate the phase diagram, which has four phases, and find the order of all the phase transitions between them. We also calculate the entropic exponents in each phase.

Composition schemes are ubiquitous in combinatorics, statistical mechanics and probability theory. We give a unifying explanation to various phenomena observed in the combinatorial and statistical physics literature in the context of~$q$-enumeration (this is a model where objects with a parameter of value $k$ have a Gibbs measure/Boltzmann weight $q^k$). For structures enumerated by a composition scheme, we prove a phase transition for any parameter having such a Gibbs measure: for a critical value $q=q_c$, the limit law of the parameter is a two-parameter Mittag-Leffler distribution, while it is Gaussian in the supercritical regime ($q>q_c$), and it is a Boltzmann distribution in the subcritical regime ($0<q<q_c$). We apply our results to fundamental statistics of lattice paths and quarter-plane walks. We also explain previously observed limit laws for pattern-restricted permutations, and a phenomenon uncovered by Krattenthaler for the wall contacts in watermelons.

We introduce a new family of Schur functions $s_{λ/μ;a,b}(x/y)$ that depend on two sets of variables and two sequences of parameters. These free fermionic Schur functions have a hidden symmetry between the two sets of parameters that allows us to generalize and unify factorial, supersymmetric, and dual Schur functions from literature. We then prove that these functions satisfy the supersymmetric Cauchy identity $$ \sum_λs_{λ;a,b}(x/y)\widehat{s}_{λ;a,b}(z/w) = \prod_{i,j}\frac{1+y_iz_j}{1-x_iz_j}\frac{1+x_iw_j}{1-y_iw_j}, $$ where $\widehat{s}_{λ;a,b}(z/w) = s_{λ';b',a'}(w/z)$ are the dual functions. Our approach is based on the integrable six vertex model with free fermionic Boltzmann weights. We show that these weights satisfy the \textit{refined Yang-Baxter equation}, which allows us to prove well-known properties of Schur functions: supersymmetry, combinatorial descriptions, the Jacobi-Trudi identity, the Nägelsbach-Kostka formula, the Giambelli formula, the Ribbon formula, the Weyl determinant formula, the Berele-Regev factorization, dual Cauchy identity, the flagged determinant formula, and many others. We emphasize that many of these results are novel even in special cases.

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.

In this paper, we introduce a novel and general method for computing partition functions of solvable lattice models with free fermionic Boltzmann weights. The method is based on the ``permutation graph'' and the ``$F$-matrix'': the permutation graph is a generalization of the $R$-matrix, and the $F$-matrix is constructed based on the permutation graph. The method allows generalizations to lattice models that are related to Cartan types B and C. Two applications are presented: they involve an ice model related to Tokuyama's formula and another ice model representing a Whittaker function on the metaplectic double cover of $\mathrm{Sp}(2r,F)$ with $F$ being a non-archimedean local field.

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.

We give general conditions for the existence of a Hamiltonian operator whose discrete time evolution matches the partition function of certain solvable lattice models. In particular, we examine two classes of lattice models: the classical six-vertex model and a generalized family of $(2n+4)$-vertex models for each positive integer $n$. These models depend on a statistic called charge, and are associated to the quantum group $U_q(\widehat{\mathfrak{gl}}(1|n))$. Our results show a close and unexpected connection between Hamiltonian operators and the Yang-Baxter equation. The six-vertex model can be associated with Hamiltonians from classical Fock space, and we show that such a correspondence exists precisely when the Boltzmann weights are free fermionic. This allows us to prove that the free fermionic partition function is always a (skew) supersymmetric Schur function and then use the Berele-Regev formula to correct a result from of Brubaker, Bump, and Friedberg on the free fermionic domain-wall partition function. In this context, the supersymmetric function involution takes us between two lattice models that generalize the vicious walker and osculating walker models. Then, we prove a sharp solvability criterion for the six-vertex model with charge that provides the proper analogue of the free fermion condition. Building on results by Brubaker, Buciumas, Bump, and Gustafsson, we show that this criterion exactly dictates when a charged model has a Hamiltonian operator acting on a Drinfeld twist of $q$-Fock space. The resulting partition function is then a (skew) supersymmetric LLT polynomial, and almost all supersymmetric LLT polynomials appear as partition functions of our lattice models. We also prove a Cauchy identity for skew supersymmetric LLT polynomials. (see 2024 author's note below)

We investigate random minimal factorizations of the $n$-cycle, that is, factorizations of the permutation $(1 \, 2 \cdots n)$ into a product of cycles $τ_1, \ldots, τ_k$ whose lengths $\ell(τ_1), \ldots, \ell(τ_k)$ verify the minimality condition $\sum_{i=1}^k(\ell(τ_i)-1)=n-1$. By associating to a cycle of the factorization a black polygon inscribed in the unit disk, and reading the cycles one after an other, we code a minimal factorization by a process of colored laminations of the disk, which are compact subsets made of red noncrossing chords delimiting faces that are either black or white. Our main result is the convergence of this process as $n \rightarrow \infty$, when the factorization is randomly chosen according to Boltzmann weights in the domain of attraction of an $α$-stable law, for some $α\in (1,2]$. The new limiting process interpolates between the unit circle and a colored version of Kortchemski's $α$-stable lamination. Our principal tool in the study of this process is a bijection between minimal factorizations and a model of size-conditioned labelled random trees whose vertices are colored black or white.

We study a model of a semiflexible long chain polymer confined to a two-dimensional slit of width $w$, and interacting with the walls of the slit. The interactions with the walls are controlled by Boltzmann weights $a$ and $b$, and the flexibility of the polymer is controlled by another Boltzmann weight $c$. This is a simple model of the steric stabilisation of colloidal dispersions by polymers in solution. We solve the model exactly and compute various quantities in $(a,b,c)$-space, including the free energy and the force exerted by the polymer on the walls of the slit. In some cases these quantities can be computed exactly for all $w$, while for others only asymptotic expressions can be found. Of particular interest is the zero-force surface -- the manifold in $(a,b,c)$-space where the free energy is independent of $w$, and the loss of entropy due to confinement in the slit is exactly balanced by the energy gained from interactions with the walls.

We prove that random triangulations of types I, II, and III with a simple boundary under the critical Boltzmann weight converge in the scaling limit to the Brownian disk. The proof uses a bijection due to Poulalhon and Schaeffer between type III triangulations of the $p$-gon and so-called blossoming forests. A variant of this bijection was also used by Addario-Berry and the first author to prove convergence of type III triangulations to the Brownian map, but new ideas are needed to handle the simple boundary. Our result is an ingredient in the program of the second and third authors on the convergence of uniform triangulations under the Cardy embedding.

We study the asymptotic shape of random unlabelled graphs subject to certain subcriticality conditions. The graphs are sampled with probability proportional to a product of Boltzmann weights assigned to their $2$-connected components. As their number of vertices tends to infinity, we show that they admit the Brownian tree as Gromov--Hausdorff--Prokhorov scaling limit, and converge in a strengthened Benjamini--Schramm sense toward an infinite random graph. We also consider a family of random graphs that are allowed to be disconnected. Here a giant connected component emerges and the small fragments converge without any rescaling towards a finite random limit graph.

We study the phase diagram of random outerplanar maps sampled according to non-negative Boltzmann weights that are assigned to each face of a map. We prove that for certain choices of weights the map looks like a rescaled version of its boundary when its number of vertices tends to infinity. The Boltzmann outerplanar maps are then shown to converge in the Gromov-Hausdorff sense towards the $α$-stable looptree introduced by Curien and Kortchemski (2014), with the parameter $α$ depending on the specific weight-sequence. This allows us to describe the transition of the asymptotic geometric shape from a deterministic circle to the Brownian tree.

In this paper, we explain a connection between a family of free-fermionic six-vertex models and a discrete time evolution operator on one-dimensional Fermionic Fock space. The family of ice models generalize those with domain wall boundary, and we focus on two sets of Boltzmann weights whose partition functions were previously shown to generalize a generating function identity of Tokuyama. We produce associated Hamiltonians that recover these Boltzmann weights, and furthermore calculate the partition functions using commutation relations and elementary combinatorics. We give an expression for these partition functions as determinants, akin to the Jacobi-Trudi identity for Schur polynomials.

We consider the model of self-avoiding walks on the $d$-dimensional hypercubic lattice interacting with a $d^*$-dimensional defect, where $1\leq d^*<d$. Such an interaction can be attractive or repulsive, and is controlled by a Boltzmann weight $a$ associated with visits to the defect. When $d=3$ and $d^*=1$ or $2$, this can be seen as a model of long linear polymers in a good solvent, interacting with a linear filament or the interface of two liquids of different density. For all combinations of dimensions, there is a critical value $a_{\rm c}$ which separates the desorbed and adsorbed phases of the model. We prove that in all cases $a_{\rm c}=1$, confirming conjectures by a number of authors.

Self-avoiding walks are a simple and well-known model of long, flexible polymers in a good solvent. Polymers being pulled away from a surface by an external agent can be modelled with self-avoiding walks in a half-space, with a Boltzmann weight $y = e^f$ associated with the pulling force. This model is known to have a critical point at a certain value $y_c$ of this Boltzmann weight, which is the location of a transition between the so-called free and ballistic phases. The value $y_c=1$ has been conjectured by several authors using numerical estimates. We provide a relatively simple proof of this result, and show that further properties of the free energy of this system can be determined by re-interpreting existing results about the two-point function of self-avoiding walks.

We use statistical mechanics -- variants of the six-vertex model in the plane studied by means of the Yang-Baxter equation -- to give new deformations of Weyl's character formula for classical groups of Cartan type B, C, and D, and a character formula of Proctor for type BC. In each case, the corresponding Boltzmann weights are associated to the free fermion point of the six-vertex model. These deformations add to the earlier known examples in types A and C by Tokuyama and Hamel-King, respectively. A special case for classical types recovers deformations of the Weyl denominator formula due to Okada.

We study the graph structure of large random dissections of polygons sampled according to Boltzmann weights, which encompasses the case of uniform dissections or uniform $p$-angulations. As their number of vertices $n$ goes to infinity, we show that these random graphs, rescaled by $n^{-1/2}$, converge in the Gromov--Hausdorff sense towards a multiple of Aldous' Brownian tree when the weights decrease sufficiently fast. The scaling constant depends on the Boltzmann weights in a rather amusing and intriguing way, and is computed by making use of a Markov chain which compares the length of geodesics in dissections with the length of geodesics in their dual trees.