Minimal gap for higher dimensional sequences

Resumen Técnico: Brecha Mínima para Secuencias de Dimensiones Superiores

Planteamiento del Problema
El artículo aborda el problema de cuantificar la "brecha mínima" para secuencias en espacios de dimensiones superiores. Para una secuencia $(x_n)$ en $[0, 1)$, la brecha mínima se define como $\delta_{\min}((x_n), N) = \min\{ \|x_n - x_m\| : 1 \le n \neq m \le N \}$, donde $\|x\|$ es la distancia a un entero más cercano. Mientras que el comportamiento de este estadístico está bien comprendido para secuencias aleatorias (orden asintótico $1/N^2$) y secuencias unidimensionales específicas de la forma $\{a_n \alpha\}$ (donde $\{ \cdot \}$ denota la parte fraccionaria), este trabajo extiende la definición y el análisis a secuencias de dimensiones superiores.

Específicamente, el artículo investiga tres tipos de secuencias para una dimensión fija $d \ge 2$:

1. Secuencias vectoriales: $\{ \mathbf{a}_n \boldsymbol{\alpha} \} = (\{a_n^{(1)}\alpha_1\}, \dots, \{a_n^{(d)}\alpha_d\})$, donde $\mathbf{a}_n = (a_n^{(1)}, \dots, a_n^{(d)})$ es un vector de enteros distintos.
2. Secuencias por componentes: $\{ \mathbf{a}_n \boldsymbol{\alpha} \}$ interpretado como un vector de partes fraccionarias (similar al primero, pero la notación distingue la naturaleza vectorial).
3. Formas lineales: $\{ \mathbf{a}_n \cdot \boldsymbol{\alpha} \} = \{ \sum_{i=1}^d a_n^{(i)} \alpha_i \}$, lo que resulta en una secuencia unidimensional.

El objetivo es establecer límites superiores e inferiores para estas brechas mínimas para casi todos los $\boldsymbol{\alpha} \in [0, 1]^d$, expresados en términos de la cardinalidad de los conjuntos de diferencias de las secuencias enteras subyacentes y su energía aditiva.

Metodología
Las demostraciones se basan en técnicas de aproximación diofántica métrica, adaptando específicamente los métodos de Rudnick [13] y Aistleitner, El-Baz y Munsch [2] al entorno de dimensiones superiores.

• Definiciones y Normas: El autor define la distancia al entero más cercano en $\mathbb{R}^d$ utilizando la norma $\infty$ ($\| \cdot \|_\infty$). La brecha mínima se analiza a través de los conjuntos de diferencias $(A_N - A_N)^+$, donde $A_N$ es el conjunto de los primeros $N$ términos de la secuencia. La cardinalidad de este conjunto, denotada como $C_N$, desempeña un papel central en los límites.
• Lemas de Borel-Cantelli: Para los límites inferiores, se aplica el primer lema de Borel-Cantelli para mostrar que para casi todos los $\boldsymbol{\alpha}$, la brecha no puede ser menor que una función específica de $N$ y $C_N$. Para los límites superiores, se utiliza el segundo lema de Borel-Cantelli (o variantes como la desigualdad de Chung-Erdős) para demostrar que la brecha es menor que un cierto umbral para infinitos $N$ (i.m.) o para $N$ suficientemente grandes (s.l.).
• Método de la Varianza: Para establecer límites superiores para $N$ suficientemente grandes, el artículo emplea el método de la varianza. Define funciones de conteo $D(N, M)$ y $\tilde{D}(N, M)$ que cuentan pares de índices donde la distancia es pequeña. Al estimar la varianza de estas funciones y mostrar que son pequeñas en relación con sus medias, el autor demuestra que las funciones de conteo son distintas de cero casi con seguridad.
• Energía Aditiva: El análisis incorpora la energía aditiva $E(A_N)$, definida como el número de soluciones a $a_{n_1} + a_{n_2} = a_{n_3} + a_{n_4}$. El artículo utiliza límites sobre la norma $L^2$ de las funciones de representación y las energías aditivas conjuntas para subconjuntos de coordenadas para refinar los límites superiores.
• Formas Lineales y Sumas GCD: Para las formas lineales, el artículo utiliza resultados sobre la distribución de formas lineales módulo 1, incluyendo generalizaciones de la conjetura de Duffin-Schaeffer y lemas específicos sobre la medida de conjuntos definidos por condiciones de GCD (siguiendo a [2] y [5]).

Contribuciones Clave y Resultados

1. Extensión a Dimensiones Superiores: La contribución principal es la definición formal y el análisis de las brechas mínimas para secuencias $d$-dimensionales, extendiendo los resultados unidimensionales previos.
2. Límites para Secuencias Vectoriales ($\{ \mathbf{a}_n \boldsymbol{\alpha} \}$):
   • Límite Inferior: Para casi todos los $\boldsymbol{\alpha}$, $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \ge \frac{1}{C_N^{1/d} (\log N)^{1/d} (\log_2 N)^{1/d + \epsilon}}$ para $N$ suficientemente grande.
   • Límite Superior (i.m.): $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \le \frac{1}{(C_N \log N \log_2 N)^{1/d}}$ para infinitos $N$.
   • Límite Superior (s.l.): Bajo condiciones donde la energía aditiva conjunta es pequeña ($E(A_N^{D'}) \ll N^{2+o(1)}$ para subconjuntos de tamaño $> d/2$), el límite mejora a $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \le \frac{N^\delta}{N^{2/d}}$.
3. Límites para Formas Lineales ($\{ \mathbf{a}_n \cdot \boldsymbol{\alpha} \}$):
   • Límite Inferior: $\delta_{\min}(\boldsymbol{\alpha}, N) \ge \frac{1}{C_N \log N (\log_2 N)^{1+\epsilon}}$.
   • Límite Superior: El artículo elimina el término dependiente de la secuencia encontrado en trabajos previos (como [12]), demostrando que para casi todos los $\boldsymbol{\alpha}$, $\delta_{\min}(\boldsymbol{\alpha}, N) \le \frac{1}{C_N}$ para infinitos $N$.
   • Límite Superior Refinado: Si la energía aditiva mínima de las secuencias de componentes es pequeña, $\delta_{\min}(\boldsymbol{\alpha}, N) \le \frac{N^\delta}{N^2}$.
4. Secuencias Específicas:
   • Secuencia de Van der Corput: La brecha mínima está acotada por $\frac{1}{bN} \le \delta_{\min} \le \frac{b}{N}$ para $b \ge 3$, y $\delta_{\min} \le \frac{1}{N}$ para $b=2$.
   • Secuencia de Halton: El autor conjetura (sin demostración) que la brecha mínima para la secuencia de Halton $d$-dimensional se comporta como $\frac{1}{N^{1/d}}$.

Significado y Afirmaciones
El artículo afirma haber generalizado con éxito la teoría de las brechas mínimas de secuencias unidimensionales a dimensiones superiores. Demuestra que la cardinalidad del conjunto de diferencias ($C_N$) es un parámetro crítico, análogo al papel de la energía aditiva en los casos unidimensionales.

El autor señala que los resultados para formas lineales mejoran el trabajo reciente de Reghvim [12] al eliminar un factor logarítmico dependiente de la secuencia del límite superior. El artículo también destaca que para secuencias específicas como $n^2 \alpha_2 + n \alpha_1$, la brecha mínima es del orden de $O(1/N^2)$ (hasta factores logarítmicos) para casi todos los $\alpha$, lo cual es consistente con el comportamiento aleatorio, siempre que la energía aditiva sea baja.

El trabajo se presenta como una extensión teórica dentro de la aproximación diofántica métrica, apoyándose en herramientas probabilísticas y de teoría de números establecidas en lugar de proponer nuevas aplicaciones experimentales. El autor señala modestamente que, aunque se proporcionan demostraciones para secuencias de enteros, la extensión a secuencias de reales positivos con condiciones de crecimiento es posible mediante argumentos similares a los de [12].