[논문 리뷰] Contraction in the Wasserstein metric for some Markov chains, and applications to the dynamics of expanding maps

Benoît Kloeckner, Artur O. Lopes외 1명|arXiv (Cornell University)|2014. 12. 02.

Mathematical Dynamics and Fractals참고 문헌 24인용 수 18

한 줄 요약

이 논문은 확장 맵과 힐러 포텐셜을 가진 반복 함수 체계에 대해 이중 전이 연산자의 1-와서르스틴 메트릭에서 지수 수축을 확립한다. 최적 운반 이론과 커플링 기법을 사용하여, 도블린-포르레트 부등식을 사용하지 않고 스펙트럼 갭과 상관성 감쇠의 새로운 증명을 제공한다. 이는 잠재력과 맵의 변화에 대한 길리스 조건의 리프시츠 안정성을 가능하게 한다.

ABSTRACT

We employ techniques from optimal transport in order to prove decay of transfer operators associated to iterated functions systems and expanding maps, giving rise to a new proof without requiring a Doeblin-Fortet (or Lasota-Yorke) inequality. Our main result is the following. Suppose $T$ is an expanding transformation acting on a compact metric space $M$ and $A: M \ o \\mathbb{R}$ a given fixed H{\\"o}lder function, and denote by $L$ the Ruelle operator associated to $A$. We show that if $L$ is normalized (i.e. if $L(1)=1$), then the dual transfer operator $L^*$ is an exponential contraction on the set of probability measures on $M$ with the $1$-Wasserstein metric.Our approach is flexible and extends to a relatively general setting, which we name Iterated Contraction Systems. We also derive from our main result several dynamical consequences; for example we show that Gibbs measures depends in a Lipschitz-continuous way on variations of the potential.

연구 동기 및 목표

• 확장 맵과 반복 함수 체계에 대해 이중 전이 연산자의 1-와서르스틴 메트릭에서 지수 수축을 확립한다.
• 도블린-포르레트 또는 라사타-요르케 부등식을 사용하지 않고 스펙트럼 갭과 상관성 감쇠의 새로운 증명을 제공한다.
• 잠재력과 맵의 변화에 대한 길리스 연속성으로서 길리스 조건의 안정성을 유도한다.
• 이러한 수축 결과를 일반화하기 위한 설정으로서 반복 수축 체계(ICS)의 프레임워크를 도입하고 분석한다.
• 최적 운반 이론과 커플링 방법이 열역학 형식 및 동역학계 이론에서 어떻게 유용한지를 보여준다.

제안 방법

• 전이 연산자가 유도하는 마코프 체인의 수렴을 측정하기 위해 확률 측도 위의 1-와서르스틴 거리를 메트릭으로 사용한다.
• 최적 운반 이론의 커플링 기법을 적용하여 이중 전이 연산자가 1-와서르스틴 메트릭에서 거리 수축을 보임을 보인다.
• 모든 $\nabla$ 에 대해 $F: \nabla \to \nabla^k$ 를 만족하고 일관된 수축 조건을 갖는 수축 조건 수렴 상수 $\theta < 1$ 를 갖는 반복 수축 체계(ICS)를 정의한다.
• 정규화된 루엘 연산자 $\mathbb{P}$ 에 대해, 이중 연산자 $\mathbb{P}^*$ 가 $W_1$ 에서 확률 측도 위에서 지수 수축으로 작용함을 증명한다.
• 편차 경계를 통한 안정성 결과를 도출한다: $W_1(\mu_A, \mu_B) \leq \frac{C \cdot \text{Lip}(A)}{1 - \lambda} \cdot \|A - B\|_\infty \cdot \text{diam}(\Omega)$.
• 다양체 위의 곡선의 리프트를 이용한 기하적 추론을 통해 확장 맵의 역상 간의 균일한 거리 제어를 수행한다.

실험 결과

연구 질문

• RQ1 고전적 함수 부등식에 의존하지 않고 1-와서르스틴 메트릭에서 전이 연산자의 지수 수축을 확립할 수 있는가?
• RQ2 와서르스틴 메트릭은 길리스 조건과 그 변화에 대한 안정성 분석에서 어떻게 기여하는가?
• RQ3 반복 수축 체계(ICS) 프레임워크는 확장 맵과 IFS로 결과를 일반화하는 데 어떤 역할을 하는가?
• RQ4 최적 운반 이론의 커플링 기법을 사용하여 상관성 감쇠와 스펙트럼 갭을 유도할 수 있는 정도는 어느 정도인가?
• RQ5 길리스 조건이 잠재력과 맵에 대해 리프시츠 연속성으로 어떻게 나타나는가?

주요 결과

• 이중 전이 연산자 $\mathscr{L}^*$ 는 1-와서르스틴 메트릭에서 확률 측도 공간에서 지수 수축이다.
• 스펙트럼 갭과 상관성 감쇠는 도블린-포르레트 또는 라사타-요르케 부등식을 요구하지 않고 와서르스틴 수축에서 직접 유도된다.
• 길리스 조건은 잠재력에 대해 리프시츠 연속적으로 의존한다: $W_1(\mu_A, \mu_B) \leq \frac{C \cdot \text{Lip}(A)}{1 - \lambda} \cdot \|A - B\|_\infty \cdot \text{diam}(\Omega)$.
• 일반화된 $C^1$ 확장 맵의 최대 엔트로피 조건은 맵에 대해 리프시츠 연속적으로 의존한다: $W_1(\mu_{T_1}, \mu_{T_2}) \leq C \cdot \text{diam}(\Omega) \cdot \|T_1 - T_2\|_\infty$ for $\|T_1 - T_2\|_\infty \leq \frac{1}{4} \text{sys}(\Omega)$.
• 반복 수축 체계(ICS) 프레임워크는 확장 맵과 IFS를 포함하는 일반화된 설정을 가능하게 하며, 균일한 수축 조건이 수렴을 보장한다.
• 와서르스틴 메트릭에서의 수축률 $\lambda < 1$ 은 반복 측도의 수렴에 대한 균일한 경계를 제공하며, 안정성 추정을 가능하게 한다.