Three Questions of Erdős-Nathanson on Asymptotic Bases of Order 2

Este artículo demuestra que, para tasas de crecimiento más débiles que las establecidas por Erdős y Nathanson, las tres propiedades que miden la robustez de las bases asintóticas de orden 2 (función de representación divergente, descomponibilidad en la unión de dos bases y contener una base mínima) son independientes entre sí, mediante una construcción inductiva sobre intervalos de crecimiento exponencial.

Lo esencial

Imagina que tienes una caja infinita llena de números enteros (1, 2, 3, 4...). Ahora, imagina que quieres construir una "fábrica de sumas". Tu objetivo es elegir una selección especial de números de esa caja (llamémosla A) de tal manera que, si tomas cualquier número grande que quieras, siempre puedas encontrar dos números dentro de tu selección A que sumados den ese número.

A esto los matemáticos le llaman una base asintótica de orden 2. Es como tener un juego de piezas de Lego donde, con solo dos piezas, puedes construir cualquier torre grande que se te ocurra.

El artículo que nos ocupa, escrito por Daniel Larsen, responde a tres preguntas fascinantes sobre qué tan "robusta" o fuerte es esta selección de números. Para entenderlo, usemos una analogía de un equipo de trabajo o un ejército.

Las Tres Preguntas (Las Tres Pruebas de Resistencia)

Los autores se preguntan: si nuestro equipo de números (A) es muy bueno para hacer sumas, ¿qué otras cosas debe tener necesariamente?

1. La Prueba de la Abundancia (P1): ¿Cada vez que intentas formar un número grande, hay muchísimas formas diferentes de hacerlo?

   • Analogía: Imagina que quieres llegar a la cima de una montaña. Si hay un solo sendero, es frágil. Si hay miles de caminos, el sistema es robusto. Aquí, "divergente" significa que el número de caminos (formas de sumar) crece sin parar.

2. La Prueba de la División (P2): ¿Puedes dividir tu equipo en dos grupos separados (B y C), donde ambos grupos, por sí solos, siguen siendo capaces de formar cualquier número grande?

   • Analogía: Tienes un ejército. ¿Puedes dividirlo en dos divisiones independientes, donde la División B gana la guerra sola y la División C también gana la guerra sola? Si puedes, tu ejército original era "descomponible".

3. La Prueba del Mínimo Vital (P3): ¿Contiene tu equipo un "subgrupo mínimo"? Es decir, ¿hay una parte de tu equipo que es esencial? Si quitas a cualquier soldado de ese subgrupo, deja de funcionar.

   • Analogía: ¿Existe un equipo de élite dentro de tu ejército donde cada miembro es indispensable? Si quitas a uno, el equipo se rompe. Esto es lo opuesto a la robustez; es la fragilidad máxima, pero necesaria.

El Gran Descubrimiento: ¡Todo es Independiente!

Antes de este trabajo, los matemáticos Erdős y Nathanson pensaban que si tu equipo tenía muchas formas de sumar (P1), entonces automáticamente podría dividirse en dos (P2) y tendría un subgrupo mínimo (P3). Pensaban que la abundancia traía consigo estas otras dos propiedades.

La conclusión de Larsen es sorprendente: No es así.

Demuestra que puedes tener un equipo de números que tenga cualquier combinación de estas tres propiedades. Puedes tener:

• Un equipo con muchas formas de sumar, pero que no se puede dividir y no tiene un subgrupo mínimo.
• Un equipo que se puede dividir, pero que tiene muy pocas formas de sumar y no tiene un subgrupo mínimo.
• Un equipo que tiene un subgrupo mínimo, pero que no se puede dividir y tiene pocas formas de sumar.
• Y así con todas las 8 combinaciones posibles (Sí/Sí/Sí, Sí/Sí/No, etc.).

Es como decir que en el mundo de los números, puedes tener un equipo que es un "genio solitario" (muy abundante, pero indivisible y sin un núcleo fijo) o un "ejército de clones" (divisible, pero con un núcleo esencial).

¿Cómo lo hicieron? (La Construcción Mágica)

Para probar esto, el autor no buscó un ejemplo en la naturaleza, sino que construyó estos equipos matemáticos desde cero, paso a paso, como si fuera un arquitecto.

1. El Método de los Bloques Exponenciales: Imagina que construyes tu equipo de números por bloques gigantes. Primero un bloque hasta el número 4, luego hasta 16, luego 64, luego 256... (potencias de 4).
2. El Juego de la Suerte (Probabilidad): En cada nuevo bloque gigante, el autor usa un poco de "suerte controlada". Imagina que tienes tres cajas de pintura (Rojo, Azul, Verde). Para cada número nuevo, decides al azar si va a la caja Roja (para el equipo B), a la Azul (para el equipo C) o a la Verde (para descartarlo).
3. El Ajuste Fino: No es un azar total. El autor tiene un plan. Si quiere que el equipo sea "abundante" (P1), asegura que haya muchas combinaciones. Si quiere que tenga un "subgrupo mínimo" (P3), se asegura de que ciertos números sean tan críticos que, si los quitas, las sumas se rompen. Si quiere que sea "indecomponible" (no se puede dividir), mezcla los números de tal forma que B y C siempre se necesiten mutuamente.

La Conclusión en una Frase

Este papel nos enseña que en el universo de los números, la abundancia (tener muchas formas de sumar) no garantiza la estructura (poder dividirse o tener un núcleo mínimo). Son conceptos que, aunque parecen relacionados, viven en mundos separados y pueden combinarse de formas que antes ni imaginábamos.

El autor usa herramientas matemáticas avanzadas (como probabilidades y construcciones inductivas) para demostrar que la realidad de los números es mucho más flexible y creativa de lo que pensábamos. ¡Y lo mejor de todo es que, para escribir este trabajo, ¡el autor pidió ayuda a una Inteligencia Artificial para generar el código y las gráficas! (Una curiosidad divertida del propio artículo).

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Three Questions of Erdős-Nathanson on Asymptotic Bases of Order 2" (Tres preguntas de Erdős-Nathanson sobre bases asintóticas de orden 2) de Daniel Larsen, basado en el texto proporcionado.

1. El Problema y el Contexto

El artículo aborda tres propiedades fundamentales que miden la "robustez" de una base asintótica de orden 2. Un conjunto $A \subseteq \mathbb{N}$ es una base asintótica de orden 2 si existe un $n_0$ tal que todo entero $n > n_0$ puede escribirse como $n = a + a'$ con $a, a' \in A$. La función de representación $r_A(n)$ cuenta el número de tales representaciones.

Las tres propiedades bajo estudio son:

• (P1) Función de representación divergente: $r_A(n) \to \infty$ cuando $n \to \infty$.
• (P2) Descomponibilidad: $A$ puede escribirse como la unión disjunta de dos bases asintóticas ($A = B \cup C$).
• (P3) Existencia de una base mínima: $A$ contiene un subconjunto $B$ que es una base asintótica, pero ninguna de sus subpartes propias lo es.

Antecedentes: Erdős y Nathanson demostraron previamente que si la función de representación crece suficientemente rápido (específicamente $r_A(n) > C \log n$ para una constante $C$ adecuada), entonces se cumplen tanto (P2) como (P3). Esto sugería una conexión fuerte entre el crecimiento de las representaciones y la estructura de la base.

La Pregunta Central: ¿Son estas propiedades independientes si el crecimiento de la función de representación es más lento? Específicamente, se investigaron tres preguntas abiertas:

1. ¿(P1) implica (P2)?
2. ¿(P1) implica (P3)?
3. ¿(P2) implica (P3)?

2. Metodología

El autor emplea una construcción inductiva sobre intervalos que crecen exponencialmente para generar conjuntos que satisfacen combinaciones específicas de estas propiedades.

• Esquema de Construcción: Se definen intervalos $N_i = 4^{i+1}$. La construcción procede por etapas $k$, definiendo subconjuntos $B_k$ y $C_k$ dentro de intervalos $(N_k, N_{k+1})$.
• Mecanismo de Selección ($S$): Se introduce un mecanismo de selección que, dados conjuntos previos, produce conjuntos auxiliares $G_k$ y $H_k$. Estos conjuntos determinan qué elementos se incluyen o excluyen de las bases finales $B$ y $C$.
• Funciones Auxiliares ($\phi$ y $\psi$): La construcción depende de dos funciones que se ajustan según la propiedad deseada:
  • $\phi(n)$: Controla el tamaño de los conjuntos seleccionados. Si $\phi(n) = n$, se busca (P1); si es constante, se busca evitar (P1).
  • $\psi(n)$: Controla la "eligibilidad" de los subconjuntos para ser removidos. Si $\psi(n) = 1$, se facilita la existencia de una base mínima (P3); si $\psi(n) = n$, se dificulta.
• Probabilidad y Aleatoriedad: La prueba de que la construcción funciona se basa en un procedimiento iterativo aleatorizado. Se particiona $\mathbb{N}$ en tres conjuntos aleatorios independientes ($X_1, X_2, X_3$). Los conjuntos $B_k$ y $C_k$ se definen intersectando intervalos específicos con estas particiones aleatorias.
• Lemas de Concentración: Se utilizan acotaciones de Chernoff y el lema de Borel-Cantelli para demostrar que, con probabilidad 1, las funciones de representación $\tilde{r}_B(n)$ y $\tilde{r}_C(n)$ (que cuentan representaciones con cocientes acotados) crecen según lo deseado y que los elementos críticos se cubren adecuadamente.

3. Contribuciones Clave y Resultados

El resultado principal es el Teorema 1, que establece que las tres propiedades (P1), (P2) y (P3) son mutuamente independientes. Existen bases asintóticas que satisfacen cualquier combinación posible de estas tres propiedades (8 casos en total).

Esto responde negativamente a las preguntas de Erdős y Nathanson en el régimen de crecimiento lento:

1. (P1) no implica (P2): Se construyen bases con función de representación divergente que no son descomponibles.
2. (P1) no implica (P3): Se construyen bases con función de representación divergente que no contienen ninguna base mínima.
3. (P2) no implica (P3): Se construyen bases descomponibles que no contienen ninguna base mínima.

Detalles de la Construcción para los Casos:

• Casos Descomponibles (Sección 2): Se define $A = B \cup C$. La descomponibilidad es inherente. La existencia de una base mínima se controla mediante $\psi(n)$. Si $\psi(n) \to \infty$, cualquier subconjunto propio puede ser "reparado" eliminando un elemento, por lo que no hay base mínima. Si $\psi(n)=1$, se fuerza la minimalidad.
• Casos Indescomponibles (Sección 3): Aquí $H_k = \emptyset$ y solo se construye $B$. La indescomponibilidad se demuestra mostrando que cualquier intento de dividir $B$ en dos bases disjuntas llevaría a una contradicción en la densidad de los elementos en intervalos grandes.
• Control de la Minimalidad:
  • Para evitar una base mínima: Se asegura que para cualquier subconjunto propio $D'$, todavía se puedan formar sumas para cubrir los enteros grandes, a menudo aprovechando que el elemento eliminado no es esencial para las representaciones críticas (controlado por $\psi$).
  • Para garantizar una base mínima: Se construye un subconjunto $B'$ tal que la eliminación de cualquier elemento $b \in B'$ rompe la capacidad de representar infinitos números específicos (controlado por la frecuencia de aparición de ciertos conjuntos "elegibles" $G_i$).

4. Significado e Impacto

• Resolución de Conjeturas: El trabajo cierra definitivamente las preguntas planteadas por Erdős y Nathanson, demostrando que la conexión entre el crecimiento de la función de representación y la estructura de la base (descomponibilidad/minimalidad) es mucho más débil de lo que se sospechaba, dependiendo críticamente de la tasa de crecimiento.
• Técnicas Innovadoras: La combinación de un esquema inductivo determinista con herramientas probabilísticas (particiones aleatorias y lemas de concentración) ofrece un nuevo marco para la construcción de conjuntos aditivos con propiedades específicas.
• Independencia de Propiedades: Establece que la "robustez" de una base (medida por (P1) y (P2)) no garantiza la existencia de estructuras mínimas internas (P3), y viceversa. Esto enriquece la comprensión de la teoría de bases aditivas, mostrando que la estructura de una base puede ser extremadamente flexible incluso bajo restricciones de densidad.

En resumen, Larsen demuestra que, a diferencia del caso de crecimiento rápido donde las propiedades se acoplan, en el régimen de crecimiento lento, la teoría de bases asintóticas permite una libertad combinatoria total, permitiendo construir ejemplos para cada una de las 8 combinaciones lógicas posibles de estas propiedades fundamentales.