[논문 리뷰] Decidability and Periodicity of Low Complexity Tilings

Siddhartha Bhattacharya, Moutot, Etienne|arXiv (Cornell University)|2016. 02. 18.

Cellular Automata and Applications참고 문헌 8인용 수 5

한 줄 요약

이 논문은 ℤ²의 유한 부분집합이 이동을 통해 정수 격자를 테일링할 수 있다면 반드시 주기적 테일링을 가질 수 있음을 증명하며, ℤ²에 대한 주기적 테일링 추측을 해결한다. 불변 측도와 유니포텐트 토럴 작용을 중심으로 하는 에르고딕 이론적 접근을 통해, 이러한 모든 테일링이 본질적으로 주기적임을 입증하며, 이는 ℤ²의 유한 집합에 대한 테일링 문제의 결정 가능성을 암시한다.

ABSTRACT

In this paper we study low-complexity colorings (or tilings) of the two-dimensional grid ℤ². A coloring is said to be of low complexity with respect to a rectangle if there exists m,n∈ℕ such that there are no more than mn different rectangular m× n patterns in it. Open since it was stated in 1997, Nivat’s conjecture states that such a coloring is necessarily periodic. Suppose we are given at most nm rectangular patterns of size n× m. If Nivat’s conjecture is true, one can only build periodic colorings out of these patterns - meaning that if the m× n rectangular patterns of the coloring are among these mn patterns, it must be periodic. The main contribution of this paper proves that there exists at least one periodic coloring build from these patterns. We use this result to investigate the tiling problem, also known as the domino problem, which is well known to be undecidable in its full generality. However, we show that it is decidable in the low-complexity setting. Finally, we use our result to show that Nivat’s conjecture holds for uniformly recurrent configurations. The results also extend to other convex shapes in place of the rectangle.

연구 동기 및 목표

• ℤ²에 대한 주기적 테일링 추측을 해결하는 것. 이 추측은 ℤ²를 테일링할 수 있는 유한 집합이 반드시 주기적 테일링도 가질 것임을 제기한다.
• 유한 부분집합에 대한 ℤ²에서의 테일링 문제의 결정 가능성을 확립하는 것. 즉, 주어진 유한 집합이 이동을 통해 평면을 테일링하는지 여부를 판단할 수 있는지 여부이다.
• 조합적 테일링 이론과 에르고딕 이론을 연결하기 위해, 에르고딕 Z²작용의 분할에 대한 구조적 결과를 증명하는 것.
• ℤ²에서 테일링 집합으로부터 유도되는 가측 분할은 비자명한 군 작용에 관하여 불변인 성분을 포함해야 하며, 이는 주기적 구조를 암시한다.
• 측도론적 및 동역계 시스템 기법을 사용하여, 테일링의 존재가 주기적 테일링의 존재를 암시함을 보이는 것.

제안 방법

• 테일링과 가측 분할 간의 대응을 이용하여, ℤ²에서의 테일링 문제를 확률 공간 위의 에르고딕 Z²작용 문제로 환원하는 것.
• 에르고딕 Z²공간의 분할에 관한 핵심 결과(정리 1.3)를 적용: 집합 A가 이동체 {gA}로 분할될 수 있다면, A는 ℤ²의 비자명한 원소에 관하여 불변인 집합들로 분해될 수 있다.
• 분할 정리의 약한 L²형식(정리 3.3)을 사용하여 군 작용에 관하여 불변인 요소를 생성하는 함수를 구성하는 것.
• 유니포텐트 토럴 작용 하에서의 불변 측도의 구조를 분석하며, Ratner의 정리와 Weyl의 등분포 결과를 활용하는 것.
• 비약한 주기성이 없는 집합이 비주기적 이동체의 무한한 사슬을 유도함을 보여주는 조합론적 추론을 사용하는 것. 이는 에르고딕 성분 공간의 유한성과 모순된다.
• 테일링 작용의 대칭군이 ℤ²의 유한 지수 부분군임을 이용하여, 임의의 테일링에 대한 주기적 세분을 구성하는 것.

실험 결과

연구 질문

• RQ1 ℤ²의 유한 부분집합 중에서 이동을 통해 평면을 테일링할 수 있는 집합은 반드시 주기적 테일링도 가질까?
• RQ2 주어진 ℤ²의 유한 부분집합이 평면을 테일링하는지 여부를 판단하는 문제는 결정 가능한가?
• RQ3 Z²작용 하에서의 가측 분할의 구조를 이용하여 테일링 문제에서 주기성을 유추할 수 있는가?
• RQ4 유니포텐트 군 작용과 불변 측도는 테일링 시스템에서 주기적 구조를 강제하는 데 어떤 역할을 하는가?
• RQ5 ℤ²에서 유한 집합에 의한 비주기적 테일링이 존재할 수 있는가, 아니면 테일링 작용의 동역학에 의해 반드시 주기성이 강제되어야 하는가?

주요 결과

• ℤ²의 유한 부분집합 F ⊂ ℤ²가 이동을 통해 ℤ²를 테일링할 수 있다면 반드시 주기적 테일링을 가짐을 확인하여, d = 2에 대한 주기적 테일링 추측을 확인한다.
• ℤ²의 유한 부분집합에 대한 테일링 문제의 결정 가능성이 있으며, 테일링의 존재가 주기적 테일링의 존재를 암시하기 때문에 알고리즘적으로 검증 가능하다.
• 에르고딕 Z²작용에서의 가측 집합 A ⊂ X가 이동체로 공간을 분할한다면, ℤ²의 비자명한 원소에 관하여 불변인 부분집합을 포함해야 한다는 것을 증명한다.
• 핵심 기술적 결과(정리 1.3)는 이러한 분할이 비자명한 군 원소에 관하여 불변인 집합들로 세분화될 수 있음을 보여주며, 이는 약한 주기성을 암시한다.
• 증명의 모순 추론은 유한한 에르고딕 성분 집합 S(Λ)의 존재에 기반하며, 이는 비주기적 이동체의 순서에서 사이클을 유도하여 비주기성의 가정과 모순된다.
• 측도론적 추론에 따르면, 집합 A가 에르고딕 성분에서 측도 1/2을 가진다면 그 이동체는 결국 반복되며, 이는 주기적 구조를 이끈다.