arXiv++ Combinatorics

We present explicit formulas for total crossing events in the multi-species asymmetric exclusion process ($r$-ASEP) with underlying $U_q(\widehat{\mathfrak{sl}}_{r+1})$ symmetry. In the case of the two-species TASEP these can be derived using an explicit expression for the general transition probability on $\mathbb{Z}$ in terms of a multiple contour integral derived from a nested Bethe ansatz approach. For the general $r$-ASEP we employ a vertex model approach within which the probability of total crossing can be derived from partial symmetrization of an explicit high rank rainbow partition function. In the case of $r$-TASEP, the total crossing probability can be show to reduce to a multiple integral over the product of $r$ determinants. For $2$-TASEP we additionally derive convenient formulas for cumulative total crossing probabilities using Bernoulli-step initial conditions for particles of type 2 and type 1 respectively.

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)

Our work deals with symmetric rational functions and probabilistic models based on the fully inhomogeneous six vertex (ice type) model satisfying the free fermion condition. Two families of symmetric rational functions $F_λ,G_λ$ are defined as certain partition functions of the six vertex model, with variables corresponding to row rapidities, and the labeling signatures $λ=(λ_1\ge \ldots\ge λ_N)\in \mathbb{Z}^N$ encoding boundary conditions. These symmetric functions generalize Schur symmetric polynomials, as well as some of their variations, such as factorial and supersymmetric Schur polynomials. Cauchy type summation identities for $F_λ,G_λ$ and their skew counterparts follow from the Yang-Baxter equation. Using algebraic Bethe Ansatz, we obtain a double alternant type formula for $F_λ$ and a Sergeev-Pragacz type formula for $G_λ$. In the spirit of the theory of Schur processes, we define probability measures on sequences of signatures with probability weights proportional to products of our symmetric functions. We show that these measures can be viewed as determinantal point processes, and we express their correlation kernels in a double contour integral form. We present two proofs: The first is a direct computation of Eynard-Mehta type, and the second uses non-standard, inhomogeneous versions of fermionic operators in a Fock space coming from the algebraic Bethe Ansatz for the six vertex model. We also interpret our determinantal processes as random domino tilings of a half-strip with inhomogeneous domino weights. In the bulk, we show that the lattice asymptotic behavior of such domino tilings is described by a new determinantal point process on $\mathbb{Z}^{2}$, which can be viewed as an doubly-inhomogeneous generalization of the extended discrete sine process.

By implementing algorithmic versions of Sapozhenko's graph container methods, we give new algorithms for approximating the number of independent sets in bipartite graphs. Our first algorithm applies to $d$-regular, bipartite graphs satisfying a weak expansion condition: when $d$ is constant, and the graph is a bipartite $Ω( \log^2 d/d)$-expander, we obtain an FPTAS for the number of independent sets. Previously such a result for $d>5$ was known only for graphs satisfying the much stronger expansion conditions of random bipartite graphs. The algorithm also applies to weighted independent sets: for a $d$-regular, bipartite $α$-expander, with $α>0$ fixed, we give an FPTAS for the hard-core model partition function at fugacity $λ=Ω(\log d / d^{1/4})$. Finally we present an algorithm that applies to all $d$-regular, bipartite graphs, runs in time $\exp\left( O\left( n \cdot \frac{ \log^3 d }{d } \right) \right)$, and outputs a $(1 + o(1))$-approximation to the number of independent sets.

Dyson's rank function and the Andrews--Garvan crank function famously give combinatorial witnesses for Ramanujan's partition function congruences modulo 5, 7, and 11. While these functions can be used to show that the corresponding sets of partitions split into 5, 7, or 11 equally sized sets, one may ask how to make the resulting bijections between partitions organized by rank or crank combinatorially explicit. Stanton recently made conjectures which aim to uncover a deeper combinatorial structure along these lines, where it turns out that minor modifications of the rank and crank are required. Here, we prove two of these conjectures. We also provide abstract criteria for quotients of polynomials by certain cyclotomic polynomials to have non-negative coefficients based on unimodality and symmetry. Furthermore, we extend Stanton's conjecture to an infinite family of cranks. This suggests further applications to other combinatorial objects. We also discuss numerical evidence for our conjectures, connections with other analytic conjectures such as the distribution of partition ranks.

In this work we present a formalism of abstract quantum field theory for fat graphs and its realizations. This is a generalization of an earlier work for stable graphs. We define the abstract correlators $\mathcal F_g^μ$, abstract free energy $\mathcal F_g$, abstract partition function $\mathcal Z$, and abstract $n$-point functions $\mathcal W_{g,n}$ to be formal summations of fat graphs, and derive quadratic recursions using edge-contraction/vertex-splitting operators, including the abstract Virasoro constraints, an abstract cut-and-join type representation for $\mathcal Z$, and a quadratic recursion for $\mathcal W_{g,n}$ which resembles the Eynard-Orantin topological recursion. When considering the realization by the Hermitian one-matrix models, we obtain the Virasoro constraints, a cut-and-join representation for the partition function $Z_N^{\text{Herm}}$ which proves that $Z_N^{\text{Herm}}$ is a tau-function of KP hierarchy, a recursion for $n$-point functions which is known to be equivalent to the E-O recursion, and a Schrödinger type-equation which is equivalent to the quantum spectral curve. We conjecture that in general cases the realization of the quadratic recursion for $\mathcal W_{g,n}$ is the E-O recursion, where the spectral curve and Bergmann kernel are constructed from realizations of $\mathcal W_{0,1}$ and $\mathcal W_{0,2}$ respectively using the framework of emergent geometry.

We prove an identity in distribution between two kinds of partition functions for the log-gamma directed polymer model: (1) the point-to-point partition function in a quadrant, (2) the point-to-line partition function in an octant. As an application, we prove that the point-to-line free energy of the log-gamma polymer in an octant obeys a phase transition depending on the strength of the noise along the boundary. This transition of (de)pinning by randomness was first predicted in physics by Kardar in 1985 and proved rigorously for zero temperature models by Baik and Rains in 2001. While it is expected to arise universally for models in the Kardar-Parisi-Zhang universality class, this is the first positive temperature model for which this transition can be rigorously established.

Kostant's weight $q$-multiplicity formula is an alternating sum over a finite group known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. The $q$-analog of the partition function is a polynomial-valued function defined by $\wp_q(ξ)=\sum_{i=0}^k c_i q^i$, where $c_i$ is the number of ways the weight $ξ$ can be written as a sum of exactly $i$ positive roots of a Lie algebra $\mathfrak{g}$. The evaluation of the $q$-multiplicity formula at $q = 1$ recovers the multiplicity of a weight in an irreducible highest weight representation of $\mathfrak{g}$. In this paper, we specialize to the Lie algebra $\mathfrak{sp}_6(\mathbb{C})$ and we provide a closed formula for the $q$-analog of Kostant's partition function, which extends recent results of Shahi, Refaghat, and Marefat. We also describe the supporting sets of the multiplicity formula (known as the Weyl alternation sets of $\mathfrak{sp}_6(\mathbb{C})$), and use these results to provide a closed formula for the $q$-multiplicity for any pair of dominant integral weights of $\mathfrak{sp}_6(\mathbb{C})$. Throughout this work, we provide code to facilitate these computations.

We prove that the class of cluster integrable systems constructed by Goncharov and Kenyon out of the dimer model on a torus coincides with the one defined by Gekhtman, Shapiro, Tabachnikov, and Vainshtein using Postnikov's perfect networks. To that end we express the characteristic polynomial of a perfect network's boundary measurement matrix in terms of the dimer partition function of the associated bipartite graph. Our main tool is flat geometry. Namely, we show that if a perfect network is drawn on a flat torus in such a way that the edges of the network are Euclidian geodesics, then the angles between the edges endow the associated bipartite graph with a canonical fractional Kasteleyn orientation. That orientation is then used to relate the partition function to boundary measurements.

We give an FPTAS for computing the number of matchings of size $k$ in a graph $G$ of maximum degree $Δ$ on $n$ vertices, for all $k \le (1-δ)m^*(G)$, where $δ>0$ is fixed and $m^*(G)$ is the matching number of $G$, and an FPTAS for the number of independent sets of size $k \le (1-δ) α_c(Δ) n$, where $α_c(Δ)$ is the NP-hardness threshold for this problem. We also provide quasi-linear time randomized algorithms to approximately sample from the uniform distribution on matchings of size $k \leq (1-δ)m^*(G)$ and independent sets of size $k \leq (1-δ)α_c(Δ)n$. Our results are based on a new framework for exploiting local central limit theorems as an algorithmic tool. We use a combination of Fourier inversion, probabilistic estimates, and the deterministic approximation of partition functions at complex activities to extract approximations of the coefficients of the partition function. For our results for independent sets, we prove a new local central limit theorem for the hard-core model that applies to all fugacities below $λ_c(Δ)$, the uniqueness threshold on the infinite $Δ$-regular tree.

In 2016 Bessenrodt--Ono discovered an inequality addressing additive and multiplicative properties of the partition function. Generalization by several authors have been given; on partitions with rank in a given residue class by Hou--Jagadeesan and Males, on $k$-regular partitions by Beckwith--Bessenrodt, on $k$-colored partitions by Chern, Fu, Tang, and Heim--Neuhauser on their polynomization, and Dawsey--Masri on the Andrews ${\it spt}$-function. The proofs depend on non-trivial asymptotic formulas related to the circle method on one side, or a sophisticated combinatorial proof invented by Alanazi--Gagola--Munagi. We offer in this paper a new proof of the Bessenrodt--Ono inequality, which is built on a well-known recursion formula for partition numbers. We extend the proof to the result of Chern--Fu--Tang and its polynomization. Finally, we also obtain a new result.

Given a locally finite graph $Γ$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $λ$, consider the free energy $f_G(Γ,λ)$ of the hardcore model defined on the set of independent sets in $Γ$ weighted by $λ$. Under the assumption that $G$ is finitely generated and its word problem can be solved in exponential time, we define suitable ensembles of hardcore models and prove the following: if $\|λ\|_\infty < λ_c(Δ)$, there exists a randomized $ε$-additive approximation scheme for $f_G(Γ,λ)$ that runs in time $\mathrm{poly}((1+ε^{-1})\lvert Γ/G \rvert)$, where $λ_c(Δ)$ denotes the critical activity on the $Δ$-regular tree. In addition, if $G$ has a finite index linearly ordered subgroup such that its algebraic past can be decided in exponential time, we show that the algorithm can be chosen to be deterministic. On the other hand, we observe that if $\|λ\|_\infty > λ_c(Δ)$, there is no efficient approximation scheme, unless $\mathrm{NP} = \mathrm{RP}$. This recovers the computational phase transition for the partition function of the hardcore model on finite graphs and provides an extension to the infinite setting. As an application in symbolic dynamics, we use these results to develop efficient approximation algorithms for the topological entropy of subshifts of finite type with enough safe symbols, we obtain a representation formula of pressure in terms of random trees of self-avoiding walks, and we provide new conditions for the uniqueness of the measure of maximal entropy based on the connective constant of a particular associated graph.

We study the enumeration of closed walks of given length and algebraic area on the honeycomb lattice. Using an irreducible operator realization of honeycomb lattice moves, we map the problem to a Hofstadter-like Hamiltonian and show that the generating function of closed walks maps to the grand partition function of a system of particles with exclusion statistics of order $g=2$ and an appropriate spectrum, along the lines of a connection previously established by two of the authors. Reinterpreting the results in terms of the standard Hofstadter spectrum calls for a mixture of $g=1$ (fermion) and $g=2$ exclusion whose physical meaning and properties require further elucidation. In this context we also obtain some unexpected Fibonacci sequences within the weights of the combinatorial factors appearing in the counting of walks.

We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Vergès, and Ramassamy. We prove an integral equivalence between these polytopes and flow polytopes of directed acyclic graphs $G$ with a Hamiltonian path, which we call spinal graphs. We show that the volume of these flow polytopes is the number of extensions of a set of partial cyclic orders defined by the graph $G$. As a special case we recover results on volumes of consecutive coordinate polytopes. We study the combinatorics of $k$-Euler numbers, which are generalizations of the classical Euler numbers, and which arise as volumes of flow polytopes of a special family of spinal graphs. We show that their refinements, Ramassamy's $k$-Entringer numbers, can be realized as values of a Kostant partition function, satisfy a family of generalized boustrophedon recurrences, and are log concave along root directions. Finally, via our main integral equivalence and the known formula for the $h^*$-polynomial of consecutive coordinate polytopes, we give a combinatorial formula for the $h^*$-polynomial of flow polytopes of non-nested spinal graphs. For spinal graphs in general, we present a conjecture on upper and lower bounds for their $h^*$-polynomial.

Cluster algebra structures for Grassmannians and their (open) positroid strata are controlled by a Postnikov diagram D or, equivalently, a dimer model on the disc, as encoded by either a bipartite graph or the dual quiver (with faces). The associated dimer algebra A, determined directly by the quiver with a certain potential, can also be realised as the endomorphism algebra of a cluster-tilting object in an associated Frobenius cluster category. In this paper, we introduce a class of A-modules corresponding to perfect matchings of the dimer model of D and show that, when D is connected, the indecomposable projective A-modules are in this class. Surprisingly, this allows us to deduce that the cluster category associated to D embeds into the cluster category for the appropriate Grassmannian. We show that the indecomposable projectives correspond to certain matchings which have appeared previously in work of Muller-Speyer. This allows us to identify the cluster-tilting object associated to D, by showing that it is determined by one of the standard labelling rules constructing a cluster of Plücker coordinates from D. By computing a projective resolution of every perfect matching module, we show that Marsh-Scott's formula for twisted Plücker coordinates, expressed as a dimer partition function, is a special case of the general cluster character formula, and thus observe that the Marsh-Scott twist can be categorified by a particular syzygy operation in the Grassmannian cluster category.

We show that the permanent of a matrix can be written as the expectation value of a function of random variables each with zero mean and unit variance. This result is used to show that Glynn's theorem and a simplified MacMahon theorem extend from a common probabilistic interpretation of the permanent. Combining the methods in these two proofs, we prove a new result that relates the permanent of a matrix to the expectation value of a product of hyperbolic trigonometric functions, or, equivalently, the partition function of a spin system. We conclude by discussing how the main theorem can be generalized and how the techniques used to prove it can be applied to more general problems in combinatorics.

We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(z)$ (in $\mathbb{C}$) lie outside the disk of radius $5.02 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$. In the case of graphs of high girth we can improve this. We prove that for every $g$ there is a constant $K_g$ such that for any graph $G$ of maximum degree at most $Δ$ and girth at least $g$, the zeros of its chromatic polynomial $χ_G(z)$ lie outside the disk of radius $K_g Δ$ centered at $0$ where $K_g \to 1 + e \approx 3.72$ as $g \to \infty$. Finally, we give improved bounds on the Fisher zeros of the partition function of the Ising model.

For spin systems, such as the $q$-colorings and independent-set models, approximating the partition function in the so-called non-uniqueness region, where the model exhibits long-range correlations, is typically computationally hard for bounded-degree graphs. We present new algorithmic results for approximating the partition function and sampling from the Gibbs distribution for spin systems in the non-uniqueness region on random regular bipartite graphs. We give an $\mathsf{FPRAS}$ for counting $q$-colorings for even $q=O\big(\tfracΔ{\logΔ}\big)$ on almost every $Δ$-regular bipartite graph. This is within a factor $O(\logΔ)$ of the sampling algorithm for general graphs in the uniqueness region and improves significantly upon the previous best bound of $q=O\big(\tfrac{\sqrtΔ}{(\logΔ)^2}\big)$ by Jenssen, Keevash, and Perkins (SODA'19). Analogously, for the hard-core model on independent sets weighted by $λ>0$, we present an $\mathsf{FPRAS}$ for estimating the partition function when $λ=Ω\big(\tfrac{\logΔ}Δ\big)$, which improves upon previous results by an $Ω(\log Δ)$ factor. Our results for the colorings and hard-core models follow from a general result that applies to arbitrary spin systems. Our main contribution is to show how to elevate probabilistic/analytic bounds on the marginal probabilities for the typical structure of phases on random bipartite regular graphs into efficient algorithms, using the polymer method. We further show evidence that our result for colorings is within a constant factor of best possible using current polymer-method approaches.

We study the complexity of approximating the partition function $Z_{\mathrm{Ising}}(G; β)$ of the Ising model in terms of the relation between the edge interaction $β$ and a parameter $Δ$ which is an upper bound on the maximum degree of the input graph $G$. Following recent trends in both statistical physics and algorithmic research, we allow the edge interaction $β$ to be any complex number. Many recent partition function results focus on complex parameters, both because of physical relevance and because of the key role of the complex case in delineating the tractability/intractability phase transition of the approximation problem. In this work we establish both new tractability results and new intractability results. Our tractability results show that $Z_{\mathrm{Ising}}(-; β)$ has an FPTAS when $\lvert β- 1 \rvert / \lvert β+ 1 \rvert < \tan(π/ (4 Δ- 4))$. The core of the proof is showing that there are no inputs~$G$ that make the partition function $0$ when $β$ is in this range. Our result significantly extends the known zero-free region of the Ising model (and hence the known approximation results). Our intractability results show that it is $\mathrm{\#P}$-hard to multiplicatively approximate the norm and to additively approximate the argument of $Z_{\mathrm{Ising}}(-; β)$ when $β\in \mathbb{C}$ is an algebraic number such that $β\not \in \mathbb{R} \cup \{i,-i\}$ and $\lvert β- 1\rvert / \lvert β+ 1 \rvert > 1 / \sqrt{Δ- 1}$. These are the first results to show intractability of approximating $Z_{\mathrm{Ising}}(-, β)$ on bounded degree graphs with complex $β$. Moreover, we demonstrate situations in which zeros of the partition function imply hardness of approximation in the Ising model.

The independence polynomial originates in statistical physics as the partition function of the hard-core model. The location of the complex zeros of the polynomial is related to phase transitions, and plays an important role in the design of efficient algorithms to approximately compute evaluations of the polynomial. In this paper we directly relate the location of the complex zeros of the independence polynomial to computational hardness of approximating evaluations of the independence polynomial. We do this by moreover relating the location of zeros to chaotic behaviour of a naturally associated family of rational functions; the occupation ratios.