On extensions of $D(4)$-triples by adjoining smaller elements

Dit artikel onderzoekt het uitbreiden van $D(4)$-drietallen met een kleiner element, bewijst relaties die de uniciteitsvermoeden ondersteunen en toont aan dat er voor elk $D(4)$-drietal hooguit twee zulke uitbreidingen bestaan.

De kern

Hier is een uitleg van het wetenschappelijke artikel "Over uitbreidingen van D(4)-drietallen door kleinere elementen toe te voegen", vertaald naar begrijpelijk Nederlands met behulp van alledaagse metaforen.

De Basis: Het Wiskundige Raadsel

Stel je voor dat je een clubje getallen hebt. In de wiskunde noemen we zo'n clubje een D(4)-m-tupel. De enige regel voor lidmaatschap is heel specifiek:
Als je twee willekeurige getallen uit de club pakt, ze met elkaar vermenigvuldigt en er 4 bij optelt, moet het resultaat een perfect kwadraat zijn (zoals 4, 9, 16, 25, etc.).

• Voorbeeld: Als je het getal 1 en 5 hebt: $1 \times 5 + 4 = 9$. 9 is$3^2$. Dus 1 en 5 kunnen samen in de club.

Wiskundigen zijn al eeuwenlang op zoek naar de grootste mogelijke club.

• Voor een eerdere versie van dit spel (waar je 1 optelt in plaats van 4), is bewezen dat je nooit meer dan 4 getallen kunt hebben.
• Voor de huidige versie (waar je 4 optelt), is al bewezen dat je nooit een club van 5 getallen kunt hebben.

Het Probleem: Het Toevoegen van een Nieuw Lid

De auteurs van dit artikel, Marija Bliznac Trebješanin en Pavao Radić, kijken naar een specifiek scenario:
Stel je hebt al een club van 3 getallen (een D(4)-drietal). Je wilt weten of je een 4e getal kunt toevoegen om een club van 4 te maken.

Er zijn twee manieren om dit te doen:

1. De grote uitbreiding: Je zoekt een getal dat groter is dan alle bestaande getallen. Dit is vaak makkelijk te vinden en er is meestal maar één oplossing.
2. De kleine uitbreiding: Je zoekt een getal dat kleiner is dan de bestaande getallen. Dit is het moeilijke deel.

De Grote Vraag (Conjecture 1.2):
Stel je hebt een club van 4 getallen: $\{a, b, c, d\}$, waarbij $a$ het kleinste is. Kan het zijn dat er nog een ander klein getal $a'$ bestaat, dat ook een club van 4 vormt met $b, c$ en $d$?
Met andere woorden: Kunnen er twee verschillende "kleine sleutels" zijn die hetzelfde slot openen?

De auteurs vermoeden dat het antwoord nee is. Er kan maar één klein getal zijn dat past.

Wat hebben ze bewezen? (De "Detective Werk")

De auteurs hebben niet direct bewezen dat er nooit twee kleine getallen zijn (dat is nog een open vraag), maar ze hebben wel sterke regels opgesteld die elke verdachte verdachte moeten volgen als ze wel zouden bestaan.

Stel je voor dat je twee verdachten hebt, A1 en A2, die beide beweren dat ze de juiste sleutel zijn voor dezelfde club. De auteurs zeggen: "Oké, als jullie allebei de juiste sleutel zijn, dan moeten jullie aan deze strenge regels voldoen:"

1. Ze moeten ver uit elkaar liggen: A2 moet minstens 4 keer zo groot zijn als A1. Ze kunnen niet dicht bij elkaar zitten.
2. Ze moeten enorm groot zijn: Als A1 al 2 is, dan moet A2 minstens 317 zijn.
3. De club moet gigantisch zijn: De andere leden van de club (b, c, d) moeten zo groot zijn dat ze een specifieke, enorme verhouding hebben met A1 en A2.

De belangrijkste conclusie:
Als er twee verschillende kleine getallen zijn die werken, dan moeten ze allebei "onregelmatig" zijn. In de wiskundetaal betekent dit dat ze niet op de standaard, makkelijke manier zijn gevonden. Ze zijn rare uitzonderingen.

De Methode: Een Wiskundige Ladder

Hoe hebben ze dit bewezen? Ze gebruikten een techniek die lijkt op het beklimmen van een ladder met trappen die steeds smaller worden.

1. De Ladder (Pelliaanse vergelijkingen): Ze vertalen het probleem naar een soort wiskundige ladder. De getallen in de club moeten op bepaalde trappen van deze ladder staan.
2. De Bovenkant van de Ladder: Ze bewijzen dat als er twee kleine getallen zijn, de "trap" (het getal $c$) niet oneindig hoog kan zijn. Er is een plafond.
3. De Onderkant van de Ladder: Ze bewijzen ook dat de trap niet te laag kan zijn.
4. Het Resultaat: Omdat de ladder tussen een onder- en bovengrens zit, is er maar een beperkt aantal mogelijke ladders.

Omdat er maar een eindig aantal mogelijkheden is, kunnen computers (zoals in dit artikel gebruikt) alle mogelijke gevallen narekenen. De auteurs tonen aan dat binnen deze grenzen geen enkel geval bestaat dat aan alle regels voldoet.

De Eindconclusie in Eenvoudige Woorden

Het artikel zegt eigenlijk:
"Hoewel we nog niet 100% zeker weten dat er nooit twee kleine getallen zijn die hetzelfde D(4)-drietal uitbreiden, hebben we bewezen dat als ze er wel zijn, ze extreem groot en extreem zeldzaam moeten zijn. We hebben de zoekruimte zo sterk ingeperkt dat we weten dat er maar een eindig aantal van deze rare situaties kan bestaan."

Dit is een enorme stap voorwaarts. Het betekent dat wiskundigen in de toekomst met een computer alle mogelijke "verdachten" kunnen uitsluiten, waardoor de kans dat de oorspronkelijke hypothese (dat er maar één klein getal is) waar is, enorm groot wordt.

Kort samengevat:
De auteurs hebben een wiskundig raadsel opgelost door te bewijzen dat als er twee verschillende "kleine sleutels" zijn, ze zo vreemd en groot moeten zijn dat ze in feite niet kunnen bestaan binnen de bekende regels van de getallenwereld. Ze hebben de zoektocht van "oneindig" veranderd in "eindig en controleerbaar".

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "ON EXTENSIONS OF D(4)-TRIPLES BY ADJOINING SMALLER ELEMENTS" van Marija Bliznac Trebješanin en Pavao Radić, geschreven in het Nederlands.

1. Probleemstelling en Context

Het artikel onderzoekt een specifiek probleem binnen de theorie van Diophantische $m$-tupels. Een verzameling van $m$ verschillende positieve gehele getallen $\{x_1, \dots, x_m\}$ wordt een $D(n)$-m-tupel genoemd als het product van elk paar verschillende elementen, vermeerderd met $n$, een perfect kwadraat is.

De focus ligt op het geval $n=4$ ($D(4)$-tupels). Een centrale vraag in dit vakgebied is hoe groot zulke verzamelingen kunnen zijn en of uitbreidingen uniek zijn.

• Voor $n=1$ is bewezen dat er geen $D(1)$-sextupels bestaan en dat $D(1)$-quintupels niet bestaan.
• Voor $n=4$ is bewezen dat er geen $D(4)$-quintupels bestaan.

Het artikel richt zich op de uniekheid van uitbreidingen. Gegeven een $D(4)$-tripel $\{a, b, c\}$, is het bekend dat dit kan worden uitgebreid tot een $D(4)$-quadrupel door een element $d > \max\{a, b, c\}$ toe te voegen. De "reguliere" uitbreiding wordt gegeven door een specifieke formule ($d_+$). De conjectuur (Conjecture 1.1) stelt dat deze uitbreiding uniek is voor $d > \max\{a, b, c\}$.

Het artikel onderzoekt echter een subtieler probleem: Kan een $D(4)$-tripel $\{b, c, d\}$ worden uitgebreid met een element $a$ dat kleiner is dan de andere elementen ($a < b < c < d$)?
Specifiek wordt de volgende conjectuur onderzocht (Conjecture 1.2):

Als $\{a_1, b, c, d\}$ een $D(4)$-quadrupel is met $a_1 < b < c < d$, dan bestaat er geen ander geheel getal $a_2 \neq a_1$ met $a_2 < b$ zodat $\{a_2, b, c, d\}$ ook een $D(4)$-quadrupel is.

Het doel van het artikel is om voorwaarden te vinden waaronder een tegenvoorbeeld voor deze conjectuur zou kunnen bestaan, en om te bewijzen dat dergelijke tegenvoorbeelden uiterst zeldzaam of niet-existent zijn.

2. Methodologie

De auteurs gebruiken een combinatie van analytische getaltheorie en computergestuurde verificatie. De kern van de methode bestaat uit de volgende stappen:

1. Pell-vergelijkingen:
   De voorwaarde dat $\{a_1, b, c, d\}$ en $\{a_2, b, c, d\}$ beide $D(4)$-quadrupels zijn, leidt tot een stelsel van Pell-vergelijkingen. Door de onbekenden $x_1, x_2, y, z$ (gerelateerd aan de wortels van de producten +4) te beschouwen, ontstaat een stelsel waar de oplossingen kunnen worden uitgedrukt als termen in recursieve rijen ($v_m$ en $w_n$).
   De vergelijkingen zijn onder meer:
   $$a_1 z^2 - c x_1^2 = 4(a_1 - c)$$
   $$a_2 z^2 - c x_2^2 = 4(a_2 - c)$$
   $$b z^2 - c y^2 = 4(b - c)$$

2. Diophantische Benadering (Hypergeometrische Methode):
   Om de oplossingen van deze stelsels te beperken, maken de auteurs gebruik van resultaten over Diophantische benaderingen van algebraïsche getallen (gebaseerd op werk van Dujella, He, Togbé, Ziegler, en anderen). Ze gebruiken stellingen die een bovengrens geven voor de index $n$ van de oplossingen ($z = v_m = w_n$) in termen van de elementen van het tupel ($a_1, a_2, b, c$).
   Specifiek wordt Lemma 2.5 gebruikt, dat een scherpe bovengrens geeft voor de index $n$ afhankelijk van de grootte van $c$ en de parameters $a_1, a_2$.

3. Analyse van Ongelijkheden:
   De auteurs combineren de bovengrens voor $n$ (uit Lemma 2.5) met een ondergrens voor $n$ (uit Lemma 2.8, gebaseerd op de grootte van $b$ en $c$). Door deze twee grenzen met elkaar te vergelijken, worden sterke ongelijkheden afgeleid tussen $a_1, a_2, b$ en $c$.
   Ze analyseren functies zoals $\phi(c)$ om te tonen dat deze afnemen met $c$, wat het mogelijk maakt om numerieke bovengrenzen af te leiden.

4. Computerverificatie:
   Na het afleiden van zeer strikte bovengrenzen voor de variabelen (bijv. $a_2 \leq 1976$ of $b < a_2^2$), voeren de auteurs een uitgebreide computerzoektocht uit (met behulp van Wolfram Mathematica). Ze controleren alle mogelijke paren $\{a_1, a_2\}$ binnen deze grenzen om te zien of er geldige waarden voor $b$ en $c$ bestaan die voldoen aan de Diophantische voorwaarden.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert de volgende cruciale resultaten:

• Theorema 1.3 (Relaties tussen elementen):
  Als er twee verschillende $D(4)$-quadrupels bestaan $\{a_1, b, c, d\}$ en $\{a_2, b, c, d\}$ met $a_1 < a_2 < b < c < d$, dan moeten de volgende voorwaarden gelden:

  1. $a_2 > 4a_1$.
  2. $a_2 > 0.0251 a_1^2$.
  3. Als $a_1 \geq 2$, dan geldt $b < a_2^2$ en $a_2 \geq 317$.
  4. De grootte van $c$ is strikt begrensd: $0.25 a_1^2 b^3 < c < 0.25 a_2^2 b^3$.

• Corollarium 1.4 (Irreguliere Quadrupels):
  Het wordt bewezen dat als een dergelijke dubbele uitbreiding bestaat, beide quadrupels $\{a_1, b, c, d\}$ en $\{a_2, b, c, d\}$ irregulier moeten zijn. Een reguliere uitbreiding is uniek; dus als er twee verschillende $a$'s zijn, kan geen van beide de reguliere uitbreiding zijn.

• Corollarium 1.5 (Maximaal twee uitbreidingen):
  Voor een gegeven $D(4)$-tripel $\{b, c, d\}$ bestaan er maximaal twee positieve gehele getallen $a < \min\{b, c, d\}$ zodat $\{a, b, c, d\}$ een $D(4)$-quadrupel is. Er kunnen dus niet drie of meer verschillende kleine uitbreidingen bestaan.

• Corollarium 1.6 (Eindigheid):
  Er bestaan slechts eindig veel quintupels $\{a_1, a_2, b, c, d\}$ die voldoen aan de condities van een dubbele uitbreiding. Dit wordt bewezen door te tonen dat $c$ een numerieke bovengrens heeft ($c < 10^{2157}$), wat de zoekruimte beperkt tot een eindig aantal gevallen.

• Corollarium 1.7 (Implicatie):
  De conjectuur over de uniekheid van uitbreidingen met een groter element (Conjecture 1.1) impliceert de conjectuur over de uniekheid van uitbreidingen met een kleiner element (Conjecture 1.2).

4. Significatie en Conclusie

Deze paper is significant omdat het de kennis over $D(4)$-tupels aanzienlijk uitbreidt ten opzichte van eerdere werken (zoals [3] van de eerste auteur).

1. Versterking van de Uniekheidsconjectuur: Het artikel toont aan dat tegenvoorbeelden voor de uniekheid van uitbreidingen met een kleiner element extreem onwaarschijnlijk zijn. De afgeleide ongelijkheden (zoals $a_2 > 4a_1$ en $b < a_2^2$) zijn zo restrictief dat ze de ruimte voor mogelijke tegenvoorbeelden drastisch verkleinen.
2. Technische Vooruitgang: De paper introduceert verbeterde schattingen voor de indices van oplossingen van Pell-vergelijkingen in de context van $D(4)$-tupels. De combinatie van analytische limieten met computergestuurde verificatie voor specifieke parameterbereiken is een robuuste methode die in de toekomst voor soortgelijke problemen kan worden gebruikt.
3. Relatie tussen Reguliere en Irreguliere Uitbreidingen: Het bewijs dat dubbele uitbreidingen per definitie irregulier moeten zijn, koppelt het probleem van kleine uitbreidingen direct aan de structuur van de reguliere uitbreidingen, wat inzicht geeft in de onderliggende algebraïsche structuur van Diophantische tupels.

Samenvattend bewijzen de auteurs dat hoewel het bestaan van een dubbele uitbreiding met een kleiner element niet volledig is uitgesloten, het aantal mogelijke gevallen eindig is en de voorwaarden voor een dergelijk geval uiterst streng zijn. Dit ondersteunt sterk de hypothese dat dergelijke uitbreidingen in de praktijk niet voorkomen.