대체 타일링과 정수 격자 사이의 유사성 연구

논문은 먼저 분리망(Delone set)의 정의를 제시한다. 분리망 Y⊂ℝ^d는 일정한 상수 R, r>0에 대해 모든 반지름 R의 구가 Y와 교차하고, 반지름 r의 구는 Y 안에 최대 하나의 점만 포함한다. 두 분리망 사이의 동등 관계를 두 가지 도입한다: (1) 양리프시츠 사상 존재 여부, (2) 유계 변위 존재 여부. 후자는 전자를 포함하는 더 강한 관계이다. 서론에서는 모든 분리망이 ℤ^d와 양리프시츠인지 묻는 질문을 소개하고, 맥멀런(1998)과 버라고‑클라인러(1998)의 반례를 통해 일반적으로는 부정됨을 언급한다. 그러나 타일링으로부터 유도된 분리망은 구조적 제약이 있어 다른 결과를 기대한다. **1. 기본 정의와 대체 타일링** - 타일은 닫힌 d-차원 볼과 위상동이며, 타일링은 서로 내부가 겹치지 않는 타일들의 가산 집합이다. - 원시 타일(프로토타일)과 대체 규칙 H: T→ξ^{-1}T^*를 정의한다. 여기서 ξ>1은 팽창 상수이며, H는 각 프로토타일을 더 작은 스케일의 프로토타일들로 분해한다. - 대체 행렬 B_H (k×k)와 기본 타일 집합 {T₁,…,T_n}에 대한 축소된 대체 행렬 A_H (n×n)를 정의한다. A_H의 원시성은 H가 원시임을 의미한다. **2. 행렬 이론** - 퍼론‑프루베니우스 정리를 이용해 A_H의 최대 고유값 λ₁>1과 양의 고유벡터 v₁을 확보한다. 두 번째 고유값 λ₂는 |λ₂|<λ₁이며, 피소 대체에서는 |λ₂|<1이다. - λ₁은 ξ^d와 동일함을 보이며, 이는 부피와 타일 수의 평균 성장률을 나타낸다. - 일반화 고유공간 W는 비음수 벡터와 교차하지 않으며, 이는 오차 항이 λ₂^m 수준으로 감소함을 보장한다. **3. 타일 수와 부피의 정밀 추정** - Proposition 3.1에서는 임의의 ε>0(ε<λ₁−|λ₂|)에 대해 충분히 큰 m에 대해 패치 P⊂τ_m에 대해 t₁(m)(a₁−C₂δ^m) ≤ #P ≤ t₁(m)(a₁+C₂δ^m) a₂−C₂δ^m ≤ μ_d(V) ≤ a₂+C₂δ^m (V=supp(P)) 를 얻는다. 여기서 δ = (|λ₂|+ε)/λ₁ <1이며, t₁(m)은 τ_m에서 첫 번째 기본 타일의 개수이다. - 이 결과는 행렬 A_H의 반복 적용에 대한 정확한 비율 추정과, 경계 근처에서 발생하는 오차를 제어하는 “패치 채우기” 기법을 결합해 얻는다. **4. 양리프시츠 결과 (Theorem 1.2)** - Burago‑Kleiner의 정리(정사각형 B에 대해 α·μ₂(B)와 # (B∩Y) 비율이 일정 α에 대해 수렴하면 양리프시츠)와 위의 오차 추정을 결합한다. - 큰 정사각형 B의 변 길이를 ξ^{2m}에 맞추어 선택하면, B 내부의 타일 수와 면적 사이의 차이가 C·δ^m 수준으로 감소한다. 이는 Burago‑Kleiner 조건을 만족시켜 Y가 ℤ²와 양리프시츠임을 보인다. **5. 유계 변위 결과 (Theorem 1.4)** - 피소 대체(λ₂의 절댓값이 1보다 작음)에서는 δ = (|λ₂|+ε)/λ₁ < 1이 더욱 강하게 작용한다. - Laczkovich의 정리(점-부피 차이가 유계이면 유계 변위가 존재한다)를 적용해, Y와 적당한 배율 β·ℤ^d 사이에 Φ: Y→β·ℤ^d가 존재하고 sup‖Φ(y)−y‖<∞임을 증명한다. - β는 λ₁^{−1/d}·a₁^{1/d} 등 행렬 고유값과 기본 타일 면적으로 결정된다. **6. Penrose 타일링에 대한 적용** - Penrose 타일링은 2차원에서 원시 피소 대체의 대표적인 예이며, 기본 타일이 두 종류뿐이다. 따라서 위 정리들을 바로 적용해 Penrose 타일링에서 유도된 모든 분리망이 ℤ²와 유계 변위 관계에 있음을 얻는다. 이는 Burago‑Kleiner가 제기한 질문에 대한 긍정적 답변이 된다. **7. 결론 및 향후 연구** - 논문은 대체 타일링이 만든 분리망이 일반적인 반례와 달리 정수 격자와 매우 강한 동형 관계를 가진다는 새로운 클래스를 제시한다. - 향후 연구로는 비원시 대체, 비피소 대체, 그리고 고차원에서의 유사 결과를 탐구할 여지가 있다.