arXiv++ Combinatorics

We obtain a new family of relations satisfied by the partition function. In contrast with most partition relations, these involve non-trivial roots of unity. We present two proofs, one using the fact that the discriminant modular form is a multiplicative Hecke eigenform, and one direct proof using q-series.

In this paper, we introduce a natural geometric extension of the partition function. More precisely, we investigate the problem of counting partitions of a rectangle into rectangular blocks with integer sides. Here, two partitions of a rectangle are indistinguishable if they consist of the same multiset of blocks, their geometric arrangement does not matter.

We will describe solvable lattice models whose partition functions depend on two sets of variables, $x_1,\cdots,x_n$ and $y_1, y_2, \cdots $ that have different connections with the representation theory of $\text{GL}(n,F)$ where $F$ is a nonarchimedean local field. If the boundary conditions are chosen in one way, they are essentially the Motivic Chern classes that were used very effectively by Aluffi, Mihalcea, Schürmann and Su (AMSS) to study such problems. In particular, using this specialization we can obtain deformations $r_{u,v}$ of the Kazhdan-Lusztig R-polynomials that were used by Bump, Nakasuji and Naruse to study matrix coefficients of intertwining operators (introduced by Casselman). Thus we are able see that the recursion formula for the $r_{u,v}$ is a reflection of the Yang-Baxter equation. On the other hand, with more general boundary conditions, specializing the parameters $y_i\to 0$ we recover colored lattice models that were previously used by Brubaker, Buciumas, Bump and Gustafsson to represent Iwahori Whittaker functions on $GL(n,F)$. Thus we term the resulting two-variable-set family of functions as ``double Whittaker polynomials.''

The partition function, $p_A(n)$, is defined to be the number of partitions of $n$ with parts in the set A, where $n$ is a positive integer and $A$ is a set of positive integers. It is well documented that: if A is a finite set with $\gcd(A)=1$ and $|A|=k$, then \[p_A(n)\sim \frac{n^{k-1}}{(\prod_{a\in A}a)(k-1)!}. \] Number of proofs have been obtained for this estimate. In this article, we give a new proof for the above estimate by making use of the fact that: $p_A(n)$ is a $quasi\ polynomial$ when A is a finite set. Present method of proof is purely combinatorial.

Recent papers in solvable lattice models emphasize models where states can be visualized as colored paths through the lattice. We define a bosonic model in which there are two types of colors, one whose paths move down and to the right, the other whose paths move down and to the left. Depending on their boundary data, systems may have no states, exactly one state, or many states. We prove that these cases depend on a criterion involving two permutations extracted from the boundary data and their Bruhat order. This classification also helps us to characterize the partition functions of our systems, a question at the heart of the study of solvable lattice models. Using the solvability of the model, we derive a four-term recurrence relation on the partition function. Together with the classification of systems by number of states which serves as a base case for the recursion, the recursion completely characterizes the partition function of systems. We also show a color merging property relating the bicolored bosonic models to colored and uncolored bosonic models, and correspondence with Gelfand-Tsetlin patterns.

Let $\mathbf a:=(a_1,\ldots,a_r)$ be a sequence of positive integers, $d\geq 2$ and $j\geq 1$, some integers. We study the functions $p_{\mathbf a,d}(n):=$ the number of integer solutions $(x_1,\dots,x_r)$ of $\sum_{i=1}^r a_ix_i=n$, with $x_i\geq 0$ and $x_i \equiv 0,1(\bmod\;d)$, for all $1\leq i\leq r$, and $p_{\mathbf a,d}(n;j):=$ the number of $(x_1,\ldots,x_r)$ as above which satisfy also the condition $\sum_{i=1}^r \left(x_i-(d-2)\left\lfloor \frac{x_i}{d} \right\rfloor\right) =j$. We give formulas for $p_{\mathbf a,d}(n)$ and its polynomial part $P_{\mathbf a,d}(n)$, and also for $p_{\mathbf a,d}(n;j)$. As an application, we compute the dimensions of the stable cohomology groups for certain line bundles associated to flag varieties, defined over an algebraically closed field of positive characteristic.

The parity of the partition function $p(n)$ remains strikingly mysterious. Beyond a handful of fragmentary results, essentially nothing is known about the distribution of parity. We prove a uniform result on quadratic progressions. If $1<D\equiv 23\pmod{24}$ is square-free and only divisible by primes $\ell\equiv 1, 7\pmod 8$, then both parities occur infinitely often among $$ p\left(\frac{Dm^2+1}{24}\right), $$ with $(m,6)=1.$ The argument takes place on the modular curve $X_0(6)$ and shows that parity along these thin orbits is \emph{not constant}. The proof connects classical identities for the partition generating function, through the method of (twisted) Borcherds products, to the arithmetic geometry of {\it ordinary} CM fibers on the Deligne-Rapoport model of $X_0(6)$ in characteristic 2. This result is a special case of a general theorem for the coefficients of suitable vector-valued weight 1/2 harmonic Maass forms that satisfy a "Heegner packet'' condition.

In this note, we provide three new, very short proofs of two interesting congruences for Merca's partition function $a(n)$, which enumerates integer partitions where the odd parts have multiplicity at most 2. These modulo 2 congruences were first shown elementarily by Sellers. We then frame $a(n)$ into the much broader context of eta-quotients, and suggest how to comprehensively describe its parity behavior. In particular, extensive computations suggest that $a(n)$ is odd precisely 25\% of the time.

In this short note, we prove several infinite family of congruences for some restricted partitions introduced by Pushpa and Vasuki (2022) (thereby, also proving a conjecture of Dasappa et. al. (2023)). We also prove some isolated congruences which seem to have been missed by earlier authors. Our proof techniques uses both elementary means as well as the theory of modular forms.

We present a Weitz-type FPTAS for the ferromagnetic Ising model across the entire Lee--Yang zero-free region, without relying on the strong spatial mixing (SSM) property. Our algorithm is Weitz-type for two reasons. First, it expresses the partition function as a telescoping product of ratios, with the key being to approximate each ratio. Second, it uses Weitz's self-avoiding walk tree, and truncates it at logarithmic depth to give a good and efficient approximation. The key difference from the standard Weitz algorithm is that we approximate a carefully designed edge-deletion ratio instead of the marginal probability of a vertex being assigned a particular spin, ensuring our algorithm does not require SSM. Furthermore, by establishing local dependence of coefficients (LDC), we prove a novel form of SSM for these edge-deletion ratios, which, in turn, implies the standard SSM for the random cluster model. This is the first SSM result for the random cluster model on general graphs, beyond lattices. Our proof of LDC is based on a new divisibility relation, and we show such relations hold quite universally. This leads to a broadly applicable framework for proving LDC across a variety of models, including the Potts model, the hypergraph independence polynomial, and Holant problems. Combined with existing zero-freeness results for these models, we derive new SSM results for them.

This paper examines the algebraic features of notable polynomial functions and explores their combinatorial aspects by presenting precise decompositions in terms of Dobinski numbers, Bell numbers, and moments generating functions. Additionally, a new equivalence to the Kurepa factorial is developed to help investigate the Kurepa conjecture. In conclusion, we examine several physical phenomena related to Kurepa factorials, occupation number, Fermi-Dirac and Bose-Einstein distributions while exploring their algebraic characteristics.

We give a hyperpfaffian formulation for correlation functions in $β$-ensembles of $M \times M$ random matrices when $β= L^2$ is an even square integer. More specifically, to the $m$th correlation function $R_m : \R^m \rightarrow [0, \infty)$ we associate the $L$-vector valued function $ω_m : \R^m \rightarrow Λ^L \R^{L(M-m)}$ such that $R_m(\mathbf y)$ is given by the Vandermonde determinant in $y_1, \ldots, y_M$ times the hyperpfaffian of $ω_m.$ The partition function of the ensemble was previously shown to be the hyperpfaffian of a {\it Gram} $L$-form $ω$ in $Λ^L \R^{LM},$ and we demonstrate the relationship between $ω_m(\mathbf y)$ and $ω$, both having coefficients built from integrals of Wronskians of monic polynomials. Assuming the existence of families of polynomials sympathetic with the weight of the ensemble, we may construct $ω(\mathbf y)$ so it is very sparse (relative to the expected ${L(M-m) \choose L}$ coefficients of a general $L$-vector). These generalize skew-orthogonal polynomials arising in the well-understood $β= 4$ situation. Finally we explore the situation in the circular $β= L^2$ ensembles. Here the monomials give a prototype, and we give explicit formulas for (the circular versions of) $ω$ and $ω_m.$ We use our hyperpfaffian framework to produce exact formulas for the two point function when $β= 16$ for small values $M.$ Along the way we will record hyperpfaffian evaluations using known values of partition functions of $β$-ensembles.

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.

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.