[論文レビュー] Renormalization of Polygon Exchange Maps arising from Corner Percolation

W. Patrick Hooper|arXiv (Cornell University)|May 30, 2011

Mathematical Dynamics and Fractals参考文献 12被引用数 5

ひとこと要約

本稿は、コーナー分岐モデルから生じる二パラメータ族の長方形交換写像 $Ψ_{\alpha,\beta}$ を導入し、ほとんどすべてのパラメータ $(\alpha,\beta) \in [0,\frac{1}{2}]^2$ に対して、ほとんどすべての点が周期的であることを確立している。この一般的な a.e. 周期性にもかかわらず、非周期的点の測度が任意に全測度に近づく稠密な無理数パラメータ集合が存在し、動的挙動がパラメータに極めて敏感であることが浮き彫りになる。主な貢献は、多角形交換写像に対して新たな正規化枠組みを構築し、周期軌道の測度を精密に分析可能にした点である。

ABSTRACT

We describe a 2 parameter family of polygon exchange transformations parameterized by points in a square. Whenever the two parameters are irrational, the polygon exchange has periodic orbits of arbitrarily large period. We show that for almost all parameters, the polygon exchange map has the property that almost every point is periodic. However, there is a dense set of irrational parameters for which this fails. By choosing parameters carefully, the measure of non-periodic points can be made arbitrarily close to full measure. These results are powered by a notion of renormalization which holds in a more general setting. Namely, we consider a renormalization of tilings arising from the Corner Percolation Model.

研究の動機と目的

• コーナー分岐モデルから導かれる新しい多角形交換写像の動的挙動を理解すること。
• この族における周期軌道の広がりを調査すること、特にパラメータ $(\alpha,\beta)$ に応じた周期的点の測度の変化を明らかにすること。
• 写像の構造を保ちながら詳細な動的解析を可能にする正規化手順の開発と適用。
• パラメータ空間において周期性がほとんど everywhere に成り立つか、あるいは特に無理数値において稠密な集合で失敗するかを特定すること。
• 周期的点の測度が厳密に1未満となるパラメータの集合を特徴づけること。

提案手法

• 著者らは、トーラス $Y \times N$ 上に長方形交換写像 $\Psi_{\alpha,\beta}$ を定義し、ここで $Y = \mathbb{R}^2 / \Lambda$ かつ $N = \{(\pm1,0),(0,\pm1)\}$ であり、パラメータ $\alpha, \beta \in [0,\frac{1}{2}]$ を用いる。
• 写像は、長方形 $A_s$ 上の点をベクトル $\mathbf{v} = (a,b)$ に従って $\alpha$ と $\beta$ だけ平行移動させ、$\Psi_{\alpha,\beta}((x,y),\mathbf{v}) = ((x + b s \alpha, y + a s \beta) \mod \Lambda, (b s, a s))$ として作用する。
• 二重被覆 $\widetilde{Y}$ 上に正規化手順を構築し、帰還写像を同じ族に属する写像とアフィン同型にすることで、再帰的解析が可能になる。
• 解析には、区間 $I = (0,\frac{1}{2})$ 上の不変測度 $m$ が用いられ、$m(A) = \int_A \left(\frac{1}{x} + \frac{1}{1-x}\right) dx$ で定義され、連分数におけるガウス測度に類似している。
• 「プラグ補題」を証明し、$f \times f$ による $N_\epsilon$ とその像の間の遷移領域 $P_\epsilon$ の測度が $\epsilon \to 0$ のとき 0 に収束することを示し、再帰性の証明に不可欠な役割を果たす。
• ホフ分解とプラグ補題を用いて、正の測度の散乱集合が存在しないことを示し、系の再帰性を確立した。

実験結果

リサーチクエスチョン

• RQ1 どのパラメータ $(\alpha,\beta)$ に対して、周期的点の集合がLebesgue測度で全測度となるか？
• RQ2 無理数パラメータに対して、非周期的点の測度を任意に全測度に近づけることは可能か？
• RQ3 正規化構造により、パrameter空間全体にわたる動的挙動の再帰的解析が可能か？
• RQ4 周期性が成立しないパラメータ集合のハウスドルフ次元は何か？
• RQ5 集合 $\{ (\alpha,\beta) : M(\alpha,\beta) \neq 1 \}$ は完全に特徴づけられるか？

主な発見

• Lebesgue測度でほとんどすべてのパラメータ $(\alpha,\beta) \in [0,\frac{1}{2}]^2$ に対して、周期的点の測度 $M(\alpha,\beta)$ は正確に 1 に等しい。
• 周期的点の測度が 1 に等しくない稠密な無理数パラメータ集合 $(\alpha,\beta)$ が存在し、a.e. 周期性が普遍的ではないことを示している。
• 任意の $\epsilon > 0$ に対して、$M(\alpha,\beta) < \epsilon$ となる無理数 $\alpha, \beta$ が存在するため、非周期的点の測度を任意に全測度に近づけることができる。
• 正規化構造により、動的挙動を再帰的に解析可能であり、不変測度 $m$ は再帰性および類似する性質の証明において中心的役割を果たす。
• プラグ補題により、小測度集合間の遷移領域の測度が 0 に収束することが保証され、再帰性の証明や散乱集合の制御に不可欠である。
• 写像は、$\alpha, \beta$ が無理数のとき、任意に大きな周期の周期軌道を有するため、区間交換写像の積には同相でない。