[논문 리뷰] Fine approximation of convex bodies by polytopes

Márton Naszódi, Fëdor Nazarov외 1명|arXiv (Cornell University)|2017. 05. 04.

Point processes and geometric inequalities인용 수 1

한 줄 요약

이 논문은 d차원 공간에서 볼록체를 (1−ε) 요소로 다각체로 근사하기 위해 필요한 정점 수에 대한 날카운 경계를 확립한다. 임의의 ε ∈ (0, 1/2)에 대해 O(e^{O(d)}ε^{-(d+1)/2})개의 정점으로 충분함을 보이며, 이는 기존 결과보다 대칭성과 로그 인자를 제거한 것이다. 접근 방식은 원래의 볼록체를 균일하게 2-볼록체로 변환하는 비선형 변환을 사용하고, 캡을 덮기 위한 Bronshtein–Ivanov 네트워크를 적용하며, 확률적 조합론을 통해 다각체 포함성을 보장하는 경계면 위에 강력한 하측 꼬리 경계를 가지는 확률 측도를 구성한다.

ABSTRACT

We prove that for every convex body $K$ with the center of mass at the origin and every $\varepsilon\in \left(0,\frac{1}{2} ight)$, there exists a convex polytope $P$ with at most $e^{O(d)}\varepsilon^{-\frac{d-1}{2}}$ vertices such that $(1-\varepsilon)K\subset P\subset K$.

연구 동기 및 목표

• 기존 다각체 근사 경계에서 대칭성과 로그 인자를 제거하여 기하학에서 오랫동안 남아있던 격차를 메우기 위해.
• 임의의 볼록체 K ⊂ ℝ^d 를 다각체 P로 근사할 때 (1−ε)K ⊂P ⊂K 를 만족하는 거의 최적의 정점 수를 제공하기 위해.
• 2012년 Barvinok의 결과에서 나타나는 (log 1/ε)^d 인자를 제거하기 위해 비선형 변환을 도입하여 곡률를 균일화하기 위해.
• 확률적 조합론을 통해 유한한 ε-네트워크의 존재를 보장하는 경계면에 대한 측도 이론 조건을 수립하기 위해.
• 기하 해석학과 확률적 방법을 융합하기 위해 선형 자동형사상에 대해 불변인 측도를 구성하고, 강력한 캡-측도 하한을 확보하기 위해.

제안 방법

• 원래의 볼록체 K 를 반경 방향 미분동형사상 Φδ 를 통해 균일하게 2-볼록체 Φδ(K) 로 변환하여 볼록성을 유지하고 고전적 네트워크의 적용을 가능하게 한다.
• 변환된 볼록체에 Bronshtein–Ivanov 네트워크를 적용하여 ∂K 내부에 존재하는 유한한 ε/2-네트워크 X ⊂ ∂K 를 구성하며, 이의 원소 수는 C(d)ε^{-(d+1)/2} 이하이며, 여기서 C(d) 는 d에 대해 이중 지수적이다.
• 모든 x ∈ ∂K 와 ε ∈ (0, 1/2) 에 대해 µ(S(x, ε)) ≥ pε^{(d−1)/2} 를 만족하는 ∂K 위의 확률 측도 µ 를 구성한다. 여기서 p = e^{O(d)} 이며, 이 측도는 K 와 그 쌍대체 K◦ 내의 콘의 부피 비율을 기반으로 정의된다.
• Rogers 유형의 조합적 덮개 보조정리를 적용하여, 모든 x ∈ X 에 대해 S(x, ε/2) 를 포함하는 유한한 부분집합 Y ⊂ ∂K 를 선택한다. 이 집합의 크기는 O(p^{-1}ε^{-(d+1)/2} log C(d)) 이다.
• Φδ(K) 의 ε/2-근사가 Φδ 와 스케일링 (1−ε)x 를 포함하는 핵심 부등식을 통해 K 의 ε-근사로 이어짐을 증명함으로써, (1−ε)K ⊂ conv(Y) 를 확보한다.
• Blaschke–Santaló 부등식과 그 역을 활용하여 vol(K)vol(K◦) 의 부피 곱을 제어함으로써, 측도 구성과 캡 측도의 하한을 확보한다.

실험 결과

연구 질문

• RQ1 볼록체의 ε-근사에 필요한 정점 수를 대칭성이나 로그 인자를 요구하지 않고 e^{O(d)}ε^{-(d+1)/2} 로 개선할 수 있는가?
• RQ2 모든 구면 캡이 높이 ε 인 경우에 대해 정점의 확률 측도 µ 가 e^{O(d)}ε^{(d−1)/2} 이상의 측도를 가지도록 구성할 수 있는가?
• RQ3 일반 볼록체의 근사 문제를 적절한 미분동형사상을 통해 균일하게 2-볼록체의 경우로 환원할 수 있는가?
• RQ4 모든 ℝ^d 내의 볼록체에 대해, 캡 덮개의 관점에서 유한한 ε-네트워크가 e^{O(d)}ε^{-(d+1)/2} 이하의 원소 수로 존재하는가?
• RQ5 다각체 P 가 (1−ε)K ⊂P ⊂K 를 만족하기 위해 필요한 최소 정점 수는 얼마이며, 이는 로그 인자를 제거하고 달성 가능한가?

주요 결과

• 이 논문은 중심이 원점인 임의의 볼록체 K ⊂ ℝ^d 와 ε ∈ (0, 1/2) 에 대해, (1−ε)K ⊂P ⊂K 를 만족하는 다각체 P 가 존재하며, 이의 정점 수는 최대 e^{O(d)}ε^{-(d+1)/2} 이다.
• 정점 수는 e^{O(d)} 인자 외에는 최적이며, Barvinok의 2012년 결과에서 (log 1/ε)^d 인자를 제거하고 대칭성 가정을 없애는 데서 향상되었다.
• 핵심 기여는 비선형 미분동형사상 Φδ 를 사용해 K 를 균일하게 2-볼록체로 변환하여 고전적 Bronshtein–Ivanov 네트워크의 적용을 가능하게 한 것이다.
• 모든 x ∈ ∂K 와 ε ∈ (0, 1/2) 에 대해 µ(S(x, ε)) ≥ e^{O(d)}ε^{(d−1)/2} 를 만족하는 ∂K 위의 확률 측도 µ 가 구성되었으며, 이는 강력한 덮개 성질을 보장한다.
• 측도 µ 는 ℝ^d 의 선형 자동형사상에 대해 불변이며, K 와 그 쌍대체 K◦ 내의 콘의 부피 비율을 기반으로 정의되며, Santaló 부등식을 활용한다.
• 최종적으로 정점 수에 대한 경계는 O(e^{O(d)}ε^{-(d+1)/2}) 로, d에 대한 지수 인자 외에는 알려진 최고의 경계와 일치하며, 일반 볼록체 클래스에 대해 날카로운 경계이다.