Sign Laws and Mock Theta Functions

Technische Samenvatting: Tekenwetten en Mock Theta-functies

Probleemstelling
Dit artikel behandelt het tekengedrag van de coëfficiënten $r(n)$ van Ramanujan's derde-orde mock theta-functie $\rho(q)$, gedefinieerd door de reeks:
$$\rho(q) = \sum_{m \ge 0} \frac{q^{2m(m+1)}}{(1 + q + q^2)(1 + q^3 + q^6) \cdots (1 + q^{2m+1} + q^{4m+2})} = \sum_{n \ge 0} r(n)q^n.$$
Empirische observatie van de initiële coëfficiënten onthult een opvallend periodiek tekenpatroon modulo 3: $r(3m) > 0$, terwijl $r(3m+1) \le 0$ en $r(3m+2) \le 0$. De nulpunten in de niet-positieve residuklassen lijken alleen voor specifieke kleine gehele getallen te voorkomen ($n = 2, 4, 8, 11, 20$). Het primaire doel is om deze "tekenwet" rigoureus te bewijzen voor alle $n \ge 0$ en om de exacte verzameling indices te identificeren waar $r(n) = 0$.

Methodologie
Het bewijs combineert analytische getaltheorie (specifiek de cirkelmethode aangepast voor mock theta-functies) met exacte gehele getalaritmetiek.

1. Reductie via Watson's Identiteit:
   De auteurs maken gebruik van Watson's identiteit die $\rho(q)$ relateert aan een andere derde-orde mock theta-functie $\omega(q)$ en een eta-quotient $T(q)$:
   $$2\rho(q) + \omega(q) = T(q), \quad \text{waarbij } T(q) = 3 \frac{(q^6; q^6)_\infty^4}{(q^3; q^3)_\infty^2 (q^2; q^2)_\infty}.$$
   Dit reduceert het probleem tot het analyseren van het verschil $T(q) - \omega(q)$. De coëfficiënten van $T(q)$ zijn modulair, terwijl $\omega(q)$ een mock theta-functie is.

2. Cirkelmethode en Wortel-van-eenheid Analyse:
   De coëfficiënten $r(n)$ worden geëxtraheerd via Cauchy's integraalformule op een cirkel $|q| = e^{-\beta}$. Het integraal wordt gedecomposeerd in "major arcs" nabij wortels van eenheid en "minor arcs."

   • Annulering bij $q=1$: De leidende polaire termen van $T(q)$ en $\omega(q)$ bij $q=1$ zijn identiek en annuleren elkaar, waardoor een polynomiaal begrensde bijdrage overblijft.
   • Verdwijnen bij $q=-1$: De bijdrage bij $q=-1$ wordt eveneens als polynomiaal begrensde bijdrage aangetoond.
   • Dominantie bij Cubische Wortels: De eerste overlevende exponentiële termen ontstaan bij de primitieve cubische wortels van eenheid ($\zeta = e^{2\pi i/3}$ en $\zeta^2$). Met behulp van de Zwegers-completie en transformatiewetten leiden de auteurs effectieve asymptotische schattingen voor $\rho(q)$ nabij deze wortels af.

3. Effectieve Asymptotica:
   De bijdrage van de cubische bogen levert een hoofdterm op van de vorm:
   $$\kappa_{n \pmod 3} \frac{2\pi}{d_n^{1/4}} I_{1/2}(x),$$
   waarbij $d_n = 12n+8$, $x = \pi\sqrt{d_n}/18$, en de constanten $\kappa_0, \kappa_1, \kappa_2$ zijn afgeleid van trigonometrische waarden betrokken bij $\pi/18$. Specifiek:

   • $\kappa_0 = \frac{1}{3}\cos(\frac{\pi}{18}) > 0$
   • $\kappa_1 = -\frac{1}{3}\sin(\frac{2\pi}{9}) < 0$
   • $\kappa_2 = -\frac{1}{3}\sin(\frac{\pi}{9}) < 0$

   De auteurs stellen expliciete foutgrenzen vast voor de minor arcs en de niet-dominante delen van de major arcs. Ze bewijzen dat voor voldoende grote $n$ de hoofdterm de foutterm domineert, waardoor het teken van $r(n)$ wordt bepaald.

4. Eindige Verificatie:
   Om het bereik te behandelen waar de asymptotische dominantie nog niet bewezen is, voeren de auteurs een exacte berekening uit met behulp van gehele getalaritmetiek. Ze implementeren een algoritme in de afgeknotte polynoomring $\mathbb{Z}[q]/(q^{L+1})$ om de coëfficiënten $r(n)$ exact te berekenen tot aan het kruispunt dat door de analytische schattingen is bepaald.

Kernresultaten
Het artikel bewijst Stelling 1.1, die de tekenwet voor alle $n \ge 0$ vaststelt:

• $r(3m) > 0$ voor alle $m \ge 0$.
• $r(3m+1) \le 0$ en $r(3m+2) \le 0$ voor alle $m \ge 0$.
• Gelijkheid ($r(n)=0$) komt precies voor bij $n \in \{2, 4, 8, 11, 20\}$.

Het analytische deel van het bewijs garandeert de tekenwet voor $n \ge 392.275$. De exacte gehele getal verificatie bevestigt het resultaat voor $0 \le n < 392.275$, waarbij de specifieke nulpunten worden geïdentificeerd en wordt bevestigd dat er geen tekenovertredingen bestaan in dit eindige bereik.

Betekenis en Claims
Het artikel claimt dat het tekengedrag van mock theta-coëfficiënten kan worden gecontroleerd door een "wortel-van-eenheid dominantieprincipe." In het geval van $\rho(q)$ verschuift de annulering van de dominante pool bij $q=1$ de bepalende factor naar de cubische wortels van eenheid, waarvan de fasen het periodieke tekenpatroon dicteren.

De auteurs suggereren dat deze methodologie niet beperkt is tot $\rho(q)$. Zij geven aan dat dezelfde strategie — het identificeren van de eerste niet-geannuleerde wortel-van-eenheid bijdrage en het controleren van de resterende bogen — ook van toepassing zou moeten zijn op andere derde-orde mock theta-functies. Specifiek citeren zij voorlopig bewijs voor analoge tekenwetten in Ramanujan's functies $\phi(q)$ (periode 4) en $\chi(q)$ (periode 6), en stellen zij een systematisch programma voor om deze resultaten uit te breiden naar alle van Ramanujan bekende mock theta-functies. Het werk overbrugt de kloof tussen de kwalitatieve modulaire eigenschappen van mock theta-functies en de precieze kwantitatieve rekenkundige eigenschappen van hun coëfficiënten.