arXiv++ Combinatorics

In 2010, G.-N. Han obtained the generating function for the number of size $t$ hooks among integer partitions. Here we obtain these generating functions for self-conjugate partitions, which are particularly elegant for even $t$. If $n_t(λ)$ is the number of size $t$ hooks in a partition $λ,$ then for even $t$ we have $$\sum_{λ\in \mathcal{SC}} x^{n_t(λ)} q^{\vertλ\vert} = (-q;q^2)_{\infty} \cdot ((1-x^2)q^{2t};q^{2t})_{\infty}^{\frac{t}2}. $$ As a consequence, if $a_t^*(n)$ is the number of such hooks among the self-conjugate partitions of $n,$ then for even $t$ we obtain the simple formula $$ a_t^*(n)=t\sum_{j\geq 1} q^*(n-2tj), $$ where $q^*(m)$ is the number of partitions of $m$ into distinct odd parts. As a corollary, we find that $t\mid a_t^*(n),$ which confirms a conjecture of Ballantine, Burson, Craig, Folsom, and Wen.

Motivated in part by hook-content formulas for certain restricted partitions in representation theory, we consider the total number of hooks of fixed length in odd versus distinct partitions. We show that there are more hooks of length $2$, respectively $3$, in all odd partitions of $n$ than in all distinct partitions of $n$, and make the analogous conjecture for arbitrary hook length $t \geq 2$. We also establish additional bias results on the number of gaps of size $1,$ respectively $2$, in all odd versus distinct partitions of $n$. We conjecture similar biases and asymptotics, as well as congruences for the number of hooks of fixed length in odd distinct partitions versus self-conjugate partitions. An integral component of the proof of our bias result for hooks of length $3$ is a linear inequality involving $q(n)$, the number of distinct partitions of $n$. In this article we also establish effective linear inequalities for $q(n)$ in great generality, a result which is of independent interest. Our methods are both analytic and combinatorial, and our results and conjectures intersect the areas of representation theory, analytic number theory, partition theory, and $q$-series. In particular, we use a Rademacher-type exact formula for $q(n),$ Wright's circle method, modularity, $q$-series transformations, asymptotic methods, and combinatorial arguments.

An almost self-conjugate (ASC) partition has a Young diagram in which each arm along the diagonal is exactly one box longer than its corresponding leg. Classically, the ASC partitions and their conjugates appear in two of Littlewood's symmetric function identities. These identities can be viewed as Euler characteristics of BGG complexes of the trivial representation, for classical Hermitian symmetric pairs. In this paper, we consider partitions in which the arm-leg difference is an arbitrary constant $m$. By viewing these partitions as highest weights, we establish an infinite family of dimension identities between $\mathfrak{gl}_n$- and $\mathfrak{gl}_{n+m}$-modules. We then interpret this result in the context of blocks in parabolic category $\mathcal{O}$: in particular, we exhibit six infinite families of congruent blocks whose corresponding posets of highest weights consist of the partitions in question. These posets, in turn, lead to generalizations of the Littlewood identities and their corresponding BGG complexes. Our results in this paper shed light on the surprising combinatorics underlying the work of Enright and Willenbring (2004).

For positive integers $k, l \geq 2$, the set of $k$-regular partitions in which parts appear at most $l$ times has attracted a lot of interest in that a composition of Glaisher's mapping can be used to prove the associated partition identities in certain cases. We consider some special cases and derive some arithmetic properties. Of particular focus is the set of partitions in which parts are odd and distinct ($k =2$, $l = 2$). Sylvester proved that, for fixed weight, this set of partitions is equinumerous with the set of self-conjugate partitions. We introduce a new class of partitions that generalizes self-conjugate partitions and as a result, we extend Sylvester's theorem. Furthermore, using this class of partitions, we give new combinatorial interpretation of some Rogers-Ramanujan identities which were previously considered by A. K. Agarwal.

We resolve two open problems on Kronecker coefficients $g(λ,μ,ν)$ of the symmetric group. First, we prove that for partitions $λ,μ,ν$ with fixed Durfee square size, the Kronecker coefficients grow at most polynomially. Second, we show that the maximal Kronecker coefficients $g(λ,λ,λ)$ for self-conjugate partitions $λ$ grow superexponentially. We also give applications to explicit special cases.

In this paper, we construct a bijection from a set of bounded free Motzkin paths to a set of bounded Motzkin prefixes that induces a bijection from a set of bounded free Dyck paths to a set of bounded Dyck prefixes. We also give bijections between a set of bounded cornerless Motzkin paths and a set of $t$-core partitions, and a set of bounded cornerless symmetric Motzkin paths and a set of self-conjugate $t$-core partitions. As an application, we get explicit formulas for the number of ordinary and self-conjugate $t$-core partitions with a fixed number of corners.

Partition theory abounds with bijections between different types of partitions. One of the most famous partition bijections maps each self-conjugate partition of a positive integer $n$ to a partition of $n$ into distinct odd parts, and vice versa. Here we prove new necessary and sufficient conditions for a self-conjugate partition to be $t$-core, in terms of only the parts of the corresponding partition into distinct odd parts, by proving a new hook length formula. Corollaries of these results include new applications of $t$-core self-conjugate partitions to subsets of the natural numbers, due to the recent investigation of a new partition statistic called the supernorm by the first author, Just, and Schneider, as well as many results on $t$-cores by Bringmann, Kane, Males, Ono, Raji, and others. We provide several examples of these applications, one of which gives a new formula for certain families of Hurwitz class numbers.

In 2011, Han and Ji proved addition-multiplication theorems for integer partitions, from which they derived modular analogues of many classical identities involving hook-length. In the present paper, we prove addition-multiplication theorems for the subset of self-conjugate partitions. Although difficulties arise due to parity questions, we are almost always able to include the BG-rank introduced by Berkovich and Garvan. This gives us as consequences many self-conjugate modular versions of classical hook-lengths identities for partitions. Our tools are mainly based on fine properties of the Littlewood decomposition restricted to self-conjugate partitions.

We investigate the dynamics of the well-known RSK bijection on permutations when iterated on various reading words of the recording tableau. In the setting of the ordinary (row) reading word, we show that there is exactly one fixed point per partition shape, and that it is always reached within two steps from any starting permutation. We also consider the modified dynamical systems formed by iterating RSK on the column reading word and the reversed reading word of the recording tableau. We show that the column reading word gives similar dynamics to the row reading word. On the other hand, for the reversed reading word, we always reach either a 2-cycle or fixed point after two steps. In fact, we reach a fixed point if and only if the shape of the initial tableau is self-conjugate.

We classify the connection between $t$-cores and self-conjugate $t$-cores to sums of squares. To do so, we provide explicit maps between $t$-core partitions and self-conjugate $t$-core partitions of a positive integer $n$ to representations of certain numbers as sums of squares. For example, the self-conjugate $4$-core partition $λ=(4,1,1,1)$ corresponds uniquely to the solution $61=6^2+5^2$. As a corollary, we completely classify the relationship between $t$-cores and Hurwitz class numbers. Using these tools, we see how certain sets of representations as sums of squares naturally decompose into families of $t$-cores. Finally, we construct an explicit map on partitions to explain the equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$ previously studied by Bringmann, Kane, and the first author.

Suppose $s$ and $t$ are coprime positive integers, and let $σ$ be an $s$-core partition and $τ$ a $t$-core partition. In this paper we consider the set $\mathcal P_{σ,τ}(n)$ of partitions of $n$ with $s$-core $σ$ and $t$-core $τ$. We find the smallest $n$ for which this set is non-empty, and show that for this value of $n$ the partitions in $\mathcal P_{σ,τ}(n)$ (which we call $(σ,τ)$-minimal partitions) are in bijection with a certain class of $(0,1)$-matrices with $s$ rows and $t$ columns. We then use these results in considering conjugate partitions: we determine exactly when the set $\mathcal P_{σ,τ}(n)$ consists of a conjugate pair of partitions, and when $\mathcal P_{σ,τ}(n)$ contains a unique self-conjugate partition.

We extend recent results of Ono and Raji, relating the number of self-conjugate $7$-core partitions to Hurwitz class numbers. Furthermore, we give a combinatorial explanation for the curious equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$. We also conjecture that an equality of this shape holds if and only if $t=4$, proving the cases $t\in\{2,3,5\}$ and giving partial results for $t>5$.

A partition is called an $(s_1,s_2,\dots,s_p)$-core partition if it is simultaneously an $s_i$-core for all $i=1,2,\dots,p$. Simultaneous core partitions have been actively studied in various directions. In particular, researchers concerned with properties of such partitions when the sequence of $s_i$ is an arithmetic progression. In this paper, for $p\geq 2$ and relatively prime positive integers $s$ and $d$, we propose the $(s+d,d;a)$-abacus of a self-conjugate partition and establish a bijection between the set of self-conjugate $(s,s+d,\dots,s+pd)$-core partitions and the set of free rational Motzkin paths with appropriate conditions. For $p=2,3$, we give formulae for the number of self-conjugate $(s,s+d,\dots,s+pd)$-core partitions and the number of self-conjugate $(s,s+1,\dots,s+p)$-core partitions with $m$ corners.

In this paper, we propose an $(s+d,d)$-abacus for $(s,s+d,\dots,s+pd)$-core partitions and establish a bijection between the $(s,s+d,\dots,s+pd)$-core partitions and the rational Motzkin paths of type $(s+d,-d)$. This result not only gives a lattice path interpretation of the $(s,s+d,\dots,s+pd)$-core partitions but also counts them with a closed formula. Also we enumerate $(s,s+1,\dots,s+p)$-core partitions with $k$ corners and self-conjugate $(s,s+1,\dots,s+p)$-core partitions.

The Mullineux involution is a relevant map that appears in the study of the modular representations of the symmetric group and the alternating group. The fixed points of this map are certain partitions of particular interest. It is known that the cardinality of the set of these self-Mullineux partitions is equal to the cardinality of a distinguished subset of self-conjugate partitions. In this work, we give an explicit bijection between the two families of partitions in terms of the Mullineux symbol.

A tremendous amount of research has been done in the last two decades on $(s,t)$-core partitions when $s$ and $t$ are positive integers with no common divisor. Here we change perspective slightly and explore properties of $(s,t)$-core and $(\bar{s},\bar{t})$-core partitions for $s$ and $t$ with nontrivial common divisor $g$. We begin by revisiting work by D. Aukerman, D. Kane and L. Sze on $(s,t)$-core partitions for nontrivial $g$ before obtaining a generating function for the number of $(\bar{s},\bar{t})$-core partitions of $n$ under the same conditions. Our approach, using the $g$-core, $g$-quotient and bar-analogues, allows for new results on $t$-cores and self-conjugate $t$-cores that are {\it not} $g$-cores and $\bar{t}$-cores that are {\it not} $\bar{g}$-cores, thus strengthening positivity results of K. Ono and A. Granville, J. Baldwin et. al., and I. Kiming. We then detail a new bijection between self-conjugate $(s,t)$-core and $(\bar{s},\bar{t})$-core partitions for $s$ and $t$ odd with odd, nontrivial common divisor $g$. Here the core-quotient construction fits remarkably well with certain lattice-path labelings due to B. Ford, H. Mai, and L. Sze and C. Bessenrodt and J. Olsson. Along the way we give a new proof of a correspondence of J. Yang between self-conjugate $t$-core and $\bar{t}$-core partitions when $t$ is odd and positive. We end by noting $(s,t)$-core and $(\bar{s}, \bar{t})$-core partitions inherit Ramanujan-type congruences from those of $g$-core and $\bar{g}$-core partitions.

We investigate $sc_7(n)$, the number of self-conjugate $7$-core partitions of size $n$. It turns out that $sc_7(n)=0$ for $n\equiv 7\pmod 8$. For $n\equiv 1, 3, 5\pmod 8$, with $n\not \equiv 5\pmod 7,$ we find that $sc_7(n)$ is essentially a Hurwitz class number. Using recent work of Gao and Qin, we show that $$ sc_7(n) = 2^{-\varepsilon(n)-1}\cdot H(-D_n), $$ where $-D_n:=-4^{\varepsilon(n)}(7n+14)$ and $\varepsilon(n):=\frac{1}{2}\cdot(1+(-1)^{\frac{n-1}{2}})$. This fact implies several corollaries which are of interest. For example, if $-D_n$ is a fundamental discriminant and $p\not \in \{2, 7\}$ is a prime with $ord_p(-D_n)\leq 1$, then for every positive integer $k$ we have $$ sc_7\left((n+2)p^{2k}-2\right)=sc_7(n)\cdot \left(1+\frac{p^{k+1}-p}{p-1}-\frac{p^k-1}{p-1}.\left(\frac{-D_n}{p}\right)\right), $$ where $\left(\frac{-D_n}{p}\right)$ is the Legendre symbol.

Simultaneous core partitions have been widely studied since Anderson's work on the enumeration of $(s,t)$-core partitions. Amdeberhan and Leven showed that the number of $(s,s+1, \ldots, s+k)$-core partitions is equal to the number of $(s, k)$-Dyck paths. In this paper, we prove that self-conjugate $(s,s+1, \ldots, s+k)$-core partitions are equinumerous with symmetric $(s, k)$-Dyck paths, confirming a conjecture posed by Cho, Huh and Sohn.

We are concerned with counting self-conjugate $(s,s+1,s+2)$-core partitions. A Motzkin path of length $n$ is a path from $(0,0)$ to $(n,0)$ which stays above the $x$-axis and consists of the up $U=(1,1)$, down $D=(1,-1)$, and flat $F=(1,0)$ steps. We say that a Motzkin path of length $n$ is symmetric if its reflection about the line $x=n/2$ is itself. In this paper, we show that the number of self-conjugate $(s,s+1,s+2)$-cores is equal to the number of symmetric Motzkin paths of length $s$, and give a closed formula for this number.

The classical problem of counting the number of real zeros of a real polynomial was solved a long time ago by Sturm. The analogous problem of counting the number of zeros that a polynomial has on the unit circle is, however, still an open problem. In this paper, we show that the second problem can be reduced to the first one through the use of a suitable pair of Möbius transformations - often called Cayley transformations - that have the property of mapping the unit circle onto the real line and vice versa. Although the method applies to arbitrary complex polynomials, we discuss in detail several classes of polynomials with symmetric zeros as, for instance, the cases of self-conjugate, self-adjoint, self-inversive, self-reciprocal and skew-reciprocal polynomials. Finally, an application of this method to Salem polynomials and to polynomials with small Mahler measure is also discussed.