Nine-distance theorem and growth of best-approximation denominators

Resumo Técnico: Teorema das Nove Distâncias e o Crescimento dos Denominadores de Melhor Aproximação

Enunciado do Problema
O artigo aborda o análogo de maior dimensão do clássico teorema das três distâncias (conjectura de Steinhaus). Em uma dimensão, o teorema afirma que as lacunas entre os primeiros $N$ pontos de uma sequência de Kronecker $\{n\alpha \pmod 1\}_{n=1}^N$ no círculo assumem, no máximo, três valores distintos. O autor investiga o número de distâncias distintas entre vizinhos mais próximos, denotado por $g_N(\alpha, L)$, geradas pelos primeiros $N$ pontos da órbita de uma sequência de Kronecker em um toro plano de $d$ dimensões $V/L$.

Previamente a este trabalho, Haynes e Marklof estabeleceram um limite superior de 5 para o caso planar ($d=2$) e provaram que este é o limite ideal. Para a dimensão $d=3$, eles forneceram um limite de 13 e conjecturaram que o limite universal ótimo seria 9. Dettmann havia demonstrado anteriormente um exemplo no toro cúbico de três dimensões onde ocorrem 9 distâncias distintas, sugerindo que 9 é o limite exato para $d=3$. O problema central é determinar o limite superior ótimo e uniforme em relação à dimensão para $g_N(\alpha, L)$ e resolver a conjectura para $d=3$.

Metodologia
A principal ferramenta desenvolvida é um novo teorema de crescimento para os denominadores das melhores aproximações simultâneas em um espaço de produto interno de $d$ dimensões. Seja $q_1 < q_2 < \dots$ a sequência de inteiros onde a distância $\rho(q) = \text{dist}(q\alpha, L)$ atinge um novo mínimo estrito.

O autor prova um teorema estrutural (Teorema 1.4) referente ao crescimento desses denominadores. Especificamente, para $M=2d$, sempre que $q_{n+M}$ estiver definido, uma de duas condições deve ser satisfeita:

1. Crescimento Rápido: $q_{n+2d} \ge 2q_{n+1}$.
2. Estrutura Aditiva: O conjunto de índices $\{1, \dots, 2d\}$ pode ser particionado em pares disjuntos $\{j, k\}$ com $j < k$ tais que $q_{n+k} = q_n + q_{n+j}$.

Este resultado é derivado utilizando uma combinação de:

• Teoria de conjuntos sem soma (sum-free sets): Aplicando um limite clássico sobre subconjuntos sem soma em $\mathbb{F}_2^{d+1}$ (Lema 3.1) às classes de paridade dos vetores de coordenadas das melhores aproximações.
• Identidades Geométricas: Utilizando uma lei do paralelogramo generalizada (Lema 3.2) para derivar contradições caso a estrutura aditiva falhe, forçando assim a condição de crescimento rápido.

O artigo também revisita a relação entre distâncias de vizinhos mais próximos e denominadores de melhor aproximação, seguindo o arcabouço de Chevallier e Haynes-Marklof. Estabelece-se que o número de distâncias distintas é limitado pelo número de denominadores de melhor aproximação que caem dentro de um intervalo específico em relação a $N$.

Principais Resultados

1. O Teorema das Nove Distâncias (Teorema 1.2): Para qualquer espaço de produto interno real de três dimensões, rede de posto total e vetor de rotação, o número de distâncias distintas entre vizinhos mais próximos entre os primeiros $N$ pontos da órbita é, no máximo, 9. Isso confirma a conjectura de Haynes e Marklof.
2. Limite Uniforme em Dimensão (Teorema 1.1): Para qualquer dimensão $d \ge 1$, o número de distâncias distintas satisfaz $g_N(\alpha, L) \le 2d + 1$.
3. Exatidão (Sharpness): O limite é mostrado como exato para as dimensões $d=1, 2$ e $3$. O caso $d=3$ é exato devido ao exemplo de Dettmann, que produz exatamente 9 distâncias.
4. Corolário da Taxa de Crescimento (Corolário 3.3): O autor deriva um limite inferior para a taxa de crescimento exponencial dos denominadores de melhor aproximação. Para $d \ge 2$, $\liminf_{n \to \infty} q_n^{1/n} \ge 2^{1/(2d-1)}$. Isso melhora os limites anteriores para $d=2$ (melhorando o limite de Ermakov de $\approx 1.228$ para $\approx 1.260$).

Comparação com Limites Existentes
O artigo compara seu novo limite ($2d+1$) contra o limite derivado do número de beijo (ou número de contato) $\sigma_d$, que resulta em $g_N \le \sigma_d + 1$.

• Para $d=3$, o limite do número de beijo é 13, enquanto o novo limite é 9.
• Para $d=8$, o novo limite é 17, enquanto o limite do número de beijo (usando a definição de desigualdade estrita $\sigma^>_d$) é 240.
  O autor observa que, embora o limite do número de beijo seja historicamente significativo e implícito em trabalhos anteriores que combinam os resultados de Chevallier e Romanov, o novo limite $2d+1$ é superior para pequenas dimensões e fornece um limite linear uniforme em relação à dimensão, enquanto o limite do número de beijo cresce exponencialmente.

Significância
O artigo afirma resolver a conjectura específica referente ao teorema das nove distâncias na dimensão três e fornece um limite superior geral e uniforme em dimensão para o número de distâncias distintas entre vizinhos mais próximos em toros planos. A significância reside na introdução de um novo teorema de crescimento para denominadores de melhor aproximação que se aplica a toda norma de produto interno (não apenas a norma do supremo) e inclui uma descrição precisa do caso excepcional onde o crescimento rápido não ocorre. Este insight estrutural permite um controle mais rigoroso sobre a distribuição dos pontos da órbita do que era anteriormente disponível via argumentos geométricos de rede isolados. Os resultados são apresentados como definitivos para o problema proposto, sendo os limites provados como ótimos nas três primeiras dimensões.