완전 분할 가능한 다면체

초록

본 논문은 다면체의 모든 삼각분할이 두 개의 최대 셀만을 갖는 분할(스플릿)의 공통 정제인 경우, 즉 ‘완전 분할 가능’한 다면체를 완전히 분류한다. 결과적으로 이러한 다면체는 오직 단순체, 교차다각형(크로스폴리토프), 그리고 단순체 위에 놓인 프리즘(단순체와 선분의 직각곱)뿐임을 보인다.

상세 분석

스플릿은 정규 분할 중에서 정점 집합을 두 부분으로 정확히 나누는 초평면에 의해 정의되며, 두 부분의 볼록 껍질이 각각 하나의 최대 셀을 이룬다. 다면체 P가 ‘완전 분할 가능’하다는 것은 P의 모든 삼각분할이 스플릿들의 교차(공통 정제)로 얻어질 수 있다는 뜻이다. 이는 이차원에서 ‘스플릿 복합체’가 전체 이차 복합체를 생성한다는 조건과 동치이며, 고차원에서는 이차 복합체가 2‑차원 스플릿 하이퍼플레인들에 의해 생성되는 ‘스플릿 팬’이 전체 이차 팬을 생성한다는 의미다.

논문은 먼저 스플릿이 서로 호환될 필요조건을 조사한다. 두 스플릿이 호환되려면 그 초평면이 서로 교차하지 않아야 하며, 각 스플릿이 정의하는 두 정점 집합이 서로 포함 관계를 이루어야 한다. 이러한 호환성은 정점 분할이 가능한 경우에만 전역적으로 유지될 수 있다.

다음으로 저자들은 Gale 변환을 이용해 다면체의 정점 구성을 분석한다. Gale 도표가 1‑차원에 제한될 때, 즉 정점이 두 개의 군집으로만 나뉘어 있을 때만 모든 스플릿이 호환될 수 있음을 보인다. 이 경우 정점 집합은 (i) 모든 정점이 서로 독립적인 경우(단순체), (ii) 정점이 서로 반대되는 쌍을 이루는 경우(크로스폴리토프), (iii) 한 차원에서 두 개의 복제된 단순체가 선분 방향으로 결합된 경우(프리즘)로 귀결된다.

특히 크로스폴리토프에서는 각 좌표축에 평행한 스플릿이 존재하고, 이들 모두가 서로 독립적으로 작용해 모든 삼각분할을 생성한다. 프리즘의 경우, 기본 단순체의 스플릿과 프리즘 축에 수직인 스플릿이 조합되어 전체 분할을 만든다. 반면, 일반적인 다면체에서는 비호환 스플릿이 발생하거나, 스플릿으로 생성할 수 없는 복잡한 삼각분할이 존재해 ‘완전 분할 가능’ 조건을 위배한다.

결론적으로, 논문은 ‘완전 분할 가능’ 다면체는 오직 (1) d‑차원 단순체, (2) d‑차원 교차다각형, (3) (d‑1)‑차원 단순체와 1‑차원 선분의 직각곱인 프리즘이라는 세 종류로 완전히 분류한다. 이는 스플릿 복합체가 전체 이차 복합체를 생성하는 유일한 경우이며, 다면체 이론과 정규 분할 이론 사이의 깊은 연결고리를 제공한다.