[논문 리뷰] Equivalence of the local and global versions of the $L^p$-Brunn-Minkowski inequality

Eli Putterman|arXiv (Cornell University)|2019. 09. 09.

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

한 줄 요약

이 논문은 $ \mathbb{R}^n$ 내 중심 대칭 볼록체에 대해 $L^p$-Brunn-Minkowski 부등식의 국소적 및 국소적 형태 간의 동치성을 확립한다. $p \in (0,1)$에 대해 추측된 국소 부등식이 국소적 형태로부터 유도됨을 증명하고, 그 반대도 마찬가지로 성립함을 보이며, 핵심 기여는 $p=0$에 대해 2차원에서 국소 $L^p$-Brunn-Minkowski 부등식을 증명함으로써, 강력히 동형인 다면체의 $L^p$-조합과 구면 조화 분석을 통해 평면에서의 로그-Brunner-Minkowski 부등식에 대한 새로운 증명을 제공한다.

ABSTRACT

By studying $L^p$-combinations of strongly isomorphic polytopes, we prove the equivalence of the $L^p$-Brunn-Minkowski inequality conjectured by Böröczky, Lutwak, Yang and Zhang to the local version of the inequality studied by Colesanti, Livshyts, and Marsiglietti and by Kolesnikov and Milman, settling a conjecture of the latter authors. In addition, we prove the local inequality in dimension $2$, yielding a new proof of the $L^p$-Brunn-Minkowski inequality in the plane.

연구 동기 및 목표

• Kolesnikov와 Milman이 제기한 추측을 해결함: 국소 $L^p$-Brunn-Minkowski 부등식이 중심 대칭 볼록체에 대해 국소 $L^p$-Brunn-Minkowski 부등식을 유도함을 증명함.
• 2차원에서 $p=0$에 대해 국소 $L^p$-Brunn-Minkowski 부등식을 증명함으로써, 평면에서의 로그-Brunner-Minkowski 부등식에 대한 새로운 증명을 제공함.
• 강력히 동형인 다면체의 $L^p$-조합을 통해 국소 $L^p$-Brunn-Minkowski 추측과 국소 형태 간의 동치성을 확립함.
• 2차원에서 $p=0$에 대한 국소 부등식이 구면 상의 적분 부등식을 이용해 국소 로그-Brunner-Minkowski 부등식을 유도함을 보임.

제안 방법

• 강력히 동형인 다면체의 $L^p$-조합을 사용하여 $L^p$-Minkowski 조합에 따른 부피의 행동을 분석함.
• 구면 조화 분석 이론을 적용하여 로그-Minkowski 조합을 따라 부피 함수의 두 번째 도함수를 분석함으로써 문제를 구면 상의 적분 부등식으로 환원함.
• 부피 함수의 두 번째 변위를 계산함: $f(\lambda) = \log \operatorname{vol}((1-\lambda)K_0 +_0 \lambda K_1)$이며, $p=0$일 때 $f''(0) \leq 0$임을 보임.
• 국소 부등식이 $C^2_+$ 볼록체에 대해 성립할 경우, 하우스도르프 거리에 대한 근사 및 연속성에 의해 국소 부등식이 모든 중심 대칭 볼록체에 대해 성립함을 보임.
• 혼합 부피 이론과 지지 함수의 성질을 사용하여 $V(zh_K[1], K[n-1])$, $V(zh_K[2], K[n-2])$, $V(z^2 h_K[1], K[n-1])$와 관련된 부등식을 유도하고 변형함.
• 핵심 기술적 단계는 구면 상의 짝수 $C^2$ 함수를 $C^2_+$ 볼록체의 지지 함수의 차로 분해함으로써, 부등식을 매끄럽지 않은 일반적인 대칭 볼록체로 확장함.

실험 결과

연구 질문

• RQ1 중심 대칭 볼록체에 대해 $ \mathbb{R}^n$ 내에서 국소 $L^p$-Brunn-Minkowski 부등식이 국소 $L^p$-Brunn-Minkowski 부등식을 유도하는가?
• RQ2 2차원에서 $p=0$에 대해 국소 $L^p$-Brunn-Minkowski 부등식을 증명할 수 있는가? 이는 평면에서의 로그-Brunner-Minkowski 부등식에 대한 새로운 증명을 제공한다.
• RQ3 $(0,1)$ 내의 $p$에 대해 국소 $L^p$-Brunn-Minkowski 부등식이 국소 $L^p$-Brunn-Minkowski 추측과 동치인가?
• RQ4 강력히 동형인 다면체의 $L^p$-조합을 통해 국소 및 국소 형태 간의 동치성을 확립할 수 있는가?
• RQ5 구면 조화 분석과 혼합 부피 이론은 $p=0$에 대한 국소 부등식을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 2차원에서 $p=0$에 대해 국소 $L^p$-Brunn-Minkowski 부등식이 증명되었으며, 이는 평면에서의 국소 로그-Brunner-Minkowski 부등식을 유도함.
• 모든 $p \in (0,1)$에 대해 국소 $L^p$-Brunn-Minkowski 추측과 국소 형태 간의 동치성이 확립되었으며, Kolesnikov와 Milman의 추측을 해결함.
• 증명은 $C^2_+$ 볼록체에 대해 국소 부등식이 성립할 경우, 하우스도르프 거리에 대한 근사 및 연속성에 의해 모든 중심 대칭 볼록체에 대해 국소 부등식이 성립함을 보임.
• 논문은 로그-Minkowski 조합을 따라 부피 함수의 두 번째 도함수를 분석함으로써, 평면에서의 로그-Brunner-Minkowski 부등식에 대한 새로운 증명을 유도함.
• 국소 및 국소 부등식 간의 동치성을 입증하기 위해, 국소 부등식이 국소 부등식을 유도하고 그 반대도 마찬가지로 성립함을 보였으며, 함수 분해 및 혼합 부피 항등식을 사용함.
• 결과적으로, 2차원에서 $p=0$에 대해 국소 $L^p$-Brunn-Minkowski 부등식이 국소 로그-Brunner-Minkowski 부등식과 동치임을 확인하였으며, 이 증명은 구면 조화 분석에서 유도된 적분 부등식에 기반함.