[논문 리뷰] A characterization of $L_{2}$ mixing and hypercontractivity via hitting times and maximal inequalities

Jonathan Hermon, Yuval Peres|arXiv (Cornell University)|2016. 09. 24.

Markov Chains and Monte Carlo Methods참고 문헌 16인용 수 31

한 줄 요약

이 논문은 유한한 순환 마르코프 체인에서 도달 시간과 최대 부등식을 사용하여 $L_2$ 혼합 시간($\tau_2$)과 상대 엔트로피 혼합 시간($\tau_{\mathrm{Ent}}$)의 확률적 특성화를 제공한다. 이는 $\tau_2$와 $\tau_{\mathrm{Ent}}$가 각각 도달 시간 기반 매개변수인 $\rho$와 $\rho_{\mathrm{Ent}}$에 대해 상수 인자 범위 내에서 유계임을 증명하며, 스펙트럼 간격의 가중치 버전으로서 로그 소볼레프 상수의 새로운 극값 특성화를 제안하여 초수렴성의 확률적 해석을 가능하게 한다.

ABSTRACT

There are several works characterizing the total-variation mixing time of a reversible Markov chain in term of natural probabilistic concepts such as stopping times and hitting times. In contrast, there is no known analog for the $L_{2}$ mixing time, $τ_{2}$ (while there are sophisticated analytic tools to bound $ τ_2$, in general they do not determine $τ_2$ up to a constant factor and they lack a probabilistic interpretation). In this work we show that $τ_2$ can be characterized up to a constant factor using hitting times distributions. We also derive a new extremal characterization of the Log-Sobolev constant, $c_{\mathrm{LS}}$, as a weighted version of the spectral gap. This characterization yields a probabilistic interpretation of $c_{\mathrm{LS}}$ in terms of a hitting time version of hypercontractivity. As applications of our results, we show that (1) for every reversible Markov chain, $τ_2$ is robust under addition of self-loops with bounded weights, and (2) for weighted nearest neighbor random walks on trees, $τ_2 $ is robust under bounded perturbations of the edge weights.

연구 동기 및 목표

• 기존 연구에서 자연스러운 확률적 해석이 부족한 유한한 순환 마르코프 체인에서 $L_2$ 혼합 시간($\tau_2$)의 확률적 특성화를 제공하는 것.
• 도달 시간 분포를 사용하여 이 특성화를 상대 엔트로피 혼합 시간($\tau_{\mathrm{Ent}}$)으로 확장하는 것.
• 스펙트럼 간격의 가중치 버전으로서 로그 소볼레프 상수($c_{\mathrm{LS}}$)의 새로운 극값 특성화를 제안하여 초수렴성의 확률적 해석을 가능하게 하는 것.
• 자기 순환을 포함한 유계 변형에 대해 $\tau_2$의 안정성을 확립하는 것, 예를 들어 나무에서 간선 가중치를 변형하거나 자기 순환을 추가하는 경우.
• 극값 부등식에 대한 추측을 통해 $c_{\mathrm{MLS}}$와 $\tau_{\mathrm{Ent}}$ 사이의 관계에 대한 미해결 문제를 해결하는 것.

제안 방법

• 모든 연결된 집합 $A$에 대해 $\pi(A) \leq 1/2$일 때, 시간 $t$까지 어떤 집합에서 도망치지 않을 확률이 $\pi(A) + \frac{1}{2}\sqrt{\pi(A)\pi(A^c)}$ 이하가 되는 최소 시간 $t$를 $\rho_x$로 정의한다. 유사하게 $\rho_{\mathrm{Ent},x}$는 $\min\left(\frac{C_{\mathrm{Ent}}}{|\log \pi(A)|}, \frac{99}{100}\right)$ 이하로 제한된다.
• 도달 시간의 최대 부등식과 지수적 모멘트 경계를 사용하여 작은 집합에서의 도망 시간 꼬리 확률을 제어한다.
• 카크의 공식과 지수 분포에 대한 확률적 지배를 적용하여 도달 시간의 라플라스 변환을 경계한다.
• 가중치가 부여된 극값 공식을 통해 로그 소볼레프 상수와 스펙트럼 간격 사이의 연결을 설정하며, 초수렴성의 확률적 해석을 드러낸다.
• 자기 순환을 유계로 추가하거나 나무에서 가중치가 있는 근접 이웃 랜덤 워크의 간선 가중치를 유계로 변형할 경우 $\tau_2$의 안정성을 증명한다.
• 경로 분해와 경로를 따라 이동 시간 증분의 독립성을 사용하여 $T_{x_{\delta}}$의 꼬리 경계를 유도한다.

실험 결과

연구 질문

• RQ1 유한한 순환 마르코프 체인에서 $\tau_2$는 도달 시간 분포를 사용하여 상수 인자 범위 내에서 특성화될 수 있는가?
• RQ2 스펙트럼 간격이 혼합과 관련되어 있듯이, 로그 소볼레프 상수 $c_{\mathrm{LS}}$는 도달 시간을 통해 확률적 해석을 가질 수 있는가?
• RQ3 $L_2$ 혼합 시간 $\tau_2$는 자기 순환 추가나 간선 가중치 변경과 같은 유계 변형에 대해 안정적인가?
• RQ4 상대 엔트로피 혼합 시간 $\tau_{\mathrm{Ent}}$는 도달 시간 기반 매개변수 $\rho_{\mathrm{Ent}}$를 통해 유사하게 특성화될 수 있는가?
• RQ5 모든 경우에 대해 $1/c_{\mathrm{MLS}} \leq C \tau_{\mathrm{Ent}}$ 또는 $1/c_{\mathrm{MLS}} \leq C \rho_{\mathrm{Ent}}$를 만족하는 상수 $C$가 존재하는가?

주요 결과

• $L_2$ 혼합 시간 $\tau_2$는 절대 상수 $C_1, C_2$에 대해 $\rho \leq \tau_2 \leq C_2 \rho$를 만족하며, $\rho$는 작은 연결된 집합에 대한 도달 시간 꼬리 경계로 정의된다.
• 상대 엔트로피 혼합 시간 $\tau_{\mathrm{Ent}}$는 절대 상수 $C_3$에 대해 $\rho_{\mathrm{Ent}} \leq \tau_{\mathrm{Ent}} \leq C_3 \rho_{\mathrm{Ent}}$를 만족하며, 이는 도달 시간 기반 특성화를 확립한다.
• 로그 소볼레프 상수 $c_{\mathrm{LS}}$는 스펙트럼 간격의 새로운 가중치 버전으로서의 극값 특성화를 가지며, 이는 직접적으로 $\tau_2$와 연결되고 초수렴성의 확률적 해석을 가능하게 한다.
• 자기 순환을 유계로 추가할 경우 $\tau_2$는 안정적이며, 이는 $\tau_2$가 최대 상수 인자 범위 내에서만 변화함을 의미한다.
• 나무에서 가중치가 있는 근접 이웃 랜덤 워크에 대해, 간선 가중치의 유계 변형에 대해 $\tau_2$는 상수 인자 범위 내에서 혼합 시간을 유지한다.
• 논문은 도달 시간을 통해 초수렴성의 확률적 해석을 제공하며, 로그 소볼레프 상수가 작은 집합에서 도달 시간 꼬리의 감쇠 속도를 결정함을 보여준다.