On the Diophantine Inequality $\lvert x^{2} - 2^{a}\cdot 3^{b}\rvert < 3\max\{a,b\}$

Technische Samenvatting van "On the Diophantine Inequality $|x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$"

Probleemstelling
Het artikel onderzoekt de Diophantische ongelijkheid:
$$1 \le |x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$$
in niet-negatieve gehele getallen $x, a, b$. De auteurs zoeken naar de verzameling van alle oplossingen $(a, b, x)$. Het probleem bevindt zich op het snijvlak van de additieve en multiplicatieve getaltheorie, waarbij specifiek wordt gekeken naar hoe nauw een kwadraat een 3-smooth getal (een getal van de vorm $2^a 3^b$) kan benaderen wanneer de foutterm lineair groeit met de exponenten, terwijl de term $2^a 3^b$ zelf exponentieel groeit. Dit contrasteert met de klassieke vergelijking $x^2 = 2^a 3^b$, die een oneindige familie van triviale oplossingen heeft waar $a$ en $b$ even zijn. De ongelijkheid beperkt de zoektocht tot "bijna-missers" waarbij het verschil niet nul is maar relatief klein.

Methodologie
De bewijsstrategie is gesplitst op basis van de grootte van $A := \max\{a, b\}$, waarbij een combinatie van computationele verificatie, analytische getaltheorie en transcendentiemethoden wordt toegepast.

1. Kleine gevallen ($A \le 2200$):
   De auteurs voeren een exhaustieve computationele zoektocht uit met behulp van SageMath. Voor paren $(a, b)$ binnen het bereik $[0, 2200]$ identificeren zij kandidaat-gehele getallen $x$ die het dichtst bij $\sqrt{2^a 3^b}$ liggen (specifiek $\lfloor \sqrt{2^a 3^b} \rfloor$ en $\lfloor \sqrt{2^a 3^b} \rfloor + 1$) en verifiëren de ongelijkheid direct. Dit levert een eindige lijst met oplossingen op.

2. Grote gevallen ($A > 2200$):
   Voor grotere exponenten reduceren de auteurs het probleem tot een rationaal benaderingsprobleem betreffende irrationale getallen $\sqrt{d}$ waarbij $d \in \{2, 3, 6\}$.

   • Reductie naar Voorteleenheden: Door de pariteit van $a$ en $b$ te analyseren, wordt de term $2^a 3^b$ herschreven als $2^{2\alpha} 3^{2\beta} d$. De ongelijkheid impliceert dat een rationaal getal $x_0/y_0$ de waarde $\sqrt{d}$ benadert met een fout die begrensd wordt door $K/y_0^2$, waarbij $K$ afhangt van $A$.
   • Worley's Stelling: De auteurs passen Worley's stelling toe om dergelijke rationele benaderingen te karakteriseren. Dit vestigt dat $x_0/y_0$ ofwel een convergent is van de voorteleenheden van de continued fraction van $\sqrt{d}$, ofwel een specifieke lineaire combinatie van opeenvolgende convergenten. Dit leidt tot een verenigde exponentiële Diophantische vergelijking van de vorm:
     $$2\sqrt{d} y_0 = C\gamma^n + D\delta^n$$
     waarbij $\gamma$ de fundamentele eenheid is van het kwadratische lichaam $\mathbb{Q}(\sqrt{d})$, en $C, D$ algebraische gehele getallen zijn die geparametriseerd worden door specifieke families.
   • p-adische Lineaire Vormen in Logaritmen: Om de exponent $n$ (en daarmee $A$) te begrenzen, nemen de auteurs $p$-adische valuaties ($p \in \{2, 3\}$) van de verenigde vergelijking. Zij passen een ondergrens-stelling toe voor $p$-adische lineaire vormen in twee logaritmen, afkomstig van Bugeaud en Laurent. Deze stap levert een initiële, zij het zeer grote, bovengrens voor $A$ op (ongeveer $3,57 \times 10^7$).
   • LLL Algoritme Reductie: De initiële bovengrens is te groot voor directe berekening. De auteurs gebruiken het Lenstra–Lenstra–Lovász (LLL) roosterreductie-algoritme om de bovengrens aanzienlijk aan te scherpen. Door een rooster te construeren op basis van de lineaire vorm afgeleid van de logaritmische vergelijking, reduceren zij de bovengrens voor $A$ naar $2200$.

3. Afhandeling van Speciale Gevallen:
   De auteurs behandelen mogelijke randgevallen waarbij de algebraische getallen betrokken bij de lineaire vormen multiplicatief afhankelijk zijn. Zij demonstreren dat in deze scenario's de bovengrens op $A$ zelfs kleiner wordt ($A < 180$), wat garandeert dat deze gevallen al gedekt zijn door de initiële computationele zoektocht.

Belangrijkste Bijdragen en Resultaten

• Volledige Classificatie: Het artikel stelt vast dat er exact 57 niet-negatieve gehele oplossingen $(a, b, x)$ zijn voor de ongelijkheid.
• Expliciete Lijst: Alle 57 oplossingen worden expliciet vermeld in Tabel 1.1 van het artikel. De auteurs merken op dat als men de zoektocht beperkt tot positieve gehele getallen $x, a, b$, er exact 28 oplossingen zijn.
• Methodologische Synthese: Het werk demonstreert de effectiviteit van het combineren van klassieke Diophantische benaderingsinstrumenten (Worley's stelling, continued fractions) met moderne transcendentiemethoden (Bugeaud–Laurent bounds) en computationele roosterreductie (LLL) om specifieke Diophantische ongelijkheden volledig op te lossen.

Betekenis
Het artikel draagt bij aan het bredere programma van het begrijpen van Diophantische ongelijkheden waarbij polynomiale expressies multiplicatief gestructureerde verzamelingen (smooth numbers) benaderen. Het breidt de studie van "bijna-misser" vergelijkingen uit voorbij het domein van exacte Diophantische vergelijkingen (zoals Pillai-type vergelijkingen) naar gevallen met gecontroleerde fouttermen. De auteurs benadrukken dat de aanwezigheid van een foutterm die lineair groeit met de exponenten, in plaats van constant te zijn, een zeer beperkt regime creëert dat slechts eindig veel oplossingen toelaat. De succesvolle resolutie van deze specifieke ongelijkheid dient als een demonstratie van de kracht van de huidige transcendentiemethoden om dergelijke problemen volledig op te lossen.