Additive Ramsey theory over Piatetski-Shapiro numbers

Technische Samenvatting: Additieve Ramsey-theorie over Piatetski-Shapiro-getallen

Probleemstelling
Het artikel onderzoekt partitieregulariteit en dichtheidsresultaten voor lineaire vergelijkingen over de verzameling van Piatetski-Shapiro-getallen, gedefinieerd als $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$ voor een parameter $c > 1$. Specifiek behandelen de auteurs of lineaire vergelijkingen van de vorm $c_1 x_1 + \dots + c_s x_s = 0$ (waarbij $\sum c_i = 0$) niet-triviale monochromatische oplossingen bezitten wanneer de verzameling $\mathcal{P}\mathcal{S}_c$ wordt gepartitioneerd in een eindig aantal kleurklassen.

Dit werk breidt klassieke resultaten uit:

• Stelling van Schur (1916): Garandeert monochromatische oplossingen voor $x+y=z$ in $\mathbb{N}$.
• Criterium van Rado (1933): Karakteriseert partitieregulariteit voor lineaire systemen.
• Probleem A (Erdős–Graham): Vraagt om monochromatische Pythagorese drietallen ($x^2+y^2=z^2$). Hoewel opgelost voor $s \ge 5$ variabelen, blijft het geval voor kwadraten ($c=2$) open voor $s=3$.
• Probleem B: De auteurs kaderen hun werk als een poging om een versie van Probleem A op te lossen voor Piatetski-Shapiro-getallen, en vragen of de conclusie van Corollarium 1.5 (monochromatische Schur-drietallen) geldt voor elke $c \in [1, 2]$.

Methodologie
De auteurs maken gebruik van het Fourier-analytische transfeerprincipe, vooropgegaan door Green, aangepast aan de schaarse setting van Piatetski-Shapiro-getallen. De kernstrategie omvat:

1. Constructie van een gewichtsfunctie: Definieer een gewichtsfunctie $\nu$ ondersteund op $\mathcal{P}\mathcal{S}_c(N)$ zodanig dat $\|\nu\|_1 \sim N$.
2. Fourier-verval: Vaststellen dat de Fourier-getransformeerde van $\nu$ die van de indicatorfunctie van het interval $[N]$ benadert, specifiek door $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$ te begrenzen.
3. Restrictie-schattingen: Bewijzen van grenzen voor de $L^t$-norm van de Fourier-getransformeerde van functies die door $\nu$ worden gedomineerd.
4. Transfeer: Het vergelijken van het gewogen aantal oplossingen in $\mathcal{P}\mathcal{S}_c$ met het ongewogen aantal in $[N]$.

Een significante methodologische bijdrage is de versterking van het transfeerprincipe (specifiek de versie van Browning en Prendiville van Greens principe). Door recente vooruitgang in de kwantitatieve dichtheid van verzamelingen vrij van rekenkundige progressies (Kelley–Meka, Bloom–Sisask) en pseudorandomiteit (Ko'sciuszko, Filmus et al.) te integreren, verbeteren de auteurs de kwantitatieve grenzen van de transfeermethodiek.

Belangrijkste Bijdragen en Resultaten

1. Partitieregulariteit (Stelling 1.4):
   De auteurs karakteriseren partitieregulariteit voor lineaire vergelijkingen over $\mathcal{P}\mathcal{S}_c$ wanneer $1 < c < c^\dagger(s)$, waarbij $s \ge 3$ het aantal variabelen is. De drempel $c^\dagger(s)$ wordt gedefinieerd als:

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

   Onder deze voorwaarden bevat elke eindige partitie van $\mathcal{P}\mathcal{S}_c$ een monochromatische niet-triviale oplossing voor $c_1 x_1 + \dots + c_s x_s = 0$. Opmerkelijk is dat voor $s=3$ dit een versie van het probleem van Schur-drietallen oplost voor $c < 12/11$.

2. Kwantitatieve Dichtheidsgrenzen (Stelling 1.8):
   Het artikel stelt vast dat als een deelverzameling $A \subseteq \mathcal{P}\mathcal{S}_c(N)$ geen niet-triviale oplossingen bevat voor de lineaire vergelijking, zijn dichtheid begrensd is door:
   $$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$$
   waarbij $\tau(3)=9$ en $\tau(s)=7$ voor $s \ge 4$.

   Dit resultaat verbetert voorgaand werk van Browning en Prendiville voor kwadraten ($c=2$), wat een besparing van $(\log \log \log N)^{O(1)} opleverde. De auteurs schrijven deze verbetering toe aan twee factoren:

   • De eliminatie van de noodzaak voor de "W-trick" in deze specifieke setting.
   • Het versterkte Fourier-analytische transfeerprincipe.

3. Gefineerd Transfeerprincipe (Stelling 4.3):
   De auteurs actualiseren het transfeerprincipe uit [6, Proposition 2.8], door de kwantitatieve snelheden van pseudorandomiteit te integreren die zijn afgeleid uit recente doorbraken in additieve combinatoriek. Dit maakt scherpere dichtheidsgrenzen mogelijk in schaarse verzamelingen.

Betekenis en Claims
Het artikel claimt een versie van Probleem A (monochromatische Pythagorese drietallen) op te lossen voor Piatetski-Shapiro-getallen met parameter $c < 12/11$ (Corollarium 1.5). Het benadrukt dat de drempel $12/11$ samenvalt met een drempel die Piatetski-Shapiro zelf vond bij het bewijzen van een versie van het priemgetalstelling voor deze getallen.

De auteurs benadrukken dat hun dichtheidsbesparing "substantieel groter" is dan die verkregen voor kwadraten, voornamelijk vanwege het verbeterde transfeerprincipe en de specifieke analytische eigenschappen van Piatetski-Shapiro-getallen die nauwkeurigere schattingen van exponentiële sommen toelaten. Hoewel zij opmerken dat Saito en Yoshida eerder het dichtheidsanaloog voor $c \in [1, 2)$ hebben afgehandeld met behulp van Szemerédi's stelling, stellen de auteurs dat hun resultaat een superieure kwantitatieve dichtheidsbound biedt.

Het werk raakt ook kort Piatetski-Shapiro-priemgetallen, met de opmerking dat hoewel Mirek dichtheidsresultaten vestigde voor 3AP-vrije verzamelingen in deze context, het bestaan van monochromatische Schur-drietallen van oneven getallen (en dus priemgetallen) onmogelijk is, hoewel een verschoven vergelijking $x+y=z+1$ kan worden aangetoond oplossingen te hebben.