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

Resumen Técnico: Conjuntos de Sidon con Sumas Separadas por $\Delta$ en la Teoría de Números Aditivos

1. Planteamiento del Problema y Definiciones
Este artículo aborda el problema de la construcción y el acotamiento del tamaño de subconjuntos de enteros con propiedades de separación específicas en sus sumas. Sea $A$ un conjunto no vacío de enteros y $\Delta$ un entero positivo. Un conjunto $A$ se define como $\Delta$-separado si $|a - a'| \ge \Delta$ para todo $a, a'$ distintos en $A$.

El artículo generaliza el concepto clásico de conjuntos $B_h$ (donde cada elemento en la suma $h$-uple de $A$ tiene una representación única). Un conjunto $A$ es un conjunto $B_h$ si $r_{A,h}(n) \le 1$ para todo $n$, donde $r_{A,h}(n)$ cuenta las $h$-uplas que suman $n$. Un conjunto $B_{h,\Delta}$ es un conjunto $B_h$ cuya suma $h$-uple es $\Delta$-separada. Específicamente, para un $B_{2,\Delta}$ (un conjunto de Sidon con suma 2-uple $\Delta$-separada), la condición es que para cualquier $a, b, c, d \in A$ con $\{a, b\} \neq \{c, d\}$, tenemos $|(a+b) - (c+d)| \ge \Delta$.

El objetivo principal es determinar $F_{h,\Delta}(n)$, la cardinalidad del mayor $B_{h,\Delta}$-conjunto contenido en el intervalo entero $\{1, 2, \dots, n\}$. El artículo busca extender los resultados conocidos para los conjuntos $B_h$ clásicos (donde $\Delta=1$) al caso $\Delta$-separado y computar o acotar $F_{h,\Delta}(n)$.

2. Metodología
El artículo emplea una combinación de métodos constructivos e desigualdades combinatorias:

• Construcción por Dilatación: El autor utiliza la $\Delta$-dilatación de un conjunto, definida como $\Delta^* A = \{ \Delta a : a \in A \}$. El Lema 2 establece que $\Delta^* A$ es un $B_{h,\Delta}$-conjunto si y solo si $A$ es un $B_h$-conjunto. Esto permite la traslación de los límites inferiores de los $B_h$-conjuntos clásicos a los $B_{h,\Delta}$-conjuntos.
• Teoría de Números Primos: Para establecer límites inferiores, el artículo se apoya en construcciones de $B_h$-conjuntos de Bose, Bose-Chowla, Chowla y Singer, que existen para potencias de primos $q$. Estas se combinan con los resultados de Runbo Li sobre la distribución de primos en intervalos cortos ($m - m^\theta < q < m$ con $\theta = 0.52$) para asegurar la existencia de conjuntos adecuados dentro del intervalo $\{1, \dots, n\}$.
• Conteo Combinatorio y Desigualdades: Para los límites superiores, el artículo adapta el argumento de Erdős-Turán. Utiliza la desigualdad de Cauchy-Schwarz en el conteo de pares dentro de intervalos deslizantes $I_{u,m}$. Un paso clave es el Lema 4, que demuestra que un conjunto $A$ es un $B_{2,\Delta}$-conjunto si y solo si posee un "conjunto de diferencias único $\Delta$-separado". Esta equivalencia permite al autor acotar el número de diferencias distintas en el conjunto.

3. Contribuciones Clave y Resultados

• Límite Inferior para $F_{h,\Delta}(n)$:
  El Teorema 1 proporciona un límite inferior para el tamaño del mayor $B_{h,\Delta}$-conjunto en $\{1, \dots, n\}$. Para $h \ge 2$ y $\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)$$
  El Corolario 1 especializa esto para $B_{2,\Delta}$-conjuntos (conjuntos de Sidon), mostrando que $|A'| > (n/\Delta)^{1/2} + O(n^{0.02})$.

• Límite Superior para $B_{2,\Delta}$-conjuntos:
  El Teorema 2 establece un límite superior para el tamaño de un $B_{2,\Delta}$-conjunto contenido en $\{1, \dots, n\}$ (donde $n \ge \Delta + 2$):
  $$|A| < \left(\frac{2n}{\Delta}\right)^{1/2} + O(n^{1/4})$$
  Este resultado extiende el límite clásico de Erdős-Turán ($|A| \le n^{1/2} + O(n^{1/4})$) al caso $\Delta$-separado, aunque con una constante principal de $\sqrt{2}$ en lugar de $1$.

• Límites Asintóticos:
  El Corolario 2 deriva el comportamiento asintótico de la relación entre el tamaño del conjunto y la escala del 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}$$
  El artículo señala que el límite es desconocido incluso en el caso clásico ($\Delta=1$).

• Refinamiento de la Constante del Límite Superior:
  En la sección "Nota", el autor reconoce que, si bien la prueba del artículo arroja una constante de $\sqrt{2}$, un argumento posterior de O'Bryant (adaptando a Linström) demuestra la desigualdad más fuerte $|A| < (n/\Delta)^{1/2} + O(n^{1/4})$. Esto implica que el límite de la relación es efectivamente 1 para todo $\Delta \ge 1$.

4. Significado y Problemas Abiertos
La importancia del artículo radica en la definición formal y el análisis de los $B_{h,\Delta}$-conjuntos, tendiendo un puente entre la teoría de números aditiva clásica y los conjuntos con restricciones de separación. Logra generalizar la construcción de grandes $B_h$-conjuntos al contexto $\Delta$-separado y proporciona los primeros límites superiores explícitos para estos conjuntos.

El autor identifica varios problemas abiertos para investigaciones futuras:

1. Extender los resultados conocidos para $B_h[g]$-conjuntos a $B_{h,\Delta}[g]$-conjuntos.
2. Computar el valor exacto de $F_{h,\Delta}[g](n)$ para todo $h \ge 2, g \ge 1$.
3. Determinar si el límite $\lim_{n \to \infty} F_{h,\Delta}[g](n) / (n/\Delta)^{1/h}$ existe.
4. Investigar el número y la clasificación estructural de los $B_{h,\Delta}$-conjuntos de tamaño máximo dentro de $\{1, \dots, n\}$.

El trabajo mantiene pretensiones modestas, presentando límites y lemas estructurales mientras delega la resolución del límite asintótico exacto y los problemas de clasificación a investigaciones futuras o literatura posterior (como lo evidencia la cita de la mejora de O'Bryant sobre la constante).