[논문 리뷰] Transportation-information inequalities for Markov processes (II) : relations with other functional inequalities

Arnaud Guillin, Christian Léonard외 2명|ArXiv.org|2009. 02. 12.

Point processes and geometric inequalities참고 문헌 22인용 수 24

한 줄 요약

이 논문은 대칭 마코프 과정의 맥락에서 운반 정보 불등식 $W_pI$와 다른 기능적 불등식 간의 연결 고리를 설정하며, $W_pI$가 고전적 운반-엔트로피 불등식 $W_pH$와 관련된 측도의 집중 성질을 유도함을 증명한다. 또한 $W_1I$가 스펙트럼 간격과 체히어 유형의 등각성 불등식과 연결되며, 시험 함수에 대한 적분 조건 하에서 $\Phi$-소볼레프 불등식이 $W_pI$를 유도함을 보여준다.

ABSTRACT

We continue our investigation on the transportation-information inequalities $W_pI$ for a symmetric markov process, introduced and studied in \cite{GLWY}. We prove that $W_pI$ implies the usual transportation inequalities $W_pH$, then the corresponding concentration inequalities for the invariant measure $μ$. We give also a direct proof that the spectral gap in the space of Lipschitz functions for a diffusion process implies $W_1I$ (a result due to \cite{GLWY}) and a Cheeger type's isoperimetric inequality. Finally we exhibit relations between transportation-information inequalities and a family of functional inequalities (such as $Φ$-log Sobolev or $Φ$-Sobolev).

연구 동기 및 목표

• 대칭 마코프 과정의 맥락에서 $W_pI$ 불등식의 함의를 명확히 하고, 고전적 기능적 불등식과의 관계를 규명하는 것.
• $W_pI$가 표준적인 $W_pH$ 운반-엔트로피 불등식과 관련된 측도 $\mu$의 집중 성질을 유도함을 증명하는 것.
• 리프시츠 함수 공간에서의 스펙트럼 간격이 $W_1I$를 유도함을 보이며, 이를 바탕으로 체히어 유형의 등각성 불등식을 유도하는 것.
• 시험 함수에 대한 적절한 적분 조건 하에서 $\Phi$-소볼레프 불등식이 $W_pI$를 유도함을 보여주는 것.
• 대역적 편차 이론과 볼록 쌍대성에 기반한 공통 프레임워크를 통해 $W_pI$, $W_pH$, $\Phi$-소볼레프, 그리고 오르리츠-파인카레 불등식을 통합하는 것.

제안 방법

• 대역적 편차 기법을 사용하여 생성자 $\mathcal{L}$와 레지우에-펜체르 변환 $\alpha^*$에 대한 스펙트럼 경계를 통해 $\alpha$-$T_{\mathcal{V}}I$ 불등식을 특성화한다.
• 상대 엔트로피와 피셔 정보의 변동 표현을 적용하여 $I(\nu|\mu)$에 대한 $W_p(\nu,\mu)$의 경계를 도출한다.
• 오르리츠 공간에서 코시-슈바르츠 및 헬더 부등식을 사용하여 $\Phi$-소볼레프 및 파인카레 가정 하에서 $\int |f-1|u\,d\mu$를 제어한다.
• $\alpha$-$T_{\mathcal{V}}I$와 시간 평균 기능의 편차 경계 (1.6) 사이의 등가성을 이용한다.
• $\Psi$-오르리츠 노름과 $\Phi$-소볼레프 불등식 간의 이중성을 활용하여, $\mu$ 하에서 $u^p$의 적분 가능성 조건 하에서 $W_pI$를 도출한다.
• $W_p^p(\nu,\mu) \leq 2^{p-1}\|d(\cdot,x_0)^p(\nu-\mu)\|_{TV}$의 경계를 적용하여 $W_p$ 거리와 총 변동 노름 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 운동량 불등식 $W_pI$가 고전적 운반-엔트로피 불등식 $W_pH$를 유도하는가?
• RQ2 리프시츠 함수 공간에서의 스펙트럼 간격이 확산 과정에 대해 $W_1I$를 도출하는 데 사용될 수 있는가?
• RQ3 시험 함수에 대한 적분 조건 하에서 $\Phi$-소볼레프 불등식과 $W_pI$ 불등식 간의 관계는 무엇인가?
• RQ4 $W_pI$ 불등식이 마코프 과정의 덧셈 기능에 대한 측도의 집중과 편차 경계와 어떻게 관련되는가?
• RQ5 스펙트럼 경계를 통해 $\alpha$-$T_{\mathcal{V}}I$ 불등식을 특성화하는 데 있어 볼록 쌍대 함수 $\alpha^*$의 역할은 무엇인가?

주요 결과

• $W_pI$는 $W_pH$ 운반-엔트로피 불등식을 유도하며, 이는 모든 $\nu$에 대해 $W_p(\nu,\mu)^2 \leq 2C H(\nu|\mu)$가 성립함을 의미한다.
• 리프시츠 함수 공간에서의 스펙트럼 간격은 $W_1I$를 유도하며, 즉 $W_1(\nu,\mu)^2 \leq 4C^2 I(\nu|\mu)$가 성립하며, 직접적인 증명이 제공된다.
• $W_1I$로부터 체히어 유형의 등각성 불등식이 도출되며, 기하학적 등각성과 기능적 불등식 간의 연결 고리가 형성된다.
• $\Phi$-소볼레프 및 파인카레 불등식 하에서, 모든 $\nu$에 대해 $W_p^p(\nu,\mu) \leq \sqrt{C_1' I(\nu|\mu)^2 + C_2' I(\nu|\mu)}$가 성립한다.
• $p \geq 2$일 때, 어떤 $\kappa > 0$에 대해 $\kappa([1+W_2(\nu,\mu)^4]^{p/4} - 1) \leq I(\nu|\mu)$가 성립하며, 이는 $W_2$ 거리와 피셔 정보 간의 연결 고리를 형성한다.
• $d^p(\cdot,x_0) \in L^\Psi(\mu)$ 이고 $\Psi$가 $\Phi$의 쌍대 함수일 경우, $\Phi$-소볼레프 및 파인카레 불등식이 $W_pI$ 불등식을 유도한다.