Additive Ramsey theory over Piatetski-Shapiro numbers

技術的概要：ピャテツキー・シャピロ数における加法ラムゼー理論

問題提起
本論文は、パラメータ $c > 1$ に対して定義されるピャテツキー・シャピロ数の集合 $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$ 上の線形方程式に関する分割正則性と密度結果を調査する。具体的には、$\sum c_i = 0$ となる形式の線形方程式 $c_1 x_1 + \dots + c_s x_s = 0$ が、集合 $\mathcal{P}\mathcal{S}_c$ を有限個の色のクラスに分割した際に、非自明な単色解を持つかどうかについて論じる。

この研究は古典的な結果を拡張するものである：

• シュアの定理（1916 年）： $\mathbb{N}$ における $x+y=z$ の単色解の存在を保証する。
• ラドーの基準（1933 年）： 線形系に対する分割正則性を特徴づける。
• 問題 A（エルデシュ＝グラハム）： 単色ピタゴラス数組（$x^2+y^2=z^2$）の存在を問う。変数 $s \ge 5$ の場合は解決されているが、平方数（$c=2$）の場合、$s=3$ については未解決である。
• 問題 B： 著者らは自らの研究を、ピャテツキー・シャピロ数に対する問題 A の一種を解こうとする試みとして位置づけており、任意の $c \in [1, 2]$ に対して、系 1.5（単色シュア数組）の結論が成り立つかどうかを問うている。

手法
著者らは、グリーンによって先駆けたフーリエ解析的転移原理を採用し、これをピャテツキー・シャピロ数の疎な設定に適応させた。中核的な戦略は以下の通りである：

1. 重み関数の構成： $\|\nu\|_1 \sim N$ となるように、$\mathcal{P}\mathcal{S}_c(N)$ を支とする重み関数 $\nu$ を定義する。
2. フーリエ減衰： $\nu$ のフーリエ変換が区間 $[N]$ の指示関数のフーリエ変換に近似することを確立し、特に $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$ を評価する。
3. 制限評価： $\nu$ によって支配される関数のフーリエ変換の $L^t$ ノルムに関する評価を証明する。
4. 転移： $\mathcal{P}\mathcal{S}_c$ における重み付き解の個数と、$[N]$ における無重みの解の個数を比較する。

重要な方法論的貢献は、転移原理の強化（特にグリーン原理のブラウンディングとプレンドヴィルによる版）である。等差数列を含まない集合の量的密度（ケリー＝メカ、ブルーム＝シサック）および擬 randomness（コシウスコ、フィルムスら）に関する最近の進展を取り入れることで、転移機構の量的評価を改善した。

主要な貢献と結果

1. 分割正則性（定理 1.4）：
   著者らは、変数の数 $s \ge 3$ に対して $1 < c < c^\dagger(s)$ である場合の、$\mathcal{P}\mathcal{S}_c$ 上の線形方程式に対する分割正則性を特徴づけた。しきい値 $c^\dagger(s)$ は以下のように定義される：

   • $c^\dagger(3) = 12/11$
   • $c^\dagger(4) = 7/6$
   • $s \ge 5$ に対して $c^\dagger(s) = 2$。

   これらの条件下では、$\mathcal{P}\mathcal{S}_c$ の任意の有限分割は、$c_1 x_1 + \dots + c_s x_s = 0$ の非自明な単色解を含む。特筆すべきは、$s=3$ の場合、$c < 12/11$ に対してシュア数組問題の一種が解決された点である。

2. 量的密度評価（定理 1.8）：
   本論文は、線形方程式の非自明な解を含まない部分集合 $A \subseteq \mathcal{P}\mathcal{S}_c(N)$ について、その密度が以下のように評価されることを確立した：
   $$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$$
   ここで、$\tau(3)=9$ であり、$s \ge 4$ に対して $\tau(s)=7$ である。

   この結果は、平方数（$c=2$）に対するブラウンディングとプレンドヴィルの先行研究（$(\log \log \log N)^{O(1)}$ の節約）を改善するものである。著者らはこの改善を以下の 2 つの要因に帰着させる：

   • この特定の設定において「W 手口」の必要性を排除したこと。
   • 強化されたフーリエ解析的転移原理。

3. 精緻化された転移原理（定理 4.3）：
   著者らは、加法組合せ論における最近の画期的成果から導かれた擬 randomness の量的速度を取り入れて、[6, 命題 2.8] の転移原理を更新した。これにより、疎な集合におけるより鋭い密度評価が可能となった。

意義と主張
本論文は、パラメータ $c < 12/11$ に対するピャテツキー・シャピロ数における問題 A（単色ピタゴラス数組）の一種を解決したと主張する（系 1.5）。また、しきい値 $12/11$ は、ピャテツキー・シャピロ自身がこれらの数に対する素数定理の一種を証明する際に発見したしきい値と一致することを強調している。

著者らは、密度の節約が平方数の場合に得られたものよりも「本質的に大きい」ことを強調しており、これは主に改善された転移原理と、より精密な指数和の評価を可能にするピャテツキー・シャピロ数特有の解析的性質によるものである。サイトと吉田がシュメレディの定理を用いて $c \in [1, 2)$ に対する密度の類似問題を解決したことに言及しつつも、著者らは自らの結果がより優れた量的密度評価を提供すると主張している。

また、本論文はピャテツキー・シャピロ素数にも簡単に触れており、ミレクがこの文脈における 3 項等差数列を含まない集合の密度結果を確立したことに言及する一方で、奇数（したがって素数）の単色シュア数組の存在は不可能であると指摘する。ただし、シフトされた方程式 $x+y=z+1$ については解が存在し得ることが示される。