단순 d차원 다면체를 d개의 다항식으로 표현하기

초록

이 논문은 단순(simple) d차원 볼록 다면체 P에 대해, P를 정확히 정의하는 최소 다항식 개수 s(d,P)가 d와 같음을 증명한다. 기존에 알려진 d ≤ s(d,P) ≤ 2d‑1이라는 일반적 경계와 달리, 저자들은 각 면의 법선 벡터를 이용해 d개의 다항식을 명시적으로 구성함으로써, 모든 단순 다면체가 d개의 다항식만으로 완전히 기술될 수 있음을 보였다.

상세 분석

논문은 먼저 다면체의 다항식 표현이라는 개념을 정형화한다. 즉, P⊂ℝ^d 를 {p₁(x)≥0,…,p_n(x)≥0} 형태의 다항식 집합으로 기술할 때, 최소 필요 다항식 수를 s(d,P)라 정의한다. 기존 연구에서는 모든 볼록 d‑폴리토프에 대해 d ≤ s(d,P) ≤ 2d‑1이 성립함을 보였으며, 특히 s(d,P)=d 라는 강한 추측이 제기되었다. 이 추측은 일반적인 경우 아직 증명되지 않았지만, 단순(simple) 다면체—즉, 각 정점이 정확히 d개의 면에 의해 교차되는 경우—에 대해서는 구조적 특성이 강해 보다 정밀한 분석이 가능하다.

저자들은 단순 다면체 P의 각 면 F_i (i=1,…,m)를 정의하는 선형 함수 ℓ_i(x)=a_i·x−b_i (a_i는 외부 법선, b_i는 상수) 를 도입한다. 단순성에 의해 각 정점 v는 정확히 d개의 ℓ_i가 0이 되는 교차점으로 표현된다. 핵심 아이디어는 “면의 선택 집합”을 이용해 d개의 다항식을 구성하는 것이다. 구체적으로, 정점 v에 대해 인접한 d개의 면의 인덱스 집합 I(v)⊂{1,…,m}를 잡고, 각 k∈{1,…,d}에 대해
 p_k(x)=∏_{i∈S_k} ℓ_i(x)
와 같이, 사전에 정해진 면 집합 S_k (|S_k|=m−d+1) 를 선택한다. 이렇게 하면 각 p_k는 ℓ_i가 음수가 되는 영역을 차단하면서, 모든 정점에서는 정확히 하나의 p_k가 0이 되고 나머지는 양수가 된다. 따라서 {p₁,…,p_d} 로 정의된 부등식 시스템은 P 내부와 경계는 모두 포함하고, 외부 점은 적어도 하나의 p_k이 음수가 되도록 만든다.

증명은 두 단계로 진행된다. 첫째, 정점 및 면에 대한 기하학적 성질을 이용해 위 구성에서 p_k(v)=0 이고 p_k(x)>0 가 정점 근처에서 유지됨을 보인다. 둘째, 임의의 외부 점 x∉P에 대해 적어도 하나의 ℓ_i(x)<0 이 존재함을 이용해, 선택된 S_k 중 하나가 그 ℓ_i를 포함하게 함으로써 p_k(x)<0 임을 보인다. 이 과정에서 “정점-면 매트릭스”의 전치가 전치 전치 행렬(전치 행렬)과 같은 전치 행렬을 갖는다는 사실을 활용해, 면 집합 S_k 를 체계적으로 구성할 수 있음을 보인다.

결과적으로, 단순 d‑폴리토프에 대해 s(d,P)=d 가 성립함을 명시적으로 증명한다. 이 구성은 알고리즘적으로도 효율적이며, 입력으로 주어지는 면의 방정식만으로 O(m·d) 시간에 d개의 다항식을 생성할 수 있다. 또한, 다항식 차수는 각 ℓ_i가 1차이므로 최종 다항식의 차수는 |S_k|=m−d+1 로, 차수에 대한 별도 최적화가 가능함을 시사한다.