The Wiener Wintner and Return Times Theorem Along the Primes

技術的要約：素数におけるウィーナー・ウィントナーの定理

問題設定
本論文は、古典的なウィーナー・ウィントナー（Wiener-Wintner）エルゴード定理を、算術数列、具体的には素数の数列へと拡張する問題に取り組んでいる。古典的な定理（定理1.1）は、測度保存系 $(X, \nu, T)$ および関数 $f \in L^1(X)$ に対して、全測度の集合が存在し、すべての連続な1周期関数 $\phi$ に対して加重平均 $\frac{1}{N} \sum_{n \le N} \phi(n) f(T^n x)$ が収束することを主張するものである。$\phi(n) = e^{2\pi i n \theta}$ の場合、積系へのビルクホフの定理の適用により、ほとんどすべての $\theta$ に対して極限が存在することは既知であるが、ウィーナー・ウィントナーの定理は、単一の全測度の集合上で、すべての $\theta$ に対して同時に収束することを主張することで、これを強化している。

著者らは定理1.2の証明を目的としている。すなわち、任意の測度保存系および $f \in L^\infty(X)$ （$p > 1$ における $L^p$ への緩和が可能）に対して、全測度の集合 $X_f$ が存在し、すべての $x \in X_f$ に対して、加重平均
$$\lim_{N \to \infty} \frac{1}{N} \sum_{n \le N} \phi(p_n) f(T^{p_n} x)$$
が、すべての連続な1周期関数 $\phi$ に対して収束することである。これは、算術数列に対するウィーナー・ウィントナーの定理の初の拡張である。

手法
証明は、古典的なフーリエ解析、組合せ数論、高次フーリエ解析、および点的なエルゴード理論の交差点において展開される。その手法は、主に以下の3つの柱に基づいている。

1. フォン・マンゴルト関数の近似:
   著者らは、フォン・マンゴルト関数 $\Lambda(n)$ を近似するために、ヒース＝ブラウン・モデル（$\Lambda_{HB}$）を利用する。具体的には、ラマヌジャン和 $c_q(n)$ とメビウス関数 $\mu(q)$ を含む項の二重和によって定義される、切断された和 $\Lambda_{\le T}$ を用いる。

   • シーゲル零点補正: ディリクレ $L$ 関数の潜在的な例外的な零点を扱うため、例外的な指標 $\chi_{q_{Siegel}}$ とシーゲル零点 $\sigma$ を含む補正項を組み込むことで、モデルを $\Lambda'_{\le T}$ へと精緻化している。

2. 高次フーリエ解析（ゴワーズノルム）:
   核心となる技術的エンジンは、ゴワーズ $U^3$ ノルムに関する評価の確立である。

   • 近似誤差: 著者らは、ヒース＝ブラウン・モデルが $U^3$ ノルムにおいてフォン・マンゴルト関数に近いことを証明する：$\|\Lambda - \Lambda'_{\le Q}\|_{U^3[N]} \lesssim (\log N)^{-A}$。これは、Leng、Sanders、Green、Taoによる $U^3$ ノルムの定量的逆定理（nilsequence と相関する関数を特定するもの）を用いて達成される。証明は、$\Lambda$ と $\Lambda'$ を Type I、Type II、および twisted Type I の和に分解し、それらが有意に nilsequence と相関しないことを示すプロセスを含む。
   • 固定複雑度の評価: 重要な組合せ論的結果（命題2.1）は、固定複雑度成分 $\Lambda_Q$ の $U^3$ ノルムに関する鋭い評価を確立している：
     $$\|\Lambda_Q\|_{U^3[N]} \lesssim Q^{-3/8 + o(1)}$$
     この評価は、$\{0,1\}^3$ の立方体上の線形形式の構造と、ラマヌジャンス和の分母の約数制約を用いた、初等的ではあるが非自明な組合せ論的議論を通じて導出される。著者らは、より弱い $Q^{-1/4}$ の評価も可能であるが、$3/8$ の指数が彼らの証明には不可欠であると述べている。

3. エルゴード転移と一様性:
   証明は、$\Lambda$ による加重平均から素数の平均へと移行するための転移引数を利用する。

   • 弱混合性の簡約: エルゴード分解により、問題は $f$ が弱混合であるケースへと簡約される。弱混合関数の場合、一様ウィーナー・ウィントナー定理（式1.6）は、非加重平均の $\theta$ に関する上限が消滅することを意味する。
   • 加重平均: 著者らは、$U^3$ 推定と、重みの $U^3$ ノルムとウィーナー・ウィントナー平均との間の不等式（命題1.11）を組み合わせる。具体的には、重みが小さな $U^3$ ノルムを持つ場合、加重平均は小さくなることを示す。$\Lambda$ を（大きな $Q$ に対して小さな $U^3$ ノルムを持つ）$\Lambda_{\le Q}$ で近似し、誤差を制御することで、素数の平均の収束を確立する。

主要な貢献と結果

• 定理 1.2: 主要な結果は、素数におけるウィーナー・ウィントナーの定理の証明である。これは、連続な周期的な重みに対して、すべての加重素数平均が収束する全測度の集合の存在を保証する。
• 命題 2.1 (固定複雑度 $U^3$ 評価): 本論文は、$N > Q^{20}$ において $\|\Lambda_Q\|_{U^3[N]} \lesssim Q^{-3/8 + o(1)}$ という評価を確立している。これは標準的な $Q^{-1/4}$ 評価に対する重要な改善であり、独立した関心の対象となる結果である。その証明は、ゴワーズノルム展開における線形形式によって課される制約の詳細な組合せ論的分析に依拠している。
• 命題 3.1 (ヒース＝ブラウン近似): 本論文は、ヒース＝ブラウン・モデル（シーゲル零点補正付き）が、べき乗の $\log N$ の誤差でフォン・マンゴルト関数を $U^3$ ノルムにおいて近似することを証明している。これは、逆 $U^3$ 定理と Type I/II 和および nilsequence の詳細な分析に基づいている。
• 補題 3.19 および 3.23: これらの補題は、例外的な指標によってねじれたヒース＝ブラウン・モデルの $U^3$ ノルムの推定を提供し、潜在的なシーゲル零点から生じる技術的な困難に対処している。

意義
本論文は、ウィーナー・ウィントナーの定理を算術数列へ拡張した最初の例であると主張している。その意義は以下の点にある：

1. 分野の統合: 証明は、高次フーリエ解析（特に $U^3$ 理論と nilsequence）を、古典的な解析数論（ヒース＝ブラウン・モデル、シーゲル零点）およびエルゴード理論と統合している。
2. 組合せ論的洞察: 固定複雑度のヒース＝ブラウン・モデルに対する $Q^{-3/8}$ 評価の導出は、標準的な次元カウントによる評価を超える、非自明な組合せ論的成果として強調されている。
3. 素数平均の頑健性: この結果は、素数が（小さなゴワーズノルムという意味での）十分な「ランダム性」を備えており、連続関数によって加重された際に強い点的なエルゴード定理を満たすことを示している。

著者らは、ヒース＝ブラウン・モデルに関する彼らの $U^3$ 推定が、加法組合せ論や解析数論の研究者にとって独立した関心の対象となり得ることを明示している。本研究は、新しい実験的な応用を提案するものではなく、力学系における素数に沿った点的な収束の理論的基礎を固めるものである。