[논문 리뷰] The isotropic position and the reverse Santaló inequality

Apostolos Giannopoulos, Grigoris Paouris외 1명|arXiv (Cornell University)|2011. 12. 13.

Point processes and geometric inequalities참고 문헌 17인용 수 6

한 줄 요약

이 논문은 유클리드 공간에서의 등방성 위치를 이용하여 역 산탈로 부등식, $M$-타원체의 존재성, 그리고 역 브룬너-민코프스키 부등식에 대한 새로운 볼록기하학적 증명을 제시한다. 등방성 위치의 성질과 볼록기하학 및 로그볼록측도의 기본 도구를 활용하여, 등방성 상수가 유계인 모든 볼록체가 역 산탈로 부등식을 만족함을 입증하며, 이는 차원에 관계없이 일관된 하한 $s(K)^{1/n}$을 갖는다.

ABSTRACT

We present proofs of the reverse Santaló inequality, the existence of M-ellipsoids and the reverse Brunn-Minkowski inequality, using purely convex geometric tools. Our approach is based on properties of the isotropic position.

연구 동기 및 목표

• 등방성 위치와 볼록기하학 도구를 이용한 역 산탈로 부등식의 새로운, 기본적인 증명 제공.
• 등방성 위치와 체적 비교를 통한 중심이 있는 모든 볼록체에 대한 $M$-타원체의 존재성 입증.
• 역 산탈로 부등식과 등방성 성질을 바탕으로 역 브룬너-민코프스키 부등식 유도.
• 볼록체와 로그볼록측도의 기본 도구만을 사용하여 渐近 볼록기하학의 핵심 결과를 통합하고 재유도.
• 등방성 상수가 유계이면 역 산탈로 부등식이 성립하며, 이는 모든 볼록체로 확장됨을 보여줌.

제안 방법

• 볼록체의 등방성 위치를 표준형으로 사용하며, 체적 1, 원점 기준, 정규화된 관성 행렬을 정의.
• 밀먼의 기법에 영감을 받은 일단계 이sovolumetric 대칭화 방법을 적용하여 핵심 기하학적 매개변수 유지.
• 클라르타그의 방법을 활용한 볼록 변형을 통해 체적과 쌍대성의 작은 변형에서의 행동 제어.
• 브룬너-민코프스키 부등식의 고전적 결과를 활용하여 체적 비교 추정 유도.
• $K$의 체적을 유지하는 선형 이미지인 $M$-타원체 ${\cal E}_K$를 정의하여 $K$와 ${\cal E}_K$가 커버링 수 측면에서 균일한 인자로 유사함.
• 커버링 수 $N(K, T)$와 그 이중성을 활용하여 $|K+T|^{1/n}$과 $|{\cal E}_K + T|^{1/n}$을 연결함으로써, 역 브룬너-민코프스키 부등식을 확립.

실험 결과

연구 질문

• RQ1 역 산탈로 부등식은 등방성 위치와 볼록기하학 도구만으로 증명될 수 있는가?
• RQ2 등방성 상수가 유계인 모든 볼록체가 역 산탈로 부등식을 만족하는가?
• RQ3 $M$-타원체의 존재성은 등방성 위치와 기본 볼록기하학을 통해 입증될 수 있는가?
• RQ4 등방성 위치에 있는 볼록체의 애핀 변환에 대해 균일한 역 브룬너-민코프스키 부등식이 존재하는가?
• RQ5 등방성 프레임워크에서 역 산탈로 부등식, $M$-타원체 존재성, 그리고 渐近 체적 곱은 어떻게 관련되어 있는가?

주요 결과

• 모든 중심이 있는 볼록체에 대해 균일한 하한이 존재하는 역 산탈로 부등식이 성립한다: $\left(\frac{s(K)}{s(B_2^n)}\right)^{1/n} \geq c$ ($c>0$ 인 절대 상수), 등방성 위치와 볼록 변형을 통해 증명.
• 등방성 상수가 유계인 모든 볼록체는 역 산탈로 부등식을 만족하며, 이는 밀도와 연속성의 논리로 모든 볼록체로 확장된다.
• 모든 중심이 있는 볼록체 $K$에 대해 $M$-타원체 ${\cal E}_K$가 존재하여 $|K| = |{\cal E}_K|$ 이고, 커버링 수 $N(K, {\cal E}_K)$, $N({\cal E}_K, K)$ 가 절대 상수 $c$ 에 대해 $e^{cn}$ 으로 균일하게 유계이다.
• 역 브룬너-민코프스키 부등식이 성립한다: 임의의 중심이 있는 볼록체 $K$ 와 임의의 볼록체 $T$ 에 대해 $|K+T|^{1/n} \simeq |{\cal E}_K + T|^{1/n}$ 이며, 전역 상수 인자 $e^{c + \log 8}$ 을 가진다.
• 체적 곱 $s(K) = |K||K^\circ|$ 는 $e^{-2(c + \log 8)} s(B_2^n) \leq s(K) \leq e^{2(c + \log 8)} s(B_2^n)$ 를 만족하며, 고전적 부등식과 역 부등식이 渐近적으로 동치임을 보여준다.
• $M$-위치는 $K$, $K^\circ$, 그리고 그들의 $M$-타원체 간의 커버링 수가 균일하게 유계임을 보장하여, 브룬너-민코프스키 부등식의 부분적인 역을 가능하게 한다.