arXiv++ Combinatorics

Walled Brauer algebras $B_N ( m , n ) $ illuminate the combinatorics of mixed tensor representations of $U(N)$, with $m$ copies of the fundamental and $n$ copies of the anti-fundamental representation. They lie at the intersection of research in representation theory, AdS/CFT and quantum information theory. They have been used to study of correlators in multi-matrix models motivated by brane-anti-brane physics in AdS/CFT. They have been applied in computing and optimising fidelities of port-based quantum teleportation. There is a large $N$ regime, specifically $ N \ge (m+n)$ where the algebras are semi-simple and their representation theory more tractable. There are known combinatorial formulae for dimensions of irreducible representations and associated reduction multiplicities. The large $N$ regime has a stability property whereby these formulae are independent of $N$. In this paper we initiate a systematic study of the combinatorics in the non-semisimple regime of $ N = m +n - l $, with positive $l$. We introduce restricted Bratteli diagrams (RBD) which are useful as an instrument to process known data from the large $N$ regime to calculate representation theory data in the non-semisimple regime. We identify within the non-semisimple regime, a region of $(m,n)$-stability, where $ \min ( m, n ) \ge ( 2l -3) $ and the RBD take a stable form depending on $l$ only and not the choice of $ m,n$ within the region. In this regime, several aspects of the combinatorics of the RBD are controlled by a universal partition function for an infinite tower of simple harmonic oscillators closely related, but not identical, to the partition function of 2D non-chiral free scalar field theory.

We study a generalized class of weighted $k$-regular partitions defined by \[ \sum_{n=0}^{\infty} c_{k, r_1, r_2}(n) q^n = \prod_{n=1}^{\infty} \frac{(1 - q^{nk})^{r_1}}{(1 - q^n)^{r_2}}, \] which extends the classical $k$-regular partition function $b_k(n)$. We establish new infinite families of Ramanujan-type congruences, divisibility results, and positive-density prime sets for which $c_{k, r_1, r_2}(n)$ vanishes modulo a given prime.

We study a class of observables in four-dimensional superconformal Yang--Mills theories which, in the planar limit at finite 't Hooft coupling, can be expressed as determinants of semi-infinite matrices built from Bessel functions. This determinant representation points to an underlying integrable structure, which we make explicit by showing that the observables satisfy a nonlinear differential-difference equation. We argue that the solution to this equation admits an expansion in terms of iterated Chen integrals of uniform transcendental weight. Remarkably, the coefficients in this expansion are universal positive integers, independent of the particular observable, suggesting a hidden combinatorial origin. Building on this observation, we show that the resulting expressions possess a natural interpretation in enumerative combinatorics: they coincide with the partition function (or generating function) of an ensemble of lattice paths constrained to a nontrivial domain. This correspondence extends and generalizes the classical Dyck paths to a richer family of path ensembles relevant in gauge theory.

In this paper, we review the construction and large $N$ study of the continuous two-dimensional Yang--Mills theory with gauge group $\mathrm{U}(N)$ through probability, combinatorics and representation theory. In the first part, we define the continuous Yang--Mills measure using Markovian holonomy fields, following a construction by Lévy, then we show in the second part how to derive the character expansion of the partition function for any compact structure group from this setting. We continue with two developments obtained in the last few years by Dahlqvist, Lemoine, Lévy and Maïda with similar approaches with respect to the partition function: its large-$N$ asymptotics on all compact surfaces for the structure group $\mathrm{U}(N)$, and its $\frac{1}{N}$ expansion on a torus with an interpretation in terms of random surfaces.

For an integer $c\geq 1$, let $a_c(n)$ count the number of generalized cubic partitions of $n$, which are partitions of $n$ whose even parts may appear in $c$ different colors, and $d_c(n)$ count the number of partitions obtained by adding the links of the $c$-elongated plane partition diamonds of length $n$. We prove in this note infinite families of congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ by employing elementary $q$-series techniques. These results generalize particular congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ recently found by Dockery, and Baruah, Das, and Talukdar, respectively, using modular forms.

We derive a sufficient condition for zero-freeness of partition functions applicable to lattice gases with possibly complex-valued multi-body interactions. This includes the case of hard-core interactions and, in particular, generalises recent results by Galvin et al.\ (2024) and Bencs-Buys (2025) on zero-free polydiscs of hypergraph independence polynomials. We provide two proofs: the first generalises the inductive approach of Bencs and Buys; the second employs the Kirkwood-Salsburg hierarchy. Notably, the central argument of the second proof uses of a certain partition scheme for coverings and, as a by-product, we obtain a direct improvement of Gallavotti and Miracle-Solé's (1968) bounds for the Kirkwood-Salsburg operator.

For each $n\geq 1$, we express the partition function $p(n)$ as a CM trace on $X_0(6)$ of the discriminant $Δ_n:=1-24n$ invariants of a weight 0 weak Maass function $P$ that records where CM elliptic curves sit on $X(1)$, together with their canonical first-order "CM tangent'', the diagonal local slope of the CM isogeny relation on $X(1)\times X(1)$. In this viewpoint, we obtain a formula for $p(n)\!\!\pmod{\ell},$ when $\ell$ is inert in $\mathbb{Q}(\sqrt{Δ_n}),$ as a Brandt-module pairing $\langle u_{Δ_n},v_P\rangle$ that is assembled from oriented optimal embeddings of Eichler orders. For $\ell \in \{5, 7, 11\}$ and $j\geq 1$, we obtain a new proof of the Ramanujan congruences $$ p(5^j n +β_5(j))\equiv 0\pmod{5^j}, $$ $$ p(7^j n +β_7(j))\equiv 0\pmod{7^{ [ j/2]+1}}, $$ $$ p(11^jn+β_{11}(j))\equiv 0\pmod{11^j}, $$ where $β_m(j)$ is the unique residue $0\le β<m^j$ with $24\,β_m(j)\equiv 1\pmod{m^j}$. The key point is a "bonus valuation" that stems from the fact that the supersingular locus of $X_0(6)_{\mathbb{F}_{\ell}}$ lies over $\{0, 1728\}$ for $\ell \in \{5, 7, 11\}.$ This special property, combined with the uniform growth of the $λ$-adic valuations of the number of oriented optimal embeddings, explains these congruences. More generally, we give a portable genus 0 template showing that the Watson--Atkin $U_\ell$-contraction works uniformly for suitable traces of singular moduli for genus 0 modular curves with $\ell\nmid N.$

The enumeration $d_k(n)$ of $k$-elongated plane partition diamonds has emerged as a generalization of the classical integer partition function $p(n)$. Congruences for $d_k(n)$ modulo certain powers of primes have been proven via elementary means and modular forms by many authors. Recently, Banerjee and Smoot established an infinite family of congruences for $d_5(n)$ modulo powers of 5. In this paper we have discovered an infinite congruence family for $d_3(n)$ and $d_5(n)$ modulo powers of 7.

We propose a symmetrization relation between BPS quivers encoding 4d $\mathcal{N}=2$ theories and symmetric quivers associated to 3d $\mathcal{N}=2$ theories. We analyse in detail the symmetrization of BPS quivers for a series of $A_m$ Argyres-Douglas theories by engineering 3d-4d systems in geometric backgrounds involving appropriate 3-manifolds and Riemann surfaces. We discuss properties of these geometric backgrounds and derive the corresponding quiver partition functions from the perspective of skein modules, which forms the foundation of the symmetrization map for the minimal chamber. We also prove that the structure of wall-crossing in 4d $A_m$ Argyres-Douglas theories is isomorphic to the structure of unlinking of symmetric quivers encoding their partner 3d theories, which allows for a proper definition of the symmetrization map outside the minimal chamber. Finally, we show that the Schur indices of 4d theories are captured by symmetric quivers that include symmetrization of 4d BPS quivers.

We describe some recently discovered connections between one-dimensional interacting particle models and Macdonald polynomials. The first such model is the multispecies asymmetric simple exclusion process (ASEP) on a ring, linked to the symmetric Macdonald polynomial $P_λ(X;q,t)$ through its partition function. Through this connection, a new formula was found for $P_λ$ by generalizing multiline queues, which were introduced by Martin in 2018 to compute stationary probabilities of the ASEP. The second particle model is the multispecies totally asymmetric zero range process (TAZRP) on a ring, which was very recently found to have an analogous connection to the modified Macdonald polynomial $\widetilde{H}_λ(X;q,t)$ through its partition function. This discovery coincided with a new formula for $\widetilde{H}_λ$, this time in terms of tableaux with a queue inversion statistic, which also compute stationary probabilities of the TAZRP. We explain the plethystic relationship between multiline queues and queue inversion tableaux, and along the way, derive a new formula for $P_λ$ using the queue inversion statistic. This plethystic correspondence is closely related to fusion in the setting of integrable systems.

In this paper, we obtain upper and lower bounds for the partition function $p(n)$ by using an elementary geometric inequality in Euclidean space and generalize the method to generalizations of the partition function.

The q-state Potts model is a fundamental framework in statistical physics and graph theory, with its partition function encoding rich information about spin configurations. The multivariate Tutte polynomial (known as the partition function of the Potts model) can be defined on an arbitrary finite graph $G$ and encodes a lot of important combinatorial information about the graph. As a special case, it contains the familiar Tutte polynomial with two variables and, consequently, its specialization with one variable, such as the chromatic polynomial, the flow polynomial and the reliability polynomial. The main goal of this paper is to present an efficient algorithm for computing the Potts model partition function on SP-graphs (series-parallel graphs) with arbitrary weights. The algorithm for SP-graphs is based on simplifying the graph by replacing several edges with a single edge of equivalent weight, which significantly reduces computational complexity. In this paper, we present a linear-time algorithm for exactly computing the Potts model partition function on series-parallel graphs (SP-graphs).

The rook numbers are fairly well-studied in the literature. In this paper, we study the max-rook number of the Ferrers boards associated to integer partitions. We show its connections with the Durfee triangle of the partitions. The max-rook number gives a new decomposition of the partition function. We derive the generating functions of the partitions with the Durfee triangle of sizes $3$, $4$ and $5$. We obtain their exact formula and further use it to show the periodicity modulo $p$ for any $p \in \mathbb{N}$ and $p\geq2$. We also establish their parity and parity bias. We give the growth asymptotics of partitions with the Durfee triangle of sizes $3$ and $4$. We obtain a new rook analogue of the recurrence relation of the partition function.

Motivated by the convolutive behavior of the counting function for partitions with designated summands in which all parts are odd, we consider coefficient sequences $(a_n)_{n\ge 0}$ of primitive eta-products that satisfy the generic convolutive property \begin{align*} \sum_{n\ge 0} a_{mn} q^n = \left(\sum_{n\ge 0} a_n q^n\right)^m \end{align*} for a specific positive integer $m$. Given the results of an exhaustive search of the Online Encyclopedia of Integer Sequences for such sequences for $m$ up to $6$, we first focus on the case where $m=2$ with our attention mainly paid to the combinatorics of two $2$-convolutive sequences, featuring bijective proofs for both. For other $2$-convolutive sequences discovered in the OEIS, we apply generating function manipulations to show their convolutivity. We also give two examples of $3$-convolutive sequences. Finally, we discuss other convolutive series that are not eta-products.

In recent work, Amdeberhan and Merca considered the integer partition function $a(n)$ which counts the number of integer partitions of weight $n$ wherein even parts come in only one color (i.e., they are monochromatic), while the odd parts may appear in one of three colors. One of the results that they proved was that, for all $n\geq 0$, $a(7n+2) \equiv 0 \pmod{7}$. In this work, we generalize this function $a(n)$ by naturally placing it within an infinite family of related partition functions. Using elementary generating function manipulations and classical $q$--series identities, we then prove infinitely many congruences modulo 7 which are satisfied by members of this family of functions.

In this paper we take inspiration from Weit'z algorithm for approximating the independence polynomial to provide a new algorithm for computing the coefficients of the Taylor series of the logarithm of the independence polynomial. Hereby we provide a clear connections between Barvinok's interpolation method and Weitz's algorithm. Our algorithm easily extends to other graph polynomials and partition functions and we illustrate this by applying it to the chromatic polynomial and to the graph homomorphism partition function. Our approach arguably yields a simpler and more transparent algorithm than the algorithm of Patel and the second author. As an application of our algorithmic approach we moreover derive, using the interpolation method, a deterministic $O(n(m/\varepsilon)^{7})$-time algorithm that on input of an $n$-vertex and $m$-edge graph of minimum degree at least $3$ and $\varepsilon>0$ approximately computes the number of sink-free orientations of $G$ up to a multiplicative $\exp(\varepsilon)$ factor.

We revisit several partition-theoretic generating functions, including the theta quotients from Ramanujan's lost notebook, MacMahon's partition functions, and reciprocal sums of parts in partitions, through the lens of the classical Faà di Bruno formula. This approach offers a unified and natural reinterpretation of known results and provides a systematic framework for deriving new identities of a similar type.

We derive the canonical ensemble partition functions for gauged permutation invariant tensor quantum harmonic oscillator thermodynamics, finding surprisingly simple expressions with number-theoretic characteristics. These systems have a gauged symmetry of $S_N$, the symmetric group of all permutations of a set of $N$ objects. The symmetric group acts on tensor variables $ Φ_{ i_1, \cdots , i_s } $, where the $s$ indices each range over $ \{ 1, 2, \cdots , N \} $ and have the standard $S_N$ action of permutations. The result is a sum over partitions of $N$ and the summand is a product admitting simple expressions, which depend on the least common multiples (LCMs) of subsets of the parts of the partition. The inclusion-exclusion principle of combinatorics plays a central role in the derivation of these expressions. The behaviour of these partition functions under inversion of the Boltzmann factor $ x = e^{ - β} $ is governed by universal sequences associated with invariants of symmetric groups and alternating groups. The partition functions allow the development of a high temperature expansion analogous to the $s=2$ matrix case. The calculation of an $s$-dependent breakdown point leads to a critical Boltzmann factor $ x_c = { \log N \over sN^{ s-1}}$ as the leading large $N$ approximation.

For the partition function $p(n)$, Ramanujan proved the striking identities $$ P_5(q):=\sum_{n\geq 0} p(5n+4)q^n =5\prod_{n\geq 1} \frac{\left(q^5;q^5\right)_{\infty}^5}{(q;q)_{\infty}^6}, $$ $$ P_7(q):=\sum_{n\geq 0} p(7n+5)q^n =7\prod_{n\geq 1}\frac{\left(q^7;q^7\right)_{\infty}^3}{(q;q)_{\infty}^4}+49q \prod_{n\geq 1}\frac{\left(q^7;q^7\right)_{\infty}^7}{(q;q)_{\infty}^8}, $$ where $(q;q)_{\infty}:=\prod_{n\geq 1}(1-q^n).$ As these identities imply his celebrated congruences modulo 5 and 7, it is natural to seek, for primes $\ell \geq 5,$ closed form expressions of the power series $$ P_{\ell}(q):=\sum_{n\geq 0} p(\ell n-δ_{\ell})q^n\pmod{\ell}, $$ where $δ_{\ell}:=\frac{\ell^2-1}{24}.$ In this paper, we prove that $$ P_{\ell}(q)\equiv c_{\ell} \frac{T_{\ell}(q)}{ (q^\ell; q^\ell )_\infty} \pmod{\ell}, $$ where $c_{\ell}\in \mathbb{Z}$ is explicit and $T_{\ell}(q)$ is the generating function for the Hecke traces of $\ell$-ramified values of special Dirichlet series for weight $\ell-1$ cusp forms on $SL_2(\mathbb{Z})$. This is a new proof of Ramanujan's congruences modulo 5, 7, and 11, as there are no nontrivial cusp forms of weight 4, 6, and 10.

We extend the study of the occupancy fraction of the hard-core model in two novel directions. One direction gives a tight lower bound in terms of individual vertex degrees, extending work of Sah, Sawhney, Stoner and Zhao which bounds the partition function. The other bounds the variance of the size of an independent set drawn from the model, which is strictly stronger than bounding the occupancy fraction. In the setting of triangle-free graphs, we make progress on a recent conjecture of Buys, van den Heuvel and Kang on extensions of Shearer's classic bounds on the independence number to the occupancy fraction of the hard-core model. Sufficiently strong lower bounds on both the expectation and the variance in triangle-free graphs have the potential to improve the known bounds on the off-diagonal Ramsey number $R(3,t)$, and to shed light on the algorithmic barrier one observes for independent sets in sparse random graphs.