arXiv++ Combinatorics

In recent work the authors determine complete columns of symmetric-group decomposition matrices in odd prime characteristic $p$ labeled by $p$-regular partitions for which every hook of length divisible by $p$ has even arm length. In the present paper we enumerate these partitions and prove that each block of $p$-weight $w$ contains precisely \[ \binom{w+\frac{p-3}{2}}{w} \] such partitions. More generally, for any integers $d,e>1$, we study and enumerate $d$-balanced $e$-regular partitions -- partitions for which every hook of length divisible by $e$ has arm length divisible by $d$. Our first main result is that the crystal (affine) reflections preserve the $d$-balanced property for all $d,e > 1$. It follows that, for fixed $d$, $e$, and $w$, the number of $d$-balanced $e$-regular partitions in a block of $e$-weight $w$ is independent of the $e$-core. We then compute this number by working in RoCK blocks, obtaining an explicit binomial formula valid for every block. We also investigate closely related odd sequences of partitions. Among others, we find the generating function of the number of odd sequences occurring in a block. Alongside their representation-theoretic relevance, we expect these results to be of independent combinatorial interest.

We prove a series of ``knapsack'' type equalities for irreducible character degrees of symmetric groups. That is, we find disjoint subsets of the partitions of $n$ so that the two corresponding character-degree sums are equal. Our main result refines our recent description of the Riordan numbers as the sum of all character degrees $f^λ$ where $λ$ is a partition of $n$ into three parts of the same parity. In particular, the sum of the ``fat-hook'' degrees $f^{(k,k,1^{n-2k})}+f^{(k+1,k+1,1^{n-2k-2})}$ equals the sum of all $f^λ$ where $λ$ has three parts, with the second equal to $k$ and the second and third of equal parity. We further prove an infinite family of additional ``knapsack'' identities between character degrees

Amdeberhan recently proposed certain equalities between sums in the character table of symmetric groups. These equalities are between signed column sums in the character table, summing over the rows labeled by partitions in $\Ev$, where $λ$ is a partition of $n$ with $r$ nonzero parts and $\Ev$ is a multiset containing $2^r$ partitions of $2n$. While we observe that these equalities are not true in general, we prove that they do hold in interesting special cases. These lead to new equalities between sums of degrees of irreducible characters for the symmetric group and a new combinatorial interpretation for the Riordan numbers in terms of degrees of irreducible characters labeled by partitions with three parts of the same parity. This is the first, to our knowledge, theorem about degrees of symmetric group characters with parity conditions imposed on the partitions indexing the characters.

We make an application of ideas from partition theory to a problem in multiplicative number theory. We propose a deterministic model of prime number distribution, from first principles related to properties of integer partitions, that naturally predicts the prime number theorem as well as the twin prime conjecture. The model posits that, for $n\geq 2$, $$p_{n}\ =\ 1\ +\ 2\sum_{j=1}^{n-1}\left\lceil \frac{d(j)}{2}\right\rceil\ +\ \varepsilon(n),$$ where $p_k$ is the $k$th prime number, $d(k)$ is the divisor function, and $\varepsilon(k)$ is an explicit error term that is negligible asymptotically; both the main term and error term represent enumerative functions in our conceptual model. We refine the error term to give numerical estimates of $π(n)$ similar to those provided by the logarithmic integral, and much more accurate than $\operatorname{li}(n)$ up to $n=10{,}000$ where the estimates are {\it almost exact}. We then perform computational tests of unusual predictions of the model, finding limited evidence of predictable variations in prime gaps.

Mullineux defined an involution on the set of $e$-regular partitions of $n$. When $e=p$ is prime, these partitions label irreducible symmetric group modules in characteristic $p$. Mullineux's conjecture, since proven, was that this ``Mullineux map" described the effect on the labels of taking the tensor product with the one-dimensional signature representation. Counting irreducible modules fixed by this tensor product is related to counting irreducible modules for the alternating group $A_n$ in prime characteristic. In 1991, Andrews and Olsson worked out the generating function counting fixed points of Mullineux's map when $e=p$ is an odd prime (providing evidence in support of Mullineux's conjecture). In 1998, Bessenrodt and Olsson counted the fixed points in a $p$-block of weight $w$. We extend both results to arbitrary $e$, and determine the corresponding generating functions. When $e$ is odd but not prime the extension is immediate, while $e$ even requires additional work and the results, which are different, have not appeared in the literature.

There is a well-known bijection between finite binary sequences and integer partitions. Sequences of length r correspond to partitions of perimeter r+1. Motivated by work on rational numbers in the Calkin-Wilf tree, we classify partitions whose corresponding binary sequence is a palindrome. We give a generating function that counts these partitions, and describe how to efficiently generate all of them. Atypically for partitions generating functions, we find an unusual significance to prime degrees. Specifically, we prove there are nontrivial palindrome partitions of n except when n=3 or n+1 is prime. We find an interesting new "branching diagram" for partitions, similar to Young's lattice, with an action of the Klein four group corresponding to natural operations on the binary sequences.

Recently, Blecher and Knopfmacher applied the notion of fixed points to integer partitions. This has already been generalized and refined in various ways such as $h$-fixed points for an integer parameter $h$ by Hopkins and Sellers. Here, we consider the sequence of first column hook lengths in the Young diagram of a partition and corresponding fixed hooks. We enumerate these, using both generating function and combinatorial proofs, and find that they match occurrences of part sizes equal to their multiplicity. We establish connections to work of Andrews and Merca on truncations of the pentagonal number theorem and classes of partitions partially characterized by certain minimal excluded parts (mex).

For a Specht module S^λfor the symmetric group Σ_d, the cohomology H^i(Σ_d, S^λ) is known only in degree i=0. We give a combinatorial criterion equivalent to the nonvanishing of the degree i=1 cohomology, valid in odd characteristic. Our condition generalizes James' solution in degree zero. We apply this combinatorial description to give some computations of Specht module cohomology, together with an explicit description of the corresponding modules. Finally we suggest some general conjectures that might be particularly amenable to proof using this description.

During the 2004-2005 academic year the VIGRE algebra research group at the University of Georgia computed the complexities of certain Specht modules S^λfor the symmetric group, using the computer algebra program Magma. The complexity of an indecomposable module does not exceed the p-rank of the defect group of its block. The Georgia group conjectured that, generically, the complexity of a Specht module attains this maximal value; that it is smaller precisely when the Young diagram of $λ$ is built out of $p \times p$ blocks. We prove one direction of this conjecture by showing these Specht modules do indeed have less than maximal complexity. It turns out that this class of partitions, which has not previously appeared in the literature, arises naturally as the solution to a question about the $p$-weight of partitions and branching.