🔢 mathematics

Consecutive non-square nom-primitive pairs in as finite field

Die Arbeit zeigt, dass endliche Körper $\mathbb{F}_q$ mit ungerader Primzahlpotenz $q$ unter bestimmten Bedingungen an den Anteil $\theta_q$ der primitiven Elemente stets Paare aufeinanderfolgender Elemente enthalten, die sowohl Nichtquadrat als auch nicht-primitiv (bzw. $\ell$ -te Potenzen) sind, und erweitert damit frühere Ergebnisse für Primkörper.

Ursprüngliche Autoren: Stephen D. Cohen

Veröffentlicht 2026-04-24

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Stephen D. Cohen

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

Die große Suche nach den „versteckten Nachbarn" in einer mathematischen Welt

Stellen Sie sich vor, Sie betreten eine riesige, geschlossene Stadt, die Endliche Körper (Finite Fields) genannt wird. Diese Stadt hat eine ganz bestimmte Anzahl an Einwohnern, nennen wir sie q. Jeder Einwohner hat eine ID-Nummer.

In dieser Stadt gibt es zwei besondere Arten von „Elite-Clubs":

Der Primitive-Club: Nur die absoluten Stars gehören hier rein. Sie haben eine besondere Eigenschaft: Wenn man sie immer wieder mit sich selbst multipliziert, durchlaufen sie alle möglichen Nummern in der Stadt, bevor sie sich wiederholen. Sie sind die „Generatoren" der Stadt.
Der Nicht-Quadrat-Club: Das sind die Einwohner, die nicht als „perfekte Quadrate" (wie 4, 9, 16) entstehen können. Man kann sie nicht als Ergebnis einer einfachen Multiplikation eines Ganzzahls mit sich selbst darstellen.

Das Problem:
Die Mathematiker wissen schon lange, dass es in dieser Stadt oft zwei Nachbarn gibt, die beide zum „Primitive-Club" gehören (z. B. die Nummern 5 und 6). Das ist bekannt.

Aber die große Frage war: Gibt es auch zwei Nachbarn, die keine Stars sind (also nicht primitiv) UND auch keine perfekten Quadrate?
Man nennt diese beiden Nachbarn in der Fachsprache NSNP-Paare (Non-Square Non-Primitive).

Stellen Sie sich vor, Sie suchen in einer Menschenmenge nach zwei Personen, die nebeneinander stehen, die weder Prominente sind noch eine „perfekte" Nummer haben. Sind sie da? Immer? Oder gibt es Städte, in denen das unmöglich ist?

Die Regel der „Dreiteilung" (Der Schlüssel zum Erfolg)

Der Autor, Stephen Cohen, hat eine neue Regel gefunden, die sagt, wann man diese Nachbarn garantiert findet.

Er führt eine Zahl ein, nennen wir sie θ (Theta). Diese Zahl misst, wie viele „Stars" (primitive Elemente) es in der Stadt im Verhältnis zur Gesamtbevölkerung gibt.

Wenn θ groß ist, gibt es viele Stars.
Wenn θ klein ist, gibt es wenige Stars.

Die alte Regel: Früher dachten Mathematiker, man müsse sehr viele Nicht-Stars haben (θ muss kleiner als 1/4 sein), um garantiert zwei solche Nachbarn zu finden.

Die neue Entdeckung: Cohen sagt: „Nein, das ist zu streng!"
Er beweist, dass man diese Nachbarn schon findet, wenn die Zahl der Stars nicht zu groß ist, nämlich wenn θ kleiner als 1/3 ist.

Die Analogie:
Stellen Sie sich vor, θ ist der Anteil an Prominenten in einer Stadt.

Wenn mehr als 1/3 der Stadt Prominente sind, ist es vielleicht zu laut und chaotisch, um die „normalen" Nachbarn zu finden.
Aber sobald die Prominenten weniger als ein Drittel der Bevölkerung ausmachen, wird es so ruhig, dass man garantiert zwei „normale" Nachbarn findet, die sich nicht als perfekte Quadrate tarnen.

Die Ausnahmen (Die kleinen Sonderfälle)

Wie bei jeder guten Regel gibt es ein paar kleine Städte, die sich anders verhalten. Cohen hat herausgefunden, dass die Regel fast immer gilt, außer in ganz spezifischen kleinen Städten mit den Größen: 7, 13, 19, 25, 37 und 43.

In diesen winzigen Städten gibt es einfach nicht genug Platz, um diese speziellen Nachbarn unterzubringen. Aber sobald die Stadt größer wird oder die Anzahl der Stars unter die 1/3-Grenze fällt, sind die Nachbarn immer da.

Wie hat er das bewiesen? (Die Detektivarbeit)

Cohen hat nicht einfach nur geraten. Er hat zwei Werkzeuge benutzt:

Das Sieb (The Sieve):
Stellen Sie sich ein Sieb vor, durch das man die Zahlen der Stadt füllt. Er hat gezeigt, dass wenn die Stadt groß genug ist (was bei θ < 1/3 fast immer der Fall ist), das Sieb garantiert zwei passende Zahlen herausfiltert. Für sehr große Städte ist das mathematisch leicht zu beweisen.
Die Aktenkoffer (Cyclotomic Numbers):
Für die kleineren Städte (wo das Sieb vielleicht nicht reicht), hat Cohen in alten mathematischen Aktenkoffern (Tafeln von Gauss und Jacobi) nachgeschaut. Er hat die Zahlen für die kleinen Städte (wie 7, 13, 19...) einzeln durchgerechnet und geprüft.
- Ergebnis: In den meisten kleinen Städten gibt es die Nachbarn.
- In den Ausnahmen (7, 13, 19, 25, 37) gibt es sie wirklich nicht.
- Überraschung: In der Stadt mit der Größe 43 gibt es sie doch! Er hat ein spezielles Paar (7 und 8) gefunden, das die Regel rettet.

Warum ist das wichtig?

Früher war es sehr schwer zu beweisen, dass solche „unprominenten" Nachbarn existieren. Die Mathematik liebt es, wenn Dinge „primitive" (einfache, generierende) Eigenschaften haben. Dinge, die nicht primitiv sind, sind schwieriger zu fassen.

Cohens Arbeit zeigt uns:

Man muss nicht extrem viele Nicht-Stars haben, um sie zu finden.
Die Grenze liegt bei 1/3.
Es ist eine Art „Grenzüberschreitung": Solange die Prominenz der Stadt unter 33% bleibt, findet man garantiert diese speziellen, unauffälligen Nachbarn.

Zusammenfassung in einem Satz

Stephen Cohen hat bewiesen, dass in fast jeder mathematischen Stadt, in der weniger als ein Drittel der Einwohner „Superstars" sind, garantiert zwei Nachbarn existieren, die weder Stars noch perfekte Quadrate sind – mit nur wenigen winzigen Ausnahmen, die er genau aufgelistet hat.

Das ist wie ein mathematischer Nachweis dafür, dass in einer Welt, die nicht von Eliten dominiert wird, immer Platz für die „normalen" Nachbarn ist.

1. Problemstellung

Der Artikel untersucht die Existenz von aufeinanderfolgenden Paaren von Elementen in einem endlichen Körper $\mathbb{F}_q$ (wobei $q$ eine ungerade Primzahlpotenz ist), die zwei spezifische Eigenschaften gleichzeitig erfüllen:

Sie sind keine Quadrate (Non-Squares, NS).
Sie sind keine primitiven Elemente (Non-Primitive, NP).

Solche Elemente werden als NSNP-Elemente bezeichnet. Ein NSNP-Paar ist ein Paar $(\alpha, \alpha+1)$ , bei dem beide Elemente NSNP sind.

Hintergrund und Motivation:

Es ist bekannt, dass für $q > 3$ aufeinanderfolgende Nicht-Quadrate existieren.
Die tiefere Frage ist, ob es auch aufeinanderfolgende Elemente gibt, die sowohl Nicht-Quadrate als auch nicht-primitiv sind.
Ein triviales Hindernis tritt auf, wenn $\theta_q = \frac{\phi(q-1)}{q-1} = \frac{1}{2}$ ist (d.h. wenn $q$ eine Fermat-Primzahl oder $q=9$ ist). In diesem Fall ist jedes Nicht-Quadrat automatisch primitiv, sodass keine NSNP-Elemente existieren.
Daher ist eine Einschränkung an $\theta_q$ (dem Anteil der primitiven Elemente) notwendig.
Bisherige Ergebnisse (z.B. von Jarso und Trudgian für Primkörper $\mathbb{F}_p$ ) zeigten die Existenz solcher Paare unter der Bedingung $\theta_p \le \frac{1}{4}$ .

Ziel der Arbeit:
Die Bedingung für die Existenz von NSNP-Paaren zu verschärfen (d.h. den zulässigen Bereich für $\theta_q$ zu erweitern) und die Existenz für $\theta_q \le \frac{1}{3}$ zu beweisen, mit Ausnahme einer kleinen, explizit bestimmten Menge von Ausnahmen.

2. Methodik

Cohen verwendet eine Kombination aus analytischen Methoden (Charaktersummen, Jacobi-Summen) und kombinatorischen/numerischen Überprüfungen.

A. Verallgemeinerung auf $\ell$ -te Potenzen

Statt direkt nach NSNP-Paaren zu suchen, betrachtet der Autor eine allgemeinere Klasse: NS $\ell$ -Paare.

Sei $\ell$ eine ungerade Primteiler von $q-1$ .
Ein Element ist ein NS $\ell$ -Element, wenn es ein Nicht-Quadrat und gleichzeitig ein $\ell$ -tes Potenz ist.
Da jedes $\ell$ -te Potenz (für $\ell > 2$ ) nicht-primitiv ist, impliziert die Existenz eines NS $\ell$ -Paares die Existenz eines NSNP-Paares.
Der Fokus liegt auf dem kleinsten ungeraden Primteiler $\ell$ von $q-1$ .

B. Untere Schranken via Jacobi-Summen (Abschnitt 2)

Um eine untere Schranke für die Anzahl $N_\ell(q)$ der NS $\ell$ -Paare zu finden, wird die charakteristische Funktion für NS $\ell$ -Elemente mit Hilfe von multiplikativen Charakteren ausgedrückt.

Sei $\lambda$ der quadratische Charakter und $\eta$ ein Charakter der Ordnung $\ell$ .
Die Anzahl $N_\ell(q)$ wird als Summe über Produkte dieser Charaktere dargestellt, was auf Jacobi-Summen $J(\chi_1, \chi_2)$ führt.
Durch Auswertung der Hauptterme und Abschätzung der Fehlerterme (die durch die Beträge der Jacobi-Summen $\sqrt{q}$ begrenzt sind) wird eine explizite untere Schranke hergeleitet:
$N_\ell(q) \ge \frac{q - 4(\ell-1)^2\sqrt{q} - (\ell-2)(1+\lambda(-1)) - 3}{4\ell^2}$
Daraus folgt das Korollar 2.2: Wenn $q > 16\ell^4$ , existiert garantiert ein NS $\ell$ -Paar.

C. Fallunterscheidung nach $\ell$

Große $\ell$ ( $\ell \ge 7$ ):
- Für $\ell \ge 7$ zeigt der Autor, dass die Bedingung $\theta_q \le \frac{1}{3}$ impliziert, dass $q$ sehr groß sein muss (insbesondere $q > 16\ell^4$ ).
- Dies wird durch Abschätzung des Produkts der Primfaktoren von $q-1$ bewiesen (Lemma 3.3 und Theorem 3.4).
- Da $q$ groß genug ist, garantiert Korollar 2.2 die Existenz.
Kleine $\ell$ ( $\ell = 3$ und $\ell = 5$ ):
- Hier ist die analytische Schranke nicht stark genug, um alle $q$ abzudecken.
- Fall $\ell = 3$ : Der Autor nutzt zyklische Zahlen (Cyclotomic Numbers) der Ordnung 6. Anstatt die Jacobi-Summen manuell zu berechnen, werden bekannte Tabellen (Gauss, Jacobi, Whiteman) verwendet, um exakte Werte für $N_3(q)$ zu bestimmen.
- Fall $\ell = 5$ : Für $q \equiv 11 \pmod{30}$ (da $3 \nmid q-1$ ) werden verbleibende kleine Fälle durch direkte Berechnung (mittels Pari/GP) überprüft.

D. Numerische Überprüfung

Für die kleinen Werte von $q$ , bei denen die analytischen Schranken versagen, führt der Autor exakte Berechnungen durch, um zu bestimmen, ob $N_\ell(q) > 0$ ist. Dies führt zur Identifikation der exakten Ausnahmen.

3. Wichtige Beiträge und Ergebnisse

Haupttheorem (Theorem 1.1)

Sei $q$ eine ungerade Primzahlpotenz und $\theta_q = \frac{\phi(q-1)}{q-1}$ .

Wenn $\theta_q < \frac{1}{3}$ , enthält $\mathbb{F}_q$ ein NSNP-Paar.
Wenn $\theta_q = \frac{1}{3}$ , enthält $\mathbb{F}_q$ ein NSNP-Paar, außer wenn $q \in \{7, 13, 19, 25, 37\}$ .

Dies verbessert das vorherige Ergebnis von Jarso und Trudgian ( $\theta_p \le \frac{1}{4}$ ) erheblich.

Verallgemeinertes Theorem (Theorem 1.2)

Sei $\ell$ der kleinste ungerade Primteiler von $q-1$ . Wenn $\theta_q \le \frac{1}{3}$ , enthält $\mathbb{F}_q$ ein NS $\ell$ -Paar, außer wenn $\ell=3$ und $q \in \{7, 13, 19, 25, 37, 43\}$ .

Bemerkung zu $q=43$ : Obwohl $q=43$ eine Ausnahme für NS3-Paare ist (da $N_3(43)=0$ ), existiert dort dennoch ein NSNP-Paar, nämlich $(7, 8)$ . Daher ist $43$ keine Ausnahme für Theorem 1.1.

Detaillierte Ergebnisse für kleine $q$

Für $\ell=3$ : Die Analyse der zyklischen Zahlen zeigt, dass $N_3(q) = 0$ genau für $q \in \{7, 13, 19, 25, 37, 43\}$ gilt. Für alle anderen $q$ mit $3 \mid (q-1)$ existiert ein Paar.
Für $\ell=5$ : Die verbleibenden Fälle ( $q \in \{911, 1331, 2381, 3221, 3851\}$ ) wurden numerisch bestätigt; in allen Fällen existieren NS5-Paare.

4. Bedeutung und Interpretation

Schwellenwert $\theta_q = 1/3$ : Der Artikel etabliert $\frac{1}{3}$ als kritischen Schwellenwert.
- $\theta_q < 1/6$ : NSNP-Elemente sind mindestens doppelt so häufig wie primitive.
- $\theta_q \le 1/4$ : NSNP-Elemente sind mindestens so häufig wie primitive.
- $\theta_q \le 1/3$ : NSNP-Elemente sind mindestens halb so häufig wie primitive.
- Die Existenz von aufeinanderfolgenden NSNP-Paaren ist also vergleichbar schwierig wie die von primitiven Paaren, aber die Struktur der Nicht-Quadrate erfordert andere Methoden (obere Schranken-Siebverfahren sind hier nicht direkt anwendbar).
Methodischer Fortschritt: Der Artikel demonstriert erfolgreich die Kombination von asymptotischen Schranken (für große $q$ ) mit exakten algebraischen Formeln (zyklische Zahlen) und numerischer Verifikation (für kleine $q$ ), um ein scharfes Ergebnis zu erzielen.
Offene Fragen: Der Autor wirft Fragen für zukünftige Forschung auf, darunter:
- Die Situation für gerade Primzahlpotenzen ( $q=2^k$ ).
- Ob die Bedingung $\theta_q \le 1/3$ für $\ell \ge 7$ noch weiter gelockert werden kann.
- Die Existenz von drei aufeinanderfolgenden NSNP-Elementen.

Zusammenfassung

Stephen D. Cohen beweist, dass in fast allen endlichen Körpern $\mathbb{F}_q$ (mit $\theta_q \le 1/3$ ) aufeinanderfolgende Elemente existieren, die weder Quadrate noch primitiv sind. Die Arbeit schließt die Lücke zwischen früheren Ergebnissen und liefert eine vollständige Klassifikation der Ausnahmen durch eine elegante Mischung aus analytischer Zahlentheorie und computergestützter Verifikation.