[論文レビュー] Quantitative weak mixing for random substitution tilings

Rodrigo Treviño|arXiv (Cornell University)|Jun 30, 2020

Stochastic processes and statistical mechanics被引用数 4

ひとこと要約

本稿は、高次元におけるランダム置換タイリングのスペクトル測度の局所次元に対する定量的下界を確立し、1次元系におけるBufetov-Solomyakの研究を拡張する。ねじれたエルゴード積分を分析し、Bratteli図とトレースコサイクルを用いたコhomological技法を用いることで、タイリング空間上の$\mathbb{R}^d$作用における一様弱混合性を証明し、スペクトル測度が点に集中できないことを示す。これにより、固有関数に対する定量的障害が得られる。

ABSTRACT

For $N$ compatible substitution rules on $M$ prototiles $t_1,\dots,t_M$, consider tilings and tiling spaces constructed by applying the different substitution rules at random. These give (globally) random substitution tilings. In this paper I obtain bounds for the growth on twisted ergodic integrals for the $\mathbb{R}^d$ action on the tiling space which give lower bounds on the lower local dimension of spectral measures. For functions with some extra regularity, uniform bounds on the lower local dimension are obtained. The results here extends results of Bufetov-Solomyak to tilings of higher dimensions.

研究の動機と目的

• 1次元から高次元へのランダム置換タイリングにおける定量的弱混合性結果の拡張。
• タイリング空間上の$\mathbb{R}^d$作用におけるスペクトル測度の局所次元に対する下界の確立。
• ねじれたエルゴード積分と帰還ベクトルダイナミクスの分析を通じた一様弱混合性の証明。
• スペクトル測度がディラックデルタでないことを示し、非自明なスペクトル濃縮を伴う固有関数を除外する。

提案手法

• スペクトル測度の集中度を定量化するために、ねじれたエルゴード積分$\mathcal{S}^{\mathcal{T}}_R(f,\lambda)$を用いる。
• Veechの基準およびそのコhomologicalな拡張を適用し、スペクトル性質と帰還ベクトルダイナミクスを関連付ける。
• Bratteli図と帰納的極限$C^*$-代数を用いて、タイリング空間およびそのトレース空間をモデル化する。
• トレースコサイクル$\Theta^{(k)}_x$と再正規化写像$\Phi_x$を分析し、スケール間でのスペクトル挙動を追跡する。
• ErdÖs-Kahaneの手法を用いて、コhomologyにおける格子点を避ける時間の密度を制御する。
• 微分形式と$d_\eta$-コhomologyを用い、$d_\eta f = 0$を通じて固有関数の障害を研究する。

実験結果

リサーチクエスチョン

• RQ1 1次元を越えて$\mathbb{R}^d$におけるランダム置換タイリングに対して、定量的弱混合性を確立できるか？
• RQ2 このような系におけるスペクトル測度の下位局所次元にどのような上限を設定できるか？
• RQ3 ねじれたエルゴード積分は、スペクトル測度の集中度と固有関数の障害とどのように関係するか？
• RQ4 帰還ベクトルダイナミクスとトレースコサイクルは、スペクトル性質をどの程度制御できるか？
• RQ5 追加の正則性を持つ関数に対して、局所次元の均一な下界を取得できるか？

主な発見

• 関数$f \in \bar{\Delta}^0_{\mathcal{T}}$に対して、スペクトル測度の下位局所次元は2以上である。$d_f^-(\lambda) \geq 2$を意味する。
• $f \in \bar{\Delta}^0_{\mathcal{T}}$に対して、$r < 1/2$のとき$\mu_f(B_r(\lambda)) \leq C' r^2$が成り立ち、$d_f^-(\lambda) \geq 2$が確認される。
• コhomological方程式$d_\lambda u = \omega$が解を持たないのは、$\eta = \sum \eta_k dx_k$が定数でない場合に限る。これにより、$H^0_\eta(\Omega;\mathbb{C})$は自明である。
• 系は一様に弱混合である。$L^2$固有関数は存在せず、スペクトル測度がディラックデルタでないからである。
• トレースコサイクル$\Theta^{(k)}_x$は、ねじれた積分の成長を制御し、スペクトル測度の減衰に対する定量的評価を可能にする。
• コhomologyにおける格子点から離れる時間の密度$\mathcal{D}_N^x$は1から離れており、スペクトル濃縮を防ぐ。