Nine-distance theorem and growth of best-approximation denominators

Resumen Técnico: Teorema de las Nueve Distancias y Crecimiento de los Denominadores de Mejor Aproximación

Planteamiento del Problema
El artículo aborda el análogo de mayor dimensión del clásico teorema de las tres distancias (conjetura de Steinhaus). En una dimensión, el teorema establece que las brechas entre los primeros $N$ puntos de una secuencia de Kronecker $\{n\alpha \pmod 1\}_{n=1}^N$ en el círculo toman como máximo tres valores distintos. El autor investiga el número de distancias distintas entre vecinos más cercanos, denotado como $g_N(\alpha, L)$, generadas por los primeros $N$ puntos de una órbita de una secuencia de Kronecker en un toro plano de $d$ dimensiones $V/L$.

Antes de este trabajo, Haynes y Marklof establecieron un límite superior de 5 para el caso plano ($d=2$) y demostraron que es exacto. Para la dimensión $d=3$, proporcionaron un límite de 13 y conjeturaron que el límite universal óptimo es 9. Dettmann había demostrado previamente un ejemplo en un toro cúbico de tres dimensiones donde ocurren 9 distancias distintas, sugiriendo que 9 es el límite exacto para $d=3$. El problema central es determinar el límite superior óptimo independiente de la dimensión para $g_N(\alpha, L)$ y resolver la conjetura para $d=3$.

Metodología
La herramienta principal desarrollada es un nuevo teorema de crecimiento para los denominadores de las mejores aproximaciones simultáneas en un espacio de producto interno de $d$ dimensiones. Sean $q_1 < q_2 < \dots$ la secuencia de enteros donde la distancia $\rho(q) = \text{dist}(q\alpha, L)$ alcanza un nuevo mínimo estricto.

El autor demuestra un teorema estructural (Teorema 1.4) relativo al crecimiento de estos denominadores. Específicamente, para $M=2d$, siempre que $q_{n+M}$ esté definido, debe cumplirse una de dos condiciones:

1. Crecimiento Rápido: $q_{n+2d} \ge 2q_{n+1}$.
2. Estructura Aditiva: El conjunto de índices $\{1, \dots, 2d\}$ puede particionarse en pares disjuntos $\{j, k\}$ con $j < k$ tales que $q_{n+k} = q_n + q_{n+j}$.

Este resultado se deriva utilizando una combinación de:

• Teoría de conjuntos libres de sumas: Aplicando un límite clásico sobre subconjuntos libres de sumas en $\mathbb{F}_2^{d+1}$ (Lema 3.1) a las clases de paridad de los vectores de coordenadas de las mejores aproximaciones.
• Identidades geométricas: Utilizando una ley del paralelogramo generalizada (Lema 3.2) para derivar contradicciones si la estructura aditiva falla, forzando así la condición de crecimiento rápido.

El artículo también revisa la relación entre las distancias de vecinos más cercanos y los denominadores de mejor aproximación, siguiendo el marco de trabajo de Chevallier y Haynes-Marklof. Establece que el número de distancias distintas está acotado por el número de denominadores de mejor aproximación que caen dentro de un intervalo específico relativo a $N$.

Resultos Clave

1. El Teorema de las Nueve Distancias (Teorema 1.2): Para cualquier espacio de producto interno real de tres dimensiones, red de rango completo y vector de rotación, el número de distidades distintas de vecinos más cercanos entre los primeros $N$ puntos de la órbita es como máximo 9. Esto confirma la conjetura de Haynes y Marklof.
2. Límite Independiente de la Dimensión (Teorema 1.1): Para cualquier dimensión $d \ge 1$, el número de distancias distintas satisface $g_N(\alpha, L) \le 2d + 1$.
3. Exactitud: Se demuestra que el límite es exacto para las dimensiones $d=1, 2$ y $3$. El caso $d=3$ es exacto debido al ejemplo de Dettmann que arroja exactamente 9 distancias.
4. Corolario de la Tasa de Crecimiento (Corolario 3.3): El autor deriva un límite inferior para la tasa de crecimiento exponencial de los denominadores de mejor aproximación. Para $d \ge 2$, $\liminf_{n \to \infty} q_n^{1/n} \ge 2^{1/(2d-1)}$. Esto mejora los límites anteriores para $d=2$ (mejorando el límite de Ermakov de $\approx 1.228$ a $\approx 1.260$).

Comparación con Límites Existentes
El artículo compara su nuevo límite ($2d+1$) contra el límite derivado del número de contacto o número de besos (kissing number) $\sigma_d$, que resulta en $g_N \le \sigma_d + 1$.

• Para $d=3$, el límite del número de contacto es 13, mientras que el nuevo límite es 9.
• Para $d=8$, el nuevo límite es 17, mientras que el límite del número de contacto (usando la definición de desigualdad estricta $\sigma^>_d$) es 240.
  El autor señala que, aunque el límite del número de contacto es históricamente significativo e implícito en trabajos anteriores que combinan los resultados de Chevallier y Romanov, el nuevo límite $2d+1$ es superior para dimensiones pequeñas y proporciona un límite lineal independiente de la dimensión, mientras que el límite del número de contacto crece exponencialmente.

Significado
El artículo afirma resolver la conjetura específica relativa al teorema de las nueve distancias en la dimensión tres y proporciona un límite superior general e independiente de la dimensión para el número de distancias distintas de vecinos más cercanos en toros planos. La importancia radica en la introducción de un nuevo teorema de crecimiento para los denominadores de mejor aproximación que se aplica a cada norma de producto interno (no solo a la norma del supremo) e incluye una descripción precisa del caso excepcional donde no ocurre el crecimiento rápido. Esta visión estructural permite un control más estricto sobre la distribución de los puntos de la órbita de lo que era posible anteriormente mediante argumentos de redes geométricas por sí solos. Los resultados se presentan como definitivos para el problema planteado, con los límites probados como óptimos en las tres primeras dimensiones.