Minimal gap for higher dimensional sequences

Resumo Técnico: Lacuna Mínima para Sequências de Dimensões Superiores

Enunciado do Problema
O artigo aborda o problema de quantificar a "lacuna mínima" para sequências em espaços de dimensões superiores. Para uma sequência $(x_n)$ em $[0, 1)$, a lacuna mínima é definida como $\delta_{\min}((x_n), N) = \min\{ \|x_n - x_m\| : 1 \le n \neq m \le N \}$, onde $\|x\|$ é a distância ao inteiro mais próximo. Embora o comportamento deste estatístico seja bem compreendido para sequências aleatórias (ordem assintótica $1/N^2$) e sequências unidimensionais específicas da forma $\{a_n \alpha\}$ (onde $\{ \cdot \}$ denota a parte fracionária), este trabalho estende a definição e a análise para sequências de dimensões superiores.

Especificamente, o artigo investiga três tipos de sequências para uma dimensão fixa $d \ge 2$:

1. Sequências vetoriais: $\{ \mathbf{a}_n \boldsymbol{\alpha} \} = (\{a_n^{(1)}\alpha_1\}, \dots, \{a_n^{(d)}\alpha_d\})$, onde $\mathbf{a}_n = (a_n^{(1)}, \dots, a_n^{(d)})$ é um vetor de inteiros distintos.
2. Sequências por componentes: $\{ \mathbf{a}_n \boldsymbol{\alpha} \}$ interpretado como um vetor de partes fracionárias (semelhante ao primeiro, mas a notação distingue a natureza vetorial).
3. Formas lineares: $\{ \mathbf{a}_n \cdot \boldsymbol{\alpha} \} = \{ \sum_{i=1}^d a_n^{(i)} \alpha_i \}$, o que resulta em uma sequência unidimensional.

O objetivo é estabelecer limites superiores e inferiores para essas lacunas mínimas para quase todos os $\boldsymbol{\alpha} \in [0, 1]^d$, expressos em termos da cardinalidade dos conjuntos de diferenças das sequências inteiras subjacentes e de sua energia aditiva.

Metodologia
As provas baseiam-se em técnicas de aproximação diofantina métrica, especificamente adaptando métodos de Rudnick [13] e Aistleitner, El-Baz e Munsch [2] para o cenário de dimensões superiores.

• Definições e Normas: O autor define a distância ao inteiro mais próximo em $\mathbb{R}^d$ usando a norma $\infty$ ($\| \cdot \|_\infty$). A lacuna mínima é analisada através dos conjuntos de diferenças $(A_N - A_N)^+$, onde $A_N$ é o conjunto dos primeiros $N$ termos da sequência. A cardinalidade deste conjunto, denotada por $C_N$, desempenha um papel central nos limites.
• Lemas de Borel-Cantelli: Para os limites inferiores, o primeiro lema de Borel-Cantelli é aplicado para mostrar que, para quase todos os $\boldsymbol{\alpha}$, a lacuna não pode ser menor que uma função específica de $N$ e $C_N$. Para os limites superiores, o segundo lema de Borel-Cantelli (ou variantes como a desigualdade de Chung-Erdős) é usado para demonstrar que a lacuna é menor que um determinado limiar para infinitos $N$ (i.m.) ou para $N$ suficientemente grandes (s.l.).
• Método da Variância: Para estabelecer limites superiores para $N$ suficientemente grandes, o artigo emprega o método da variância. Define-se funções de contagem $D(N, M)$ e $\tilde{D}(N, M)$ que contam pares de índices onde a distância é pequena. Ao estimar a variância dessas funções e mostrar que elas são pequenas em relação às suas médias, o autor prova que as funções de contagem são não nulas quase certamente.
• Energia Aditiva: A análise incorpora a energia aditiva $E(A_N)$, definida como o número de soluções para $a_{n_1} + a_{n_2} = a_{n_3} + a_{n_4}$. O artigo utiliza limites na norma $L^2$ das funções de representação e energias aditivas conjuntas para subconjuntos de coordenadas para refinar os limites superiores.
• Formas Lineares e Somas de GCD: Para formas lineares, o artigo utiliza resultados sobre a distribuição de formas lineares módulo 1, incluindo generalizações da conjectura de Duffin-Schaeffer e lemas específicos sobre a medida de conjuntos definidos por condições de GCD (seguindo [2] e [5]).

Contribuições Principais e Resultados

1. Extensão para Dimensões Superiores: A principal contribuição é a definição formal e a análise de lacunas mínimas para sequências de dimensão $d$, estendendo resultados unidimensionais prévios.
2. Limites para Sequências Vetoriais ($\{ \mathbf{a}_n \boldsymbol{\alpha} \}$):
   • Limite Inferior: Para quase todos os $\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.
   • Limite Superior (i.m.): $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \le \frac{1}{(C_N \log N \log_2 N)^{1/d}}$ para infinitos $N$.
   • Limite Superior (s.l.): Sob condições onde a energia aditiva conjunta é pequena ($E(A_N^{D'}) \ll N^{2+o(1)}$ para subconjuntos de tamanho $> d/2$), o limite melhora para $\delta_{\min}^\infty(\boldsymbol{\alpha}, N) \le \frac{N^\delta}{N^{2/d}}$.
3. Limites para Formas Lineares ($\{ \mathbf{a}_n \cdot \boldsymbol{\alpha} \}$):
   • Limite Inferior: $\delta_{\min}(\boldsymbol{\alpha}, N) \ge \frac{1}{C_N \log N (\log_2 N)^{1+\epsilon}}$.
   • Limite Superior: O artigo remove o termo dependente da sequência encontrado em trabalhos recentes (como [12]), provando que para quase todos os $\boldsymbol{\alpha}$, $\delta_{\min}(\boldsymbol{\alpha}, N) \le \frac{1}{C_N}$ para infinitos $N$.
   • Limite Superior Refinado: Se a energia aditiva mínima das sequências componentes for pequena, $\delta_{\min}(\boldsymbol{\alpha}, N) \le \frac{N^\delta}{N^2}$.
4. Sequências Específicas:
   • Sequência de Van der Corput: A lacuna mínima é limitada por $\frac{1}{bN} \le \delta_{\min} \le \frac{b}{N}$ para $b \ge 3$, e $\delta_{\min} \le \frac{1}{N}$ para $b=2$.
   • Sequência de Halton: O autor conjectura (sem prova) que a lacuna mínima para a sequência de Halton de dimensão $d$ se comporta como $\frac{1}{N^{1/d}}$.

Significância e Alegações
O artigo afirma ter generalizado com sucesso a teoria das lacunas mínimas de sequências unidimensionais para dimensões superiores. Demonstra que a cardinalidade do conjunto de diferenças ($C_N$) é um parâmetro crítico, análogo ao papel da energia aditiva em casos unidimensionais.

O autor observa que os resultados para formas lineares melhoram o trabalho recente de Reghvim [12] ao remover um fator logarítmico dependente da sequência do limite superior. O artigo também destaca que, para sequências específicas como $n^2 \alpha_2 + n \alpha_1$, a lacuna mínima é da ordem de $O(1/N^2)$ (até fatores logarítmicos) para quase todos os $\alpha$, consistente com o comportamento aleatório, desde que a energia aditiva seja baixa.

O trabalho é apresentado como uma extensão teórica dentro da aproximação diofantina métrica, baseando-se em ferramentas probabilísticas e de teoria dos números estabelecidas, em vez de propor novas aplicações experimentais. O autor nota modestamente que, embora as provas sejam fornecidas para sequências de inteiros, a extensão para sequências reais positivas com condições de crescimento é possível via argumentos semelhantes aos de [12].