The sharp exponent for the minimal distance problem

Resumo Técnico: O Expoente Agudo para o Problema da Distância Mínima

Enunciado do Problema
O artigo aborda o problema da distância mínima para configurações de incidência ponto-reta. Dados $n$ pontos $x_1, \dots, x_n$ no quadrado unitário $[0, 1]^2$ e $n$ retas $\ell_1, \dots, \ell_n$ tais que cada ponto $x_i$ reside em sua respectiva reta $\ell_i$, o problema busca maximizar a distância mínima entre qualquer ponto $x_i$ e qualquer reta $\ell_j$ onde $i \neq j$. Esta quantidade é denotada como:
$$\Delta_{PL}(n) := \sup \min_{i \neq j} \text{dist}(x_i, \ell_j)$$
Antes deste trabalho, o comportamento assintótico de $\Delta_{PL}(n)$ era limitado por $n^{-1/2} \lesssim \Delta_{PL}(n) \lesssim n^{-2/3+o(1)}$. O limite superior foi estabelecido por Cohen, o autor e Zakharov [7], enquanto o melhor limite inferior conhecido era $\Delta_{PL}(n) \gtrsim n^{-\gamma}$ com $\gamma \approx 0,8107$, derivado de construções relacionadas ao problema de Furstenberg–Sárkőzy [11]. A lacuna entre o expoente $2/3$ (limite superior) e $\approx 0,81$ (limite inferior) permanecia aberta.

Metodologia
O artigo constrói uma família de configurações ponto-reta que alcança o limite inferior correspondendo ao limite superior conhecido. A metodologia evolui de uma construção anterior de Hunter, o autor, Verstraëte e Zhang [11], mas introduz uma mudança crítica de conjuntos baseados em inteiros para corpos de números algébricos.

1. A Identidade de Casamento Induzido (Induced-Matching Identity): O mecanismo algébrico central baseia-se no polinômio $Q(x, y) = 2x - y^2$. Para um ponto $p=(x,y)$, a reta $L_p$ tangente à parábola $Q=Q(p)$ em $p$ é definida. Uma identidade fundamental mostra que se um ponto $p'$ reside em $L_p$, então $Q(p) - Q(p')$ deve ser um quadrado perfeito. Consequentemente, se o conjunto de valores de $Q$ for livre de diferenças de quadrados (não dois elementos distintos diferem por um quadrado perfeito), a única incidência entre o conjunto de pontos e suas retas tangentes associadas é a trivial ($p$ em $L_p$).

2. Dos Inteiros para Corpos de Números: Construções anteriores utilizaram subconjuntos de inteiros $A \subset [N]$ sem diferenças de quadrados (relacionados ao problema de Furstenberg–Sárkőzy). A densidade de tais conjuntos nos inteiros é limitada pelos limites atuais do problema de Furstenberg–Sárkőzy, impedindo que o expoente atinja $2/3$.
   Para contornar isso, o autor constrói o conjunto $A$ dentro do anel de inteiros $\mathcal{O}_K$ de um corpo de números totalmente real $K$ de alto grau $d$.

   • Retículo de Traço Zero: Em vez de um conjunto do tipo Ruzsa, a construção utiliza a fatia de traço zero do anel de inteiros: $\Lambda_0^K = \{a \in 2\mathcal{O}_K : \text{Tr}_{K/\mathbb{Q}}(a) = 0\}$.
   • Propriedade Livre de Diferença de Quadrados: Em um corpo totalmente real, o traço de um quadrado não nulo é estritamente positivo ($\text{Tr}_{K/\mathbb{Q}}(z^2) > 0$ para $z \neq 0$). Portanto, a diferença de quaisquer dois elementos distintos na hiperplano de traço zero não pode ser um quadrado. Isso garante a propriedade livre de diferença de quadrados exigida para o casamento induzido.

3. Incorporação Geométrica: Os pontos algébricos são mapeados para o plano euclidiano $[0, 1]^2$ via uma incorporação real específica $\sigma: K \to \mathbb{R}$ e um mapa de escala anisotrópica $\Phi_{M,N}$. A distância de separação no plano euclidiano é controlada pela norma do campo da diferença algébrica $D(p, p')$. Ao escolher um corpo de grau suficientemente alto $d$, a "diluição" da codimensão fixa (traço zero) permite que o expoente de separação se aproxime do limite teórico.

Contribuições Principais e Resultados

• Teorema 1.1: Para todo $\epsilon > 0$, existem $n$ arbitrariamente grandes e configurações de $n$ pares ponto-reta tais que $\text{dist}(x_i, \ell_j) \ge n^{-2/3-\epsilon}$ para todo $i \neq j$.
• Corolário 1.2: O expoente agudo para o problema da distância mínima é exatamente $2/3$. Especificamente, $\Delta_{PL}(n) = n^{-2/3+o(1)}$ quando $n \to \infty$.
• Resolução da Lacuna: O resultado fecha a lacuna entre o limite superior $n^{-2/3+o(1)}$ (de [7]) e o limite inferior anterior.

Significância e Alegações
O artigo afirma ter resolvido o problema da distância mínima ao determinar o expoente assintótico correto.

• Independência de Furstenberg–Sárkőzy: A prova contorna as limitações do problema de Furstenberg–Sárkőzy (especificamente o limite de Ruzsa $\beta \approx 0,733$) ao utilizar a estrutura algébrica de corpos de números totalmente reais de alto grau. Isso demonstra que as restrições de densidade do caso inteiro não se aplicam da mesma forma à realização geométrica em corpos de maior grau.
• Problema do Triângulo de Heilbronn: O autor observa que, embora $\Delta_{PL}(n)$ esteja conectado ao problema do triângulo de Heilbronn (via a relação $\Delta_H(n) \lesssim n^{-1/2}\Delta_{PL}(n)$), a nitidez do expoente $2/3$ para $\Delta_{PL}(n)$ não implica necessariamente a nitidez do melhor limite superior atual para o problema de Heilbronn ($n^{-7/6+o(1)}$). O autor conjectura que o limite de Heilbronn pode ser melhorado, pois a redução de Heilbronn para o problema da distância mínima descarta informações geométricas significativas.
• Implicações de Furstenberg–Sárkőzy: O trabalho também sugere que o problema da distância mínima está ligado ao problema de Furstenberg–Sárkőzy via uma desigualdade reversa. No entanto, o artigo não pretende melhorar os limites para o próprio problema de Furstenberg–Sárkőzy; em vez disso, utiliza a construção de corpos de números para otimizar o problema geomético.

Agradecimentos
O autor reconhece explicitamente que a ideia decisiva de usar o retículo de traço zero de codimensão um para elevar o expoente de $4/5$ para o agudo $2/3$ foi gerada pelo OpenAI's GPT-5.6 Sol Pro. A intenção original do autor era usar corpos de números de alto grau para atingir o ponto final de Ruzsa ($4/5$), mas a construção específica utilizando a fatia de traço zero para alcançar o expoente agudo foi um insight impulsionado por IA.