[논문 리뷰] Poincar\\'e, modified logarithmic Sobolev and isoperimetric inequalities for Markov chains with non-negative Ricci curvature

Matthias Erbar, Max Fathi|arXiv (Cornell University)|2016. 12. 01.

Geometric Analysis and Curvature Flows참고 문헌 28인용 수 3

한 줄 요약

이 논문은 유한 마르코프 체인에서 비음성 엔트로피 리만 곡률을 갖는 조건 하에 고전적 리만 기하학적 부등식—파이카르, 수정 로그 소볼레프, 등면적—의 이산적 대응을 수립한다. 워샤르슈타인 유사 운반 거리 $ \mathcal{W}$를 사용하여, 스펙트럼 간격, 체히어 상수, 수정 로그 소볼레프 상수가 상태 공간의 지름 $D$에만 의존하는 상수에 의해 아래에서 유계임을 증명한다. 이는 리-요우, 부저, 왕의 결과를 음의 곡률 상한이 있는 이산 설정으로 확장한다.

ABSTRACT

We study functional inequalities for Markov chains on discrete spaces with entropic Ricci curvature bounded from below. Our main results are that when curvature is non-negative, but not necessarily positive, the spectral gap, the Cheeger isoperimetric constant and the modified logarithmic Sobolev constant of the chain can be bounded from below by a constant that only depends on the diameter of the space, with respect to a suitable metric. These estimates are discrete analogues of classical results of Riemannian geometry obtained by Li and Yau, Buser and Wang.

연구 동기 및 목표

• 비음성 엔트로피 리만 곡률 하에서 고전적 함수적 부등식을 리만 기하학에서 이산 마르코프 체인으로 확장하기.
• 이러한 체인에 대한 스펙트럼 간격, 체히어 상수, 수정 로그 소볼레프 상수에 대한 정량적 하한을 수립하기.
• 이러한 하한이 상태 공간의 지름 $D$에만 의존하며, 차원이나 기타 구조적 세부 정보에 따라 달라지지 않음을 보여주기.
• 연속 곡률 기반 기하 분석과 이산 확률 모델 간 격차를 메우기, 특히 영역이 없는 과정과 그래프 위의 랜덤 워크에 대해

제안 방법

• 저자들은 확률 측도 위에 정의된 이산 운반 거리 $\mathcal{W}$를 도입하여, 상태 공간 $\mathcal{X}$ 위에 메트릭 $d_{\mathcal{W}}$를 유도한다. 이는 라오티-슈름-빌라니 이론에서 사용된 $L^2$-워샤르슈타인 거리의 대체이다.
• 그들은 [29, 13]에서 제안한 엔트로피 곡률 개념을 사용하며, 이는 $\mathcal{W}$-지오데식을 沿해 엔트로피의 볼록성에 기반한다. 그리고 $\Gamma$-계산 프레임워크를 통해 곡률 하한을 정의한다.
• 핵심 기술 도구는 $\mathcal{W}$-지오데식을 따라 엔트로피에 대한 볼록성 부등식이다: $\mathcal{H}(\rho_{1/2}) \leq \frac{1}{2}\mathcal{H}(\delta_x) + \frac{1}{2}\mathcal{H}(\delta_y) - \frac{\kappa}{8}d_{\mathcal{W}}(x,y)^2$, 이는 곡률과 거리 간의 연결 고리를 제공한다.
• 그들은 이산 본네-마이어스 정리에 의해 지름을 유계로 제어한다: $\operatorname{Ric} \geq \kappa > 0$ 이면 $d_{\mathcal{W}}(x,y) \leq 2\sqrt{(-\log \pi(x) - \log \pi(y))/\kappa}$ 로 유도되며, 이는 $\pi_*$에 대한 지름 제어를 이끈다.
• 주요 결과를 위해, 삼각 부등식과 리프팅 기법을 적용하여 한 입자가 다른 입자로 바뀌는 구성 간의 $\mathcal{W}(\delta_\eta, \delta_{\tilde{\eta}})$ 를 유계로 제한한다. 이는 속도 $1/L$인 완전 그래프의 경우로 축소되며, 알려진 혼합 시간 추정치를 활용한다.

실험 결과

연구 질문

• RQ1 비음성 엔트로피 리만 곡률 하에서 파이카르, 수정 로그 소볼레프, 등면적 부등식과 같은 함수적 부등식이 이산 마르코프 체인에 대해 수립될 수 있는가?
• RQ2 스펙트럼 간격과 수정 로그 소볼레프 상수가 $\mathcal{W}$-거리 기준 상태 공간의 지름 $D$에 따라 어떻게 의존하는가?
• RQ3 이산 부등식은 리-요우, 부저, 왕의 연속적 리만 대응체(예: 리-요우, 부저, 왕)와 비교해 보았을 때 정밀도와 渐近적 행동 측면에서 어떻게 다른가?
• RQ4 고차원 또는 비균일 설정에서도 곡률과 정적 측도를 사용해 $d_{\mathcal{W}}$ 기준 상태 공간의 지름을 상한으로 제어할 수 있는가?
• RQ5 고정 입자 밀도에서 영역이 없는 과정의 수정 로그 소볼레프 상수의 渐近적 행동은 어떠한가?

주요 결과

• 체히어 상수 $h$ 는 $h \geq \frac{1}{3}\sqrt{Q_* \lambda_1}$ 를 만족하며, 여기서 $Q_*$ 는 최소 전이율이다. 이는 부저의 부등식에 대한 이산적 대응을 수립한다.
• 비음성 엔트로피 리만 곡률과 $d_{\mathcal{W}}$ 기준 지름 $D$ 조건 하에서 스펙트럼 간격은 $\lambda_1 \geq \frac{c}{D^2}$ 를 만족하며, 이는 리-요우 결과의 일반화이다.
• 수정 로그 소볼레프 상수는 다른 보편 상수 $c'$ 에 대해 $\frac{c'}{D^2}$ 로 아래에서 유계이며, 이는 왕의 부등식을 이산 설정으로 확장한다.
• L개의 위치와 K개의 입자를 가진 영역이 없는 과정에 대해, $d_{\mathcal{W}}$ 기준 지름은 $cK\sqrt{L\log L}$ 으로 유계이며, 이는 고정 밀도 $K/L$ 에서 mLSI 상수가 $1/(K^2 L \log L)$ 의 순서로 행동함을 시사하며, $1/L^2$ 스케일링을 시사한다.
• 이산 본네-마이어스 정리가 성립한다: $\operatorname{Ric} \geq \kappa > 0$ 이면 $d_{\mathcal{W}}(x,y) \leq 2\sqrt{(-\log \pi(x) - \log \pi(y))/\kappa}$ 이며, 지름은 $2\sqrt{-2\log \pi_* / \kappa}$ 로 유계이다.