Additive Ramsey theory over Piatetski-Shapiro numbers

Riepilogo Tecnico: Teoria di Ramsey Additiva sui Numeri di Piatetski-Shapiro

Enunciato del Problema
Il lavoro indaga la regolarità di partizione e i risultati sulla densità per equazioni lineari sull'insieme dei numeri di Piatetski-Shapiro, definiti come $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$ per un parametro $c > 1$. Nello specifico, gli autori affrontano la questione se le equazioni lineari della forma $c_1 x_1 + \dots + c_s x_s = 0$ (dove $\sum c_i = 0$) possiedano soluzioni monocromatiche non banali quando l'insieme $\mathcal{P}\mathcal{S}_c$ viene partizionato in un numero finito di classi di colore.

Questo lavoro estende risultati classici:

• Teorema di Schur (1916): Garantisce soluzioni monocromatiche per $x+y=z$ in $\mathbb{N}$.
• Criterio di Rado (1933): Caratterizza la regolarità di partizione per sistemi lineari.
• Problema A (Erdős–Graham): Chiede triple pitagoriche monocromatiche ($x^2+y^2=z^2$). Sebbene risolto per $s \ge 5$ variabili, il caso per i quadrati ($c=2$) rimane aperto per $s=3$.
• Problema B: Gli autori inquadrano il loro lavoro come un tentativo di risolvere una versione del Problema A per i numeri di Piatetski-Shapiro, chiedendo se la conclusione del Corollario 1.5 (triple di Schur monocromatiche) valga per qualsiasi $c \in [1, 2]$.

Metodologia
Gli autori impiegano il principio di trasferimento analitico di Fourier, pionieristicamente sviluppato da Green, adattato all'ambiente sparso dei numeri di Piatetski-Shapiro. La strategia centrale comporta:

1. Costruzione della Funzione di Peso: Definizione di una funzione di peso $\nu$ supportata su $\mathcal{P}\mathcal{S}_c(N)$ tale che $\|\nu\|_1 \sim N$.
2. Decadimento di Fourier: Stabilire che la trasformata di Fourier di $\nu$ approssima quella della funzione indicatrice dell'intervallo $[N]$, in particolare limitando $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$.
3. Stime di Restrizione: Dimostrare limiti sulla norma $L^t$ della trasformata di Fourier di funzioni dominate da $\nu$.
4. Trasferimento: Confrontare il conteggio pesato delle soluzioni in $\mathcal{P}\mathcal{S}_c$ con il conteggio non pesato in $[N]$.

Un contributo metodologico significativo è il rafforzamento del principio di trasferimento (nello specifico la versione del principio di Green di Browning e Prendiville). Incorporando recenti avanzamenti nella densità quantitativa di insiemi privi di progressioni aritmetiche (Kelley–Meka, Bloom–Sisask) e nella pseudocasualità (Ko'sciuszko, Filmus et al.), gli autori migliorano i limiti quantitativi della macchina di trasferimento.

Contributi e Risultati Chiave

1. Regolarità di Partizione (Teorema 1.4):
   Gli autori caratterizzano la regolarità di partizione per equazioni lineari su $\mathcal{P}\mathcal{S}_c$ quando $1 < c < c^\dagger(s)$, dove $s \ge 3$ è il numero di variabili. La soglia $c^\dagger(s)$ è definita come:

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

   Sotto queste condizioni, qualsiasi partizione finita di $\mathcal{P}\mathcal{S}_c$ contiene una soluzione monocromatica non banale a $c_1 x_1 + \dots + c_s x_s = 0$. Notevolmente, per $s=3$, ciò risolve una versione del problema delle triple di Schur per $c < 12/11$.

2. Limiti Quantitativi sulla Densità (Teorema 1.8):
   Il lavoro stabilisce che se un sottoinsieme $A \subseteq \mathcal{P}\mathcal{S}_c(N)$ non contiene soluzioni non banali all'equazione lineare, la sua densità è limitata da:
   $$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$$
   dove $\tau(3)=9$ e $\tau(s)=7$ per $s \ge 4$.

   Questo risultato migliora il lavoro precedente di Browning e Prendiville per i quadrati ($c=2$), che produceva un risparmio di $(\log \log \log N)^{O(1)}$. Gli autori attribuiscono questo miglioramento a due fattori:

   • L'eliminazione della necessità del "trucco W" in questo specifico contesto.
   • Il principio di trasferimento analitico di Fourier rafforzato.

3. Principio di Trasferimento Raffinato (Teorema 4.3):
   Gli autori aggiornano il principio di trasferimento da [6, Proposizione 2.8], incorporando i tassi quantitativi di pseudocasualità derivati da recenti svolte nella combinatoria additiva. Ciò consente limiti di densità più precisi negli insiemi sparsi.

Significato e Affermazioni
Il lavoro afferma di risolvere una versione del Problema A (triple pitagoriche monocromatiche) per i numeri di Piatetski-Shapiro con parametro $c < 12/11$ (Corollario 1.5). Evidenzia che la soglia $12/11$ coincide con una soglia trovata dallo stesso Piatetski-Shapiro nella dimostrazione di una versione del teorema dei numeri primi per questi numeri.

Gli autori sottolineano che il loro risparmio di densità è "sostanzialmente maggiore" di quello ottenuto per i quadrati, principalmente a causa del principio di trasferimento migliorato e delle proprietà analitiche specifiche dei numeri di Piatetski-Shapiro che permettono stime più precise delle somme esponenziali. Sebbene notino che Saito e Yoshida abbiano precedentemente risolto l'analogo della densità per $c \in [1, 2)$ utilizzando il teorema di Szemerédi, gli autori affermano che il loro risultato fornisce un limite di densità quantitativo superiore.

Il lavoro tocca brevemente anche i primi di Piatetski-Shapiro, notando che, sebbene Mirek abbia stabilito risultati sulla densità per insiemi privi di 3AP in questo contesto, l'esistenza di triple di Schur monocromatiche di numeri dispari (e quindi primi) è impossibile, sebbene si possa dimostrare che un'equazione traslata $x+y=z+1$ abbia soluzioni.