arXiv++ Combinatorics

We study the numerical topology of the clique complex $K_n=\mathrm{Cl}(G_n)$, where $G_n$ is the partition graph on the set of integer partitions of $n$. Building on the previously established homotopy equivalence $K_n \simeq \vee^{\,b_n} S^2$, we shift the focus from qualitative topology to its numerical content. Our main objects are the Euler characteristic $χ(K_n)$, the derived sequence $b_n=χ(K_n)-1$, the clique counts $c_r(n)$, and several related maximal-simplex counts. We develop two exact counting languages for the same invariant. The first is the direct clique-counting formula $χ(K_n)=\sum_{r\ge 1}(-1)^{r-1}c_r(n)$, which expresses Euler characteristic through clique counts in the partition graph. The second is a nerve-side formula arising from the canonical good cover by distinct full star- and full top-simplices, which yields $χ(K_n)=χ(N_n)$, where $N_n$ is the corresponding nerve. We further use the classification of maximal simplices into star-, top-, and edge-type pieces to formulate a local-to-global counting framework based on local admissibility data and global deduplication. The paper is primarily organizational and computational. It fixes a consistent counting dictionary, separates intrinsic global counts from auxiliary based counts, records exact data for the full main sequence package on $1\le n\le 25$, and extends the low-dimensional clique-count layer through $n=60$. We do not claim closed formulas for $χ(K_n)$ or for the full family of clique counts. Rather, the paper provides a framework in which such questions can be studied systematically.

We study the degree landscape of the partition graph $G_n$, whose vertices are the integer partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts, followed by reordering. Using the previously established local degree formula, we introduce the degree layers $D_d(n)$, the degree spectrum $Spec_D(n)$, and the numerical invariants $Δ_n$, $m_Δ(n)$, and $s(n)$. The main theorem provides an exact formula for the maximal degree. If $$ ρ(n):=\max\{r:T_r\le n\},\qquad T_r=\frac{r(r+1)}{2}, $$ and $$ ν:=n-T_{ρ(n)}, $$ then $$ Δ_n=ρ(n)\bigl(ρ(n)-1\bigr)+β_{ρ(n)}(ν), $$ where $β_r$ is an explicit budget function governed by a square--pronic threshold rule. We also prove that every maximal-degree vertex lies on the maximal-support stratum, and we obtain exact extremal classifications at the levels $n=T_t$, $n=T_t+1$, and $n=T_t+2$. The paper also includes a finite computation on the range $1\le n\le 60$, recording extremal multiplicities, representative extremal shapes, spectrum sizes, selected degree histograms, and first data on contact between the extremal layer and the self-conjugate axis. This computational part is deliberately limited in scope. It is descriptive rather than exhaustive, and is included only as a first numerical profile of the degree landscape.

We study the partition graph $G_n$, whose vertices are the integer partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts. We introduce the simplex stratification of $G_n$: for each vertex $λ$, let $\dim_{\mathrm{loc}}(λ)$ denote the largest dimension of a simplex of the clique complex $K_n = \mathrm{Cl}(G_n)$ containing $λ$. This defines a decomposition of $V(G_n)$ into layers $L_r(n)=\{λ\in V(G_n): \dim_{\mathrm{loc}}(λ)=r\}$. We formalize the graph-theoretic interfaces between consecutive layers, called phase boundaries, and study the associated interface graphs and boundary thresholds. Using the previously established star/top description of cliques through a fixed vertex, we show that $\dim_{\mathrm{loc}}(λ)$ is determined exactly by the maximal star and top capacities through $λ$. This yields explicit local criteria for membership in higher simplex layers and reformulates their first appearance in terms of local star/top capacity thresholds. We also present an exhaustive computational study for $n\le 30$, including exact-layer thresholds, boundary thresholds, selected layer profiles, and the behaviour of the boundary framework. The computations suggest a rigid threshold pattern related to staircase partitions and their one-cell extensions, while the corresponding global statements are left as conjectures and open problems.

For each positive integer $n$, let $G_n$ be the graph of integer partitions of $n$, where two partitions are adjacent if one is obtained from the other by an elementary transfer of a cell in the Ferrers diagram, followed by reordering. Previous work has studied the global homotopy type of the clique complex $Cl(G_n)$ and the local combinatorics of $G_n$ at a fixed vertex. This paper initiates the study of $G_n$ itself as a growing discrete geometric object. It introduces a structural language for the large-scale morphology of partition graphs, centered on the antenna vertices, main chain, boundary framework, self-conjugate axis, simplex layers, degree landscape, central region, and spine. Using local invariants from the companion local theory, it also defines canonical vertex layerings of $G_n$. A small computational atlas for $1 \le n \le 12$ is included to illustrate how these structures emerge and interact. The paper is intended as a foundational and exploratory contribution, providing a vocabulary, a first structural picture, and a set of open directions for future quantitative and asymptotic work.

Slater's list of Rogers-Ramanujan type identities consists of 130 series-product identities whose analytic proofs rely primarily on Bailey pair techniques. Although these identities play an important role in the theory of $q$-series and partitions, combinatorial interpretations for many of them remain unknown, largely because the series sides are difficult to interpret naturally in terms of partitions. In this paper we apply Andrews' theory of separable integer partition (SIP) classes to several identities from Slater's list. By constructing suitable SIP classes, we obtain natural partition-theoretic interpretations and parameterized generalizations of their series sides. We then apply various $q$-hypergeometric transformations to these generalized series to derive alternative expressions, which in certain cases reduce to infinite products. These results illustrate how the SIP framework provides a systematic approach to understanding Rogers-Ramanujan type identities and offer new combinatorial insights into identities appearing in Slater's list.

The four-parameter weight of partitions played an important role in the theory of integer partitions, for its connection with various statistics, including the alternating sum and the BG-rank. In 2022, Andrews introduced the SIP classes, by which he reviewed a number of classic partition identities and provided new combinatorial insights. In this work, we extend the SIP classes and provide a unified method to study the four-parameter weight of partitions. By treating partitions with position parity as examples, we provide four-parameter partition identities related to these partition sets. And as corollary, we also present the generating functions that keep track of the BG-rank and the joint distribution of the number of odd parts and the alternating sum, respectively.

The Robinson-Schensted-Knuth (RSK) algorithm maps an integer matrix to a pair of semi-standard Young tableaux (SSYTs) whose underlying shape has the same integer partition. We study the set of matrices associated with a given partition $λ$ vis-a-vis the number of inversions of the matrix. In the case where the integer matrix is a permutation matrix, the resulting tableaux are standard Young tableaux or SYTs. Han (EJC, 2005) combinatorially studied the set of permutations that map to SYTs of shape $λ$ under the RSK algorithm and counted the permutations with the minimum number of inversions in that set, as well as formulated the minimal number of inversions. Han's work can be extended to a case where the matrix is a general integer matrix and the tableaux are semi-standard Young tableaux. We have conjectured a formula for the minimal number of inversions in the set of matrices with a fixed shape $λ$. We further provide a conjecture for the characterisation of the minimal generalised matrices.

Spanning trees of complete bipartite graphs exhibit a rich interaction between degree sequences and graph structure. In this paper, we obtain lower bounds on the number of isomorphism classes of spanning trees in $K_{a,b}, 2 \leq a \leq b$ in terms of $P_a(a+b-1)$ and $P_b(a+b-1)$ where $P_k(m)$ is the number of integer partitions of $m$ of length $k$.

We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, addressing the limitations of traditional recursive and asymptotic methods. By introducing the Simplicial Successive Decomposition (SSD) framework, we demonstrate that the partition polytope $\mathcal{P}_{n,k}$ is not an arbitrary geometric object, but admits a rigid minimal unimodular triangulation into exactly $N_k = \binom{k}{2}$ simplices. This cardinality is determined by the positive root system of the $A_{k-1}$ Weyl chamber.We decompose Euler's generating function into a finite sum of simplicial rational transforms. By applying Brion's localization theorem and the negative binomial expansion, we derive an exact closed-form formula with $O(1)$ computational complexity. The validity of the model is confirmed through Ehrhart-Macdonald reciprocity, ensuring accuracy in the "Core Collapse" regime where the polytope's interior is empty and continuous volume approximations are inapplicable.

For a permutation $z$ in the symmetric group $\mathrm{S}_{n}$, denote by $L_{z}$ the corresponding simple highest weight module in the principal block of the BGG category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_{n}(\mathbb{C})$. In this paper, we provide a combinatorial answer to Kostant's problem for the modules $L_{z}$ when $z$ has shape (associated Young diagram/integer partition via Robinson-Schensted correspondence) equal to $(n-2,1,1)$ or $(n-3,2,1)$. Moreover, we verify that certain closely related conjectures hold for such permutations, including the Indecomposability Conjecture, which states that applying any indecomposable projective functor to the corresponding simple highest weight module outputs either an indecomposable module or zero.

The Lloyd Theorem of (Solé, 1989) is combined with the Schwartz-Zippel Lemma of theoretical computer science to derive non-existence results for perfect codes in the Lee metric, NRT metric, mixed Hamming metric, and for the sum-rank distance. The proofs are based on asymptotic enumeration of integer partitions. The framework is the new concept of {\em polynomial} weakly metric association schemes. A connection between this notion and the recent theory of multivariate P-polynomial schemes of ( Bannai et al. 2025) and of $m$-distance regular graphs ( Bernard et al 2025) is pointed out.

We prove a family of partition identities involving integer partitions in three colors. The conditions imposed on the types of partitions appearing in these identities involve constraints that arise in the Rogers-Ramanujan and Andrews-Gordon identities, as well as in their recent extensions. The identities established in this paper are associated with the $A_r$ surface singularities via the arc HP-series, which provides a measure of singularities of algebraic varieties defined using arc spaces.

We develop the basic theory of eigenvalues of $p$-adic random matrices, analogous to the classical theory for random matrices over $\mathbb{R}$ and $\mathbb{C}$. Such eigenvalue statistics were proposed as a model for the zeroes of $p$-adic $L$-functions by Ellenberg-Jain-Venkatesh, who computed the limiting distribution of the number of eigenvalues in a unit disc. We compute the full joint distribution of the $n$ eigenvalues of an $n \times n$ matrix with Haar distribution, obtaining Coulomb gas type formulas as in the archimedean case, with Vandermonde terms leading to eigenvalue repulsion. From these Coulomb gas density functions we derive asymptotics of eigenvalue statistics as $n \to \infty$. These include exact computations, such as a closed form $$ρ(x,y) = 1 - θ_3(-\sqrt{p};||x-y||^2/p)$$ for the limiting pair correlation of eigenvalues in $\mathbb{Z}_p$, and similar results in quadratic extensions. Such formulas yield concrete numerical predictions on zeroes of $p$-adic $L$-functions. For eigenvalues in arbitrary extensions of $\mathbb{Q}_p$ we also give precise estimates on their pair-repulsion and expected number of eigenvalues in each extension. Finally, we compute the asymptotic probability that all eigenvalues lie in $\mathbb{Z}_p$. Our proofs combine results from several distinct areas: $p$-adic orbital integrals, roots of random $p$-adic polynomials, the Sawin-Wood moment method for random modules, and Markov chains associated with measures on integer partitions.

Carlitz considered integer compositions in which adjacent parts must be unequal. Arndt recently initiated the study of restricted compositions based on conditions applied to certain pairs of parts rather than to individual parts. Here, we combine and generalize these notions, establishing enumeration results using both combinatorial proofs and generating functions. Motivations for our generalizations include the gap-free compositions studied by Hitczenko and Knopfmacher and the Rogers-Ramanujan integer partitions.

We study the representation theory of the infinite type A Hecke algebra over a non-Archimedean field in the case where the parameter is a pseudo-uniformizer. Specifically, we consider a family of representations, called almost-symmetric, which satisfy additional topological and algebraic constraints. We give a full classification of the irreducible almost-symmetric representations. These turn out to be indexed by integer partitions arising as topological completions of specific direct limits of Hecke-Specht modules. We give detailed analysis of these representations and construct functionals analogous to finite Hecke algebra traces.

In 2019, Andrews investigated integer partitions in which all parts of a given parity are smaller than those of the opposite parity and introduced eight partition functions based on the parity of the smaller parts and parts of a given parity appearing at most once or an unlimited number of times. Recently, Bringmann, Craig and Nazaroglu studied the asymptotic behavior of the eight partition functions proved several inequalities for sufficiently large $n$. At the end of their paper, they asked for combinatorial proofs of those inequalities. In this paper, we prove that an inequality on partitions separated by parity holds for $n\geq 373$ by a combinatorial method. This answers a question posed by Bringmann, Craig and Nazaroglu.

In recent work by Botkin, Dawsey, Hemmer, Just and the present author, a deterministic model of prime number distribution is developed based on properties of integer partitions that gives almost exact estimates for $π(n)$, the number of primes less than or equal to positive integer $n$, up to $n=10{,}000$. In this follow-up paper, the author summarizes the ideas behind this partition-theoretic model of primes and formulates a computational model that is practically exact in its estimates of $π(n)$ up to $n=100,000$.

Amdeberhan and Merca recently studied arithmetic properties of the sequence $a(n)$, the reciprocal of the crank parity function, which counts the number of integer partitions of weight $n$ whose even parts are monochromatic and whose odd parts may appear in one of three colors (OEIS A298311). A key result of their work was the congruence $a(7n + 2) \equiv 0 \pmod{7}$ for all $n \geq 0$. We prove new congruences for the reciprocal crank parity function modulo powers of $7$.

The crank-mex theorem states that the number of integer partitions of $n$ with nonnegative crank equals the number with odd minimal excludant (mex). Andrews and M. Newman recently refined that result in terms of the number of parts greater than one. Here, we establish and expand a complementary result connecting the partitions with even mex, having fixed points, with negative crank, and with positive crank, all refined in terms of number of parts greater than one. We provide both analytic and combinatorial proofs.

The perfect matching association scheme is a set of relations on the perfect matchings of the complete graph on $2n$ vertices. The relations between perfect matchings are defined by the cycle structure of the union of any two perfect matchings, and each relation can be represented as a matrix. Each matrix is labeled by an integer partition whose parts correspond to the size do the cycles in the union. Since these matrices form an association scheme, they are simultaneously diagonalizable. Further, it is well-known that the common eigenspaces correspond to the irreducible representations of $S_{2n}$ indexed by the even partitions of $2n$. In this paper, we conjecture that the second largest eigenvalue of the matrices in the perfect matching association scheme labeled by a partition containing at least two parts of size 1 always occurs on the eigenspace corresponding to the representation indexed by $[2n-2, 2]$. We confirm this conjecture for matrices labeled by the partitions $[2, 1^{n-2}], [3, 1^{n-3}], [2, 2, 1^{n-4}], [4, 1^{n-4}], [3, 2, 1^{n-5}]$, and $[5, 1^{n-5}]$, as well as any partition in which the first part is sufficiently large.