Inhomogeneous Approximation by Sums of Roots

Resumo Técnico: Aproximação Inhomogênea por Somas de Raízes

Enunciado do Problema
O artigo aborda o problema da aproximação diofantina inhomogênea envolvendo somas de raízes $d$-ésimas. Especificamente, dados inteiros fixos $d \ge 2$ e $k \ge 1$, um alvo real $\beta$ e um limite grande $N$, o objetivo é encontrar inteiros $1 \le b_1, \dots, b_k \le N$ tais que a distância da soma de suas raízes $d$-ésimas a $\beta$ seja minimizada:
$$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\|$$
onde $\|x\|$ denota a distância de $x$ ao inteiro mais próximo. O artigo busca estabelecer o expoente ótimo $\gamma$ tal que essa distância seja limitada por $O(N^{-\gamma})$.

Trabalhos anteriores de Iyer (2025) estabeleceram um expoente inhomogêneo efetivo de pelo menos $(k-d+1)/d^2$ e um expoente "de base completa" mais agudo $\gamma_{k,d} = d^{\lfloor \log_d(k+1) \rfloor - 1}/d$. Este último atinge o valor $k/d$ apenas quando $k+1$ é uma potência de $d$. O artigo visa melhorar esses expoentes para $k$ e $d$ gerais, particularmente em casos onde $k+1$ não é uma potência de $d$, ainda que à custa da efetividade.

Metodologia
A prova do teorema principal baseia-se em dois componentes primários:

1. Limitação Inferior Dual via Teorema do Subespaço de Schmidt:
   Os autores utilizam o Teorema do Subespaço de Schmidt para estabelecer uma limitação inferior dual para formas lineares envolvendo radicais de primos distintos. Ao selecionar primos distintos $p_1, \dots, p_k$ e definir $\theta_i = p_i^{1/d}$, eles invocam a independência linear de $1, \theta_1, \dots, \theta_k$ sobre $\mathbb{Q}$ (um resultado devido a Besicovitch). Isso produz uma limitação inferior da forma:
   $$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$$
   para qualquer $\eta > 0$ e inteiro não nulo $h$. Esta etapa é inefetiva, pois depende do Teorema do Subespaço.

2. Transferência Inhomogênea:
   Os autores empregam um argumento de transferência de cobertura (Lema 3.2) para converter a limitação inferior dual em um resultado de aproximação inhomogênea. Usando a geometria dos números (especificamente o princípio de transferência de Mahler e o raio de cobertura de um reticulado), eles mostram que, se a limitação dual vale com expoente $\sigma$, então, para qualquer alvo $\beta$ e parâmetro $Q$, existem inteiros $q_1, \dots, q_k$ com $|q_i| \le Q$ tais que:
   $$\left\| \sum_{i=1}^k q_i \theta_i - \beta \right\| \ll Q^{-1/\sigma}$$
   Ao deslocar os coeficientes para serem positivos e redefinir os radicandos como $b_i = p_i c_i^d$ (onde $c_i$ são derivados dos $q_i$), o problema é transformado de volta para uma soma de raízes $d$-ésimas com radicandos limitados por $N$.

Resultados Principais

• Teorema 1.1 (Teorema Principal): Para qualquer $d \ge 2$, $k \ge 1$ e $\varepsilon > 0$ fixos, existe uma constante $C_{d,k,\varepsilon}$ tal que, para todo $N \ge 2$ e $\beta \in \mathbb{R}$, existem inteiros $1 \le b_1, \dots, b_k \le N$ satisfazendo:
  $$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \le C_{d,k,\varepsilon} N^{-k/d + \varepsilon}$$
  Este resultado fornece um expoente de $k/d - \varepsilon$. Melhora o expoente de Iyer $(k-d+1)/d^2$ e o expoente de base completa $\gamma_{k,d}$ sempre que $k+1$ não é uma potência de $d$. No caso específico onde $k+1$ é uma potência de $d$, a construção efetiva de Iyer já atinge $k/d$, enquanto este teorema perde um $\varepsilon$ arbitrário e é inefetivo.

• Conjectura 1.2 (Expoente Uniforme): Os autores propõem uma conjectura mais forte de que o expoente uniforme ótimo é $k - 1/d$. Isso sugere que o resultado atual de $k/d$ não é o limite final, mas sim uma consequência da estrutura algébrica específica (família esparsa de radicandos) usada na prova. A conjectura 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}$$

• Construções Explícitas para $d=2$: Na Seção 5, o artigo fornece construções explícitas de alvo inteiro para o caso da raiz quadrada ($d=2$) com $k=2, 3, 4$. Usando expansões de Taylor e cancelamento de coeficientes, os autores constroem somas de raízes quadradas que aproximam um inteiro com um erro da ordem de $M^{-(2k-1)}$, onde os radicandos são do tamanho $M^2$. Isso produz um expoente de $N^{-(k-1/2)}$, correspondendo ao valor conjectural para esses casos específicos.

Significado e Alegações
O artigo alega fornecer uma prova diferente para expoentes inhomogêneos em somas de raízes, deslocando a metodologia da abordagem de "base radical completa" de Iyer para uma estrutura geral de aproximação diofantina algébrica usando o Teorema do Subespaço de Schmidt.

O significado primário reside na melhoria do expoente para casos onde $k+1$ não é uma potência de $d$. Os autores observam que, embora seu resultado seja inefetivo (devido ao Teorema do Subespaço), ele atinge um expoente melhor do que construções efetivas anteriores nesses regimes específicos. O artigo também destaca a lacuna entre o expoente provado ($k/d$) e o expoente ótimo conjecturado ($k-1/d$), sugerindo que este último requer explorar mais "liberdade local" na escolha dos radicandos além da família esparsa usada na prova principal. As construções explícitas para $d=2$ servem como evidência apoiando o expoente uniforme conjecturado.