[논문 리뷰] From level 2.5 to level 2 large deviations for continuous time Markov chains

Lorenzo Bertini, Alessandra Faggionato외 1명|arXiv (Cornell University)|2012. 12. 31.

Markov Chains and Monte Carlo Methods참고 문헌 5인용 수 9

한 줄 요약

이 논문은 이전 연구에서 확립된 경험적 측도와 경험적 유량의 연합 대칭 원리에 계약 원리를 적용하여 연속 시간 마르코프 체인의 경험적 측도에 대한 Donsker–Varadhan 대칭 원리의 새로운 유도를 제공한다. 주요 기여는 비용 함수의 이중 표현이다: 하나는 Donsker–Varadhan의 초상수 형태이고 다른 하나는 계약 과정에서 유도된 최소화 형태이며, 유한 상태 공간에서 이러한 형태의 일치는 Fenchel–Rockafellar 대칭과 관련된다.

ABSTRACT

We recover the Donsker-Varadhan large deviations principle (LDP) for the empirical measure of a continuous time Markov chain on a countable (finite or infinite) state space from the joint LDP for the empirical measure and the empirical flow proved in [2].

연구 동기 및 목표

• 연속 시간 마르코프 체인의 경험적 측도에 대한 Donsker–Varadhan 대칭 원리(LDP)의 대체 증명을 제공하는 것.
• 이전 연구 [2]에서 확립된 경험적 측도와 경험적 유량의 연합 LDP로부터 경험적 측도의 LDP를 계약을 통해 도출하는 것.
• 비용 함수의 이중 표현을 확립하는 것: 하나는 초상수 형태(Donsker–Varadhan 표준 형태), 다른 하나는 최소화 형태(계약 과정에서 유도됨).
• 유한 차원 케이스에서 비용 함수의 초상수 및 최소화 형태 간의 대칭이 Fenchel–Rockafellar 대칭의 한 예임을 보이는 것.

제안 방법

• 이전 연구 [2]에서 확립된 경험적 측도와 경험적 유량의 연합 대칭 원리(LDP)를 기본 결과로 사용한다.
• 계약 원리를 적용하여 연합 LDP로부터 경험적 측도의 LDP를 도출한다.
• 경험적 측도 μ_T를 경로를 따라의 Dirac 측도의 시간 평균으로 정의하고, 경험적 유량 Q_T를 상태 간 점프 수의 시간 평균으로 정의한다.
• 유량에 대한 산란 연산자를 도입하고, μ에 관련된 Q^μ 유량의 산란이 0이 되는 조건을 통해 불변 측도를 특성화한다.
• Fenchel–Rockafellar 대칭을 사용하여 비용 함수의 초상수 및 최소화 형태를 연결한다.
• 방향 그래프 위에서의 기울기 함수의 기하적 특성화를 활용하여 이중 비용 함수의 지지 집합을 분석한다.

실험 결과

연구 질문

• RQ1 경험적 측도와 경험적 유량의 연합 LDP로부터 경험적 측도에 대한 Donsker–Varadhan LDP를 계약을 통해 도출할 수 있는가?
• RQ2 Donsker–Varadhan에서 유도된 비용 함수의 초상수 형태와 계약 과정에서 유도된 최소화 형태 사이의 관계는 무엇인가?
• RQ3 유한 상태 공간에서 두 형태의 비용 함수가 일치하는 것은 어떻게 연속적 대칭과 관련되는가?
• RQ4 일반화된 경로를 통한 그래프 구조의 기하적 조건은 어떤 함수가 간선 집합에서 기울기 함수가 되는지를 결정하는가?
• RQ5 유량에 대한 산란이 없는 조건이 이중 비용 함수 표현에서 어떤 역할을 하는가?

주요 결과

• 경험적 측도에 대한 Donsker–Varadhan LDP는 경험적 측도와 경험적 유량의 연합 LDP로부터 계약을 통해 성공적으로 복원되었다.
• 비용 함수 I(μ)는 두 가지 표현을 가진다: 하나는 양함수 h에 대한 −⟨μ, h⁻¹Lh⟩의 초상수이고, 다른 하나는 산란이 없는 유량 Q에 대한 상대 엔트로피 Φ(Q|Q^μ)의 최소화이다.
• 유한 상태 공간의 경우, 비용 함수의 초상수 및 최소화 형태 간의 대칭은 Fenchel–Rockafellar 대칭 정리와 동치이다.
• 간선 집합 E_μ 위의 함수 f는 두 개의 일반화된 경로가 같은 끝점을 가지는 경우 f의 적분값이 동일할 때에만 기울기(f = ∇g)이다.
• 이중 비용 함수 ψ*(f)는 f가 기울기일 경우에만 0이고, 그렇지 않으면 무한대이며, 이는 경로 독립성에 따라 이중 비용 함수의 지지 집합을 특성화한다.
• 증명 과정을 통해 기저 그래프의 기하적 구조—특히 비동형 순환의 존재—가 함수가 기울기가 되지 못하게 하며, 이로 인해 이중 값이 무한대가 되는 것을 밝혀냈다.