[논문 리뷰] A quantitative stability result for the Prékopa-Leindler inequality for arbitrary measurable functions

Károly J. Böröczky, Alessio Figalli외 1명|arXiv (Cornell University)|2022. 01. 27.

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 모든 차원에서 임의의 가측 함수에 대해 Prékopa–Leindler 부등식의 정량적 안정성 추정을 수립하며, 등호가 거의 성립하는 함수들은 곱셈과 스케일링에 대해 공통의 로그볼록 함수에 가까워져야 한다고 증명한다. 결과적으로 계산 가능한 상수를 제공하며, 볼록 집합을 초월해 일반적인 가측 함수로 안정성 이론을 확장한다.

ABSTRACT

We prove that if a triplet of functions satisfies almost equality in the Prékopa-Leindler inequality, then these functions are close to a common log-concave function, up to multiplication and rescaling. Our result holds for general measurable functions in all dimensions, and provides a quantitative stability estimate with computable constants.

연구 동기 및 목표

• 등호가 거의 성립할 때 Prékopa–Leindler 부등식의 정량적 안정성 결과를 수립하기 위해.
• 볼록 집합을 초월해 임의의 차원에서 일반적인 가측 함수로 안정성 분석을 확장하기 위해.
• 부등식의 부족함에 따라 공통의 로그볼록 함수까지의 거리에 대한 명시적이고 계산 가능한 경계를 제공하기 위해.
• Brunn–Minkowski 및 Prékopa–Leindler 부등식에 대한 기존의 안정성 결과를 비볼록, 가측 함수 설정으로 일반화하기 위해.
• 스케일링과 이동에 대해 거의 최적화된 함수들이 공통의 로그볼록 함수에 얼마나 가까워야 하는지 질문을 해결하기 위해.

제안 방법

• R^n+1에서 초수준 집합의 기하학과 함수 안정성을 연결하기 위해 초수준 집합 기법을 사용하기 위해.
• 원래 함수를 근사하기 위해 초수준 집합의 점별 상한을 통해 보조 로그볼록 함수 ˜f, ˜g, ˜h를 구성하기 위해.
• 초수준 집합을 통한 적분을 통해 L1 거리 계산을 위해 Fubini 정리를 적용하기 위해.
• 대칭 차이가 작은 수준 s0를 선택하기 위해 Chebyshev 부등식을 활용하기 위해.
• 선택된 높이 s0에서 함수를 잘라내어 L1 오차를 통제할 수 있는 새로운 로그볼록 근사 함수 ˜f1, ˜g1, ˜h1를 생성하기 위해.
• Prékopa–Leindler 부등식의 구조와 삼각 부등식을 활용하여 원래 함수와 근사 함수 사이의 총 L1 거리를 경계하기 위해.

실험 결과

연구 질문

• RQ1 세 가측 함수가 Prékopa–Leindler 부등식을 거의 만족시킬 경우, 이들은 공통의 로그볼록 함수에 얼마나 가까이 있어야 하는가?
• RQ2 지표 함수나 로그볼록 함수가 아닌 일반적인 가측 함수에 대해 적용 가능한 Prékopa–Leindler 부등식의 정량적 안정성 추정을 수립할 수 있는가?
• RQ3 고차원에서 Prékopa–Leindler 부등식의 안정성 추정에 명시적이고 계산 가능한 상수는 무엇인가?
• RQ4 부등식의 부족함과 등호에서의 거리에 영향을 주는 매개변수 τ에 따라 안정성 오차는 어떻게 척도화되는가?
• RQ5 비볼록 가측 함수로 안정성 결과를 확장하면서도 L1 노름과 초수준 집합 차이에 대한 정량적 통제를 유지할 수 있는가?

주요 결과

• 세 가측 함수가 Prékopa–Leindler 부등식을 거의 만족시킬 경우, 스케일링과 이동을 고려하면 공통의 로그볼록 함수까지 L1 거리가 순서 τ^{-N'_n} ε^{γ_n(τ) Q(τ)/16} |log ε|^{ρ_n(τ)} 이내에 있다.
• 이 안정성 추정은 모든 차원 n ≥ 2에서 성립하며, 볼록 또는 로그볼록 함수가 아닌 임의의 가측 함수에 적용된다.
• 안정성 경계의 상수는 명시적으로 계산 가능하며, γ_n(τ) = τ^{3n}/(2^{3n+1} n^{3n} |log τ|^{3n}) 이고 N'_n는 오직 n에만 의존한다.
• 부족함 ε는 충분히 작아야 하며, 특히 ε < c_n e^{-M_n(τ)} 이어야 하며, 여기서 M_n(τ)는 |log τ|와 An(τ), ρ_n(τ), Q(τ)의 비율에 비례한다.
• 이전의 안정성 추정에 비해, 원래 함수와 공통의 로그볼록 함수 사이의 대칭 차이를 통제함으로써 개선된 결과를 얻었다.
• 충분히 작은 ε 조건 하에서, 공통의 로그볼록 함수까지의 L1 거리에 대한 최종 경계는 순서 τ^{-N'_n - n - 1} ε^{γ_n(τ) Q(τ)/32} |log ε|^{ρ_n(τ)} 이며, 모든 상수는 명시적으로 계산 가능하다.