[논문 리뷰] Wasserstein Stability of the Entropy Power Inequality for Log-Concave Densities

Thomas A. Courtade, Max Fathi외 1명|arXiv (Cornell University)|2016. 10. 25.

Markov Chains and Monte Carlo Methods참고 문헌 32인용 수 11

한 줄 요약

이 논문은 최적 운반 이론을 활용하여 균일하게 로그볼록 밀도를 가진 경우에 대한 엔트로피 능력 부등식(EPI)의 정량적 안정성 추정을 수립한다. EPI의 결함이 작을 경우, 기저가 되는 측도들이 2차 워샤르슈타인 거리에서 가우시안에 가까워져야 하며, 이는 차원에 의존하지 않는 경계를 가진다. 핵심 기여는 EPI의 결함에 대해 워샤르슈타인 거리에 의한 차원에 의존하지 않는 하한을 제시함으로써, 로그볼록성 하에서 근접한 포화는 근접한 가우시안성을 의미함을 증명하는 것이다.

ABSTRACT

We establish quantitative stability results for the entropy power inequality (EPI). Specifically, we show that if uniformly log-concave densities nearly saturate the EPI, then they must be close to Gaussian densities in the quadratic Wasserstein distance. Further, if one of the densities is log-concave and the other is Gaussian, then the deficit in the EPI can be controlled in terms of the $L^1$-Wasserstein distance. As a counterpoint, an example shows that the EPI can be unstable with respect to the quadratic Wasserstein distance when densities are uniformly log-concave on sets of measure arbitrarily close to one. Our stability results can be extended to non-log-concave densities, provided certain regularity conditions are met. The proofs are based on optimal transportation.

연구 동기 및 목표

• 밀도가 균일하게 로그볼록일 때 엔트로피 능력 부등식(EPI)에 대해 차원에 의존하지 않는 정량적 안정성 추정을 수립하는 것.
• EPI의 근접 포화가 2차 워샤르슈타인 거리에서 가우시안 측도에 가까움을 의미함을 보이는 것.
• 정규성 조건이 위반될 경우 안정성의 실패를 반례를 통해 분석하는 것.
• 적절한 정규성 조건 하에서 비로그볼록 밀도로의 안정성 결과 확장하는 것.
• 한 측도가 가우시안일 경우 $L^1$-워샤르슈타인 거리에 대한 결함 추정을 제공하는 것.

제안 방법

• 증명은 주로 로그볼록 측도에 대한 브라니에 지도와 그 성질을 활용한 최적 질량 운반 이론에 기반한다.
• 저자들은 측도가 가우시안에 얼마나 가까운지를 측정하기 위해 2차 워샤르슈타인 거리 $W_2$ 를 메트릭으로 사용한다.
• 가우시안 목표 $\gamma_1, \gamma_2$ 에 대해 $W_2^2(\mu,\gamma_1) + W_2^2(\nu,\gamma_2) + W_2^2(\gamma_1,\gamma_2)$ 에 대한 EPI 결함 $\delta_{\mathsf{EPI},t}(\mu,\nu)$ 의 하한을 유도한다.
• 운반 지도를 제어하기 위해 바크리-에메르 조건과 잠재력의 강한 볼록성을 활용한다.
• 반경 대칭을 위해 저자들은 측도를 대칭화하고 1차원 추정을 사용하여 운반 지도의 도함수를 근사한다.
• 운반 지도의 도함수 성장률을 제어하기 위해 체저 유형 부등식과 가우시안 측도의 尾부 추정을 적용한다.

실험 결과

연구 질문

• RQ1 EPI의 근접 포화가 워샤르슈타인 거리에서 기저 측도가 가우시안에 가까워지게 하는 조건은 무엇인가?
• RQ2 EPI의 결함이 가우시안에 대한 워샤르슈타인 거리의 함수로 하한을 가질 수 있으며, 이 하한이 차원에 의존하지 않는가?
• RQ3 밀도가 균일하게 로그볼록일 때 EPI는 2차 워샤르슈타인 거리에서 안정적인가? 이 정규성 조건이 실패할 경우 어떻게 되는가?
• RQ4 추가적인 정규성 가정 하에서 비로그볼록 밀도로의 안정성 추정을 확장할 수 있는가?
• RQ5 한 측도가 가우시안일 경우 $L^1$-워샤르슈타인 거리가 EPI의 결함 제어에 어떤 역할을 하는가?

주요 결과

• 일부 가우시안 $\gamma_1, \gamma_2$ 에 대해 EPI 결함은 $\delta_{\mathsf{EPI},t}(\mu,\nu) \geq \frac{t(1-t)}{2} \left( W_2^2(\mu,\gamma_1) + W_2^2(\nu,\gamma_2) + W_2^2(\gamma_1,\gamma_2) \right)$ 를 만족하며, 이는 차원에 의존하지 않는 안정성 경계를 제공한다.
• 만약 $\mu$ 와 $\nu$ 가 균일하게 로그볼록이면서 EPI를 거의 포화시킨다면, 각각은 $W_2$ 거리에서 어떤 가우시안에 가까워져야 한다.
• 한 측도가 가우시안이고 다른 측도가 로그볼록일 경우, EPI의 결함은 $L^1$-워샤르슈타인 거리를 통해 제어할 수 있다.
• 반례를 통해 밀도가 측도가 임의로 1에 가까운 집합에서 로그볼록이지만 강한 볼록성이 없을 경우 EPI는 $W_2$ 에 대해 안정적이지 않음을 보여준다.
• 적절한 정규성 조건(예: 잠재력의 강한 볼록성) 하에서 안정성 결과는 비로그볼록 밀도로 확장된다.
• 증명 기법은 최적 운반 지도와 반경 대칭, 가우시안 측도의 尾부 경계를 활용한 운반 지도 도함수 추정에 기반한다.