🔢 mathematics

A sharp lower bound for some reciprocal Rado numbers

Dit artikel stelt scherpe ondergrenzen vast voor reciproke Rado-getallen $f_r(k)$ , bewijst specifieke ongelijkheden voor algemene $r$ en $k$ , bepaalt exacte waarden of verbeterde grenzen voor het geval $r=2$ onder bepaalde voorwaarden op $k$ , en biedt nieuwe computationele resultaten en generalisaties.

Oorspronkelijke auteurs: Collier Gaiser, Mojtaba Ramezanpour

Gepubliceerd 2026-07-07

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Collier Gaiser, Mojtaba Ramezanpour

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 enorme zak hebt met genummerde tegels, van 1 tot een heel groot getal $n$ . Je hebt ook een set krijtjes (kleuren). Je doel is om elke enkele tegel in de zak een kleur te geven.

De tekst onderzoekt een specifiek wiskundig spel met deze gekleurde tegels en een zeer specifieke regel over "eenheidsvlakken" (breuken waarbij de teller altijd 1 is, zoals 1/2, 1/3, 1/4).

Het Spel: De "Reciprocal Rado" Uitdaging

De regel van het spel is deze vergelijking:
$\frac{1}{x_1} + \frac{1}{x_2} + \dots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$

Denk aan dit als een recept. Je moet $k$ getallen kiezen (laten we ze "ingrediënten" noemen) uit je zak. Wanneer je de "reciproken" van hun (ze ondersteboven keren) bij elkaar optelt, moeten ze precies gelijk zijn aan de reciprook van één laatste getal (het "gerecht").

De Haken en Oor: Alle getallen die je kiest voor de ingrediënten en het gerecht moeten dezelfde kleur hebben.

De grote vraag die de auteurs stellen is: Hoe groot moet je zak met tegels ( $n$ ) zijn voordat je gegarandeerd een oplossing vindt, ongeacht hoe je de tegels inkleurt om het te vermijden?

Dit minimale getal wordt een Reciprocal Rado-getal genoemd, aangeduid als $f_r(k)$ .

$r$ is het aantal kleuren dat je hebt.
$k$ is het aantal ingrediënten in je recept.

De Ontdekking van de Auteurs: "Het Veiligheidsnet"

De auteurs wilden een "scherpe ondergrens" vinden. In gewone mensentaal wilden ze een "veiligheidsnet"-grootte bewijzen. Ze wilden kunnen zeggen: "Als je zak kleiner is dan dit specifieke getal, kun je altijd een manier vinden om de tegels in te kleuren zodat er geen enkele eenkleurige recept werkt."

Ze bewezen twee belangrijke dingen:

Voor 2 ingrediënten ( $k=2$ ): Als je $r$ kleuren hebt, moet je zak minstens ongeveer $4^{r/2}$ groot zijn om een oplossing af te dwingen.
- Analogie: Stel je voor dat je probeert een specifiek paar bijpassende sokken in een lade te verstoppen. De auteurs hebben precies berekend hoeveel sokken je in de lade moet hebben voordat het wiskundig onmogelijk is om het paar te verbergen zonder dat ze dezelfde kleur hebben.
Voor 3 of meer ingrediënten ( $k \ge 3$ ): Als je $r$ kleuren hebt, moet de zak minstens $(2r - 1) \times k^r$ groot zijn.
- Analogie: Naarmate het recept complexer wordt (meer ingrediënten), wordt de "schuilplaats" moeilijker te vinden, maar de auteurs vonden een formule die garandeert dat de schuilplaats verdwijnt zodra de zak groot genoeg is.

Het Speciale Geval: Twee Kleuren ( $r=2$ )

Het artikel duikt diep in het scenario waarin je slechts Rood en Blauw krijt hebt. Dit is de meest voorkomende versie van het spel.

Ze ontdekten een zeer precies patroon voor wanneer de "veiligheidsnet"-grootte strak zit (wat betekent dat het getal precies is wat de formule voorspelt) en wanneer deze los zit (wat betekent dat je een grotere zak nodig hebt dan de formule suggereert).

De "Perfecte" Matches: Als het aantal ingrediënten $k$ $k$ een veelvoud is van 3 keer een macht van 2 (zoals 6, 12, 24), dan is het magische getal exact $3k^2$ $3 k^{2}$ .
- Voorbeeld: Als je 6 ingrediënten nodig hebt, is de zakgrootte exact $3 \times 6^2 = 108$ .
De "Oneven Priemgetal" Twist: Als het aantal ingrediënten $k$ $k$ een macht van een oneven priemgetal is (zoals 3, 5, 7, 9, 11, 25), dan is het magische getal iets hoger: minstens $3k^2 + 1$ $3 k^{2} + 1$ .
- Analogie: Het is als een puzzel waarbij de meeste stukjes perfect in een doos passen, maar als het stukje de vorm heeft van een "priemgetal", steekt het net een klein beetje uit, waardoor er een iets grotere doos nodig is.

Het Computerdetectivewerk

De auteurs hebben het niet alleen op papier gedaan; ze gebruikten computers om als "detectives" op te treden. Ze schreven code om elke mogelijke manier te testen om zakken met getallen tot grootte 25 in te kleuren.

Ze bevestigden dat voor getallen zoals 6, 8, 10, 12, enzovoort, de formule $3k^2$ perfect werkt.
Ze bevestigden dat voor macht van oneven priemgetallen zoals 5, 7, 9, 11, de formule die extra "+1" bump nodig heeft.
Ze ontdekten zelfs dat een eerdere studie een fout had gemaakt (die beweerde dat een getal 39 was terwijl het minstens 75 moest zijn) en zij hebben dit gecorrigeerd.

Op basis van hun computerresultaten maakten ze een Conjectuur (een sterke gok):

"Als $k$ geen macht van een oneven priemgetal is (en minstens 4 is), dan is het magische getal exact $3k^2$ ."

Het Gegeneraliseerde Recept

Ten slotte keken de auteurs naar een complexere versie van het spel waarbij de ingrediënten "gewichten" (coëfficiënten) hebben. In plaats van alleen maar $1/x$ op te tellen, zou je bijvoorbeeld $2/x$ of $5/x$ kunnen optellen.

Ze bewezen dat zelfs met deze gewichten, je nog steeds een "veiligheidsnet"-grootte kunt berekenen. De grootte hangt af van het kleinste gewicht en de som van alle gewichten. Het is alsof je zegt: "Zelfs als je recept om zware kruiden vraagt, kunnen we nog steeds precies berekenen hoe groot je voorraadkast moet zijn om een bijpassende set gekleurde potten te garanderen."

Samenvatting

Dit artikel gaat over het vinden van het exacte kantelpunt waar chaos (willekeurige inkleuring) verandert in orde (een gegarandeerde monochromatische oplossing) voor een specif kind van een specifieke breukvergelijking. De auteurs boden nieuwe, nauwere formules voor dit kantelpunt, gebruikten computers om kleine getallen te verifiëren, en ontdekten een speciale regel die van toepassing is wanneer het aantal ingrediënten een "macht van een oneven priemgetal" is.

Technische Samenvatting: Een Scherpe Ondergrens voor Bepaalde Reciproque Rado-getallen

Probleemstelling
Dit artikel behandelt een probleem binnen de rekenkundige Ramsey-theorie betreffende "reciproque Rado-getallen". Specifiek onderzoekt het de vergelijking met eenheidbreuken:
$\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$
waarbij $x_1, \dots, x_k$ niet noodzakelijkerwijs verschillende positieve gehele getallen zijn. Laat $f_r(k)$ het kleinste positieve gehele getal $n$ zijn waarvoor elke $r$ -kleuring van de verzameling $\{1, 2, \dots, n\}$ een monochromatische oplossing bevat voor deze vergelijking. Hoewel Brown en Rödler [4] en Lefmann [11] hebben vastgesteld dat een dergelijk $n$ bestaat voor voldoende grote waarden, blijven precieze grenzen en exacte waarden voor $f_r(k)$ grotendeels onbekend. Dit artikel beoogt de bestaande ondergrenzen voor $f_r(k)$ te verbeteren en exacte waarden of nauwere grenzen te bepalen voor specifieke gevallen, met name wanneer $r=2$ .

Methodologie
De auteurs maken gebruik van een combinatie van combinatorische constructie, getaltheoretische argumenten en computationele verificatie:

Constructieve Ondergrenzen: Om ondergrenzen voor $f_r(k)$ vast te stellen, construeren de auteurs expliciete $r$ -kleuringen van intervallen $\{1, 2, \dots, N\}$ die monochromatische oplossingen vermijden. Deze constructies verdelen de verzameling gehele getallen in disjuncte intervallen ( $A_1, A'_i, A''_i$ ) die aan specifieke kleuren worden toegewezen. De kern van het bewijs berust op het analyseren van de grootte van de termen in de reciproque vergelijking. Een cruciaal instrument is Lemma 2.1, dat een ondergrens biedt voor het verschil tussen reciproque van verschillende gehele getallen binnen een specifiek bereik, gebruikt om tegenstrijdigheden af te leiden wanneer men aanneemt dat een oplossing bestaat binnen één enkele kleurklasse.
Casusanalyse voor $r=2$ : Voor de 2-kleuring casus analyseren de auteurs specifieke vormen van $k$ . Zij maken gebruik van inductie en specifieke algebraïsche identiteiten met betrekking tot machten van 2 en veelvouden van $k$ om aan te tonen dat bepaalde kleuringen van $\{1, \dots, 3k^2\}$ onder specifieke condities (bijv. wanneer $k$ een macht van een oneven priemgetal is) geen monochromatische oplossingen produceren.
Computationele Verificatie: De auteurs hebben Python-scripts gebruikt, ondersteund door AI-tools (ChatGPT 5.5 en ChatGPT Codex) en Boolean Satisfiability (SAT) solvers (Cadical195 en Glucose3), om exacte waarden van $f_2(k)$ en $f_3(k)$ te berekenen voor bereiken van $k$ die voorheen niet bepaald waren. Deze berekeningen werden uitgevoerd op een AMD Ryzen 7 9800X3D processor.

Belangrijkste Bijdragen en Resultaten

Verbeterde Algemene Ondergrenzen:
Het artikel bewijst twee primaire stellingen die de bestaande grenzen (zoals $f_r(k) \ge k^r$ ) verbeteren:
- Voor $r \ge 1$ , $f_r(2) \ge 4^{r/2}$ .
- Voor $k \ge 3$ en $r \ge 1$ , $f_r(k) \ge (2r - 1)k^r$ .
  De auteurs merken op dat voor $r=2$ , de grens $f_2(k) \ge 3k^2$ scherp is voor oneindig veel $k$ .
Exacte Waarden en Nauwere Grenzen voor $r=2$ :
- Geval $k = 3 \cdot 2^m$ : De auteurs bewijzen dat als $k$ van de vorm $3 \cdot 2^m$ is (voor positief geheel getal $m$ ), dan $f_2(k) = 3k^2$ .
- Geval $k = p^m$ (Macht van een oneven priemgetal): Als $k$ een macht van een oneven priemgetal is, bewijzen de auteurs dat $f_2(k) \ge 3k^2 + 1$ .
- Computationele Resultaten: Het artikel bevat een tabel met berekende waarden voor $f_2(k)$ voor $k \in \{2, \dots, 25\}$ . Deze resultaten corrigeren een eerdere bewering van Myers en Parrish [12] betreffende $f_2(5)$ , waarbij wordt aangetoond dat deze 80 is (consistent met de nieuwe ondergrens) in plaats van 39. De gegevens suggereren dat $f_2(k) = 3k^2$ dan en slechts dan als $k$ geen macht van een oneven priemgetal is (voor $k \ge 4$ ).
Generalisatie naar Coëfficiënten:
De auteurs generaliseren hun resultaten voor ondergrenzen naar vergelijkingen met willekeurige positieve gehele getal-coëfficiënten:
$\frac{a_1}{x_1} + \frac{a_2}{x_2} + \cdots + \frac{a_k}{x_k} = \frac{1}{x_{k+1}}$
Zij stellen vast dat voor 2-kleuringen, $f(a_1, a_2) \ge 2\min\{a_1, a_2\}(a_1+a_2)^2$ en voor $k \ge 3$ , $f(a_1, \dots, a_k) \ge (2\min\{a_i\} + 1)(\sum a_i)^2$ .
Computationele Data voor $r=3$ :
Nieuwe computationele resultaten voor $f_3(k)$ worden verstrekt voor $k \in \{2, 3, 4, 5\}$ . De auteurs observeren dat de ondergrens $f_3(k) \ge 7k^3$ (afgeleid van hun algemene stelling) ogenschijnlijk zwak is, aangezien de berekende waarden deze grens aanzienlijk overschrijden.

Betekenis en Claims
Het artikel beweert de eerste scherpe ondergrenzen te bieden voor reciproque Rado-getallen in het algemene geval en identificeert specifieke oneindige families van $k$ waar de ondergrens voor $f_2(k)$ exact is. De auteurs benadrukken dat hun werk de kennis verfijnt over de drempel waarbij monochromatische oplossingen voor reciproque vergelijkingen onvermijdelijk worden.

De auteurs kaderen hun bevindingen bescheiden door:

Conjectuur 1.3 voor te stellen: Dat voor $k \ge laan, f_2(k) = 3k^2$ dan en slechts dan als $k$ geen macht van een oneven priemgetal is.
Open problemen te identificeren, waaronder het verbeteren van de ondergrens voor $f_3(k)$ , het verfijnen van de grens voor $f_2(k)$ wanneer $k$ een macht van een oneven priemgetal is, en het bepalen of er een kwadratische bovengrens bestaat voor $f_2(k)$ voor alle $k \ge 4$ .
Op te merken dat hoewel hun ondergrenzen scherp zijn voor specifieke gevallen, het algemene gedrag voor $r \ge 3$ een open gebied blijft voor onderzoek, zoals gesuggereerd door de discrepantie tussen hun theoretische ondergrens en de computationele resultaten voor $f_3(k)$ .

Het artikel concludeert door de bruikbaarheid van AI-ondersteunde codering in hun computationele inspanningen te erkennen en nodigt verder onderzoek uit naar de minimale afstandseigenschappen van eenheidbreuken (Probleem 5.4).