🔢 mathematics

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

Dit artikel geeft negatieve antwoorden op twee vragen die door Bergelson, Moreira en Richter werden gesteld, door tegenvoorbeelden te construeren met behulp van elementaire Bohr-verzamelingen die aantonen dat functies uit een Hardy-veld aan voorwaarde voor afgeleiden met geheeltallige coëfficiënten kunnen voldoen, maar toch niet garanderen dat de gezamenlijke terugkeer-tijdverzamelingen dik of zelfs niet-leeg zijn.

Oorspronkelijke auteurs: Kangbo Ouyang, Leiye Xu, Shuhao Zhang

Gepubliceerd 2026-05-19

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Kangbo Ouyang, Leiye Xu, Shuhao Zhang

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Geheel: De Toekomst van Getallen Voorspellen

Stel je voor dat je een detective bent die probeert te voorspellen wanneer een specifiek patroon opnieuw zal verschijnen in een lange, chaotische reeks getallen. In de wiskunde heet dit recurrentie.

Het artikel dat je leest, gaat over een specifiek type getallenreeks die wordt gegenereerd door "Hardy-veld"-functies. Denk aan deze functies als machines die getallen spuwen die met een constante, voorspelbare snelheid groeien (zoals $t^{3/2}$ , wat sneller groeit dan een kwadraat maar langzamer dan een kubus).

Lange tijd geloofden wiskundigen dat ze een perfecte "regelset" (een set criteria) hadden om te garanderen dat deze patronen vaak zouden terugkeren en in lange, ononderbroken ketens zouden verschijnen. Deze regelset was gebaseerd op het bekijken van de coëfficiënten van reële getallen (de exacte, rommelige decimalen) van de functies.

De Vraag: De auteurs van dit artikel vroegen zich af: Kunnen we deze regelset vereenvoudigen? Kunnen we de rommelige decimalen negeren en alleen kijken naar de gehele getallen (integers) binnen de functies? Als aan de regels voor gehele getallen wordt voldaan, moet het patroon dan nog steeds terugkeren?

Het Antwoord: Nee. De auteurs bewezen dat de "gehele-getallen"-regelset niet sterk genoeg is. Je kunt voldoen aan alle regels voor gehele getallen, en het patroon kan toch falen om terug te keren, of het kan terugkeren op een zeer gebroken, verspreide manier.

De Hoofdrolspelers: De "Groeimachines"

Om hun punt te bewijzen, bouwden de auteurs twee specifieke "machines" (paren van functies) die als truukspelers fungeren.

1. De "Bijna-Daar"-Machine (Stelling 1.5)

Stel je twee hardlopers voor, Hardloper A en Hardloper B.

Hardloper A loopt met een snelheid van $t^{3/2}$ .
Hardloper B loopt met een snelheid van $\lambda t^{3/2} + t$ (waarbij $\lambda$ een vreemd, niet-herhalend decimaal getal is zoals $\pi$ ).

De Valstrik:
Als je kijkt naar de gehele getal-delen van hun snelheden, lijken ze een perfecte regel te volgen. Ze slagen voor de "gehele-getalcheck".

De Verwachting: Je zou verwachten dat als je een startpunt kiest, je uiteindelijk een lange periode van tijd zult vinden waarin beide hardlopers gelijktijdig specifieke checkpoints bereiken.
De Realiteit: De auteurs vonden een specifiek "baan" (een set getallen) waar de hardlopers wel de checkpoints bereiken, maar ze doen dit nooit in een lange, ononderbroken lijn. Ze bereiken ze op een verspreide, gebroken manier.
De Metafoor: Het is als een treinrooster dat er perfect uitziet op papier (tijden in gehele getallen), maar wanneer je daadwerkelijk probeert de trein te vangen, pak je hem slechts een fractie van een seconde, moet je daarna lang wachten, en pak je hem weer voor een fractie van een seconde. Je krijgt nooit een lange, continue rit.

2. De "Geest"-Machine (Stelling 1.6)

Dit is een nog extremer versie. De auteurs pasten de tweede hardloper iets aan (door een verschuiving $\xi$ toe te voegen).

De Valstrik: Dit paar slaagt ook voor de "gehele-getalcheck".
De Realiteit: Op een specifiek traject ontmoeten de twee hardlopers nooit op hetzelfde moment hetzelfde checkpoint. De set tijdstippen waarop ze elkaar ontmoeten is leeg.
De Metafoor: Het is alsof twee mensen proberen elkaar de hand te schudden. Ze volgen allebei de regels van het handenschudprotocol (de regels voor gehele getallen), maar vanwege een kleine, onzichtbare verschuiving (het decimale deel) zijn hun handen altijd slechts een millimeter uit elkaar. Ze raken elkaar nooit echt.

3. De "Drie-Weg"-Truc (Stelling 1.7)

De auteurs voegden een derde hardloper toe om een andere vraag te beantwoorden: Wat als we kijken naar de "schaduw" van de functies (de polynomen die ze lijken te zijn)?

Ze toonden aan dat zelfs als de "schaduwen" van de functies er perfect op lijken om samen te werken (gezamenlijk intersectief), de daadwerkelijke functies toch kunnen weigeren elkaar te ontmoeten.
De Metafoor: Stel je drie dansers voor. Hun schaduwen op de muur lijken perfect gesynchroniseerd. Maar in werkelijkheid, op de dansvloer, zijn ze volledig uit de pas en ontmoeten ze elkaar nooit in het midden.

Hoe Ze Het Deden: De "Bohr-Obstakel"

Hoe bewezen ze dat deze hardlopers elkaar nooit ontmoeten? Ze gebruikten een concept dat een Bohr-set wordt genoemd.

Denk aan een Bohr-set als een "veilig gebied" of een "omheining" in een cirkelvormige wereld (zoals een klokgezicht).

De auteurs construeerden een specifieke "omheining" (een set getallen $E$ ) waar de hardlopers gedwongen worden om dichtbij te blijven.
Door de manier waarop de getallen zijn opgebouwd (met dat vreemde irrationale getal $\lambda$ ), is de "omheining" zo gevormd dat de hardlopers elkaar dwingt te missen.
Het is alsof je een doolhof opzet met onzichtbare muren. De hardlopers volgen de regels, maar de geometrie van het doolhof zorgt ervoor dat ze nooit op de manier kunnen kruisen die de "gehele-getalregelset" voorspelde dat ze zouden moeten doen.

De Conclusie

Het artikel levert een "negatief antwoord" op twee grote vragen op het gebied van Ergodische Ramsey-theorie (een tak van de wiskunde die orde in chaos bestudeert).

Je kunt niet alleen gehele getallen gebruiken. Je kunt de complexe regels voor reële getallen niet vervangen door simpele regels voor gehele getallen en verwachten dat dezelfde garantie voor recurrentie geldt.
De "Schaduw" is niet genoeg. Zelfs als de polynomiale "schaduwen" van de functies veelbelovend lijken, kunnen de daadwerkelijke functies het toch laten afweten om de verwachte patronen te produceren.

Kortom: Het universum van deze getallenreeksen is subtieler dan we dachten. Alleen omdat de "gehele getal"-delen van de regels er goed uitzien, betekent niet dat het hele plaatje goed is. De kleine, onzichtbare decimale delen kunnen het patroon volledig breken.

Technische Samenvatting: Tegenvoorbeelden voor Criteria met Coëfficiënten in de gehele Getallen voor Recurrentie langs Functies uit een Hardy-veld

Probleemstelling
Het artikel behandelt twee specifieke vragen die zijn gesteld door Bergelson, Moreira en Richter met betrekking tot meervoudige recurrentie langs rijen die worden gegenereerd door functies uit een Hardy-veld. In de ergodische Ramsey-theorie berusten recurrentieresultaten vaak op voorwaarden die betrekking hebben op de reële lineaire opspansel van functies en hun afgeleiden. Specifiek hebben Bergelson, Moreira en Richter vastgesteld dat als een verzameling functies $f_1, \dots, f_k$ uit een Hardy-veld voldoet aan een voorwaarde waarbij elk niet-nul element in hun reële afgeleide-opspansel divergeert naar oneindig (of nul) bij oneindig, de verzameling van gemeenschappelijke terugkeer-tijden voor elke verzameling met positieve bovenste dichtheid "dik" is (bevat willekeurig lange intervallen).

De auteurs onderzoeken of deze sterke hypothese kan worden verzwakt tot een voorwaarde met coëfficiënten in de gehele getallen. Zij richten zich op twee specifieke vragen:

Vraag 1.2: Geldt de conclusie over recurrentie als men alleen aanneemt dat elk niet-nul element in de gehele afgeleide-opspansel ( $\nabla_{\mathbb{Z}}$ -opspansel) divergeert naar oneindig, in plaats van de reële opspansel?
Vraag 1.4: Geldt de conclusie over recurrentie als men de aanname vervangt dat het reële lineaire opspansel een gezamenlijk intersectieve verzameling van polynomen benadert, door de zwakkere aanname dat de verzameling van door het reële opspansel benaderde gehele polynomen ( $P_{\mathbb{Z}}$ ) gezamenlijk intersectief is?

Methodologie
De auteurs hanteren een constructieve aanpak gebaseerd op elementaire Bohr-sets om tegenvoorbeelden te genereren. Hun methodologie omvat:

Principe van Bohr-obstakels: Zij maken gebruik van het feit dat als een lineaire combinatie van geheeltallige rijen $u_i(n)$ kan worden benaderd door een reëel polynoom $P(n)$ modulo 1 (d.w.z. $\sum \theta_i u_i(n) - P(n)$ is begrensd), dan kan de verzameling van gemeenschappelijke terugkeer-tijden worden beperkt tot een verzameling waarvoor $\|\beta P(n)\|_{\mathbb{T}}$ klein is.
Equidistributie en Dikte: Zij maken gebruik van de equidistributiestelling van Weyl en het criterium van Boshernitzan voor Hardy-veld-rijen om aan te tonen dat bepaalde verzamelingen gedefinieerd door polynoomgroei (zoals $n^{3/2}$ ) dik zijn.
Constructie van Tegenvoorbeelden: Door zorgvuldig parameters te selecteren (specifiek irrationale getallen $\lambda$ en gehele getallen $L$ ), construeren zij verzamelingen $E \subset \mathbb{N}$ met positieve natuurlijke dichtheid, zodat de verzamelingen van terugkeer-tijden worden beperkt door het "modulo-één"-obstakel. Dit obstakel verhindert dat de verzamelingen van terugkeer-tijden dik zijn, of zelfs niet-leeg, ondanks dat aan de voorwaarden met coëfficiënten in de gehele getallen is voldaan.

Belangrijkste Bijdragen en Resultaten

Negatief Antwoord op Vraag 1.2 (Stelling 1.5):
De auteurs leveren een tegenvoorbeeld met behulp van het paar functies $f_1(t) = t^{3/2}$ en $f_2(t) = \lambda t^{3/2} + t$ met $\lambda \in \mathbb{R} \setminus \mathbb{Q}$ .
- Zij bewijzen dat voor elke $F$ in de afgeleide-opspansel met coëfficiënten in de gehele getallen van deze functies, $\lim_{t\to\infty} |F(t)| \in \{0, \infty\}$ .
- Zij construeren echter een verzameling $E$ met positieve natuurlijke dichtheid, zodat de gezamenlijke verzameling van terugkeer-tijden $R_{f_1}(E) \cap R_{f_2}(E)$ stuksgewijs syndetisch is maar niet dik. Dit toont aan dat de voorwaarde met coëfficiënten in de gehele getallen onvoldoende is om dikte te garanderen, zelfs in het specifieke testgeval dat door Bergelson, Moreira en Richter is geselecteerd.
Negatief Antwoord op Vraag 1.2 (Sterker Obstakel) (Stelling 1.6):
Met behulp van een nauw verwant paar $g_1(t) = t^{3/2}$ en $g_2(t) = \lambda t^{3/2} + L(t + \xi)$ tonen de auteurs aan dat de voorwaarde met coëfficiënten in de gehele getallen niet eens garandeert dat de gezamenlijke verzameling van terugkeer-tijden niet-leeg is.
- Zij construeren een verzameling $E$ met positieve natuurlijke dichtheid waarvoor $R_{g_1}(E) \cap R_{g_2}(E) = \emptyset$ .
- Dit resultaat berust op het feit dat, hoewel aan de voorwaarde voor de gehele opspansel is voldaan, een reële lineaire combinatie van de afgeronde iteraten dicht bij een polynoomuitdrukking modulo 1 blijft die nooit nul raakt, waardoor gezamenlijke terugkeer-tijden effectief worden uitgesloten.
Negatief Antwoord op Vraag 1.4 (Stelling 1.7):
De auteurs behandelen de vraag of de gezamenlijke intersectiviteit van gehele polynomen ( $P_{\mathbb{Z}}$ ) de recurrentieconclusie van Stelling 1.3 impliceert.
- Zij construeren een familie $h_1(t) = t^{3/2}$ , $h_2(t) = \lambda t^{3/2} + L(t + \sqrt{2})$ , en $h_3(t) = t^2$ .
- Zij tonen aan dat $P_{\mathbb{Z}}(h_1, h_2, h_3)$ bestaat uit niet-nul gehele veelvouden van $t^2$ , wat gezamenlijk intersectief is.
- Desondanks construeren zij een verzameling $E$ zodat de doorsnede van de verzamelingen van terugkeer-tijden voor alle drie de functies leeg is. Dit bewijst dat de zwakkere voorwaarde voorgesteld in Vraag 1.4 de conclusie over recurrentie niet impliceert.

Betekenis
Het artikel biedt definitieve negatieve antwoorden op twee open vragen met betrekking tot de toereikendheid van criteria met coëfficiënten in de gehele getallen in de recurrentietheorie voor Hardy-veld-rijen. De resultaten tonen aan dat:

De "vervanging door coëfficiënten in de gehele getallen" voor de hypothese van de afgeleide-opspansel niet impliceert dat gezamenlijke verzamelingen van terugkeer-tijden dik zijn.
Onder dezelfde hypothese met coëfficiënten in de gehele getallen, de gezamenlijke verzameling van terugkeer-tijden zelfs leeg kan zijn.
De gezamenlijke intersectiviteit van gehele polynomen die worden benaderd door het reële opspansel onvoldoende is om recurrentie te garanderen.

De auteurs concluderen dat de voorwaarden met coëfficiënten in de reële getallen in de bestaande stellingen noodzakelijk zijn en niet kunnen worden versoepeld tot coëfficiënten in de gehele getallen zonder de kracht van de recurrentieconclusies (dikte of zelfs niet-leegheid) te verliezen. De constructies berusten op de wisselwerking tussen de rekenkundige eigenschappen van de functies (via Bohr-sets) en de analytische eigenschappen van Hardy-veld-rijen.