Monochromatic Sums and Products over $\mathbb{Q}$

Resumen Técnico: Sumas y Productos Monocromáticos sobre $\mathbb{Q}$

Planteamiento del Problema
El artículo aborda un problema abierto central en la teoría de Ramsey relativo a la regularidad de partición de patrones mixtos aditivos y multiplicativos. Mientras que el Teorema de Hindman (1974) garantiza que cualquier coloración finita de los números naturales $\mathbb{N}$ contiene una secuencia infinita cuyas sumas de subconjuntos finitos son monocromáticas, y el análogo multiplicativo se cumple de manera similar, el requisito simultáneo tanto para sumas como para productos es significativamente más restrictivo.

Hindman (1979) demostró que no existe una secuencia infinita en $\mathbb{N}$ tal que todas sus sumas por pares y productos por pares sean monocromáticos. En consecuencia, la generalización finita natural de Hindman (Conjetura 1.1) postula que, para cualquier $n \ge 2$, cualquier coloración finita de $\mathbb{N}$ contiene $n$ números $\{x_1, \dots, x_n\}$ tales que todas las sumas de subconjuntos no vacíos $\sum_{i \in S} x_i$ y los productos de subconjuntos $\prod_{i \in S} x_i$ son monocromáticos. Esta conjetura permanece abierta para $\mathbb{N}$, incluso para el caso más simple $n=2$ (el patrón $\{x, y, x+y, xy\}$).

El artículo se centra en la versión más débil de esta conjetura sobre los números racionales $\mathbb{Q}$ (Conjetura 1.2), la cual fue resuelta previamente solo para $n=2$ por Bowen y Sabok (2023). Los autores pretenden demostrar la afirmación para un $n$ arbitrario sobre $\mathbb{Q}$.

Metodología
La demostración se basa en un enfoque algorítmico constructivo que actualiza iterativamente las variables para satisfacer condiciones monocromáticas cada vez más complejas. La maquinaria técnica central involucra:

1. Teorema de van der Waerden Polinomial: Los autores utilizan intensamente el teorema de van der Waerden polinomial multidimensional (Bergelson y Leibman). Específicamente, aplican una versión sobre $\mathbb{Q}^\ell$ (Teorema 2.4) que garantiza la existencia de un vector $u$ y un entero $n$ tales que $u + \sum c_i p_i(n)$ son monocromáticos, donde $p_i$ son polinomios con valores enteros con $p_i(0)=0$ y $c_i$ son coeficientes racionales de "tamaño" acotado.
2. Coloraciones de Producto Auxiliares: Para gestionar la interacción entre sumas y productos, los autores definen coloraciones auxiliares $\chi_M$ que codifican los colores de versiones escaladas y desplazadas de las variables. Esto permite la aplicación de resultados de tipo van der Waerden para controlar los colores de expresiones polinomiales complejas.
3. Actualizaciones Iterativas (Desplazamientos y Escalamientos): La demostración se estructura como un algoritmo que mantiene una secuencia de variables $x_n, \dots, x_1$. Los autores definen dos tipos específicos de operaciones:
   • Desplazamientos (Shifts): Operaciones de la forma $x_i \leftarrow x_i + f(x_{i-1}, \dots, x_1)$.
   • Escalamientos (Scalings): Operaciones de la forma $x_i \leftarrow k x_i$.
     Estas actualizaciones se realizan para asegurar que combinaciones polinomiales específicas (por ejemplo, $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$) permanezcan monocromáticas respecto a sus términos base.
4. Parámetros de Tamaño: Se introduce un parámetro técnico $M$ (que representa el tamaño máximo de coeficientes y denominadores). La demostración procede eligiendo un $M_0$ inicial suficientemente grande e iterando su reducción a $M_1, M_2, \dots$ conforme se realizan las actualizaciones, asegurando que las condiciones se cumplan para el tamaño final requerido.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1.3, que establece:

Para cualquier $n \ge 2$, si $\mathbb{Q}$ es coloreado en un número finito de colores, existen $x_1, \dots, x_n$ no nulos tales que todos los números $\sum_{i \in S} x_i$ y $\prod_{i \in S} x_i$ (para $S \subseteq [n]$ no vacío) son del mismo color.

El artículo establece esto a través de un lema principal (Proposición 4.1) que demuestra una propiedad estructural más fuerte y general. Este lema afirma la existencia de variables $x_n, \dots, x_1$ tales que para cualquier $i$ y cualquier subconjunto $T \subseteq [i-1]$, el color de $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$ coincide con el color de $P(x_i \prod_{j \in T} x_j)$ para todos los polinomios "buenos" $P$ con tamaño acotado, donde $S$ recorre los subconjuntos de $[i-1]$ estrictamente mayores que $T$.

La demostración del teorema principal (Sección 5) sintetiza este lema con:

• Teorema de Ramsey: Para extraer una subsucesión donde el color de los productos depende únicamente del grado (número de factores).
• Teorema de Folkman: Aplicado a una coloración auxiliar de índices para encontrar un conjunto de índices cuyos sumas de subconjuntos correspondan a los grados requeridos.
• Construcción Final: Combinando estos elementos para construir el conjunto final $\{X_1, \dots, X_r\}$ donde tanto las sumas como los productos son monocromáticos.

Significancia y Distinciones
Los autores destacan varias distinciones entre su trabajo y el reciente resultado para $n=2$ de Bowen y Sabok:

• Generalidad: Este trabajo resuelve el problema para un $n$ arbitrario, mientras que los resultados previos estaban limitados a $n=2$.
• Metodología: A diferencia de Bowen y Sabok, esta demostración no depende del resultado de Moreira como una "caja negra". En su lugar, comparte el espíritu de la demostración anterior de los autores del resultado de Moreira, utilizando directamente el teorema de van der Waerden polinomial.
• Límites Explícitos: La demostración proporciona cotas explícitas sobre el tamaño de la solución, una característica ausente en la demostración de Bowen-Sabok.
• Limitaciones sobre $\mathbb{N}$: Los autores señalan explícitamente que su técnica de demostración depende de la capacidad de realizar "desplazamientos" que involucran división (por ejemplo, $b/c$), lo cual es generalmente imposible en $\mathbb{N}$. Esto explica por qué el resultado se establece para $\mathbb{Q}$ pero la conjetura para $\mathbb{N}$ permanece abierta. El artículo sugiere que resolver el caso de $\mathbb{N}$ probablemente requiera nuevas ideas, potencialmente involucrando polinomios de grado superior o diferentes restricciones estructurales, tal como se insinúa en la Conjetura 4.1 de un trabajo previo [1].

El artículo concluye discutiendo posibles extensiones a otros patrones (por ejemplo, que involucren cuadrados o productos distintos) y planteando preguntas abiertas respecto a la regularidad de partición sobre semianillos polinomiales y patrones que involucren exponentes negativos.