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

초록

본 논문은 원시 대체 타일링이 만든 분리망이 정수 격자와 양리프시츠이며, 원시 피소 대체에 대해서는 해당 분리망과 정수 격자 사이에 유계 변위가 존재함을 증명한다. 펜로즈 타일링도 이 결과의 직접적인 적용 사례가 된다.

상세 분석

논문은 먼저 분리망(Delone set)의 정의와 두 가지 동등 관계—양리프시츠 사상 존재 여부와 유계 변위 존재 여부—를 명확히 한다. 기존에 모든 분리망이 ℤ^d와 양리프시츠라는 질문은 그로모프가 제기했으나, 맥멀런과 버라고‑클라인러의 반례로 부정되었다. 저자는 이러한 일반적인 부정 결과와는 달리, 타일링으로부터 유도된 특수한 분리망에 대해 긍정적인 결과를 얻는다.

핵심은 두 가지 정리이다. 첫 번째 정리(1.2)는 2차원에서 원시 대체 타일링이 만든 모든 분리망이 ℤ^2와 양리프시츠임을 보인다. 여기서는 Burago‑Kleiner의 정리(정사각형 내 점 개수와 면적의 비율이 일정한 α에 대해 수렴하면 양리프시츠)와 Laczkovich의 측정 이론을 활용한다. 저자는 대체 행렬 A_H의 퍼론‑프루베니우스 고유값 λ₁과 두 번째 고유값 λ₂를 이용해, 큰 패치의 타일 수와 그 면적 사이의 오차가 지수적으로 감소함을 보인다(δ_m = (|λ₂|+ε)/λ₁)^m 형태). 이 오차 추정이 Burago‑Kleiner 조건을 만족시켜 양리프시츠를 얻는다.

두 번째 정리(1.4)는 차원 d에서 원시 피소 대체(λ₂의 절댓값이 1보다 작음)를 가정한다. 이 경우, 모든 대체 타일링이 만든 분리망 Y와 적당한 배율 β·ℤ^d 사이에 유계 변위 Φ가 존재한다. 즉, sup_{y∈Y}‖Φ(y)−y‖<∞. 여기서는 Laczkovich의 “점-면적” 정리를 이용해 타일 수와 부피의 차이가 유계임을 보이고, 피소 조건이 λ₂의 수렴을 보장해 오차가 급격히 감소한다는 점을 핵심으로 삼는다. 결과적으로 Penrose 타일링(피소 대체의 대표적 예)에서도 같은 결론이 따라온다.

증명 과정에서 저자는 대체 행렬의 원시성, 퍼론‑프루베니우스 고유벡터의 양성, 그리고 일반화 고유공간이 비음수 벡터와 교차하지 않음을 이용해 타일 수의 선형 성장률을 정확히 추정한다. 또한, 타일링을 점점 작은 패치로 분할해 경계 근처의 오차를 제어하는 “패치 채우기” 기법을 도입한다. 이러한 기술적 토대 위에 Laczkovich와 Burago‑Kleiner의 기존 결과를 연결함으로써, 대체 타일링에서 파생된 분리망이 정수 격자와 매우 강한 동형 관계를 가진다는 새로운 클래스를 제시한다.