arXiv++ Combinatorics

We construct perfect t-embeddings for regular hexagons of the hexagonal lattice, providing the first example, and hence proving existence, for graphs with an outer face of degree greater than four. The construction is in terms of the inverse Kasteleyn matrix and relies only on symmetries of the graph. Using known formulas for the inverse Kasteleyn matrix, we derive exact contour integral formulas for these embeddings and their origami maps. Through steepest descent analysis, we establish scaling limits, proving convergence of origami maps to a maximal surface in the Minkowski space $\mathbb{R}^{2,1}$, and we verify structural rigidity conditions, leading to a new proof of convergence of height fluctuations to the Gaussian free field.

Recently, there has been much progress in understanding stationary measures for colored (also called multi-species or multi-type) interacting particle systems, motivated by asymptotic phenomena and rich underlying algebraic and combinatorial structures (such as nonsymmetric Macdonald polynomials). In this paper, we present a unified approach to constructing stationary measures for most of the known colored particle systems on the ring and the line, including (1) the Asymmetric Simple Exclusion Process (multispecies ASEP, or mASEP); (2) the q-deformed Totally Asymmetric Zero Range Process (TAZRP) also known as the q-Boson particle system; (3) the q-deformed Pushing Totally Asymmetric Simple Exclusion Process (q-PushTASEP). Our method is based on integrable stochastic vertex models and the Yang-Baxter equation. We express the stationary measures as partition functions of new "queue vertex models" on the cylinder. The stationarity property is a direct consequence of the Yang-Baxter equation. For the mASEP on the ring, a particular case of our vertex model is equivalent to the multiline queues of Martin (arXiv:1810.10650). For the colored q-Boson process and the q-PushTASEP on the ring, we recover and generalize known stationary measures constructed using multiline queues or other methods by Ayyer-Mandelshtam-Martin (arXiv:2011.06117, arXiv:2209.09859), and Bukh-Cox (arXiv:1912.03510). Our proofs of stationarity use the Yang-Baxter equation and bypass the Matrix Product Ansatz used for the mASEP by Prolhac-Evans-Mallick (arXiv:0812.3293). On the line and in a quadrant, we use the Yang-Baxter equation to establish a general colored Burke's theorem, which implies that suitable specializations of our queue vertex models produce stationary measures for particle systems on the line. We also compute the colored particle currents in stationarity.

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.

In this work we study a sequence of perfect t-embeddings of uniformly weighted Aztec diamonds. We show that these perfect t-embeddings can be used to prove convergence of gradients of height fluctuations to those of the Gaussian free field. In particular we provide a first proof of the existence of a model satisfying all conditions of the main theorem of arXiv:2109.06272. This confirms the prediction of arXiv:2002.07540. An important part of our proof is to exhibit exact integral formulas for perfect t-embeddings of uniformly weighted Aztec diamonds. In addition, we construct and analyze perfect t-embeddings of another sequence of uniformly weighted finite graphs called tower graphs. Although we do not check all technical assumptions of the mentioned theorem for these graphs, we use perfect t-embeddings to derive a simple transformation which identifies height fluctuations on the tower graph with those of the Aztec diamond.

In this article we define a generalization of the domino shuffling algorithm for tilings of the Aztec diamond to the interacting $k$-tilings recently introduced by S. Corteel, A. Gitlin, and the first author. We describe the algorithm both in terms of dynamics on a system of colored particles and as operations on the dominos themselves.

We introduce a family of Markov growth processes on discrete height functions defined on the 2-dimensional square lattice. Each height function corresponds to a configuration of the six vertex model on the infinite square lattice. We focus on the stochastic six vertex model corresponding to a particular two-parameter family of weights within the ferroelectric regime. It is believed (and partially proven, see Aggarwal, arXiv:2004.13272) that the stochastic six vertex model displays nontrivial pure (i.e., translation invariant and ergodic) Gibbs states of two types, KPZ and liquid. These phases have very different long-range correlation structure. The Markov processes we construct preserve the KPZ pure states in the full plane. We also show that the same processes put on the torus preserve arbitrary Gibbs measures for generic six vertex weights (not necessarily in the ferroelectric regime). Our dynamics arise naturally from the Yang-Baxter equation for the six vertex model via its bijectivisation, a technique first used in Bufetov-Petrov (arXiv:1712.04584). The dynamics we construct are irreversible; in particular, the height function has a nonzero average drift. In each KPZ pure state, we explicitly compute the average drift (also known as the current) as a function of the slope. We use this to analyze the hydrodynamics of a non-stationary version of our process acting on quarter plane stochastic six vertex configurations. The fixed-time limit shapes in the quarter plane model were obtained in Borodin-Corwin-Gorin (arXiv:1407.6729).

Recently the first author and Jang Soo Kim introduced lecture hall tableaux in their study of multivariate little q-Jacobi polynomials. They then enumerated bounded lecture hall tableaux and showed that their enumeration is closely related to standard and semistandard Young tableaux. In this paper we study the asymptotic behavior of these bounded tableaux thanks to two other combinatorial models: non intersecting paths on a graph whose faces are squares and pentagons and dimer models on a lattice whose faces are hexagons and octogons. We use the tangent method to investigate the arctic curve in the model of nonintersecting lattice paths with fixed starting points and ending points distributibuted according to some arbitrary piecewise differentiable function. We then study the dimer model and use some ansatz to guess the asymptotics of the inverse of the Kasteleyn matrix confirm the arctic curve computed with the tangent method for two examples.