arXiv++ Combinatorics

We prove a new shift-invariance property of the colored TASEP. From the shift-invariance of the colored stochastic six-vertex model (proved in Borodin-Gorin-Wheeler or Galashin), one can get a shift-invariance property of the colored TASEP at one time, and our result generalizes this to multiple times. Our proof takes the single-time shift-invariance as an input, and uses analyticity of the probability functions and induction arguments. We apply our shift-invariance to prove a distributional identity between the finishing times of the oriented swap process and the point-to-line passage times in exponential last-passage percolation, which is conjectured by Bisi-Cunden-Gibbons-Romik and Bufetov-Gorin-Romik, and is also equivalent to a purely combinatorial identity related to the Edelman-Greene correspondence. With known results from last-passage percolation, we also get new asymptotic results on the colored TASEP and the finishing times of the oriented swap process.

In this paper, we construct solvable ice models (six-vertex models) with stochastic weights and U-turn right boundary, which we term ``stochastic symplectic ice''. The models consist of alternating rows of two types of vertices. The probabilistic interpretation of the models leads to novel interacting particle systems where particles alternately jump to the right and then to the left. Two colored versions of the models and related stochastic dynamics are also introduced. Using the Yang-Baxter equations, we establish functional equations and recursive relations for the partition functions of these models. In particular, the recursive relations satisfied by the partition function of one of the colored models are closely related to Demazure-Lusztig operators of type C.

The two boundary Temperley-Lieb algebra $TL_k$ arises in the transfer matrix formulation of lattice models in Statistical Mechanics, in particular in the introduction of integrable boundary terms to the six-vertex model. In this paper, we classify and study the calibrated representations---those for which all the Murphy elements (integrals) are simultaneously diagonalizable---which, in turn, corresponds to diagonalizing the transfer matrix in the associated model. Our approach is founded upon the realization of $TL_k$ as a quotient of the type $C_k$ affine Hecke algebra $H_k$. In previous work, we studied this Hecke algebra via its presentation by braid diagrams, tensor space operators, and related combinatorial constructions. That work is directly applied herein to give a combinatorial classification and construction of all irreducible calibrated $TL_k$-modules and explain how these modules also arise from a Schur-Weyl duality with the quantum group $U_q\mathfrak{gl}_2$.

We address the six vertex model on a random lattice, which in combinatorial terms corresponds to the enumeration of weighted 4-valent planar maps equipped with an Eulerian orientation. This problem was exactly, albeit non-rigorously solved by Ivan Kostov in 2000 using matrix integral techniques. We convert Kostov's work to a combinatorial argument involving functional equations coming from recursive decompositions of the maps, which we solve rigorously using complex analysis. We then investigate modular properties of the solution, which lead to simplifications in certain special cases. In particular, in two special cases of combinatorial interest we rederive the formulae discovered by Bousquet-Mélou and the first author.

We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt [arXiv:2003.07342] relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model. We use our semidual model and the five-vertex model of Motegi and Sakai to given a new proof that double Grothendieck polynomials for vexillary permutations are equal to flagged factorial Grothendieck polynomials. Taking the stable limit of double Grothendieck polynomials, we obtain a new proof that the stable limit is a factorial Grothendieck polynomial as defined by McNamara. The states of our semidual model naturally correspond to families of nonintersecting lattice paths, where we can then use the Lindström-Gessel-Viennot lemma to give a determinant formula for double Schubert polynomials corresponding to vexillary permutations.

We discover a new property of the stochastic colored six-vertex model called flip-invariance. We use it to show that for a given collection of observables of the model, any transformation that preserves the distribution of each individual observable also preserves their joint distribution. This generalizes recent shift-invariance results of Borodin-Gorin-Wheeler. As limiting cases, we obtain similar statements for the Brownian last passage percolation, the Kardar-Parisi-Zhang equation, the Airy sheet, and directed polymers. Our proof relies on an equivalence between the stochastic colored six-vertex model and the Yang-Baxter basis of the Hecke algebra. We conclude by discussing the relationship of the model with Kazhdan-Lusztig polynomials and positroid varieties in the Grassmannian.

The oriented swap process is a natural directed random walk on the symmetric group that can be interpreted as a multi-species version of the Totally Asymmetric Simple Exclusion Process (TASEP) on a finite interval. An open problem from a 2008 paper of Angel, Holroyd, and Romik asks for the limiting distribution of the absorbing time of the process. We resolve this question by proving that this random variable satisfies GOE Tracy-Widom asymptotics. Our starting point is a distributional identity relating the behavior of the oriented swap process to last passage percolation, conjectured in a recent paper of Bisi, Cunden, Gibbons, and Romik. The main technical tool is a shift-invariance principle for multi-species TASEPs, obtained by exploiting recent results of Borodin, Gorin, and Wheeler for the stochastic colored six-vertex model.

We establish a symmetry in a variety of integrable stochastic systems: Certain multi-point distributions of natural observables are unchanged under a shift of a subset of observation points. The property holds for stochastic vertex models, (1+1)d directed polymers in random media, last passage percolation, the Kardar-Parisi-Zhang equation, and the Airy sheet. In each instance it leads to computations of previously inaccessible joint distributions. The proofs rely on a combination of the Yang-Baxter integrability of the inhomogeneous colored stochastic six-vertex model and Lagrange interpolation. We also show that a simplified (Gaussian) version of our theorems is related to the invariance in law of the local time of the Brownian bridge under the shift of the observation level.

We prove refined enumeration results on several symmetry classes as well as related classes of alternating sign matrices with respect to classical boundary statistics, using the six-vertex model of statistical physics. More precisely, we study vertically symmetric, vertically and horizontally symmetric, vertically and horizontally perverse, off-diagonally and off-antidiagonally symmetric, vertically and off-diagonally symmetric, quarter turn symmetric as well as quasi quarter turn symmetric alternating sign matrices. Our results prove conjectures of Fischer, Duchon and Robbins.

We construct a family of infinite-dimensional positive sub-coalgebras within the Grothendieck ring of Hecke algebras, when viewed as a Hopf algebra with respect to the induction and restriction functor. These sub-coalgebras have as structure constants the 3-point genus zero Gromov-Witten invariants of Grassmannians and are spanned by what we call cylindric Hecke characters, a particular set of virtual characters for whose computation we give several explicit combinatorial formulae. One of these expressions is a generalisation of Ram's formula for irreducible Hecke characters and uses cylindric broken rim hook tableaux. We show that the latter are in bijection with so-called `ice configurations' on a cylindrical square lattice, which define the asymmetric six-vertex model in statistical mechanics. A key ingredient of our construction is an extension of the boson-fermion correspondence to Hecke algebras and employing the latter we find new expressions for Jing's vertex operators of Hall-Littlewood functions in terms of the six-vertex transfer matrices on the infinite planar lattice.

We address the enumeration of planar 4-valent maps equipped with an Eulerian orientation by two different methods, and compare the solutions we thus obtain. With the first method we enumerate these orientations as well as a restricted class which we show to be in bijection with general Eulerian orientations. The second method, based on the work of Kostov, allows us to enumerate these 4-valent orientations with a weight on some vertices, corresponding to the six vertex model. We prove that this result generalises both results obtained using the first method, although the equivalence is not immediately clear.

In this paper we consider the six-vertex model at ice point on an arbitrary three-bundle domain, which is a generalization of the domain-wall ice model on the square (or, equivalently, of a uniformly random alternating sign matrix). We show that this model exhibits the arctic boundary phenomenon, whose boundary is given by a union of explicit algebraic curves. This was originally predicted by Colomo-Sportiello in 2016 as one of the initial applications of a general heuristic that they introduced for locating arctic boundaries, called the (geometric) tangent method. Our proof uses a probabilistic analysis of non-crossing directed path ensembles to provide a mathematical justification of their tangent method heuristic in this case, which might be of independent interest.

We show that there is the same number of (n,l)-alternating sign trapezoids as there is of column strict shifted plane partitions of class l-1 with at most n parts in the top row, thereby proving a result that was conjectured independently by Behrend and Aigner. The first objects generalize alternating sign triangles, which have recently been introduced by Ayyer, Behrend and the author who showed that they are counted by the same formula as alternating sign matrices. Column strict shifted plane partitions of a fixed class were introduced in a slightly different form by Andrews, and they essentially generalize descending plane partitions. They also correspond to cyclically symmetric lozenge tilings of a hexagon with a triangular hole in the center. In addition, we also provide three statistics on each class of objects and show that their joint distribution is the same. We prove our result by employing a constant term approach that is based on the author's operator formula for monotone triangles. This paper complements a forthcoming paper of Behrend and the author, where the six-vertex model approach is used to show equinumeracy as well as generalizations involving statistics that are different from those considered in the present paper.

Alternating sign triangles (ASTs) have recently been introduced by Ayyer, Behrend and the author, and it was proven that there is the same number of ASTs with n rows as there is of nxn alternating sign matrices (ASMs). We prove a conjecture by Behrend on a refined enumeration of ASTs with respect to a statistic that is shown to have the same distribution as the column of the unique 1 in the top row of an ASM. The proof of the conjecture is based on a certain multivariate generating function of ASTs that takes the positions of the columns with sum 1 (1-columns) into account. We also prove a curious identity on the cyclic rotation of the 1-columns of ASTs. Furthermore, we discuss a relation of our multivariate generating function to a formula of Di Francesco and Zinn-Justin for the number of fully packed loop configurations associated with a given link pattern. The proofs of our results employ the author's operator formula for the number of monotone triangles with prescribed bottom row. This is opposed to the six-vertex model approach that was used by Ayyer, Behrend and the author to enumerate ASTs, and since the refined enumeration implies the unrefined enumeration, the present paper also provides an alternative proof of the enumeration of ASTs.

Macdonald processes are measures on sequences of integer partitions built using the Cauchy summation identity for Macdonald symmetric functions. These measures are a useful tool to uncover the integrability of many probabilistic systems, including the Kardar-Parisi-Zhang (KPZ) equation and a number of other models in its universality class. In this paper we develop the structural theory behind half-space variants of these models and the corresponding half-space Macdonald processes. These processes are built using a Littlewood summation identity instead of the Cauchy identity, and their analysis is considerably harder than their full-space counterparts. We compute moments and Laplace transforms of observables for general half-space Macdonald measures. Introducing new dynamics preserving this class of measures, we relate them to various stochastic processes, in particular the log-gamma polymer in a half-quadrant (they are also related to the stochastic six-vertex model in a half-quadrant and the half-space ASEP). For the polymer model, we provide explicit integral formulas for the Laplace transform of the partition function. Non-rigorous saddle point asymptotics yield convergence of the directed polymer free energy to either the Tracy-Widom GOE, GSE or the Gaussian distribution depending on the average size of weights on the boundary.

We present in this paper a comprehensive introduction to the algebraic Bethe Ansatz, taking as examples the six-vertex model with periodic and non-periodic boundary conditions. We propose a diagrammatic representation of the commutation relations used in the algebraic Bethe Ansatz, so that the action of the transfer matrix in the nth excited state gives place to labeled combinatorial trees. The analysis of these combinatorial trees provides in a straightforward way the eigenvalues and eigenstates of the transfer matrix, as well as the respective Bethe Ansatz equations. Several identities between the R-matrix elements can also be derived from the symmetry of these diagrams regarding the permutation of their labels. This combinatorial approach gives some insights about how the algebraic Bethe Ansatz works, which can be valuable for non-experts readers.

We consider the asymmetric simple exclusion process (ASEP) on the positive integers with an open boundary condition. We show that, when starting devoid of particles and for a certain boundary condition, the height function at the origin fluctuates asymptotically (in large time $τ$) according to the Tracy-Widom GOE distribution on the $τ^{1/3}$ scale. This is the first example of KPZ asymptotics for a half-space system outside the class of free-fermionic/determinantal/Pfaffian models. Our main tool in this analysis is a new class of probability measures on Young diagrams that we call half-space Macdonald processes, as well as two surprising relations. The first relates a special (Hall-Littlewood) case of these measures to the half-space stochastic six-vertex model (which further limits to ASEP) using a Yang-Baxter graphical argument. The second relates certain averages under these measures to their half-space (or Pfaffian) Schur process analogs via a refined Littlewood identity.

The wavefunction of the free-fermion six-vertex model was found to give a natural realization of the Tokuyama combinatorial formula for the Schur polynomials by Bump-Brubaker-Friedberg. Recently, we studied the correspondence between the dual version of the wavefunction and the Schur polynomials, which gave rise to another combinatorial formula. In this paper, we extend the analysis to the reflecting boundary condition, and show the exact correspondence between the dual wavefunction and the symplectic Schur functions. This gives a dual version of the integrable model realization of the symplectic Schur functions by Ivanov. We also generalize to the correspondence between the wavefunction, the dual wavefunction of the six-vertex model and the factorial symplectic Schur functions by the inhomogeneous generalization of the model.

We study the Felderhof free-fermion six-vertex model, whose wavefunction recently turned out to possess rich combinatorial structure of the Schur polynomials. We investigate the dual version of the wavefunction in this paper, which seems to be a harder object to analyze. We evaluate the dual wavefunction in two ways. First, we give the exact correspondence between the dual wavefunction and the Schur polynomials, for which two proofs are given. Next, we make a microscopic analysis and express the dual wavefunction in terms of strict Gelfand-Tsetlin pattern. As a consequence of these two ways of evaluation of the dual wavefunction, we obtain a dual version of the Tokuyama combinatorial formula for the Schur polynomials. We also give a generalization of the correspondence between the dual wavefunction of the Felderhof model and the factorial Schur polynomials.

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.