[論文レビュー] A map of Ramanujan expansions

Giovanni Coppola|arXiv (Cornell University)|Dec 8, 2017

Analytic Number Theory Research参考文献 10被引用数 5

ひとこと要約

この論文は、数論におけるラマヌジャン展開の包括的でナビゲーション可能な概要—「地図」—を提示する。収束性、一意性、およびラマヌジャン係数の平均値条件に焦点を当てている。新たな基準（定理8）を確立し、カーマイクル平均とウィンター平均の存在が、ゆっくりした減衰条件（SD）の下で一致することを示し、1987年のデランジュのより強い結果と比較して、一意性と「リーフ予想」に関する未解決問題を浮き彫りにしている。

ABSTRACT

A map is a panorama in small scale. In this half-survey, half-research paper we give general results on Ramanujan expansions. We don't include the ocean of results from the literature on the two classes (see Schwarz-Spilker Book, also Lucht's survey for these) of additive and multiplicative functions while we include, say, the two new (not simply connected) lands of finite Ramanujan expansions (see my paper, with Murty & Saha) and of shift-Ramanujan expansions (see my subsequent paper, with Murty) .

研究の動機と目的

• 完全なサーベイや完全な証明を避けて、ラマヌジャン展開の簡潔でナビゲーション可能な概要を提供すること。
• ラマヌジャン係数の一意性の非成立を明確にし、一意性が成立する条件を特定すること。
• 算術関数におけるカーマイクル平均とウィンター平均の存在の関係を調査すること。
• ゆっくりした減衰（SD）条件の意味および、異なる平均値理論を結びつける役割を検討すること。
• ラマヌジャン係数が消える条件を検討することで、未解決の「リーフ予想」に取り組むこと。

提案手法

• 標準的なラマヌジャン和の定義を用いる：$ c_q(n) = \sum_{\substack{j \leq q \\ (j,q)=1}} \cos(2\pi jn/q) $、$ \mathbb{Z} $ に拡張する。
• モービウスの反転を適用して、$ c_q(n) = \sum_{d|q, d|n} d\mu(q/d) $ という恒等式を導出し、解析の根幹をなす。
• ゆっくりした減衰（SD）条件を導入：$ \sum_{d \leq x} |F'(d)| = o(x) $ として $ x \to \infty $ のとき、係数の成長を制御する。
• SD条​​件の下で、$ \exists \text{Car}_q(F) \Leftrightarrow \exists \text{Win}_q(F) $ が成り立ち、両者が等しいという新たな同値性を確立（定理8）。
• SD条件をウィンターの条件（WA）と比較し、SDはより弱いが、単独では係数の存在を保証しないことを示す。
• 部分和と初等的推定を用いて、$ \sum_{q=1}^\infty \frac{1}{q}|c_q(n)| = \infty $ を証明し、零関数のラマヌジャン級数が絶対収束しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた算術関数に対して、カーマイクル平均の存在がウィンター平均の存在を示唆するのはどのような条件下か？
• RQ2 ゆっくりした減衰（SD）条件を用いて、カーマイクル平均とウィンター平均の同値性を確立できるか？また、これはラマヌジャン係数の一意性を示唆するか？
• RQ3 SD条件はウィンターの条件とどのように関係するのか？なぜSD条件だけでは係数の存在を保証できないのか？
• RQ4 ラマヌジャン展開の一意性の欠如が果たす役割は何か？また、有界性やゆっくりした減衰といった特定の仮定の下でこれを解消できるか？
• RQ5 ゼロとなるウィンター平均から「リーフ予想」への道筋はあるか？また、一意性に関する予想1がこのギャップを埋める手がかりになるか？

主な発見

• ゆっくりした減衰（SD）条件は、カーマイクル平均 $ \text{Car}_q(F) $ の存在がウィンター平均 $ \text{Win}_q(F) $ の存在と同値であり、両者が存在する場合には等しいことを示す（定理8）。
• SD条件は、Wintnerの条件（WA）よりも厳密に弱く、反例 $ F'(d) = 1/\log(d+1) $ を用いて、SDを満たすがWAを満たさないことを示している。
• すべての $ n \in \mathbb{N} $ に対して、級数 $ \sum_{q=1}^\infty \frac{1}{q}|c_q(n)| $ は発散する。これは、零関数のラマヌジャン展開が絶対収束しないことを証明する。
• 論文は定理8の欠陥を特定している：係数の存在を仮定しているが、それを証明していない。一方、デランジュの1987年の結果は、ゼータ関数の零点領域に関する深い結果を用いて、存在を示している。
• デランジュの定理 [De87] は、SDに基づく結果よりも強く、有界な平均成長と、除数における平均の存在を仮定することで、存在を証明していることが示された。
• 予想1—ラマヌジャン係数の一意性に関する—を証明できれば、未解決の「リーフ予想」を解決する鍵になる可能性があると提言されている。