[논문 리뷰] Algebraic Method in Tilings

Peter Horák, Dongryul Kim|arXiv (Cornell University)|2016. 02. 29.

Quasicrystal Structures and Properties참고 문헌 4인용 수 3

한 줄 요약

이 논문은 타일 이론에서 새로운 대수적 '다항식 방법'을 도입하며, 이를 힐베르트의 닐즈텐자트 정리와 결합하여 ℤⁿ을 클러스터 V의 이동으로 타일링할 수 있는 필요 조건을 수립한다. 주요 결과는 크기가 소수 q인 클러스터 V가 ℤⁿ을 생성한다면, ℤⁿ을 V로 하는 모든 타일링은 격자 타일링이어야 한다는 것으로, 이러한 소수 크기의 클러스터에 의한 모든 타일링이 격자 타일링임을 지지하는 추측을 뒷받침한다.

ABSTRACT

In this paper we introduce a new algebraic method in tilings. Combining this method with Hilbert's Nullstellensatz we obtain a necessary condition for tiling $n$-space by translates of a cluster of cubes. Further, the polynomial method will enable us to show that if there exists a tiling of $n$-space by translates of a cluster $V$ of prime size then there is a lattice tiling by $V$ as well. Finally, we provide supporting evidence for a conjecture that each tiling by translates of a prime size cluster $V$ is lattice if $V$ generates $n$-space.

연구 동기 및 목표

• 클러스터 V의 이동으로 ℤⁿ을 타일링하는 데 분석하기 위한 새로운 대수적 방법—'다항식 방법'—을 개발한다.
• 힐베르트의 닐즈텐자트 정리를 사용하여 임의의 집합 V에 의한 ℤⁿ 타일링의 존재를 위한 필요 조건을 수립한다.
• 크기가 소수 q인 클러스터 V가 ℤⁿ을 생성한다면, ℤⁿ을 V로 하는 모든 타일링은 반드시 격자 타일링이어야 한다는 것을 증명한다.
• V가 ℤⁿ을 생성한다면, ℤⁿ을 소수 크기의 클러스터 V로 타일링하는 모든 타일링이 격자 타일링임을 지지하는 증거를 제공한다.
• 소수 크기의 반십자가(반십자형)에 의한 타일링의 유일성과 주기성에 대해 조사한다.

제안 방법

• 타일링 조건을 유한체 위에서 다항식 방정식의 체계로 모델링하는 데 다항식 방법을 도입한다.
• 힐베르트의 닐즈텐자트 정리를 적용하여, 집합 V에 의한 ℤⁿ 타일링 존재를 위한 필요 대수적 조건을 유도한다.
• 군환 ℤ[V]의 구조와 단위근의 성질을 이용하여 타일링의 대칭성과 주기성을 분석한다.
• 소수 크기의 V에 대해, V의 덧셈군 구조가 유한체와 순환군 작용의 사용을 가능하게 한다는 사실을 활용한다.
• ℤ_q*의 원시근을 사용하여 φ: ℤⁿ → ℤ_q의 준동형을 정의하고, 타일링 격자를 φ의 핵으로 매핑한다.
• φ의 핵이 격자 타일링을 이룬다는 것을 보이며, 코드어의 이동이 타일링 구조를 유지함을 보여, 순환성과 주기성을 암시한다.

실험 결과

연구 질문

• RQ1 집합 V ⊂ ℤⁿ이 ℤⁿ을 이동으로 타일링할 수 있는 대수적 조건은 무엇인가?
• RQ2 다항식 방법을 사용하여, 소수 크기의 클러스터 V에 의한 ℤⁿ의 모든 타일링이 격자 타일링임을 증명할 수 있는가?
• RQ3 반십자가의 크기가 소수 2n+1일 때, ℤⁿ의 타일링은 합동을 제외하고 유일한가?
• RQ4 순환성(이동에 대해 닫혀 있음)이라는 성질이 소수 크기의 클러스터에 의한 타일링을 특징짓는가?
• RQ5 다항식 방법을 비소수 크기의 클러스터에 의한 타일링의 주기성 증명으로 확장할 수 있는가?

주요 결과

• 모든 소수 크기 q인 집합 V ⊂ ℤⁿ에 대해, V가 ℤⁿ을 타일링한다면, 임의의 v,w ∈ V에 대해 주기 q(v−w)를 가진 주기적 타일링이어야 한다.
• 크기가 소수 q인 클러스터 V가 ℤⁿ을 생성한다면, ℤⁿ을 V로 하는 모든 타일링은 반드시 격자 타일링이어야 한다.
• 크기가 2n+1인 반십자가에 의한 ℤⁿ 타일링은 2n+1이 소수일 경우 합동을 제외하고 유일하며, n=2,3,5일 때 이를 확인하였다.
• 소수 q ≤ 7에 대해, ℤ^{q−1}을 크기가 q인 반십자로 타일링하는 타일링은 합동을 제외하고 유일하고, 격자 타일링이다.
• 모든 홀수 소수 q에 대해, 크기가 소수 q인 반십자에 의한 ℤ^{q−1}의 순환 타일링이 존재하며, 이는 ℤ_q로의 준동형을 통해 구성된다.
• 원시근 t로 정의된 준동형 φ: ℤ^{q−1} → ℤ_q의 핵은 순환 이동에 대해 닫혀 있는 격자 타일링을 생성한다.