Inhomogeneous Approximation by Sums of Roots

Technische Samenvatting: Inhomogene Benadering door Sommen van Wortels

Probleemstelling
Het artikel behandelt het probleem van inhomogene Diophantische benadering met betrekking tot sommen van $d$-de wortels. Specifiek, gegeven vaste gehele getallen $d \ge 2$ en $k \ge 1$, een reële doelwaarde $\beta$, en een grote bovengrens $N$, is het doel gehele getallen $1 \le b_1, \dots, b_k \le N$ te vinden zodat de afstand van de som van hun $d$-de wortels tot $\beta$ wordt geminimaliseerd:
$$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\|$$
waarbij $\|x\|$ de afstand van $x$ tot het dichtstbijzijnde gehele getal aanduidt. Het artikel streeft ernaar de optimale exponent $\gamma$ vast te stellen zodat deze afstand begrensd is door $O(N^{-\gamma})$.

Vorig werk van Iyer (2025) vestigde een effectieve inhomogene exponent van ten minste $(k-d+1)/d^2$ en een scherpere "volledige-basis" exponent $\gamma_{k,d} = d^{\lfloor \log_d(k+1) \rfloor - 1}/d$. De laatste bereikt de waarde $k/d$ alleen wanneer $k+1$ een macht van $d$ is. Het artikel beoogt deze exponenten te verbeteren voor algemene $k$ en $d$, met name in gevallen waar $k+1$ geen macht van $d$ is, zij het ten koste van effectiviteit.

Methodologie
Het bewijs van het hoofdtheorema rust op twee primaire componenten:

1. Dual Ondergrens via Schmidt's Subruimtestelling:
   De auteurs maken gebruik van Schmidt's Subruimtestelling om een dual ondergrens vast te stellen voor lineaire vormen die verschillende priemradicalen bevatten. Door verschillende priemgetallen $p_1, \dots, p_k$ te selecteren en $\theta_i = p_i^{1/d}$ te stellen, roepen zij de lineaire onafhankelijkheid van $1, \theta_1, \dots, \theta_k$ over $\mathbb{Q}$ in (een resultaat van Besicovitch). Dit levert een ondergrens op van de vorm:
   $$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$$
   voor elke $\eta > 0$ en een niet-nul geheel getal $h$. Deze stap is niet-effectief, omdat deze berust op de Subruimtestelling.

2. Inhomogene Transpositie:
   De auteurs maken gebruik van een overdrachtsargument voor overdekking (Lemma 3.2) om de dual ondergrens om te zetten in een resultaat voor inhomogene benadering. Met behulp van de meetkunde van getallen (specifiek Mahler's transpositieprincipe en de overdekkingsstraal van een rooster) tonen zij aan dat als de dual grens geldt met exponent $\sigma$, er voor elke doelwaarde $\beta$ en parameter $Q$ gehele getallen $q_1, \dots, q_k$ bestaan met $|q_i| \le Q$ zodat:
   $$\left\| \sum_{i=1}^k q_i \theta_i - \beta \right\| \ll Q^{-1/\sigma}$$
   Door de coëfficiënten te verschuiven naar positieve waarden en de wortelgetallen te herdefiniëren als $b_i = p_i c_i^d$ (waarbij $c_i$ zijn afgeleid van de $q_i$), wordt het probleem teruggetransformeerd naar een som van $d$-de wortels met wortelgetallen begrensd door $N$.

Belangrijkste Resultaten

• Theorema 1.1 (Hoofdtheorema): Voor elke vaste $d \ge 2$, $k \ge 1$, en $\varepsilon > 0$, bestaat er een constante $C_{d,k,\varepsilon}$ zodat voor elke $N \ge 2$ en $\beta \in \mathbb{R}$, er gehele getallen $1 \le b_1, \dots, b_k \le N$ bestaan die voldoen aan:
  $$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \le C_{d,k,\varepsilon} N^{-k/d + \varepsilon}$$
  Dit resultaat biedt een exponent van $k/d - \varepsilon$. Het verbetert Iyer's exponent $(k-d+1)/d^2$ en de volledige-basis exponent $\gamma_{k,d}$ telkens wanneer $k+1$ geen macht van $d$ is. In het specifieke geval waar $k+1$ een macht van $d$ is, bereikt Iyer's effectieve constructie al $k/d$, terwijl dit theorema een willekeurige $\varepsilon$ verliest en niet-effectief is.

• Conjectuur 1.2 (Uniforme Exponent): De auteurs stellen een sterkere conjectuur voor dat de optimale uniforme exponent $k - 1/d$ is. Dit suggereert dat het huidige resultaat van $k/d$ niet het uiteindelijke limiet is, maar eerder een gevolg van de specifieke algebraïsche structuur (een schaarse familie van wortelgetallen) die in het bewijs wordt gebruikt. De conjectuur stelt:
  $$\sup_{\beta \in \mathbb{R}/\mathbb{Z}} \min_{1 \le b_1, \dots, b_k \le N} \left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \ll_{d,k,\varepsilon} N^{-(k-1/d) + \varepsilon}$$

• Expliciete Constructies voor $d=2$: In Sectie 5 biedt het artikel expliciete constructies voor gehele doelwaarden voor het geval van vierkantswortels ($d=2$) met $k=2, 3, 4$. Met behulp van Taylor-ontwikkelingen en coëfficiëntannulering construeren de auteurs sommen van vierkantswortels die een geheel getal benaderen met een fout van de orde $M^{-(2k-1)}$, waarbij de wortelgetallen een grootte hebben van $M^2$. Dit levert een exponent op van $N^{-(k-1/2)}$, wat overeenkomt met de conjecturale waarde voor deze specifieke gevallen.

Betekenis en Claims
Het artikel claimt een ander bewijs te leveren voor inhomogene exponenten in sommen van wortels, waarbij de methodologie verschuift van Iyer's "volledige radicalen-basis" aanpak naar een algemeen algebraïsch Diophantisch benaderingskader met gebruikmaking van Schmidt's Subruimtestelling.

De primaire betekenis ligt in de verbetering van de exponent voor gevallen waar $k+1$ geen macht van $d$ is. De auteurs merken op dat hoewel hun resultaat niet-effectief is (wegens de Subruimtestelling), het een betere exponent bereikt dan eerdere effectieve constructies in die specifieke regimes. Het artikel benadrukt ook de kloof tussen de bewezen exponent ($k/d$) en de geconjectureerde optimale exponent ($k-1/d$), wat suggereert dat de laatste meer "lokale vrijheid" vereist bij de keuze van wortelgetallen, verder dan de schaarse familie die in het hoofd bewijs wordt gebruikt. De expliciete constructies voor $d=2$ dienen als bewijs dat de geconjectureerde uniforme exponent ondersteunt.