[논문 리뷰] Characterization of the Two-Dimensional Five-Fold Translative Tiles

Qi Yang, Chuanming Zong|arXiv (Cornell University)|2017. 12. 26.

graph theory and CDMA systems참고 문헌 13인용 수 3

한 줄 요약

이 논문은 유클리드 평면에서 오차 이동 타일링을 형성할 수 있는 모든 볼록 도메인을 완전히 특성화하며, 이는 두 종류의 중심대칭 8각형과 한 종류의 중심대칭 10각형으로 이루어져 있음을 증명한다. 대수적이고 기하학적인 기법을 사용하여, 격자 구조 분석과 변 중점 제약 조건을 포함한 분석을 통해 이러한 타일링에 필요한 필수 및 충분조건을 확립함으로써, 평행사변형과 육각형의 알려진 격자 타일링 사례를 초월한 두 차원에서의 다중 이동 타일링의 분류를 완성한다.

ABSTRACT

In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. It is known that there is no other convex domain which can form two-, three- or four-fold translative tiling in the Euclidean plane, but there are centrally symmetric convex octagons and decagons which can form five-fold translative tilings. This paper characterizes all the convex domains which can form five-fold translative tilings of the Euclidean plane.

연구 동기 및 목표

• k=5인 유클리드 평면에서 k-차 이동 타일링을 형성하는 볼록 도메인의 분류를 완료하는 것.
• 평행사변형과 중심대칭 육각형 외에 오차 이동 타일링을 형성할 수 있는 볼록 다각형이 존재하는지 여부를 규명하는 것.
• 특히 중심대칭 8각형과 10각형에 중점을 두어 이러한 타일링의 기하학적 및 대수적 구조를 특성화하는 것.
• 두 차원에서의 다중 이동 타일링에 관한 오랫동안 미해결된 열린 문제를 해결하는 것.

제안 방법

• 유클리드 평면에서 이산 집합과 격자 이론을 사용하여 오차 이동 타일링의 구조를 분석하는 것.
• Gravin, Robins, 및 Shiryaev가 확립한 조건을 적용하여 모든 이동 k-타일은 중심대칭 다면체이며, 중심대칭 면을 가져야 한다는 것.
• Zong(2009)의 기존 특성화에 기반하여 변 중점 제약 조건을 사용하여 후보 볼록 10각형의 기하학적 구조를 정의하는 것.
• 타일링 조건에서 유도된 선형 방정식계를 사용하여 이동 집합 Λ의 격자 구조를 결정하는 것.
• 반-격자 점이 반-격자에 속한다는 것을 확인하기 위해 레마 4를 사용하여 유도된 격자가 타일링 다중성과 대칭성과 일관됨을 검증하는 것.
• 타일 정점과 변 중점의 대칭적 구성에 대한 케이스 분석을 수행하여 가능한 모든 타일링 유형을 열거하는 것.

실험 결과

연구 질문

• RQ1 유클리드 평면에서 평행사변형과 중심대칭 육각형 외에 오차 이동 타일링을 형성할 수 있는 볼록 도메인은 무엇인가?
• RQ2 오차 이동 타일링을 형성할 수 있는 중심대칭 8각형과 10각형이 존재하는가? 만약 존재한다면, 그 기하학적 제약 조건은 무엇인가?
• RQ3 이러한 타일링의 전체 집합을 대수적이고 기하학적으로 특성화할 수 있으며, 그 조합적 유형은 유한한 수인가?
• RQ4 격자 구조와 변 중점 대칭성이 오차 이동 타일링의 존재를 결정하는 데 어떤 역할을 하는가?
• RQ5 오차 이동 타일링의 특성화는 완전한가? 그리고 더 넓은 다중 타일링 문제와의 관계는 무엇인가?

주요 결과

• 유클리드 평면에서 오차 이동 타일링을 형성하는 모든 볼록 도메인은 두 종류의 중심대칭 8각형 또는 한 종류의 중심대칭 10각형으로 이루어져 있다.
• 두 종류의 8각형은 이동 벡터 간의 선형 관계에서 유도된 특정 정점 구성과 격자 구조로 특성화된다.
• 10각형의 종류는 그 변 중점이 (0,2), (2,2), (3,1), (3,0), (2,-1) 및 그들의 음수인 특정 점들에 고정되어야 한다는 조건에 의해 완전히 특성화된다.
• 각 타일링 유형에서 기저가 되는 이동 집합은 격자를 이룬다. 반-격자 점들이 반-격자에 속해 있음을 확인함으로써 오차 커버링 및 패킹 성질이 확인된다.
• 이러한 타일링의 존재는 타일링 대칭성과 다중성 조건에서 유도된 선형 방정식계를 사용한 명시적 구성과 검증을 통해 증명된다.
• 이 논문은 k=5인 두 차원에서의 k-차 이동 타일링의 분류를 완성하였으며, 이는 다른 볼록 다각형이 이 다중성을 달성할 수 없다는 것을 보여준다.