[논문 리뷰] Functional inequalities for Gaussian convolutions of compactly supported measures: explicit bounds and dimension dependence

Jean-Baptiste Bardet, Nathaël Gozlan외 2명|arXiv (Cornell University)|2015. 07. 09.

Geometric Analysis and Curvature Flows참고 문헌 17인용 수 22

한 줄 요약

이 논문은 $ℝ^d$에서 컴팩트하게 지지된 측도와 가우시안의 컨볼루션에 대해 기능 부등식—파인카레 및 로그 소볼레프—에 대해 차원에 의존하는 명시적 상한을 수립한다. 차원에 무관한 파인카레 상수를 증명하고, 작은 분산 조건 하에서 차원에 따라 선형 증가하는 로그 소볼레프 상수에 대한 이전 결과를 향상시킨다.

ABSTRACT

The aim of this paper is to establish various functional inequalities for the convolution of a compactly supported measure and a standard Gaussian distribution on Rd. We especially focus on getting good dependence of the constants on the dimension. We prove that the Poincar{\\'e} inequality holds with a dimension-free bound. For the logarithmic Sobolev inequality, we improve the best known results (Zimmermann, JFA 2013) by getting a bound that grows linearly with the dimension. We also establish transport-entropy inequalities for various transport costs.

연구 동기 및 목표

• 컴팩트하게 지지된 측도와 $ℝ^d$에서의 가우시안의 컨볼루션에 대해 기능 부등식(파인카레 및 로그 소볼레프)에 대한 명시적이고 정량적인 상한을 유도하는 것.
• 특히 낮은 분산 영역($\delta \leq R$)에서 기존의 차원 의존 상한에 대해 로그 소볼레프 상수에 대한 개선을 이루는 것.
• 고차원 확률론과 통계역학에서 핵심적인 역할을 하는, 차원에 무관한 파인카레 부등식 상한을 확립하는 것.
• 상수들이 지지 반경 $R$과 가우시안 분산 $\delta^2$에 어떻게 의존하는지 분석하는 것—특히 고차원에서의 행동을 중심으로 한다.
• 운반-엔트로피 부등식과의 연결을 위해 $\tau$-성질과 볼록성 기법을 활용하여, 기능 부등식에 대한 새로운 접근로를 제공하는 것.

제안 방법

• 컨볼루션의 로그 밀도의 헤시안 하한과 백리-에메르 기준을 활용하여 파인카레 및 로그 소볼레프 상수를 도출한다.
• 유계 및 가우시안 랜덤 변수에 대해 $\tau$-성질을 적용하고, 텐서화 기법을 활용하여 운반-엔트로피 부등식을 유도한다.
• 운반 비용과의 연결을 위해 $\tau$-성질을 특징짓는 인프리멀 콘볼루션 표현식 $Q_s f(x) = \inf_y \{ f(y) + \frac{|x-y|^2}{4s} \}$을 활용한다.
• 특히 $S = X + \delta Z$이고 $C = \delta^2 + 4R^2$일 때, $\mathbb{E}[e^{Q_C g(S)}]\mathbb{E}[e^{-g(S)}] \leq 1$이라는 핵심 부등식을 유도하여 운반-엔트로피 부등식을 확립한다.
• 고즈란 등(2014)의 알려진 등가 결과를 활용하여 운반 부등식을 로그 소볼레프 부등식으로 변환하고, $C_{LS} \leq 8C = 8(\delta^2 + 4R^2)$라는 결과를 도출한다.
• 차원별 분석을 활용: $\delta > R$일 경우, $d$에 독립적인 균일 상한 $C_d(\delta,R) \leq \frac{\delta^4}{\delta^2 - R^2}$을 도출한다.

실험 결과

연구 질문

• RQ1 컴팩트하게 지지된 측도 $\mu$가 $B_d(0,R)$ 내에 있을 때, $\mu \star \mathcal{N}(0, \delta^2 I_d)$의 파인카레 상수가 차원 $d$에 대해 최적의 의존성을 가지는가?
• RQ2 다른 분산 영역에서 로그 소볼레프 상수가 명시적이고 차원 의존성 또는 차원에 무관한 상수로 유계화될 수 있는가?
• RQ3 이 컨볼루션 모델에서 운반-엔트로피 부등식과 기능 부등식은 어떻게 관련되어 있으며, 관련된 최적의 운반 비용은 무엇인가?
• RQ4 이전 결과(예: 지머만, 2014)에 비해 명시적 상수와 차원 의존성 측면에서 어떤 개선이 이루어질 수 있는가?
• RQ5 $\tau$-성질과 볼록성 기법을 활용하여, 비-로그-컨벡스 측도에 대해 컨볼루션을 통해 새로운 날카로운 로그 소볼레프 부등식을 도출할 수 있는가?

주요 결과

• 파인카레 부등식은 차원에 무관한 상수로 성립한다: $C_P(\mu \star \gamma_\delta) \leq \delta^2 \exp(4R^2/\delta^2)$.
• $\delta > R$일 경우, 로그 소볼레프 상수는 차원에 대해 균일하게 유계이다: $C_d(\delta,R) \leq \frac{\delta^4}{\delta^2 - R^2}$.
• 1차원에서 로그 소볼레프 상수는 $C_1(\delta,R) \leq 4\delta^2 \exp(\frac{8}{\pi} \frac{R^2}{\delta^2})$를 만족하며, 이는 이전 결과를 향상시킨다.
• 작은 분산 영역($\delta \leq R$)에서 로그 소볼레프 상수는 차원에 대해 선형적으로 증가한다: $C_d(\delta,R) \leq (K_1 d + K_2 \frac{R^2}{\delta^2}) R^2 \exp(4R^2/\delta^2)$, 여기서 $K_1, K_2$는 일반 상수이다.
• 운반-엔트로피 부등식 $\overline{\mathcal{T}}_2(\nu_1,\nu_2) \leq C(\delta,R) (H(\nu_1|\mu\star\gamma_\delta) + H(\nu_2|\mu\star\gamma_\delta))$ 는 $C(\delta,R) = \delta^2 + 4R^2$로 성립하며, 이는 $\tau$-성질에서 유도된다.
• 운반 부등식은 볼록성과 인프리멀 콘볼루션 기법을 통해 로그 소볼레프 부등식으로 이어지며, 상수 $C_{LS} \leq 8(\delta^2 + 4R^2)$라는 새로운 명시적 상한을 제공한다.