An Exploration of Crank Generating functions for $t$-core partitions

Titel: Een verkenning van crank-genererende functies voor t-kern-partities

Auteur: Samuel Wilson (University of Tennessee - Knoxville)

1. Probleemstelling en Achtergrond

Het paper richt zich op het combinatorische verklaren van Ramanujan-achtige congruenties voor partitiefuncties.

• Historische context: In 1919 ontdekte Ramanujan beroemde congruenties voor de partitiefunctie $p(n)$, zoals $p(5n+4) \equiv 0 \pmod 5$. Freeman Dyson introduceerde later de "rank" als een combinatorische statistiek om deze congruenties modulo 5 en 7 te verklaren. Voor de congruentie modulo 11 (en een algemene verklaring) voorspelde Dyson het bestaan van een "crank".
• De Crank: In 1988 vonden Andrews en Garvan de definitie van de crank en de bijbehorende genererende functie. Een crank-genererende functie $C(z, \tau)$ verklaart een congruentie $a(\alpha n + \beta) \equiv 0 \pmod \ell$ als de coëfficiënten van $q^{\alpha n + \beta}$ in de functie deelbaar zijn door de cyclotomische polynoom $\Phi_\ell(\zeta)$. Dit impliceert dat de partities gelijkmatig verdeeld zijn over de restklassen modulo $\ell$.
• Het specifieke probleem: Hoewel er al crank-functies zijn gevonden voor verschillende soorten partities (zoals $k$-kleurige partities), ontbreekt er een systematische familie van crank-genererende functies voor t-kern-partities ($t$-core partitions). Een $t$-kern-partitie is een partitie die geen hooklengte heeft die een veelvoud is van $t$. De genererende functie hiervoor is:
  $$\sum_{n \ge 0} p^{(t)}(n)q^n = \prod_{n=1}^\infty \frac{(1-q^{tn})^t}{1-q^n}$$
  Recent werk van Meher en Jindal (2024) heeft congruenties voor $p^{(t)}(n)$ bewezen met behulp van modulaire vormen, maar een combinatorische verklaring via een crank ontbrak nog.

2. Methodologie

De auteur gebruikt een combinatie van analytische getaltheorie en de theorie van modulaire vormen, specifiek gebaseerd op Radu's Lemma (uit [RS11] en [WAN17]).

• Radu's Lemma: Dit is een krachtig hulpmiddel om congruenties van $q$-reeksen van de vorm $\prod (1-q^{\delta n})^{r_\delta}$ te bewijzen. Het lemma stelt voorwaarden op aan parameters $(\alpha, M, N, r, \beta)$ om te garanderen dat de coëfficiënten $a(\alpha n + \beta')$ identiek nul zijn (of congruent zijn aan 0 modulo een getal).
• Aanpak:
  1. De auteur construeert specifieke crank-genererende functies $C^{(t)}(z, \tau)$ voor $t$-kern-partities.
  2. Het doel is om te bewijzen dat de coëfficiënten van $q^{3tn+\beta}$ in deze functies deelbaar zijn door $\Phi_3(\zeta)$ (de 3e cyclotomische polynoom). Dit verklaart congruenties modulo 3.
  3. De genererende functies worden gereduceerd modulo $\Phi_3(\zeta)$ tot producten van de vorm $\prod (1-q^k)^2 / ((1-q^{3k})(1-q^{tk}))$ (afhankelijk van $t \pmod 3$).
  4. Met behulp van Radu's Lemma worden de parameters $(\alpha, M, N, r, \beta)$ bepaald die nodig zijn om de congruenties te bewijzen.
  5. De berekeningen voor het vinden van dubbel-coset-representanten van $\Gamma_0(N)$ en het verifiëren van de voorwaarden van het lemma zijn uitgevoerd met MAPLE.

3. Belangrijkste Bijdragen en Resultaten

Het paper introduceert een familie van crank-genererende functies die specifieke congruenties voor $t$-kern-partities verklaren.

Hoofdstelling 1.2 (Geval $t=5$):
Er wordt een crank-functie $C^{(5)}(z, \tau)$ gedefinieerd die de congruenties verklaart:
$$p^{(5)}(15n + \beta) \equiv 0 \pmod 3$$
voor $\beta \in \{6, 10, 12, 13\}$.

• De functie is: $C^{(5)}(z, \tau) = \prod_{n=1}^\infty \frac{(1-q^n)(1-q^{5n})(1-\zeta^{\pm 2}q^{5n})(1-\zeta^{\pm 4}q^{5n})}{(1-\zeta^{\pm 1}q^n)}$.

Hoofdstelling 1.3 (Geval $t > 5$):
Voor $t \in \{7, 11, 17, 19\}$ worden crank-functies gedefinieerd die congruenties modulo 3 verklaren. De parameters en de bijbehorende $\beta$-waarden (die afhangen van kwadratische niet-residuen modulo 3) zijn als volgt samengevat:

• $t=7$: Verklaart $p^{(7)}(21n + \beta) \equiv 0 \pmod 3$ voor $\beta \in \{8, 11, 17\}$.
• $t=11$: Verklaart $p^{(11)}(33n + \beta) \equiv 0 \pmod 3$ voor $\beta \in \{11, 20, 26, 29, 32\}$.
• $t=17$: Verklaart $p^{(17)}(51n + \beta) \equiv 0 \pmod 3$ voor $\beta \in \{14, 20, 23, 26, 35, 38, 41, 47\}$.
• $t=19$: Verklaart $p^{(19)}(57n + \beta) \equiv 0 \pmod 3$ voor $\beta \in \{14, 17, 26, 35, 38, 41, 44, 50, 56\}$.

Beperkingen en Observaties:

• De gevonden crank-functies verklaren slechts ongeveer de helft van de congruenties die in de literatuur (Meher & Jindal) bekend zijn voor deze $t$-waarden.
• Specifiek blijken de functies alleen congruenties te verklaren waarbij $\beta$ een kwadratisch niet-residu modulo 3 is.
• Voor $t=13$ en $t=23$ zijn er congruenties bekend waarvoor de auteur geen crank-genererende functie heeft gevonden.
• Er is numeriek bewijs voor congruenties bij $t > 23$, maar deze zijn nog niet in de literatuur vastgelegd.

4. Betekenis en Toekomstperspectief

• Combinatorische Verklaring: Het paper vult een gat in de theorie door een combinatorische statistiek (de crank) te koppelen aan congruenties voor $t$-kern-partities, vergelijkbaar met wat Dyson en Andrews/Garvan deden voor de standaard partitiefunctie.
• Technische Vooruitgang: Het toont aan hoe Radu's Lemma kan worden toegepast op specifieke $q$-producten die niet direct modulaire vormen zijn, maar wel congruenties vertonen.
• Open Vragen: De auteur formuleert drie cruciale vragen voor toekomstig onderzoek:
  1. Kan een enkele familie van crank-functies worden gevonden die alle congruenties voor $p^{(t)}(n)$ (voor $t \le 23$) simultaan verklaart?
  2. Behoren er meer congruenties tot deze "mod 3"-familie voor $t > 23$?
  3. Kan deze familie worden uitgebreid tot een oneindige familie van $t$-kern-partities?

Samenvattend biedt dit werk een belangrijke stap in het begrijpen van de diepere structurele oorzaken van partitie-congruenties, hoewel het een volledig antwoord op de vraag naar een universele crank voor alle $t$-kern-partities nog niet geeft.