Additive Ramsey theory over Piatetski-Shapiro numbers

Resumen Técnico: Teoría de Ramsey Aditiva sobre Números de Piatetski-Shapiro

Enunciado del Problema
El artículo investiga resultados de regularidad de partición y densidad para ecuaciones lineales sobre el conjunto de números de Piatetski-Shapiro, definidos como $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$ para un parámetro $c > 1$. Específicamente, los autores abordan si las ecuaciones lineales de la forma $c_1 x_1 + \dots + c_s x_s = 0$ (donde $\sum c_i = 0$) poseen soluciones monocromáticas no triviales cuando el conjunto $\mathcal{P}\mathcal{S}_c$ se particiona en un número finito de clases de color.

Este trabajo extiende resultados clásicos:

• Teorema de Schur (1916): Garantiza soluciones monocromáticas a $x+y=z$ en $\mathbb{N}$.
• Criterio de Rado (1933): Caracteriza la regularidad de partición para sistemas lineales.
• Problema A (Erdős–Graham): Pide triples pitagóricos monocromáticos ($x^2+y^2=z^2$). Aunque resuelto para $s \ge 5$ variables, el caso para cuadrados ($c=2$) permanece abierto para $s=3$.
• Problema B: Los autores enmarcan su trabajo como un intento de resolver una versión del Problema A para números de Piatetski-Shapiro, preguntando si la conclusión del Corolario 1.5 (triples de Schur monocromáticos) se cumple para cualquier $c \in [1, 2]$.

Metodología
Los autores emplean el principio de transferencia analítico de Fourier, pionero de Green, adaptado al contexto disperso de los números de Piatetski-Shapiro. La estrategia central implica:

1. Construcción de Función de Peso: Definir una función de peso $\nu$ soportada en $\mathcal{P}\mathcal{S}_c(N)$ tal que $\|\nu\|_1 \sim N$.
2. Decaimiento de Fourier: Establecer que la transformada de Fourier de $\nu$ aproxima la de la función indicadora del intervalo $[N]$, acotando específicamente $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$.
3. Estimaciones de Restricción: Probar cotas para la norma $L^t$ de la transformada de Fourier de funciones dominadas por $\nu$.
4. Transferencia: Comparar la cuenta ponderada de soluciones en $\mathcal{P}\mathcal{S}_c$ con la cuenta no ponderada en $[N]$.

Una contribución metodológica significativa es el fortalecimiento del principio de transferencia (específicamente la versión de Browning y Prendiville del principio de Green). Al incorporar avances recientes en la densidad cuantitativa de conjuntos libres de progresiones aritméticas (Kelley–Meka, Bloom–Sisask) y seudorrandomidad (Ko'sciuszko, Filmus et al.), los autores mejoran las cotas cuantitativas del mecanismo de transferencia.

Contribuciones y Resultados Clave

1. Regularidad de Partición (Teorema 1.4):
   Los autores caracterizan la regularidad de partición para ecuaciones lineales sobre $\mathcal{P}\mathcal{S}_c$ cuando $1 < c < c^\dagger(s)$, donde $s \ge 3$ es el número de variables. El umbral $c^\dagger(s)$ se define como:

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

   Bajo estas condiciones, cualquier partición finita de $\mathcal{P}\mathcal{S}_c$ contiene una solución monocromática no trivial a $c_1 x_1 + \dots + c_s x_s = 0$. Notablemente, para $s=3$, esto resuelve una versión del problema de triples de Schur para $c < 12/11$.

2. Cotas Cuantitativas de Densidad (Teorema 1.8):
   El artículo establece que si un subconjunto $A \subseteq \mathcal{P}\mathcal{S}_c(N)$ no contiene soluciones no triviales a la ecuación lineal, su densidad está acotada por:
   $$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$$
   donde $\tau(3)=9$ y $\tau(s)=7$ para $s \ge 4$.

   Este resultado mejora trabajos previos de Browning y Prendiville para cuadrados ($c=2$), que arrojaban un ahorro de $(\log \log \log N)^{O(1)}$. Los autores atribuyen esta mejora a dos factores:

   • La eliminación de la necesidad del "truco W" en este contexto específico.
   • El principio de transferencia analítico de Fourier fortalecido.

3. Principio de Transferencia Refinado (Teorema 4.3):
   Los autores actualizan el principio de transferencia de [6, Proposición 2.8], incorporando las tasas cuantitativas de seudorrandomidad derivadas de recientes avances en combinatoria aditiva. Esto permite cotas de densidad más agudas en conjuntos dispersos.

Significado y Afirmaciones
El artículo afirma resolver una versión del Problema A (triples pitagóricos monocromáticos) para números de Piatetski-Shapiro con parámetro $c < 12/11$ (Corolario 1.5). Destaca que el umbral $12/11$ coincide con un umbral que el propio Piatetski-Shapiro encontró al probar una versión del teorema de los números primos para estos números.

Los autores enfatizan que su ahorro de densidad es "sustancialmente mayor" que el obtenido para cuadrados, principalmente debido al principio de transferencia mejorado y a las propiedades analíticas específicas de los números de Piatetski-Shapiro, las cuales permiten estimaciones más precisas de sumas exponenciales. Aunque señalan que Saito y Yoshida resolvieron previamente el análogo de densidad para $c \in [1, 2)$ usando el teorema de Szemerédi, los autores afirman que su resultado proporciona una cota de densidad cuantitativa superior.

El trabajo también toca brevemente los primos de Piatetski-Shapiro, señalando que, aunque Mirek estableció resultados de densidad para conjuntos libres de 3AP en este contexto, la existencia de triples de Schur monocromáticos de números impares (y por tanto primos) es imposible, aunque puede demostrarse que una ecuación desplazada $x+y=z+1$ tiene soluciones.