[論文レビュー] On the support of the Kloosterman paths

Emmanuel Kowalski, Will Sawin|arXiv (Cornell University)|Sep 15, 2017

Analytic Number Theory Research参考文献 12被引用数 4

ひとこと要約

本稿は、クローストマンパスに関連する極限確率的フーリエ級数の台を特徴づけ、連続関数が台に属するための必要十分条件を示している。具体的には、その関数と線形関数の偏差のフーリエ係数が特定の減衰性および虚軸上にある条件を満たす場合にのみ、その関数が台に属することを証明している。この結果により、素数を法とするクローストマン和の部分和に対する精密な統計的制御が可能となり、台に属する任意の関数は、法 p におけるパラメータ対 (a,b) の正の密度で実現されることを示している。

ABSTRACT

We obtain statistical results on the possible distribution of all partial sums of a Kloosterman sum modulo a prime, by computing explicitly the support of the limiting random Fourier series of our earlier functional limit theorem for Kloosterman paths.

研究の動機と目的

• 素数 p が無限大に近づく際のクローストマンパスの極限確率的フーリエ級数の正確な台を特定すること。
• 台に属する任意の関数が、法 p におけるクローストマン和パスの正の割合で実現されることを示す算術的密度に関する結果を確立すること。
• 特に対称的ホメオモルフィズムの下での、台の隠れた対称性および再パラメータ化性質を調査すること。
• 台に空間を満たす曲線（space-filling curves）が存在するか、および結果が複素数値関数へと拡張可能かどうかを検討すること。
• 台の構造を、ボール＝パールの定理やフーリエ係数の減衰といった、古典的フーリエ解析の問題と結びつけること。

提案手法

• 先行研究の関数極限定理を用い、クローストマンパスがサトウ＝タイト分布をもつ係数を持つ確率的フーリエ級数に法則収束することを確立する。
• 連続関数を係数を制御可能なファーバー＝シューア展開で一様近似する確率論的補題を適用する。
• フーリエ解析を用いて、偏差関数 g(t) = f(t) − t f(1) のフーリエ係数に関する条件によって台を特徴づける。
• 制約条件として、f(0) = 0、f(1) ∈ [−2,2]、およびすべての h ≠ 0 に対してフーリエ係数 ĝ(h) が虚軸上にあり、|ĝ(h)| ≤ 1/(π|h|) を満たすことを課す。
• φ(1−t) = 1−φ(t) を満たすホメオモルフィズム φ を用いた対称的再パラメータ化により、f(t) + f(1−t) = f(1) を満たす関数への結果を拡張する。
• ボール＝パール型の定理およびフーリエ係数の減衰に関する結果を活用し、このような再パラメータ化が台条件を保つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 正規化されたクローストマン和の部分和の極限として現れる連続関数の正確な集合は何か？
• RQ2 f(t) + f(1−t) = f(1) を満たし、|f(1)| ≤ 2 であるような任意の連続関数 f は、φ(1−t) = 1−φ(t) を満たす対称的ホメオモルフィズムによる再パラメータ化で、極限確率的級数の台に属するか？
• RQ3 台に C([0,1]) 内の空間を満たす曲線（space-filling curves）が含まれるか？
• RQ4 再パラメータ化に関する結果は、f(t) + f̄(1−t) = f(1) を満たす複素数値関数へと拡張可能か？
• RQ5 クローストマン和に類似する指標和の部分和の台の構造はどのようなものか？

主な発見

• 極限確率的フーリエ級数 K(t) の台 S は、f(0) = 0、f(1) ∈ [−2,2] を満たし、g(t) = f(t) − t f(1) のフーリエ係数 ĝ(h) がすべての h ≠ 0 に対して虚数軸上にあり、|ĝ(h)| ≤ 1/(π|h|) を満たす連続関数 f ∈ C([0,1]) である。
• 任意の f ∈ S と ε > 0 に対して、すべての j において ε-近傍内に収まるような (a,b) ∈ F×p × F×p の割合は、p → ∞ のとき正の定数で下から抑えられる。
• f ∉ S ならば、ある δ > 0 が存在し、f から δ-近傍内に留まるパスをもつ (a,b) の割合は、p → ∞ のとき 0 に収束する。
• 適切なホメオモルフィズム φ により、φ(1−t) = 1−φ(t) を満たす再パラメータ化を施すことで、f(t) + f(1−t) = f(1) かつ |f(1)| ≤ 2 を満たすすべての関数 f が台に含まれる。
• この結果により、ゼロ関数が台に属することが示され、任意の ε > 0 に対して、正の密度のクローストマンパスがすべての部分和において原点から ε 以内に留まることを意味する。
• 台は対称的再パラメータ化に関して不変であり、中点におけるファーバー＝シューア係数が保存されることから、このような変換の範囲は制限される。