🔢 mathematics

Counterexamples to integer-coefficient criteria for recurrence along functions from a Hardy field

Dieser Artikel liefert negative Antworten auf zwei von Bergelson, Moreira und Richter gestellte Fragen, indem er Gegenbeispiele mit elementaren Bohr-Mengen konstruiert, die zeigen, dass Funktionen aus einem Hardy-Feld Bedingungen bezüglich des von ihren Ableitungen mit ganzzahligen Koeffizienten aufgespannten Raums erfüllen können, ohne jedoch dicke oder sogar nicht-leere gemeinsame Rückkehrzeitmengen zu garantieren.

Ursprüngliche Autoren: Kangbo Ouyang, Leiye Xu, Shuhao Zhang

Veröffentlicht 2026-05-19

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Kangbo Ouyang, Leiye Xu, Shuhao Zhang

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

Das große Ganze: Die Vorhersage der Zukunft von Zahlen

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht vorherzusagen, wann ein bestimmtes Muster in einer langen, chaotischen Zahlenfolge wiederkehren wird. In der Mathematik nennt man dies Rekurrenz.

Das Papier, das Sie lesen, handelt von einer bestimmten Art von Zahlenfolge, die durch „Hardy-Feld"-Funktionen erzeugt wird. Betrachten Sie diese Funktionen als Maschinen, die Zahlen ausspucken, die mit einer konstanten, vorhersehbaren Rate wachsen (wie $t^{3/2}$ , die schneller wächst als eine Quadratzahl, aber langsamer als eine Kubikzahl).

Lange Zeit glaubten Mathematiker, sie hätten ein perfektes „Regelbuch" (eine Reihe von Kriterien), um zu garantieren, dass diese Muster häufig und in langen, ununterbrochenen Ketten wiederkehren. Dieses Regelbuch beruhte darauf, die Koeffizienten der reellen Zahlen (die exakten, unordentlichen Dezimalzahlen) der Funktionen zu betrachten.

Die Frage: Die Autoren dieses Papiers fragten: Können wir dieses Regelbuch vereinfachen? Können wir die unordentlichen Dezimalzahlen ignorieren und uns nur auf die ganzen Zahlen (Integers) innerhalb der Funktionen konzentrieren? Wenn die Regeln für ganze Zahlen erfüllt sind, muss das Muster dann immer noch wiederkehren?

Die Antwort: Nein. Die Autoren bewiesen, dass das „ganzzahlige" Regelbuch nicht stark genug ist. Man kann alle Regeln für ganze Zahlen erfüllen, und das Muster könnte dennoch ausbleiben oder in einer sehr unterbrochenen, spärlichen Weise wiederkehren.

Die Hauptakteure: Die „Wachstums-Maschinen"

Um ihren Punkt zu beweisen, bauten die Autoren zwei spezifische „Maschinen" (Paare von Funktionen), die wie Trickbetrüger agieren.

1. Die „Fast-Da"-Maschine (Satz 1.5)

Stellen Sie sich zwei Läufer vor, Läufer A und Läufer B.

Läufer A läuft mit einer Geschwindigkeit von $t^{3/2}$ .
Läufer B läuft mit einer Geschwindigkeit von $\lambda t^{3/2} + t$ (wobei $\lambda$ eine seltsame, nicht wiederkehrende Dezimalzahl wie $\pi$ ist).

Die Falle:
Wenn man sich die ganzzahligen Teile ihrer Geschwindigkeiten ansieht, scheinen sie einer perfekten Regel zu folgen. Sie bestehen den „Ganzzahl-Check".

Die Erwartung: Man würde erwarten, dass man, wenn man einen Startpunkt wählt, schließlich eine lange Zeitspanne findet, in der beide Läufer gleichzeitig bestimmte Kontrollpunkte erreichen.
Die Realität: Die Autoren fanden eine spezifische „Strecke" (eine Menge von Zahlen), auf der die Läufer die Kontrollpunkte zwar erreichen, dies aber niemals in einer langen, ununterbrochenen Linie tun. Sie erreichen sie auf eine zerstreute, unterbrochene Weise.
Die Metapher: Es ist wie ein Fahrplan, der auf dem Papier (ganzzahlige Zeiten) perfekt aussieht, aber wenn man tatsächlich versucht, den Zug zu erwischen, fängt man ihn nur für einen Bruchteil einer Sekunde, muss dann lange warten, und fängt ihn wieder für einen Bruchteil einer Sekunde. Man bekommt nie eine lange, kontinuierliche Fahrt.

2. Die „Geister"-Maschine (Satz 1.6)

Dies ist eine noch extremere Version. Die Autoren veränderten den zweiten Läufer leicht (durch Hinzufügen einer Verschiebung $\xi$ ).

Die Falle: Dieses Paar besteht ebenfalls den „Ganzzahl-Check".
Die Realität: Auf einer bestimmten Strecke treffen sich die beiden Läufer niemals gleichzeitig am selben Kontrollpunkt. Die Menge der Zeiten, zu denen sie sich treffen, ist leer.
Die Metapher: Es ist wie zwei Personen, die versuchen, sich die Hand zu geben. Beide befolgen die Regeln des Handschlag-Protokolls (die Ganzzahl-Regeln), aber aufgrund eines winzigen, unsichtbaren Versatzes (des Dezimalteils) sind ihre Hände immer nur einen Millimeter voneinander entfernt. Sie berühren sich tatsächlich nie.

3. Der „Drei-Wege"-Trick (Satz 1.7)

Die Autoren fügten einen dritten Läufer hinzu, um eine andere Frage zu beantworten: Was passiert, wenn wir auf den „Schatten" der Funktionen schauen (die Polynome, die sie ähneln)?

Sie zeigten, dass selbst wenn die „Schatten" der Funktionen so aussehen, als würden sie perfekt zusammenarbeiten (gemeinsam schnittig), die tatsächlichen Funktionen sich dennoch weigern können, sich zu treffen.
Die Metapher: Stellen Sie sich drei Tänzer vor. Ihre Schatten an der Wand sehen so aus, als wären sie perfekt synchronisiert. Aber in Wirklichkeit sind sie auf der Tanzfläche völlig aus dem Takt und treffen sich niemals in der Mitte.

Wie sie es taten: Die „Bohr-Obstruktion"

Wie bewiesen sie, dass diese Läufer sich nie treffen? Sie verwendeten ein Konzept namens Bohr-Menge.

Stellen Sie sich eine Bohr-Menge als eine „Sicherheitszone" oder einen „Zaun" in einer kreisförmigen Welt (wie einem Zifferblatt) vor.

Die Autoren konstruierten einen spezifischen „Zaun" (eine Menge von Zahlen $E$ ), in dessen Nähe die Läufer gezwungen sind zu bleiben.
Aufgrund der Art und Weise, wie die Zahlen aufgebaut sind (unter Verwendung dieser seltsamen irrationalen Zahl $\lambda$ ), ist der „Zaun" so geformt, dass er die Läufer zwingt, sich zu verfehlen.
Es ist wie das Aufstellen eines Labyrinths, bei dem die Wände unsichtbar sind. Die Läufer befolgen die Regeln, aber die Geometrie des Labyrinths stellt sicher, dass sie sich nie auf die Weise kreuzen können, die das „Ganzzahl-Regelbuch" vorhergesagt hatte.

Das Fazit

Das Papier liefert eine „negative Antwort" auf zwei große Fragen auf dem Gebiet der Ergodischen Ramsey-Theorie (ein Zweig der Mathematik, der Ordnung im Chaos untersucht).

Man kann nicht einfach ganze Zahlen verwenden. Man kann die komplexen Regeln der reellen Zahlen nicht durch einfache Ganzzahl-Regeln ersetzen und dabei die gleiche Garantie für Rekurrenz erwarten.
Der „Schatten" reicht nicht aus. Selbst wenn die polynomiellen „Schatten" der Funktionen vielversprechend aussehen, können die tatsächlichen Funktionen dennoch versagen, die erwarteten Muster zu erzeugen.

Kurz gesagt: Das Universum dieser Zahlenfolgen ist subtiler, als wir dachten. Nur weil die „ganzzahligen" Teile der Regeln gut aussehen, bedeutet das nicht, dass das gesamte Bild gut ist. Die winzigen, unsichtbaren Dezimalteile können das Muster vollständig zerstören.

Technisches Fazit: Gegenbeispiele zu Kriterien mit ganzzahligen Koeffizienten für Rekurrenz entlang Funktionen aus einem Hardy-Feld

Problembeschreibung
Der Artikel behandelt zwei spezifische Fragen, die von Bergelson, Moreira und Richter bezüglich multipler Rekurrenz entlang von Folgen gestellt wurden, die durch Funktionen aus einem Hardy-Feld erzeugt werden. In der ergodischen Ramsey-Theorie stützen sich Rekurrenzergebnisse häufig auf Bedingungen, die den reellen linearen Spann von Funktionen und ihren Ableitungen betreffen. Insbesondere haben Bergelson, Moreira und Richter gezeigt, dass, wenn eine Sammlung von Funktionen $f_1, \dots, f_k$ aus einem Hardy-Feld eine Bedingung erfüllt, bei der jedes von Null verschiedene Element in ihrem reellen Ableitungs-Spann im Unendlichen gegen Unendlich (oder Null) divergiert, die Menge der gemeinsamen Rückkehrzeiten für jede Menge mit positiver oberer Dichte „dick" ist (beliebig lange Intervalle enthält).

Die Autoren untersuchen, ob diese starke Hypothese auf eine Kriterium mit ganzzahligen Koeffizienten abgeschwächt werden kann. Sie konzentrieren sich auf zwei spezifische Fragen:

Frage 1.2: Gilt die Rekurrenz-Aussage, wenn man nur annimmt, dass jedes von Null verschiedene Element im ganzzahligen Ableitungs-Spann ( $\nabla_{\mathbb{Z}}$ -Spann) gegen Unendlich divergiert, anstatt im reellen Spann?
Frage 1.4: Gilt die Rekurrenz-Aussage, wenn man die Annahme, dass der reelle lineare Spann eine gemeinsam Schnittmenge von Polynomen approximiert, durch die schwächere Annahme ersetzt, dass die Menge der durch den reellen Spann approximierten ganzzahligen Polynome ( $P_{\mathbb{Z}}$ ) gemeinsam Schnittmengen bildet?

Methodik
Die Autoren verfolgen einen konstruktiven Ansatz auf Basis von elementaren Bohr-Mengen, um Gegenbeispiele zu erzeugen. Ihre Methodik umfasst:

Bohr-Hindernis-Prinzip: Sie nutzen die Tatsache, dass, wenn eine Linearkombination ganzzahliger Folgen $u_i(n)$ durch ein reelles Polynom $P(n)$ modulo 1 approximiert werden kann (d. h. $\sum \theta_i u_i(n) - P(n)$ ist beschränkt), die Menge der gemeinsamen Rückkehrzeiten auf eine Menge eingeschränkt werden kann, in der $\|\beta P(n)\|_{\mathbb{T}}$ klein ist.
Equidistribution und Dicke: Sie nutzen den Equidistributionssatz von Weyl und das Kriterium von Boshernitzan für Hardy-Feld-Folgen, um zu zeigen, dass bestimmte durch Polynomwachstum definierte Mengen (wie $n^{3/2}$ ) dick sind.
Konstruktion von Gegenbeispielen: Durch sorgfältige Auswahl von Parametern (insbesondere irrationaler Zahlen $\lambda$ und ganzer Zahlen $L$ ) konstruieren sie Mengen $E \subset \mathbb{N}$ mit positiver natürlicher Dichte, sodass die Rückkehrzeitmengen durch das „Modulo-Eins"-Hindernis eingeschränkt werden. Dieses Hindernis verhindert, dass die Rückkehrzeitmengen dick oder sogar nicht-leer sind, obwohl die Bedingungen mit ganzzahligen Koeffizienten erfüllt sind.

Hauptbeiträge und Ergebnisse

Negative Antwort auf Frage 1.2 (Satz 1.5):
Die Autoren liefern ein Gegenbeispiel unter Verwendung des Paares von Funktionen $f_1(t) = t^{3/2}$ und $f_2(t) = \lambda t^{3/2} + t$ mit $\lambda \in \mathbb{R} \setminus \mathbb{Q}$ .
- Sie beweisen, dass für jedes $F$ im ganzzahligen Ableitungs-Spann dieser Funktionen gilt: $\lim_{t\to\infty} |F(t)| \in \{0, \infty\}$ .
- Allerdings konstruieren sie eine Menge $E$ mit positiver natürlicher Dichte, sodass die gemeinsame Rückkehrzeitmenge $R_{f_1}(E) \cap R_{f_2}(E)$ stückweise syndetisch, aber nicht dick ist. Dies zeigt, dass die Bedingung mit ganzzahligen Koeffizienten nicht ausreicht, um Dicke zu garantieren, selbst im spezifischen Testfall, der von Bergelson, Moreira und Richter hervorgehoben wurde.
Negative Antwort auf Frage 1.2 (Stärkeres Hindernis) (Satz 1.6):
Unter Verwendung eines eng verwandten Paares $g_1(t) = t^{3/2}$ und $g_2(t) = \lambda t^{3/2} + L(t + \xi)$ zeigen die Autoren, dass die Bedingung mit ganzzahligen Koeffizienten nicht einmal garantiert, dass die gemeinsame Rückkehrzeitmenge nicht-leer ist.
- Sie konstruieren eine Menge $E$ mit positiver natürlicher Dichte, für die $R_{g_1}(E) \cap R_{g_2}(E) = \emptyset$ gilt.
- Dieses Ergebnis beruht auf der Tatsache, dass, obwohl die Bedingung für den ganzzahligen Spann erfüllt ist, eine reelle Linearkombination der gerundeten Iterierten modulo 1 nahe an einem Polynomausdruck bleibt, der niemals Null trifft, was gemeinsame Rückkehrzeiten effektiv ausschließt.
Negative Antwort auf Frage 1.4 (Satz 1.7):
Die Autoren behandeln die Frage, ob die gemeinsame Schnittmengenbildung ganzzahliger Polynome ( $P_{\mathbb{Z}}$ ) die Rekurrenz-Aussage von Satz 1.3 impliziert.
- Sie konstruieren eine Familie $h_1(t) = t^{3/2}$ , $h_2(t) = \lambda t^{3/2} + L(t + \sqrt{2})$ und $h_3(t) = t^2$ .
- Sie zeigen, dass $P_{\mathbb{Z}}(h_1, h_2, h_3)$ aus nicht-Null-ganzzahligen Vielfachen von $t^2$ besteht, was gemeinsam Schnittmengen bildet.
- Trotz dessen konstruieren sie eine Menge $E$ , sodass der Schnitt der Rückkehrzeitmengen für alle drei Funktionen leer ist. Dies beweist, dass die in Frage 1.4 vorgeschlagene schwächere Bedingung die Rekurrenz-Aussage nicht impliziert.

Bedeutung
Der Artikel liefert definitive negative Antworten auf zwei offene Fragen bezüglich der Ausreichbarkeit von Kriterien mit ganzzahligen Koeffizienten in der Rekurrenztheorie für Hardy-Feld-Folgen. Die Ergebnisse zeigen, dass:

Der „Ersetzung durch ganzzahlige Koeffizienten" für die Ableitungs-Spann-Hypothese nicht impliziert, dass gemeinsame Rückkehrzeitmengen dick sind.
Unter derselben Hypothese mit ganzzahligen Koeffizienten die gemeinsame Rückkehrzeitmenge sogar leer sein kann.
Die gemeinsame Schnittmengenbildung ganzzahliger Polynome, die durch den reellen Spann approximiert werden, nicht ausreicht, um Rekurrenz zu garantieren.

Die Autoren schließen, dass die Bedingungen mit reellen Koeffizienten in den bestehenden Theoremen notwendig sind und nicht auf ganzzahlige Koeffizienten gelockert werden können, ohne die Stärke der Rekurrenz-Aussagen (Dicke oder sogar Nicht-Leerheit) zu verlieren. Die Konstruktionen beruhen auf dem Zusammenspiel zwischen den arithmetischen Eigenschaften der Funktionen (über Bohr-Mengen) und den analytischen Eigenschaften von Hardy-Feld-Folgen.