On variants of Chowla's conjecture

技術要約：Chowlaの予想の変種について

問題設定
本論文は、完全乗法的関数 $f: \mathbb{N} \to \{\pm 1\}$ に関連するシフトされた畳み込み和を調査するものである。中心となる焦点は、以下の平均の挙動である：
$$\lim_{x \to \infty} \frac{1}{x} \sum_{n \le x} f(n+h_1) \cdots f(n+h_d)$$
ここで、$H = \{h_1, \dots, h_d\}$ は固定された非負整数の集合である。この問題は、リウヴィル関数 $\lambda$（すべての素数 $p$ に対して $f(p)=-1$ となる関数）に対して、任意の空でない $H$ についてこの極限が消失することを提唱するChowlaの予想の直接的な変種である。本論文では、特定の素数集合 $P$ によって定義される関数 $\lambda_P$（$p \in P$ ならば $\lambda_P(p) = -1$、それ以外は $1$）の形態を具体的に検討する。研究では、特に$P$ が「小さな集合」（逆数の和が収束する素数集合）である場合のこれらの極限の評価と、可能な極限値の「スペクトル」の決定という2つの主要な問いに取り組む。

手法
著者は、このトピックに関する近年の文献で一般的な、タウバー型定理や深いエルゴード理論などの重厚な解析的手法を避け、初等的な組合せ論的議論と自然数の部分集合の構造分析を採用している。

主要な手法構成要素は以下の通りである：

1. 対称差構造： 本論文は、素数の部分集合（対称差の下での群同型）と完全乗法的関数（点別積の下での群同型）の間の群同型を利用する。これにより、Lemma 2を通じて、$P$ および $H$ の変化に伴う複雑な相関和を、より単純な成分へと分解することが可能になる。
2. 密度近似： 証明は、算術級数の有限和（$C(r, s)$）を用いて集合 $N^H_P$ の自然密度を近似することに依拠している。これらの級数によって生成される代数の中で上界と下界（$X^H_P(r)$ および $Y^H_P(r)$）を構築することにより、著者は自然密度 $\eta^H_P$ の存在を確立している。
3. 帰納的な極限プロセス： 有限個の素数の場合、密度は明示的に計算される。無限の「小さな」集合の場合、著者は極限プロセスを用い、残りの素数の逆数の和によって密度近似の誤差項が抑えられることを示す。これにより、 $P$ が小さな集合である場合にのみ収束が保証される。
4. 定理2のための組合せ論的簡約： 極限が $\pm 1$ になる可能性に対処するため、本論文は、対称差と平行移動に関して閉じている集合族に関する組合せ論的議論（WildonによるLemma 5）を用いる。これにより、問題を2点相関のケースへと簡約し、Matomäki–Radziwiłłの定理を援用することで解決する。

主要な貢献および結果

• 定理 1 (小さな素数集合)： 固定された $H$ と小さな素数集合 $P$ に対して、極限 $\kappa^H_P = \lim_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n)$ は存在し、オイラー型の積によって与えられる：
  $$\kappa^H_P = \prod_{p \in P} (1 - 2\eta^H_p)$$
  ここで $\eta^H_p$ は、$\Lambda^H_{\{p\}}(n) = -1$ となる整数の自然密度である。例外的な素数（$H$ の差分を割り切らない素数）については、$\eta^H_p = \frac{d}{p+1}$ である。著者は、この結果は先行研究（具体的には [10]）から導出可能であるが、提供された証明は初等的かつ組合せ論的であることを述べている。

• 定理 2 (非定数関数)： $\lambda_P$ が非定数の完全乗法的関数（すなわち $P \neq \emptyset$）である場合、相関平均が定数として $1$または$-1$ になることはない。具体的には：
  $$\liminf_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n) < 1 \quad \text{および} \quad \limsup_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n) > -1$$
  この結果は、非自明な $P$ に対して、値が完全に相関することはないことを意味する。証明は、短区間平均に関するMatomäki–Radziwiłłの定理に依拠しているが、本論文はこれをこの特定の文脈に適用するための新しい組合せ論的枠組みを提供している。

• スペクトルの決定： 本論文は、スペクトル $\Gamma_H$ を、すべての小さな素数部分集合 $P$ にわたる $\kappa^H_P$ の値の集合の位相的閉包として定義する。著者は、$\Gamma_H = [\alpha_H, 1] \cup [0, 1]$ （ここで $\alpha_H = \inf_p (1 - 2\eta^H_p)$）であることを証明している。これは、小さな素数集合に対する可能な相関値の全範囲を特徴づけている。

意義および主張
本論文は、Chowlaの予想の方向性における2つの最近の結果に対して、解析的またはエルゴード理論的なアプローチ（Matomäki, Radziwiłł, Teräväinenらによるもの）に代わる選択肢として、組合せ論的な証明を提供すると主張している。

著者は以下の点を強調している：

1. 定理1の積公式の導出は、関数 $\Lambda^H_P$ が乗法的ではなく、関連するディリクレ級数が $\Re(s) > 1$ を超えて拡張できない可能性があるにもかかわらず、「比較的初等的」であること。
2. 極限の乗法的構造（オイラー積）は、基礎となる関数に乗法性が欠如している場合でも、大域的な密度は局所的な密度の積であるという原理と一致していること。
3. 本研究は、極限が非ゼロとなる「小さな」素数集合の場合のこれらの和の挙動を明確にしており、これ（大きな集合の場合）がChowlaの予想を暗示する（極限が消失する）ことと対比させている。

本論文は、リウヴィル関数（$P$ がすべての素数の集合である場合）に対するChowlaの予想を証明することを目的としたものではなく、そのような一般化は現在の手法では「手の届かない」ものであると述べている。代わりに、本研究は、リウヴィル関数の小さな摂動に対するこれらの相関の挙動を厳密に確立し、可能な値のスペクトルをマッピングすることに資するものである。