[论文解读] 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(α)。
• 证明依赖于在配置空间 Ak 上对函数 f_k(α) 的期望值进行有界估计，使用对 β_k 和 γ_k 的归纳估计。
• 通过归纳法证明了 β_k 趋近于零，表明随着 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 的概率为 P(L(α) = n) = 2(n+3)/[(k+3)(k+4)]（当 n > 0 时），P(L(α) = 0) = 12/[(k+3)(k+4)]。
• 在配置空间 Ak 上，函数 f_k(α) 的期望值随着 k → ∞ 而趋于零，这通过 β_k 趋近于零而支持了主要结果。
• 归纳证明表明，对任意 m > 0，存在 K_m，使得对所有 k ≥ K_m，有 γ_k ≤ 2(8/9)^m，从而得出 β_k → 0。
• 重整化过程表明，长曲线的贡献呈指数衰减，支持了在对称测度下曲线几乎必然闭合的结论。