arXiv++ Combinatorics

We construct a quasi-polynomial time deterministic approximation algorithm for computing the volume of an independent set polytope with restrictions. Randomized polynomial time approximation algorithms for computing the volume of a convex body have been known now for several decades, but the corresponding deterministic counterparts are not available, and our algorithm is the first of this kind. The class of polytopes for which our algorithm applies arises as linear programming relaxation of the independent set problem with the additional restriction that each variable takes value in the interval $[0,1-α]$ for some $α<1/2$. (We note that the $α\ge 1/2$ case is trivial). We use the correlation decay method for this problem applied to its appropriate and natural discretization. The method works provided $α> 1/2-O(1/Δ^2)$, where $Δ$ is the maximum degree of the graph. When $Δ=3$ (the sparsest non-trivial case), our method works provided $0.488<α<0.5$. Interestingly, the interpolation method, which is based on analyzing complex roots of the associated partition functions, fails even in the trivial case when the underlying graph is a singleton.

In this paper, we provide formulas calculating the partition functions of two types of plane partitions using the crystal melting model method introduced by Okounkov, Reshetikhin and Vafa. As applications, we obtain a product formula for the partition function of the plane partitions with a limit shape boundary. A corollary of this formula is the demonstration of the equivalence between this partition function and the open-closed string amplitude of the double$-\mathbb{P}^1$ model. We also derive a product formula for the partition function of symmetric plane partitions with a limit shape boundary.

In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$. In this paper, we introduce a new partition function $\overline{B}_0$ which can be viewed as an overpartition analogue of the partition function $B_0$. An overpartition is a partition such that the last occurrence of a part can be overlined. We build a bijection to get a relationship between $\overline{B}_0$ and $B_1$, based on which an overpartition analogue of Bressoud's conjecture for $j=0$ is obtained.

The partition function of the Ising model of a graph $G=(V,E)$ is defined as $Z_{\text{Ising}}(G;b)=\sum_{σ:V\to \{0,1\}} b^{m(σ)}$, where $m(σ)$ denotes the number of edges $e=\{u,v\}$ such that $σ(u)=σ(v)$. We show that for any positive integer $Δ$ and any graph $G$ of maximum degree at most $Δ$, $Z_{\text{Ising}}(G;b)\neq 0$ for all $b\in \mathbb{C}$ satisfying $|\frac{b-1}{b+1}| \leq \frac{1-o_Δ(1)}{Δ-1}$ (where $o_Δ(1) \to 0$ as $Δ\to \infty$). This is optimal in the sense that $\tfrac{1-o_Δ(1)}{Δ-1}$ cannot be replaced by $\tfrac{c}{Δ-1}$ for any constant $c > 1$ subject to a complexity theoretic assumption. To prove our result we use a standard reformulation of the partition function of the Ising model as the generating function of even sets. We establish a zero-free disk for this generating function inspired by techniques from statistical physics on partition functions of a polymer models. Our approach is quite general and we discuss extensions of it to a certain types of polymer models.

In this paper, we investigate decompositions of the partition function $p(n)$ from the additive theory of partitions considering the famous Möbius function $μ(n)$ from multiplicative number theory. Some combinatorial interpretations are given in this context. Our work extends several analogous identities proved recently relating $p(n)$ and Euler's totient function $\varphi(n)$. Keywords: Lambert series; Möbius function; $q$-series; partition function

In this paper, we use the Lambert series generating function for Euler's totient function to introduce a new identity for the number of $1$'s in the partitions of $n$. A new expansion for Euler's partition function $p(n)$ is derived in this context. These surprising new results connect the famous classical totient function from multiplicative number theory to the additive theory of partitions.

This paper deals with both the higher order Turán inequalities and the Laguerre inequalities for quasi-polynomial-like functions -- that are expressions of the form $f(n)=c_l(n)n^l+\cdots+c_d(n)n^d+o(n^d)$, where $d,l\in\mathbb{N}$ and $d\leqslant l$. A natural example of such a function is the $A$-partition function $p_{A}(n)$, which enumerates the number of partitions of $n$ with parts in the fixed finite multiset $A=\{a_1,a_2,\ldots,a_k\}$ of positive integers. For an arbitrary positive integer $d$, we present efficient criteria for both the order $d$ Turán inequality and the $d$th Laguarre inequality for quasi-polynomial-like functions. In particular, we apply these results to deduce non-trivial analogues for $p_A(n)$.

The famous partition theorem of Euler states that partitions of $n$ into distinct parts are equinumerous with partitions of $n$ into odd parts. Another famous partition theorem due to MacMahon states that the number of partitions of $n$ with all parts repeated at least once equals the number of partitions of $n$ where all parts must be even or congruent to $3 \pmod 6$. These partition theorems were further extended by Glaisher, Andrews, Subbarao, Nyirenda and Mugwangwavari. In this paper, we utilize the Chinese remainder theorem to prove a comprehensive partition theorem that encompasses all existing partition theorems. We also give a natural generalization of Euler's theorem based on a special complete residue system. Furthermore, we establish interesting congruence connections between the partition function $p(n)$ and related partition functions.

An Eulerian orientation is an orientation of the edges of a graph such that every vertex is balanced: its in-degree equals its out-degree. Counting Eulerian orientations corresponds to the crucial partition function in so-called ``ice-type models'' in statistical physics and is known to be hard for general graphs. For all graphs with good expansion properties and degrees larger than $\log^{8} n$, we derive an asymptotic expansion for this count that approximates it to precision $O(n^{-c})$ for arbitrary large $c$, where $n$ is the number of vertices. The proof relies on a new tail bound for the cumulant expansion of the Laplace transform, which is of independent interest.

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 prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(x)$ (in $\mathbb{C}$) lie inside the disc of radius $5.94 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$. We also obtain improved bounds for graphs of high girth. 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(x)$ lie inside the disc of radius $K_g Δ$ centered at $0$, where $K_g$ is the solution to a certain optimization problem. In particular, $K_g < 5$ when $g \geq 5$ and $K_g < 4$ when $g \geq 25$ and $K_g$ tends to approximately $3.86$ as $g \to \infty$. Key to the proof is a classical theorem of Whitney which allows us to relate the chromatic polynomial of a graph $G$ to the generating function of so-called broken-circuit-free forests in $G$. We also establish a zero-free disc for the generating function of all forests in $G$ (aka the partition function of the arboreal gas) which may be of independent interest.

We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process. Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support. Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.

For an arbitrary set or multiset $A$ of positive integers, we associate the $A$-partition function $p_A(n)$ (that is the number of partitions of $n$ whose parts belong to $A$). We also consider the analogue of the $k$-colored partition function, namely, $p_{A,-k}(n)$. Further, we define a family of polynomials $f_{A,n}(x)$ which satisfy the equality $f_{A,n}(k)=p_{A,-k}(n)$ for all $n\in\mathbb{Z}_{\geq0}$ and $k\in\mathbb{N}$. This paper concerns the polynomization of the Bessenrodt--Ono type inequality for $f_{A,n}(x)$: \begin{align*} f_{A,a}(x)f_{A,b}(x)>f_{A,a+b}(x), \end{align*} where $a$ and $b$ are arbitrary positive integers; and delivers some efficient criteria for its solutions. Moreover, we also investigate a few basic properties related to both functions $f_{A,n}(x)$ and $f_{A,n}'(x)$.

We review the connections between the octahedral recurrence, $λ$-determinants and tiling problems. This provides in particular a direct combinatorial interpretation of the $λ$-determinant (and generalizations thereof) of an arbitrary matrix in terms of domino tilings of Aztec diamonds. We also reinterpret the general Robbins-Rumsey formula for the rational function of consecutive minors, given by a summation over pairs of compatible alternating sign matrices, as the partition function for tilings of Aztec diamonds equipped with a general measure.

The vector partition function $p_A$ associated to a $d \times n$ matrix $A$ with integer entries is the function $\mathbb{Z}^d \to \mathbb{N}$ defined by $\mathbf{b} \to \#\{\mathbf{x} \in \mathbb{N}^n : A\mathbf{x} = \mathbf{b}\}$. It is known that vector partition functions are piecewise quasi-polynomials whose domains of quasi-polynomiality are maximal cones (chambers) of a fan called the chamber complex of $A$. In this article we introduce \emph{external columns} and \emph{external chambers} of vector partition functions. Our main result is that (up to a saturation condition) the quasi-polynomial associated to a chamber containing external columns arises from a vector partition function with $k$ fewer equations and variables. In the case that the chamber is external -- that is, when the number of external columns in a chamber is as large as possible without being trivial -- the quasi-polynomial arises from a coin exchange problem. By exploiting this we are able to obtain a determinantal formula, characterize when the quasi-polynomial is polynomial, and show that in this case it is actually given by a negative binomial coefficient. We then apply these results to the enumeration of loopless multigraphs satisfying some degree conditions. Finally, we suggest a generalization to a result of Baldoni and Vergne for polynomials arising from chambers that we call \emph{semi-external chambers}.

We study the Busemann process and competition interfaces of the planar directed polymer model with i.i.d.\ weights on the vertices of the planar square lattice, in both the general case and the solvable inverse-gamma case. We prove new regularity properties of the Busemann process without reliance on unproved assumptions on the shape function. For example, each nearest-neighbor Busemann function is strictly monotone and has the same random set of discontinuities in the direction variable. When all Busemann functions on a horizontal line are viewed together, the Busemann process intertwines with an evolution that obeys a version of the geometric Robinson-Schensted-Knuth correspondence. When specialized to the inverse-gamma case, this relationship enables an explicit distributional description: the Busemann function on a nearest-neighbor edge has independent increments in the direction variable, and its distribution comes from an inhomogeneous planar Poisson process. The distribution of the asymptotic competition interface direction of the inverse-gamma polymer is discrete and supported on the Busemann discontinuities which -- unlike in zero-temperature last-passage percolation -- are dense. Further implications follow for the eternal solutions and the failure of the one force -- one solution principle of the discrete stochastic heat equation solved by the polymer partition function.

Let $M_0(n)$ (resp. $M_1(n)$) denote the number of partitions of $n$ with even (reps. odd) crank. Choi, Kang and Lovejoy established an asymptotic formula for $M_0(n)-M_1(n)$. By utilizing this formula with the explicit bound, we show that $M_k(n-1)+M_k(n+1)>2M_k(n)$ for $k=0$ or $1$ and $n\geq 39$. This result can be seen as the refinement of the classical result regarding the convexity of the partition function $p(n)$, which counts the number of partitions of $n$. We also show that $M_0(n)$ (resp. $M_1(n)$) is log-concave for $n\geq 94$ and satisfies the higher order Turán inequalities for $n\geq 207$ with the aid of the upper bound and the lower bound for $M_0(n)$ and $M_1(n)$.

In this work we introduce new combinatorial objects called $d$--fold partition diamonds, which generalize both the classical partition function and the partition diamonds of Andrews, Paule and Riese, and we set $r_d(n)$ to be their counting function. We also consider the Schmidt type $d$--fold partition diamonds, which have counting function $s_d(n).$ Using partition analysis, we then find the generating function for both, and connect the generating functions $\sum_{n= 0}^\infty s_d(n)q^n$ to Eulerian polynomials. This allows us to develop elementary proofs of infinitely many Ramanujan--like congruences satisfied by $s_d(n)$ for various values of $d$, including the following family: for all $d\geq 1$ and all $n\geq 0,$ $s_d(2n+1) \equiv 0 \pmod{2^d}.$

We study boundedness of zeros of the independence polynomial of tori for sequences of tori converging to the integer lattice. We prove that zeros are bounded for sequences of balanced tori, but unbounded for sequences of highly unbalanced tori. Here balanced means that the size of the torus is at most exponential in the shortest side length, while highly unbalanced means that the longest side length of the torus is super exponential in the product over the other side lengths cubed. We discuss implications of our results to the existence of efficient algorithms for approximating the independence polynomial on tori. This project was partially inspired by the relationship between zeros of partition functions and holomorphic dynamics, a relationship that in the last two decades played a prominent role in the field. Besides presenting new results, we survey this relationship and its recent consequences.

We establish a general framework for developing approximation algorithms for a class of counting problems. Our framework is based on the cluster expansion of abstract polymer models formalism of Kotecký and Preiss. We apply our framework to obtain efficient algorithms for (1) approximating probability amplitudes of a class of quantum circuits close to the identity, (2) approximating expectation values of a class of quantum circuits with operators close to the identity, (3) approximating partition functions of a class of quantum spin systems at high temperature, and (4) approximating thermal expectation values of a class of quantum spin systems at high temperature with positive-semidefinite operators. Further, we obtain hardness of approximation results for approximating probability amplitudes of quantum circuits and partition functions of quantum spin systems. This establishes a computational complexity transition for these problems and shows that our algorithmic conditions are optimal under complexity-theoretic assumptions. Finally, we show that our algorithmic condition is almost optimal for expectation values and optimal for thermal expectation values in the sense of zero freeness.