[論文レビュー] Oscillating sequences of higher orders and topological systems of quasi-discrete spectrum

Ai Hua Fan|arXiv (Cornell University)|Feb 14, 2018

Analytic Number Theory Research参考文献 7被引用数 8

ひとこと要約

本稿では、すべての順序の完全に振動する列が、準離散スペクトルを有する位相的力学系と直交することを確立し、そのような列による重み付き多重エルゴード平均が至る所でゼロに収束することを証明している。この結果は、Sarnakの予想を、多項式時刻および重み付き多重エルゴード平均への直交性へと拡張することで強化している。

ABSTRACT

Fully oscillating sequences are orthogonal to all topological dynamical systems of quasi-discrete spectrum in the sense of Hahn-Parry. This orthogonality concerns with not only simple but also multiple ergodic means. It is stronger than that required by Sarnak's conjecture.

研究の動機と目的

• 単純なエルゴード平均を超えて、振動列の直交性を、準離散スペクトルを有する位相的力学系へと拡張すること。
• 多項式時刻に沿った重み付き多重エルゴード平均が、完全に振動する列を用いて至る所で消えることを確立すること。
• 高次振動と力学系のスペクトル構造との関係を明確にすること。
• 準離散スペクトルを有する位相的モデルの文脈において、Möbius直交性およびSarnakの予想に関する結果を一般化すること。

提案手法

• 次数 $ d $ の振動列の概念を導入し、実多項式の次数が $ \leq d $ である場合に、その重み付き指数和が消えることによって定義する。
• 準固有関数および準固有値の帰納的階層を用いて、準離散スペクトルを定義し、力学系における固有関数を一般化する。
• Stone-Weierstrassの定理を適用し、生成する代数が $ C(X) $ で稠密である場合に、準固有関数が点を分離することを示す。
• 重み付き平均における振動列の成長を制御するために、$ \sum_{n=1}^N |c_n| = O(N) $ の条件を用いる。
• 次数が $ \Delta $ 以下である多項式列 $ q_j(n) $ に対して直交性条件を適用し、列 $ (c_n) $ が次数 $ d_T \Delta $ の振動列である必要があることを要求する。
• 連結なコンパクトアーベル群上の最小なアフィン変換の構造を用いて、具体的な応用を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての順序の完全に振動する列は、Hahn-Parryの意味で、準離散スペクトルを有する位相的力学系と直交するか？
• RQ2 直交性は、多項式時刻に沿った多重エルゴード平均および振動列による重み付き平均へと拡張可能か？
• RQ3 順序 $ d_T $ の準離散スペクトルを有する系と直交するための、最小の振動次数は何か？
• RQ4 系のスペクトル構造（準離散スペクトル）は、重み付きエルゴード平均の減衰とどのように関係するか？
• RQ5 結果は、$ p $-進整数や記号的空間などの非連結空間上の力学系へ応用可能か？

主な発見

• 列 $ (c_n) $ が完全に振動的（すなわち $ \mathrm{OSC}_\infty $ に属する）であるための必要十分条件は、任意の $ d \geq 1 $ に対して、すべての実多項式 $ P $ について $ \lim_{N\to\infty} \frac{1}{N} \sum_{n=0}^{N-1} c_n e^{2\pi i P(n)} = 0 $ が成り立つことである。
• 任意の順序 $ d_T $ の準離散スペクトルを有する位相的力学系 $ (X,T) $ および最大次数 $ \Delta $ の $ \ell $ 個の多項式 $ q_j \in \mathbb{Q}[z] $ に対して、すべての連続関数 $ F \in C(X^\ell) $ およびすべての $ x \in X $ に対して、多重エルゴード平均 $ \frac{1}{N} \sum_{n=0}^{N-1} c_n F(T^{q_1(n)}x, \dots, T^{q_\ell(n)}x) \to 0 $ が成り立ち、条件として $ (c_n) \in \mathrm{OSC}_{d_T \Delta} $ かつ $ \sum_{n=1}^N |c_n| = O(N) $ が満たされる。
• この結果は、有限順序 $ d_T $ の準離散スペクトルを有する、連結なコンパクトアーベル群上の最小なアフィン変換に対しても適用可能であり、同じ条件下で直交性が成り立つ。
• 直交性はSarnakの予想が要請するものよりも強く、単一の平均にとどまらず、多重および重み付きエルゴード平均に対しても成り立つ。
• この枠組みは、非連結空間（例：$ \mathbb{Z}_p $）上の系を含み、多項式力学系が最小であっても完全最小ではない場合や、固有値が有限位数をとる場合にも適用可能である。
• 本結果はMöbius直交性に関する先行研究と重複するが、より広いクラスの列および系に適用可能であるため、それらを含意するとは限らない。