A converse to a theorem of Gauss on Gauss sums

技術的要約：ガウス和に関するガウスの定理の逆

問題提起
本論文は、ガウス和に関するガウスの古典的な結果の逆を扱うものである。ガウスは、もし $f$ が素数 $p$ を法とする非自明な二次指標（ルジャンドル記号）であれば、そのガウス和 $\tau(f)$ の大きさは正確に $\sqrt{p}$ になることを証明した。著者らはその逆、すなわち、関数 $f: \mathbb{F}_p^\times \to \mathbb{C}^\times$ がガウス和の大きさを $\sqrt{p}$ に持つ場合、必ず $f$ は指標となるのか？という問題を調査している。

この逆は、強い条件（例えば、$f$ が $\{\pm 1\}$ の値を取り、$f(1)=1$ である場合など）の下では成立することが知られているが、著者らはこれを一般化することを試みている。具体的には、$|\tau(f)| = \sqrt{p}$（あるいはより一般的に、フーリエ変換 $\hat{f}$ の大きさが単一の点で 1 であること）という条件が、緩やかな代数的制約（値が 1 の冪根をとる）を満たす場合に、 $f$ が非自明なディリクレ指標であることを強制するのに十分であるかどうかを問うている。

手法
著者らは、解析的数論、有限フーリエ解析、および代数的数論を組み合わせた手法を用いている。彼らのアプローチは、以下の論理的段階を経て進行する：

1. 自己相関への帰着： 主定理の証明は、Kurlberg による結果に強く依存している。これは、関数 $f$ が乗法的指標であるための必要十分条件は、その自己相関和が特定の恒等式を満たすことである、というものである。著者らは、もし $|\tau(f)| = \sqrt{p}$ であれば、関数の自己相関は Kurlberg の条件を満たさなければならないことを示す。
2. 代数的数論： $|\tau(f)| = \sqrt{p}$ という特定のケースから、より一般的な条件 $|\hat{f}(a)| = 1$（単一の $a$ における条件）へと結果を拡張するために、著者らはガロア理論を利用する。円分拡大 $K = \mathbb{Q}(\zeta_n)$ および $L = K(\zeta_p)$ を検討することで、フーリエ変換の大きさはガロア群 $\text{Gal}(L/K) \cong \mathbb{F}_p^\times$ の作用に対して不変であることを示す。これにより、単一の点において成立する条件を、すべての非ゼロの点に対して伝播させることが可能となる。
3. パーセバルの等式と分散： 集合や指示関数が関わる応用においては、著者らはパーセバルの等式を用いて、フーリエ変換の $L^2$ ノルムと関数の分散との関係を利用し、これを用いて極値集合を特徴付ける。

主要な貢献と結果

• 主定理 (Theorem 1.2): 中心的な結果は、緩やかな仮定の下でのガウスの定理の逆を確立することである。$f: \mathbb{F}_p^\times \to \mathbb{C}^\times$ を、その値が $n$ 次の 1 の冪根からなり、$f(1)=1$ かつ $p \nmid n$ である関数とする。著者らは、$f$ が非自明なディリクレ指標であるための必要十分条件は、$|\hat{f}(a)| = 1$ を満たす $a \in \mathbb{F}_p^\times$ が少なくとも一つ存在することであることを証明する。

  • 意義： 従来の成果では、条件 $|\hat{f}(a)| = 1$ が すべての $a$ に対して成立することを要求していたか、あるいは $f$ が $\{\pm 1\}$ に限定されていた。この結果は、フーリエ変換を単一の点でサンプリングすることさえ、乗法的構造を決定するのに十分であることを示している。
  • 仮定の必要性： 著者らは、条件 $p \nmid n$ が必要であることを示す反例（Proposition 3.1）を提示している。すなわち、$p \mid n$ の場合、非指標関数が大きさ $\sqrt{p}$ のガウス和を持つことがある。また、値が 1 の冪根であることは必要であるという点について Benoist [2] を引用している。

• 極値和の特性付け (Corollary 1.3 & Proposition 1.4): 著者らは、$\sum \chi(P(x)) e(Q(x)/p)$ の形の指標和におけるヴェイル（Weil）の不等式の等号成立条件を特徴付けるために、主定理を適用する。彼らは、等号が成立する場合、$P$ と $Q$ の両方が線形多項式でなければならないことを証明している。これは、この古典的な境界の極値的なケースに対する完全な特性付けを提供する。

• 加法的組合せ論への応用 (Proposition 1.5): 集合の指示関数のフーリエ変換の大きさと、その乗法的構造との関連性を結びつける。具体的には、密度 $1/2$ の集合 $A \subseteq \mathbb{F}_p^\times$ が、ある $a \neq 0$ に対して $|\frac{1}{\sqrt{p}} + 2\hat{A}(a)| = 1$ を満たすならば、$A$ は平方剰余の集合または平方非剰余の集合でなければならない。

• 不完全和の直交性 (Proposition 1.6 & Corollary 1.7): 著者らは、不完全ガウス和とその補集合が（実内積の意味で）直交しない条件を証明している。ただし、これは指標が非二次であり、かつ集合が平方剰余の集合である場合に限られる。これは、任意の非自明な指標に対して、部分和 $\sum_{n \le H} \chi(n)e(an/p)$ とその補集合は決して直交しないことを意味する。

• 有理性基準 (Corollary 1.8): 主定理から導かれる驚くべき帰結として、もしある $a$ に対して $|\hat{f}(a)|$ が有理数であれば、$f$ は必ず指標（すなわち $|\hat{f}(a)|=1$ を意味する）でなければならない。これにより、このような関数については、フーリエ変換の大きさはすべて無理数であるか、あるいはすべて 1 であるかという二分法が導かれる。

• 平均的な振る舞い (Proposition 1.10): 点ごとの厳密な大きさの条件がなくても、カーネル $K$ で重み付けされた $|\hat{f}|^2$ の「平均的な」振る舞いが指標の期待値と一致する場合、 $f$ は指標でなければならないことを示している。これは、単一の鋭い条件を、多数の「ぼやけた」条件へと置き換えるものである。

意義と主張
本論文の主要な貢献は、フーリエ側における極値的な振る舞いが、物理側における乗法的構造を課すことを実証している点にある。具体的には、関数が $p$ と互いに素な次数の 1 の冪根の値をとる場合、乗法的指標であるという性質は、フーリエ変換の単一の点における大きさによって厳密に決定されることを確立している。

著者らは、本研究を、フーリエ変換の全域的な条件を要求していた従来の（Borwein-Choi-Yazdani や Kurlberg による）結果よりも大幅に一般的な、ガウスの定理の逆として位置付けている。これらの結果は、ディリクレ指標の様々な特性付けを、代数的定義（乗法性）から解析的定義（フーリエの大きさ）へと統合し、ヴェイルの境界のような古典的な境界がいつ鋭い（sharp）かを判断するための新しい特性付けを提供している。本論文は、新しい実験的な応用を提案するのではなく、極値的なフーリエ特性を持つ関数の構造を理解するための理論的な道具を提供することを目的としている。