[논문 리뷰] Remarks on the conjectured log-Brunn-Minkowski inequality

Christos Saroglou|arXiv (Cornell University)|2013. 11. 20.

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

한 줄 요약

이 논문은 좌표 평면에 대해 대칭인 무조건적 볼록체에 대해 log-Brunn-Minkowski 추측을 증명한다. 로그적 변수 치환 후 Prékopa-Leindler 부등식을 활용함으로써 이루어지며, 핵심 결과로는 부등식의 성립과 등호 조건을 완전히 규명한다. 등호 조건은 한 볼록체가 다른 볼록체의 정의적 대칭 행렬 변환임과 동치임을 보여주며, 이는 Lp 부등식과 로그적 Minkowski 문제로 확장된다.

ABSTRACT

\footnotesize Böröczky, Lutwak, Yang and Zhang recently conjectured a certain strengthening of the Brunn-Minkowski inequality for symmetric convex bodies, the so-called log-Brunn-Minkowski inequality. We establish this inequality together with its equality cases for pairs of unconditional convex bodies with respect to some orthonormal basis. Applications of this fact are discussed. Moreover, we prove that the log-Brunn-Minkowski inequality is equivalent to the (B)-Theorem for the uniform measure of the cube (this has been proven by Cordero-Erasquin, Fradelizi and Maurey for the gaussian measure instead).

연구 동기 및 목표

• 무조건적 볼록체에 대해 log-Brunn-Minkowski 추측을 증명하기.
• 이러한 볼록체에 대해 log-Brunn-Minkowski 부등식의 등호 조건을 규명하기.
• 정육면체 위의 균일 측도에 대해 log-Brunn-Minkowski 부등식과 (B)-정리 사이의 동치성을 확립하기.
• 무조건적 볼록체에 대해 0 < p < 1 인 Lp-Brunn-Minkowski 및 Lp-Minkowski 부등식의 성립을 확장하기.

제안 방법

• 무조건적 볼록체의 0-합성에 대한 로그적 변환에 대해 Prékopa-Leindler 부등식을 적용하기.
• 변수 치환 zi ↦ ezi 를 통해 0-합성의 체적과 Prékopa-Leindler 설정을 연결하기.
• log-Brunn-Minkowski 부등식에서 등호가 성립하는 것은 한 볼록체가 다른 볼록체의 정의적 대칭 행렬 변환임과 동치임을 증명하기.
• 표면 측도의 지지집합을 분석하고 H"older 부등식을 사용하여 등호 조건을 기약 성분으로 환원하기.
• 좌표 부분공간에 사영하여 곱의 0-합성이 부등식을 만족함을 보여주기.
• 부분공간 농도 조건을 사용하여 log-Brunn-Minkowski 부등식을 로그적 Minkowski 문제와 연결하기.

실험 결과

연구 질문

• RQ1 log-Brunn-Minkowski 부등식은 모든 대칭 볼록체, 특히 무조건적 볼록체에 대해 성립하는가?
• RQ2 무조건적 설정에서 log-Brunn-Minkowski 부등식의 정확한 등호 조건은 무엇인가?
• RQ3 정육면체 위의 균일 측도에 대해 log-Brunn-Minkowski 부등식은 (B)-정리와 동치인가?
• RQ4 0 < p < 1 인 Lp-Brunn-Minkowski 및 Lp-Minkowski 부등식은 무조건적 볼록체로 확장될 수 있는가?
• RQ5 콘 볼륨 측도는 무조건적 경우에서 log-Brunn-Minkowski 부등식과 어떻게 관련되는가?

주요 결과

• 동일한 정규직교 기저에 대해 모든 무조건적 볼록체 쌍에 대해 log-Brunn-Minkowski 부등식이 성립한다.
• log-Brunn-Minkowski 부등식에서 등호가 성립하는 것은 한 볼록체가 다른 볼록체의 정의적 대칭 행렬 변환임과 동치이다.
• 부등식은 무조건적 설정에서 Lp-Brunn-Minkowski 및 Lp-Minkowski 부등식을 유도한다.
• Lp 부등식의 등호 조건은 동일한 대칭 행렬 변환 조건으로 완전히 규명된다.
• log-Brunn-Minkowski 부등식은 정육면체 위의 균일 측도에 대해 (B)-정리와 동치이다.
• 무조건적 볼록체의 콘 볼륨 측도는 부분공간 농도 조건을 만족하며, 이는 로그적 Minkowski 문제와 연결된다.