🔢 mathematics

Waring's problem involving D.H. Lehmer numbers

Diese Arbeit beweist, dass jede hinreichend große ganze Zahl, außer jenen, die kongruent zu 15 oder 16 modulo 16 sind, als Summe von 14 Mächtigkeiten der vierten Potenz von D.H. Lehmer-Zahlen ausgedrückt werden kann, während alle hinreichend großen ganzen Zahlen als Summe von 16 solcher Mächtigkeiten der vierten Potenz dargestellt werden können.

Ursprüngliche Autoren: Yang Qu, Rong Ma

Veröffentlicht 2026-06-09

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Yang Qu, Rong Ma

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 haben eine riesige, unendliche Kiste mit Bausteinen. In der Welt der Mathematik gibt es ein berühmtes Spiel namens Waring-Problem. Das Ziel dieses Spiels ist simpel: Kann man jede beliebige große Zahl aus einer bestimmten Anzahl von „Potenz-Bausteinen“ bauen?

Zum Beispiel: Kann man die Zahl 100 aus Quadraten (wie $1^2, 2^2, 3^2$ ) bauen? Oder aus Kuben? Die Mathematiker in dieser Arbeit spielen eine spezifische Version dieses Spiels unter Verwendung von Viertelpotenzen (Zahlen wie $1^4, 2^4, 3^4, 4^4$ , also 1, 16, 81, 256 usw.).

Die speziellen „Lehmer“-Bausteine

Normalerweise können Sie jede beliebige ganze Zahl verwenden, um Ihren Turm zu bauen. Aber die Autoren dieser Arbeit haben sich dazu entschieden, mit einem sehr wählerischen Satz von Bausteinen zu spielen, den man D.H. Lehmer-Zahlen nennt.

Betrachten Sie diese Zahlen als „VIP-Mitglieder“ der Zahlenwelt. Um ein VIP zu sein (eine Lehmer-Zahl), muss eine Zahl eine strenge Sicherheitsprüfung im Zusammenhang mit einer Primzahl (nennen wir sie $p$ ) bestehen:

Sie muss teilerfremd zu $p$ sein (sie darf keine gemeinsamen Faktoren mit $p$ haben).
Wenn man ihre „Partnerzahl“ (ihre modulare Inverse) findet und diese zu der ursprünglichen Zahl addiert, muss das Ergebnis eine ungerade Zahl sein.

Es ist wie in einem Club, in dem man nur eintreten darf, wenn die eigene ID-Nummer und die ID-Nummer des Partners zusammen eine ungerade Summe ergeben. Die Autoren wollten sehen, ob diese speziellen, eingeschränkten VIP-Bausteine immer noch stark genug sind, um jede große Zahl zu bauen.

Die große Entdeckung

Die Arbeit beweist zwei wesentliche Dinge über das Bauen dieser Zahlen unter Verwendung von Viertelpotenzen dieser VIP-Bausteine:

1. Die Regel der „Fast Perfekten“ (Theorem 1)
Wenn Sie eine sehr große Zahl haben, können Sie diese fast immer mit 14 dieser VIP-Viertelpotenz-Bausteine bauen.

Der Haken: Es gibt zwei Ausnahmen. Wenn Ihre Zielzahl bei der Division durch 16 einen Rest von 15 oder 16 lässt, können Sie sie nicht mit nur 14 Bausteinen bauen. Es ist, als versuche man, einen quadratischen Stift in ein rundes Loch zu stecken; die Mathematik passt hier einfach nicht zusammen.

2. Die Regel der „Sicheren Bank“ (Theorem 2)
Wenn Sie bereit sind, 16 statt 14 Bausteine zu verwenden, können Sie jede hinreichend große Zahl bauen, egal wie hoch der Rest ist.

Warum 16? Die Autoren haben bemerkt, dass die Zahl 1 selbst ein VIP-Baustein ist. Wenn Sie also eine „sture“ Zahl haben (eine, die 15 oder 16 mod 16 ist), können Sie einfach zwei 1er (welche $1^4$ sind) von Ihrer Zielzahl abziehen. Dies verändert die Zahl in eine Zahl, die mit 14 Bausteinen gebaut werden kann. Addieren Sie die zwei 1er wieder hinzu, und Sie haben insgesamt 16 Bausteine verwendet, um die ursprüngliche Zahl zu bauen.

Wie sie es gelöst haben

Um dies zu beweisen, haben die Autoren nicht einfach zufällige Kombinationen ausprobiert. Sie verwendeten ein ausgeklügeltes mathematisches Werkzeugzeug, die sogenannte Hardy-Littlewood-Kreismethode.

Stellen Sie sich vor, Sie versuchen, eine ganz bestimmte Nadel in einem Heuhaufen zu finden.

Die Kreismethode ist wie ein riesiger Metalldetektor, der den gesamten Heuhaufen scannt. Er trennt die „einfachen“ Teile des Problems (wo die Zahlen sich gut verhalten) von den „schwierigen“ Teilen (wo sie chaotisch sind).
Die Autoren mussten zeigen, dass selbst mit ihren eingeschränkten „VIP“-Bausteinen die „einfachen“ Teile des Scans laut und deutlich genug waren, um eine Lösung zu garantieren, während die „schwierigen“ Teile zu leise waren, um Probleme zu verursachen.

Sie mussten auch beweisen, dass genügend VIP-Bausteine zur Verfügung stehen, um die Aufgabe zu erfüllen. Sie zeigten, dass diese Zahlen dicht genug verteilt sind, damit man niemals ausgeht, wenn man einen großen Turm bauen möchte.

Das Fazit

Diese Arbeit ist ein Sieg für die „VIP“-Zahlen. Sie zeigt, dass D.H. Lehmer-Zahlen, obwohl sie eine sehr spezifische, wählerische Teilmenge der ganzen Zahlen sind, kraftvoll genug sind, um ein klassisches, schwieriges mathematisches Problem zu lösen.

Mit 14 Bausteinen: Können Sie fast alles bauen (außer Zahlen, die 15 oder 16 mod 16 sind).
Mit 16 Bausteinen: Können Sie absolut alles bauen.

Es ist ein wenig so, als würde man entdecken, dass man selbst dann fast jede Burg bauen kann, wenn man statt aller Farben zur Verfügung hat, nur rote und blaue LEGO-Steine besitzt – vorausgesetzt, man hat genug von ihnen.

Technisches Resümee: Das Waring-Problem unter Verwendung von D.H.-Lehmer-Zahlen

Problemstellung
Diese Arbeit befasst sich mit einer Variation des klassischen Waring-Problems, konkret der Untersuchung der Darstellung hinreichend großer positiver ganzer Zahlen als Summen von vierten Potenzen von D.H.-Lehmer-Zahlen. Sei $p$ eine ungerade Primzahl. Eine D.H.-Lehmer-Zahl ist definiert als eine ganze Zahl $a$ , für die gilt: $1 \le a \le p$ , $\gcd(a, p) = 1$ und $a + \bar{a} \equiv 1 \pmod 2$ , wobei $\bar{a}$ das eindeutige multiplikative Inverse von $a$ modulo $p$ im Bereich $[1, p]$ ist. Die Menge dieser Zahlen wird als $L(p)$ bezeichnet.

Die Autoren untersuchen, wie viele vierte Potenzen aus der Menge $L(p)$ benötigt werden, um jede hinreichend große ganze Zahl darzustellen. Dies baut auf den klassischen Ergebnissen von H. Davenport auf, der etablierte, dass jede hinreichend große ganze Zahl die Summe von 16 vierten Potenzen natürlicher Zahlen ist, und dass jede hinreichend große ganze Zahl, die nicht kongruent zu 15 oder 16 modulo 16 ist, die Summe von 14 solchen Potenzen ist. Das Ziel der Arbeit ist es, diese Befunde auf die eingeschränkte Menge der D.H.-Lehmer-Zahlen zu erweitern.

Methodik
Die Autoren verwenden die Hardy-Littlewood-Kreismethode, eine Standardtechnik der analytischen additiven Zahlentheorie. Der Kern der Methodik umfasst:

Erzeugende Funktionen: Die Autoren definieren exponentielle Summen über die Menge $L(p)$ . Konkret ist $T(\alpha) = \sum_{x \sim P, x \in L(p)} e(\alpha x^4)$ , wobei $P \approx (N/100)^{1/4}$ . Um die Darstellung von $N$ als Summe von 14 vierten Potenzen zu behandeln, führen sie eine Hilfsmenge von ganzen Zahlen $\{u_1, \dots, u_U\}$ ein, welche Summen von 4 vierten Potenzen von Lehmer-Zahlen sind, und definieren $U(\alpha) = \sum_{h=1}^U e(\alpha u_h)$ .
Integraldarstellung: Die Anzahl der Darstellungen, $r_{14}(N)$ , wird als Integral über das Einheitsintervall ausgedrückt: $r_{14}(N) = \int_0^1 T^6(\alpha) U^2(\alpha) e(-N\alpha) d\alpha$ .
Major- und Minor-Bögen: Der Integrationsbereich wird in Major-Bögen $\mathfrak{M}$ $M$ (nahe an rationalen Zahlen mit kleinen Nennern) und Minor-Bögen $\mathfrak{m}$ $m$ unterteilt.
- Approximation auf den Major-Bögen: Die Autoren approximieren die exponentielle Summe $T(\alpha)$ auf den Major-Bögen unter Verwendung einer singulären Serienkomponente $T^*(\alpha, a, q)$ und eines Fehlerterms $H(\alpha)$ . Dies beruht auf der Zerlegung der Summe über $L(p)$ mittels Charaktersummen und den Eigenschaften der Möbius-Funktion.
- Abschätzung auf den Minor-Bögen: Unter Verwendung von Weyl'scher Ungleichung und Schranken für exponentielle Summen unter Einbeziehung von Charakteren etablieren die Autoren, dass der Beitrag von den Minor-Bögen im Vergleich zum Hauptterm vernachlässigbar ist.
Lemmata und Schranken: Der Beweis stützt sich auf eine Reihe von Lemmata, die Schranken für Folgendes festlegen:
- Charaktersummen (Lemma 1).
- Die Verteilung von Lehmer-Zahlen in kurzen Intervallen (Lemma 3, Lemma 5).
- Die Anzahl der Lösungen zu Gleichungen der Form $x^4 + u_h = y^4 + u_i$ (Lemma 6).
- Die Dichte von Zahlen, die als Summen von $s$ vierten Potenzen von Lehmer-Zahlen darstellbar sind (Lemma 7).
- Schranken für $T(\alpha)$ sowohl auf den Major- als auch auf den Minor-Bögen (Lemma 8, Lemma 14).

Zentrale Beiträge und Ergebnisse
Die Arbeit etabliert zwei primäre Sätze bezüglich der Darstellbarkeit großer ganzer Zahlen:

Theorem 1: Jede hinreichend große positive ganze Zahl $N$ , unter der Bedingung, dass $N \not\equiv 15, 16 \pmod{16}$ , kann als Summe von 14 vierten Potenzen von D.H.-Lehmer-Zahlen dargestellt werden.
Theorem 2: Jede hinreichend große positive ganze Zahl kann als Summe von 16 vierten Potenzen von D.H.-Lehmer-Zahlen dargestellt werden.

Der Beweis von Theorem 1 erfolgt durch den Nachweis, dass der Hauptterm in der Integraldarstellung die Fehlerterme dominiert, wodurch sichergestellt wird, dass $r_{14}(N) > 0$ für die spezifizierten Kongruenzklassen gilt. Theorem 2 folgt unmittelbar aus Theorem 1 und der Beobachtung, dass 1 eine Lehmer-Zahl ist; somit können ganze Zahlen, die kongruent zu 15 oder 16 modulo 16 sind, durch Subtraktion von zwei Instanzen von $1^4$ auf die Form $N-2$ (welche in die zulässigen Kongruenzklassen fällt) reduziert werden.

Bedeutung und Ansprüche
Die Autoren geben an, dass dies die erste Forschung ist, die sich spezifisch mit dem Waring-Problem unter Verwendung von D.H.-Lehmer-Zahlen befasst. Die Bedeutung der Arbeit liegt in:

Erweiterung klassischer Resultate: Es gelingt, die ausgereiften Methoden, die für das klassische Waring-Problem (speziell für $k=4$ ) verwendet werden, erfolgreich auf eine durch Modulo-Arithmetik definierte eingeschränkte Menge von ganzen Zahlen zu adaptieren.
Validierung von $G(4)=16$ : Die Autoren merken an, dass ihr Ergebnis, welches den Bereich der als Summen von 16 vierten Potenzen darstellbaren Zahlen auf die spezifische Teilmenge der Lehmer-Zahlen einschränkt, eine alternative Perspektive zur Validierung des klassischen Ergebnisses $G(4)=16$ bietet.
Offene Probleme: Die Arbeit schließt mit dem Hinweis, dass die Zerlegung von $N$ in Summen von Potenzen, die auf D.H.-Lehmer-Zahlen beschränkt sind, für andere Fälle des Waring-Problems ein offenes Forschungsgebiet für zukünftige Untersuchungen darstellt.

Die Arbeit wird durch das Shaanxi Fundamental Science Research Project for Mathematics and Physics sowie das Natural Science Basic Research Project of Shaanxi Province unterstützt.

Die speziellen „Lehmer“-Bausteine

Die große Entdeckung

Wie sie es gelöst haben

Das Fazit

Mehr davon