🔢 mathematics

Adjacent comparison bounds and extremal sets for Ruzsa numbers

Gesterkt door een vermoeden uit 2024, stelt dit artikel vast dat het verschil tussen opeenvolgende Ruzsa-getallen begrensd wordt door 144, biedt het niet-triviale grenzen voor de grootte van extreme verzamelingen, en berekent het exacte waarden van deze getallen voor alle moduli tot 100.

Oorspronkelijke auteurs: Yuchen Ding, Huixi Li, Junfeng Li, Wei Niu, Xiamiao Zhao

Gepubliceerd 2026-06-10

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Yuchen Ding, Huixi Li, Junfeng Li, Wei Niu, Xiamiao Zhao

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

Stel je voor dat je een enorm feest geeft in een ronde kamer met $m$ genummerde stoelen. Je nodigt een groep gasten uit (een deelverzameling $A$ ) om op specifieke stoelen te gaan staan. De regel van het feest is simpel: elke stoel in de kamer moet "gedekt" worden door minstens één paar gasten die naast elkaar staan (of tegenover elkaar in de kamer) waarvan de stoelnummers bij dat stoelnummer optellen.

Er is echter een addertje onder het gras: je wilt niet dat een stoel te druk wordt. Als te veel paren hetzelfde stoelnummer opeisen, wordt het chaotisch.

Het Ruzsa-getal ( $R_m$ ) is de "drukte-limiet". Het vraagt: Wat is het kleinste aantal $r$ zodat we onze gasten zo kunnen ordenen dat elke stoel minstens één keer gedekt is, maar geen enkele stoel door meer dan $r$ paren wordt opgeëist?

Het artikel van Ding, Li, Li, Niu en Zhao is een detectiveverhaal over het vinden van deze perfecte drukte-limiet voor verschillende kamergroottes ( $m$ ) en het begrijpen van hoe de limiet verandert wanneer je slechts één stoel aan de kamer toevoegt.

Hier is een overzicht van hun bevindingen met behulp van alledaagse analogieën:

1. De "Buren"-regel (Nabijheidsvergelijking)

Lange tijd vroegen wiskundigen zich af: als je een kamer hebt met $m$ stoelen en een kamer met $m+1$ stoelen, hoe groot kan het verschil in drukte-limiet zijn?

De Oude Gissing: Sommigen dachten dat de limiet nooit met meer dan 1 zou stijgen. (bijv. als een kamer met 36 stoelen een limiet van 6 heeft, zou een kamer met 37 stoelen een limiet van 5, 6 of 7 hebben).
De Reality Check: De auteurs ontdekten een foutje in de oude gegevens. Voor een kamer met 36 stoelen is de limiet 6. Maar voor een kamer met 37 stoelen daalt de limiet naar 4. Dat is een sprong van 2, wat de "nooit meer dan 1"-regel doorbreekt.
De Nieuwe Ontdekking: Hoewel de "sprong van 1"-regel niet perfect is, hebben de auteurs bewezen dat de sprong nooit te groot kan zijn. Ze toonden aan dat het verschil tussen de drukte-limiet van een kamer met $m$ $m$ en een kamer met $m+1$ $m + 1$ nooit meer dan 144 is.
- Analogie: Stel je voor dat je een trap beklimt waarbij de hoogte van de treden verandert. Je kunt niet van de grond naar het dak springen in één stap, maar je kunt ook geen stap van 1.000 voet hoog nemen. De auteurs hebben bewezen dat de treenhoogte beperkt is tot 144 voet.

2. De Grootte van het "Perfecte Feest" (Extreemale verzamelingen)

Het artikel kijkt ook naar de omvang van de gastenlijst ( $|A|$ ).

De Balans: Als je te weinig gasten hebt, kun je niet alle stoelen dekken. Als je er te veel hebt, creëer je te veel chaos (hoge $R_m$ ).
De Bevinding: De auteurs hebben exact berekend hoeveel gasten nodig zijn voor kamers tot grootte 100. Ze ontdekten dat voor grote kamers de "sweet spot" voor de omvang van de gastenlijst ongeveer de vierkantswortel is van het aantal stoelen.
De Limiet: Ze bewezen dat voor elke grote kamer het aantal gasten dat nodig is om de chaos onder controle te houden (specifiek onder de limiet van 192) nooit meer zal zijn dan ongeveer $\sqrt{191 \times \text{stoelen}}$ .

3. Het "Magische Getal" 6

Een van de meest verrassende ontdekkingen is een patroon in de gegevens.

De Observatie: Wanneer de kamer groot genoeg wordt (specifiek 40 stoelen of meer), lijkt de "drukte-limiet" ( $R_m$ ) te stabiliseren op het getal 6.
De Conjectuur: De auteurs vermoeden dat je voor elke kamer met 40 of meer stoelen altijd de gasten zo kunt ordenen dat geen enkele stoel meer dan 6 keer wordt opgeëist. Ze hebben dit geverifieerd voor elke kamergrootte tot 100.
- Analogie: Het is also$f te ontdekken dat ongeacht hoe groot je stad ook wordt, je altijd slechts 6 verkeerslichten nodig hebt bij elk kruispunt om het verkeer soepel te laten doorstromen.

4. Hoe ze het deden (De Certificaatjacht)

De auteurs hebben niet alleen gegokt; ze hebben een enorme computerzoektocht uitgevoerd.

Het Proces: Ze traden op als digitale architecten. Voor elke kamergrootte probeerden ze een gastenlijst te bouwen die werkte.
Het "Certificaat": Als ze een lijst vonden waarbij elke stoel gedekt was en geen enkele stoel door meer dan 6 paren werd opgeëist, dan werd die lijst een "certificaat" dat bewees dat de limiet 6 is.
De Zoektocht: Ze gebruikten supercomputers om miljoenen combinaties te testen. Voor kleinere kamers bewezen ze dat het onmogelijk was om het met een limiet van 5 te doen, waarmee ze bevestigden dat 6 inderdaad het minimum was.

5. Open Vragen (Het Onvoltooide Feest)

Het artikel eindigt met het stellen van nieuwe vragen, zoals:

Het Gat-probleem: Als je een enorme kamer hebt, is het mogelijk om een enorme lege ruimte tussen gasten te hebben? (Ze bewezen dat de gat niet groter kan zijn dan de helft van de kamergrootte).
Het Even/Oneven Probleem: Hebben gasten de neiging om op even of oneven genummerde stoelen te zitten? (Ze ontdekten dat voor grote kamers de mix bijna perfect gebalanceerd is).
Het "Precies Twee"-probleem: Is het mogelijk om gasten zo te ordenen dat geen enkele stoel door precies twee paren wordt opgeëist? (Ze bewezen dat als de gastenlijst klein genoeg is, er moet een aantal stoelen zijn die door precies twee paren worden opgeëist).

Samenvatting

Kortom, dit artikel is een diepe duik in de wiskunde van pakken en dekken. Het beantwoordt de vraag: "Hoe efficiënt kunnen we een cirkel dekken met sommen van paren?"

Ze hebben een kleine fout in eerdere berekeningen gecorrigeerd.
Ze bewezen dat de "drukte-limiet" niet wild fluctueert tussen kamergroottes.
Ze ontdekten dat voor grote kamers de limiet stabiliseert op 6.
Ze hebben een enorme tabel met exacte oplossingen voor kamers tot grootte 100 geleverd, die dient als referentie voor toekomstige wiskundigen.

Het werk is puur theoretisch — het gaat over de structuur van getallen en patronen, niet over fysieke toepassingen zoals verkeer of biologie, hoewel de logica van "efficiënt dekken" een fundamenteel concept is in veel velden.

Technische Samenvatting: Nabijheidsvergelijking-grenzen en Extremale Sets voor Ruzsa-getallen

Probleemdefinitie
Laat $m$ een positief geheel getal zijn en $\mathbb{Z}_m$ de residu klasse ring modulo $m$ . Voor een deelverzameling $A \subset \mathbb{Z}_m$ , laat $\sigma_A(n)$ het aantal geordende paren $(a, a') \in A^2$ zijn waarvoor $a + a' \equiv n \pmod m$ . Het Ruzsa-getal $R_m$ wordt gedefinieerd als het kleinste geheeltal $r$ waarvoor er een deelverzameling $A \subset \mathbb{Z}_m$ bestaat die voldoet aan $1 \le \sigma_A(n) \le r$ voor alle $n \in \mathbb{Z}_m$ . Dit concept wordt gemotiveerd door de Erdős-Turán vermoeden over additieve bases. Vorig werk stelde vast dat $R_m$ begrensd is door een absolute constante, waarbij de bovengrenzen in de loop der tijd werden verbeterd van $C$ (Ruzsa) naar $768$ (Tang en Chen), $5120$ (Tang en Chen), en tot slot $288$ (Chen). Recentelijk hebben Ding en Zhao (2024) de bovengrens verbeterd naar $R_m \le 192$ en vermoedden zij dat $|R_{m+1} - R_m| \le 1$ voor alle $m$ .

Methodologie
De auteurs maken gebruik van een combinatie van combinatorische vergelijking-lemma's, analytische ongelijkheden met betrekking tot representatiefuncties, en uitgebreide computationele verificatie.

Vergelijking-lemma's: Het artikel introduceert een nieuw vergelijking-lemma (Lemma 3.2) dat vaststelt dat $R_m \le 4R_{m+1}$ en $R_{m+1} \le 4R_m$ . Dit wordt bereikt door additieve bases in $\mathbb{Z}_{m+1}$ te construeren uit die in $\mathbb{Z}_m$ (en vice versa) met behulp van verzamelingstranslaties en verenigingen, en vervolgens de representatie-aantallen van de nieuwe verzamelingen te begrenzen.
Analytische Grenzen: Om de grootte van de extremale verzamelingen $A$ (waar $1 \le \sigma_A(n) \le R_m$ ) te schatten, gebruiken de auteurs de Lev-Sárközy ongelijkheid (Lemma 2.1). Door de gemiddelde kwadratische afwijking van $\sigma_A(n)$ van een constante $c$ te analyseren, leiden zij kwadratische ongelijkheden af die de kardinaliteit $|A|$ relateren aan $m$ en $R_m$ .
Computationele Verificatie: De auteurs voeren een certificaat-gebaseerde zoektocht uit om de exacte waarden van $R_m$ $R_{m}$ te bepalen voor $m$ $m$ tot 100.
- Voor $m \le 45$ verifiëren zij de exactheid door het bewijs van de niet-existentie van verzamelingen met lagere representatie-grenzen dan de geclaimde $R_m$ .
- Voor $m > 45$ vertrouwen zij op een ondergrens-bewijs ( $R_m \ge 6$ ) en zoeken zij naar verzamelingen die voldoen aan $\max \sigma_A(n) \le 6$ .
- De zoektocht maakt gebruik van een heuristische optimalisatieprocedure bestaande uit verzamelingstranslatie, elementvervanging en gebudgetteerde pogingen om representatie-defecten te minimaliseren.

Kernbijdragen en Resultaten

Nabijheidsvergelijking-grens (Stelling 1.1): De auteurs bewijzen dat voor elk positief geheel getal $m$ , $|R_{m+1} - R_m| \le 144$ . Dit verbetert de triviale grens van $186$ (afgeleid van $192 - 6$) met behulp van het nieuwe vergelijking-lemma en de bekende bovengrens $R_m \le 192$ .
Exacte Waarden en Tegenvoorbeelden: Het artikel bevat een tabel met exacte waarden voor $R_m$ $R_{m}$ voor alle $2 \le m \le 100$ $2 \leq m \leq 100$ .
- De berekening onthult dat $R_{37} = 4$ en $R_{39} = 5$ .
- Specifiek geldt $R_{36} = 6$ en $R_{37} = 4$ , wat dient als een tegenvoorbeeld voor het oorspronkelijke Ding-Zhao vermoeden ( $|R_{m+1} - R_m| \le 1$ ) voor $m=36$ .
- De auteurs stellen een herzien vermoeden voor: $|R_{m+1} - R_m| \le 1$ houdt stand voor alle voldoende grote $m$ .
- Zij vermoeden verder dat $R_m = 6$ voor alle $m \ge 40$ (Vermoeden 2.3).
Grenzen op de Grootte van de Extremale Set (Stelling 1.2): Voor een voldoende groot $m$ en een verzameling $A$ die het Ruzsa-getal bereikt, leiden de auteurs niet-triviale grenzen af voor $|A|^2$ . Laat $s = \lfloor R_m/2 \rfloor$ . De grootte voldoet aan:
$\left( s + \frac{1}{2} - \sqrt{\left(s+\frac{1}{2}\right)^2 - 4s - \epsilon} \right)m \le |A|^2 \le \left( s + \frac{1}{2} + \sqrt{\left(s+\frac{1}{2}\right)^2 - 4s + \epsilon} \right)m$
Als gevolg hiervan geldt, indien $R_m = 6$ , dat $|A| \le \sqrt{191m}$ .
Structurele Eigenschappen: Het artikel onderzoekt de eigenschappen van de verzamelingen $A_m$ $A_{m}$ (deelverzamelingen die $R_m$ $R_{m}$ bereiken).
- Pariteit: Propositie 5.5 geeft grenzen aan de proportie even elementen in $A$ wanneer $m$ even is. Indien $R_m = 6$ , is de proportie even elementen begrensd binnen $\approx 0.14$ van $1/2$ .
- Rekenseries: Het artikel definieert $L_m$ als de maximale lengte van een rekenserie die in een $A \in A_m$ wordt bevat. Er wordt opgemerkt dat $L_m \le R_m$ .
- Kardinaliteit van $A_m$ : Propositie 5.6 stelt asymptotische grenzen vast voor het aantal van dergelijke verzamelingen, $|A_m|$ , waarbij $\frac{1}{2}\log m - C \le \log |A_m| \le \sqrt{191m} \log(\dots)$ .

Betekenis
Dit artikel verfijnt het begrip van het gedrag van Ruzsa-getallen, specifiek door de stabiliteit van $R_m$ onder nabijheidswijzigingen van de modulus te adresseren. Door het strikte $|R_{m+1} - R_m| \le 1$ vermoeden voor kleine $m$ te weerleggen, terwijl er tegelijkertijd sterk bewijs wordt geleverd voor de geldigheid ervan asymptotisch, verhelderen de auteurs de wisselwerking tussen algebraïsche structuur (eigenschappen van de modulus) en combinatorische willekeur. Het verstrekken van exacte waarden tot $m=100$ breidt de eerdere tabellen substantieel uit, en de afgeleide grenzen op de grootte van de extremale verzamelingen bieden nieuwe beperkingen voor toekomstig onderzoek naar additieve bases in cyclische groepen. Het werk stelt ook verschillende open problemen over de distributie van representatiewaarden, de structuur van extremale verzamelingen en de groei van het aantal dergelijke verzamelingen.