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

Resumo Técnico: Somas e Produtos Monocromáticos sobre $\mathbb{Q}$

Enunciado do Problema
O artigo aborda um problema central em aberto na teoria de Ramsey referente à regularidade de partição de padrões mistos aditivos e multiplicativos. Enquanto o Teorema de Hindman (1974) garante que qualquer coloração finita dos números naturais $\mathbb{N}$ contém uma sequência infinita cujas somas de subconjuntos finitos são monocromáticas, e o análogo multiplicativo também se aplica de forma semelhante, a exigência simultânea de somas e produtos é significativamente mais restritiva.

Hindman (1979) demonstrou que não existe uma sequência infinita em $\mathbb{N}$ tal que todas as suas somas e produtos de pares sejam monocromáticos. Consequentemente, a generalização finita natural de Hindman (Conjectura 1.1) postula que, para qualquer $n \ge 2$, qualquer coloração finita de $\mathbb{N}$ contém $n$ números $\{x_1, \dots, x_n\}$ tais que todas as somas de subconjuntos não vazios $\sum_{i \in S} x_i$ e os produtos de subconjetos $\prod_{i \in S} x_i$ são monocromáticos. Esta conjectura permanece em aberto para $\mathbb{N}$, mesmo para o caso mais simples $n=2$ (o padrão $\{x, y, x+y, xy\}$).

O artigo foca na versão mais fraca desta conjectura sobre os números racionais $\mathbb{Q}$ (Conjectura 1.2), que foi resolvida anteriormente apenas para $n=2$ por Bowen e Sabok (2023). Os autores visam provar o enunciado para um $n$ arbitrário sobre $\mathbb{Q}$.

Metodologia
A prova baseia-se em uma abordagem algorítmica construtiva que atualiza iterativamente as variáveis para satisfazer condições monocromáticas cada vez mais complexas. O núcleo da maquinaria técnica envolve:

1. Teorema de van der Waerden Polinomial: Os autores utilizam intensamente o teorema de van der Waerden polinomial multidimensional (Bergelson e Leibman). Especificamente, eles aplicam uma versão sobre $\mathbb{Q}^\ell$ (Teorema 2.4) que garante a existência de um vetor $u$ e um inteiro $n$ tal que $u + \sum c_i p_i(n) v_i$ são monocromáticos, onde $p_i$ são polinômios de valores inteiros com $p_i(0)=0$ e $c_i$ são coeficientes racionais de "tamanho" limitado.
2. Colorações de Produtos Auxiliares: Para gerenciar a interação entre somas e produtos, os autores definem colorações auxiliares $\chi_M$ que codificam as cores de versões escaladas e deslocadas das variáveis. Isso permite a aplicação de resultados do tipo van der Waerden para controlar as cores de expressões polinomiais complexas.
3. Atualizações Iterativas (Deslocamentos e Escalonamentos): A prova é estruturada como um algoritmo que mantém uma sequência de variáveis $x_n, \dots, x_1$. Os autores definem dois tipos específicos de operações:
   • Deslocamentos (Shifts): Operações da forma $x_i \leftarrow x_i + f(x_{i-1}, \dots, x_1)$.
   • Escalonamentos (Scalings): Operações da forma $x_i \leftarrow k x_i$.
     Essas atualizações são realizadas para garantir que combinações polinomiais específicas (por exemplo, $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$) permaneçam monocromáticas em relação aos seus termos base.
4. Parâmetros de Tamanho: Um parâmetro técnico $M$ (representando o tamanho máximo de coeficientes e denominadores) é introduzido. A prova prossegue escolhendo um $M_0$ inicial suficientemente grande e reduzindo-o iterativamente para $M_1, M_2, \dots$ conforme as atualizações são realizadas, garantindo que as condições se mantenham para o tamanho final requerido.

Principais Contribuições e Resultados
O resultado principal é o Teorema 1.3, que afirma:

Para qualquer $n \ge 2$, se $\mathbb{Q}$ for colorido em finitas cores, existem não nulos $x_1, \dots, x_n$ tais que todos os números $\sum_{i \in S} x_i$ e $\prod_{i \in S} x_i$ (para $S \subseteq [n]$ não vazio) são da mesma cor.

O artigo estabelece isso através de um lema principal (Proposição 4.1) que prova uma propriedade estrutural mais forte e geral. Este lema afirma a existência de variáveis $x_n, \dots, x_1$ tal que, para qualquer $i$ e qualquer subconjunto $T \subseteq [i-1]$, a cor de $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$ coincide com a cor de $P(x_i \prod_{j \in T} x_j)$ para todos os polinômios "bons" $P$ com tamanho limitado, onde $S$ varia sobre subconjuntos de $[i-1]$ estritamente maiores que $T$.

A prova do teorema principal (Seção 5) sintetiza este lema com:

• Teorema de Ramsey: Para extrair uma subsequência onde a cor dos produtos depende apenas do grau (número de fatores).
• Teorema de Folkman: Aplicado a uma coloração auxiliar de índices para encontrar um conjunto de índices cujas somas de subconjuntos correspondem aos graus exigidos.
• Construção Final: Combinando estes elementos para construir o conjunto final $\{X_1, \dots, X_r\}$ onde tanto as somas quanto os produtos são monocromáticos.

Significância e Distinções
Os autores destacam várias distinções entre seu trabalho e o recente resultado para $n=2$ de Bowen e Sabok:

• Generalidade: Este trabalho resolve o problema para um $n$ arbitrário, enquanto resultados anteriores foram limitados a $n=2$.
• Metodologia: Diferente de Bowen e Sabok, esta prova não depende do resultado de Moreira como uma "caixa preta". Em vez disso, compartilha o espírito da prova anterior do autor para o resultado de Moreira, utilizando diretamente o teorema de van der Waerden polinomial.
• Limites Explícitos: A prova fornece limites explícitos sobre o tamanho da solução, uma característica ausente na prova de Bowen-Sabok.
• Limitações sobre $\mathbb{N}$: Os autores observam explicitamente que sua técnica de prova depende da capacidade de realizar "deslocamentos" envolvendo divisão (por exemplo, $b/c$), o que é geralmente impossível em $\mathbb{N}$. Isso explica por que o resultado é estabelecido para $\mathbb{Q}$, mas a conjectura para $\mathbb{N}$ permanece em aberto. O artigo sugere que resolver o caso de $\mathbb{N}$ provavelmente exigirá novas ideias, potencialmente envolvendo polinômios de grau superior ou diferentes restrições estruturais, como sugerido na Conjectura 4.1 de um trabalho anterior [1].

O artigo conclui discutindo potenciais extensões para outros padrões (por exemplo, envolvendo quadrados ou produtos distintos) e levantando questões em aberto sobre a regularidade de partição sobre semianéis polinomiais e padrões envolvendo expoentes negativos.