큐브와 다면체 노름의 슬라이스와 슬래브의 임계 순간

본 논문은 “다면체 노름 구”라 불리는 \(\ell_{\infty}\)‑볼과 그 일반화된 형태에 대해, 하이퍼플레인 \(H(a,t)=\{x\in\mathbb{R}^d\mid \langle a,x\rangle=t/2\}\) 가 교차하는 슬라이스와 슬래브의 부피와 고차 모멘트를 파라미터 \((a,t)\) 에 대한 조각별(piecewise) 유리 함수로 정확히 계산하는 통합 프레임워크를 제시한다. 1. **문제 배경 및 동기** - 볼록체의 한 차원 주변분포(마진)는 해당 체가 하이퍼플레인과 교차하는 단면의 부피에 비례한다. 따라서 슬라이스 부피와 그 고차 모멘트는 확률·통계, 기하학적 톰그래피, 고차원 볼록체 분석 등에 핵심적인 역할을 한다. 기존 연구는 주로 Fourier 변환이나 불평등을 이용해 부피 상한·하한을 구했으며, 2·3 차원에 한정된 명시적 식만을 제공했다. - 저자들은 이러한 제한을 넘어, 모든 차수 \(M\)에 대해 정확한 식을 얻고, 고차원에서도 효율적으로 계산할 수 있는 알고리즘을 개발하고자 한다. 2. **핵심 이론적 도구** - **스윕 어레인지먼트**: 다면체 \(P\) 의 모든 정점 차이 \(v-w\) 에 수직인 하이퍼플레인들의 집합 \(R(P)\) 을 정의하고, 구면 \(S^{d-1}\) 위에서 이 어레인지먼트가 만든 영역 \(R_i\) 를 고려한다. 각 \(R_i\) 내에서는 선형 함수 \(\langle a,\cdot\rangle\) 가 정점을 동일한 순서로 정렬한다. - **최대 챔버**: 특정 영역 \(R_i\) 와 정점 순서에 따라, 슬라이스가 교차하는 변의 인덱스 \(j\) 에 대해 \(t\) 의 가능한 구간 \(I_{i,j}(a)\) 을 정의한다. \((a,t)\) 쌍이 \(C_{i,j}=R_i\times I_{i,j}(a)\) 에 속하면, 해당 슬라이스는 동일한 변 집합을 교차하고, 동일한 조합적 타입을 가진다. 3. **알고리즘 설계** - 입력: 차원 \(d\) 와 다면체 노름 구 \(B_d^{\|\cdot\|}\) (특히 \(\ell_{\infty}\) 볼). - 단계 1: 스윕 어레인지먼트를 구성하고, 구면 위의 모든 영역 \(R_i\) 와 각 \(j\) 에 대해 최대 챔버 \(C_{i,j}\) 을 열거한다. - 단계 2: 각 챔버마다 대표점 \((a_{\text{rep}},t_{\text{rep}})\) 을 선택하고, 해당 슬라이스와 슬래브가 교차하는 변을 식별한다. - 단계 3: 교차 변 \(e=