🔢 mathematics

Monochromatic products in random integer sets

Este artículo investiga la probabilidad umbral en la que un subconjunto aleatorio de enteros contiene casi seguramente una solución monocromática para la ecuación $ab=c$ bajo una 2-coloración, estableciendo límites entre $n^{-1/9-o(1)}$ y $n^{-1/11}$ y demostrando que el comportamiento y las técnicas de demostración para tales ecuaciones no lineales difieren sustancialmente de las de las lineales.

Autores originales: Roger Lidón, Darío Martínez, Patrick Morris, Miquel Ortega

Publicado 2026-01-15

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Roger Lidón, Darío Martínez, Patrick Morris, Miquel Ortega

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 tienes una bolsa gigante de fichas numeradas, del 1 al $n$ . Decides recoger un puñado de estas fichas al azar para quedártelas, lanzando una moneda por cada una: cara, te la quedas; cruz, la descartas. La probabilidad de quedarte una ficha es $p$ .

Ahora, imagina que tienes un cubo de pintura con $r$ colores diferentes. Quieres pintar cada una de las fichas de tu puñado aleatorio. La gran pregunta es: ¿Es posible pintarlas de tal manera que se evite crear un "producto monocromático"?

Un "producto monocromático" es un trío de fichas $(a, b, c)$ que son todas del mismo color, donde $a \times b = c$ . Por ejemplo, si tienes las fichas 2, 3 y 6, y todas están pintadas de rojo, tienes un "producto rojo" porque $2 \times 3 = 6$ .

Este artículo es una historia de detectives matemáticos sobre la búsqueda del punto de inflexión exacto (el umbral) donde se vuelve imposible evitar estos tríos de colores coincidentes, sin importar qué tan ingeniosamente los pintes.

El trasfondo: La suma frente al producto

Los matemáticos saben desde hace mucho tiempo que, si tienes suficientes números, no puedes evitar una "suma monocromática" (donde $a + b = c$ ). Este es un resultado famoso llamado Teorema de Schur.

En la década de 1990, los investigadores se preguntaron: "¿Qué pasa si nuestra bolsa de números es muy dispersa? ¿Cuántos números necesitamos elegir antes de que estemos garantizados de encontrar una suma monocromática?". Encontraron la respuesta: si eliges números con una probabilidad aproximadamente igual a $1/\sqrt{n}$ , estás garantizado de encontrar una suma. Si eliges menos, normalmente puedes evitarlo.

Este artículo hace la misma pregunta, pero para los productos ( $a \times b = c$ ) en lugar de las sumas.

El gran descubrimiento: Un nuevo punto de inflexión

Los autores descubrieron que las reglas para los productos son muy diferentes de las reglas para las sumas.

La "Regla de la Suma": Para las sumas, el punto de inflexión es alrededor de $n^{-1/2}$ (1 sobre la raíz cuadrada de $n$ ).
La "Regla del Producto": Para los productos, el punto de inflexión es mucho más bajo. Los autores demostraron que, para que un conjunto aleatorio de números garantice tener un producto monocromático, la probabilidad de elegir un número debe estar entre $n^{-1/9}$ y $n^{-1/11}$ .

La analogía:
Piensa en el problema de la "Suma" como intentar encontrar una forma específica en un montón de arena. Necesitas una cantidad moderada de arena para estar seguro de que la forma está ahí.
El problema del "Producto" es como buscar la formación de un cristal muy raro y específico. Debido a que la multiplicación crece muy rápido (2 por 3 es 6, pero 10 por 10 es 100), los "cristales" (los tríos $a, b, c$ ) son mucho más difíciles de formar. Necesitas un montón de números mucho más denso (una probabilidad $p$ más alta) para garantizar que encontrarás uno, pero paradójicamente, la matemática muestra que el umbral es en realidad más bajo en términos de exponente porque la estructura de la multiplicación es tan dispersa e irregular comparada con la de la adición.

Cómo lo resolvieron: Un ataque de dos frentes

Para encontrar este umbral, los autores tuvieron que demostrar dos cosas:

1. Las "Malas Noticias" (El límite inferior):
Demostraron que si eliges números de forma demasiado dispersa (por debajo de $n^{-1/9}$ ), casi siempre puedes pintarlos con dos colores (digamos, Rojo y Azul) de modo que no exista un trío Rojo y no exista un trío Azul.

El Método: Utilizaron un "Algoritmo Voraz" (Greedy Algorithm). Imagina que estás pintando los números en orden, del más pequeño al más grande. Intentas pintar un número de Rojo. Si pintarlo de Rojo crearía un producto Rojo con números que ya has pintado, lo pintas de Azul en su lugar. Si pintarlo de Azul crearía un producto Azul, te quedas atrapado.
El Resultado: Demostraron que si el conjunto es lo suficientemente disperso, este proceso de pintura voraz casi nunca se queda trabado. Puedes colorear con éxito todo el conjunto sin crear un producto monocromático.

2. Las "Buenas Noticias" (El límite superior):
Demostraron que si eliges números con suficiente densidad (por encima de $n^{-1/11}$ ), estás garantizado de encontrar un producto monocromático, sin importar cómo los pintes.

El Método: En lugar de intentar colorear todo el conjunto, buscaron un "patrón trampa" diminuto y específico. Encontraron una pequeña colección de 15 números que, si todos aparecen en tu conjunto aleatorio, no pueden ser coloreados sin crear un producto monocromático. Es como un rompecabezas matemático que no tiene solución.
El Resultado: Demostraron que si tu probabilidad $p$ es lo suficientemente alta, tu conjunto aleatorio contendrá casi con seguridad este "patrón trampa". Una vez que la trampa está ahí, el producto monocromático es inevitable.

Por qué esto es importante

Este artículo es significativo porque rompe el molde. Durante décadas, los matemáticos pensaron que las reglas para conjuntos aleatorios con sumas y productos eran similares. Este artículo muestra que son fundamentalmente diferentes.

Las sumas son regulares y predecibles.
Los productos son caóticos e irregulares.

Las herramientas que los matemáticos suelen usar para resolver estos problemas (que dependen de la regularidad de las sumas) fallaron para los productos. Los autores tuvieron que inventar formas más creativas de contar las posibilidades y construir sus "trampas".

El giro de los múltiples colores

El artículo también analizó qué sucede si tienes 3, 4 o más colores.

Para las sumas, el número de colores no cambia mucho el punto de inflexión.
Para los productos, el número de colores cambia drásticamente el umbral. Cuantos más colores tengas, más difícil es forzar un producto monocromático, y el umbral se desplaza significativamente.

Resumen

En resumen, este artículo nos dice que si eliges números al azar de una lista enorme, hay una "zona Goldilocks" (zona de equilibrio) muy específica para la probabilidad de elegirlos.

Si eliges muy pocos, puedes esquivar la "trampa del producto" pintando cuidadosamente.
Si eliges suficientes, el universo fuerza la aparición de un producto monocromático, sin importar cuánto intentes evitarlo.

Los autores han estrechado esta zona hasta un rango específico, demostiendo que el mundo de la multiplicación aleatoria es mucho más complejo e interesante que el mundo de la adición aleatoria.

Resumen Técnico: Productos Monocromáticos en Conjuntos de Enteros Aleatorios

Planteamiento del Problema
Este artículo investiga la probabilidad umbral $p = p(n)$ en la cual el subconjunto binomial aleatorio $[n]_p$ (donde cada elemento de $\{1, \dots, n\}$ se incluye independientemente con probabilidad $p$ ) posee casi seguramente (a.a.s.) la propiedad "product-Schur". Se define que un conjunto $A$ es $r$ -product-Schur si cualquier $r$ -coloreado de $A$ produce una solución monocromática a la ecuación $ab = c$ con $a, b, c \in A$ . Mientras que los umbrales para ecuaciones lineales (como el teorema de Schur para $a+b=c$ ) están bien comprendidos mediante el teorema de Rado y los principios de transferencia subsecuentes, el comportamiento de ecuaciones no lineales como $ab=c$ en conjuntos aleatorios permanece en gran medida inexplorado. Los autores pretenden determinar la densidad crítica $p^*$ donde el conjunto aleatorio transiciona de ser casi seguramente no product-Schur a ser casi seguramente product-Schur.

Metodología
El artículo emplea estrategias de prueba distintas para el límite inferior (la declaración $(0)$ ) y el límite superior (la declaración $(1)$ ), observando que las herramientas estándar de la teoría de Ramsey aleatoria son insuficientes para el entorno no lineal.

La Declaración $(0)$ (Límite Inferior):
Para demostrar que $[n]_p$ no es product-Schur para un $p$ pequeño, los autores utilizan un algoritmo de coloreado voraz (greedy). Intentan particionar el conjunto aleatorio en dos conjuntos libres de productos (Rojo y Azul) iterando a través de los elementos en orden creciente. Un elemento recibe un color si no forma un producto monocromático con elementos previamente coloreados.
- Análisis de Obstrucción: El algoritmo falla solo si existe una "configuración prohibida" específica de enteros dentro del conjunto aleatorio. Estas configuraciones involucran dependencias multiplicativas complejas (por ejemplo, $c = ab = def$, $a = xyz$, $b = uvw$).
- Argumento de Conteo: Los autores realizan un análisis detallado de estas configuraciones prohibidas, categorizándolas por el número de elementos distintos y repeticiones. Aplican el límite superior de la unión (union bound), aprovechando los límites de divisores ( $D(n) = n^{o(1)}$ ) para mostrar que para $p \le n^{-1/9 - o(1)}$ , la probabilidad de que aparezca cualquiera de dichas configuraciones es $o(1)$ .
La Declaración $(1)$ (Límite Superior):
Para demostrar que $[n]_p$ es product-Schur para un $p$ mayor, los autores construyen un patrón product-Schur finito específico (un pequeño conjunto de enteros que fuerza una solución monocromática independientemente de un 2-coloreado).
- Construcción del Patrón: Definen un conjunto $S_{a,b,c,d}$ que contiene 14 elementos generados por productos de cuatro enteros base. Demuestran mediante análisis de casos que cualquier 2-coloreado de este conjunto produce una solución monocromática a $xy=z$.
- Prueba de Existencia: Demuestran que si $p = \omega(n^{-1/11})$ , el conjunto aleatorio $[n]_p$ contiene casi seguramente una copia de este patrón. Esto se logra revelando el conjunto aleatorio en etapas y mostrando que la probabilidad de fallar al encontrar los enteros base necesarios ( $a, b, c, d$ ) y sus productos requeridos es insignificante.
- Desviación de Métodos Estándar: Los autores señalan explícitamente que los principios de transferencia estándar y los métodos de contenedores de hipergrafos (que dependen de la "supersaturación" — la propiedad de que los conjuntos densos contienen muchas soluciones monocromáticas) fallan aquí. Para los productos, existen coloreados donde solo una fracción evanescente de las soluciones son monocromáticas, lo que hace que las pruebas basadas en la supersaturación sean ineficaces.
Extensión a $r$ Colores:
Para $r \ge 3$ , los autores generalizan los resultados utilizando números de Schur ( $S(r)$ ) y números de Schur de doble suma ( $S'(r)$ ).
- Límite Inferior: Construyen un coloreado basado en intervalos escalados por $n^{1/S'(r)}$ , evitando sumas monocromáticas y sumas desplazadas, lo cual se traduce en evitar productos monocromáticos.
- Límite Superior: Utilizan el conjunto $U_x = \{x, x^2, \dots, x^{S(r)}\}$ , el cual no es $r$ -product-coloreable por la definición de $S(r)$ . Demuestran que para $p = \omega(n^{-1/S(r)^2})$ , tal conjunto aparece a.a.s.

Resultados Clave

Teorema 1.2 (Dos Colores): El umbral para que $[n]_p$ $[n]_{p}$ sea product-Schur se encuentra entre $n^{-1/9 - o(1)}$ $n^{- 1/9 - o (1)}$ y $n^{-1/11}$ $n^{- 1/11}$ . Específicamente:
- Si $p \le n^{-1/9 - o(1)}$ , $[n]_p$ es a.a.s. no product-Schur.
- Si $p \ge \omega(n^{-1/11})$ , $[n]_p$ es a.a.s. product-Schur.
Teorema 1.4 ( $r$ Colores): Para $r \ge 2$ $r \geq 2$ , el umbral $p^*_r$ $p_{r}^{*}$ satisface:
- $p^*_r \le n^{-1/S'(r)}$ (Límite inferior del umbral / Límite superior de $p$ para la no existencia).
- $p^*_r \ge n^{-1/S(r)^2}$ (Límite superior del umbral / Límite inferior de $p$ para la existencia).
- Crucialmente, a diferencia de las ecuaciones lineales donde el umbral es independiente de $r$ , el umbral para los productos depende del número de colores.

Significancia y Reivindicaciones
El artículo afirma ser el primero en explorar las propiedades de Ramsey de los conjuntos aleatorios respecto a ecuaciones no lineales, específicamente los productos monocromáticos. Sus principales contribuciones son:

Establecimiento de Límites de Umbral: Proporcionar los primeros límites no triviales para el umbral de product-Schur, mostrando que es distinto del caso lineal ( $n^{-1/2}$ ).
Innovación Metodológica: Demostrar que las técnicas de prueba para las propiedades de Ramsey no lineales difieren sustancialmente de las lineales. Los autores argumentan que la falta de supersaturación en los conjuntos de productos invalida los poderosos principios de transferencia y los métodos de contenedores que resolvieron los problemas de tipo Rado lineales, necesitando nuevos enfoques como el análisis de coloreado voraz y la incrustación de patrones específicos.
Dependencia de los Colores: Destacar que, para ecuaciones no lineales, el umbral depende del número de colores $r$ , contrastando con la independencia de color observada en los teoremas de Rado lineales.

Conjeturas y Direcciones Futuras
Los autores conjeturan que el verdadero umbral es $n^{-1/11}$ , coincidiendo con su límite superior. Sugieren que esto está determinado por la aparición de la configuración de tamaño acotado específica utilizada en su prueba. Reconocen que mejorar el límite inferior ( $n^{-1/9}$ ) probablemente requeriría nuevas ideas más allá de un refinamiento del coloreado voraz. Finalmente, proponen que sus técnicas podrían aplicarse a otras ecuaciones no lineales, como $a^2 = bc$ o $ab = cd$.