[論文レビュー] IP-Dirichlet measures and IP-rigid dynamical systems: an approach via generalized Riesz products

Sophie Grivaux|arXiv (Cornell University)|Sep 13, 2012

Mathematical Dynamics and Fractals参考文献 11被引用数 8

ひとこと要約

この論文は、一般化されたリエス積を用いてIP-Dirichlet測度およびIP-剛性ダイナミカルシステムを研究し、エルドシュ＝テイラー列から構成された特定の列について、連続な確率測度がその列に関してIP-Dirichletであると同時に$G_\infty((n_k)) = \{1\}$を満たすことが示された。これにより、非自明な$G_\infty$-集合をもつような測度の存在に関する重要な問いに答えが得られた。

ABSTRACT

If $(n_{k})_{k\\ge 1}$ is a strictly increasing sequence of integers, a continuous probability measure $\\sigma $ on the unit circle $\\mathbb{T}$ is said to be IP-Dirichlet with respect to $(n_{k})_{k\\ge 1}$ if $\\hat{\\sigma}(\\sum_{k\\in F}n_{k})\ o 1 $ as $F$ runs over all non-empty finite subsets $F$ of $\\mathbb{N}$ and the minimum of $F$ tends to infinity. IP-Dirichlet measures and their connections with IP-rigid dynamical systems have been investigated recently by Aaronson, Hosseini and Lema\\'nczyk. We simplify and generalize some of their results, using an approach involving generalized Riesz products.

研究の動機と目的

• 一般化されたリエス積を用いて、IP-Dirichlet測度およびIP-剛性ダイナミカルシステムに関する結果を簡略化・一般化すること。
• 連続な確率測度が、$G_\infty((n_k)) = \{1\}$を満たす列に関してIP-Dirichletであるかどうかを調査すること。これは、かつて実現可能であることが示されていなかった条件である。
• 列$(n_k)$と連続測度$\sigma$の具体的な例を提示し、$\min(F) \to \infty$のとき$\hat{\sigma}(\sum_{k\in F}n_k) \to 1$となるが、$G_\infty((n_k)) = \{1\}$を満たすようにすること。

提案手法

• 論文は、単位円周$\mathbb{T}$上に所望のスペクトル性質を持つ連続な確率測度を構成するために、一般化されたリエス積を用いる。
• Erd\
• 論文は、インデックスを2進ブロック$\{2^q + 1, \dots, 2^{q+1}\}$にグループ化し、これらのブロックの空でない部分集合のすべての有限和を$\{n_k\}$として定義する。
• 分数部分$\{t\}$と不等式$|e^{2i\pi t} - 1| \asymp \{t\}$を用いて、$\lambda \in \mathbb{T}$に対する$|\lambda^{n_k} - 1|$の挙動を制御する。
• 証明は背理法に依拠している：$\lambda \neq 1$かつ十分大きな$k$に対して$|\lambda^{n_k} - 1| < \varepsilon$と仮定し、IP-Dirichlet性から生じる減衰条件に反する$|\lambda^{p_k} - 1|$の下界を導出する。
• もし$\lambda \neq 1$ならば、$\sum_{k=2^q+1}^{2^{q+1}} |\lambda^{p_k} - 1| < 2C^2\varepsilon$が十分大きな$q$に対して成り立つことを利用し、矛盾を導出する。これにより$G_\infty((n_k)) = \{1\}$が証明される。

実験結果

リサーチクエスチョン

• RQ1 連続な確率測度が、$G_\infty((n_k)) = \{1\}$を満たす列$(n_k)$に関してIP-Dirichletである可能性はあるか？
• RQ2 $\hat{\sigma}(\sum_{k\in F}n_k) \to 1$（$\min(F) \to \infty$のとき）かつ$G_\infty((n_k)) = \{1\}$を満たす列$(n_k)$を構成することは可能か？
• RQ3 連続なIP-Dirichlet測度の存在は、$G_\infty((n_k)) = \{1\}$を意味するのか、それともより大きな$G_\infty$-集合をもつような測度が存在しうるのか？
• RQ4 一般化されたリエス積法を用いて、抽象的恒等的定理に依存するのではなく、このような測度を明示的に構成することは可能か？

主な発見

• Erd\
• この列に関して、$\hat{\sigma}(n_k) \to 1$（$k \to \infty$のとき）であることが確認され、$\sigma$が$(n_k)$に関してDirichletであることも示された。
• $G_\infty((n_k)) = \{\lambda \in \mathbb{T} \mid \lambda^{n_k} - 1| \to 0\}$が$\{1\}$に等しいことが示された。これは、非自明な単位根が一様減衰条件を満たさないことを意味する。
• 構成法により、すべての十分大きな$q$に対して$\sum_{k=2^q+1}^{2^{q+1}} |\lambda^{p_k} - 1| < 2C^2\varepsilon$が成り立つことが保証され、これは背理法の根幹をなす。
• 背理法の矛盾は、$\lambda \neq 1$かつすべての十分大きな$k$に対して$|\lambda^{p_k} - 1| > (2C^2\varepsilon)/k$と仮定したときに生じ、これにより減衰境界が破られる。
• 結果として、$G_\infty((n_k)) = \{1\}$が確認され、非自明なスペクトル点を$G_\infty$に持たないにもかかわらずIP-剛性が可能であるような列の明示的例が得られた。