arXiv++ Combinatorics

In recent work of Dombos, the set of integer partitions of $n$ wherein the parts are either divisible by 4 or congruent to $\pm 1 \pmod{6}$ arose in a natural way. In this work, we will denote the function which counts the number of such partitions of $n$ by $dp(n)$. Using elementary generating function manipulations and classical $q$--series results, we prove several congruences satisfied by $dp(n)$. As an example, we prove that, for all $α\geq 1$ and all $n \geq 0$, \begin{equation*} dp \left( 3^{2α+ 1}n + \frac{7 \cdot 9^α+ 1}{4} \right) \equiv 0 \pmod{3}. \end{equation*}

The asymmetric simple exclusion process (ASEP) is an important particle model with deep connections to orthogonal polynomials. Motivated by this connection, Corteel and Williams introduced the Koornwinder moments $M^{Z}_λ$ at $ t=q $, which generalize the moments of Askey--Wilson polynomials. They showed that the partition function of the two-species ASEP is equal to $M^{Z}_λ$ for a one-row partition $ λ$. In this paper, we investigate a conjecture of Rains on the positivity of the minimal numerator of the Koornwinder moment $M^{Z}_λ$. We derive the first explicit formula for this moment, thereby obtaining a precise formulation of the conjecture by determining the minimal denominator of $M^{Z}_λ$. We also propose a generalization of the conjecture for the more general Koornwinder moments $M^{Z}_{λ,μ}$ indexed by two partitions at special parameter values. We prove the generalized Rains' conjecture in two special cases: $(ξ,q)=(1,0)$ and $(ξ,q)=(1,1)$. For $(ξ,q)=(1,0)$, we construct a lattice path model and obtain a combinatorial formula for $M^{Z}_{λ,μ}$ in terms of non-intersecting lattice paths. For $(ξ,q)=(1,1)$, we establish an explicit product formula for $M^{Z}_{λ,μ}$ and give a combinatorial interpretation using lecture hall tableaux.

Let $a_2''(n)$ and $b_2''(n)$ be the signed partition functions introduced by Andrews and El Bachraoui for interval-restricted partitions whose parts greater than $1$ are controlled by the smallest even part and by the number of ones. We prove two conjectures for these functions. The first gives the generating function for $a_2''(n)$ as an elementary rational term plus a false theta series with periodic signs; the second asserts that the companion coefficients $b_2''(n)$ take only the values $-1,0,1,2$. The central structural result introduces an auxiliary variable $z$ recording the number of non-compulsory parts greater than $1$. We obtain closed forms for the two resulting generating functions and prove the master identity $(1+q^2)\mathcal B(z,q)-(1+q)\mathcal A(z,q)=-q^4/(1-q^3)$ using both analytic and combinatorial techniques. At $z=-1$, this identity, together with a Rogers--Fine evaluation, gives the false theta formula for $a_2''(n)$ and an explicit generating function for $b_2''(n)$. The latter formula implies the asserted coefficient range and leads to an exact coefficient description of $b_2''(n)$. We also include a direct Heine--Rogers--Fine proof of the false theta formula, ordinary and fixed-refinement consequences of the master identity, and the resulting quantum modular interpretation.

We study the space of conformally covariant $n$-point functions of spinning operators using methods from invariant theory, commutative algebra, and combinatorics. We show that the rational part of any such function can be expressed in terms of the basic building blocks introduced by Costa, Penedones, Poland, Rychkov, thereby providing a rigorous proof of a result that is widely used in the physics literature. We reformulate the problem of enumeration of $n$-point structures in terms of counting lattice points in fractional matching polytopes, and compute these counts using vector partition functions, Hilbert functions, and Kostka numbers. We show that all algebraic relations between the building blocks follow from Gram constraints and compute the number of algebraically independent building blocks. For three-point functions, we derive closed counting formulas for arbitrary integer spins, both with and without Bose symmetry, and discuss a necessary and sufficient condition for the partial conservation operator to lift to a differential operator written in terms of the building blocks. We provide code that generates a basis of three-point structures satisfying these constraints for given values of spins and scaling dimensions.

The theory of log concave polynomials has recently been developed to study objects and problems in combinatorics and other subfields in mathematics. Particular classes of log concave polynomials called Lorentzian polynomials and denormalized and dually Lorentzian polynomials have been used to prove log concavity statements for various combinatorial sequences. This includes the strongest form of Mason's log concavity conjecture on the independent sets of matroids and the log concavity of sequences of Kostka numbers. In this paper, we develop an analogous class of power series called denormalized Lorentzian (DL) Laurent series. This class is the natural generalization of DL polynomials to homogeneous power series with the benefit of capturing a number of combinatorial generating series including the Kostant partition function for integer flows of directed graphs. We then analyze specific DL Laurent series to obtain new bounds for integral flows on general directed acyclic graphs and new bounds for the dimensions of weight spaces of parabolic $\mathfrak{sl}_{n+1}(\mathbb{C})$ Verma modules.

We consider a model of 3d quantum gravity defined by $n$ copies of a rational Virasoro TQFT with central charge $1/2$, summed over all 3d topologies. This theory is holographically dual to an ensemble of all 2d CFTs with central charge $c=n/2$ and chiral algebra that includes $Vir_{1/2}^n$. We perform the sum over topologies and evaluate the partition function of the bulk theory. We then confirm the holographic duality by matching it to the boundary ensemble for small $n$. We proceed to consider the limit of a large central charge, in which the bulk theory simplifies and condenses to an Abelian phase. In this regime, the model manifests many features expected in semiclassical 3d quantum gravity. In particular, inclusion of all 3d topologies in the bulk sum cures the negativity of the density of states evaluated by the torus partition function. The model also exhibits a Hawking-Page transition, an exponentially suppressed wormhole amplitude, and provides a toy example of the holographic code. We discuss these aspects in detail and conclude with lessons for semiclassical quantum gravity.

Many papers have studied inequalities for Andrews and Paule's broken $k$-diamond partition function $Δ_{k}(n)$ when $k=1$ or $2$. In this paper, we derive an exact formula for $Δ_{k}(n)$ when $k\geq 1$. Building on this result, we also derive an asymptotic formula for $Δ_{k}(n)$ with an explicit error bound. Using this formula, we prove that for $k\geq 1$ and sufficiently large $n$, $Δ_{k}(n)$ satisfies the Turán and Laguerre inequalities of any order and exhibits asymptotic complete monotonicity. Define $n_k:=\max\left\{\left\lceil8k^{3}+\frac{k+1}{12}\right\rceil,526\right\}$. Furthermore, we show that $Δ_{k}(n)$ is log-concave for $k\ge3$ and $n\ge n_k$. Consequently, it follows that $Δ_{k}(a)Δ_{k}(b)\geΔ_{k}(a+b)$ for $k\ge3$ and $a,b \ge n_k$.

We present new degree-sequence lower bounds on the expected size of an independent set from the hard-core model. For arbitrary graphs, we establish a multivariate lower bound inspired by a conjecture of the first author and Kang and a recent bound on the multivariate partition function due to Lee and the third author. By applying a novel spectral analysis to the local occupancy linear program, our method successfully bypasses the convergence radius limitations of the cluster expansion and avoids induction. For graphs with bounded local maximum average degree, including triangle-free graphs, we prove a univariate bound extending prior work by a subset of the authors. In both cases our bounds require the fugacities to be upper bounded by $c/Δ$ where $Δ$ is the maximum degree of the graph and $c$ is an absolute constant depending on the setting.

Let $\Sym{n}$ denote the set of all permutations on $n$ labels. Let $c:[0, 1]^2\to [0, \infty)$ be a twice continuously differentiable function. A subfamily of the Mallows model is the Gibbs probability measures on $\Sym{n}$ such that $\mathbb{P}(X=σ)=L_n^{-1} \prod_{i=1}^{n}\exp(-c(i/n, σ(i)/n))$. Mukherjee [Ann. Stat., Vol. 44(2), pp 853--875 (2016)] computed the limit of the log partition function and showed that $\lim_{n\to \infty}\frac{1}{n}\log L_n=-Γ_0$ where $Γ_0$ is the optimal cost associated with an entropy regularized optimal transport problem. In the KRP Memorial Volume of the Indian Journal of Pure and Applied Math, Pal conjectured an exact value for the limit $\lim_{n\to \infty} e^{-nΓ_0}L_n$ in terms of the Fredholm determinant of an integral operator and provided a partial proof. We give a complete proof of Pal's conjecture.

This work establishes rigorous mathematical foundations connecting spectral graph theory, algebraic geometry, and string theory. We construct a canonical mapping whereby any finite graph \(G\) defines a compact Riemann surface \(X_{G}\) (the spectral curve) whose period matrix \(Ω_{G}\) encodes the graph's coarse-grained spectral information. We demonstrate that in the continuum limit of graph sequences converging to Riemannian manifolds, these spectral curves converge in the Deligne-Mumford compactification sense to the classical stable curves associated with the manifold. We establish connections to the topological recursion framework of Eynard-Orantin, showing that under appropriate conditions the spectral curve satisfies the loop equations of multi-cut matrix models. The spectral memory field \(Φ_{G}(u)\) is introduced and shown to provide a discrete regularization of minimal string partition functions. We construct quantum scattering operators on spectral curves and prove that their unitarity is equivalent to a positivity condition on the spectral memory field. Furthermore, we apply this framework to resolve spacelike singularities in general relativity, proving that the Belinski-Khalatnikov-Lifshitz (BKL) chaotic regime is isospectral to a critical random graph ensemble. The classical singularity is replaced by an infinite nodal chain of rational curves, and the Bekenstein-Hawking entropy emerges from the automorphism group of the spectral curve. This work provides rigorous mathematical underpinnings for discrete approaches to quantum gravity and establishes new connections between graph theory, algebraic geometry, and theoretical physics.

This is Part II of our project on block-weighted planar maps and Liouville quantum duality. Focusing on the scaling properties at the dual critical point, we derive the conditional distribution of the root block size given the total size, as well as, conversely, the distribution of the total size for a fixed root block size. We show that these laws are in perfect agreement with the results of Liouville quantum gravity (LQG), obtained by modifying the standard Liouville random measure with additional atomic contributions representing localized quantum areas. The ratio of dual and direct partition functions with punctures is shown to be universal, its explicit LQG expression exactly matching its combinatorial analogue. We also investigate the block distance profile for doubly rooted maps, which is here rigorously related to the distance profile of maps consisting of a single block. Finally, we analyze the multifractal properties of the usual and dual Liouville measures, predicting the associated spectra, from both quantum and Euclidean perpectives. We illustrate our results through specific realizations of block-weighted planar maps, i.e., quadrangulations decomposed into simple blocks, tree-like structures formed by attaching quartic maps, and bicubic maps decomposed into 3-connected blocks. For each model, we give the single non-universal constant which uniquely determines the strength of the corresponding atomic Liouville measure.

We study three-dimensional partition functions constructed from the tetrahedral $L$-operator introduced and studied by Bazhanov-Sergeev and Kuniba-Maruyama-Okado. First, we explore the $q=0$ case, extending the authors' previous results and giving applications by a further analysis on the Zamolodchikov-Faddeev algebra. We introduce a class of partition functions which can be expressed as the tensor Schur polynomials, a class of products of Schur polynomials. As an application, we derive the shuffle formula for the Schur polynomials which is geometrically the pushforward formula by Joźefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{é}r--N{é}methi--Rim{á}nyi identities, and introduce a family of Laurent polynomials using divided difference operators which imitates the Schubert polynomials from the perspective of our study. We also present an application to the steady state of the multispecies totally asymmetric simple exclusion process. Second, we investigate several classes of partition functions for the generic $q$ case, and determine the explicit forms as deformations of the elementary symmetric functions. One of them can be regarded as (an extension of) a $q$-deformed loop elementary symmetric functions.

We introduce the Random Subsequence Model, a spin glass model on pairs of random strings $(X,Y) \in \{0,1\}^N \times \{0,1\}^M$ whose partition function counts subsequence embeddings of $Y$ into $X$. We study two variants: the null model, where $X$ and $Y$ are independent and uniform, and the planted model, where $X$ is uniform and $Y$ is a uniformly-random length-$M$ subsequence of $X$. We connect the Random Subsequence Model to longstanding problems in various fields, including the best rate achievable by uniformly-random codes in the deletion channel, the longest common subsequence problem between two random strings, and models of directed polymers in statistical physics. In the regime where $N,M\to\infty$ at a fixed ratio $α= M/N \in (0,1)$, we exhibit strict asymptotic separations between the null annealed free energy and the quenched free energies of the null and planted models at all values of the density parameter $α$. This suggests that these models are in a spin glass phase at zero temperature throughout the entire dense regime. As a consequence, we show that uniformly-random codes achieve a positive rate in the deletion channel for all deletion probabilities $p\in [0,1),$ settling multiple conjectures of the second author, Isik and Weissman (2024) and proving the first such positive rate result for the regime $p \geq 1/2$. We also give an exact analytic formula for the annealed free energy of the planted model for all values of the density parameter. This implies a corresponding analytic upper bound on the best rate achievable by uniformly-random codes in the deletion channel, complementing the lower bound from our first result. Our upper and lower bounds for the capacity of the deletion channel under uniform codes are far closer to each other than the best known upper and lower bounds for the capacity of the deletion channel.

Supersymmetric sectors of $\mathcal{N}=4$ super-Yang-Mills theory motivate the study of the partition function for the counting of gauge-invariant functions of $d=2,3$ matrices transforming under the adjoint action of $U(N)$. The partition function $ \mathcal{Z}_d ( x) $ in the large $N$ limit has a known Hagedorn phase transition at $ x = d^{-1} $ which provides a simple model for the phase structure of the thermal partition function of SYM. We study the all-orders asymptotic expansion of $ \mathcal{Z}_d(x)$ based on a geometric picture of concentric circles of poles in the complex plane accumulating in a natural boundary at $|x| =1$. We find that the order by order structure has a precise combinatorial interpretation organized in terms of increasing cycle size of permutations arising in the enumeration of the invariants. We refer to this organization as small-cycle dominance, and find that it extends to refined versions of the partition functions depending on several complex variables. An analysis of the coefficients in the asymptotic expansion of $ \mathcal{Z}_d(x) $ using the modular property of the Dedekind eta function reveals that the asymptotic expansion is actually convergent for $d\ge d_{ \rm crit } = 13$. A fermionic version of $\mathcal{Z}_d (x)$ has an analogous critical dimension of $ d_{ \rm crit} = 7$. This distinction indicates that the partition functions of the matrix models can be completely reconstructed from their high-energy (UV) limit for $d\ge d_{ \rm crit}$ whereas additional input is required to reconstruct the exact coefficients of the low-energy (IR) expansion for $2\le d \le d_{ \rm crit } -1 $.

Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ arise as partition functions of certain path configurations in the $\mathfrak{sl}_2$ higher spin six vertex models. They are multiparameter generalizations of the classical Hall-Littlewood symmetric polynomials. We establish two new generalizations of the classical Littlewood identity, where we express a weighted sum of $F_λ$'s over all partitions $λ$ as a product of the Littlewood kernel and another simple product in one case, and a product of the Littlewood kernel and a Pfaffian in the other case. As a corollary we obtain a novel Littlewood identity for Hall-Littlewood symmetric polynomials. We also elaborate on the newly established connection between the fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ and the modified Robbins polynomials, the latter being multivariate generating functions for alternating sign matrices. This connection allowed us to discover the two generalizations of the Littlewood identity and we provide a bijection between the underlying combinatorial models in the case where $λ$ is strictly decreasing.

In a recent paper the last author proved that absence of complex zeros of the partition function of the hard-core model near a parameter $λ>0$ implies a form of correlation decay called strong spacial mixing. In this paper we investigate the reverse implication. We introduce a strengthening of strong spatial mixing that we call very strong spatial mixing (VSSM). Our main result is that if VSSM holds at a parameter $λ>0$ for a family of graphs, this implies that the partition function has no zeros near that parameter for each graph in the family. We also demonstrate that a closely related variant of very strong spatial mixing does not imply zero-freeness. As a consequence of our main result, we moreover obtain that VSSM implies spectral independence. Our proof relies on transforming the problem to the analysis of an induced non-autonomous dynamical system given by Möbius transformations.

Recently, Andrews and Dastidar introduced the partition function $SOME(n)$, defined as the sum of all the odd parts in the partitions of $n$ minus the sum of all the even parts in the partitions of $n$. They derived its generating function and established some congruences satisfied by \(SOME(n)\). In this paper, we introduce an overpartition analogue of $SOME(n)$, denoted by $\overline{SOME}(n)$, the sum of all the odd parts in the overpartitions of \(n\) minus the sum of all the even parts in the overpartitions of \(n\). We derive the generating function for $\overline{SOME}(n)$ and obtain congruences modulo \(3, \ 5\) and powers of \(2\). Our method is based on classical $q$-series identities and manipulations of infinite products and sums.

We extend the study of the recently introduced crystal melting models associated to toric Calabi-Yau 4-folds in several directions. In particular, we investigate in greater detail the structure of these models for general toric CY 4-folds and flavor configurations, using the explicit example of $Q^{1,1,1}$ to illustrate our ideas. To this end, we develop an efficient algorithm for constructing crystals based on periodic quivers. A central goal of this work is to understand the behavior of crystals and their partition functions under triality. We analyze the evolution of crystals along periodic triality cascades and generate detailed data for these systems, including Hasse diagrams, partition functions, and the multiplicities of melting configurations. We introduce the notion of stable variables and show that they lead to the stabilization of the partition functions along cascades. Finally, we define the profile of the crystal partition function and observe that, when expressed in terms of stable variables, it displays interesting behavior. A further motivation for this work is to generate empirical data that may guide the search for a physically motivated generalization of cluster algebras associated with $2d$ (0,2) quiver theories and their triality transformations.

The antiferromagnetic Ising model samples subsets of vertices of a graph with weight decaying exponentially in the number of edges induced. We study the problem of sampling from this model on the class of bipartite, regular graphs with good vertex expansion. We show that a natural sampler, namely the Glauber dynamics, mixes exponentially slowly in a wide range of parameters. On the other hand, we give an efficient alternative algorithm for sampling from the Ising model and an FPTAS for its partition function, using polymer models and the cluster expansion method.

We consider a probabilistic cellular automaton (PCA) of evaporation-deposition on the one-dimensional lattice having $n$ sites with periodic boundary conditions, in which each site, during each epoch, can be in one of two states: $0$ and $1$. Fix a positive integer $m\geqslant 2$. There are two types of transitions at each discrete time, which are as follows: (i) the first site in every contiguous block of $m$ $0$s becomes a $1$ with probability $p_1$, and (ii) the first site in every contiguous block of $(m-1)$ $0$s followed immediately by a $1$ also becomes a $1$ with probability $(1-p_2)$. As in a PCA, all of these transitions occur simultaneously. We show that the resulting discrete-time Markov chain is ergodic, and we give an explicit formula for its limiting distribution, the partition function and the density. We also propose necessary and sufficient conditions for this Markov chain to be reversible. For $m=2$, we provide a fully analytical expression for the free energy of this model.