[논문 리뷰] A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve

Thomas Hales|arXiv (Cornell University)|2012. 09. 26.

Mathematics and Applications참고 문헌 3인용 수 3

한 줄 요약

이 논문은 3차원 구 포장에서 각 구가 정확히 열두 개의 다른 구와 접촉하는 경우, 그 구 포장은 항상 육각 밀도 포장(HCP) 또는 면심입방정식 포장(FCC) 층으로 구성되어야 한다는 페이즈 투의 추측을 증명한다. 구기하학, 초도표 분류, 그리고 컴퓨터 지원 선형계획법을 조합하여, 온전한 접촉 매개변수를 가진 경우에만 가능한 접촉 구조는 FCC와 HCP 패턴뿐이며, 이는 추측을 확인한다.

ABSTRACT

In 1969, Fejes Toth conjectured that in Euclidean 3-space any packing of equal balls such that each ball is touched by twelve others consists of hexagonal layers. This article verifies this conjecture.

연구 동기 및 목표

• 3차원 구 포장에서 접촉 수가 열두 개인 경우의 구조에 관해 오랫동안 남아있던 Fejes Tóth의 추측을 해결하는 것.
• 그러한 포장이 FCC와 HCP 배열에서 관찰되는 것과 같이 육각 층으로 이루어져야 한다는 것을 입증하는 것.
• 중앙 구를 둘러싸는 12개의 단위 구가 상호 접촉하는 경우의 유일한 국소적 배열이 FCC와 HCP 패턴뿐이라는 것을 증명하는 것.
• 온전한 접촉 매개변수를 사용하여 가능한 모든 접촉 구성형을 분류하고, 기하학적 및 선형계획법 제약 조건을 통해 실현 불가능한 경우를 제거하는 것.

제안 방법

• R³ 내 점들의 집합을 상호 거리가 ≥2인 포장으로 정의하고, 중심 점 주위의 반지름 2인 구 위에 12개의 점이 있는 집합을 접촉 구성으로 정의한다.
• 절삭 매개변수 h₀ = 1.26을 정의하고, 총 구성의 무게를 제한하기 위해 가중치 함수 L(h) = (h₀ − h)/(h₀ − 1)를 사용한다.
• 접촉 그래프를 S²(2) 위의 구 위에서 단위거리 접촉을 나타내는 간선을 가진 초도표 H = hyp(V, E₂(V))로 모델링한다.
• 온전한 접촉 매개변수를 가진 모든 초도표를 분류하기 위해 컴퓨터 지원 분류 알고리즘을 적용하며, 이는 거리가 2 또는 ≥2h₀인 분리 제약 조건에 의해 정의된다.
• 기하학적 추론을 통해 한 변이 정삼각형인 초도표를 제거한다(기하학적 볼록성 위반으로 둘레가 2π를 초과함).
• 각도 합 및 변 길이 제약 조건 하에서 선형계획법을 적용하여 나머지 다섯 개의 초도표가 실현 불가능하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 접촉 수가 열두 개인 3차원 구 포장은 반드시 육각 층으로 이루어져 있는가?
• RQ2 FCC와 HCP 배열은 중심 구를 둘러싼 12개의 단위 구가 접촉하는 경우의 가능한 국소적 배열뿐인가?
• RQ3 단위 거리와 최소 간격 제약 조건 하에서 비육각 배열의 12개 접촉 구가 존재할 수 있는가?
• RQ4 이러한 포장에서 발생할 수 있는 접촉 초도표의 조합적 유형의 전체 집합은 무엇인가?
• RQ5 기하학적 및 선형계획법 제약 조건을 사용하여 실현 불가능한 구성형을 제거할 수 있는가?

주요 결과

• 온전한 접촉 매개변수를 가진 유효한 접촉 초도표는 FCC와 HCP 구성뿐이며, 나머지 후보들을 제거함으로써 증명되었다.
• 측변 길이 π/3인 정육각형 면을 가진 초도표는 기하학적으로 실현될 수 없다. 그 이유는 둘레가 2π를 초과하여 구 위의 기하학적 볼록 다각형의 стрict upper bound를 위반하기 때문이다.
• 각도 및 변 길이 제약 조건 하에서 선형계획법을 적용하여 여덟 개의 후보 초도표 중 다섯 개를 제거함으로써 FCC와 HCP만 실현 가능하다는 것이 확인되었다.
• 모든 면에 대한 가중치 할당의 총합은 (4π − 20sol₀) < tgt로 유계이므로, 증명에서 사용된 주요 부등식을 지지한다.
• 접촉 그래프의 모든 노드는 차수 최대 4이며, 노드 유형이 (p,q,0)일 경우 가능한 유형은 (0,3), (1,3), (2,2)뿐이다.
• FCC와 HCP 구성은 강성 구조를 가진다: 변 길이가 2인 여덟 개의 정삼각형이 전체 구성의 유일한 결정 요소이며, 이는 합동 변환 이외의 다른 형태로 존재할 수 없다.