arXiv++ Combinatorics

We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-ω(k)), $$ where $ω(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $ν=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $ν\geq 0,$ we prove for positive $n$ that $$ p(n)=\frac{1}{g_ν(n,0)}\left(α_ν\cdot σ_{2ν-1}(n)+ \mathrm{Tr}_{2ν}(n) +\sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} g_ν(n,k)\cdot p(n-ω(k))\right), $$ where $σ_{2ν-1}(n)$ is a divisor function, $\mathrm{Tr}_{2ν}(n)$ is the $n$th weight $2ν$ Hecke trace of values of special twisted quadratic Dirichlet series, and each $g_ν(n,k)$ is a polynomial in $n$ and $k.$ The $ν=6$ case can be viewed as a partition theoretic formula for Ramanujan's tau-function, as we have $$ \mathrm{Tr}_{12}(n)=-\frac{33108590592}{691}\cdot τ(n). $$

In his "lost notebook'', Ramanujan used iterated derivatives of two theta functions to define sequences of $q$-series $\{U_{2t}(q)\}$ and $\{V_{2t}(q)\}$ that he claimed to be quasimodular. We give the first explicit proof of this claim by expressing them in terms of "partition Eisenstein series'', extensions of the classical Eisenstein series $E_{2k}(q)$ defined by $$λ=(1^{m_1}, 2^{m_2},\dots, n^{m_n}) \vdash n \ \ \ \ \ \longmapsto \ \ \ \ \ E_λ(q):= E_2(q)^{m_1} E_4(q)^{m_2}\cdots E_{2n}(q)^{m_n}. $$ For functions $φ: \mathcal{P}\mapsto \mathbb{C}$ on partitions, the weight $2n$ partition Eisenstein trace is $$ \text{Tr}_n(φ;q):=\sum_{λ\vdash n} φ(λ)E_λ(q). $$ For all $t$, we prove that $U_{2t}(q)=\text{Tr}_t(φ_U;q)$ and $V_{2t}(q)=\text{Tr}_t(φ_V;q),$ where $φ_U$ and $φ_V$ are natural partition weights, giving the first explicit quasimodular formulas for these series.

A cubic partition is an integer partition wherein the even parts can appear in two colors. In this paper, we introduce the notion of generalized cubic partitions and prove a number of new congruences akin to the classical Ramanujan-type. We emphasize two methods of proofs, one elementary (relying significantly on functional equations) and the other based on modular forms. We close by proving analogous results for generalized overcubic partitions.

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.

In his important 1920 paper on partitions, MacMahon defined the partition generating functions \begin{align*} A_k(q)=\sum_{n=1}^{\infty}\mathfrak{m}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{s_1+s_2+\cdots+s_k}}{(1-q^{s_1})^2(1-q^{s_2})^2\cdots(1-q^{s_k})^2},\\ C_k(q)=\sum_{n=1}^{\infty} \mathfrak{m}_{odd}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{2s_1+2s_2+\cdots+2s_k-k}}{(1-q^{2s_1-1})^2(1-q^{2s_2-1})^2\cdots(1-q^{2s_k-1})^2}. \end{align*} These series give infinitely many formulas for two prominent generating functions. For each non-negative $k$, we prove that $A_k(q), A_{k+1}(q), A_{k+2}(q),\dots$ (resp. $C_k(q), C_{k+1}(q), C_{k+2}(q),\dots$) give the generating function for the 3-colored partition function $p_3(n)$ (resp. the overpartition function $\overline{p}(n)$).

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.

For a positive integer $\ell$, let $b_{\ell}(n)$ denote the number of $\ell$-regular partitions of a nonnegative integer $n$. Motivated by some recent conjectures of Keith and Zanello, we establish infinite families of congruences modulo $2$ for $b_3(n)$ and $b_{21}(n)$. We prove a specific case of a conjecture of Keith and Zanello on self-similarities of $b_3(n)$ modulo $2$. We next prove that the series $\sum_{n=0}^{\infty}b_9(2n+1)q^n$ is lacunary modulo arbitrary powers of $2$. We also prove that the series $\sum_{n=0}^{\infty}b_9(4n)q^n$ is lacunary modulo $2$.

Let $p_{\{3, 3\}}(n)$ denote the number of $3$-regular partitions in three colours. In a very recent paper, da Silva and Sellers studied certain arithmetic properties of $p_{\{3, 3\}}(n)$. They further conjectured four Ramanujan-like congruences modulo $5$ satisfied by $p_{\{3, 3\}}(n)$. In this article, we confirm the conjectural congruences of da Silva and Sellers using the theory of modular forms.