[논문 리뷰] The net created from the Penrose tiling is biLipschitz to the integer lattice

Yaar Solomon|ArXiv.org|2007. 11. 23.

Quasicrystal Structures and Properties참고 문헌 3인용 수 3

한 줄 요약

이 논문은 펜로즈 타일링에서 유도된 분리된 네트가 밀도 이탈을 포함하는 특정 곱의 수렴성을 보여줌으로써 정수 격자 ℤ²와 biLipschitz 동치임을 증명한다. 쐐기와 도르래의 재귀적 축소를 통해, 쐐기 대 도르래 비율이 황금률 φ로 지수적으로 수렴함을 입증함으로써, 곱 ∏Eρ(2ⁱ)가 수렴하도록 하는 스케일링 인자 ρ를 선택할 수 있으며, 이는 biLipschitz 동치성을 암시한다.

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.

연구 동기 및 목표

• 펜로즈 타일링에서 유도된 분리된 네트가 정수 격자 ℤ²와 biLipschitz 동치임을 확립하는 것.
• 반복적인 축소 하에서 큰 정사각형 내에서 쐐기와 도르래의 점차적 분포를 분석하는 것.
• 타일링 내 쐐기 수와 도르래 수의 비율이 황금률 φ로 지수 속도로 수렴함을 보이는 것.
• 특히 잘 선택된 ρ에 대해 곱 ∏ᵢ Eρ(2ⁱ)가 수렴함을 증명함으로써, [BK02]의 결과를 통해 biLipschitz 동치성을 암시하는 것.
• ℝ² 내 일반적인 치환 타일링으로 이 방법을 확장하기 위한 기초를 마련하는 것.

제안 방법

• 펜로즈 타일링의 각 타일에 하나의 점을 배치하여 최소 간격과 커버리지가 보장되는 분리된 네트 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 펜로즈 타일링에서 유도된 분리된 네트는 정수 격자 ℤ²와 biLipschitz 동치인가?
• RQ2 반복적인 축소 하에서 쐐기 수와 도르래 수의 비율이 황금률 φ로 수렴하는 속도는 어떠한가?
• RQ3 큰 정사각형에서 네트의 밀도 이탈이 충분히 제어되어 곱 ∏Eρ(2ⁱ)의 수렴성을 보장할 수 있는가?
• RQ4 펜로즈 타일링에 사용된 방법은 ℝ² 내 일반적인 치환 타일링으로 확장 가능한가?
• RQ5 어떤 스케일링 인자 ρ를 선택하면 곱 ∏Eρ(2ⁱ)가 수렴하는가?

주요 결과

• 축소된 타일링에서 쐐기 수와 도르래 수의 비율은 n ≥ 3일 때 오차가 1/2ⁿ⁻¹ 이내로 황금률 φ로 수렴한다.
• i ≥ 50일 때 변 길이가 2ⁱ인 큰 정사각형에서 쐐기와 도르래의 네트 점 수 비율 K/D 는 |K/D - φ| ≤ φ⁻ⁱᐟ³ 를 만족한다.
• 스케일링 인자 ρ = φ² / [(1 + φ²)ψ] 는 i ≥ 50일 때 Eρ(2ⁱ) - 1 ≤ 10φ⁻ⁱᐟ³ 임을 보장한다.
• 곱 ∏ᵢ₌₁^∞ Eρ(2ⁱ) 는 수렴하며, 이는 [BK02]에 의해 분리된 네트 Y 가 ℤ² 와 biLipschitz 동치임을 암시한다.
• Eρ(2ⁱ) 의 수렴 속도는 φ⁻ⁱᐟ³ 감쇠에 의해 지수적으로 빠르며, 이는 로그 합이 유한함을 보장한다.