Higher order derivative moments of CUE characteristic polynomials and the Riemann zeta function

Deze paper gebruikt de theorie van willekeurige matrices voor het CUE om asymptotische formules voor momenten van afgeleiden van de Riemann-zèta-functie af te leiden, waarbij de resultaten worden uitgedrukt als sommen over contingentietabellen of determinanten met Kostka-getallen, en onder de aanname van de Lindelöf-hypothese wordt een overeenkomst met de gemiddelde waarden van de zèta-functie aangetoond.

De kern

Stel je voor dat je een enorme, wiskundige "wolk" van getallen hebt die de Riemann-zetafunctie wordt genoemd. Deze functie is beroemd (en berucht) omdat ze de sleutel lijkt te zijn tot het begrijpen van priemgetallen, de bouwstenen van de wiskunde. De grootste onopgeloste raadsel in de wiskunde, de Riemann-hypothese, gaat over waar de "nulpunten" van deze wolk zich bevinden.

De auteurs van dit artikel, Alexander Grover, Francesco Mezzadri en Nick Simm, hebben een slimme manier bedacht om deze wolk te bestuderen. Ze gebruiken een trucje uit de natuurkunde: willekeurige matrices.

Hier is een uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. De Wolk en de Spiegel (CUE)

Stel je voor dat je een grote, ronde spiegel hebt (de eenheidscirkel). In de wiskunde noemen ze dit de CUE (Circular Unitary Ensemble). Als je in deze spiegel kijkt, zie je geen echte getallen, maar een willekeurig patroon van lichtvlekken (eigenwaarden).

De auteurs zeggen: "Als we naar de patronen in deze willekeurige spiegel kijken, zien we precies hetzelfde gedrag als bij de nulpunten van de Riemann-zetafunctie."
Het is alsof je probeert het weer in Londen te voorspellen, maar in plaats van naar de lucht te kijken, je naar een willekeurige, wervelende waterplas kijkt. Als de waterplas goed is gekozen, vertelt hij je precies hoe het weer wordt.

2. Het Meten van de "Trillingen" (Afgeleiden)

Meestal kijken wiskundigen alleen naar de "ruis" of de basisvorm van deze spiegel. Maar deze auteurs kijken naar iets veel subtielers: ze kijken naar hoe de spiegel trilt als je er zachtjes op tikt. In wiskundige termen noemen ze dit afgeleiden (derivaten).

Stel je voor dat je een gitaarsnaar hebt:

• De basisfunctie is de toon die je hoort als je de snaar plukt.
• De afgeleiden zijn hoe de snaar beweegt, wiebelt en trilt terwijl hij klinkt.

De vraag is: als je deze trillingen meet op verschillende plekken (soms ver weg van de snaar, soms heel dichtbij), wat zie je dan?

3. Twee Manieren om te Kijken

De auteurs hebben twee verschillende scenario's onderzocht, alsof je naar de spiegel kijkt vanuit twee verschillende posities:

• Scenario A: Van ver weg (Ver weg van de cirkel)
  Stel je voor dat je naar de spiegel kijkt vanuit een kamer ver weg. Je ziet geen details, alleen een groot, wazig patroon.

  • De ontdekking: Ze ontdekten dat dit wazige patroon kan worden beschreven als een gigantische puzzel. De oplossing van de puzzel is een som van alle mogelijke manieren om een rooster (een tabelletje) te vullen met getallen, zodat de rijen en kolommen kloppen. Ze noemen dit "contingency tables" (contingentietabellen). Het is alsof je probeert te tellen hoeveel manieren er zijn om blokken in een doos te stapelen zonder dat er ruimte overblijft.

• Scenario B: Van heel dichtbij (Dicht op de cirkel)
  Nu stap je heel dicht bij de spiegel, tot je bijna je neus tegen het glas drukt. Je ziet nu de microscopische details.

  • De ontdekking: Hier wordt de puzzel anders. In plaats van een simpele tabel, krijgen ze een formule die lijkt op een musical of een koor. De "noten" die ze gebruiken zijn getallen die Kostka-getallen heten. Dit zijn speciale getallen uit de wiskunde die tellen hoe je bepaalde patronen (Young-tableaus) kunt vullen. Het resultaat is een complexe som van determinanten (een soort wiskundige matrix-berekening), maar het is een heel schoon en strak patroon.

4. De Link met de Riemann-zetafunctie

Het mooiste deel is wat ze vervolgens deden. Ze namen hun resultaten uit de "willekeurige spiegel" (de CUE) en vergeleken ze met de echte Riemann-zetafunctie.

Ze zeiden: "Als we aannemen dat een bepaalde wiskundige hypothese waar is (de Lindelöf-hypothese), dan gedraagt de echte zetafunctie zich precies hetzelfde als onze willekeurige spiegel!"

• De betekenis: Dit betekent dat je, om de mysterieuze trillingen van de Riemann-zetafunctie te begrijpen, niet per se naar de getallen zelf hoeft te kijken. Je kunt ze simuleren met willekeurige matrices. Het is alsof je ontdekt dat je de beweging van een zwerm vogels kunt voorspellen door te kijken naar hoe waterdruppels in een plas bewegen.

5. Waarom is dit belangrijk?

Voor de meeste mensen klinkt dit als saaie wiskunde, maar het is cruciaal:

1. Het is een brug: Het verbindt twee werelden die eerder gescheiden leken: de theorie van priemgetallen (zuivere wiskunde) en de statistiek van willekeurige systemen (natuurkunde).
2. Het lost problemen op: Voor sommige specifieke gevallen hebben ze bewezen dat hun formule klopt, zelfs zonder de grote hypothesen. Dit geeft wiskundigen een steviger fundament om op te bouwen.
3. Het is een nieuwe taal: Ze hebben een nieuwe manier gevonden om deze complexe getallen te beschrijven, met behulp van "puzzels" (tabellen) en "koor-noten" (Kostka-getallen).

Kort samengevat:
De auteurs hebben ontdekt dat als je naar de "trillingen" van de beroemdste getallenfunctie ter wereld kijkt, je precies hetzelfde patroon ziet als wanneer je naar een willekeurige, ronddraaiende spiegel kijkt. Ze hebben een nieuwe manier gevonden om dit patroon te beschrijven met behulp van wiskundige puzzels en koormuziek, wat ons dichter bij het oplossen van het grootste raadsel in de getaltheorie brengt.

Technische samenvatting

Titel en Context

Titel: Hogere-orde afgeleide momenten van CUE-karakteristieke polynomen en de Riemann-zètafunctie.
Auteurs: Alexander Grover, Francesco Mezzadri, Nick Simm.
Context: Het artikel bevindt zich op het snijvlak van willekeurige matrixtheorie (Random Matrix Theory - RMT) en analytische getaltheorie. Het bouwt voort op de beroemde connectie die Montgomery en Dyson legden tussen de paren-correlatie van de nulpunten van de Riemann-zètafunctie en de eigenwaarden van grote willekeurige matrices.

Het Probleem

De auteurs bestuderen de momenten van de afgeleiden van de karakteristieke polynomen van matrices uit het Circular Unitary Ensemble (CUE). Specifiek kijken ze naar de gezamenlijke momenten van de vorm:
$$M_{\mu,\nu}(z, N) := \mathbb{E}\left[ \prod_{i=1}^{\ell(\mu)} \Lambda_N^{(\mu_i)}(z) \prod_{j=1}^{\ell(\nu)} \Lambda_N^{(\nu_j)}(z) \right]$$
waarbij $\Lambda_N(z) = \det(1 - zU^\dagger)$ de karakteristieke polynoom is van een $N \times N$ unitaire matrix $U$ (verdeeld volgens de Haar-maat), en $\Lambda^{(k)}$ de $k$-de afgeleide aanduidt.

Het centrale doel is tweeledig:

1. Asymptotische formules afleiden voor deze momenten in de limiet $N \to \infty$ voor twee specifieke regimes van de parameter $z$:
   • Regime 1: $z$ ligt diep binnen de eenheidsschijf ($|z| < 1 - N^{-\alpha}$).
   • Regime 2: $z$ ligt op een microscopische afstand van de eenheidscirkel ($z = 1 - c/N$), wat de kritieke schaal nabij de eigenwaarden benadert.
2. De resultaten van de CUE vergelijken met de gemiddelde waarden van afgeleiden van de Riemann-zètafunctie $\zeta(s)$ die verschoven zijn vanaf de kritieke lijn ($\text{Re}(s) = 1/2$).

Methodologie

De auteurs combineren geavanceerde technieken uit de theorie van willekeurige matrices, symmetrische functies en analytische getaltheorie:

1. Willekeurige Matrixtheorie (CUE):

   • Ze gebruiken de bekende formule voor het gemiddelde van producten van karakteristieke polynomen en hun afgeleiden, uitgedrukt via determinanten van een kern (kernel) $K_N$.
   • Voor Regime 1 (binnen de schijf) benutten ze de uniforme convergentie van de kern naar een Cauchy-kern en gebruiken ze combinatorische expansies (geometrische reeksen) om de momenten te relateren aan contingentietabellen (matrices met niet-negatieve gehele getallen met vaste rij- en kolomsums).
   • Voor Regime 2 (microscopische schaal) voeren ze een schaaltransformatie uit ($z = 1 - c/N$). Ze gebruiken de theorie van symmetrische functies en Schur-polynomen. Een cruciale stap is het gebruik van Kostka-getallen ($K_{\lambda\mu}$), die het aantal semistandaard Young-tableaus van vorm $\lambda$ en inhoud $\mu$ tellen.
   • Ze leiden een exacte formule voor eindige $N$ af (Theorema 2.9) en nemen vervolgens de asymptotische limiet, wat leidt tot determinanten met integralen van de vorm $I_r(\tau) = \int_0^1 x^r e^{-\tau x} dx$.

2. Analytische Getaltheorie (Riemann-zètafunctie):

   • Ze analyseren de gemiddelde waarden van producten van afgeleiden van $\zeta(s)$ voor $\text{Re}(s) = \sigma > 1/2$.
   • Ze maken gebruik van Dirichlet-reeksen en Euler-producten.
   • Voor de limiet $\sigma \to 1/2$ maken ze gebruik van de Lindelöf-hypothese (LH). Onder deze hypothese kunnen ze de gemiddelde waarden relateren aan een som over de coëfficiënten van de Dirichlet-reeks.
   • Voor lage ordes (tot en met tweede orde afgeleiden) bewijzen ze resultaten onvoorwaardelijk (zonder LH) door gebruik te maken van de theorie van Dirichlet-reeksen en de benaderende functionale vergelijking van de zètafunctie.

Belangrijkste Resultaten

1. Asymptotiek binnen de eenheidsschijf (Theorema 1.1)

Voor $z$ ver weg van de eenheidscirkel ($|z| < 1 - N^{-\alpha}$) wordt het moment $M_{\mu,\nu}(z, N)$ gegeven door een asymptotische formule die een som is over contingentietabellen $Q$ en $R$:
$$M_{\mu,\nu}(z, N) \sim \frac{\mu!\nu!}{(1-|z|^2)^{\dots}} \sum_{Q, R} \prod p_{Q_{ij}, R_{ij}}(z, \bar{z})$$
Hierbij zijn $p_{n,m}$ polynomen die afhangen van $z$. Dit resultaat generaliseert eerdere werken van Diaconis en Gamburd over "magic squares" (specifiek voor $z=0$).

2. Asymptotiek op de microscopische schaal (Theorema 1.2)

Voor $z = 1 - c/N$ (waarbij $c$ een constante is) en $N \to \infty$, wordt het gedrag beschreven door een som over partities $\lambda$ en $\rho$, gewogen door Kostka-getallen en een determinant van integralen:
$$\lim_{N \to \infty} \frac{M_{\mu,\nu}(z_N, N)}{N^{\dots}} = \mu!\nu! \sum_{\lambda, \rho} \frac{K_{\lambda\mu} K_{\rho\nu}}{\lambda!(s)\rho!(s)} \det(I_{\alpha_i(\lambda)+\beta_j(\rho)}(\tau))$$
Dit resultaat is geldig voor $c=0$ (precies op de eenheidscirkel) en toont aan dat de structuur van de momenten wordt bepaald door de combinatoriek van Young-tableaus. Het bewijst ook de strikte positiviteit van de leidende coëfficiënten.

3. Connectie met de Riemann-zètafunctie (Propositie 1.3 & Theorema 1.4)

De auteurs tonen aan dat de gemiddelde waarden van afgeleiden van $\zeta(s)$ (verschuiving $\sigma \to 1/2$) dezelfde combinatorische structuur vertonen als de CUE-momenten.

• Onder de Lindelöf-hypothese: De arithmetische factor (afhankelijk van priemgetallen) en de universele factor (afhankelijk van de RMT) splitsen op. De universele factor komt exact overeen met de som over contingentietabellen uit Theorema 1.1.
• Onvoorwaardelijk resultaat: Voor lage momenten (bijvoorbeeld $|\zeta^{(k)}(\sigma+it)|^4$) bewijzen ze de asymptotische vorm zonder de Lindelöf-hypothese. Ze geven een gesloten vorm voor de coëfficiënt $h_k$ in Theorema 1.4.

Significantie en Bijdrage

1. Unificatie van Regimes: Het artikel sluit een belangrijke kloof door asymptotische formules te geven voor zowel het macroscopische regime (diep in de schijf) als het microscopische regime (op de eenheidscirkel), wat eerder gescheiden literatuur was.
2. Combinatorische Diepgang: De ontdekking dat hogere-orde afgeleide momenten worden bestuurd door Kostka-getallen en contingentietabellen biedt een nieuwe, diepere combinatorische structuur voor het begrijpen van RMT-momenten. Dit generaliseert eerdere resultaten voor de eerste afgeleide.
3. Versterking van de RMT-zèta-connectie: Het werk versterkt de hypothese dat de statistiek van de Riemann-zètafunctie (vooral op de kritieke lijn) perfect wordt gemodelleerd door CUE-matrices. Het toont aan dat de "universele" delen van de zèta-momenten (die niet afhankelijk zijn van de specifieke getaltheoretische eigenschappen) exact overeenkomen met de CUE-resultaten, zelfs voor hogere afgeleiden.
4. Technische Doorbraak: De methode om Schur-polynomen en Kostka-getallen direct toe te passen op de afgeleiden van determinanten biedt een krachtig nieuw gereedschap voor de analyse van willekeurige matrixmomenten, dat mogelijk toepasbaar is op andere ensembles en problemen.

Samenvattend biedt dit artikel een rigoureuze wiskundige onderbouwing voor het gebruik van CUE-momenten om de gedragingen van de afgeleiden van de Riemann-zètafunctie te voorspellen, en introduceert het nieuwe combinatorische formules die essentieel zijn voor het begrijpen van deze complexe statistieken.