No exact on average additive complements of squares

1. Contexto e Formulação do Problema

O artigo aborda problemas fundamentais na Teoria Aditiva dos Números, especificamente relacionados a complementos aditivos.

• Definições Básicas:

  • Seja $\mathbb{N}$ o conjunto dos números naturais e $S_r = \{1^r, 2^r, 3^r, \dots\}$ o conjunto das potências $r$-ésimas ($r \ge 2$).
  • Um subconjunto $W \subset \mathbb{N}$ é chamado de complemento aditivo de $S_r$ se todo inteiro suficientemente grande puder ser escrito como $n = w + m^r$, onde $w \in W$ e $m^r \in S_r$.
  • Define-se $f_r(n)$ como o número de representações de $n$ como soma de um elemento de $W$ e uma potência $r$-ésima:
    $$f_r(n) = \#\{(w, m^r) \in W \times S_r : n = w + m^r\}.$$

• O Problema Central:
  O trabalho é motivado por uma conjectura de Cilleruelo (1993) e problemas relacionados de Erdős e Ruzsa. A questão central é entender o comportamento assintótico da soma das representações:
  $$\sum_{n \le N} f_r(n).$$
  Se $W$ fosse um "complemento aditivo exato em média", esperar-se-ia que $\sum_{n \le N} f_r(n) \sim N$. No entanto, o artigo investiga o quanto essa soma excede $N$, ou seja, a magnitude do termo de erro $\sum_{n \le N} f_r(n) - N$.

• Problemas Específicos Citados:

  1. Problema de Ben Green (2017): Existe um complemento aditivo $W$ dos quadrados tal que $W(N) \sim \frac{4}{\pi}\sqrt{N}$ (crescimento ótimo)?
  2. Problema de Ruzsa (2001): O conjunto dos quadrados possui um complemento aditivo "exato em média" (onde a soma das representações é assintoticamente igual a $N$)?

2. Metodologia

Os autores utilizam uma combinação de técnicas analíticas e combinatórias para estabelecer limites inferiores rigorosos para o excesso de representações.

• Divisão do Domínio (Particionamento):
  O intervalo $[1, N]$ é dividido em $K$ subintervalos menores. O conjunto $W$ e o conjunto de potências $S_r$ são particionados nesses subintervalos, definindo contagens locais $h(k)$ e $g(k)$.

• Fórmula de Somatória de Abel:
  Os autores aplicam a fórmula de somatória de Abel para manipular somas do tipo $\sum h(k)g(k)$. Isso permite relacionar o número total de pares $(w, s)$ com as contagens parciais e as diferenças entre os elementos dos conjuntos.

• Contagem de Diferenças e Colisões:
  O núcleo da prova baseia-se na observação de que, se $W$ é um complemento, as diferenças $w - s$ devem cobrir um intervalo grande. Se houver muitas representações de um número $n$ (ou seja, $f(n)$ é grande), isso implica "colisões" na estrutura aditiva.
  Especificamente, se $w_1 - s_1 = w_2 - s_2 = d$, então $w_1 + s_2 = w_2 + s_1 = n$. O artigo conta o número de tais pares e relaciona isso com a soma $\sum f(n)(f(n)-1)$.

• Teorema de Ford (Caso $r=2$):
  Para o caso específico dos quadrados ($r=2$), o artigo utiliza um resultado profundo de Ford sobre o problema da tabela de multiplicação. Este resultado fornece limites precisos para o número de inteiros que podem ser escritos como produto de dois inteiros menores que $\sqrt{x}$. Essa ferramenta permite refinar o limite inferior, introduzindo fatores logarítmicos que não são obtidos no caso geral.

• Argumento de Contradição (Teorema 3):
  Para conectar os problemas de Green e Ruzsa, os autores utilizam um argumento por casos (contradição). Eles assumem que um complemento exato em média existe e mostram que, dependendo do comportamento de $W(N)$, a soma das representações excederia significativamente $N$, contradizendo a definição de "exato em média".

3. Principais Contribuições e Resultados

O artigo apresenta três teoremas principais que avançam significativamente o estado da arte:

Teorema 1: Generalização para Potências $r$-ésimas ($r \ge 2$)

O teorema estende um resultado anterior (que só era válido para $r=2$) para qualquer potência $r \ge 2$.

• Resultado: Seja $S \subset \mathbb{N}$ tal que $S(x) \sim c_r x^{1/r}$. Para qualquer complemento aditivo $W$ de $S$, temos:
  $$\sum_{n \le N} f_{S,W}(n) - N \gg_{r, c_r} N^{1 - 1/r}.$$
• Significado: Isso prova que o excesso de representações cresce pelo menos na ordem de $N^{1-1/r}$. Para $r=2$, isso recupera o limite $N^{1/2}$. Para $r \ge 3$, resolve a dificuldade mencionada na literatura anterior onde métodos antigos não conseguiam provar que o excesso tendia ao infinito.

Teorema 2: Refinamento Logarítmico para Quadrados ($r=2$)

Focado especificamente no caso dos quadrados, o artigo melhora o limite inferior encontrado por trabalhos recentes (Ding, Sun, Wang e Xia).

• Resultado:
  $$\sum_{n \le N} f(n) - N \gg N^{1/2} (\log N)^{1 - \frac{1+\log \log 2}{\log 2}} (\log \log N)^{3/2}.$$
• Significado: O expoente do logaritmo é aproximadamente $0.086$. Este resultado demonstra que o excesso não é apenas da ordem $N^{1/2}$, mas inclui um fator logarítmico crescente, devido às propriedades aritméticas específicas dos quadrados (via o Teorema de Ford).

Teorema 3: Equivalência dos Problemas de Green e Ruzsa

O artigo estabelece uma ligação teórica crucial entre os problemas de crescimento e os de precisão média.

• Resultado: Se existe um complemento aditivo exato em média para os quadrados, então ele deve satisfazer a condição de crescimento ótima $W(N) \sim \frac{4}{\pi}\sqrt{N}$.
• Implicação: Isso mostra que os Problemas 1 e 2 são essencialmente o mesmo problema. Se a conjectura de Cilleruelo for verdadeira (o que implica que o excesso é grande), então não existe um complemento exato em média, e consequentemente, não existe um complemento que satisfaça a condição de crescimento de Green com precisão absoluta.

4. Significado e Impacto

• Resolução de Limites Inferiores: O trabalho resolve a questão de saber se o excesso de representações para $r \ge 3$ tende ao infinito, provando que cresce polinomialmente com $N$.
• Refinamento de Constantes: Para o caso dos quadrados, o artigo fornece o melhor limite inferior conhecido até o momento, superando resultados anteriores de 2023/2024 ao incluir fatores logarítmicos.
• Conexão entre Estrutura e Densidade: Ao provar que um complemento "exato em média" exigiria uma densidade específica ($4/\pi$), o artigo fornece um caminho claro para atacar a conjectura de Cilleruelo: ou se prova que tal densidade é impossível, ou se constrói um contraexemplo com essa densidade.
• Técnicas Híbridas: A aplicação de resultados da teoria da multiplicação (Ford) para resolver problemas de soma (complementos aditivos) demonstra uma abordagem inovadora na teoria analítica dos números.

Em resumo, Ding, Sándor e Zhang avançam substancialmente a compreensão de como os complementos aditivos de potências devem se comportar, provando que eles inevitavelmente geram "redundâncias" (múltiplas representações) em uma escala que depende da potência $r$, e que para quadrados, essa redundância é ainda maior do que o previsto por modelos simples.