Sidon sets with $\Delta$-separated sumsets in additive number theory

Resumo Técnico: Conjuntos de Sidon com Somas $\Delta$-Separadas na Teoria dos Números Aditivos

1. Enunciado do Problema e Definições
Este artigo aborda o problema de construir e delimitar o tamanho de subconjuntos de inteiros com propriedades de separação específicas em seus conjuntos soma. Seja $A$ um conjunto não vazio de inteiros e $\Delta$ um inteiro positivo. O conjunto $A$ é definido como $\Delta$-separado se $|a - a'| \ge \Delta$ para todos os $a, a' \in A$ distintos.

O artigo generaliza o conceito clássico de conjuntos $B_h$ (onde cada elemento no $h$-soma de $A$ possui uma representação única). Um conjunto $A$ é um conjunto $B_h$ se $r_{A,h}(n) \le 1$ para todo $n$, onde $r_{A,h}(n)$ conta o número de $h$-tuplas que somam $n$. Um $B_{h,\Delta}$-conjunto é um conjunto $B_h$ cujo conjunto soma $hA$é$\Delta$-separado. Especificamente, para um $B_{2,\Delta}$-conjunto (um conjunto de Sidon com soma $\Delta$-separada), a condição é que, para quaisquer $a, b, c, d \in A$ com $\{a, b\} \neq \{c, d\}$, temos $|(a+b) - (c+d)| \ge \Delta$.

O objetivo principal é determinar $F_{h,\Delta}(n)$, a cardinalidade do maior $B_{h,\Delta}$-conjunto contido no intervalo de inteiros $\{1, 2, \dots, n\}$. O artigo busca estender os resultados conhecidos para os clássicos conjuntos $B_h$ (onde $\Delta=1$) para o caso $\Delta$-separado e computar ou limitar $F_{h,\Delta}(n)$.

2. Metodologia
O artigo emprega uma combinação de métodos construtivos e desigualdades combinatórias:

• Construção por Dilatação: O autor utiliza a $\Delta$-dilatação de um conjunto, definida como $\Delta^* A = \{ \Delta a : a \in A \}$. O Lema 2 estabelece que $\Delta^* A$ é um $B_{h,\Delta}$-conjunto se, e somente se, $A$ é um $B_h$-conjunto. Isso permite a tradução dos limites inferiores de conjuntos $B_h$ clássicos para $B_{h,\Delta}$-conjuntos.
• Teoria dos Números Primos: Para estabelecer limites inferiores, o artigo baseia-se em construções de conjuntos $B_h$ por Bose, Bose-Chowla, Chowla e Singer, que existem para potências de primos $q$. Estas são combinadas com os resultados de Runbo Li sobre a distribuição de primos em intervalos curtos ($m - m^\theta < q < m$ com $\theta = 0.52$) para garantir a existência de conjuntos adequados dentro do intervalo $\{1, \dots, n\}$.
• Contagem Combinatória e Desigualdades: Para limites superiores, o artigo adapta o argumento de Erdős-Turán. Ele utiliza a desigualdade de Cauchy-Schwarz na contagem de pares dentro de intervalos deslizantes $I_{u,m}$. Um passo fundamental envolve o Lema 4, que prova que um conjunto $A$ é um $B_{2,\Delta}$-conjunto se, e somente se, possui um "conjunto de diferenças único $\Delta$-separado". Esta equivalência permite ao autor limitar o número de diferenças distintas no conjunto.

3. Contribuições Principais e Resultados

• Limite Inferior para $F_{h,\Delta}(n)$:
  O Teorema 1 fornece um limite inferior para o tamanho do maior $B_{h,\Delta}$-conjunto em $\{1, \dots, n\}$. Para $h \ge 2$ e $\delta = 0.48$, para todo $n$ suficientemente grande:
  $$F_{h,\Delta}(n) > \left(\frac{n}{\Delta}\right)^{1/h} + O\left(n^{(1/h) - \delta}\right) + O(1)$$
  O Corolário 1 especializa este resultado para $B_{2,\Delta}$-conjuntos (conjuntos de Sidon), mostrando que $|A'| > (n/\Delta)^{1/2} + O(n^{0.02})$.

• Limite Superior para $B_{2,\Delta}$-conjuntos:
  O Teorema 2 estabelece um limite superior para o tamanho de um $B_{2,\Delta}$-conjunto contido em $\{1, \dots, n\}$ (onde $n \ge \Delta + 2$):
  $$|A| < \left(\frac{2n}{\Delta}\right)^{1/2} + O(n^{1/4})$$
  Este resultado estende o clássico limite de Erdős-Turán ($|A| \le n^{1/2} + O(n^{1/4})$) para o caso $\Delta$-separado, embora com uma constante líder de $\sqrt{2}$ em vez de $1$.

• Limites Assintóticos:
  O Corolário 2 deriva o comportamento assintótico da razão entre o tamanho do conjunto e a escala do intervalo:
  $$1 \le \liminf_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \limsup_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \sqrt{2}$$
  O artigo observa que o limite é desconhecido mesmo no caso clássico ($\Delta=1$).

• Refinamento da Constante do Limite Superior:
  Na seção "Nota", o autor reconhece que, embora a prova do artigo resulte em uma constante de $\sqrt{2}$, um argumento subsequente de O'Bryant (adaptando Linström) prova a desigualdade mais forte $|A| < (n/\Delta)^{1/2} + O(n^{1/4})$. Isso implica que o limite da razão é, de fato, 1 para todo $\Delta \ge 1$.

4. Significância e Problemas Abertos
A significância do artigo reside em definir formalmente e analisar $B_{h,\Delta}$-conjuntos, estabelecendo uma ponte entre a teoria clássica dos números aditivos e conjuntos com restrições de separação. Ele generaliza com sucesso a construção de grandes conjuntos $B_h$ para o contexto $\Delta$-separado e fornece os primeiros limites superiores explícitos para esses conjuntos.

O autor identifica vários problemas abertos para pesquisas futuras:

1. Estender os resultados conhecidos para $B_h[g]$-conjuntos para $B_{h,\Delta}[g]$-conjuntos.
2. Calcular o valor exato de $F_{h,\Delta}[g](n)$ para todo $h \ge 2, g \ge 1$.
3. Determinar se o limite $\lim_{n \to \infty} F_{h,\Delta}[g](n) / (n/\Delta)^{1/h}$ existe.
4. Investigar o número e a classificação estrutural de $B_{h,\Delta}$-conjuntos de tamanho máximo dentro de $\{1, \dots, n\}$.

O trabalho permanece modesto em suas reivindicações, apresentando limites e lemas estruturais enquanto delega a resolução do limite assintótico exato e dos problemas de classificação para pesquisas futuras ou literatura subsequente (conforme evidenciado pela citação do refinamento de O'Bryant sobre a constante).