Inequalities for the number of $t$-hooks in two partition classes arising from sum-product identities

Titel: Ongelijkheden voor het aantal t-haken in twee partitieklassen voortkomend uit som-product identiteiten

Auteurs: Aritram Dhar, Byungchan Kim, Eunmi Kim en Ae Ja Yee.

---

1. Probleemstelling en Context

Het artikel onderzoekt een fundamenteel probleem in de partitietheorie: de vergelijking van het totale aantal t-haken (t-hooks) tussen twee verschillende klassen van partities van een getal $n$.

• Achtergrond: De studie is gemotiveerd door recente werken over het aantal haken in partities voortkomend uit Eulers partitie-identiteit (partities in verschillende delen versus partities in oneven delen). Andrews eerdere werk toonde aan dat voor $t=1$ het aantal haken in partities met verschillende delen kleiner is dan in partities met oneven delen. Ballantine et al. vermoedden dat deze ongelijkheid omkeert voor $t \ge 2$ wanneer $n$ groot genoeg is.
• Doel: De auteurs willen deze "hook bias" (haken-kanteling) onderzoeken voor twee andere belangrijke klassen van partities die voortkomen uit som-product identiteiten met een "gap 2" voorwaarde:
  1. De eerste Rogers-Ramanujan identiteit.
  2. De eerste kleine G"ollnitz identiteit.

Voor een gegeven $t$ worden twee functies gedefinieerd:

• $r_{1,t}(n)$ (resp. $g_{1,t}(n)$): Het totale aantal $t$-haken in alle partities van $n$ die voldoen aan de gap-voorwaarde (delen verschillen minstens 2).
• $r_{2,t}(n)$ (resp. $g_{2,t}(n)$): Het totale aantal $t$-haken in alle partities van $n$ die voldoen aan de congruentie-voorwaarde (delen zijn congruent aan specifieke waarden modulo 5 of 8).

De centrale vraag is of er een ongelijkheid bestaat tussen deze aantallen voor grote $n$, specifiek voor $t=1$ en $t=2$.

---

2. Methodologie

De auteurs gebruiken een combinatie van analytische combinatoriek en asymptotische analyse. De kern van de methode omvat:

1. Genererende Functies:

   • De auteurs construeren bivariate genererende functies $R_{j,t}(x, q)$ en $G_{j,t}(x, q)$ waarbij de variabele $x$ het aantal $t$-haken telt en $q$ de grootte van de partitie ($n$).
   • Door te differentiëren naar $x$ en $x=1$ te stellen, verkrijgen ze de genererende functies $S_{j,t}(q)$ en $H_{j,t}(q)$ voor de totale aantallen $t$-haken.
   • Deze functies blijken vaak Nahm-sommen te zijn (q-reeksen waarbij de verhouding van opeenvolgende coëfficiënten een rationele functie is) of producten van oneindige producten en rationale functies.

2. Asymptotische Analyse:

   • Om de gedragingen voor grote $n$ te bepalen, gebruiken ze Inghams Tauberiaanse stelling. Dit vereist een nauwkeurige analyse van de genererende functies in de buurt van $q=1$ (d.w.z. $q = e^{-z}$ met $z \to 0$).
   • De analyse wordt uitgevoerd in het complexe vlak, waarbij $z = \varepsilon(1 + iy)$.
   • De auteurs splitsen de sommen in een "piek-regio" (waar de term maximaal is) en een "fout-term" (ver van de piek).
   • Ze gebruiken de sadelpunt-methode (saddle point method) en uitgebreide asymptotische expansies (gebaseerd op lemmata van Bringmann et al. en Zagier) om het gedrag van de Nahm-sommen te benaderen.
   • Specifiek worden de Bernoulli-polynomen en de polylogaritmische functies ($Li_s$) gebruikt om de asymptotische expansies van de logaritmen van de q-Pochhammer-symbolen te bepalen.

3. Vergelijking van Asymptotische Formules:

   • Door de leidende termen van de asymptotische formules voor $r_{1,t}(n)$ en $r_{2,t}(n)$ (en analoog voor $g$) te vergelijken, kunnen de auteurs de ongelijkheden voor voldoende grote $n$ bewijzen.

---

3. Belangrijkste Bijdragen en Resultaten

A. Rogers-Ramanujan Identiteit

Voor de eerste Rogers-Ramanujan identiteit (gap $\ge 2$ vs. delen $\equiv 1, 4 \pmod 5$):

• Stelling 1.3 (Asymptotiek voor gap-voorwaarde):
  Voor grote $n$ geldt:
  $$r_{1,1}(n) \sim r_{1,2}(n) \sim \frac{3^{1/4} \phi^{1/2} \log(\phi)}{2\pi} n^{-1/4} e^{2\pi\sqrt{n/15}}$$
  waarbij $\phi$ de gulden snede is.

• Stelling 1.4 (Asymptotiek voor congruentie-voorwaarde):
  Voor grote $n$ geldt:
  $$r_{2,1}(n) \sim \frac{3^{1/4} \phi^{1/2}}{5\pi} n^{-1/4} e^{2\pi\sqrt{n/15}}$$
  $$r_{2,2}(n) \sim \frac{3^{5/4} \phi^{1/2}}{10\pi} n^{-1/4} e^{2\pi\sqrt{n/15}}$$

• Stelling 1.2 (De Ongeijkheden):
  Voor voldoende grote $n$:

  • $r_{1,1}(n) > r_{2,1}(n)$ (Meer 1-haken in de gap-klasse).
  • $r_{1,2}(n) < r_{2,2}(n)$ (Meer 2-haken in de congruentie-klasse).

B. Kleine G"ollnitz Identiteit

Voor de eerste kleine G"ollnitz identiteit (gap $\ge 2$ zonder specifieke oneven delen vs. delen $\equiv 1, 5, 6 \pmod 8$):

• Stelling 1.6 (Asymptotiek voor gap-voorwaarde):
  $$g_{1,1}(n) \sim g_{1,2}(n) \sim \frac{\log(\sqrt{2}+1)}{2^{5/4}\pi} n^{-1/4} e^{\frac{\pi}{2}\sqrt{n}}$$

• Stelling 1.7 (Asymptotiek voor congruentie-voorwaarde):
  $$g_{2,1}(n) \sim \frac{3}{2^{13/4}\pi} n^{-1/4} e^{\frac{\pi}{2}\sqrt{n}}$$
  $$g_{2,2}(n) \sim \frac{1}{2^{5/4}\pi} n^{-1/4} e^{\frac{\pi}{2}\sqrt{n}}$$

• Stelling 1.5 (De Ongeijkheden):
  Voor voldoende grote $n$:

  • $g_{1,1}(n) > g_{2,1}(n)$
  • $g_{1,2}(n) < g_{2,2}(n)$

---

4. Significatie en Conclusies

• Bevestiging van een patroon: De resultaten bevestigen het vermoeden dat de "hook bias" omkeert naarmate $t$ toeneemt. Voor $t=1$ domineren de partities met de gap-voorwaarde (meer verschillende delen/haken), terwijl voor $t \ge 2$ de partities met de congruentie-voorwaarde (meer herhalingen van delen) meer haken hebben.
• Technische doorbraak: Het artikel levert een verfijnde toepassing van asymptotische methoden op complexe Nahm-sommen. De auteurs geven gedetailleerde bewijzen voor de asymptotische gedragingen die nodig zijn om de exacte constanten in de leidende termen te bepalen, wat essentieel is voor het aantonen van de strikte ongelijkheden.
• Toekomstperspectief: De auteurs concluderen dat deze methode waarschijnlijk toepasbaar is op de tweede Rogers-Ramanujan en G"ollnitz identiteiten, evenals op de G"ollnitz-Gordon identiteiten. Ze formuleren het vermoeden dat voor alle $t > 2$ de ongelijkheid $r_{1,t}(n) < r_{2,t}(n)$ en $g_{1,t}(n) < g_{2,t}(n)$ geldt voor voldoende grote $n$.

Samenvattend biedt dit artikel een diepgaande analytische verklaring voor de structurele verschillen in haken-distributie tussen partities gedefinieerd door gap-voorwaarden versus congruentie-voorwaarden, en verrijkt het de theorie van q-reeksen en modulaire vormen door de asymptotische analyse van Nahm-sommen.