[논문 리뷰] A Large Deviation Principle for Gibbs States on Markov Shifts at Zero Temperature

Rodrigo Bissacot, Jairo K. Mengue외 1명|arXiv (Cornell University)|2016. 12. 17.

Mathematical Dynamics and Fractals참고 문헌 27인용 수 4

한 줄 요약

이 논문은 가산 마르코프 시프트에서의 급격한 이황 원리(Large Deviation Principle, LDP)를 영온도에서 유도하며, 이는 이전의 유한 알파벳 결과를 가산 알파벳으로 일반화한다. 월터스 조건과 최대화 측도의 유일성 하에, βf에 관련된 평형 측도 μ_β의 가족이, 조화된 보조함수 V를 통해 정의된 이황 함수 I(x)를 갖는 LDP를 만족함을 증명한다. 이는 영온도 극한과 최대화 측도 및 보조함수를 연결한다.

ABSTRACT

Let $Σ_{A}(\mathbb{N})$ be a topologically mixing countable Markov shift with the BIP property over the alphabet $\mathbb{N}$ and $f: Σ_{A}(\mathbb{N}) ightarrow \mathbb{R}$ a potential satisfying the Walters condition with finite Gurevich pressure. Under suitable hypotheses, we prove the existence of a Large Deviation Principle for the family $(μ_β)_{β> 0}$ where each $μ_β$ is the Gibbs measure associated to the potential $βf$. Our main theorem generalizes from finite to countable alphabets and also to a larger class of potentials a previous result of A. Baraviera, A. O. Lopes and P. Thieullen.

연구 동기 및 목표

• 유한 알파벳에서의 급격한 이황 원리(LDP)를 가산 마르코프 시프트로 확장하는 것.
• 위상적 혼합성과 BIP-가산 마르코프 시프트에서 월터스 조건을 만족하는 잠재력에 대해 LDP를 확립하는 것.
• 비유한 설정에서 적용 가능한, 초위상 커널을 사용하지 않는 LDP의 새로운 증명 전략을 제시하는 것.
• 최대화 측도와 보조함수의 존재성 등 영온도 극한에 관한 결과를 유일성 가정 하에 일반화하는 것.
• 이황 함수 I(x)의 구조를 조화된 보조함수의 관점에서 명확히 하고, 이와 주기점 집합과의 관계를 규명하는 것.

제안 방법

• 잠재력 f에 대해 유계 조화 보조함수 V의 존재에 기반한 증명으로, 이는 루엘 연산자의 정규화된 고유함수의 극한으로 구성된다.
• 이황 함수 I(x)는 I(x) = -∑_{j=0}^{∞} (f + V - V∘σ - μ(f))(σ^j(x))로 정의되며, 이는 LDP를 시프트의 동역학과 보조함수와 연결한다.
• 저자들은 BIP 성질과 위상적 혼합성을 이용하여, βf에 대한 평형 측도 μ_β의 존재성과 유일성을 확보한다.
• 그들은 구속된 압력과 합산 가능한 변동성을 포함한 열역학 형식론의 기법을 적용하여 상관관계의 감쇠를 통제하고 수렴을 보장한다.
• 초위상 커널을 피하기 위해, 실린더 집합 C에 대해 1/β log μ_β(C)의 점근적 행동을 직접 분석한다.
• 핵심 단계는 I(x) = 0이면 오직 그때만 S_f(x,x) = 0, 즉 x가 Birkhoff 합의 최대값을 달성하는 주기점 집합에 속한다는 것을 보이는 것이다.

실험 결과

연구 질문

• RQ1 가산 마르코프 시프트에서의 급격한 이황 원리(LDP)가 영온도에서 성립하는가?
• RQ2 특히 비유한 설정에서 초위상 커널에 의존하지 않고 LDP를 확립할 수 있는가?
• RQ3 이황 함수 I(x)는 시프트의 동역학과 최대화 측도의 구조와 어떻게 관련되는가?
• RQ4 최대화 측도의 유일성을 보장하는 조건은 무엇이며, 이는 LDP에 어떤 영향을 미치는가?
• RQ5 BIP 성질을 초월하여, 예를 들어 리뉴얼 시프트와 같은 시스템으로 LDP를 확장할 수 있는가?

주요 결과

• 평형 측도의 가족 (μ_β)_{β>0}은 I(x) = -∑_{j=0}^{∞} (f + V - V∘σ - μ(f))(σ^j(x))로 정의된 이황 함수를 갖는 LDP를 만족한다. 여기서 V는 유계 조화 보조함수이다.
• 유일한 최대화 측도 가정 하에 이황 함수 I(x)는 잘 정의되고 유한하다. 이는 LDP의 타당성을 보장한다.
• I(x) = 0이면 오직 그때만 S_f(x,x) = 0임을 증명하였으며, 이는 x가 Birkhoff 합의 최대값을 달성하는 주기점 집합에 속한다는 의미이다.
• LDP는 이전의 결과를 유한 알파벳에서 가산 알파벳으로 일반화하여, 이론의 비유한 시스템 적용 가능성을 확장한다.
• 초위상 커널을 사용하지 않는 증명 전략을 통해, 비유한 설정에서 LDP에 도달하는 새로운 길을 제시한다.
• 잠재력이 강한(coercive)이고 국소 허더 연속이면, 리뉴얼 시프트로의 결과 확장이 가능하며, 이 경우 단계 전이가 발생하지 않아 LDP도 성립할 것으로 추측된다.