🔢 mathematics

Adjacent comparison bounds and extremal sets for Ruzsa numbers

Motivado por una conjetura de 2024, este artículo establece que la diferencia entre números de Ruzsa consecutivos está acotada por 144, proporciona cotas no triviales para el tamaño de los conjuntos extremales y calcula valores exactos de estos números para todos los módulos hasta 100.

Autores originales: Yuchen Ding, Huixi Li, Junfeng Li, Wei Niu, Xiamiao Zhao

Publicado 2026-06-10

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Yuchen Ding, Huixi Li, Junfeng Li, Wei Niu, Xiamiao Zhao

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás organizando una fiesta masiva en una habitación circular con $m$ asientos numerados. Invitas a un grupo de invitados (un subconjunto $A$ ) a pararse en asientos específicos. La regla de la fiesta es simple: cada uno de los asientos de la habitación debe estar "cubierto" por al menos un par de invitados parados uno al lado del otro (o al otro lado de la habitación) cuyos números de asiento sumen el número de ese asiento.

Sin embargo, hay un inconveniente: no quieres que ningún asiento esté demasiado concurrido. Si demasiados pares de invitados reclaman el mismo número de asiento, se vuelve caótico.

El Número de Ruzsa ( $R_m$ ) es el "límite de multitud". Pregunta: ¿Cuál es el número más pequeño $r$ tal que podemos organizar a nuestros invitados de modo que cada asiento sea cubierto al menos una vez, pero ningún asiento sea reclamado por más de $r$ pares?

El artículo de Ding, Li, Li, Niu y Zhao es una historia de detectives sobre la búsqueda de este límite de multitud perfecto para diferentes tamaños de habitación ( $m$ ) y sobre la comprensión de cómo el límite cambia cuando añades un asiento más a la habitación.

Aquí tienes un desglose de sus hallazgos utilizando analogías cotidianas:

1. La regla de la "Vecindad" (Comparación Adyacente)

Durante mucho tiempo, los matemáticos se preguntaron: si tienes una habitación con $m$ asientos y una habitación con $m+1$ asientos, ¿qué tan diferentes pueden ser los límites de multitud?

La vieja suposición: Algunos pensaron que el límite nunca aumentaría más de 1. (por ejemplo, si una habitación de 36 asientos requiere un límite de 6, una habitación de 37 asientos requeriría 5, 6 o 7).
La comprobación de la realidad: Los autores encontraron un fallo en los datos antiguos. Para una habitación de 36 asientos, el límite es 6. Pero para una habitación de 37 asientos, el límite cae a 4. Ese es un salto de 2, rompiendo la regla de "nunca más de 1".
El nuevo descubrimiento: Aunque la regla del "salto de 1" no es perfecta, los autores demostraron que el salto nunca puede ser demasiado grande. Demostraron que la diferencia entre el límite de multitud de una habitación $m$ $m$ y una de $m+1$ $m + 1$ nunca es superior a 144.
- Analogía: Imagina que estás subiendo una escalera donde la altura del escalón cambia. No puedes saltar del suelo al techo en un solo paso, pero tampoco puedes dar un paso de 1,000 pies de altura. Los autores demostraron que la altura del escalón está limitada a 144 pies.

2. El tamaño de la "Fiesta Perfecta" (Conjuntos Extremales)

El artículo también analiza el tamaño de la lista de invitados ( $|A|$ ).

El equilibrio: Si tienes muy pocos invitados, no puedes cubrir todos los asientos. Si tienes demasiados, creas demasiado caos (un $R_m$ alto).
El hallazgo: Los autores calcularon exactamente cuántos invitados se necesitan para habitaciones de hasta tamaño 100. Encontraron que, para habitaciones grandes, el "punto ideal" para el tamaño de la lista de invitados es aproximadamente la raíz cuadrada del número de asientos.
El límite: Demostraron que para cualquier habitación grande, el número de invitados necesarios para mantener el caos bajo control (específicamente bajo el límite de 192) nunca excederá aproximadamente $\sqrt{191 \times \text{asientos}}$ .

3. El "Número Mágico" 6

Uno de los descubrimientos más sorprendentes es un patrón en los datos.

La observación: Cuando la habitación se hace lo suficientemente grande (específicamente, 40 asientos o más), el "límite de multitud" ( $R_m$ ) parece estabilizarse en el número 6.
La conjetura: Los autores sospechan que para cualquier habitación con 40 o más asientos, siempre puedes organizar a los invitados de modo que ningún asiento sea reclamado más de 6 veces. Han verificado esto para cada tamaño de habitación hasta 100.
- Analogía: Es como descubrir que sin importar qué tan grande sea tu ciudad, siempre necesitas 6 semáforos en cualquier intersección para mantener el tráfico fluyendo sin problemas, siempre que la ciudad sea lo suficientemente grande.

4. Cómo lo hicieron (La búsqueda del Certificado)

Los autores no solo adivinaron; realizaron una búsqueda computacional masiva.

El proceso: Actuaron como arquitectos digitales. Para cada tamaño de habitación, intentaron construir una lista de invitados que funcionara.
El "Certificado": Si encontraban una lista donde cada asiento fuera cubierto y ningún asiento tuviera más de 6 pares, esa lista se convertía en un "certificado" que probaba que el límite es 6.
La búsqueda: Utilizaron supercomputadoras para probar millones de combinaciones. Para habitaciones más pequeñas, demostraron que era imposible hacerlo con un límite de 5, confirmando que 6 era, de hecho, el mínimo.

5. Preguntas Abiertas (La Fiesta Inconclusa)

El artículo termina planteando nuevas preguntas, tales como:

El Problema del Hueco: Si tienes una habitación enorme, ¿es posible tener un hueco vacío enorme entre los invitados? (Demostraron que el hueco no puede ser más de la mitad del tamaño de la habitación).
El Problema de Pares/Impares: ¿Tienden los invitados a sentarse en asientos de números pares o impares? (Encontraron que para habitaciones grandes, la mezcla es casi perfectamente equilibrada).
El Problema de "Exactamente Dos": ¿Es posible organizar a los invitados de modo que ningún asiento sea reclamado por exactamente dos pares? (Demostraron que si la lista de invitados es lo suficientemente pequeña, debes tener algunos asientos reclamados por exactamente dos pares).

Resumen

En resumen, este artículo es una inmersión profunda en la matemática del empaquetamiento y la cobertura. Responde a la pregunta: "¿Cómo podemos cubrir un círculo con sumas de pares de manera eficiente?"

Corrigieron un pequeño error en cálculos previos.
Demostraron que el "límite de multitud" no fluctúa salvajemente entre los tamaños de habitación.
Encontraron que, para habitaciones grandes, el límite se estabiliza en 6.
Proporcionaron una tabla masiva de soluciones exactas para habitaciones de hasta tamaño 100, sirviendo como referencia para futuros matemáticos.

El trabajo es puramente teórico: trata sobre la estructura de los números y los patrones, no sobre aplicaciones físicas como el tráfico o la biología, aunque la lógica de la "cobertura eficiente" es un concepto fundamental en muchos campos.

Resumen Técnico: Límites de Comparación Adyacente y Conjuntos Extremales para los Números de Ruzsa

Definición del Problema
Sea $m$ un entero positivo y $\mathbb{Z}_m$ el anillo de clases de residuos módulo $m$ . Para un subconjunto $A \subset \mathbb{Z}_m$ , denotamos $\sigma_A(n)$ como el número de pares ordenados $(a, a') \in A^2$ tales que $a + a' \equiv n \pmod m$ . El número de Ruzsa $R_m$ se define como el menor entero $r$ tal que existe un subconjunto $A \subset \mathbb{Z}_m$ que satisface $1 \le \sigma_A(n) \le r$ para todo $n \in \mathbb{Z}_m$ . Este concepto está motivado por la conjetura de Erdős-Turán sobre bases aditivas. Trabajos previos establecieron que $R_m$ está acotado por una constante absoluta, con cotas superiores mejoradas con el tiempo de $C$ (Ruzsa) a $768$ (Tang y Chen), $5120$ (Tang y Chen) y finalmente $288$ (Chen). Más recientemente, Ding y Zhao (2024) mejoraron la cota superior a $R_m \le 192$ y conjeturaron que $|R_{m+1} - R_m| \le 1$ para todo $m$ .

Metodología
Los autores emplean una combinación de lemas de comparación combinatoria, desigualdades analíticas involucrando funciones de representación y una verificación computacional extensiva.

Lemas de Comparación: El artículo introduce un nuevo lema de comparación (Lema 3.2) que establece que $R_m \le 4R_{m+1}$ y $R_{m+1} \le 4R_m$ . Esto se logra construyendo bases aditivas en $\mathbb{Z}_{m+1}$ a partir de aquellas en $\mathbb{Z}_m$ (y viceversa) utilizando traslaciones de conjuntos y uniones, y acotando los conteos de representación de los nuevos conjuntos.
Cotas Analíticas: Para estimar el tamaño de los conjuntos extremales $A$ (donde $1 \le \sigma_A(n) \le R_m$ ), los autores utilizan la desigualdad de Lev-Sárközy (Lema 2.1). Al analizar la desviación de la media cuadrática de $\sigma_A(n)$ respecto a una constante $c$ , derivan desigualdades cuadráticas que relacionan la cardinalidad $|A|$ con $m$ y $R_m$ .
Verificación Computacional: Los autores realizan una búsqueda basada en certificados para determinar los valores exactos de $R_m$ $R_{m}$ para $m$ $m$ hasta 100.
- Para $m \le 45$ , verifican la exactitud probando la no existencia de conjuntos con límites de representación menores que el $R_m$ reclamado.
- Para $m > 45$ , dependen de una prueba de cota inferior ( $R_m \ge 6$ ) y buscan conjuntos que satisfagan $\max \sigma_A(n) \le 6$ .
- La búsqueda utiliza un procedimiento de optimización heurística que involucra traslación de conjuntos, reemplazo de elementos y intentos presupuestados para minimizar los defectos de representación.

Contribuciones Clave y Resultados

Límite de Comparación Adyacente (Teorema 1.1): Los autores demuestran que para cualquier entero positivo $m$ , $|R_{m+1} - R_m| \le 144$ . Esto mejora la cota trivial de $186$ (derivada de $192 - 6$) utilizando el nuevo lema de comparación y la cota superior conocida $R_m \le 192$ .
Valores Exactos y Contraejemplos: El artículo proporciona una tabla de valores exactos para $R_m$ $R_{m}$ para todo $2 \le m \le 100$ $2 \leq m \leq 100$ .
- El cálculo revela que $R_{37} = 4$ y $R_{39} = 5$ .
- Específicamente, $R_{36} = 6$ y $R_{37} = 4$ , lo cual sirve como un contraejemplo a la conjetura original de Ding-Zhao ( $|R_{m+1} - R_m| \le 1$ ) para $m=36$ .
- Los autores proponen una conjetura revisada: $|R_{m+1} - R_m| \le 1$ se cumple para todo $m$ suficientemente grande.
- Además, conjeturan que $R_m = 6$ para todo $m \ge 40$ (Conjetura 2.3).
Cotas sobre el Tamaño del Conjunto Extremal (Teorema 1.2): Para un $m$ suficientemente grande y un conjunto $A$ que alcanza el número de Ruzsa, los autores derivan cotas no triviales para $|A|^2$ . Sea $s = \lfloor R_m/2 \rfloor$ . El tamaño satisface:
$\left( s + \frac{1}{2} - \sqrt{\left(s+\frac{1}{2}\right)^2 - 4s - \epsilon} \right)m \le |A|^2 \le \left( s + \frac{1}{2} + \sqrt{\left(s+\frac{1}{2}\right)^2 - 4s + \epsilon} \right)m$
Como corolario, si $R_m = 6$ , entonces $|A| \le \sqrt{191m}$ .
Propiedades Estructurales: El artículo investiga las propiedades de los conjuntos $A_m$ $A_{m}$ (subconjuntos que alcanzan $R_m$ $R_{m}$ ).
- Paridad: La Proposición 5.5 proporciona cotas sobre la proporción de elementos pares en $A$ cuando $m$ es par. Si $R_m = 6$ , la proporción de elementos pares está acotada dentro de $\approx 0.14$ de $1/2$ .
- Progresiones Aritméticas: El artículo define $L_m$ como la longitud máxima de una progresión aritmética contenida en cualquier $A \in A_m$ . Se observa que $L_m \le R_m$ .
- Cardinalidad de $A_m$ : La Proposición 5.6 establece cotas asintóticas para el número de tales conjuntos, $|A_m|$ , mostrando que $\frac{1}{2}\log m - C \le \log |A_m| \le \sqrt{191m} \log(\dots)$ .

Significancia
El artículo refina la comprensión del comportamiento de los números de Ruzsa, abordando específicamente la estabilidad de $R_m$ bajo cambios de módulo adyacentes. Al refutar la conjetura estricta de $|R_{m+1} - R_m| \le 1$ para valores pequeños de $m$ , mientras proporcionan evidencia sólida de su validez asintótica, los autores aclaran la interacción entre la estructura algebraica (propiedades del módulo) y la aleatoriedad combinatoria. La provisión de valores exactos hasta $m=100$ extiende sustancialmente las tablas previas, y las cotas derivadas sobre el tamaño de los conjuntos extremales ofrecen nuevas restricciones para la investigación futura sobre bases aditivas en grupos cíclicos. El trabajo también plantea varios problemas abiertos respecto a la distribución de los valores de representación, la estructura de los conjuntos extremales y el crecimiento del número de tales conjuntos.