🔢 mathematics

Additive Ramsey theory over Piatetski-Shapiro numbers

Dieser Artikel charakterisiert die Partition-Regularität linearer Gleichungen über Piatetski-Shapiro-Zahlen $\lfloor n^c \rfloor$ für bestimmte Bereiche von $c$ , die von der Anzahl der Variablen abhängen, etabliert quantitative Dichteergebnisse und stärkt das von Browning und Prendiville angepasste fourieranalytische Transferprinzip von Green.

Ursprüngliche Autoren: Jonathan Chapman, Sam Chow, Philippa Holdridge

Veröffentlicht 2026-05-14

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Jonathan Chapman, Sam Chow, Philippa Holdridge

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 einen riesigen Sack voller Murmeln, doch das sind keine gewöhnlichen Murmeln. Es sind spezielle „Piatetski-Shapiro"-Murmeln. Um eine herzustellen, nehmen Sie eine Zahl $n$ , heben sie auf eine bestimmte Potenz $c$ (wobei $c$ eine Zahl zwischen 1 und 2 ist) und runden dann auf die nächste ganze Zahl ab.

Wenn $c=2$ ist, erhalten Sie perfekte Quadrate (1, 4, 9, 16...). Wenn $c$ etwa 1,1 beträgt, erhalten Sie eine andere, etwas stärker zerstreute Menge von Zahlen.

Die Autoren dieses Papiers spielen mit diesen Murmeln ein Spiel des „Färbens".

Das große Spiel: Die farbenblinde Gleichung

Stellen Sie sich einen riesigen Haufen dieser speziellen Murmeln vor. Sie entscheiden, sie mit einer endlichen Anzahl von Farben zu bemalen (sagen wir, Rot, Blau und Grün). Sie bemalen sie zufällig oder vielleicht in einem sehr trickreichen Muster, verwenden aber nur wenige Farben.

Die Frage lautet: Unabhängig davon, wie Sie sie bemalen, werden Sie immer gezwungen sein, eine „monochrome" Lösung für eine mathematische Gleichung zu erzeugen?

Eine „monochrome Lösung" bedeutet, dass Sie drei (oder mehr) Murmeln finden, die alle dieselbe Farbe haben und eine einfache Gleichung wie $x + y = z$ erfüllen (ein „Schur-Dreier").

Die alte Regel: Für normale ganze Zahlen wissen Mathematiker seit 1916, dass Sie, wenn Sie sie mit genügend Farben färben, immer ein rotes $x$ , ein rotes $y$ und ein rotes $z$ finden, wobei $x+y=z$ gilt.
Die neue Herausforderung: Gilt dies auch für unsere speziellen „Piatetski-Shapiro"-Murmeln?

Die Entdeckung: Es hängt von der „Potenz" ab

Die Autoren, Chapman, Chow und Holdridge, haben genau herausgefunden, wann diese Regel für diese speziellen Murmeln gilt.

Sie stellten fest, dass dies von der „Potenz" $c$ abhängt, mit der Sie die Murmeln erstellt haben, und davon, wie viele Variablen in Ihrer Gleichung enthalten sind (wie viele Murmeln Sie addieren müssen).

Der Sweet Spot: Wenn die Potenz $c$ klein genug ist (speziell, wenn sie unter einem bestimmten Schwellenwert wie $12/11$ für Gleichungen mit drei Murmeln liegt), dann JA. Unabhängig davon, wie Sie die Murmeln bemalen, können Sie nicht vermeiden, eine Gruppe derselben Farbe zu finden, die die Gleichung löst.
Die Grenze: Wenn die Potenz $c$ zu nahe an 2 herankommt (zu nahe an perfekten Quadraten), wird die Mathematik zu unübersichtlich, und sie können noch nicht garantieren, dass die Regel gilt.

Stellen Sie sich das wie ein Spiel von „Musikstühlen" vor. Wenn die Stühle (die Zahlen) genau richtig verteilt sind (niedriges $c$ ), wird jemand, egal wie Sie die Spieler (die Farben) mischen, immer mit Freunden in derselben Gruppe sitzen bleiben. Wenn die Stühle zu unterschiedlich verteilt sind (hohes $c$ ), könnten es die Spieler schaffen, sich gegenseitig zu vermeiden.

Das „Dichte"-Rätsel: Wie leer kann ein Raum sein?

Das Papier behandelt auch eine verwandte Frage zur „Dichte".

Stellen Sie sich einen Raum voller dieser speziellen Murmeln vor. Sie möchten eine Gruppe von Murmeln auswählen, um sie in eine kleinere Box zu legen, aber Sie haben eine Regel: Sie dürfen keine Gruppe auswählen, die die Gleichung $x + y = z$ löst. (Sie wollen eine „lösungsfreie" Gruppe).

Die Frage: Wie groß kann diese „verbotene" Box werden? Können Sie die Hälfte des Raums füllen? Ein Viertel?
Die Antwort: Die Autoren beweisen, dass, wenn Sie versuchen, diese Lösungen zu vermeiden, Ihre Box im Vergleich zum ganzen Raum unglaublich leer sein muss. Wenn der Raum größer wird, wird die „verbotene" Box zu einem winzigen, winzigen Bruchteil des Gesamten.

Sie sagten nicht nur „es ist klein"; sie gaben eine sehr präzise mathematische Formel dafür, wie klein sie wird. Sie stellten fest, dass ihre Methode es ihnen erlaubt, zu beweisen, dass die Box viel leerer ist als frühere Mathematiker für ähnliche Probleme mit perfekten Quadraten beweisen konnten.

Wie haben sie das geschafft? (Die magischen Werkzeuge)

Um dies zu lösen, verwendeten die Autoren ein hochentwickeltes Werkzeugset aus dem Bereich der „Additiven Kombinatorik". Man kann ihre Methode als einen dreistufigen magischen Trick betrachten:

Die gewichtete Linse: Anstatt die Murmeln direkt zu betrachten, setzten sie eine spezielle Brille auf (eine „Gewichtsfunktion"), die die speziellen Murmeln mehr wie normale Zahlen aussehen lässt. Dies hilft ihnen, Werkzeuge zu verwenden, die für normale Zahlen entwickelt wurden.
Der Frequenzfilter: Sie analysierten die Murmeln mittels „Fourier-Analyse" (was so ist, als würde man die Murmeln durch ein Prisma betrachten, um ihre verborgenen Frequenzen zu sehen). Sie bewiesen, dass diese speziellen Murmeln ein sehr spezifisches, glattes Muster in ihren Frequenzen aufweisen, was sie vorhersehbar macht.
Das Transferprinzip: Dies ist der wichtigste Trick. Sie nahmen einen mächtigen Satz, der für normale Zahlen funktioniert (Grüns Transferprinzip), und aktualisierten ihn. Sie zeigten, dass, da ihre „gewichteten Gläser" so gut sind, wenn eine Regel für normale Zahlen gilt, sie muss auch für diese speziellen Murmeln gelten, vorausgesetzt, die „Potenz" $c$ ist nicht zu hoch.

Zusammenfassung

Einfach ausgedrückt ist dieses Papier ein Sieg der Ordnung über das Chaos. Es beweist, dass selbst in einer Menge von Zahlen, die etwas seltsam und zerstreut aussieht (die Piatetski-Shapiro-Zahlen), die fundamentalen Gesetze der Arithmetik (wie $x+y=z$ ) so stark sind, dass man sie nicht verbergen kann, egal wie man versucht, die Zahlen zu färben oder eine Teilmenge auszuwählen, um sie zu vermeiden.

Sie verbesserten auch das mathematische „Vergrößerungsglas", das verwendet wird, um diese Muster zu sehen, und machten den Beweis schärfer und die Ergebnisse stärker als je zuvor für diese spezifischen Arten von Zahlen.

Technischer Zusammenfassung: Additive Ramsey-Theorie über Piatetski-Shapiro-Zahlen

Problemstellung
Der Artikel untersucht Partition-Regularität und Dichteergebnisse für lineare Gleichungen über der Menge der Piatetski-Shapiro-Zahlen, definiert als $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$ für einen Parameter $c > 1$ . Insbesondere behandeln die Autoren die Frage, ob lineare Gleichungen der Form $c_1 x_1 + \dots + c_s x_s = 0$ (wobei $\sum c_i = 0$ ) nicht-triviale monochromatische Lösungen besitzen, wenn die Menge $\mathcal{P}\mathcal{S}_c$ in endlich viele Farbklassen partitioniert wird.

Diese Arbeit erweitert klassische Ergebnisse:

Schurs Theorem (1916): Garantiert monochromatische Lösungen für $x+y=z$ in $\mathbb{N}$ .
Rados Kriterium (1933): Charakterisiert die Partition-Regularität für lineare Systeme.
Problem A (Erdős–Graham): Fragt nach monochromatischen pythagoreischen Tripeln ( $x^2+y^2=z^2$ ). Obwohl der Fall für $s \ge 5$ Variablen gelöst ist, bleibt der Fall für Quadrate ( $c=2$ ) für $s=3$ offen.
Problem B: Die Autoren rahmen ihre Arbeit als Versuch ein, eine Version von Problem A für Piatetski-Shapiro-Zahlen zu lösen, indem sie fragen, ob die Schlussfolgerung von Korollar 1.5 (monochromatische Schur-Tripel) für jedes $c \in [1, 2]$ gilt.

Methodik
Die Autoren wenden das Fourier-analytische Transferprinzip an, das von Green entwickelt und an die dünnbesetzte Umgebung der Piatetski-Shapiro-Zahlen angepasst wurde. Die Kernstrategie umfasst:

Konstruktion einer Gewichtsfunktion: Definition einer Gewichtsfunktion $\nu$ , die auf $\mathcal{P}\mathcal{S}_c(N)$ unterstützt ist, sodass $\|\nu\|_1 \sim N$ .
Fourier-Abklingung: Nachweis, dass die Fourier-Transformierte von $\nu$ die der Indikatorfunktion des Intervalls $[N]$ approximiert, insbesondere durch Abschätzung von $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$ .
Restriktionsschätzungen: Beweis von Schranken für die $L^t$ -Norm der Fourier-Transformierten von Funktionen, die von $\nu$ dominiert werden.
Transfer: Vergleich der gewichteten Anzahl von Lösungen in $\mathcal{P}\mathcal{S}_c$ mit der ungewichteten Anzahl in $[N]$ .

Ein signifikanter methodischer Beitrag ist die Verschärfung des Transferprinzips (insbesondere die Version von Green durch Browning und Prendiville). Durch die Einbeziehung neuerer Fortschritte in der quantitativen Dichte von Mengen ohne arithmetische Progressionen (Kelley–Meka, Bloom–Sisask) und Pseudorandomness (Ko'sciuszko, Filmus et al.) verbessern die Autoren die quantitativen Schranken der Transfermechanik.

Hauptbeiträge und Ergebnisse

Partition-Regularität (Satz 1.4):
Die Autoren charakterisieren die Partition-Regularität für lineare Gleichungen über $\mathcal{P}\mathcal{S}_c$ für $1 < c < c^\dagger(s)$ , wobei $s \ge 3$ die Anzahl der Variablen ist. Die Schwelle $c^\dagger(s)$ ist definiert als:
- $c^\dagger(3) = 12/11$
- $c^\dagger(4) = 7/6$
- $c^\dagger(s) = 2$ für $s \ge 5$ .
Unter diesen Bedingungen enthält jede endliche Partition von $\mathcal{P}\mathcal{S}_c$ eine nicht-triviale monochromatische Lösung für $c_1 x_1 + \dots + c_s x_s = 0$ . Bemerkenswert ist, dass dies für $s=3$ eine Version des Problems der Schur-Tripel für $c < 12/11$ löst.
Quantitative Dichteschranken (Satz 1.8):
Der Artikel zeigt, dass, wenn eine Teilmenge $A \subseteq \mathcal{P}\mathcal{S}_c(N)$ keine nicht-trivialen Lösungen der linearen Gleichung enthält, ihre Dichte durch folgende Ungleichung beschränkt ist:
$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$
wobei $\tau(3)=9$ und $\tau(s)=7$ für $s \ge 4$ .

Dieses Ergebnis verbessert frühere Arbeiten von Browning und Prendiville für Quadrate ( $c=2$ ), die eine Einsparung von $(\log \log \log N)^{O(1)}$ lieferten. Die Autoren führen diese Verbesserung auf zwei Faktoren zurück:
- Die Eliminierung der Notwendigkeit des „W-Tricks" in diesem spezifischen Setting.
- Das verschärfte Fourier-analytische Transferprinzip.
Verfeinertes Transferprinzip (Satz 4.3):
Die Autoren aktualisieren das Transferprinzip aus [6, Proposition 2.8] und integrieren die quantitativen Raten der Pseudorandomness, die aus jüngsten Durchbrüchen in der additiven Kombinatorik abgeleitet wurden. Dies ermöglicht schärfere Dichteschranken in dünnbesetzten Mengen.

Bedeutung und Behauptungen
Der Artikel behauptet, eine Version von Problem A (monochromatische pythagoreische Tripel) für Piatetski-Shapiro-Zahlen mit Parameter $c < 12/11$ zu lösen (Korollar 1.5). Er hebt hervor, dass die Schwelle $12/11$ mit einer Schwelle übereinstimmt, die Piatetski-Shapiro selbst beim Beweis einer Version des Primzahlsatzes für diese Zahlen fand.

Die Autoren betonen, dass ihre Dichteeinsparung „wesentlich größer" ist als die für Quadrate erzielte, hauptsächlich aufgrund des verbesserten Transferprinzips und der spezifischen analytischen Eigenschaften der Piatetski-Shapiro-Zahlen, die präzisere Abschätzungen von Exponentialsummen ermöglichen. Obwohl sie anmerken, dass Saito und Yoshida das Dichte-Analogon für $c \in [1, 2)$ unter Verwendung von Szemerédis Theorem bereits gelöst haben, behaupten die Autoren, dass ihr Ergebnis eine überlegene quantitative Dichteschranke liefert.

Die Arbeit berührt auch kurz Piatetski-Shapiro-Primzahlen und stellt fest, dass Mirek zwar Dichteergebnisse für 3AP-freie Mengen in diesem Kontext etablierte, die Existenz monochromatischer Schur-Tripel aus ungeraden Zahlen (und somit Primzahlen) jedoch unmöglich ist, obwohl gezeigt werden kann, dass eine verschobene Gleichung $x+y=z+1$ Lösungen besitzt.