Inhomogeneous Approximation by Sums of Roots

Resumen Técnico: Aproximación Inhomogénea por Sumas de Raíces

Enunciado del Problema
El artículo aborda el problema de la aproximación diofántica inhomogénea que involucra sumas de raíces $d$-ésimas. Específicamente, dados enteros fijos $d \ge 2$ y $k \ge 1$, un objetivo real $\beta$, y una cota grande $N$, el objetivo es encontrar enteros $1 \le b_1, \dots, b_k \le N$ tales que la distancia desde la suma de sus raíces $d$-ésimas hasta $\beta$ se minimice:
$$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\|$$
donde $\|x\|$ denota la distancia de $x$ al entero más cercano. El artículo busca establecer el exponente óptimo $\gamma$ tal que esta distancia esté acotada por $O(N^{-\gamma})$.

Trabajos previos de Iyer (2025) establecieron un exponente inhomogéneo efectivo de al menos $(k-d+1)/d^2$ y un exponente más agudo de "base completa" $\gamma_{k,d} = d^{\lfloor \log_d(k+1) \rfloor - 1}/d$. Este último alcanza el valor $k/d$ solo cuando $k+1$ es una potencia de $d$. El artículo pretende mejorar estos exponentes para $k$ y $d$ generales, particularmente en casos donde $k+1$ no es una potencia de $d$, aunque a costa de la efectividad.

Metodología
La demostración del teorema principal se basa en dos componentes primarios:

1. Cota Inferior Dual mediante el Teorema del Subespacio de Schmidt:
   Los autores utilizan el Teorema del Subespacio de Schmidt para establecer una cota inferior dual para formas lineales que involucran radicales primos distintos. Al seleccionar primos distintos $p_1, \dots, p_k$ y establecer $\theta_i = p_i^{1/d}$, invocan la independencia lineal de $1, \theta_1, \dots, \theta_k$ sobre $\mathbb{Q}$ (un resultado debido a Besicovitch). Esto produce una cota inferior de la forma:
   $$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$$
   para cualquier $\eta > 0$ y entero no nulo $h$. Este paso no es efectivo, ya que depende del Teorema del Subespacio.

2. Transferencia Inhomogénea:
   Los autores emplean un argumento de transferencia de recubrimiento (Lema 3.2) para convertir la cota inferior dual en un resultado de aproximación inhomogénea. Utilizando la geometría de los números (específicamente el principio de transferencia de Mahler y el radio de recubrimiento de un retículo), muestran que si la cota dual se cumple con exponente $\sigma$, entonces para cualquier objetivo $\beta$ y parámetro $Q$, existen enteros $q_1, \dots, q_k$ con $|q_i| \le Q$ tales que:
   $$\left\| \sum_{i=1}^k q_i \theta_i - \beta \right\| \ll Q^{-1/\sigma}$$
   Al desplazar los coeficientes para que sean positivos y redefinir los radicandos como $b_i = p_i c_i^d$ (donde $c_i$ se derivan de los $q_i$), el problema se transforma de nuevo en una suma de raíces $d$-ésimas con radicandos acotados por $N$.

Resultados Clave

• Teorema 1.1 (Teorema Principal): Para cualquier $d \ge 2$, $k \ge 1$ y $\varepsilon > 0$ fijos, existe una constante $C_{d,k,\varepsilon}$ tal que para todo $N \ge 2$ y $\beta \in \mathbb{R}$, existen enteros $1 \le b_1, \dots, b_k \le N$ que satisfacen:
  $$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \le C_{d,k,\varepsilon} N^{-k/d + \varepsilon}$$
  Este resultado proporciona un exponente de $k/d - \varepsilon$. Mejora el exponente de Iyer $(k-d+1)/d^2$ y el exponente de base completa $\gamma_{k,d}$ siempre que $k+1$ no sea una potencia de $d$. En el caso específico donde $k+1$ es una potencia de $d$, la construcción efectiva de Iyer ya alcanza $k/d$, mientras que este teorema pierde un $\varepsilon$ arbitrario y es inefectivo.

• Conjetura 1.2 (Exponente Uniforme): Los autores proponen una conjetura más fuerte de que el exponente uniforme óptimo es $k - 1/d$. Esto sugiere que el resultado actual de $k/d$ no es el límite final, sino más bien una consecuencia de la estructura algebraica específica (familia dispersa de radicandos) utilizada en la demostración. La conjetura postula:
  $$\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}$$

• Construcciones Explícitas para $d=2$: En la Sección 5, el artículo proporciona construcciones explícitas de objetivos enteros para el caso de la raíz cuadrada ($d=2$) con $k=2, 3, 4$. Utilizando expansiones de Taylor y cancelación de coeficientes, los autores construyen sumas de raíces cuadradas que aproximan un entero con un error del orden de $M^{-(2k-1)}$, donde los radicandos son de tamaño $M^2$. Esto produce un exponente de $N^{-(k-1/2)}$, que coincide con el valor conjetural para estos casos específicos.

Significado y Afirmaciones
El artículo afirma proporcionar una demostración diferente para los exponentes inhomogéneos en sumas de raíces, desplazando la metodología del enfoque de "base radical completa" de Iyer hacia un marco general de aproximación diofántica algebraica utilizando el Teorema del Subespacio de Schmidt.

El significado principal radica en la mejora del exponente para casos donde $k+1$ no es una potencia de $d$. Los autores señalan que, aunque su resultado es inefectivo (debido al Teorema del Subespacio), logra un exponente mejor que las construcciones efectivas previas en esos regímenes específicos. El artículo también destaca la brecha entre el exponente demostrado ($k/d$) y el exponente óptimo conjeturado ($k-1/d$), sugiriendo que este último requiere explotar más "libertad local" en la elección de radicandos más allá de la familia dispersa utilizada en la demostración principal. Las construcciones explícitas para $d=2$ sirven como evidencia que respalda el exponente uniforme conjeturado.