Inhomogeneous Approximation by Sums of Roots

Technische Zusammenfassung: Inhomogene Approximation durch Summen von Wurzeln

Problemstellung
Der Beitrag behandelt das Problem der inhomogenen diophantischen Approximation, das Summen von $d$-ten Wurzeln betrifft. Konkret ist für feste ganze Zahlen $d \ge 2$ und $k \ge 1$, ein reelles Ziel $\beta$ und eine große Schranke $N$ das Ziel, ganze Zahlen $1 \le b_1, \dots, b_k \le N$ zu finden, sodass der Abstand der Summe ihrer $d$-ten Wurzeln zu $\beta$ minimiert wird:
$$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\|$$
wobei $\|x\|$ den Abstand von $x$ zur nächsten ganzen Zahl bezeichnet. Der Beitrag zielt darauf ab, den optimalen Exponenten $\gamma$ zu etablieren, sodass dieser Abstand durch $O(N^{-\gamma})$ beschränkt ist.

Vorarbeiten von Iyer (2025) etablierten einen effektiven inhomogenen Exponenten von mindestens $(k-d+1)/d^2$ und einen schärferen „Full-Basis"-Exponenten $\gamma_{k,d} = d^{\lfloor \log_d(k+1) \rfloor - 1}/d$. Letzterer erreicht den Wert $k/d$ nur, wenn $k+1$ eine Potenz von $d$ ist. Der Beitrag zielt darauf ab, diese Exponenten für allgemeine $k$ und $d$ zu verbessern, insbesondere in Fällen, in denen $k+1$ keine Potenz von $d$ ist, wenn auch auf Kosten der Effektivität.

Methodik
Der Beweis des Haupttheorems stützt sich auf zwei Hauptkomponenten:

1. Duale untere Schranke via Schmidt's Subspace Theorem:
   Die Autoren nutzen Schmidt's Subspace Theorem, um eine duale untere Schranke für lineare Formen zu etablieren, die verschiedene Primradikale beinhalten. Durch die Auswahl verschiedener Primzahlen $p_1, \dots, p_k$ und die Setzung von $\theta_i = p_i^{1/d}$ rufen sie die lineare Unabhängigkeit von $1, \theta_1, \dots, \theta_k$ über $\mathbb{Q}$ (ein Ergebnis von Besicovitch) ins Spiel. Dies liefert eine untere Schranke der Form:
   $$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$$
   für jedes $\eta > 0$ und jede von Null verschiedene ganze Zahl $h$. Dieser Schritt ist nicht effektiv, da er auf dem Subspace Theorem beruht.

2. Inhomogene Übertragung:
   Die Autoren verwenden ein Übertragungsargument mittels Überdeckung (Lemma 3.2), um die duale untere Schranke in ein Ergebnis zur inhomogenen Approximation umzuwandeln. Unter Verwendung der Geometrie der Zahlen (insbesondere Mahlers Übertragungsprinzip und des Überdeckungsradius eines Gitters) zeigen sie, dass, wenn die duale Schranke mit Exponent $\sigma$ gilt, für jedes Ziel $\beta$ und jeden Parameter $Q$ ganze Zahlen $q_1, \dots, q_k$ mit $|q_i| \le Q$ existieren, sodass:
   $$\left\| \sum_{i=1}^k q_i \theta_i - \beta \right\| \ll Q^{-1/\sigma}$$
   Durch Verschieben der Koeffizienten zu positiven Werten und Neudefinieren der Radikanden als $b_i = p_i c_i^d$ (wobei $c_i$ aus den $q_i$ abgeleitet sind), wird das Problem zurück in eine Summe von $d$-ten Wurzeln mit durch $N$ beschränkten Radikanden transformiert.

Hauptergebnisse

• Theorem 1.1 (Haupttheorem): Für jedes feste $d \ge 2$, $k \ge 1$ und $\varepsilon > 0$ existiert eine Konstante $C_{d,k,\varepsilon}$, sodass für jedes $N \ge 2$ und $\beta \in \mathbb{R}$ ganze Zahlen $1 \le b_1, \dots, b_k \le N$ existieren, die erfüllen:
  $$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \le C_{d,k,\varepsilon} N^{-k/d + \varepsilon}$$
  Dieses Ergebnis liefert einen Exponenten von $k/d - \varepsilon$. Es verbessert Iyers Exponenten $(k-d+1)/d^2$ und den Full-Basis-Exponenten $\gamma_{k,d}$, sofern $k+1$ keine Potenz von $d$ ist. Im spezifischen Fall, in dem $k+1$ eine Potenz von $d$ ist, erreicht Iyers effektive Konstruktion bereits $k/d$, wohingegen dieses Theorem ein beliebiges $\varepsilon$ verliert und nicht effektiv ist.

• Vermutung 1.2 (Uniformer Exponent): Die Autoren schlagen eine stärkere Vermutung vor, dass der optimale uniforme Exponent $k - 1/d$ ist. Dies legt nahe, dass das aktuelle Ergebnis von $k/d$ nicht die endgültige Grenze ist, sondern vielmehr eine Konsequenz der spezifischen algebraischen Struktur (sparse Familie von Radikanden) ist, die im Beweis verwendet wird. Die Vermutung postuliert:
  $$\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}$$

• Explizite Konstruktionen für $d=2$: In Abschnitt 5 liefert der Beitrag explizite Konstruktionen für ganzzahlige Ziele im Fall der Quadratwurzeln ($d=2$) mit $k=2, 3, 4$. Unter Verwendung von Taylor-Entwicklungen und Koeffizienten-Kürzung konstruieren die Autoren Summen von Quadratwurzeln, die eine ganze Zahl mit einem Fehler der Ordnung $M^{-(2k-1)}$ approximieren, wobei die Radikanden die Größe $M^2$ haben. Dies ergibt einen Exponenten von $N^{-(k-1/2)}$, der den vermuteten Wert für diese spezifischen Fälle entspricht.

Bedeutung und Behauptungen
Der Beitrag behauptet, einen anderen Beweis für inhomogene Exponenten in Summen von Wurzeln zu liefern und die Methodik von Iyers „Full Radical Basis"-Ansatz zu einem allgemeinen algebraischen Rahmen der diophantischen Approximation unter Verwendung von Schmidt's Subspace Theorem zu verschieben.

Die primäre Bedeutung liegt in der Verbesserung des Exponenten für Fälle, in denen $k+1$ keine Potenz von $d$ ist. Die Autoren stellen fest, dass ihr Ergebnis zwar nicht effektiv ist (aufgrund des Subspace Theorem), aber in diesen spezifischen Regimen einen besseren Exponenten als frühere effektive Konstruktionen erreicht. Der Beitrag hebt zudem die Lücke zwischen dem bewiesenen Exponenten ($k/d$) und dem vermuteten optimalen Exponenten ($k-1/d$) hervor und legt nahe, dass Letzterer die Ausnutzung mehrerer „lokaler Freiheitsgrade" bei der Wahl der Radikanden jenseits der im Hauptbeweis verwendeten spärlichen Familie erfordert. Die expliziten Konstruktionen für $d=2$ dienen als Beleg, der die vermuteten uniformen Exponenten stützt.