[論文レビュー] Sarnak's Conjecture -- what's new

S. Ferenczi, Joanna Kułaga-Przymus+1 more|arXiv (Cornell University)|Oct 11, 2017

Analytic Number Theory Research被引用数 7

ひとこと要約

本稿は、2010年から2017年までの7年間にわたり、SarnakのMöbius直交性に関する予想に関連するエルゴディック理論の進展について包括的な概説を提供する。チャウラ予想、Möbius直交性、および力学系の間の関係を確立し、チャウラ予想がFurstenbergの直交性理論を介してSarnakの予想を示すことを示し、特定の条件下で$$\mathscr{B}$$-free集合における多項式多重再帰性を証明する。

ABSTRACT

An overview of last seven years results concerning Sarnak's conjecture on Möbius disjointness is presented, focusing on ergodic theory aspects of the conjecture.

研究の動機と目的

• 2010年から2017年までのSarnakのMöbius直交性予想に関連するエルゴディック理論分野における最新状況を調査すること。
• エルゴディック理論的手法を通じて、チャウラ予想がSarnakの予想に与える影響を明確化すること。
• Möbius関数およびリウヴィル関数に由来するFurstenbergシステムの力学的性質を分析すること。
• MOMOおよびAOP性を、さまざまな力学系におけるMöbius直交性を確立するための道具として調査すること。
• $$\mathscr{B}$$-free集合および乗法的関数の等値集合への多項式再帰性の結果の拡張。

提案手法

• Möbius関数が擬似生成的であるような測度のエルゴディシティを分析するために、KBSZ基準およびFrantzikinakisの定理を用いる。
• 短区間におけるDavenport型推定および対数的チャウラ予想を用いて、乗法的関数の平均平方評価を導出する。
• Furstenbergの直交性理論を用いて、チャウラ予想とゼロエントロピー系におけるMöbius直交性との関係を確立する。
• 変分原理を適用して、Sarnakの予想をKolmogorov-Sinaiエントロピーがゼロである測度論的系の観点から再定式化する。
• 有理的集合および整除性の概念を用いて、$$\mathscr{B}$$-free集合における多項式再帰性を特徴付ける。
• Matom"akiとRadziwi{$}llの短区間における乗法的関数に関する結果を応用し、エルゴディック的および数論的解釈を強化する。

実験結果

リサーチクエスチョン

• RQ1 チャウラ予想は、エルゴディック理論的直交性を介してSarnakの予想を示すか？
• RQ2 Möbius関数およびリウヴィル関数に由来するFurstenbergシステムの力学的性質は何か？
• RQ3 どのような条件下で$$\mathscr{B}$$-free集合が多項式多重再帰の平均化集合となるか？
• RQ4 MOMOおよびAOP性は、力学系におけるMöbius直交性をどのように特徴付けるか？
• RQ5 どの乗法的関数の等値集合の自己シフトが多項式多重再帰の平均化集合を支持するか？

主な発見

• チャウラ予想は、Furstenbergの直交性理論のエルゴディック理論的枠組みを通じてSarnakの予想を示す。
• Frantzikinakisの定理は、Möbius関数が測度に対して擬似生成的であるならば、その系はゼロエントロピーであり、Möbius直交性を満たすことを確立する。
• 正の密度を有する有理的$$\mathscr{B}$$-free集合では、整除性が多項式多重再帰の平均化集合であることと同値である。
• $$\mathscr{B}$$がタイトである場合、$${\cal F}_{\mathscr{B}} - r$$が多項式多重再帰の平均化集合であるようなシフト$$r$$の集合は、$${\cal F}_{\mathscr{B}}$$においてフル密度を有する。
• 正の密度を有する乗法的関数の等値集合のすべての自己シフトは、多項式多重再帰の平均化集合である。
• 任意の正の密度を有する$$\mathscr{B}$$-free集合について、部分列$$(N_k)$$に沿って、$${\cal F}_{\mathscr{B}}$$のフル密度部分集合$$D$$が存在し、すべての$$r \in D$$に対して$${\cal F}_{\mathscr{B}} - r$$が多項式多重再帰の平均化集合である。