불균형 샌드위치 분할: 유니크 싱크 오리엔테이션과 레인보우 배열의 새로운 증명

초록

이 논문은 α‑햄‑샌드위치 정리를 두 가지 새로운 방식으로 증명한다. 첫 번째는 격자형 유니크 싱크 오리엔테이션(USO)을 이용한 순수 조합론적 접근이며, 두 번째는 점‑초평면 이중성과 포인카레‑미란다 정리를 활용해 레인보우 배열이라는 일반화된 의사‑초평면 배열 개념을 도입한다. 또한 레인보우 배열과 격자 USO의 실현 가능성 문제가 ∃ℝ‑완전임을 보인다.

상세 분석

α‑햄‑샌드위치 정리는 d개의 점집합 P₁,…,P_d가 ‘잘 분리(well‑separated)’하고 약한 일반 위치(weak general position)를 만족할 때, 임의의 정수 튜플 (α₁,…,α_d) (각 α_i는 1부터 |P_i|까지) 에 대해 정확히 α_i‑1개의 점이 하위에 놓이고 하나의 점이 초평면 위에 있는 고유한 초평면을 보장한다. 기존 증명은 연속적 질량 분할(바라니·후바드·헤로니모)과 이산적 귀납법(스테이거·조)으로 이루어졌으나, 두 접근 모두 복잡한 위상학적 가정에 의존한다.

첫 번째 증명에서는 격자 Γ_P를 각 집합의 원소 수만큼 차원별로 구성하고, 각 변에 방향을 부여해 ‘그리드 USO’를 만든다. 방향 규칙은 두 정점이 한 차원에서만 다른 좌표를 가질 때, 해당 차원의 점이 현재 초평면 위에 있는지 아래에 있는지에 따라 결정된다. 잘 분리와 약한 일반 위치는 모든 부분 격자에 (1,…,1)‑컷, 즉 모든 차원에서 최소점이 아래에 있는 초평면이 존재함을 보장한다. 연속적 α‑햄‑샌드위치 정리(바라니·후바드·헤로니모)에서 볼 수 있듯이, 각 부분 격자의 볼록 껍질에 대해 부피 비율을 맞추면 정확히 원하는 α‑컷을 얻을 수 있다. 이렇게 하면 각 정점의 ‘out‑degree’ 벡터가 모든 가능한 (α₁‑1,…,α_d‑1) 조합을 한 번씩 나타내며, USO의 고유성 정리(