[논문 리뷰] Brunn-Minkowski type inequality for product measures and unconditional convex bodies

Piotr Nayar, Artem Zvavitch|arXiv (Cornell University)|2015. 04. 19.

Point processes and geometric inequalities참고 문헌 12인용 수 3

한 줄 요약

이 논문은 ℝⁿ 상에서 대칭적이고 단모양인 밀도를 가진 곱측도에 대해 브룬-민코프스키 유형 부등식을 수립하며, 두 집합의 미량합에 대한 μ-측도가 그 측도들의 가중기하평균보다 크거나 같음을 증명한다. 주요 결과는 측도에 대한 최소한의 대칭성과 단모양 조건 하에서 가우시안 브룬-민코프스키 부등식을 무조건적 볼록체로 확장한다.

ABSTRACT

We show that for any product measure $\mu=\mu_1 \otimes \ldots \otimes \mu_n$ on $\mathbb{R}^n$, where $\mu_i$ have symmetric unimodal densities, the inequality \[ \mu(\lambda A + (1-\lambda)B)^{1/n} \geq \lambda \mu(A)^{1/n} + (1-\lambda)\mu(B)^{1/n} \] holds true for any non-empty ideals $A,B \subseteq \mathbb{R}^n$. In addition, we deduce $\frac{1}{n}$-concavity of the parallel volumes $t \mapsto \mu(A+tB)$, Brunn's type theorem, as well as certain analogues of Minkowski first inequality. We also provide examples showing optimality of our assumptions. As a consequence of the above result, the Gaussian Brunn-Minkowski inequality holds true in the case of unconditional convex sets.

연구 동기 및 목표

• ℝⁿ 상의 곱측도 μ = μ₁ ⊗ … ⊗ μₙ에 대해 대칭적이고 단모양인 밀도를 가진 브룬-민코프스키 유형 부등식을 수립하기.
• 측정 가능한 집합 A, B에 대해 t ↦ μ(A + tB)의 평행 체적 함수의 볼록성 성질을 조사하기.
• 곱측도의 맥락에서 민코프스키의 첫 번째 부등식의 유사체를 도출하기.
• 대칭성과 단모양 조건이 최적임을 반례를 통해 보여주기.
• 가우시안 브룬-민코프스키 부등식을 무조건적 볼록체의 클래스로 확장하기.

제안 방법

• 대칭적이고 단모양인 마진발 분포를 가진 곱측도의 구조를 활용하여 집합의 볼록 조합에 대한 함수적 부등식을 유도하기.
• 일반화된 형태의 프레코파-라인들러 부등식을 적용하여 미량합 측도의 μ-볼록성 확보하기.
• 비어있고 측정 가능한 ℝⁿ의 부분집합인 이상집합(ideal sets)의 개념을 활용하여, 볼록체를 초월한 일반화된 부등식 유도하기.
• 주요 부등식과 로그볼록측도의 성질을 이용하여 t ↦ μ(A + tB)의 1/n-볼록성 도출하기.
• 대칭성 또는 단모양 조건을 제거할 경우 부등식이 성립하지 않는 구체적인 예를 구성하여 조건의 날카로움을 증명하기.
• 주요 결과를 표준 가우시안 측도에 적용하여, 무조건적 볼록체에 대해 브룬-민코프스키 부등식이 성립함을 보여주기.

실험 결과

연구 질문

• RQ1 기저 측도가 로그볼록측도가 아니더라도, 대칭적이고 단모양인 밀도를 가진 곱측도에 대해 브룬-민코프스키 부등식이 성립하는가?
• RQ2 이러한 측도 하에서 평행 체적 함수 t ↦ μ(A + tB)의 정확한 볼록성 성질은 무엇인가?
• RQ3 완전한 로그볼록성보다 약한 조건 하에서도 가우시안 브룬-민코프스키 부등식을 무조건적 볼록집합으로 확장할 수 있는가?
• RQ4 부등식이 성립하기 위해 마진발 분포에 대한 대칭성과 단모양 조건이 필수적인가?
• RQ5 이 일반화된 곱측도 프레임워크에서 민코프스키의 첫 번째 부등식의 유사체는 무엇인가?

주요 결과

• 주어진 측도 조건 하에서 모든 비어있고 측정 가능한 집합 A, B ⊆ ℝⁿ에 대해 부등식 μ(λA + (1−λ)B)^{1/n} ≥ λμ(A)^{1/n} + (1−λ)μ(B)^{1/n} 가 성립한다.
• 모든 측정 가능한 A, B에 대해 t ↦ μ(A + tB)는 [0, ∞)에서 1/n-볼록이며, 이는 고전적 브룬의 정리의 일반화이다.
• 논문은 대칭적이고 단모양인 밀도를 가진 곱측도 맥락에서 민코프스키 유형의 첫 번째 부등식을 증명한다.
• 대칭성과 단모양 조건이 최적임을 보여주는 예가 구성되었으며, 이 조건을 위반할 경우 반례가 존재한다.
• 가우시안 브룬-민코프스키 부등식이 무조건적 볼록체에 대해 성립함을 입증하여, 기존 결과를 더 넓은 집합 클래스로 확장한다.
• 주요 부등식은 볼록체가 아닌 모든 이상집합(비어있고 측정 가능한 집합)에도 성립하므로 적용 범위가 넓어진다.