🔢 mathematics

From ABC to Effective Roth and Ridout Constants for Cubic Roots

Dit artikel leidt expliciete effectieve grenzen af voor Roth- en Ridout-constanten voor kubische wortels door gebruik te maken van de ABC-vermoeden en Bombieri's doorbrekingsformules, terwijl het het concept van "benaderingswinst" introduceert om een nieuwe strategie voor het aanvallen van het ABC-vermoeden voor te stellen op basis van computationeel bewijs dat deze winst onder de 1,5 blijft.

Oorspronkelijke auteurs: Karsten Müller, Michael Taktikos

Gepubliceerd 2026-02-06

📖 5 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Karsten Müller, Michael Taktikos

Oorspronkelijk artikel vrijgegeven aan het publieke domein onder CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 probeert de exacte waarde te raden van een mysterieus getal, zoals de derdemachtswortel van 2 (een getal dat, wanneer je het drie keer met zichzelf vermenigvuldigt, gelijk is aan 2). Je kunt het niet exact opschrijven omdat het oneindig doorgaat zonder te herhalen. Daarom gebruik je breuken (zoals 4/3 of 5/4) om steeds dichter bij de werkelijke waarde te komen.

Dit artikel gaat over hoe dicht die gissingen kunnen komen en hoe een beroemd, onopgelost wiskundig raadsel genaamd de ABC-vermoedens helpt om die nabijheid te meten.

Hier is de opbouw van de ideeën uit het artikel met behulp van eenvoudige analogieën:

1. Het Probleem: Het Mysterie van de "Perfecte Gok"

In de wiskunde is er een beroemde regel genaamd Roths Stelling. Deze stelt dat je, hoe hard je ook je best doet, geen breuk te dicht bij een derdemachtswortel kunt krijgen zonder dat de getallen in je breuk ongelooflijk groot worden.

Echter, het oorspronkelijke bewijs van deze regel is als een goocheltruc: het bewijst dat de truc werkt, maar het vertelt je niet het geheime recept of hoe groot de getallen moeten zijn. Het is "ineffectief". De auteurs van dit artikel wilden dat geheime recept vinden. Ze wilden kunnen zeggen: "Oké, als je een breuk gebruikt met een noemer van 1.000, dan kan de fout niet kleiner zijn dan X."

2. Het Gereedschap: De "ABC"-Detective

Om dit op te lossen, gebruiken de auteurs de ABC-vermoedens. Zie de ABC-vermoedens als een strikte regel over hoe getallen optellen.

Stel je hebt drie getallen: $A + B = C$ .
De regel kijkt naar de "bouwstenen" (priemfactoren) van deze getallen.
De conjectuur zegt: Als $C$ veel groter is dan het product van zijn bouwstenen, dan is dat een zeldzame, speciale gebeurtenis (een "ABC-hit").

De auteurs realiseerden zich dat elke keer dat je een goede gok (een breuk) maakt voor een derdemachtswortel, je een specifieke vergelijking creëert die precies lijkt op een ABC-puzzel. Door de ABC-regel toe te passen op deze vergelijkingen, konden ze eindelijk het "geheime recept" van de Stelling van Roth berekenen.

3. Het Nieuwe Concept: "Approximation Gain" (Benaderingswinst)

De auteurs introduceerden een nieuwe manier om deze speciale getallenpuzzels te meten. Ze noemen dit "Approximation Gain".

De Analogie: Stel je voor dat je een berg beklimt (om de werkelijke waarde van de derdemachtswortel te bereiken).
- Kwaliteit: Dit meet hoe "indrukwekkende" je klim is op basis van hoeveel uitrusting (priemfactoren) je hebt meegedragen.
- Approximation Gain: Dit meet hoe dicht je bij de top bent gekomen in verhouding tot de inspanning die je hebt geleverd.

De auteurs voerden een enorme computersimulatie uit en controleerden miljoenen van deze getallenpuzzels. Ze ontdekten iets verrassends: de Approximation Gain lijkt nooit hoger te worden dan 1,5 (of 3/2).

Het is alsof ze een "snelheidslimiet" hebben ontdekt voor hoe efficiënt je deze wiskundige berg kunt beklimmen. Zelfs in de meest extreme gevallen blijft de winst onder deze kleine drempelwaarde.

4. De Strategie: Het Probleem Splitsen

Het artikel suggereert een nieuwe strategie om de ABC-vermoedens zelf eindelijk op te lossen. In plaats van de hele berg in één keer te proberen te bedwingen, suggereren ze de "klim" op te splitsen in twee afzonderlijke delen:

De Approximation Gain: Hoe dicht de gok is. (De auteurs hebben bewezen dat dit waarschijnlijk beperkt is tot 1,5 voor derdemachtswortels).
De Power Gain: Hoezeer de "bouwstenen" (priemfactoren) helpen om het getal te laten groeien.

Ze betogen dat als je kunt bewijzen dat beide delen een limiet hebben, je de volledige ABC-vermoedens kunt bewijzen. Het is alsof je zegt: "Als we de snelheidslimiet voor de auto en de snelheidslimiet voor de wind weten, kunnen we de totale snelheidslimiet voor de race bewijzen."

5. Wat Ze Eigenlijk Hebben Gevonden

Voor Derdemachtswortels: Ze hebben de "goocheltruc" van de Stelling van Roth succesvol omgezet in een concrete berekening. Ze hebben aangetoond hoe de ABC-regel precies vertaalt naar een limiet op hoe dicht breuken bij derdemachtswortels kunnen komen.
Voor Vierkantswortels: Ze pasten vergelijkbare logica toe op vierkantswortels en bewezen dat er slechts een eindig aantal "speciale" breuken voor hen bestaat, en dat ze de exacte limiet kunnen berekenen.
De Grote Conjectuur: Op basis van hun computercontroles (tot aan enorme getallen) vermoeden ze sterk dat de "Approximation Gain" altijd kleiner is dan 1,5. Als dit waar is, is dat een enorme stap richting het oplossen van de ABC-vermoedens.

Samenvatting

Kortom, dit artikel neemt een zeer abstracte, onbewezen wiskundige regel (ABC), gebruikt deze om een gebroken, vage regel over het raden van getallen (de Stelling van Roth) te repareren, en ontdekt een verborgen "snelheidslimiet" (Approximation Gain) die de sleutel kan zijn tot het ontrafelen van het hele mysterie van hoe getallen met elkaar samenhangen. Ze hebben de ABC-vermoedens nog niet opgelost, maar ze hebben een betere kaart en een nieuw kompas gebouwd om de oplossing te helpen vinden.

Technische Samenvatting: Van ABC naar Effectieve Roth- en Ridout-constanten voor Cubische Wortels

Probleemstelling
De stelling van Roth (1955) stelt dat voor elk algebraïsch getal $\alpha$ en elke $\epsilon > 0$ , er een constante $C(\alpha, \epsilon)$ bestaat zodanig dat $|\alpha - p/q| > C/q^{2+\epsilon}$ voor alle gehele getallen $p, q$ . Echter, het oorspronkelijke bewijs is ineffectief, wat betekent dat het de existentie van $C$ garandeert zonder een methode te bieden om een expliciete waarde te berekenen. Hoewel Bombieri (1994) en Van Frankenhuysen (1999) hebben aangetoond dat de ABC-vermoeden de stelling van Roth impliceert, hebben deze implicaties niet geleid tot expliciete constanten in een natuurlijke familie van gevallen. Dit artikel adresseert de kloof tussen de conditionele existentie van Roth-type grenzen en de afleiding van expliciete, effectieve constanten, specifiek voor cubische wortels ( $\sqrt[3]{k}$ ), door gebruik te maken van een effectieve vorm van de ABC-vermoeden.

Methodologie
De auteurs hanteren een constructieve aanpak die Diophantische benaderingsgegevens koppelt aan de rekenkundige eigenschappen van ABC-triples. De kernmethodologie bestaat uit drie hoofdonderdelen:

Bombieri–Van der Poorten Formule: De auteurs maken gebruik van de expliciete formule voor de coëfficiënten ( $b_n$ ) van de reguliere continuümbreuk van algebraïsche getallen, gespecialiseerd voor cubische wortels ( $\alpha = \sqrt[3]{k}$ ). Voor convergenten $p_n/q_n$ relateert de formule de volgende coëfficiënt $b_{n+1}$ aan de restantterm $d_n = |p_n^3 - k q_n^3|$ . Specifiek voor cubische wortels domineert de leidende term de restantterm, wat de rigoureuze ongelijkheid oplevert:
$b_{n+1} \leq \frac{3p_n^2 q_n}{d_n}$
Dit maakt de vertaling van de kwaliteit van benadering (gecodeerd in $b_n$ ) naar rekenkundige data ( $d_n$ ) mogelijk.
Constructie van ABC-triples: De "resulterende vergelijkingen" van de convergenten, $p_n^3 = k q_n^3 + d_n$ , worden getransformeerd naar coprime ABC-triples. Door $g_n = \gcd(k q_n^3, d_n) = \gcd(k, p_n^3)$ te definiëren, construeren de auteurs de triple:
$\left( \frac{p_n^3}{g_n}, \frac{k q_n^3}{g_n}, \frac{d_n}{g_n} \right)$
Dit waarborgt dat de triple uit onderling relatief priem gehele getallen bestaat, wat voldoet aan de vereisten voor het toepassen van de ABC-vermoeden.
Afleiding van Effectieve Grenzen: Uitgaande van een effectieve vorm van de ABC-vermoeden (waarbij een constante $K_\epsilon$ bestaat zodanig dat $c < K_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$ ), substitueren de auteurs de geconstrueerde triple in de ongelijkheid. Door dit te combineren met de Bombieri–Van der Poorten grens voor $b_{n+1}$ , leiden zij een expliciete relatie af tussen de $\epsilon$ -parameter in de stelling van Roth ( $\epsilon_{Roth}$ ) en de $\epsilon$ in de ABC-vermoeden ( $\epsilon_{ABC}$ ), evenals een expliciete bovengrens voor de inverse van de Roth-constante ( $1/C$ ).

Belangrijkste Bijdragen en Resultaten

Expliciete Roth-constanten voor Cubische Wortels: Het artikel leidt een volledig expliciete grens af voor de inverse van de Roth-constante voor $\sqrt[3]{k}$ . De relatie tussen de parameters wordt gegeven door $\epsilon_{Roth} = \frac{3\epsilon_{ABC}}{1+\epsilon_{ABC}}$ . De grens voor $1/C$ wordt uitgedrukt in termen van de ABC-constante $K_\epsilon$ , het gehele getal $k$ , en de initiële convergenten.
Numerieke Analyse voor $\sqrt[3]{2}$ : De auteurs passen hun methode toe op $\sqrt[3]{2}$ . Voor $\epsilon_{Roth} = 0.5$ levert de ABC-gebaseerde afleiding een grens van ongeveer $13.16$ voor $1/C$ , vergeleken met Korobovs exacte resultaat van $3.15$. Hoewel de ABC-gebaseerde grens in dit specifieke geval minder precies is (toe te schrijven aan het gebruik van grove bovengrenzen voor convergenten), demonstreert het de haalbaarheid van de methode. Vergelijkbare berekeningen worden geleverd voor $\epsilon_{Roth} = 0.4$ .
Extensie naar Ridouts Stelling: De methodologie wordt uitgebreid om expliciete grenzen te bieden voor het aantal oplossingen in Ridouts stelling (betreffende benaderingen door $S$ -integers) voor zowel vierkantswortels als cubische wortels. De auteurs tonen aan dat voor een vaste $\epsilon > 0$ en een effectieve ABC-constante, de verzameling oplossingen eindig en expliciet begrensd is.
Benaderingswinst en de Vermaedheid: Een nieuw concept, "benaderingswinst" (approximation gain), wordt geïntroduceerd als een verfijning van de "kwaliteit" van een ABC-hit. Het wordt gedefinieerd op basis van de logaritmische ratio van de termen in de resulterende vergelijking. De auteurs bewijzen dat voor cubische wortels ( $k \geq 3$ $k \geq 3$ en $k=2$ $k = 2$ ), de benaderingswinst strikt begrensd is door $3/2$ $3/2$ .
- Stelling 2.7 & 2.8: Voor alle resulterende vergelijkingen voortvloeiend uit convergenten naar $\sqrt[3]{k}$ , is de benaderingswinst kleiner dan $3/2$ .
- Computationele Verificatie: Deze grens is computationeel geverifieerd voor $c < 2^{63}$ .

Betekenis en Claims
Het artikel claimt de afhankelijkheid van Roth-type constanten van ABC-parameters expliciet te maken, waarmee het beweegt van een theoretische implicatie naar een berekenbaar kader voor cubische wortels. De betekenis ligt in:

Brug tussen Theorie en Computatie: Het biedt een concreet pad om Diophantische benaderingsgrenzen te berekenen, uitgaande van een effectieve ABC-vermoeden.
Strategische Decompositie van ABC: De auteurs stellen een potentiële strategie voor om de ABC-vermoeden aan te vallen door de "kwaliteit" van een ABC-hit te splitsen in twee componenten: "benaderingswinst" en "machtswinst" (power gain).
- Zij vermoeden dat de benaderingswinst altijd begrensd is door $3/2$ (bewezen voor cubische wortels).
- Zij suggereren dat als de machtswinst ook begrensd kan worden (bijv. door 3), de ABC-vermoeden bewezen kan worden.
Verfijning van Grenzen: Het werk introduceert de benaderingswinst als een metriek die altijd lager dan of gelijk aan de standaardkwaliteit is, wat een potentieel nauwere beperking biedt voor het analyseren van ABC-hits.

De auteurs blijven bescheiden over de precisie van de afgeleide Roth-constanten, waarbij zij opmerken dat in geteste gevallen (zoals $\sqrt[3]{2}$ ) de ABC-gebaseerde grenzen momenteel loser zijn dan bekende specifieke resultaten (bijv. Korobovs). Zij benadrukken echter dat de aanpak erin slaagt de constanten expliciet te maken en een nieuwe decompositie biedt voor toekomstig onderzoek naar de ABC-vermoeden.