[論文レビュー] Truchet Tilings and Renormalization

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

Mathematical Dynamics and Fractals参考文献 13被引用数 3

ひとこと要約

この論文は、{±1} 上の両側マルコフ連鎖から導かれる積測度によって生成されるトゥルシェ・テイリングにおける閉曲線の出現頻度を調査する。力学系からのリノーマライゼーション技法を用いて、±1 が等確率で現れる対称的マルコフ連鎖の場合、任意の固定エッジを通る曲線がほとんど確実に閉じることを証明する。主な結果は、対称的かつ定常的測度の下で曲線がほとんど確実に閉じることを示しており、非対称測度の下では双無限曲線が一般的であることを示すドリフト定理とは対照的である。

ABSTRACT

The Truchet tiles are a pair of square tiles decorated by arcs. When the tiles are pieced together to form a Truchet tiling, these arcs join to form a family of simple curves in the plane. We consider a family of probability measures on the space of Truchet tilings. Renormalization methods are used to investigate the probability that a curve in a Truchet tiling is closed.

研究の動機と目的

• 固定エッジを通る曲線が閉じる確率を、構造的確率測度の下で調査すること。
• 力学系からのリノーマライゼーション技法を用いて、トゥルシェ・テイリングにおける曲線の挙動を分析すること。
• 特に、測度が定常的かつ対称的である場合に閉曲線が顕著に現れる条件を特定すること。
• 対称的測度と非対称的測度の下での結果を比較し、曲線挙動に顕著な対比が生じることを示すこと。
• 長方形交換写像やコーナー確率モデルとの関連を通じて、トゥルシェ・テイリングの理解を拡張すること。

提案手法

• 論文は、τω,ω′(m,n) = ωmω′n と定義される関数を用いて、トゥルシェ・テイリングをモデル化する。ここで ω と ω′ は {±1}Z 内の列である。
• 空間上の確率測度 μ と μ′ を、遷移確率 p と p′ を持つマルコフ連鎖の定常測度として定義する。
• 解析にはリノーマライゼーションが用いられる：タイリングは繰り返しスケーリングされ、曲線長および状態空間における再帰的構造を介して分析される。
• 重要な要素として、配置 α の中で a の最初の連続する繰り返しの長さ L(α) を追跡するリノーマライゼーション写像が用いられる。
• 証明は、β_k と γ_k における帰納的推定を用いて、関数 f_k(α) の期待値を配置空間 Ak 上でバウンドすることに依存する。
• β_k が 0 に収束することを帰納法により確立し、k→∞ のとき、長曲線を持つ配置の測度が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 固定エッジを通る曲線がほとんど確実に閉じるための、基礎となるマルコフ連鎖の条件は何か？
• RQ2 測度の非対称性（つまり p ≠ 1/2）は、閉曲線と双無限曲線の出現確率にどのように影響するか？
• RQ3 リノーマライゼーション技法を用いて、曲線長の分布に関するより強い結果を導出可能か？
• RQ4 シフト不変性と定常性は、トゥルシェ・テイリングにおける曲線挙動を決定づける役割を果たすか？
• RQ5 結果は、コーナー確率モデルや長方形交換写像といった既知のモデルとどのように比較できるか？

主な発見

• 対称的マルコフ連鎖（p = p′ = 1/2）の下では、任意の固定エッジを通る曲線がほとんど確実に閉じる。これは定理2で示されている。
• 非対称的測度（p ≠ 1/2 または p′ ≠ 1/2）の下では、ドリフト定理により双無限曲線の確率が max{|p|, |q|} 以上であることが保証されるため、閉曲線は全測度ではない。
• 有限近似サイズ k における曲線長 L = n である確率は、n > 0 の場合 P(L(α) = n) = 2(n+3)/[(k+3)(k+4)]、n = 0 の場合 12/[(k+3)(k+4)] で与えられる。
• 配置空間 Ak 上での関数 f_k(α) の期待値は k → ∞ のとき 0 に収束する。これは β_k → 0 の収束により、主結果が得られることを示唆する。
• 帰納的証明により、任意の m > 0 に対して、K_m が存在し、すべての k ≥ K_m に対して γ_k ≤ 2(8/9)^m が成り立つことが示された。
• リノーマライゼーション過程により、長曲線の寄与が指数的に減少することが明らかとなり、対称的測度の下での曲線のほとんど確実な閉じることを支持する。