Der Dimensions-Split in den Statistiken der L-Funktions-Nullstellen: Wenn GUE auf Poisson trifft
Number TheoryL-FunctionsRandom Matrix TheoryRiemann HypothesisSpectral StatisticsGUEMontgomery-OdlyzkoLMFDB
Back openDesk Edu for a sovereign, open-source education â every vote counts.
Vote nowSave products you love by clicking the heart icon.
Im Jahr 1973 stellte Hugh Montgomery eine verblĂźffende Vermutung auf: Die nicht-trivialen Nullstellen der Riemannschen Zeta-Funktion sind so verteilt wie die Eigenwerte zufälliger hermitescher Matrizen aus dem Gaussian Unitary Ensemble (GUE). 14 Jahre und 175 Millionen Nullstellen später bestätigten die numerischen Berechnungen von Andrew Odlyzko in einer HĂśhe von ~10²Ⱐdies â das Histogramm der Abstände und die Vorhersage des GUE sind im Wesentlichen nicht voneinander zu unterscheiden.
Das MontgomeryâOdlyzko-Gesetz wurde zum Gemeingut: Alle L-Funktions-Nullstellen sollten der GUE-Statistik folgen. Die KatzâSarnak-Philosophie (1999) formalisierte dies nach Symmetrietypen, aber die Kernintuition blieb: Nullstellen stoĂen sich quadratisch ab, wie geladene Teilchen auf einer Linie.
Doch ist dies universell? Konvergiert jede L-Funktion, unabhängig von ihrer arithmetischen Komplexität, gegen dasselbe Random-Matrix-Limit?
Wir haben dies an 63.844 Newforms des Gewichts 2 aus der LMFDB getestet â die bisher grĂśĂte Analyse dieser Art â und dabei etwas entdeckt, das uns Ăźberrascht hat.
FĂźr jede der 63.844 Modulformen haben wir die 10 niedrigsten nicht-trivialen Nullstellen der L-Funktion herangezogen (insgesamt 568.708 Abstände zwischen nächsten Nachbarn). Wir haben diese âentfaltetâ (Division durch den mittleren Abstand pro Form) und die Brody-Verteilung angepasst â eine Ein-Parameter-Familie, die zwischen Poisson (β=0, keine AbstoĂung) und GUE (β=2, quadratische AbstoĂung) interpoliert:
P(s; β) = (β+1) ¡ a ¡ s^β ¡ exp(âa ¡ s^(β+1))
Der Parameter β quantifiziert die Level-AbstoĂung. β=0 bedeutet, dass sich die Nullstellen wie unabhängige Zufallspunkte verhalten (ein Poisson-Prozess). β=2 bedeutet, dass sie sich wie GUE-Eigenwerte abstoĂen.
AnschlieĂend haben wir die Analyse nach der Dimension des Hecke-KĂśrpers stratifiziert (der Grad des ZahlkĂśrpers, der durch die Fourier-Koeffizienten der Form erzeugt wird).
| Gruppe | β (MLE) | Interpretation |
|---|---|---|
| Alle Formen (aggregiert) | 0.620 | âIntermediäre AbstoĂungâ â irrefĂźhrend |
| dim = 1 (CM-Formen) | 1.879 | GUE-ähnlich (β=2) |
| dim ⼠2 (Nicht-CM) | 0.242 | Nahe-Poisson (β=0) |
| Rang 0 | 0.676 | Intermediär |
| Rang 1 | 0.538 | Intermediär |
Eindimensionale Galois-Darstellungen (CM-Formen, ~15 % der Population) weisen β â 1,88 auf â im Wesentlichen nicht zu unterscheiden von GUE. Die KolmogorovâSmirnov-Distanz zur GUE-Verteilung beträgt 0,017, fast so niedrig wie die Anpassung an die Brody-Verteilung selbst (0,014).
HĂśherdimensionale Galois-Darstellungen (Nicht-CM-Formen, ~85 %) weisen β â 0,24 auf â kaum Ăźber Poisson. Die Level-AbstoĂung ist dramatisch schwächer.
Das aggregierte β â 0,62 ist bedeutungslos. Es ist schlicht ein gewichteter Durchschnitt: 15 % GUE + 85 % Poisson â 0,49 (die geringfĂźgige Abweichung zu 0,62 resultiert aus der Ăberlappung der Verteilungen).
Die Trennung ist nach jedem statistischen Standard extrem: Cohen's d = 8,808, z = 101,6Ď.
CM-Formen sind âeinfachâ. Formen mit komplexer Multiplikation faktorisieren ihre L-Funktion als Produkt zweier Hecke-L-Funktionen Ăźber einem quadratischen KĂśrper. Arithmetisch sind sie der âgutmĂźtigeâ Fall â und ihre Nullstellen verhalten sich genau so, wie MontgomeryâOdlyzko es vorhersagt.
Nicht-CM-Formen sind âkomplexâ. Die hĂśherdimensionale Galois-Darstellung fĂźhrt eine arithmetische Struktur ein, die spektrale Korrelationen zu unterdrĂźcken scheint. Die Nullstellen stoĂen sich kaum ab â sie sind fast wie unabhängige Zufallspunkte.
Was auffällt, ist, dass der analytische Rang â die Ordnung der Nullstelle bei s=1/2, welche tiefe arithmetische Informationen Ăźber elliptische Kurven kodiert â nur einen sekundären Effekt hat. Rang 0 (β=0,68) und Rang 1 (β=0,54) sind beide intermediär, und ihre Werte lassen sich vollständig durch den Anteil an CM- gegenĂźber Nicht-CM-Formen in der jeweiligen Ranggruppe erklären. Der primäre strukturelle Determinant ist die Dimension, nicht der Rang.
Das MontgomeryâOdlyzko-Gesetz ist nicht universell. Es gilt fĂźr die Riemannsche Zeta-Funktion und fĂźr CM-Formen, aber nicht fĂźr generische Nicht-CM-L-Funktionen (zumindest nicht bei nur 10 Nullstellen). Dies stellt eine Kernannahme der analytischen Zahlentheorie infrage.
Die Dimension ist die Variable, nicht der Rang. Die LMFDB-Community hat sich stark auf den analytischen Rang konzentriert (aus offensichtlichen GrĂźnden â er ist die Goldmine fĂźr elliptische Kurven). Unsere Ergebnisse legen jedoch nahe, dass die Dimension des Hecke-KĂśrpers der fundamentalere Parameter fĂźr die Spektralstatistik ist.
Es gibt eine Analogie zur statistischen Mechanik. Die Drei-Punkt-Funktion des Brody-Modells besitzt eine exakte LĂśsung, die β mit einem Screening-Parameter verbindet â das DebyeâHĂźckel-Bild in 1D. GUE (β=2) ist âkristallisiertâ (starke AbstoĂung); Poisson (β=0) ist âgasartigâ (keine Interaktion). Die Aufteilung nach Dimensionen entspricht einem PhasenĂźbergang in der arithmetischen Komplexität.
Dies wirft mehr Fragen auf, als es beantwortet:
HĂśhenabhängigkeit: WĂźrden wir bei Nicht-CM-Formen mit mehr Nullstellen (jenseits von zââ) GUE sehen? Effekte durch endliche Stichproben sind plausibel.
Sub-dimensionale Struktur: Variiert β kontinuierlich mit der Dimension? Wir haben dâĽ2 in einer Gruppe zusammengefasst â d=2, d=3, d=4 kĂśnnten unterschiedliche β-Werte haben.
Gewichtsabhängigkeit: Alle Formen haben das Gewicht 2. Wie sieht es mit Formen der Gewichte 4, 6, 8 aus?
Die Verbindung zur Physik: Ein begleitendes Experiment zu Cayley-Graph-Spektren fand einen scharfen PhasenĂźbergang bei d=6 in der spektralen Zeta-Anpassung. Die gleiche Art von dimensionalem Ăbergang, in einem vĂśllig anderen Kontext. Zufall?
Hätte man mich vor dieser Analyse gefragt, ob die Statistik der L-Funktions-Nullstellen von der Galois-Dimension abhängt, hätte ich âwahrscheinlich nichtâ getippt. Die Nullhypothese â ein universelles GUE-Verhalten â ist tief in der Literatur verankert.
Die Daten sagen etwas anderes. Die Trennung ist real, sie ist groĂ, und es ist die Dimension, nicht der Rang, die zählt.
Manchmal ist das interessanteste Signal jenes, das man zufällig findet, während man nach etwas anderem sucht.
Vollständiges Paper: Dimension-Dependent Spectral Statistics of L-Function Zeros
Daten: LMFDB â 63.844 Newforms des Gewichts 2, 568.708 Nullstellen-Abstände