[논문 리뷰] One more proof of the Alexandrov-Fenchel inequality

Dario Cordero–Erausquin, Bo’az Klartag외 2명|arXiv (Cornell University)|2019. 02. 26.

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

한 줄 요약

이 논문은 볼록기하학에서 혼합체적의 아르고스토프-펜첼 부등식에 대한 새로운 귀납적 증명을 제시한다. 이는 초구형 다항식의 성질과 혼합체적 도함수의 로그볼록성에 기반한다. 문제를 $ f_m(t)^{1/m} $의 볼록성으로 환원함으로써, 볼록뿔 내에서 동차함수와 헤시안 행렬 분석의 새로운 응용을 통해 부등식을 증명한다. 핵심 결과는 $ m \geq 3 $에 대해 $ f_m^{1/m} $의 볼록성이며, 이는 $ m=3 \Rightarrow m=2 $의 환원을 통해 전체 부등식을 이끌어낸다.

ABSTRACT

We present a short proof of the Alexandrov-Fenchel inequalities for mixed volumes of convex bodies.

연구 동기 및 목표

• 기존 접근법에 의존하지 않고 $ \mathbb{R}^n $에서 혼합체적에 대한 아르고스토프-펜첼 부등식에 대한 새로운 간결한 증명을 제공하는 것.
• 함수 $ f_m(t) = V(K_1 + tK_2, \dots, K_1 + tK_2, K_3, \dots, K_{n-m+2}) $에 대해 $ f_m(t)^{1/m} $의 볼록성을 $ m \geq 3 $에 대해 확립함으로써 전체 부등식으로 향하는 핵심 단계를 확립하는 것.
• 알gebraic 환원 보조정리에 의해 $ m=2 $의 경우(표준 아르고스토프-펜첼 부등식)를 $ m=3 $의 경우로 환원하는 것.
• 특히 혼합체적 도함수의 로그볼록성과 제2도함수의 음이 아닌 성질을 포함한 동차함수 프레임워크 내에서 혼합체적의 대칭적 대수적 구조를 활용하는 것.

제안 방법

• 차원 $ n $ 에 대한 귀납법을 사용하며, $ \mathbb{R}^{n-1} $ 에서 부등식이 성립한다고 가정하여 $ \mathbb{R}^n $ 에서의 성립을 증명하는 것.
• 강한 동형성질을 갖는 단순 다면체의 연속성과 함께, 원점이 내부에 있는 다면체의 경우로 문제를 환원하는 것.
• 혼합체적을 $ \text{Minkowski 합의 체적의 } n\text{차 미분계수로 정의하는 동차다항식으로서 민코프스키 정리를 적용하는 것.
• 높이 매개변수 $ h_i $에 따라 달라지는 다면체 $ K[h] $를 고려하여 함수 $ \mathcal{F}(h) = V(K[h], \dots, K[h], K_3, \dots, K_{n-m+2}) $ 를 정의하고, 그 도함수를 분석하는 것.
• $ \partial^i \mathcal{F} $의 첫 번째 도함수가 양이며 로그볼록임을 증명하고, $ \partial^{ij} \mathcal{F} $의 두 번째 도함수가 충분한 비가역성으로 인해 헤시안 행렬의 구조를 유지함을 보이는 것.
• 일반적인 추상적 보조정리(보조정리 3)의 응용: 볼록뿔 위에서 $ p $-동차함수 $ f $ 가 첫 번째 도함수가 로그볼록이고 헤시안 행렬 원소가 음이 아닌 경우, $ f^{1/p} $ 는 볼록임을 보여주는 것.

실험 결과

연구 질문

• RQ1 혼합체적의 $ f_m(t)^{1/m} $의 볼록성에 기반한 귀납적 증명을 통해 아르고스토프-펜첼 부등식을 증명할 수 있는가?
• RQ2 알gebraic 환원을 통해 $ m=3 $의 경우가 $ m=2 $의 경우를 함의하는가?
• RQ3 혼합체적 도함수에 대해 $ f_m^{1/m} $ 의 볼록성을 보장하는 최소한의 대수적 및 기하적 조건는 무엇인가?
• RQ4 $ f_m^{1/m} $ 의 볼록성을 동차성과 첫 번째 도함수의 로그볼록성, 두 번째 도함수의 음이 아닌 성질만을 이용하여 확립할 수 있는가?

주요 결과

• $ f_m(t)^{1/m} $ 는 $ m \geq 3 $ 에 대해 $ \mathbb{R}^+ $ 에서 볼록함을 보이며, 이는 차원 $ n $ 에서 아르고스토프-펜첼 부등식이 성립함을 뜻한다. 이는 $ n-1 $ 차원에서의 결과가 성립한다고 가정할 때 성립한다.
• $ m=2 $ 의 아르고스토프-펜첼 부등식은 보조정리 1을 통해 $ m=3 $ 의 경우로 환원되며, 이는 대칭 3선형형식으로 환원되고, 헤르망더의 책에서 얻은 결과를 활용한다.
• $ \mathcal{F} $ 의 첫 번째 도함수 $ \partial^i \mathcal{F} $ 는 비례적으로 $ \mathbb{R}^{n-1} $ 에서의 혼합체적을 이루며, 귀납법에 의해 이들이 로그볼록임이 알려져 있다.
• $ \nabla^2 \mathcal{F} $ 의 헤시안 행렬은 비가역적이며 비대각성분이 음이 아니므로, 보조정리 3의 증명에서 페르로-프로베니우스 정리의 적용이 가능하다.
• $ \mathcal{F} $ 는 $ m $-동차이며 보조정리 3의 조건을 만족하므로 $ \mathcal{F}^{1/m} $ 는 볼록함을 보이며, 이는 $ f_m^{1/m} $ 의 볼록성 증명에 기여한다.
• 이 증명은 첫 번째 도함수의 로그볼록성과 헤시안 행렬 원소의 음이 아닌 성질을 갖는 동차함수의 일반적 성질을 바탕으로 아르고스토프-펜첼 부등식을 도출함으로써, 깔끔한 대수기하학적 통합적 접근을 제공한다.