Proof of a conjecture of Banerjee,Bringmann and Bachraoui on infinite families of congruences

Titel: Bewijs van een conjectuur van Banerjee, Bringmann en Bachraoui over oneindige families van congruenties

Auteurs: Juejie Sun en Olivia X.M. Yao
Taal van de samenvatting: Nederlands

1. Probleemstelling en Achtergrond

Het artikel richt zich op de studie van partities van gehele getallen, specifiek een variant waarbij elk deel (part) in twee kleuren (bijvoorbeeld blauw en rood) kan voorkomen. De auteurs bestuderen een specifieke rij $c(k, n)$, die het aantal van zulke twee-kleuren partities van een getal $n$ telt, onder de volgende restricties:

1. Het kleinste deel is oneven en komt minstens één keer in blauw voor.
2. Elk even blauw deel is ten minste $2k - 1$ groter dan het kleinste deel.
3. De even delen van dezelfde kleur zijn onderling verschillend.

Andrews en Bachraoui onderzochten eerder de asymptotische limiet van deze rij wanneer $k \to \infty$, wat leidt tot een nieuwe rij $c(n)$ met de bijbehorende genererende functie $C(q)$. Ze formuleerden conjecturen over congruenties van $c(n)$ modulo 4 en 8.

Recentelijk bevestigden Banerjee, Bringmann en Bachraoui enkele van deze conjecturen door de genererende functie te relateren aan modulaire vormen en mock theta-functies. Aan het einde van hun werk stelden zij echter een bredere conjectuur (Conjectuur 1.5) op over oneindige families van congruenties voor $c(n)$ modulo 4 en 8. Deze conjectuur impliceert de eerdere conjecturen van Andrews en Bachraoui. Het doel van dit artikel is om deze specifieke conjectuur van Banerjee, Bringmann en Bachraoui te bewijzen.

2. Methodologie

De auteurs gebruiken een combinatie van analytische technieken uit de theorie van $q$-reeksen en de theorie van modulaire vormen. De kern van de methode bestaat uit de volgende stappen:

• Genererende Functies en Identiteiten: Ze vertrekken van de uitdrukking voor de genererende functie $C(q)$ die door Banerjee, Bringmann en Bachraoui werd afgeleid. Deze wordt uitgedrukt in termen van de standaard Dedekind-eta-achtige producten ($f_m$) en de mock theta-functies $\omega(q)$ (derde orde) en $B(q)$ (McIntosh's tweede orde).
• Watsons Identiteit: Een cruciaal element is het gebruik van een identiteit bewezen door G.N. Watson, die een relatie legt tussen $f(q^8)$, $\omega(-q)$ en $\omega(-q^4)$.
• Substitutie en Extractie: De auteurs substitueren bekende identiteiten (zoals die van Ramanujan en andere auteurs zoals Mao en Wang) in de genererende functie. Vervolgens passen ze een systematische "extractie"-methode toe:
  • Ze isoleren termen in de reeksontwikkeling waarbij de macht van $q$ voldoet aan specifieke congruentievoorwaarden (bijv. $q^{2n+1}$ of $q^{4n+3}$).
  • Ze vervangen $q^2$ door $q$ om nieuwe genererende functies voor de geselecteerde coëfficiënten te verkrijgen.
• Modulaire Reductie: Ze werken modulo 4 en modulo 8. Hierbij maken ze gebruik van eigenschappen van $q$-producten, zoals $f_{2m}^k \equiv f_{2k}^{2m-1} \pmod{2^m}$, om complexe uitdrukkingen te vereenvoudigen.
• Inductie: Na het afleiden van basisgevallen en recursieve relaties, gebruiken ze wiskundige inductie om de congruenties voor willekeurige $k$ te generaliseren.

3. Belangrijkste Bijdragen en Resultaten

De hoofdprestatie van het artikel is het rigoureuze bewijs van Conjectuur 1.5 van Banerjee, Bringmann en Bachraoui. De auteurs bewijzen dat voor alle niet-negatieve gehele getallen $n$ en $k$ de volgende congruenties gelden:

1. Modulo 4:
   $$c\left(\frac{2^{2k+3}n + 11 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 4$$
2. Modulo 8:
   $$c\left(\frac{2^{2k+3}n + 17 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 8$$
3. Modulo 4 (tweede familie):
   $$c\left(\frac{2^{2k+4}n + 38 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 4$$

Technische tussenstappen:

• Ze bewijzen eerst twee belangrijke lemmata die relaties leggen tussen $c(n)$ en de coëfficiënten van de mock theta-functie $B(q)$.
• Ze tonen aan dat $c(32n+15) \equiv 0 \pmod 4$ en $c(32n+23) \equiv 0 \pmod 8$.
• Door deze resultaten te combineren met de eerder bekende gevallen (voor $k=0$ en $k=1$) en inductie toe te passen, generaliseren ze de resultaten naar de volledige families voor elke $k$.

4. Betekenis en Conclusie

• Unificatie: Het bewijs bevestigt dat de conjectuur van Banerjee, Bringmann en Bachraoui niet alleen waar is, maar ook de eerdere conjecturen van Andrews en Bachraoui (over specifieke gevallen zoals $c(8n+4)$ en $c(8n+6)$) als speciale gevallen omvat. Dit versterkt het inzicht in de onderliggende structuur van deze partitiefuncties.
• Methodologische Vooruitgang: Het artikel demonstreert de kracht van het combineren van klassieke $q$-reeks-identiteiten (zoals die van Watson) met moderne inzichten in mock theta-functies om diepe arithmetische eigenschappen van partities bloot te leggen.
• Toekomstperspectief: De auteurs wijzen op natuurlijke volgende stappen, zoals het uitbreiden van deze congruenties naar hogere modulussen (modulo 16, 32, etc.) en het onderzoeken van de arithmetische dichtheid van de verzameling gehele getallen waarvoor $c(n) \equiv 0 \pmod{2^k}$.

Kortom, dit artikel sluit een open vraag uit de recente literatuur over tweekleurige partities af en biedt een robuust wiskundig raamwerk voor het begrijpen van oneindige families van congruenties in de partitietheorie.