🔢 mathematics

On the number of binary quadratic forms having discriminant $1-4p$ , $p$ prime

Dieser Artikel liefert eine asymptotische Formel für die Anzahl der Äquivalenzklassen positiver definitiver binärer quadratischer Formen mit der Diskriminante $1-4p$ (wobei $p$ eine Primzahl ist) und stellt ein zufälliges Euler-Produkt-Modell für die Verteilung der Hurwitz-Klassenanzahlen vor.

Ursprüngliche Autoren: Alison Beth Miller, Stanley Yao Xiao

Veröffentlicht 2026-02-12

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Alison Beth Miller, Stanley Yao Xiao

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Architekt, der versucht, die Anzahl aller möglichen Arten zu zählen, wie man einen bestimmten Turm aus Ziegeln bauen kann. Aber es gibt eine strenge Regel: Die Ziegel müssen so angeordnet sein, dass der Turm eine ganz bestimmte, sehr spezielle Form hat.

Genau das ist die Aufgabe dieses wissenschaftlichen Papiers. Die Autoren, Alison Beth Miller und Stanley Yao Xiao, haben sich eine Frage gestellt, die auf den ersten Blick sehr trocken und mathematisch klingt, aber im Kern eine spannende Geschichte über Muster, Zufall und die Struktur unserer Welt erzählt.

Hier ist die Erklärung in einfachen Worten:

1. Das große Rätsel: Die Ziegelsteine (Binäre quadratische Formen)

In der Mathematik gibt es diese Dinge, die man „binäre quadratische Formen" nennt. Man kann sie sich wie Zauberformeln vorstellen, die aus drei Zahlen bestehen (z. B. $ax^2 + bxy + cy^2$ ). Wenn man diese Formeln mit ganzen Zahlen füllt, erhält man Ergebnisse.

Die Forscher interessieren sich nur für Formeln, die eine ganz bestimmte Eigenschaft haben: Ihre „Diskriminante" (eine Art mathematischer Fingerabdruck) muss die Form $1 - 4p$ haben, wobei $p$ eine Primzahl ist.

Primzahlen sind die „Atome" der Zahlenwelt – sie lassen sich nicht weiter teilen.
Die Forscher wollen wissen: Wie viele verschiedene, einzigartige Zauberformeln gibt es, wenn man alle Primzahlen bis zu einer riesigen Grenze $X$ nimmt?

2. Der Vergleich: Der große Haufen vs. die Auserwählten

Bisher wussten die Mathematiker, wie viele solcher Formeln es gibt, wenn man alle Zahlen als $p$ zulässt (nicht nur Primzahlen). Das war wie ein riesiger Haufen Knete, aus dem man alles formen konnte.
Die Vermutung war: „Wenn wir nur die Primzahlen nehmen (also nur die 'reinen' Atome), dann wird die Anzahl der Formeln einfach etwas kleiner sein, aber das Verhältnis bleibt gleich."

Aber die Autoren haben etwas Überraschendes entdeckt!
Sie haben bewiesen, dass die Anzahl der Formeln für Primzahlen nicht einfach nur ein bisschen kleiner ist. Sie ist um einen ganz bestimmten, konstanten Faktor kleiner. Dieser Faktor heißt Artinsche Konstante.

Die Analogie:
Stellen Sie sich vor, Sie werfen eine Million Münzen.

Wenn Sie alle Münzen zählen, haben Sie 1 Million Ergebnisse.
Die alte Vermutung sagte: „Wenn wir nur die Münzen zählen, die auf 'Kopf' fallen, haben wir etwa die Hälfte."
Die neue Entdeckung sagt: „Nein! Wenn wir nur die Münzen zählen, die auf 'Kopf' fallen, haben wir nicht genau die Hälfte, sondern etwas weniger – und zwar genau so viel weniger, wie durch eine spezielle mathematische Regel (die Artinsche Konstante) vorhergesagt wird."

Dieser Faktor ist so etwas wie ein „Steuerabzug" der Mathematik, der nur dann greift, wenn man sich auf Primzahlen beschränkt.

3. Der Zufall im System: Das Zufalls-Modell

Warum passiert das? Die Autoren haben ein cleveres Modell entwickelt, das sie „Zufälliges Euler-Produkt" nennen.
Stellen Sie sich vor, jede Primzahl ist wie ein Würfelspiel.

Bei normalen Zahlen funktioniert das Würfeln so, dass alle Seiten gleich wahrscheinlich sind.
Bei Primzahlen ist das Würfeln aber etwas verzerrt. Bestimmte Ergebnisse (die den Formeln entsprechen) sind bei Primzahlen etwas unwahrscheinlicher als bei normalen Zahlen.

Die Autoren haben dieses „verzerrte Würfeln" mathematisch nachgebaut und gezeigt, dass es genau den Faktor der Artinschen Konstante erklärt. Es ist, als würden sie sagen: „Die Primzahlen sind nicht zufällig genug; sie haben eine kleine Vorliebe, bestimmte Muster zu vermeiden, und das reduziert die Gesamtzahl der möglichen Türme."

4. Die Verbindung zu Knoten (Knotentheorie)

Das Coolste an der Geschichte ist, dass diese trockene Zahlenfrage eigentlich aus der Knotentheorie kommt.

In der Physik und Topologie gibt es „Knoten" (wie Schnürsenkel, die verknotet sind).
Es gibt eine spezielle Art von Knoten (die sogenannten „einfachen Knoten"), die man mit diesen mathematischen Formeln beschreiben kann.
Die Formel $1-4p$ entspricht einem speziellen Knoten mit einer bestimmten Eigenschaft.

Die Autoren sagen also im Grunde: „Wenn wir zählen, wie viele verschiedene Arten es gibt, diese speziellen Knoten zu binden, wenn wir nur die 'reinen' (primen) Varianten zulassen, dann erhalten wir genau diese neue Formel mit dem Artinschen Faktor."

5. Das Ergebnis: Eine präzise Vorhersage

Zusammengefasst haben die Autoren eine Formel gefunden, die mit extrem hoher Genauigkeit vorhersagt, wie viele dieser mathematischen Objekte es gibt.

Die Formel: Sie sieht kompliziert aus, aber im Kern sagt sie: „Die Anzahl ist ungefähr so groß wie $X^{1,5}$ geteilt durch den natürlichen Logarithmus von $X$ , multipliziert mit der Artinschen Konstante."
Warum ist das wichtig? Es zeigt uns, dass Primzahlen in der Welt der quadratischen Formen eine ganz eigene, subtile Rolle spielen, die sich von der Rolle aller anderen Zahlen unterscheidet. Es ist ein Beweis dafür, dass die Mathematik, selbst wenn sie abstrakt wirkt, tiefe, verborgene Gesetzmäßigkeiten hat, die man mit den richtigen Werkzeugen (wie dem hier verwendeten „Zufalls-Modell") sichtbar machen kann.

Fazit für den Alltag:
Stellen Sie sich vor, Sie sammeln Schmetterlinge. Sie wissen, wie viele Schmetterlinge es insgesamt gibt. Aber Sie wollen nur die wissen, die eine bestimmte, seltene Farbe haben. Die Autoren haben herausgefunden, dass die Anzahl der seltenen Schmetterlinge nicht einfach ein fester Prozentsatz der Gesamtmenge ist, sondern dass es eine winzige, aber messbare „Lücke" gibt, die durch eine universelle Konstante beschrieben wird. Und diese Lücke hilft uns zu verstehen, wie die Natur (oder in diesem Fall die Zahlenwelt) aufgebaut ist.

1. Problemstellung und Motivation

Das zentrale Problem der Arbeit besteht darin, eine asymptotische Formel für die Anzahl der $SL_2(\mathbb{Z})$ -Äquivalenzklassen von positiv definiten binären quadratischen Formen über $\mathbb{Z}$ zu finden, deren Diskriminante $\Delta$ die Form $1-4p$ hat, wobei $p$ eine Primzahl ist und $\Delta$ durch eine Schranke $X$ beschränkt ist.

Im Gegensatz zu früheren Arbeiten, die sich auf fundamentale Diskriminanten oder primitive Formen beschränkten, erlaubt diese Zählung auch imprimitive Formen. Dies ist entscheidend für die Anwendung in der Knotentheorie:

Knotentheoretischer Hintergrund: Es gibt eine surjektive Abbildung von solchen quadratischen Formen auf einfache $(4a+1)$ -Knoten vom Geschlecht 1 mit einem bestimmten Alexander-Polynom $\Delta_m(t) = mt^2 - (2m-1)t + m$ .
Spezialfall Primzahl: Wenn $m = \pm p$ eine Primzahl ist, ist diese Abbildung injektiv. Die Autoren wollen also die Anzahl dieser Knoten für Primzahlen $p \le X$ bestimmen.
Frage: Wie groß ist die Summe der Hurwitz-Klassenzahlen $H(1-4p)$ für $p \le X$ ?

Ein vorheriges Heuristik-Argument (in [10]) vermutete, dass das Ergebnis asymptotisch $X^{3/2}/\log X$ sein sollte, basierend auf der Annahme, dass die Klassenzahlen für Primzahlen das gleiche statistische Verhalten wie für alle ganzen Zahlen zeigen. Die Autoren widerlegen diese naive Annahme und zeigen, dass ein zusätzlicher Faktor, die Artinsche Konstante, auftritt.

2. Methodik und Beweisskizze

Der Beweis nutzt die analytische Klassenzahlfunktion und kombiniert Techniken aus der analytischen Zahlentheorie mit probabilistischen Modellen.

A. Umformulierung über Hurwitz-Klassenzahlen

Statt direkt die Anzahl der Formen $H(D)$ zu zählen, arbeiten die Autoren mit den Hurwitz-Klassenzahlen $Hur(D)$, die Formen mit Automorphismen gewichten. Es gilt $H(D) \approx Hur(D)$ bis auf einen Fehlerterm $O(X^{1/2})$ .
Die Hurwitz-Klassenzahl wird über die klassische Klassenzahl $h(D)$ und die analytische Klassenzahlfunktion ausgedrückt:
$Hur(D) = \sum_{d^2 | D} h(D/d^2) = \sum_{d^2 | D} \frac{1}{\pi} L(1, \chi_{D/d^2}) \left| \frac{D}{d^2} \right|^{1/2}$
Dabei ist $\chi_D$ der primitive Dirichlet-Charakter zum Diskriminanten $D$ .

B. Zerlegung der Summe

Die Gesamtsumme $Q(X) = \sum_{p \le X} Hur(1-4p)$ wird in Teilsummen $Q_d(X)$ zerlegt, basierend auf dem Quadrat $d^2$ , das die Diskriminante teilt:
$Q(X) = \sum_{d \ge 1} Q_d(X)$
Jede Teilsumme $Q_d(X)$ beinhaltet eine gewichtete Summe von $L(1, \chi_{(1-4p)/d^2})$ .

C. Abschätzung der gewichteten bilinearen Charaktersummen

Das Kernstück des Beweises ist die Abschätzung der Summe:
$T_d(X) = \sum_{\substack{p \le X \\ d^2 | 1-4p}} L(1, \chi_{(1-4p)/d^2})$
Diese wird durch eine Dirichlet-Reihe dargestellt, die in Kronecker-Symbole $\left(\frac{(1-4p)/d^2}{n}\right)$ zerfällt. Die Autoren verwenden eine Dyadische Zerlegung des Bereichs für $n$ :

Kleines $n$ (bis $(\log X)^B$ ): Hier wird der Satz von Siegel-Walfisz angewendet, um die Summe über Primzahlen $p$ zu schätzen. Dies liefert den Hauptterm.
Großes $n$ (bis $X^{1/2+\epsilon}$ ): Hier werden bilineare Charaktersummen verwendet. Die Autoren nutzen eine Variante des Lemmas von Friedlander und Iwaniec (basierend auf der Polya-Vinogradov-Ungleichung), um diese Summen als Fehlerterme zu kontrollieren.
Sehr großes $n$ : Wird durch Abschneiden der Reihe als vernachlässigbarer Fehler behandelt.

D. Der Random Euler Product Model (Heuristik)

In Abschnitt 3 stellen die Autoren ein zufälliges Euler-Produkt-Modell für die Verteilung der Hurwitz-Klassenzahlen auf.

Sie betrachten die lokalen Faktoren der $L$ -Funktionen $L(s, \chi_D)$ als unabhängige Zufallsvariablen.
Für den Fall, dass $D = 1-4p$ (mit $p$ prim) ist, ändern sich die Wahrscheinlichkeiten für die lokalen Faktoren im Vergleich zum Fall, wo $D$ eine beliebige ganze Zahl ist.
Insbesondere ist die Kongruenzklasse $1 \pmod p$ für $D=1-4p'$ mit Dichte 0 vertreten, was den Durchschnittswert der lokalen Faktoren senkt.
Die Berechnung dieses neuen Erwartungswerts führt exakt auf das Produkt:
$\prod_{\ell \ge 2} \left( 1 - \frac{1}{\ell(\ell-1)} \right)$
Dies ist die Artinsche Konstante $C_{Art}$ . Das Modell erklärt somit, warum die Primzahl-Einschränkung einen Faktor $C_{Art}$ in die asymptotische Formel einführt, der bei der Summe über alle ganzen Zahlen fehlt.

3. Hauptergebnisse

Das Hauptresultat ist der folgende asymptotische Satz (Theorem 1.1 und Theorem 5.3):

Satz: Für $X \ge 2$ gilt:
$\sum_{p \le X} H(1-4p) = C_{Art} \cdot \frac{2\pi}{9} \cdot \frac{X^{3/2}}{\log X} + O\left( \frac{X^{3/2}}{(\log X)^2} \right)$

Dabei ist $C_{Art}$ die Artinsche Konstante:
$C_{Art} = \prod_{\ell \ge 2} \left( 1 - \frac{1}{\ell(\ell-1)} \right) \approx 0.373955$

Vergleich mit früheren Ergebnissen:

Die Summe über alle ganzen Zahlen $m \le X$ (nicht nur Primzahlen) verhält sich wie $\frac{2\pi}{9} X^{3/2}$ .
Die Einschränkung auf Primzahlen reduziert die Anzahl also um den Faktor $C_{Art} / \log X$ (im Vergleich zur Dichte der Primzahlen) bzw. der Faktor $C_{Art}$ erscheint zusätzlich zur erwarteten $1/\log X$ -Dichte.
Dies steht im Kontrast zu früheren Arbeiten (z.B. Nagoshi für Diskriminanten $-p \equiv 1 \pmod 4$ ), bei denen die Einschränkung auf Primzahlen keinen solchen zusätzlichen Faktor erzeugte.

Topologische Konsequenz (Korollar 1.2):
Die Anzahl der $S$ -Äquivalenzklassen von $2 \times 2$ Seifert-Matrizen $P$ mit Alexander-Polynom $\det(tP - P^T) = pt^2 + (1-2p)t + p$ für Primzahlen $p \in [1, X]$ ist asymptotisch:
$\sim C_{Art} \cdot \frac{4\pi}{9} \cdot \frac{X^{3/2}}{\log X}$
(Der Faktor 4 statt 2 kommt daher, dass hier positive und negative definite Formen gezählt werden).

4. Bedeutung und Beiträge

Präzisierung der Heuristik: Das Paper widerlegt die naive Annahme, dass die statistische Verteilung der Klassenzahlen für Primzahlen identisch mit der für alle ganzen Zahlen ist (bis auf die Dichte). Es zeigt, dass die arithmetische Struktur der Form $1-4p$ (insbesondere das Verhalten modulo kleiner Primzahlen) die durchschnittliche Größe der Klassenzahlen systematisch verändert.
Einführung der Artinschen Konstante: Die Arbeit liefert einen neuen, tiefen Kontext für die Artinsche Konstante, die ursprünglich aus der Theorie der primitiven Wurzeln stammt. Hier taucht sie als Korrekturfaktor für die Verteilung von Hurwitz-Klassenzahlen auf.
Verbindung von Knotentheorie und Zahlentheorie: Es wird eine präzise asymptotische Formel für eine spezifische Klasse von Knoten (einfache $(4a+1)$ -Knoten) hergeleitet, was ein wichtiges Ergebnis für die topologische Klassifikation darstellt.
Technische Weiterentwicklung: Die Methode, die analytische Klassenzahlfunktion mit einer Summation über nicht-fundamentale Diskriminanten und der Behandlung von imprimitiven Formen zu kombinieren, erfordert das Summieren unendlich vieler Hauptterme (über $d$ ), was eine sorgfältige Analyse der Konvergenz und der Fehlerterme notwendig macht.

Zusammenfassend liefert das Paper nicht nur eine exakte Zählformel, sondern auch ein probabilistisches Modell (Random Euler Products), das die Verteilung von $L$ -Werten für nicht-standardisierte Diskriminanten erklärt und die Diskrepanz zwischen Primzahlen und allgemeinen ganzen Zahlen in diesem Kontext aufklärt.