[논문 리뷰] A counterexample to the periodic tiling conjecture

Rachel Greenfeld|arXiv (Cornell University)|2022. 11. 29.

graph theory and CDMA systems인용 수 3

한 줄 요약

이 논문은 유한 아벨 2군 G₀에 대해 Z² × G₀에서 단일 타일을 사용하여 비주기적 타일링을 구성함으로써 주기적 타일링 추측에 반례를 제시한다. 저자들은 2진수로 구조화된 수상한 퍼즐을 타일링 방정식으로 인코딩하여, 해가 존재하지만 모두 비주기적임을 증명함으로써 고차원에서 이 추측을 반증하고, 충분히 큰 d에 대해 R^d에서의 연속적 대응 추측도 반증한다.

ABSTRACT

A d-dimensional configuration is a coloring of the infinite grid ℤ^d using a finite number of colors. For a finite subset D ⊆ ℤ^d, the D-patterns of a configuration are the patterns of shape D that appear in the configuration. A configuration is said to be admitted by these patterns. The number of distinct D-patterns in a configuration is a natural measure of its complexity. We focus on low complexity configurations, where the number of distinct D-patterns is at most |D|, the size of the shape. This framework includes the notorious open Nivat’s conjecture and the recently solved Periodic Tiling problem. We use algebraic tools to study the periodicity of low complexity configurations. In the two-dimensional case, if D ⊆ ℤ² is a rectangle or any convex shape, we establish an algorithm to determine if a given collection of |D| patterns admits any configuration. This is based on the fact that if the given patterns admit a configuration, then they admit a periodic configuration. We also demonstrate that a two-dimensional low complexity configuration must be periodic if it originates from the well-known Ledrappier subshift or from several other algebraically defined subshifts.

연구 동기 및 목표

• 격자 Z^d에서 유한 타일이 주기적 타일링을 반드시 허용한다는 주장을 반박하기 위해.
• 이 반증을 연속적 설정으로 확장하여 고차원 유클리드 공간에서의 연속적 주기적 타일링 추측도 실패함을 보여주기 위해.
• 유한 아벨 2군 G₀에 대해 Z² × G₀ 형태의 군에서 단일 타일을 사용하여 명시적인 비주기적 타일링을 구성하기 위해.
• 타일이 유한하고 군이 아벨일지라도, 타일링 방정식의 해가 주기적 구조를 가지지 않을 수 있음을 보여주기 위해.

제안 방법

• 2진수로 구조화된 행과 수평선이 아닌 선을 가진 수상한 퍼즐을 기능적 방정식계로 인코딩하기.
• 수상한 퍼즐의 제약 조건을 Z² × G₀에서의 단일 타일링 방정식 A ⊕ F = G로 표현하기.
• 2진수 해석을 사용하여 국소적 일致 조건을 만족하더라도 모든 수상한 퍼즐의 해가 비주기적임을 보장하기.
• Z² × G₀에서 타일링 방정식 A ⊕ F = Z² × G₀가 해를 가지지만, 어떤 해도 주기적이지 않은 유한 타일 F를 구성하기.
• 2진수로 구조화된 함수의 구조를 활용하여 국소적 타일링 규칙을 유지하면서도 전반적인 비주기성을 강제하기.
• 어떤 유한지수 부분군의 잔여류들의 유한합으로 표현될 수 없음을 보여, 결과적으로 타일링 집합 A가 주기적이지 않음을 증명하기.

실험 결과

연구 질문

• RQ1 d ≥ 3일 때 Z^d에서 주기적 타일링이 없는 타일이 존재하는가?
• RQ2 Z² × G₀와 같은 이산 아벨 군에서 단일 타일이 비주기적으로 군을 타일링할 수 있는가?
• RQ3 충분히 큰 d에 대해 R^d에서 연속적 주기적 타일링 추측은 참이 아닌가?
• RQ4 2진수로 구조화된 제약 조건을 가진 수상한 퍼즐을 타일링 방정식으로 인코딩할 수 있으며, 그 해가 비주기적인가?
• RQ5 d ≥ 3일 때 Z^d의 비주기적 타일링에서 가능한 최대 수준의 약한 주기성은 무엇인가?

주요 결과

• 충분히 큰 d에 대해 Z^d에서 주기적 타일링 추측은 거짓임을 증명하였으며, Z² × G₀에서 비주기적으로 타일링하는 단일 타일 F를 구성함으로써 이를 입증하였다.
• 유한 아벨 2군 G₀에 대해 Z² × G₀에서 명시적인 반례를 구성하여 이 설정에서의 이산 주기적 타일링 추측을 반박하였다.
• 연속적 주기적 타일링 추측도 충분히 큰 d에 대해 R^d에서 거짓임을 증명하였으며, 이는 표준 인코딩 논증을 통해 이산 반례로부터 유도된다.
• 구성된 타일링 방정식의 모든 해는 비주기적이며, 타일이 유한하고 군이 아벨임에도 불구하고 그러하다.
• 타일링 해는 (d−2)-약한 주기성을 가지며, 이는 비주기성과 일치하는 최대 가능한 주기성 수준을 달성하고 있음을 보여준다.
• 이 구성은 고차원 환경에서 단일 타일을 사용한 비주기적 타일링이 존재함을 보여주며, 타일링 이론에서 오랫동안 미해결이었던 문제를 해결한다.