arXiv++ Combinatorics

Define a "nuclear partition" to be an integer partition with no part equal to one. In this study we prove a simple formula to compute the partition function $p(n)$ by counting only the nuclear partitions of $n$, a vanishingly small subset by comparison with all partitions of $n$ as $n\to \infty$. Variations on the proof yield other formulas for $p(n)$, as well as Ramanujan-like congruences and an application to parity of the partition function.

This paper is concerned with a class of partition functions $a(n)$ introduced by Radu and defined in terms of eta-quotients. By utilizing the transformation laws of Newman, Schoeneberg and Robins, and Radu's algorithms, we present an algorithm to find Ramanujan-type identities for $a(mn+t)$. While this algorithm is not guaranteed to succeed, it applies to many cases. For example, we deduce a witness identity for $p(11n+6)$ with integer coefficients. Our algorithm also leads to Ramanujan-type identities for the overpartition functions $\overline{p}(5n+2)$ and $\overline{p}(5n+3)$ and Andrews--Paule's broken $2$-diamond partition functions $\triangle_{2}(25n+14)$ and $\triangle_{2}(25n+24)$. It can also be extended to derive Ramanujan-type identities on a more general class of partition functions. For example, it yields the Ramanujan-type identities on Andrews' singular overpartition functions $\overline{Q}_{3,1}(9n+3)$ and $ \overline{Q}_{3,1}(9n+6)$ due to Shen, the $2$-dissection formulas of Ramanujan and the $8$-dissection formulas due to Hirschhorn.

Nicolas and DeSalvo and Pak proved that the partition function $p(n)$ is log concave for $n \geq 25$. Chen, Jia and Wang proved that $p(n)$ satisfies the third order Turán inequality, and that the associated degree 3 Jensen polynomials are hyperbolic for $n \geq 94$. More recently, Griffin, Ono, Rolen and Zagier proved more generally that for all $d$, the degree $d$ Jensen polynomials associated to $p(n)$ are hyperbolic for sufficiently large $n$. In this paper, we prove that the same result holds for the $k$-regular partition function $p_k(n)$ for $k \geq 2$. In particular, for any positive integers $d$ and $k$, the order $d$ Turán inequalities hold for $p_k(n)$ for sufficiently large $n$. The case when $d = k = 2$ proves a conjecture by Neil Sloane that $p_2(n)$ is log concave.

We report exact results concerning the zeros of the partition function of the Potts model in the complex $q$ plane, as a function of a temperature-like Boltzmann variable $v$, for the $m$'th iterate graphs $D_m$ of the Diamond Hierarchical Lattice (DHL), including the limit $m \to \infty$. In this limit we denote the continuous accumulation locus of zeros in the $q$ planes at fixed $v = v_0$ as ${\mathcal B}_q(v_0)$. We apply theorems from complex dynamics to establish properties of ${\mathcal B}_q(v_0)$. For $v=-1$ (the zero-temperature Potts antiferromagnet, or equivalently, chromatic polynomial), we prove that ${\mathcal B}_q(-1)$ crosses the real-$q$ axis at (i) a minimal point $q=0$, (ii) a maximal point $q=3$ (iii) $q=32/27$, (iv) a cubic root that we give, with the value $q = q_1 = 1.6388969..$, and (v) an infinite number of points smaller than $q_1$, converging to $32/27$ from above. Similar results hold for ${\mathcal B}_q(v_0)$ for any $-1 < v < 0$ (Potts antiferromagnet at nonzero temperature). The locus ${\mathcal B}_q(v_0)$ crosses the real-$q$ axis at only two points for any $v > 0$ (Potts ferromagnet). We also provide computer-generated plots of ${\mathcal B}_q(v_0)$ at various values of $v_0$ in both the antiferromagnetic and ferromagnetic regimes and compare them to numerically computed zeros of $Z(D_4,q,v_0)$.

We prove that the partition function for tripartite double-dimer configurations of a planar bipartite graph satisfies a recurrence related to the Desnanot-Jacobi identity from linear algebra. A similar identity for the dimer partition function was established nearly 20 years ago by Kuo and has applications to random tiling theory and the theory of cluster algebras. This work was motivated in part by the potential for applications in these areas. Additionally, we discuss an application to Donaldson-Thomas and Pandharipande-Thomas theory which will be the subject of a forthcoming paper. The proof of our recurrence requires generalizing work of Kenyon and Wilson; specifically, lifting their assumption that the nodes of the graph are black and odd or white and even.

We show how two techniques from statistical physics can be adapted to solve a variant of the notorious Unique Games problem, potentially opening new avenues towards the Unique Games Conjecture. The variant, which we call Count Unique Games, is a promise problem in which the "yes" case guarantees a certain number of highly satisfiable assignments to the Unique Games instance. In the standard Unique Games problem, the "yes" case only guarantees at least one such assignment. We exhibit efficient algorithms for Count Unique Games based on approximating a suitable partition function for the Unique Games instance via (i) a zero-free region and polynomial interpolation, and (ii) the cluster expansion. We also show that a modest improvement to the parameters for which we give results would refute the Unique Games Conjecture.

In this paper we investigate the generalization of the Bessenrodt--Ono inequality by following Gian-Carlo Rota's advice in studying problems in combinatorics and number theory in terms of roots of polynomials. We consider the number of $k$-colored partitions of $n$ as special values of polynomials $P_n(x)$. We prove for all real numbers $x >2 $ and $a,b \in \mathbb{N}$ with $a+b >2$ the inequality \begin{equation*} P_a(x) \, \cdot \, P_b(x) > P_{a+b}(x). \end{equation*} We show that $P_n(x) < P_{n+1}(x)$ for $x \geq 1$, which generalizes $p(n) < p(n+1)$, where $p(n)$ denotes the partition function. Finally, we observe for small values, the opposite can be true since for example: $P_2(-3+ \sqrt{10}) = P_{3}(-3 + \sqrt{10})$.

Recently, a combinatorial interpretation of Baldoni and Vergne's generalized Lidskii formula for the volume of a flow polytope was developed by Benedetti et al.. This converts the problem of computing Kostant partition functions into a problem of enumerating a set of objects called unified diagrams. We devise an enhanced version of this combinatorial model to compute the volumes of flow polytopes defined on a family of graphs called the k-caracol graphs, resulting in the first application of the model to non-planar graphs. At k=1 and k=n-1, we recover results for the classical caracol graph and the Pitman--Stanley graph. Furthermore, we introduce the notion of in-degree gravity diagrams for flow polytopes, which are equinumerous with (out-degree) gravity diagrams considered by Benedetti et al.. We show that for the k-caracol flow polytopes, these two kinds of gravity diagrams satisfy a natural combinatorial correspondence, which raises an intriguing question on the relationship in the geometry of two related polytopes.

In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$, where the function $A_j$ counts the number of partitions with certain congruence conditions and the function $B_j$ counts the number of partitions with certain difference conditions. Bressoud's conjecture specializes to a wide variety of well-known theorems in the theory of partitions. Special cases of his conjecture have been subsequently proved by Bressoud, Andrews, Kim and Yee. Recently, Kim resolved Bressoud's conjecture for the case $j=1$. In this paper, we introduce a new partition function $\bar{B}_j$ which can be viewed as an overpartition analogue of the partition function $B_j$ introduced by Bressoud. By means of Gordon markings, we build bijections to obtain a relationship between $\bar{B}_1$ and $B_0$ and a relationship between $\bar{B}_0$ and $B_1$. Based on these former relationships, we further give overpartition analogues of many classical partition theorems including Euler's partition theorem, the Rogers-Ramanujan-Gordon identities, the Bressoud-Rogers-Ramanujan identities, the Andrews-Göllnitz-Gordon identities and the Bressoud-Göllnitz-Gordon identities.

We use the tangent method to compute the arctic curve of the Twenty-Vertex (20V) model with particular domain wall boundary conditions for a wide set of integrable weights. To this end, we extend to the finite geometry of domain wall boundary conditions the standard connection between the bulk 20V and 6V models via the Kagome lattice ice model. This allows to express refined partition functions of the 20V model in terms of their 6V counterparts, leading to explicit parametric expressions for the various portions of its arctic curve. The latter displays a large variety of shapes depending on the weights and separates a central liquid phase from up to six different frozen phases. A number of numerical simulations are also presented, which highlight the arctic curve phenomenon and corroborate perfectly the analytic predictions of the tangent method. We finally compute the arctic curve of the Quarter-turn symmetric Holey Aztec Domino Tiling (QTHADT) model, a problem closely related to the 20V model and whose asymptotics may be analyzed via a similar tangent method approach. Again results for the QTHADT model are found to be in perfect agreement with our numerical simulations.

Following attempts at an analytic proof of the Pentagonal Number Theorem, we report on the discovery of a general principle leading to an unexpected cancellation of oscillating sums. After stating the motivation, and our theorem, we apply it to prove several results on the Prouhet-Tarry-Escott Problem, integer partitions, and the distribution of prime numbers. Regarding the Prouhet-Tarry-Escott problem, we show that \begin{align*} \sum_{|\ell|\leq x}(4x^2-4\ell^2)^{2r}-\sum_{|\ell|<x}(4x^2-(2\ell+1)^2)^{2r}=\text{polynomial w.r.t. } x \text{ with degree }2r-1. \end{align*} This can perhaps be proved using properties of Bernoulli polynomials, but the claim fell out of our method in a more natural and motivated way. Using this result, we solve an approximate version of the PTE Problem, and in doing so our work in the approximate case exceeds the bounds one can prove using a pigeonhole argument, which seems remarkable. Also, we prove that $$ \sum_{\ell^2 < n} (-1)^\ell p(n-\ell^2)\ \sim\ (-1)^n 2^{-3/4} n^{-1/4} \sqrt{p(n)}, $$ where $p(n)$ is the usual partition function. We get the following "Weak pentagonal number theorem", in which we can replace the partition function $p(n)$ with Chebyshev $Ψ$ function: $$ \sum_{0 < \ell < \sqrt{xT}/2} Ψ([e^{\sqrt{x - \frac{(2\ell)^2}{T}}},\ e^{\sqrt{x - \frac{(2\ell-1)^2}{T}}}])\ =Ψ(e^{\sqrt{x}})\left(\frac{1}{2} + O\left (e^{-0.196\sqrt{x}}\right)\right), $$ where $T=e^{0.786\sqrt{x}}$, where $Ψ([a,b]) := \sum_{n\in [a,b]} Λ(n)$ and $Ψ(x) = Ψ([1,x])$, where $Λ$ is the von Mangoldt function. Note that this last equation (sum over $\ell$) is stronger than one would get using a strong form of the Prime Number Theorem and also a naive use of the Riemann Hypothesis in each interval, since the widths of the intervals are smaller than $e^{\frac{1}{2} \sqrt{x}}$, making the RH estimate ``trivial".

Jerrum, Sinclair and Vigoda (2004) showed that the permanent of any square matrix can be estimated in polynomial time. This computation can be viewed as approximating the partition function of edge-weighted matchings in a bipartite graph. Equivalently, this may be viewed as approximating the partition function of vertex-weighted independent sets in the line graph of a bipartite graph. Line graphs of bipartite graphs are perfect graphs, and are known to be precisely the class of (claw, diamond, odd hole)-free graphs. So how far does the result of Jerrum, Sinclair and Vigoda extend? We first show that it extends to (claw, odd hole)-free graphs, and then show that it extends to the even larger class of (fork, odd hole)-free graphs. Our techniques are based on graph decompositions, which have been the focus of much recent work in structural graph theory, and on structural results of Chvatal and Sbihi (1988), Maffray and Reed (1999) and Lozin and Milanic (2008).

The multiplicity of a weight in a finite-dimensional irreducible representation of a simple Lie algebra g can be computed via Kostant's weight multiplicity formula. This formula consists of an alternating sum over the Weyl group (a finite group) and involves a partition function known as Kostant's partition function. Motivated by the observation that, in practice, most terms in the sum are zero, our main results describe the elements of the Weyl alternation sets. The Weyl alternation sets are subsets of the Weyl group which contributes nontrivially to the multiplicity of a weight in a highest weight representation of the Lie algebras so_4(C), so_5(C), sp_4(C), and the exceptional Lie algebra g_2. By taking a geometric approach, we extend the work of Harris, Lescinsky, and Mabie on sl_3(C), to provide visualizations of these Weyl alternation sets for all pairs of integral weights λand μof the Lie algebras considered.

We construct an integrable colored five-vertex model whose partition function is a Lascoux atom based on the five-vertex model of Motegi and Sakai [arXiv:1305.3030] and the colored five-vertex model of Brubaker, the first author, Bump, and Gustafsson [arXiv:1902.01795]. We then modify this model in two different ways to construct a Lascoux polynomial, yielding the first known combinatorial interpretation of a Lascoux polynomial and atom. Using this, we prove a conjectured combinatorial interpretation in terms of set-valued tableaux of a Lascoux polynomial and atom due to Pechenik and the second author [arXiv:1904.09674]. We also prove the combinatorial interpretation of the Lascoux atom using set-valued skyline tableaux of Monical [arXiv:1611.08777].

Amalgamation in the totally non-negative part of positroid varieties is equivalent to gluing copies of $Gr^{TP}(1,3)$ and $Gr^{TP}(2,3)$. Lam has proposed to represent amalgamation in positroid varieties by equivalence classes of relations on bipartite graphs and identify total non-negativity via edge signatures. Here we provide an explicit characterization of such signatures on the planar bicolored trivalent directed perfect networks in the disk parametrizing positroid cells $S_M^{TNN}$.To a graph $G$ representing $S_M^{TNN}$, we associate a geometric signature satisfying full rank condition and total non--negativity. Such signature is uniquely identified by geometric indices ruled by orientation and gauge ray direction. The image of this map coincides with that of Postnikov boundary measurement map. We solve the system of geometric relations generalizing Postnikov's and Talaska's results for the boundary edges to the internal edges of the graphs: the edge vector components are rational in the weights with subtraction--free denominators, and have explicit expressions in terms of conservative and edge flows. At boundary sources the edge vectors give the boundary measurement matrix. If $G$ is acyclically orientable, all components are subtraction-free rational in the weights w.r.t. a convenient basis. We provide explicit formulas for the transformation rules w.r.t. changes the orientation, the several gauges of the given network, moves and reductions of networks. We show that the image of the boundary measurement map and the dimer partition functions do not coincide if the graph is not bipartite.

We define a generalized vector partition function and derive an identity for generating series of such functions associated with solutions of basic recurrence relation of combinatorial analysis. As a consequence, we obtain the generating function of the number of generalized lattice paths and a new version of Chaundy-Bullard identity for the vector partition function.

We investigate the location of zeros for the partition function of the anti-ferromagnetic Ising Model, focusing on the zeros lying on the unit circle. We give a precise characterization for the class of rooted Cayley trees, showing that the zeros are nowhere dense on the most interesting circular arcs. In contrast, we prove that when considering all graphs with a given degree bound, the zeros are dense in a circular sub-arc, implying that Cayley trees are in this sense not extremal. The proofs rely on describing the rational dynamical systems arising when considering ratios of partition functions on recursively defined trees.

We obtain identities and relationships between the modular $j$-function, the generating functions for the classical partition function and the Andrews $spt$-function, and two functions related to unimodal sequences and a new partition statistic we call the "signed triangular weight" of a partition. These results follow from the closed formula we obtain for the Hecke action on a distinguished harmonic Maass form $\mathscr{M}(τ)$ defined by Bringmann in her work on the Andrews $spt$-function. This formula involves a sequence of polynomials in $j(τ)$, through which we ultimately arrive at expressions for the coefficients of the $j$-function purely in terms of these combinatorial quantities.

For rational $α$, the fractional partition functions $p_α(n)$ are given by the coefficients of the generating function $(q;q)^α_\infty$. When $α=-1$, one obtains the usual partition function. Congruences of the form $p(\ell n + c)\equiv 0 \pmod{\ell}$ for a prime $\ell$ and integer $c$ were studied by Ramanujan. Such congruences exist only for $\ell\in\{5,7,11\}.$ Chan and Wang [4] recently studied congruences for the fractional partition functions and gave several infinite families of congruences using identities of the Dedekind eta-function. Following their work, we use the theory of non-ordinary primes to find a general framework that characterizes congruences modulo any integer. This allows us to prove new congruences such as $p_\frac{57}{61}(17^2n-3)\equiv 0 \pmod{17^2}$.

The partition function $p(n)$ has been a testing ground for applications of analytic number theory to combinatorics. In particular, Hardy and Ramanujan invented the "circle method" to estimate the size of $p(n)$, which was later perfected by Rademacher who obtained an exact formula. Recently, Chan and Wang considered the fractional partition functions, defined by $\sum_{n = 0}^\infty p_α(n)x^n := \prod_{k=1}^\infty (1-x^k)^{-α}$. In this paper we use the Rademacher circle method to find an exact formula for $p_α(n)$ and study its implications, including log-concavity and the higher-order generalizations (i.e., the Turán inequalities) that $p_α(n)$ satisfies.