arXiv++ Combinatorics

The aim of this paper is to introduce pairing theory for partitions. We begin with two statistics on integer partitions, the \emph{pairing index} and the \emph{pairing rank}. The pairing index is equidistributed with the number of parts, while a joint refinement identifies its two constituents with the numbers of even and odd parts. We further introduce the \emph{pairing width} and prove that pairing index and pairing width are jointly equidistributed with the number of parts and the largest part. The resulting finite Gaussian generating function has a cyclotomic factorization from which Kummer's famous carry theorem for binomial coefficients follows. We also prove a mod-$5$ congruence for the excess of unpaired parts congruent to $1$ modulo $4$ over those congruent to $3$ modulo $4$ in the partitions of $5n+4$. A signed specialization exhibits that the parity of the pairing rank is governed by self-conjugate partitions. Motivated by this, we go on to introduce a second, diagrammatic pairing: after the two wings of the Durfee square are folded together, the unpaired cells break into connected \emph{diagonal blocks}. These blocks may be reflected independently, giving a Boolean decomposition of the set of partitions with a unique representative having all successive ranks nonnegative. We then relate our theory to overpartitions and Frobenius representations, obtaining as a corollary a geometric realization of overpartitions in terms of partitions whose principal hooks are all even. Finally, we study simply paired partitions of negative pairing rank, obtaining identities involving odd divisors and overpartitions, a parity theorem for pairing rank $-2$, and a Toeplitz determinant whose coefficientwise limit is an explicit infinite product related to MacMahon's product for plane partitions.

We develop a directional formalism for the partition graph G_n based on several canonical reference sets: the main chain, the self-conjugate axis, the spine, and the boundary framework. For each such set S, the graph distance d_S induces a shell structure and a local trichotomy of edges into inward, outward, and level classes. Passing from edges to paths, we define directional corridors as monotone inward geodesics toward a chosen reference set and prove that every vertex admits at least one. We then prove a structural non-equivalence theorem: for connected G_n, two nonempty reference sets induce the same edgewise directional field if and only if the difference of their distance functions is constant; in particular, distinct reference sets induce distinct directional fields. This gives a first precise formalization of anisotropy in G_n. We also show that every bounded neighborhood of a reference set is accessible by a monotone inward corridor, which gives a directional interpretation to previously established controlled regions around the axis, the spine, and the framework. Finally, we complement the strict theory with a computational atlas illustrating edgewise directional statistics, directional mixing, local invariant drift, and corridor-based transport profiles.

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 partitions of $n$ and whose edges correspond to elementary unit transfers between parts. We define the self-conjugate axis, its distance neighborhoods, and the thin spine, a first off-axis layer built from common neighbors of distinct axial vertices. We prove that distinct self-conjugate vertices are never adjacent, that the thin spine is a conjugation-invariant induced subgraph, and that axial and spinal concentration radii differ by at most one. Computations for $1 \le n \le 30$ show that the main local invariants are maximized near the axis and the spine.

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.

Recently, the theory of hook length biases has emerged as a prominent research topic. Led by Ballantine, Burson, Craig, Folsom, and Wen [\textit{Res. Math. Sci.}, 2023], hook length biases are being explored for ordinary partitions, odd versus distinct partitions, self-conjugate versus distinct odd partitions. Lately, Singh and Barman [\textit{J. Number Theory}, 2024] opened the door to hook length biases in $\ell$-regular partitions. In this work, we extend the theory of hook length biases to $t$-core partitions. For example, let $a_{t,k}(n)$ denote the number of hooks of length $k$ in all $t$-core partitions of $n$, then we find that $a_{3,1}(n)\ge a_{3,2}(n) \ge a_{3,4}(n)$ and $a_{4,1}(n)\ge a_{4,3}(n)$ for all $n$. The methods employed in this work are mainly combinatorial.

We investigate the combinatorial structure of unrefinable partitions through their correspondence with numerical sets and Young diagrams. Building on the bijection introduced by Keith and Nath, we apply a general geometric criterion that links the unrefinability of a partition directly to the hook lengths of its associated Young diagram. This criterion provides a structural method for the characterization of any unrefinable partition. Using this general framework, we revisit the correspondence results between maximal unrefinable partitions and partitions into distinct parts, previously established using enumerative methods. We provide alternative and purely combinatorial proofs of these bijections, focusing on the rigid symmetry structures of the Young diagrams. In the triangular weight case, we show that the corresponding diagrams are quasi-symmetric, i.e. symmetric up to a single extra column. We extend this analysis to the nontriangular case, showing that the diagrams either exhibit this same quasi-symmetric structure or are perfectly self-conjugate, depending on the maximal part.

Saxl's conjecture (2012) asserts that for the staircase partition $ρ_k = (k, k-1, \ldots, 1)$, the tensor square of the corresponding irreducible representation of the symmetric group $S_{T_k}$ contains every irreducible representation as a constituent, where $T_k = k(k+1)/2$ is the $k$th triangular number. We prove this conjecture unconditionally. Our proof introduces the Staircase Minimality Theorem: among all 2-regular partitions of $T_k$, the staircase $ρ_k$ is the unique dominance-minimal element. Combined with Ikenmeyer's theorem on dominance and Kronecker positivity for staircases, this establishes that every 2-regular partition appears in the tensor square. Modular saturation then follows using only the diagonal entries $d_{μμ} = 1$ of the decomposition matrix, and the Bessenrodt--Bowman--Sutton lifting theorem completes the proof. We further prove that at triangular numbers, staircases are the only Kronecker-universal self-conjugate partitions, providing a complete characterization.

Recently, Griffin, Ono, and Tsai examined the distribution of the number of $t$-hooks in partitions of $n$, which was later followed by the work of Craig, Ono, and Singh on the distribution of the number of $t$-hooks in self-conjugate partitions of $n$. Motivated by these studies, in this paper, we further investigate the number of $t$-hooks in some subsets of partitions. More specifically, we obtain the generating functions for the number of $t$-hooks in doubled distinct partitions and the number of $t$-shifted hooks in strict partitions. Based on these generating functions, we prove that the number of $t$-hooks in doubled distinct partitions and the number of $t$-shifted hooks in strict partitions are both asymptotically normally distributed.

The Littlewood decomposition for partitions is a well-known bijection between partitions and pairs of $t$-core and $t$-quotient partitions. This decomposition can be described in several ways, such as the $t$-abacus method of James or the biinfinite word method of Garvan, Kim, and Stanton. In a recent study, Frobenius partitions have proven to be a highly useful tool in dealing with partition statistics related to $t$-core partitions. Motivated by this study, in this paper, we present an alternative description of the Littlewood decomposition using Frobenius partitions. We also apply our approach to self-conjugate partitions and doubled distinct partitions, and give new characterizations of their $t$-cores and $t$-quotients.

Simultaneous core partitions have been widely studied in the past 20 years. In 2013, Amdeberhan gave several conjectures on the number, the average size, and the largest size of $(t,t+1)$-core partitions with distinct parts, which was proved and generalized by Straub, Xiong, Nath-Sellers, Zaleski-Zeilberger, Paramonov, and many other mathematicians. In this paper, we introduce a proper self-conjugate partition analog of $(t,t+1)$-core partitions with distinct parts, and derive the number, the average size, and the largest size for such core partitions.

Recently, Amdeberhan et al. proved congruences for the number of hooks of fixed even length among the set of self-conjugate partitions of an integer $n$, therefore answering positively a conjecture raised by Ballantine et al.. In this paper, we show how these congruences can be immediately derived and generalized from an addition theorem for self-conjugate partitions proved by the second author. We also recall how the addition theorem proved before by Han and Ji can be used to derive similar congruences for the whole set of partitions, which are originally due to Bessenrodt, and Bacher and Manivel. Finally, we extend such congruences to the set of $z$-asymmetric partitions defined by Ayyer and Kumari, by proving an addition-multiplication theorem for these partitions. Among other things, this contains as special cases the congruences for the number of hook lengths for the self-conjugate and the so-called doubled distinct partitions.

The Verschiebung operators $\varphi_t $ are a family of endomorphisms on the ring of symmetric functions, one for each integer $t\geq2$. Their action on the Schur basis has its origins in work of Littlewood and Richardson, and is intimately related with the decomposition of a partition into its $t$-core and $t$-quotient. Namely, they showed that the action on $s_λ$ is zero if the $t$-core of the indexing partition is nonempty, and otherwise it factors as a product of Schur functions indexed by the $t$-quotient. Much more recently, Lecouvey and, independently, Ayyer and Kumari have provided similar formulae for the characters of the symplectic and orthogonal groups, where again the combinatorics of cores and quotients plays a fundamental role. We embed all of these character factorisations in an infinite family involving an integer $z$ and parameter $q$ using a very general symmetric function defined by Hamel and King. The proof hinges on a new characterisation of the $t$-cores and $t$-quotients of $z$-asymmetric partitions which generalise the well-known classifications for self-conjugate and doubled distinct partitions. We also explain the connection between these results, plethysms of symmetric functions and characters of the symmetric group.

Core partitions have attracted much attention since Anderson's work (2002) on the number of $(s,t)$-core partitions for coprime $s,t$. Recently, there has been a growing interest in studying the limiting distributions of the sizes of random simultaneous core partitions. In this paper, we prove the asymptotic normality of certain statistics of uniform random core partitions with bounded perimeters in the Kolmogorov and Wasserstein $W_1$ distances, including the length and size of a random (strict) $n$-core partition, the length of the Durfee square and the size of a random self-conjugate $n$-core partition. Accordingly, we prove that these statistics are subgaussian. This contrasts with the asymptotic behavior of the size of a random $(s, t)$-core partition for coprime $s,t$ studied by Even-Zohar (2022), which converges in law to Watson's $U^2$ distribution. Our results show that the distribution of the size of a random strict $(n, dn+1)$-core partition is asymptotically normal when $d \ge 3$ is fixed and $n$ tends to infinity, which is an analog of Zaleski's conjecture (2017) and covers Komlós, Sergel, and Tusnády's result (2020) as a special case. Our proof integrates a variety of combinatorial and probabilistic tools, including Stein's method based on Hoeffding decomposition, Hoeffding's combinatorial central limit theorem, the Efron-Stein inequalities on product spaces and slices, and asymptotics of Pólya frequency sequences. Furthermore, our approach is potentially applicable to the study of the asymptotic normality of functionals of random variables with certain global dependence structures that can be decomposed into appropriate mixture forms.

In this paper, we study the uniform measure for the self-conjugate partitions. We derive the $q$-difference equation which is satisfied by the $n$-point correlation function related to the uniform measure. As applications, we give explicit formulas for the one-point and two-point functions, and study their quasimodularity. Motivated by this, we also prove the quasimodularity of the general $n$-point function using a combinatorial method. Finally, we derive the limit shape of self-conjugate partitions under the Gibbs uniform measure and compare it to the leading asymptotics of the one-point function.

The covering number of a non-linear character $χ$ of a finite group $G$ is the least positive integer $k$ such that every irreducible character of $G$ occurs in $χ^k$. We determine the covering numbers of irreducible characters of the symmetric group $S_n$ indexed by certain two-row partitions (and their conjugates), namely $(n-2,2)$ and $((n+1)/2, (n-1)/2)$ when $n$ is odd. We also determine the covering numbers of irreducible characters indexed by certain hook-partitions (and their conjugates), namely $(n-2,1^2)$, the almost self-conjugate hooks $(n/2+1, 1^{n/2-1})$ when $n$ is even, and the self-conjugate hooks $((n+1)/2, 1^{(n-1)/2})$ when $n$ is odd.

We establish a hook length bias between self-conjugate partitions and partitions of distinct odd parts, demonstrating that there are more hooks of fixed length $t \geq 2$ among self-conjugate partitions of $n$ than among partitions of distinct odd parts of $n$ for sufficiently large $n$. More precisely, we derive asymptotic formulas for the total number of hooks of fixed length $t$ in both classes. This resolves a conjecture of Ballantine, Burson, Craig, Folsom, and Wen.

We confirm the speculation that the distribution of $t$-hooks among unrestricted integer partitions essentially descends to self-conjugate partitions. Namely, we prove that the number of hooks of length $t$ among the size $n$ self-conjugate partitions is asymptotically normally distributed with mean $μ_t(n) \sim \frac{\sqrt{6n}}π + \frac{3}{π^2} - \frac{t}{2}+\frac{δ_t}{4}$ and variance $σ_t^2(n) \sim \frac{(π^2 - 6) \sqrt{6n}}{π^3},$ where $δ_t:=1$ if $t$ is odd, and is 0 otherwise.

We consider random matrices whose shape is the dilation $Nλ$ of a self-conjugate Young diagram $λ$. In the large-$N$ limit, the empirical distribution of the squared singular values converges almost surely to a probability distribution $F^λ$. The moments of $F^λ$ enumerate two combinatorial objects: $λ$-plane trees and $λ$-Dyck paths, which we introduce and show to be in bijection. We also prove that the distribution $F^λ$ is algebraic, in the sense of Rao and Edelman. In the case of fat hook shapes we provide explicit formulae for $F^λ$ and we express it as a free convolution of two measures involving a Marchenko-Pastur and a Bernoulli distribution.

In 2009, Berkovich and Garvan introduced a new partition statistic called the GBG-rank modulo $t$ which is a generalization of the well-known BG-rank. In this paper, we use the Littlewood decomposition of partitions to study partitions with bounded largest part and fixed integral value of GBG-rank modulo primes. As a consequence, we obtain new elegant generating function formulas for unrestricted partitions, self-conjugate partitions, and partitions whose parts repeat a finite number of times.