고차원 사면체를 벽돌로 분할하는 획기적 방법

이 논문은 기하학적 분할, 특히 다면체의 등분할 문제를 다룹니다. 구체적으로, 벡터 v_i · v_j = -w (i≠j) 조건을 만족하는 단위 벡터들로 생성되는 '제1종 Hill-단체' Q_n(w)를 연구합니다. 역사적 배경으로, Hadwiger(1951)가 Q_n(w)가 정육면체와 등분할 가능함을 증명했으나 비구성적이었고, Schöbi(1985)가 Q_3(w)를 3개 조각으로 삼각 프리즘으로 분할하는 구체적 방법을 제시했습니다. 본 논문의 주요 결과는 두 가지로 요약됩니다. 1. **n차원 일반화**: Schöbi의 3차원 분할을 모든 차원 n으로 확장합니다. 정리 2에 따르면, Q_n(w)는 n개의 조각으로 분할되어 프리즘 c Q_{n-1}(1/(n-1)) × I 로 재구성될 수 있습니다. 여기서 c = sqrt{(n-1)(w+1)/n} 이고 I는 길이 ℓ = sqrt{(1-w(n-1))/n} 의 구간입니다. 이 분할은 "두 타일 정리"를 적용하여 증명됩니다. 이 정리는 어떤 영역 Ω와 등거리변환 군 Γ에 대해 두 다면체 A와 B가 모두 Ω의 Γ-타일(Γ-tile)이면 A와 B가 Γ-등분할 가능함을 보장합니다. 논문에서는 이 정리를 활용하여 Q_n(w)와 목표 프리즘이 동일한 영역 Ω(특정 초평면 스트립)의 타일이 됨을 보여 분할을 구성합니다. 2. **반복적 분할과 알고리즘**: 위의 분할을 재귀적으로 적용하면 Q_n(w)를 n차원 직육면체("벽돌")로 분해할 수 있습니다. 정리 3은 이때 필요한 총 조각 수가 최대 n!이며, Q_n(w)의 점을 최종 벽돌의 좌표로 변환하는 알고리즘의 시간 복잡도가 O(n^2)임을 보입니다. 이는 저자들의 이전 연구