[논문 리뷰] Solving Poisson's equation for Wasserstein contractive Markov chains

Julian Hofstadler|arXiv (Cornell University)|2026. 02. 22.

Geometric Analysis and Curvature Flows인용 수 0

한 줄 요약

이 논문은 Wasserstein 수축 하에 일반 상태 공간 마르코프 체인에 대한 Poisson의 방정식을 연구하여 Lipschitz 및 특정 L^p 강제 함수에 대한 해의 존재성과 규칙성을 증명하고 최대 부등식을 도출한다.

ABSTRACT

We study Poisson's equation in the context of general state space Markov chains. For chains satisfying a contraction assumption w.r.t. a Wasserstein distance, we show that a solution exists for Lipschitz functions and investigate its regularity properties. If the kernel is additionally reversible we are also able to show that solutions for $L^p$ functions exist. Combining our findings with Doob's inequalities for martingales we derive maximal inequalities for contractive Markov chains. A number of examples is provided to demonstrate the applicability of our results, in particular in the context of Markov chain Monte Carlo methods.

연구 동기 및 목표

• 일반 상태 공간 마르코프 체인에 대한 Poisson의 방정을 동기화하고 분석한다.
• Wasserstein 수축 하에서 해의 존재성과 규칙성을 확립한다.
• 가역성 아래 L^p 설정으로 결과를 확장하고 적합성 경계(L^p 경계)를 도출한다.
• 적용 가능성을 보여주기 위한 예제로 MCMC 방법 등을 포함한다.

제안 방법

• 중심화된 Lipschitz 함수의 Banach 공간에서의 마르코프 연산자의 스펙트럴 특성을 이용한다.
• 적절한 함수 공간에서 Neumann 급수 (Id - P)^{-1} 로 해를 표현한다.
• Kantorovich-Rubinstein 쌍대성으로 연산자 노름을 Wasserstein 수축도(τ)와 연관시킨다.
• Lipschitz 강제 함수 f 에 대해 L_0^d 에 대해 u_f 의 고유해 존재를 보이고, 구속 조건 ||u||_d ≤ Λ||f||_d 를 만족한다.
• 추가 모멘트 조건과 가역성 하에서 u 의 L^p 경계를 도출한다.

실험 결과

연구 질문

• RQ1 Wasserstein 수축성 하에서 주어진 강제 함수 f에 대해 Poisson의 방정식이 중심화된 Lipschitz 함수 공간에서 고유한 해를 가지는가?
• RQ2 Poisson 해의 어떤 규칙성(L^p 경계)을 확립할 수 있으며, 가역성이 L^p 이론에 어떤 영향을 미치는가?
• RQ3 이 설정에서 Poisson의 방정식으로부터 부분 합 S_n f에 대한 최대 부등식을 도출할 수 있는가?
• RQ4 이 결과들이 MCMC 알고리즘 및 다른 수축 마르코프 체인에 어떻게 적용되는가?
• RQ5 Wasserstein 수축 상수와 이심성도 척도와 관련된 명시적 경계는 무엇인가?

주요 결과

• 유한 p-이심성도(p-eccentricity)를 갖는 각 f에 대해 Poisson의 방정식의 중심 Lipschitz 공간에서 고유 해 u_f 가 존재하며, ||u||_d ≤ Λ||f||_d 이다.
• 어떤 x0에 대해 E_p(x0) < ∞이고 p ≥ 1 이면, Lipschitz f 에 대해 π(|f|^p) 와 π(f) 가 존재하게 되어 Poisson의 방정식이 잘 정의된다.
• 추가적인 E_1의 적합성(적분성) 조건 아래 u 에 대한 더 강한 L^p 경계가 얻어지며, 명시적인 L^{p0} 경계가 포함된다.
• 체인이 가역적이면 Poisson의 방정식에 대한 L^p 존재성 결과가 확장되어 이전의 균일 수 ergodic 케이스를 넓힌다.
• 이 결과들은 수축적 마르코프 체인에 대한 새로운 최대 부등식을 제공하여 No-U-Turn-Sampler (NUTS) 같은 알고리즘의 경로별 수렴 분석을 가능하게 한다.
• 프레임워크는 MCMC 와 관련된 예들(예: Heat bath, Slice Sampling, MALA, independent Metropolis-Hastings) 을 포함하여 수축성과 적용 가능성을 보여준다.