arXiv++ Combinatorics

Using Jack polynomials, Goulden and Jackson have introduced a one parameter deformation $τ_b$ of the generating series of bipartite maps, which generalizes the partition function of $β$-ensembles of random matrices. The Matching-Jack conjecture suggests that the coefficients $c^λ_{μ,ν}$ of the function $τ_b$ in the power-sum basis are non-negative integer polynomials in the deformation parameter $b$. Dołęga and Féray have proved in 2016 the "polynomiality" part in the Matching-Jack conjecture, namely that coefficients $c^λ_{μ,ν}$ are in $\mathbb{Q}[b]$. In this paper, we prove the "integrality" part, i.e that the coefficients $c^λ_{μ,ν}$ are in $\mathbb{Z}[b]$. The proof is based on a recent work of the author that deduces the Matching-Jack conjecture for marginal sums from an analog result for the $b$-conjecture, established in 2020 by Chapuy and Dołęga. A key step in the proof involves a new connection with the graded Farahat-Higman algebra.

A number of recent papers have estimated ratios of the partition function $p(n-j)/p(n)$, which appears in many applications. Here, we prove an easy-to-use effective bound on these ratios. Using this, we then study second shifted difference of partitions, $f(j,n):= p(n) -2p(n-j) +p(n-2j)$, and give another easy-to-use estimate of $f(j,n)$. As applications of these, we prove a shifted convexity property of $p(n)$, as well as giving new estimates of the $k$-rank partition function $N_k(m,n)$ and non-$k$-ary partitions along with their differences.

The crank is a partition statistic requested by Dyson in 1944 in order to combinatorially prove a Ramanujan congruence of Euler's partition function $p(n)$. In this paper, we provide connections between Dyson's crank and unimodal compositions. Somewhat unrelated, we give a combinatorial proof of a new truncated Euler pentagonal number theorem due to Xia and Zhao.

We consider a class of matrix integrals over the unitary group $U(N)$ with an infinite set of couplings characterized by a series $f(q)=\sum_{n \ge 1} a_n q^n$, with $a_n \in \mathbb{Z}$. Such integrals arise in physics as the partition functions of free four-dimensional gauge theories on $S^3$ and, in particular, as the superconformal index of super Yang-Mills theory. We show that any such model can be expressed in terms of a system of free fermions in an ensemble parameterized by the infinite set of couplings. Integrating out the fermions in a given quantum state leads to a convergent expansion as a series of determinants, as shown by Borodin-Okounkov many years ago. By further averaging over the ensemble, we obtain a formula for the matrix integral as a $q$-series with successive terms suppressed by $q^{αN + β}$ where $α$, $β$ do not depend on $N$. This provides a matrix-model explanation of the giant graviton expansion that has been observed recently in the literature.

We introduce the edge Schur functions $E^λ$ that are defined as a generating series over edge labeled tableaux. We formulate $E^λ$ as the partition function for a solvable lattice model, which we use to show they are symmetric polynomials and derive a Cauchy-type identity with factorial Schur polynomials. Finally, we give a crystal structure on edge labeled tableau to give a positive Schur polynomial expansion of $E^λ$ and show it intertwines with an uncrowding algorithm.

Inspired by the work of Amdeberhan, Can, and Moll on broken necklaces, we define a broken bracelet as a linear arrangement of marked and unmarked vertices and introduce a generalization called $n$-stars, which is a collection of $n$ broken bracelets whose final (unmarked) vertices are identified. Through these combinatorial objects, we provide a new framework for the study of Kostant's partition function, which counts the number of ways to express a vector as a nonnegative integer linear combination of the positive roots of a Lie algebra. Our main result establishes that (up to reflection) the number of broken bracelets with a fixed number of unmarked vertices with nonconsecutive marked vertices gives an upper bound for the value of Kostant's partition function for multiples of the highest root of a Lie algebra of type $A$. We connect this work to multiplex juggling sequences, as studied by Benedetti, Hanusa, Harris, Morales, and Simpson, by providing a correspondence to an equivalence relation on $n$-stars.

In the $1970$s Nicolas proved that the coefficients $p_d(n)$ defined by the generating function \begin{equation*} \sum_{n=0}^{\infty} p_d(n) \, q^n = \prod_{n=1}^{\infty} \left( 1- q^n\right)^{-n^{d-1}} \end{equation*} are log-concave for $d=1$. Recently, Ono, Pujahari, and Rolen have extended the result to $d=2$. Note that $p_1(n)=p(n)$ is the partition function and $p_2(n)=\func{pp}\left( n\right) $ is the number of plane partitions. In this paper, we invest in properties for $p_d(n)$ for general $d$. Let $n \geq 6$. Then $p_d(n)$ is almost log-concave for $n$ divisible by $3$ and almost strictly log-convex otherwise.

We investigate the geometry of a typical spin cluster in random triangulations sampled with a probability proportional to the energy of an Ising configuration on their vertices, both in the finite and infinite volume settings. This model is known to undergo a combinatorial phase transition at an explicit critical temperature, for which its partition function has a different asymptotic behavior than uniform maps. The purpose of this work is to give geometric evidence of this phase transition. In the infinite volume setting, called the Infinite Ising Planar Triangulation, we exhibit a phase transition for the existence of an infinite spin cluster: for critical and supercritical temperatures, the root spin cluster is finite almost surely, while it is infinite with positive probability for subcritical temperatures. Remarkably, we are able to obtain an explicit parametric expression for this probability, which allows to prove that the percolation critical exponent is $β=1/4$. We also derive critical exponents for the tail distribution of the perimeter and of the volume of the root spin cluster, both in the finite and infinite volume settings. Finally, we establish the scaling limit of the interface of the root spin cluster seen as a looptree. In particular in the whole supercritical temperature regime, we prove that the critical exponents and the looptree limit are the same as for critical Bernoulli site percolation. Our proofs mix combinatorial and probabilistic arguments. The starting point is the gasket decomposition, which makes full use of the spatial Markov property of our model. This decomposition enables us to characterize the root spin cluster as a Boltzmann planar map in the finite volume setting. We then combine precise combinatorial results obtained through analytic combinatorics and universal features of Boltzmann maps to establish our results.

We obtain a three-parameter $q$-series identity that generalizes two results of Chan and Mao. By specializing our identity, we derive new results of combinatorial significance in connection with $N(r, s, m, n)$, a function counting certain overpartition pairs recently introduced by Bringmann, Lovejoy and Osburn. For example, one of our identities gives a closed-form evaluation of a double series in terms of Chebyshev polynomials of the second kind, thereby resulting in an analogue of Euler's pentagonal number theorem. Another of our results expresses a multi-sum involving $N(r, s, m, n)$ in terms of just the partition function $p(n)$. Using a result of Shimura we also relate a certain double series with a weight 7/2 theta series.

We establish an efficient approximation algorithm for the partition functions of a class of quantum spin systems at low temperature, which can be viewed as stable quantum perturbations of classical spin systems. Our algorithm is based on combining the contour representation of quantum spin systems of this type due to Borgs, Kotecký, and Ueltschi with the algorithmic framework developed by Helmuth, Perkins, and Regts, and Borgs et al.

In a recent pioneering work, Andrews and Newman defined an extended function $p_{A,a}(n)$ of their minimal excludant or "mex" of a partition function. By considering the special cases $p_{k,k}(n)$ and $p_{2k,k}(n)$, they unearthed connections to the rank and crank of partitions and some restricted partitions. In this paper, we build on their work and obtain more general results associating the extended mex function with the number of partitions of an integer with arbitrary bound on the rank and crank. We also derive a new result expressing the smallest parts function of Andrews as a finite sum of the extended mex function in consideration with a curious coefficient. We also obtain a few restricted partition identities with some reminiscent of shifted partition identities. Finally, we define and explore a new minimal excludant for overpartitions.

In this paper, we consider various theorems of P.A. MacMahon and M.V. Subbarao. For a non-negative integer $n$, MacMahon proved that the number of partitions of $n$ wherein parts have multiplicity greater than 1 is equal to the number of partitions of $n$ in which odd parts are congruent to 3 modulo 6. We give a new bijective proof for this theorem and its generalization, which consequently provides a new proof of Andrews' extension of the theorem. We also generalize Subbarao's finitization of Andrews' extension. This generalization is based on Glaisher's extension of Euler's mapping for odd-distinct partitions and as a result, a bijection given by Sellers and Fu is also extended. Unlike in the case of Sellers and Fu where two residue classes are fixed, ours takes into consideration all possible residue classes. Furthermore, some arithmetic properties of related partition functions are derived

Heim, Neuhauser, and Tröger recently established some inequalities for MacMahon's plane partition function $\mathrm{PL}(n)$ that generalize known results for Euler's partition function $p(n)$. They also conjectured that $\mathrm{PL}(n)$ is log-concave for all $n\geq 12.$ We prove this conjecture. Moreover, for every $d\geq 1$, we prove their speculation that $\mathrm{PL}(n)$ satisfies the degree $d$ Turán inequality for sufficiently large $n$. The case where $d=2$ is the case of log-concavity.

In his 1984 Memoir of the American Mathematical Society, George Andrews defined two families of functions, $φ_k(n)$ and $cφ_k(n),$ which enumerate two types of combinatorial objects which Andrews called generalized Frobenius partitions. As part of that Memoir, Andrews proved a number of Ramanujan--like congruences satisfied by specific functions within these two families. In the years that followed, numerous other authors proved similar results for these functions, often with a view towards a specific choice of the parameter $k.$ In this brief note, our goal is to identify an {\bf infinite} family of values of $k$ such that $φ_k(n)$ is even for all $n$ in a specific arithmetic progression; in particular, our primary goal in this work is to prove that, for all positive integers $\ell,$ all primes $p\geq 5,$ and all values $r,$ $0 < r < p,$ such that $24r+1$ is a quadratic nonresidue modulo $p,$ $$ φ_{p\ell-1}(pn+r) \equiv 0 \pmod{2} $$ for all $n\geq 0.$ Our proof of this result is truly elementary, relying on a lemma from Andrews' Memoir, classical $q$--series results, and elementary generating function manipulations. Such a result, which holds for infinitely many values of $k,$ is rare in the study of arithmetic properties satisfied by generalized Frobenius partitions, primarily because of the unwieldy nature of the generating functions in question.

We extend an algorithm suggested in 1858 by Sylvester and implemented in 1860 by Cayley for a problem of double partitions and apply it to derivation of explicit expressions for coefficients of the Gaussian polynomials through convolution of restricted partition functions.

The partition function $pod(n)$ enumerates the partitions of $n$ wherein odd parts are distinct and even parts are unrestricted. Recently, a number of properties for $pod(n)$ have been established. In this paper, for $k\in\{0,2\}$ we consider the partitions of $n$ into distinct parts not congruent to $k$ modulo $4$ and the $4$-regular partitions of $n$ in order to obtain new properties for $pod(n)$. In this context, we derive two new infinite families of linear inequalities involving the function $pod(n)$ and obtain new identities of Watson type.

In this paper we show that absence of complex zeros of the partition function of the hard-core model on any family of bounded degree graphs implies that the associated probability measure, the \emph{hard-core measure}, satisfies strong spatial mixing on that family. As a corollary we obtain that the hard-core measure on the family of bounded degree claw-free graphs satisfies strong spatial mixing. We furthermore derive strong spatial mixing for graph homomorphism measures from absence of zeros of the graph homomorphism partition function.

The ferromagnetic Ising model is a model of a magnetic material and a central topic in statistical physics. It also plays a starring role in the algorithmic study of approximate counting: approximating the partition function of the ferromagnetic Ising model with uniform external field is tractable at all temperatures and on all graphs, due to the randomized algorithm of Jerrum and Sinclair. Here we show that hidden inside the model are hard computational problems. For the class of bounded-degree graphs we find computational thresholds for the approximate counting and sampling problems for the ferromagnetic Ising model at fixed magnetization (that is, fixing the number of $+1$ and $-1$ spins). In particular, letting $β_c(Δ)$ denote the critical inverse temperature of the zero-field Ising model on the infinite $Δ$-regular tree, and $η_{Δ,β,1}^+$ denote the mean magnetization of the zero-field $+$ measure on the infinite $Δ$-regular tree at inverse temperature $β$, we prove, for the class of graphs of maximum degree $Δ$: 1. For $β< β_c(Δ)$ there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for all magnetizations $η$. 2. For $β> β_c(Δ)$, there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for magnetizations $η$ such that $|η| >η_{Δ,β,1}^+ $. 3. For $β> β_c(Δ)$, there is no FPRAS for the fixed-magnetization Ising model for magnetizations $η$ such that $|η| <η_{Δ,β,1}^+ $ unless NP=RP\@.

We describe a Yang-Baxter integrable vertex model, which can be realized as a degeneration of a vertex model introduced by Aggarwal, Borodin, and Wheeler. From this vertex model, we construct a certain class of partition functions that we show are essentially equal to the super ribbon functions of Lam. Using the vertex model formalism, we give proofs of many properties of these polynomials, namely a Cauchy identity and generalizations of known identities for supersymmetric Schur polynomials.

This article extends recent results on log-Coulomb gases in a $p$-field $K$ (i.e., a nonarchimedean local field) to those in its projective line $\mathbb{P}^1(K)$, where the latter is endowed with the $PGL_2$-invariant Borel probability measure and spherical metric. Our first main result is an explicit combinatorial formula for the canonical partition function of log-Coulomb gases in $\mathbb{P}^1(K)$ with arbitrary charge values. Our second main result is called the "$(q+1)$th Power Law", which relates the grand canonical partition functions for one-component gases in $\mathbb{P}^1(K)$ (where all particles have charge 1) to those in the open and closed unit balls of $K$ in a simple way. The final result is a quadratic recurrence for the canonical partition functions for one-component gases in both unit balls of $K$ and in $\mathbb{P}^1(K)$. In addition to efficient computation of the canonical partition functions, the recurrence provides their "$q\to 1$" limits and "$q\mapsto q^{-1}$" functional equations.