[논문 리뷰] Deficit Estimates for the Logarithmic Sobolev Inequality

Emanuel Indrei, Dae Sung Kim|arXiv (Cornell University)|2018. 05. 16.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 4

한 줄 요약

이 논문은 최적 운반 이론과 푸리에 분석을 활용하여 로그 소볼레프 부등식(LSI)에 대한 날카운 안정성 추정을 수립한다. LSI의 결함이 워샤어슈타인 거리와 $L^p$ 거리, 그리고 가우시안 측도로의 거리 제어를 가능하게 하며, 밀도의 1에서의 편차에 대한 $L^1$ 및 $L^p$ 노름에 대해 명시적인 다항식 상한을 제공한다. 주요 결과로는 $\|f-1\|_{L^1(d\gamma)} \leq C_M \delta^{1/4}(f)$ 및 $\|f-1\|_{L^p(d\gamma)} \leq C_{M,N,p} \delta^{1/(8p)}(f)$를 만족하며, 모멘트와 적분 가능성 조건 하에서 유지를 한다.

ABSTRACT

We identify sharp spaces and prove quantitative and non-quantitative stability results for the logarithmic Sobolev inequality involving Wasserstein and $L^p$ metrics. The techniques are based on optimal transport theory and Fourier analysis. We also discuss a probabilistic approach.

연구 동기 및 목표

• 함수의 가우시안 최적화자에 가까워짐 정도를 측정함으로써 로그 소볼레프 부등식(LSI)의 안정성을 정량화하는 것.
• LSI 결함이 가우시안 측도로의 $L^p$-거리 제어를 가능하게 하는 날카운 함수 공간을 규명하는 것.
• 표준 가우시안 측도에 대한 밀도 $f$의 $L^1$ 및 $L^p$ 노름에 대해 명시적인 다항식 상한을 수립하는 것.
• LSI의 안정성 결과를 워샤어슈타인 거리, 총변동 거리, 콜모고로프 거리와 같은 확률 거리 측도와 연결하는 것.

제안 방법

• 최적 운반 이론을 활용하여 LSI 결함을 측도 $fd\gamma$와 표준 가우시안 측도 $d\gamma$ 사이의 $W_1$ 거리와 연결한다.
• 푸리에 분석과 베크너–히르슈만 불확실성 원리를 적용하여 결함의 하한을 도출하는 다른 방법을 제시한다.
• 측도 $fd\gamma$에서 $d\gamma$로의 최적 운반 문제의 해를 활용하여 총변동 거리를 $W_1$과 결함을 통해 제어한다.
• 특정 $W_1$-안정성 결과를 활용: 중심화된 측도에 대해 $\mathcal{P}_2^M(\mathbb{R}^n)$ 내에서 $\delta(f) \geq C \min\{W_1(fd\gamma,d\gamma), W_1^4(fd\gamma,d\gamma)\}$.
• 확률 거리 측도 간의 관계를 수립: $d_{\mathrm{K}} \leq 2d_{\mathrm{P}}$, $W_1 \leq 4\sqrt{M} d_{\mathrm{K}}^{1/2}$, $d_{\mathrm{TV}} \leq 2d_{\mathrm{H}}$를 통해 안정성 추정을 전달한다.
• 타원형 측도와 변량 제약 조건을 고려하여 푸앵카레 부등식의 텐서화와 모멘트 조건을 활용한다.

실험 결과

연구 질문

• RQ1 두 번째 모멘트가 유계인 중심화된 확률 측도에 대해, LSI 결함 $\delta(f)$가 0으로 수렴함에 따라 $f-1$의 $L^1$ 노름이 어떤 속도로 감소하는가?
• RQ2 추가 적분 가능성 조건 하에서 LSI의 $L^p$-안정성이 확보될 수 있는가? 그리고 결함 상한에서 최적의 지수는 무엇인가?
• RQ3 $W_1$ 및 $W_2$ 거리가 LSI 결함과 어떻게 관련되어 있으며, 왜 일반적으로 $W_2$-안정성이 성립하지 않는가?
• RQ4 푸리에-위너 변환과 조화 분석이 LSI의 결함 추정을 도출하는 데 어떤 역할을 하는가?
• RQ5 다양한 확률 거리 측도(콜모고로프, 프로호로프, 총변동 거리)는 LSI 안정성의 맥락에서 어떻게 상호 연관되어 있는가?

주요 결과

• 중심화된 확률 측도 $\mathcal{P}_2^M(\mathbb{R})$ 에서, $f-1$의 $L^1$ 노름은 $\|f-1\|_{L^1(d\gamma)} \leq C_M \delta^{1/4}(f)$ 를 만족하며, $C_M > 0$ 는 $M \geq 1$ 에 따라 달라진다.
• 적분 가능성 조건 $\int |f|^{2p-1} d\gamma \leq N$ 하에서, $L^p$ 노름은 $\|f-1\|_{L^p(d\gamma)} \leq C_{M,N,p} \delta^{1/(8p)}(f)$ 를 만족하며, $p > 1$ 이고 $C_{M,N,p} > 0$ 이다.
• $W_1$-안정성 결과 $\delta(f) \geq C \min\{W_1(fd\gamma,d\gamma), W_1^4(fd\gamma,d\gamma)\}$ 는 중심화된 측도 $\mathcal{P}_2^M(\mathbb{R}^n)$ 에서 $M \geq n$ 인 경우 성립하며, 이로부터 $L^1$ 상한을 도출할 수 있다.
• 각 $f_i \in \mathcal{P}_2^M(\mathbb{R})$ 인 제품 측도 $f = \prod f_i$ 에서도 동일한 $L^1$ 상한 $\int |f-1| d\gamma \leq C \delta^{1/4}(f)$ 이 성립하며, 이때 $C = C(n,M)$ 이다.
• 추가 적분 가능성 조건이 없이 $p > 1$ 에서 $L^1$-안정성 결과는 실패한다. 이는 $\liminf_{k \to \infty} \|f_k - 1\|_{L^p(d\gamma)} > 0$ 이면서 $\delta(f_k) \to 0$ 임을 보여주는 반례로 입증된다.
• 콜모고로프 거리는 $d_{\mathrm{K}}(\mu, \gamma) \leq c \delta^{1/8}(v)$ 를 만족하며, 이는 결함과 분포 수렴 속도를 연결한다.