Additive Ramsey theory over Piatetski-Shapiro numbers

Resumo Técnico: Teoria de Ramsey Aditiva sobre Números de Piatetski-Shapiro

Enunciado do Problema
O artigo investiga resultados de regularidade de partição e densidade para equações lineares sobre o conjunto de números de Piatetski-Shapiro, definidos como $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$ para um parâmetro $c > 1$. Especificamente, os autores abordam se equações lineares da forma $c_1 x_1 + \dots + c_s x_s = 0$ (onde $\sum c_i = 0$) possuem soluções monocromáticas não triviais quando o conjunto $\mathcal{P}\mathcal{S}_c$ é particionado em finitas classes de cores.

Este trabalho estende resultados clássicos:

• Teorema de Schur (1916): Garante soluções monocromáticas para $x+y=z$ em $\mathbb{N}$.
• Critério de Rado (1933): Caracteriza a regularidade de partição para sistemas lineares.
• Problema A (Erdős–Graham): Pergunta sobre triplas pitagóricas monocromáticas ($x^2+y^2=z^2$). Embora resolvido para $s \ge 5$ variáveis, o caso para quadrados ($c=2$) permanece aberto para $s=3$.
• Problema B: Os autores enquadram seu trabalho como uma tentativa de resolver uma versão do Problema A para números de Piatetski-Shapiro, perguntando se a conclusão do Corolário 1.5 (triplas de Schur monocromáticas) vale para qualquer $c \in [1, 2]$.

Metodologia
Os autores empregam o princípio de transferência analítico de Fourier, pioneiro de Green, adaptado ao cenário esparsos dos números de Piatetski-Shapiro. A estratégia central envolve:

1. Construção da Função de Peso: Definição de uma função de peso $\nu$ suportada em $\mathcal{P}\mathcal{S}_c(N)$ tal que $\|\nu\|_1 \sim N$.
2. Decaimento de Fourier: Estabelecimento de que a transformada de Fourier de $\nu$ aproxima a da função indicadora do intervalo $[N]$, especificamente limitando $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$.
3. Estimativas de Restrição: Prova de limites na norma $L^t$ da transformada de Fourier de funções dominadas por $\nu$.
4. Transferência: Comparação da contagem ponderada de soluções em $\mathcal{P}\mathcal{S}_c$ com a contagem não ponderada em $[N]$.

Uma contribuição metodológica significativa é o reforço do princípio de transferência (especificamente a versão de Browning e Prendiville do princípio de Green). Ao incorporar avanços recentes na densidade quantitativa de conjuntos livres de progressões aritméticas (Kelley–Meka, Bloom–Sisask) e pseudorrandomicidade (Ko'sciuszko, Filmus et al.), os autores melhoram os limites quantitativos da maquinaria de transferência.

Principais Contribuições e Resultados

1. Regularidade de Partição (Teorema 1.4):
   Os autores caracterizam a regularidade de partição para equações lineares sobre $\mathcal{P}\mathcal{S}_c$ quando $1 < c < c^\dagger(s)$, onde $s \ge 3$ é o número de variáveis. O limiar $c^\dagger(s)$ é definido como:

   • $c^\dagger(3) = 12/11$
   • $c^\dagger(4) = 7/6$
   • $c^\dagger(s) = 2$ para $s \ge 5$.

   Sob essas condições, qualquer partição finita de $\mathcal{P}\mathcal{S}_c$ contém uma solução não trivial monocromática para $c_1 x_1 + \dots + c_s x_s = 0$. Notavelmente, para $s=3$, isso resolve uma versão do problema das triplas de Schur para $c < 12/11$.

2. Limites Quantitativos de Densidade (Teorema 1.8):
   O artigo estabelece que, se um subconjunto $A \subseteq \mathcal{P}\mathcal{S}_c(N)$ não contém soluções não triviais para a equação linear, sua densidade é limitada por:
   $$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$$
   onde $\tau(3)=9$ e $\tau(s)=7$ para $s \ge 4$.

   Este resultado melhora trabalhos anteriores de Browning e Prendiville para quadrados ($c=2$), que produziam uma economia de $(\log \log \log N)^{O(1)}$. Os autores atribuem essa melhoria a dois fatores:

   • A eliminação da necessidade do "truque W" neste cenário específico.
   • O princípio de transferência analítico de Fourier reforçado.

3. Princípio de Transferência Refinado (Teorema 4.3):
   Os autores atualizam o princípio de transferência de [6, Proposição 2.8], incorporando as taxas quantitativas de pseudorrandomicidade derivadas de avanços recentes em combinatória aditiva. Isso permite limites de densidade mais agudos em conjuntos esparsos.

Significado e Alegações
O artigo alega resolver uma versão do Problema A (triplas pitagóricas monocromáticas) para números de Piatetski-Shapiro com parâmetro $c < 12/11$ (Corolário 1.5). Destaca-se que o limiar $12/11$ coincide com um limiar encontrado pelo próprio Piatetski-Shapiro ao provar uma versão do teorema dos números primos para esses números.

Os autores enfatizam que sua economia de densidade é "substancialmente maior" do que a obtida para quadrados, principalmente devido ao princípio de transferência aprimorado e às propriedades analíticas específicas dos números de Piatetski-Shapiro, que permitem estimativas de soma exponencial mais precisas. Embora observem que Saito e Yoshida tenham resolvido anteriormente o análogo de densidade para $c \in [1, 2)$ usando o teorema de Szemerédi, os autores afirmam que seu resultado fornece um limite de densidade quantitativo superior.

O trabalho também toca brevemente nos primos de Piatetski-Shapiro, notando que, embora Mirek tenha estabelecido resultados de densidade para conjuntos livres de 3AP neste contexto, a existência de triplas de Schur monocromáticas de números ímpares (e, portanto, primos) é impossível, embora uma equação deslocada $x+y=z+1$ possa ser mostrada como tendo soluções.