큐브 타일링에서 열 존재에 관한 켈러 추측

초록

본 논문은 차원 n이 6 이하일 때, 단위 큐브

상세 분석

켈러 추측은 “n차원 유클리드 공간 ℝⁿ을 단위 큐브의 평행 이동으로 완전히 타일링할 때, 두 큐브가 꼭짓점만을 공유하는 경우는 존재하지 않는다”는 명제와 밀접하게 연결된다. 기존 연구에서는 n≥8에서 반례가 발견된 반면, n≤6에서는 아직 일반적인 증명이 부족했다. 본 논문은 이러한 공백을 메우기 위해 ‘열(column)’이라는 개념을 도입한다. 열은 한 축 방향으로 정수 간격만큼 평행 이동된 큐브들의 무한 연속체이며, 존재 여부는 타일링의 전역 구조를 파악하는 데 핵심적인 역할을 한다.

저자는 먼저 n차원 격자 ℤⁿ 위에 정의된 ‘인접 그래프’를 구축한다. 각 정점은 하나의 큐브에 대응하고, 두 정점이 인접하면 해당 큐브들이 면을 공유한다는 의미다. 이 그래프는 2‑정칙(각 정점의 차수가 2n)이며, 열의 존재는 그래프가 특정 축에 평행한 무한 경로를 포함하는 것과 동치이다. 논문은 이러한 무한 경로가 반드시 존재함을 보이기 위해 두 가지 주요 전략을 사용한다. 첫째, ‘패리티 색칠(parity coloring)’ 기법을 적용해 각 큐브를 흑·백 두 색으로 구분한다. 이때 인접 큐브는 서로 다른 색을 가져야 하므로, 그래프는 이분 그래프가 된다. 둘째, ‘압축 변환(compression transformation)’을 도입해 고차원 타일링을 저차원 구조로 사상한다. 구체적으로, 좌표 i에 대해 모든 큐브를 e_i 방향으로 정수 단위만큼 이동시켜도 타일링 성질이 보존됨을 증명한다. 이렇게 하면 n차원 문제를 n‑1차원 문제로 귀환시킬 수 있다.

귀환 과정에서 핵심은 ‘축 고정(axis fixing)’이다. 저자는 임의의 축 e_i를 선택하고, 해당 축에 평행한 모든 큐브들의 투영을 고려한다. 투영된 집합은 (n‑1)‑차원 격자 위에 다시 단위 큐브 타일링을 형성한다. 귀환된 타일링에 대해 이미 알려진 n≤5 차원의 결과를 적용하면, 반드시 열이 존재함을 알 수 있다. 이때 원래 차원으로 되돌릴 때, 열이 축 e_i 방향으로 연속된 형태로 복원됨을 보인다.

또한, 저자는 ‘충돌 방지 조건(collision avoidance condition)’을 정량화한다. 두 큐브가 꼭짓점만을 공유하는 경우를 배제하기 위해, 각 큐브의 번역벡터 s는 ℤⁿ의 원소와 차이가 0이 아닌 모든 좌표에서 0<⟨s, e_i⟩<1을 만족한다. 이러한 조건 하에서, 열을 구성하는 큐브들의 번역벡터는 등차수열 s+ke_i (k∈ℤ)를 이룬다.

결과적으로, 논문은 n<7인 모든 경우에 대해 위의 귀환·색칠·압축 논증을 체계적으로 전개함으로써, 열의 존재를 강제한다. 이는 켈러 추측의 저차원 영역에서 새로운 증거를 제공하고, 열 개념을 통해 고차원 타일링 구조를 분석하는 새로운 방법론을 제시한다.