[论文解读] The net created from the Penrose tiling is biLipschitz to the integer lattice

Yaar Solomon|ArXiv.org|Nov 23, 2007

Quasicrystal Structures and Properties参考文献 3被引用 3

一句话总结

本文通过证明某种涉及密度偏差的乘积收敛，证明了由彭罗斯密铺导出的分离网络与整数格点 ℤ² 之间存在双利普希茨等价关系。作者利用风筝与飞镖的递归缩放（deflation）方法，建立风筝与飞镖比例指数收敛至黄金分割率 φ，从而可选取一个合适的缩放因子 ρ，使得乘积 ∏Eρ(2ⁱ) 收敛，进而推出双利普希茨等价关系。

ABSTRACT

A separated net is a set of points which is relatively dense and uniformly discrete (another name for a Delone set). We are dealing with tilings and separated nets in Euclidean spaces and with the question whether a given separated net is biLipschitz to the integer lattice. In this paper we show, as an answer to a question of Burago and Kleiner, that the net that is obtained form the Penrose tiling is biLipschitz to the integer lattice.

研究动机与目标

• 建立由彭罗斯密铺构造的分离网络与整数格点 ℤ² 之间的双利普希茨等价关系。
• 分析在重复缩放操作下，大正方形内风筝与飞镖的渐近分布。
• 证明密铺中风筝与飞镖数量之比以指数速度收敛至黄金分割率 φ。
• 证明对精心选取的 ρ，乘积 ∏ᵢ Eρ(2ⁱ) 收敛，从而依据 [BK02] 的结果，推出双利普希茨等价关系。
• 为将该方法推广至 ℝ² 中的一般代换密铺奠定基础。

提出的方法

• 通过在彭罗斯密铺的每个面片内放置一个点，定义一个分离网络 Y，确保点之间最小间距并完全覆盖。
• 对风筝与飞镖应用缩放操作，推导出递推关系：Kₙ₊₁ = 2Kₙ + Dₙ 和 Dₙ₊₁ = Kₙ + Dₙ。
• 定义 xₙ = Kₙ/Dₙ，并证明递推关系 xₙ₊₁ = (2xₙ + 1)/(xₙ + 1) 是一个利普希茨常数为 1/4 的压缩映射。
• 利用压缩映射定理，证明当 n ≥ 3 时，|Kₙ/Dₙ - φ| ≤ 1/2ⁿ⁻¹。
• 通过限制部分相交面片所覆盖的面积，估计大正方形 𝒰（边长为 2ⁱ）中的边界效应。
• 选取 ρ = φ² / [(1 + φ²)ψ]，使得密度比 ρ|𝒰| / |𝒰 ∩ Y| 接近 1，并证明当 i ≥ 50 时，Eρ(2ⁱ) - 1 ≤ 10φ⁻ⁱᐟ³。

实验结果

研究问题

• RQ1 由彭罗斯密铺生成的分离网络是否与整数格点 ℤ² 双利普希茨等价？
• RQ2 在重复缩放下，风筝与飞镖数量之比收敛至黄金分割率 φ 的速度如何？
• RQ3 在大正方形中，网络的密度偏差是否可被充分控制，以确保乘积 ∏Eρ(2ⁱ) 收敛？
• RQ4 本文用于彭罗斯密铺的方法是否可推广至 ℝ² 中的一般代换密铺？
• RQ5 应如何选择缩放因子 ρ，以确保乘积 ∏Eρ(2ⁱ) 收敛？

主要发现

• 在缩放后的密铺中，风筝与飞镖数量之比收敛至黄金分割率 φ，且当 n ≥ 3 时，误差被限制在 1/2ⁿ⁻¹ 以内。
• 对于边长为 2ⁱ 且 i ≥ 50 的大正方形，由风筝与飞镖产生的网络点之比 K/D 满足 |K/D - φ| ≤ φ⁻ⁱᐟ³。
• 选取缩放因子 ρ = φ² / [(1 + φ²)ψ] 可确保当 i ≥ 50 时，Eρ(2ⁱ) - 1 ≤ 10φ⁻ⁱᐟ³。
• 乘积 ∏ᵢ₌₁^∞ Eρ(2ⁱ) 收敛，根据 [BK02] 的结果，这意味着分离网络 Y 与 ℤ² 双利普希茨等价。
• Eρ(2ⁱ) 的收敛速度为指数级，由 φ⁻ⁱᐟ³ 的衰减驱动，确保其对数和为有限值。