[논문 리뷰] Near Equality in the Brunn-Minkowski Inequality

Michael Christ|arXiv (Cornell University)|2012. 07. 20.

Point processes and geometric inequalities참고 문헌 7인용 수 21

한 줄 요약

이 논문은 ℝᵈ 내의 Borel 셋 쌍이 Brunn-Minkowski 부등식에서 거의 등호를 달성할 경우, 그 셋들은 거의 동형 볼록 셋에 포함되어야 하며, 이는 기존의 d=1,2 차원 결과를 모든 차원으로 확장한 것으로, 새로운 대칭화 기법을 사용한다. 주요 기여는 근사 등호가 성립할 경우, 측도 오차가 근사 등호 매개변수 δ에 의해 제어되는 바에 따라 근사 볼록성과 동형성으로 이어진다는 정량적 안정성 결과를 보여주는 것이다.

ABSTRACT

A pair of subsets of Euclidean space which nearly achieves equality in the Brunn-Minkowski inequality must nearly coincide with a pair of homothetic convex sets. The two-dimensional case was treated in a previous paper in this series by an argument which does not seem to generalize to higher dimensions. Here the result is extended to arbitrary dimensions. An induction on the dimension, a symmetrization argument, and a description of near solutions of an additive functional equation are used to establish sufficient regularity to set up a compactness argument.

연구 동기 및 목표

• ℝᵈ 내의 Borel 셋 쌍 중 Brunn-Minkowski 부등식에서 거의 등호를 달성하는 셋들을 특성화하는 것.
• 기존의 d=1 및 d=2 차원에 대한 안정성 결과를 모든 차원 d≥1으로 확장하는 것.
• 이러한 거의 등호를 달성하는 셋들이 근사적으로 동형 볼록 셋에 포함되어야 하며, 측도 오차가 근사 등호 매개변수 δ에 의해 제어된다는 것을 보이는 것.
• 유도적 증명을 위한 고차원에서의 응용이 가능한 구조적 정보를 유지하면서도 전체적으로 대칭화하지 않는 새로운 대칭화 방법을 개발하는 것.

제안 방법

• 완전히 타원체로 대칭화하지 않고도 대칭성을 증가시키는 부분 대칭화(A♮, B♮)를 정의하여 집합 A, B에 적용한다.
• |A♮ + B♮| ≤ |A + B|라는 성질을 사용하여 대칭화된 집합과 원래 부등식을 연결한다.
• ℝᵈ를 ℝᵈ⁻¹ × ℝ¹로 분해하여 차원에 대한 귀납법을 적용하며, ℝ¹ 및 ℝᵈ⁻¹에서의 알려진 결과를 활용한다.
• 근사 볼록성을 분석하기 위해 함수방정식 접근법을 사용하며, 조건 |tφ(x′) + (1−t)ψ(x″) − ζ(tx′ + (1−t)x″)| ≤ γ를 고려한다.
• 측도를 보존하는 애핀 변환을 사용하여, φ, ψ, ζ가 큰 부분집합에서 구간 위에서 거의 선형이 되도록 표준형으로 줄인다.
• 모든 방향에 대해 컴actness 및 회전 대칭성 논증을 적용하여 국소적 근사 볼록성에서 전역적 근사 볼록성으로 결론을 강화한다.

실험 결과

연구 질문

• RQ1 ℝᵈ 내의 A, B ⊂ ℝᵈ 가 Brunn-Minkowski 부등식에서 거의 등호를 달성하는 것을 특성화할 수 있는가?
• RQ2 Brunn-Minkowski 부등식에서 등호의 안정성이 고차원 d ≥ 3 에서 어떻게 행동하는가?
• RQ3 근사 등호를 달성하는 집합의 구조를 정량적으로 동형 볼록 집합과 연결할 수 있는가?
• RQ4 부분 대칭화가 안정성 분석에 필요한 기하학적 및 측도론적 정보를 얼마나 잘 유지하는가?
• RQ5 함수방정식 접근법은 고차원 합집합 부등식에서의 근사 등호를 다루기 위해 어떻게 수정될 수 있는가?

주요 결과

• 모든 d ≥ 1 에 대해, |A + B|^{1/d} ≤ |A|^{1/d} + |B|^{1/d} + δ(max(|A|,|B|))^{1/d} 이면, A 와 B 는 거의 동형 볼록 집합에 포함되어 있다.
• A 와 αK + u, B 와 βK + v 사이의 대칭차집합의 측도는 ε(δ)max(|A|,|B|) 이하로 유계이며, δ → 0 일 때 ε(δ) → 0 이다.
• 결과는 모든 d 에 대해 균일하게 성립하며, 오차 ε(δ) 는 δ 와 비율 |A|/|B| ∈ Λ ⊂ (0,∞) 에만 의존한다.
• 대칭화 기법 덕분에 문제를 측도가 유사한 저차원 사례로 축소시켜 고차원에서의 귀납법을 성공적으로 진행할 수 있다.
• 증명은 근사 등호가 원래의 임의의 Borel 집합일지라도, 집합들이 거의 볼록적이고 동형임을 강제함을 보여준다.
• 지역적 근사 볼록성에서 전역적 구조를 유도하기 위해, 회전에 대한 컴팩트니스 논증과 함수방정식의 측도론적 제어를 사용한다.