[논문 리뷰] The structure of translational tilings in $\mathbb{Z}^d$

Rachel Greenfeld, Terence Tao|arXiv (Cornell University)|2020. 10. 07.

Cellular Automata and Applications참고 문헌 28인용 수 6

한 줄 요약

이 논문은 $ℤ^d$에서의 이동 타일링에 대한 구조적 결과를 확립하여, $ℤ^2$에서 주기적인 집합의 수준-1 타일링은 반드시 약한 주기성을 가져야 하며, 그러나 높은 수준의 타일링은 약한 주기성을 갖지 않을 수 있음을 보여주는 반례를 구성한다. 이 논문은 두 차원에서 주기적 타일링의 주기를 다항식으로 유 bounds하여 타일링 문제에 대해 지수 시간 내에 결정 가능함을 보이고, 일차원 타일에 대해 명시적인 보편 주기 공식을 유도한다.

ABSTRACT

We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union of sets that are individually periodic in one direction), but present a counterexample of a higher level tiling of $\mathbb{Z}^2$ that fails to be weakly periodic. We also establish a quantitative version of the two-dimensional periodic tiling conjecture which asserts that any finite tile in $\mathbb{Z}^2$ that admits a tiling, must admit a periodic tiling, by providing a polynomial bound on the period; this also gives an exponential-type bound on the computational complexity of the problem of deciding whether a given finite subset of $\mathbb{Z}^2$ tiles or not. As a byproduct of our structural theory, we also obtain an explicit formula for a universal period for all tilings of a one-dimensional tile.

연구 동기 및 목표

• 두 차원에서의 주기적 타일링 추측을 해결하기 위해 주기적 타일링의 주기의 정량적 다항식 bound를 확립하기 위해.
• ℤ^2에서의 타일링이 반드시 약한 주기성을 가져야 하는지, 특히 수준-1과 높은 수준의 타일링을 구분하여 조사하기 위해.
• 주기의 bound를 통해 계산 복잡도를 유 bounds하여 ℤ^2에서의 타일링 문제의 결정 가능성을 규명하기 위해.
• 일차원 타일에 대해 모든 타일링에 대해 명시적인 보편 주기 공식을 유도하여 기존의 주기성 이론 결과를 일반화하기 위해.

제안 방법

• 1차원 부분군을 따라 타일링 집합을 주기적 구성요소로 분해하여 ℤ^2에서의 약한 주기성을 분석한다.
• 코셋에 대한 대체 1주기 슬라이스와 주기적 타일링 집합을 비교함으로써 비-1주기 타일링을 탐지하기 위해 '카메레온 슬라이스' 추론을 적용한다.
• 지시 함수를 통해 타일링을 대수적으로 특성화하기 위해 $̄†_{F}*̄†_{A}=k\mathds{1}_{E}$ 형태의 커플링 항등식을 활용한다.
• 격자 구조와 부분군 불변성에 기반하여 주기적 타일링의 주기를 유 bounds함으로써 타일링 존재 문제를 유한한 검색으로 환원한다.
• M\mathbb{Z}^2-주기 집합과 그 코셋 슬라이스의 구조를 활용하여 계산 가능한 조건을 통해 모든 가능한 타일링을 분류한다.
• 코셋 슬라이스에서 '슬라이드 이동'을 통해 유한한 목록의 이중 주기적 기본 타일링으로부터 모든 타일링을 구성하는 구축 방법을 도입한다.

실험 결과

연구 질문

• RQ1 ℤ^2에서 주기적인 집합의 수준-1 타일링은 반드시 약한 주기성을 가져야 하는가?
• RQ2 ℤ^2에서 약한 주기성을 갖지 않는 높은 수준의 타일링이 존재할 수 있는가?
• RQ3 주어진 유한 타일에 대해 ℤ^2에서 주기적 타일링의 최소 주기는 얼마인가?
• RQ4 유한한 부분집합 F ⊂ ℤ^2가 격자를 타일링하는지 여부를 결정하는 문제는 결정 가능한가? 그리고 그 계산 복잡도는 무엇인가?
• RQ5 모든 일차원 타일의 타일링에 대해 명시적인 보편 주기 공식을 도출할 수 있는가?

주요 결과

• ℤ^2에서 주기적인 집합의 수준-1 타일링은 반드시 약한 주기성을 가져야 하며, 즉 각각이 한 방향에서 주기적인 집합들의 disjoint 합집합이어야 한다.
• ℤ^2에서 약한 주기성을 갖지 않는 높은 수준의 타일링이 존재한다. 이는 약한 주기성 성질이 높은 수준으로 확장되지 않음을 보여준다.
• ℤ^2에서의 주기적 타일링 추측은 주기의 다항식 bound를 통해 정량적으로 해결되었으며, 특히 차원 d=2에서 O(|F|^{O(d)})의 bound를 갖는다.
• 유한 타일 F ⊂ ℤ^2가 격자를 타일링하는지 여부를 결정하는 문제의 계산 복잡도는 주기의 다항식 bound 덕분에 |F|에 대해 지수 시간 이내로 결정 가능하다.
• 일차원 타일의 모든 타일링에 대해 명시적인 보편 주기 공식이 도출되었으며, 이는 구성요소들의 주기의 최소공배수로 주어진다.
• ℤ^2에서 주어진 주기적 집합의 모든 타일링은 코셋 슬라이스에서의 '슬라이드 이동'을 통해 유한한 목록의 이중 주기적 기본 타일링으로부터 유도되며, 이는 임의의 타일링 성질에 대해 유한한 계산이 가능하게 한다.