arXiv++ Combinatorics

Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ are multiparameter deformations of the classical Hall-Littlewood symmetric polynomials and can be viewed as partition functions in $\mathfrak{sl}(2)$ higher spin six vertex models. We obtain a refined Littlewood identity expressing a weighted sum of $F_λ$'s over all partitions $λ$ with even multiplicities as a certain Pfaffian. This Pfaffian can be derived as a partition function of the six vertex model in a triangle with suitably decorated domain wall boundary conditions. The proof is based on the Yang-Baxter equation.

Let $N\geq 1$ be squarefree with $(N,6)=1$. Let $cφ_N(n)$ denote the number of $N$-colored generalized Frobenius partition of $n$ introduced by Andrews in 1984. We prove $$ cφ_N(n)= \sum_{d \mid N} N/d \cdot P\left( \frac{ N}{d^2}n - \frac{N^2-d^2}{24d^2} \right) + b(n)$$ where $C(z) := (q;q)^N_\infty\sum_{n=1}^{\infty} b(n) q^n$ is a cusp form in $S_{(N-1)/2} (Γ_0(N),χ_N)$. This extends and strengthens earlier results of Kolitsch and Chan-Wang-Yan treating the case when $N$ is a prime. As an immediate application, we obtain an asymptotic formula for $cφ_N(n)$ in terms of the classical partition function.

In this paper we study several partition relations, defined by Saharon Shelah, and relate them to the Hales-Jewett numbers. In particular we give an upper bound for the Hales-Jewett numbers using the primitive recursive function $\mathtt{f}^{8,*}$ which belongs to the class $\mathcal{E}^5$ of the Grzegorczyk hierarchy and grows slower than the function $\mathtt{f}^{13}$. This improves the recent result of the first author and Shelah.

The LLT polynomials $\mathcal{L}_{\mathbfβ/\mathbfγ} (X;t)$ are a family of symmetric polynomials indexed by a tuple of (possibly skew-)partitions $\mathbfβ/\mathbfγ= (β^{(1)}/γ^{(1)},\ldots,β^{(k)}/γ^{(k)})$. It has recently been shown that these polynomials can be seen as the partition function of a certain vertex model whose boundary conditions are determined by $\mathbfβ/\mathbfγ$. In this paper we describe an algorithm which gives a bijection between the configurations of the vertex model with boundary condition $\mathbfβ/\mathbfγ = (β^{(1)}/γ^{(1)},β^{(2)}/γ^{(2)})$ and those with boundary condition $(\mathbfβ/\mathbfγ)_{swap} = (β^{(2)}/γ^{(2)},β^{(1)}/γ^{(1)})$. We prove a sufficient condition for when this bijection is weight-preserving up to an overall factor of $t$, which in turn implies that the corresponding LLT polynomials are equal up to the same overall factor. Using these techniques, we are also able to systematically determine linear relations within families of LLT polynomials.

By specializing the parameters in the partition function of the 8VSOS model with domain wall boundary conditions and diagonal reflecting end, we find connections between the three-color model and certain polynomials $p_n(z)$, which are conjectured to be equal to certain polynomials of Bazhanov and Mangazeev, appearing in the eigenvectors of the Hamiltonian of the supersymmetric XYZ spin chain. This article is a continuation of a previous paper where we investigated the related polynomials $q_n(z)$, also conjectured to be equal to polynomials of Bazhanov and Mangazeev, appearing in the eigenvectors of the supersymmetric XYZ spin chain.

Let $\mathcal{A}=(a_n)_{n\in\mathbb{N}_+}$ be a sequence of positive integers. Let $p_\mathcal{A}(n,k)$ denote the number of multi-color partitions of $n$ into parts in $\{a_1,\ldots,a_k\}$. We examine several arithmetic properties of the sequence $(p_\mathcal{A}(n,k) \pmod{m})_{n\in\mathbb{N}}$ for an arbitrary fixed integer $m\geqslant2$. We investigate periodicity of the sequence and lower and upper bounds for the density of the set $\{n\in\mathbb{N}: p_\mathcal{A}(n,k) \equiv i \pmod{m}\}$ for a fixed positive integer $k$ and $i\in\{0,1,\ldots, m-1\}$. In particular, we apply our results to the special cases of the sequence $\mathcal{A}$. Furthermore, we present some results related to restricted $m$-ary partitions.

We define a new disordered asymmetric simple exclusion process (ASEP) with two species of particles, first-class particles labelled $\bullet$ and second-class particles labelled ${\scriptstyle \Box}$, on a two-dimensional toroidal lattice. The dynamics is controlled by particles labelled $\bullet$, which only move horizontally, with forward and backward hopping rates $p_i$ and $q_i$ respectively if the $\bullet$ is on row $i$. The motion of particles labelled ${\scriptstyle \Box}$ depends on the relative position of these with respect to $\bullet$'s, and can be both horizontal and vertical. We show that the stationary weight of any configuration is proportional to a monomial in the $p_i$'s and $q_i$'s. Our process projects to the disordered ASEP on a ring, and so explains combinatorially the stationary distribution of the latter first derived by Evans (Europhysics Letters, 1996). We compute the partition function, as well as densities and currents of $\bullet$'s and ${\scriptstyle \Box}$'s in the stationary state. We observe a novel mechanism we call the Scott Russell phenomenon: the current of ${\scriptstyle \Box}$'s in the vertical direction is the same as that of $\bullet$'s in the horizontal direction.

For a set of positive integers $A$, let $p_A(n)$ denote the number of ways to write $n$ as a sum of integers from $A$, and let $p(n)$ denote the usual partition function. In the early 40s, Erdős extended the classical Hardy--Ramanujan formula for $p(n)$ by showing that $A$ has density $α$ if and only if $\log p_A(n) \sim \log p(αn)$. Nathanson asked if Erdős's theorem holds also with respect to $A$'s lower density, namely, whether $A$ has lower-density $α$ if and only if $\log p_A(n) / \log p(αn)$ has lower limit $1$. We answer this question negatively by constructing, for every $α> 0$, a set of integers $A$ of lower density $α$, satisfying $$ \liminf_{n \rightarrow \infty} \frac{\log p_A(n)}{\log p(αn)} \geq \left(\frac{\sqrt{6}}π-o_α(1)\right)\log(1/α)\;. $$ We further show that the above bound is best possible (up to the $o_α(1)$ term), thus determining the exact extremal relation between the lower density of a set of integers and the lower limit of its partition function. We also prove an analogous theorem with respect to the upper density of a set of integers, answering another question of Nathanson.

We enumerate a class of fully parked trees. In a probabilistic context, this means computing the partition function $F(x,y)$ of the parking process where an i.i.d. number of cars arrives at each vertex of a Galton-Watson tree with a geometric offspring distribution, conditioned to leave no vertex unoccupied at the end. The variables $x$ and $y$ count the number of vertices in the tree and the number of cars exiting from the root, respectively. For any car arrival distribution $\mathbf b$, we obtain an explicit parametric expression of $F(x,y)$ in terms of the probability generating function $B(y)$ of $\mathbf b$. We show that the model has a generic phase where the singular behavior of $F(x,y)$ is essentially independent of $B(y)$, and a non-generic phase where it depends sensitively on the singular behavior of $B(y)$. The non-generic phase is further divided into two cases, which we call dilute and dense. We give a simple algebraic description of the phase diagram, and, under mild additional assumptions on $\mathbf b$, carry out detailed singularity analysis of $F(x,y)$ in the generic and the dilute phases. The singularity analysis uses the classical transfer theorem, as well as its generalization for bivariate asymptotics. In the process, we develop a variational method for locating the dominant singularity of the inverse of an analytic function, which is of independent interest. The phases defined in this paper are closely related to, but not the same as, the phases in the transition of macroscopic runoff described in arxiv:1912.06012 and related works.

We use a Hamiltonian (transition matrix) description of height-restricted Dyck paths on the plane in which generating functions for the paths arise as matrix elements of the propagator to evaluate the length and area generating function for paths with arbitrary starting and ending points, expressing it as a rational combination of determinants. Exploiting a connection between random walks and quantum exclusion statistics that we previously established, we express this generating function in terms of grand partition functions for exclusion particles in a finite harmonic spectrum and present an alternative, simpler form for its logarithm that makes its polynomial structure explicit.

Partition functions are an important research object in combinatorics and mathematical physics [Barvinok, 2016]. In this work, we consider the partition function of the Ising antiferromagnet on random regular graphs and characterize its limiting distribution in the replica symmetric phase up to the Kesten-Stigum bound. Our proof relies on a careful execution of the method of moments, spatial mixing arguments and small subgraph conditioning.

In this paper we consider the algorithmic problem of sampling from the Potts model and computing its partition function at low temperatures. Instead of directly working with spin configurations, we consider the equivalent problem of sampling flows. We show, using path coupling, that a simple and natural Markov chain on the set of flows is rapidly mixing. As a result we find a $δ$-approximate sampling algorithm for the Potts model at low enough temperatures, whose running time is bounded by $O(m^2\log(mδ^{-1}))$ for graphs $G$ with $m$ edges.

The partition statistic $V_R$-rank is introduced to give combinatorial proofs of the Ramanujan type congruences mod 3 for certain classes of partition functions.

Andrews, Lewis and Lovejoy introduced the partition function $PD(n)$ as the number of partitions of $n$ with designated summands. A bipartition of $n$ is an ordered pair of partitions $(π_1, π_2)$ with the sum of all of the parts being $n$. In this paper, we introduce a generalized crank named the $pd$-crank for bipartitions with designated summands and give some inequalities for the $pd$-crank of bipartitions with designated summands modulo 2 and 3. We also define the $pd$-crank moments weighted by the parity of $pd$-cranks $μ_{2k,bd}(-1,n)$ and show the positivity of $(-1)^nμ_{2k,bd}(-1,n)$. Let $M_{bd}(m,n)$ denote the number of bipartitions of $n$ with designated summands with $pd$-crank $m$. We prove a monotonicity property of $pd$-cranks of bipartitions with designated summands and find that the sequence $\{M_{bd}(m,n)\}_{|m|\leq n}$ is unimodal for $n\not= 1,5,7$.

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.

George Andrews and Ae Ja Yee recently established beautiful results involving bivariate generalizations of the third order mock theta functions $ω(q)$ and $ν(q)$, thereby extending their earlier results with the second author. Generalizing the Andrews-Yee identities for trivariate generalizations of these mock theta functions remained a mystery, as pointed out by Li and Yang in their recent work. We partially solve this problem and generalize these identities. Several new as well as well-known results are derived. For example, one of our two main theorems gives, as a corollary, a special case of Soon-Yi Kang's three-variable reciprocity theorem. A relation between a new restricted overpartition function $p^{*}(n)$ and a weighted partition function $p_*(n)$ is obtained from one of the special cases of our second theorem.

For fixed $m$ and $R\subseteq \{0,1,\ldots,m-1\}$, take $A$ to be the set of positive integers congruent modulo $m$ to one of the elements of $R$, and let $p_A(n)$ be the number of ways to write $n$ as a sum of elements of $A$. Nathanson proved that $\log p_A(n) \leq (1+o(1)) π\sqrt{2n|R|/3m}$ using a variant of a remarkably simple method devised by Erdős in order to bound the partition function. In this short note we describe a simpler and shorter proof of Nathanson's bound.

We construct colored lattice models whose partition functions represent symplectic and odd orthogonal Demazure characters and atoms. We show that our lattice models are not solvable, but we are able to show the existence of sufficiently many solutions of the Yang--Baxter equation that allows us to compute functional equations for the corresponding partition functions. From these functional equations, we determine that the partition function of our models are the Demazure atoms and characters for the symplectic and odd orthogonal Lie groups. We coin our lattice models as quasi-solvable. We use the natural bijection of admissible states in our models with Proctor patterns to give a right key algorithm for reverse King tableaux and Sundaram tableaux.

In this text we introduce and analyze families of symmetric functions arising as partition functions for colored fermionic vertex models associated with the quantized affine Lie superalgebra $U_q \big( \widehat{\mathfrak{sl}} (1 | n) \big)$. We establish various combinatorial results for these vertex models and symmetric functions, which include the following. (1) We apply the fusion procedure to the fundamental $R$-matrix for $U_q \big( \widehat{\mathfrak{sl}} (1 | n) \big)$ to obtain an explicit family of vertex weights satisfying the Yang-Baxter equation. (2) We define families of symmetric functions as partition functions for colored, fermionic vertex models under these fused weights. We further establish several combinatorial properties for these symmetric functions, such as branching rules and Cauchy identities. (3) We show that the Lascoux-Leclerc-Thibon (LLT) polynomials arise as special cases of these symmetric functions. This enables us to show both old and new properties about the LLT polynomials, including Cauchy identities, contour integral formulas, stability properties, and branching rules under a certain family of plethystic transformations. (4) A different special case of our symmetric functions gives rise to a new family of polynomials called factorial LLT polynomials. We show they generalize the LLT polynomials, while also satisfying a vanishing condition reminiscent of that satisfied by the factorial Schur functions. (5) By considering our vertex model on a cylinder, we obtain fermionic partition function formulas for both the symmetric and nonsymmetric Macdonald polynomials. (6) We prove combinatorial formulas for the coefficients of the LLT polynomials when expanded in the modified Hall-Littlewood basis, as partition functions for a $U_q \big( \widehat{\mathfrak{sl}} (2 | n) \big)$ vertex model.

It is well known that Ramanujan conjectured congruences modulo powers of 5, 7 and and 11 for the partition function. These were subsequently proved by Watson (1938) and Atkin (1967). In 2009 Choi, Kang, and Lovejoy proved congruences modulo powers of 5 for the crank parity function. The generating function for rank parity function is f(q), which is the first example of a mock theta function that Ramanujan mentioned in his last letter to Hardy. We prove congruences modulo powers of 5 for the rank parity function.