[논문 리뷰] Fusion tilings with infinite local complexity

Natalie Priebe Frank, Lorenzo Sadun|arXiv (Cornell University)|2012. 01. 18.

Quasicrystal Structures and PropertiesMaterials Science참고 문헌 9인용 수 17

한 줄 요약

이 논문은 타일 유형이 컴act한 공간을 이룰 수 있는 무한 국소 복잡도(Infinite Local Complexity, ILC)를 갖는 융합 타일링(fusion tilings)에 대한 형식적 프레임워크를 제안한다. 기하학적 및 조합적 ILC를 허용하는 타일 유형의 컴팩트한 공간을 정의하고, 불변 측도에 대한 스펙트럼 이론을 수립하며, 함수 방정식을 통해 고유값을 식별한다. 또한, 총괄 전이 연산자 전이의 수렴이 지수적이지 않음을 보이며, 복잡도는 $L^2/\epsilon^2$ 비율로 증가한다. 이는 1에 수렴하는 고유값의 축적 때문이지만, 이는 지수 수렴이 아니라는 점을 시사한다.

ABSTRACT

We propose a formalism for tilings with infinite local complexity (ILC), and especially fusion tilings with ILC. We allow an infinite variety of tile types but require that the space of possible tile types be compact. Examples include solenoids, pinwheel tilings, tilings with fault lines, and tilings with infinitely many tile sizes, shapes, or labels. Special attention is given to tilings where the infinite local complexity comes purely from geometry (shears) or comes purely from combinatorics (labels). We examine spectral properties of the invariant measures and define a new notion of complexity that applies to ILC tilings.

연구 동기 및 목표

• 타일 유형이 컴팩트한 메트릭 공간을 이룰 수 있는 무한 국소 복잡도(ILC)를 갖는 타일링 체계를 형식화한다.
• 특히 불변 측도와 전이 연산자의 고유값을 분석함으로써 ILC 융합 타일링에 스펙트럼 이론을 확장한다.
• 기하학적 복잡도와 조합적 복잡도의 근원을 구분할 수 있는 새로운 복잡도 측정법을 정의한다.
• 타일링 공간의 전이자구(transversal)의 구조를 조사하고, 타일 크기의 연속체가 존재하더라도 전이자가 완전히 분리된 집합임을 보인다.
• 자기유사성과 함수 방정식을 활용하여 전이 연산자의 고유함수와 고유값을 특성화한다.

제안 방법

• 타일을 $\mathbb{R}^d$ 내의 컴팩트 집합(지지역)과 컴팩트 메트릭 공간 $\mathcal{L}$ 내의 레이블 쌍으로 정의하며, 하우스도르프 거리와 레이블 거리에 따른 수렴을 보장한다.
• 제어점이 있는 원형 타일(prototiles)을 이용해 타일링을 구성하며, 극한에서 지지역과 레이블의 수렴을 확보한다.
• 확장되는 구 내에서 패치 일치를 기반으로 타일링에 대한 메트릭을 정의하고, 이로부터 컴팩트한 힐( hull ) $\Omega_T$ 를 유도한다.
• 타일 길이 함수에 작용하는 전이 연산자 $\mathcal{T}$ 를 도입하며, $x \in [1,3]$ 에서 $\tilde{f}(2x)/\tilde{f}(x) = \lambda$ 를 만족하는 고유값 방정식을 유도하고, 이로부터 함수 방정식을 도출한다.
• 자기유사성과 스케일링을 활용하여 조각별 거듭제곱 법칙을 통해 고유함수를 유도하며, 복소수 $\gamma$ 에 대해 $3^\gamma = 2^\gamma + 1$ 을 만족하는 해를 구한다.
• 지정된 정확도 $\epsilon$ 내에서 슈퍼타일과 위치 선택의 수를 세어, 복잡도 $C(\epsilon, L)$ 를 $L^2/\epsilon^2$ 으로 분석한다.

실험 결과

연구 질문

• RQ1 타일 유형이 컴팩트한 공간을 이룰 때, 융합 타일링에서 무한 국소 복잡도를 어떻게 형식화하고 특성화할 수 있는가?
• RQ2 ILC 융합 타일링에서 불변 측도의 스펙트럼 성질은 무엇이며, 특히 전이 연산자의 고유값과 고유함수는 어떻게 분석할 수 있는가?
• RQ3 ILC 타일링에서 오차 $\epsilon$ 과 스케일 $L$ 에 따라 패치를 근사할 때의 복잡도는 어떻게 증가하는가?
• RQ4 타일 크기의 연속체가 존재함에도 불구하고, 이러한 타일링 공간의 전이자가 완전히 분리된 집합인 이유는 무엇인가?
• RQ5 무리수 회전과 스케일링 역학은 고유값 스펙트럼을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 고유값 $\lambda = 1$ 은 유일한 불변 측도에 대응하며, 고유함수 $\tilde{f}(x)$ 는 $[1,3/2]$ 에서 $\tilde{f}(2x)/\tilde{f}(x) = 3\lambda/4$ 를 만족하고, $\int_1^3 x\tilde{f}_n(x)dx = 1$ 으로 정규화된다.
• 고유값 방정식 $\left|\frac{3\lambda}{4}\right|^{\ln(3/2)}\left|\frac{9\lambda}{4}\right|^{\ln(4/3)}\left|\frac{3(3\lambda-2)}{4}\right|^{\ln(3/2)} = 1$ 은 모든 고유값이 단위 원 안 또는 경계 위에 위치함을 시사하며, 경계상에 있는 유일한 고유값은 $\lambda = 1$ 뿐이다.
• 복소수 $\gamma$ 가 $3^\gamma = 2^\gamma + 1$ 을 만족할 경우, 함수 $\tilde{f}(x) = x^{-(\gamma+1)}$ on $[1,2)$ 와 $3^\gamma x^{-(\gamma+1)}$ on $[2,3]$ 는 고유값 $\lambda = (3/2)^{\gamma-1}$ 을 갖는 고유함수이다.
• 전이 연산자의 스펙트럼은 $\lambda = 1$ 에 수렴하며, 이는 불변 측도로의 수렴이 지수적이지 않음을 의미한다.
• 복잡도 $C(\epsilon, L)$ 는 $L^2/\epsilon^2$ 비율로 증가하며, 이는 $\epsilon$ 정밀도 내에서 가능한 슈퍼타일과 위치 선택의 수를 반영한다.
• 타일 길이가 연속체를 이룬다고 해도 전이자는 완전히 분리된 집합이며, 슈퍼타일 분해의 조합적 차이를 통해 타일링을 구분할 수 있는 닫힌-열린 집합(clopen sets)이 존재한다.