[논문 리뷰] The infinitesimal form of Brunn-Minkowski type inequalities

Andrea Colesanti, Galyna V. Livshyts외 1명|arXiv (Cornell University)|2016. 06. 18.

Point processes and geometric inequalities참고 문헌 22인용 수 4

한 줄 요약

이 논문은 구 근처의 회전 불변 로그볼록 측도 하에서 로그-브룬너-민코프스키 부등식과 차원 브룬너-민코프스키 부등식의 안정성 결과를 수립하고, 그 무한소 형태를 도출한다. 조건부 및 평면 대칭 볼록 집합에 대해 강력한 푸앵카레 유형 부등식을 증명하고, 임의의 측도에 대해 B-예측의 무한소 형태를 제공한다.

ABSTRACT

Log-Brunn-Minkowski inequality was conjectured by Bor\oczky, Lutwak, Yang and Zhang \cite{BLYZ}, and it states that a certain strengthening of the classical Brunn-Minkowski inequality is admissible in the case of symmetric convex sets. It was recently shown by Nayar, Zvavitch, the second and the third authors \cite{LMNZ}, that Log-Brunn-Minkowski inequality implies a certain dimensional Brunn-Minkowski inequality for log-concave measures, which in the case of Gaussian measure was conjectured by Gardner and Zvavitch \cite{GZ}. In this note, we obtain stability results for both Log-Brunn-Minkowski and dimensional Brunn-Minkowski inequalities for rotation invariant log-conave measures near a ball. Remarkably, the assumption of symmetry is only necessary for Log-Brunn-Minkowski stability, which emphasizes an important difference between the two conjectured inequalities. Also, we determine the infinitesimal version of the log-Brunn-Minkowski inequality. As a consequence, we obtain a strong Poincar\'{e}-type inequality in the case of unconditional convex sets, as well as for symmetric convex sets on the plane. Additionally, we derive an infinitesimal equivalent version of the B-conjecture for an arbitrary measure.

연구 동기 및 목표

• 회전 불변 로그볼록 측도 하에서 구 근처의 로그-브룬너-민코프스키 부등식에 대한 안정성 결과를 수립하기.
• 로그-브룬너-민코프스키 부등식의 무한소 형태를 도출하고, 푸앵카레 유형 부등식에 대한 함의를 분석하기.
• 로그볼록 측도에 대한 로그-브룬너-민코프스키 부등식과 차원 브룬너-민코프스키 부등식 사이의 관계를 조사하기.
• 임의의 측도에 대해 B-예측의 무한소 형태를 제공하기.
• 대칭의 역할이 로그-브룬너-민코프스키 부등식의 안정성과 차원 버전에 비해 어떻게 다를지 명확히 하기.

제안 방법

• 유클리드 구 근처의 안정성 분석을 활용하여 로그-브룬너-민코프스키 부등식에 대한 정량적 추정을 도출한다.
• 변분 방법과 무한소 변형을 적용하여 로그-브룬너-민코프스키 부등식의 무한소 형태를 유도한다.
• 회전 불변 로그볼록 측도의 구조를 활용하여 작은 변형 하에서 볼록 집합의 행동을 분석한다.
• 무한소 형태를 사용하여 조건부 및 평면 대칭 볼록 집합에 대해 푸앵카레 유형 부등식을 유도한다.
• 반경 방향 변형 하에서 측도의 이차 미분을 연결하여 B-예측의 무한소 형태를 수립한다.
• 기존의 에탱다르 및 로그볼록 측도 이론의 결과에 기반하여 무한소 형태가 전역 부등식과 어떻게 연결되는지 밝힌다.

실험 결과

연구 질문

• RQ1 로그-브룬너-민코프스키 부등식은 구 근처에서 작은 변형 하에 어떻게 행동하며, 어떤 안정성 추정을 이끌어낼 수 있는가?
• RQ2 로그-브룬너-민코프스키 부등식의 무한소 형태는 무엇이며, 푸앵카레 유형 부등식과 어떻게 관련되는가?
• RQ3 대칭은 로그-브룬너-민코프스키 부등식의 안정성과 차원 브룬너-민코프스키 부등식의 안정성과 비교해 어떻게 영향을 미치는가?
• RQ4 임의의 측도에 대해 B-예측의 무한소 형태를 도출하고 특성화할 수 있는가?
• RQ5 무한소 형태는 조건부 및 평면 대칭 볼록 집합에 대해 어떤 함의를 갖는가?

주요 결과

• 로그-브룬너-민코프스키 부등식의 무한소 형태가 유도되어, 이차 미분을 통한 국소적 특성화를 제공한다.
• 조건부 볼록 집합과 평면에서 대칭 볼록 집합에 대해 강력한 푸앵카레 유형 부등식이 수립된다.
• 구 근처에서 로그-브룬너-민코프스키 부등식의 안정성이 증명되며, 대칭이 이 안정성에 필수적임을 확인한다.
• 로그볼록 측도에 대한 차원 브룬너-민코프스키 부등식이 작은 변형 하에서도 안정됨이 입증되며, 대칭 조건이 필요하지 않다.
• 임의의 회전 불변 로그볼록 측도에 대해 B-예측의 무한소 형태가 도출된다.
• 결과들은 두 부등식 사이의 근본적인 차이를 부각시킨다: 대칭은 로그-브룬너-민코프스키 안정성에 필수적이지만, 차원 버전에는 그렇지 않다.