Extremal densities for forbidden configurations in $S$-smooth numbers

Aquí presento un resumen técnico detallado del artículo "Extremal Densities for Forbidden Configurations in S-Smooth Numbers" de Nikola Veselinov, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El artículo aborda un problema extremal en teoría de números combinatoria, centrado en la densidad máxima de subconjuntos que evitan ciertas configuraciones multiplicativas dentro del conjunto de números S-suaves.

• Definiciones Básicas:

  • Sea $S = \{p_1, \dots, p_r\}$ un conjunto finito de primos distintos.
  • $M(S)$ es el semigrupo multiplicativo generado por $S$ (los números $S$-suaves).
  • $\Psi_S(X)$ es la función de conteo de números $S$-suaves menores o iguales a $X$.
  • El objetivo es estudiar la función extremal $F_S(X)$, definida como el tamaño máximo de un subconjunto $A \subseteq M(S) \cap [1, X]$ que no contiene ninguna configuración de la forma $\{n, p_1n, \dots, p_rn\}$.
  • Análogamente, se define $f_S(k)$ para los primeros $k$ números $S$-suaves ordenados.

• Contexto Histórico:

  • El problema generaliza trabajos clásicos de Graham, Witsenhausen y Spencer sobre el intervalo $[1, N]$ evitando $\{x, 2x, 3x\}$ (donde $S=\{2,3\}$).
  • Se busca determinar la densidad asintótica $\alpha_S = \lim_{N \to \infty} G_S(N)/N$, donde $G_S(N)$ es la versión del problema en el intervalo completo $[1, N]$.

2. Metodología

El autor emplea una combinación de técnicas de teoría de números analítica, geometría de números y combinatoria:

1. Transformación a Coordenadas de Exponentes:

   • Se utiliza el isomorfismo logarítmico para mapear los números $S$-suaves a un simplejo de red ponderado $\Sigma_S(u)$ en $\mathbb{Z}_{\ge 0}^r$.
   • La condición de evitar $\{n, p_1n, \dots, p_rn\}$ se traduce en evitar "esquinas unitarias" (conjuntos de la forma $\{a, a+e_1, \dots, a+e_r\}$) dentro de este simplejo.

2. Acotación Inferior (Coloración Modular):

   • Se define una coloración $\chi: \mathbb{Z}_{\ge 0}^r \to \mathbb{Z}/(r+1)\mathbb{Z}$ dada por $\chi(a_1, \dots, a_r) \equiv \sum i \cdot a_i \pmod{r+1}$.
   • Se demuestra que toda esquina unitaria contiene exactamente un punto de cada color. Por lo tanto, eliminar una clase de color completa destruye todas las esquinas, proporcionando una cota inferior basada en la partición del simplejo.

3. Acotación Superior (Identidad Combinatoria):

   • Se introduce una identidad algebraica para conjuntos libres de esquinas en el simplejo, relacionando el tamaño del conjunto con desplazamientos hacia atrás y la densidad de las caras del simplejo.
   • Esto permite demostrar que la densidad máxima no puede exceder significativamente la proporción $r/(r+1)$.

4. Descomposición del Intervalo Completo:

   • Para el problema en $[1, N]$, se descompone cada entero $n$ como $n = m \cdot d$, donde $d \in M(S)$ y $(m, P_S) = 1$ (siendo $P_S$ el producto de los primos en $S$).
   • Esto permite expresar $G_S(N)$ como una suma ponderada de las funciones $f_S$ sobre los componentes disjuntos, conectando el problema en el semigrupo con el problema global.

5. Análisis de Series Recíprocas:

   • Se utilizan métodos de suma parcial y recursión para estimar las "colas" (tails) de las series de recíprocos de números $S$-suaves, lo cual es crucial para calcular las cotas de error y la constante de densidad.

3. Contribuciones Clave y Resultados Principales

A. Fórmula Asintótica para $F_S(X)$ y $f_S(k)$ (Teorema 1.1)

El resultado central establece que la densidad de los conjuntos óptimos en los números $S$-suaves es exactamente $r/(r+1)$.
$$F_S(X) = \frac{r}{r+1}\Psi_S(X) + O_S((\log X)^{r-1})$$
$$f_S(k) = \frac{r}{r+1}k + O_S(k^{(r-1)/r})$$
Esto confirma que la proporción de elementos que se pueden retener sin formar la configuración prohibida es $r/(r+1)$, independientemente de los primos específicos en $S$ (siempre que $|S| \ge 2$).

B. Representación y Cálculo de la Constante de Densidad $\alpha_S$ (Corolarios 1.2 y 1.3)

Para el problema en el intervalo completo $[1, N]$, se demuestra la existencia de una constante $\alpha_S$ tal que $G_S(N) = \alpha_S N + O((\log N)^r)$.

• Fórmula explícita: $\alpha_S = c_S \sum_{k \ge 1} \frac{\Delta f_S(k)}{d_k^{(S)}}$, donde $c_S = \prod_{p \in S} (1 - 1/p)$ y $\Delta f_S(k) \in \{0, 1\}$.
• Cotas Computables: Se proponen cotas inferiores ($L_{S,N}$) y superiores ($U_{S,N}$) anidadas que convergen a $\alpha_S$. La anchura de estas cotas depende de la cola de la serie recíproca, permitiendo calcular $\alpha_S$ con precisión arbitraria.

C. Sumas Recíprocas Racionales No Periódicas (Proposición 1.4)

El autor demuestra un resultado sorprendente sobre la estructura de las sumas recíprocas:

• Existen secuencias binarias $(c_k)$ tales que $\sum c_k / d_k^{(S)}$ es un número racional, pero la secuencia $(c_k)$ no es eventualmente periódica.
• Esto refuta la intuición de que la racionalidad de tales sumas sobre denominadores $S$-suaves implica necesariamente periodicidad en los coeficientes.

D. Caso Clásico $S = \{2, 3\}$

Para el caso histórico de evitar $\{x, 2x, 3x\}$:

• Se recupera la constante de Graham-Spencer-Witsenhausen $\alpha$.
• Se deriva una fórmula explícita para la cola de la serie.
• Se prueban dos proposiciones estructurales:
  1. No existe una familia óptima anidada ($A_1 \subseteq A_2 \subseteq \dots$) para este caso.
  2. Se caracteriza cuándo añadir un nuevo número $3$-suave aumenta el tamaño del conjunto óptimo, dependiendo de la presencia de puntos "inferiores" específicos en el conjunto previo.

4. Significado e Impacto

• Generalización Unificada: El trabajo unifica y generaliza resultados clásicos de extremal combinatoria a cualquier conjunto finito de primos, proporcionando una fórmula asintótica precisa que depende únicamente del cardinal de $S$.
• Métodos Computacionales: La derivación de cotas anidadas y fórmulas recursivas para las colas de series recíprocas ofrece una herramienta práctica para calcular constantes de densidad extremal con alta precisión, algo que antes era difícil o imposible para $|S| > 2$.
• Contraejemplos Estructurales: La demostración de que las sumas recíprocas racionales no requieren periodicidad en los coeficientes abre nuevas direcciones en el estudio de la aritmética de números suaves y la teoría de números aditiva/multiplicativa.
• Conexión Geométrica: La traducción del problema de números enteros a un problema de "esquinas unitarias" en un simplejo ponderado proporciona una perspectiva geométrica poderosa para abordar problemas de patrones prohibidos multiplicativos.

En resumen, el artículo resuelve el problema asintótico para la densidad extremal en números $S$-suaves, proporciona herramientas efectivas para el cálculo de las constantes asociadas y revela propiedades estructurales profundas y contraintuitivas sobre la naturaleza de estas configuraciones prohibidas.