Bounded Exponential Sums with Multiplicative Coefficients

技術要約：乗法的係数を持つ有界指数和

問題設定
本論文は、指数和
$$S_f(x, \alpha) := \sum_{n \le x} f(n)e(n\alpha)$$
が $x \to \infty$ において有界（$\sup_x |S_f(x, \alpha)| < \infty$）となるための条件を調査している。ここで、$f: \mathbb{N} \to \mathbb{C}$ は乗法的関数、$\alpha \in \mathbb{R}$ は固定された値、 $e(t) = e^{2\pi i t}$ である。古典的な結果（例：Daboussi、Montgomery-Vaughan）は、$f$ が有界であるとき、無理数 $\alpha$ に対して $S_f(x, \alpha) = o(x)$ であることを確立しているが、本研究は「有界性」という極端なケースに焦点を当てている。著者らは、有界性が生じる乗法的関数 $f$ を、捻じれたディリクレ指標 $\chi(n)n^{it}$ のような構造化された対象との「プリテンシャス（pretentious）」な距離に関連付けて分類することを目的としている。

手法
本論文は、プリテンシャス数論、篩法（sieve methods）、および調和解析の組み合わせを用いている。その手法は、主に以下の3つの段階で進行する：

1. プリテンシャス関数への還元：
   著者らはまず、$S_f(x, \alpha)$ が有界であれば、$f$ は「プリテンシャス」であること、すなわち、Granville-Soundararajanのプリテンシャス・メトリックにおいて $\chi(n)n^{it}$ という形の関数に近いことを確立する。これは、Taoの対数平均的なElliott予想と、有界な部分和が非自明な自己相関を強制することを示すvan der Corput型の議論（Lemma 2.8）に基づいている。この自己相関は、$f$ が捻じれた指標に類似することを強制する。

2. 回転トリック（The Rotation Trick）：
   分類を精緻化するために、著者らはKlurman, Mangerel, Pohoata, Teräväinen (KMPT21) によって導入された「回転トリック」を適応させている。元々は完全乗法的関数のために設計されたものであるが、著者らはこれを、ゼロや高次の素数冪の値を取り得る一般的な乗法的関数へと拡張している。特定の算術級数を構成し、プリテンシャス関数の集中不等式（Lemma 3.1）を利用することで、もし $f$ が、逆数和が発散する素数の集合上で $\chi(n)n^{it}$ から大きく逸脱する場合、指数和は有界であり得ないことを示す。

3. 大篩法（Large Sieve）とディオファントス近似：
   $\alpha$ に依存する結果（特に定理1.2および1.3）については、第一著者の先行研究から導かれた指数和のラージ・シーブの下界（定理4.2）を利用する。これにより、$S_f(x, \alpha)$ の有界性を $\alpha$ の有理近似の分布に関連付けることができる。証明では、正の測度を持つ $\alpha$ の集合に対して和が有界となるケースを扱うために、Duffin–Schaeffer–Koukoulopoulos–Maynard定理を援用している。

主要な結果

• 定理 1.1 (一般的分類):
  $f$ を $f(n) \in \mathbb{U} \cup \{0\}$ （ここで $\mathbb{U}$ は単位円）を満たす乗法的関数とし、$\sum_{p:f(p)=0} 1/p < \infty$ であるとする。もし $S_f(x, \alpha)$ がある $\alpha \in \mathbb{R}$ に対して有界ならば、ディリクレ指標 $\chi$ と実数 $t$ が存在して、以下を満たす：
  $$\sum_p \max_k |f(p^k) - \chi(p^k)p^{ikt}| < \infty.$$
  これは、$f$ が素数冪上で $\chi(n)n^{it}$ に非常に近いことを意味する。

• 定理 1.2 (特殊なケース):
  特定のクラスの関数に対して、分類はより鋭くなる：

  • $f$ が完全乗法的であり、$\alpha$ が無理数の場合、有界性は $f(p) = \chi(p)p^{it}$ がすべての素数 $p$ で成り立つことを意味する。
  • $f$ が有限個の値を取る場合、有界性は、有限個の素数冪を除いて $f(p^k) = f(p^{k-1})\chi(p)$ が成り立つことを意味する。
  • $f$ が完全乗法的かつ有限個の値を取る場合、有界性は $f(p) = \chi(p)$ （すなわち $t=0$）であることを意味する。

• 定理 1.3 (正の測度の集合):
  和が正のルベーグ測度を持つ $\alpha$ の集合に対して有界である場合、条件は以下のように強まる：
  $$\sum_p \sum_k |f(p^k) - f(p^{k-1})\chi(p)p^{ikt}| < \infty.$$
  この結果は、素数上の $f$ と捻じれた指標との「距離」が、特定の $L^1$ 意味で消滅する必要があることを示すために、Duffin–Schaeffer定理に依拠している。

• 鋭さ (Section 5):
  著者らは、定理1.2が一般的な乗法的関数（完全乗法的関数のみではない）に対しては成立しないことを、 $f(p^k) = 1 + O(p^{-2k})$ となる反例を構成することで示す。また、「プリテンシャスさの度合い」 $\sigma(f)$ を定義し、定理1.1および1.3の条件が最適に近いことを示す。

意義と主張
本論文は、無理数 $\alpha$ の場合における、有界な指数和をもたらす乗法的関数の完全な分類を提供すると主張している。これは、一般的な乗法的関数（ゼロや高次の素数冪の値を持つもの）を扱うために、プリテンシャスな枠組みを拡張したものであり、これは技術的に困難な課題であった。

この研究は、エルデシュ不一致問題（特にTaoの解法およびFrantzikinakisの重み付き変種）と、乗法的関数の構造を結びつけている。それは、加法的指標と乗法的構造の相互作用に関する理論的理解を固め、指数和が有界性を維持できるのは、乗法的関数が本質的にディリクレ指標を $n$ のべき乗で捻じれたものとして模倣する場合のみであることを確定させている。著者らは、本研究が、$f$ が $\{0, 1\}$ の値を取る場合の、Cédric Pilatteによる予想（Conjecture 1.8）を特殊なケースにおいて解決したことを述べている。

本論文は新しい実験的応用を提案するものではないが、加法的指標と乗法的構造の間の境界を精緻化し、加法的キャンセルを示す「ランダムな」乗法的関数と、有界な和を維持できる「構造化された」関数との間の境界を明確にしている。