[논문 리뷰] Realization of finite-state mixing Markov chain as a random walk subject to a synchronizing road coloring

Kouji Yano, Kenji Yasutomi|arXiv (Cornell University)|2010. 06. 03.

Cellular Automata and Applications참고 문헌 18인용 수 3

한 줄 요약

이 논문은 유한 상태 혼합 마르코프 체인이 동기화 도로 색칠을 가진 방향성 그래프 위에서의 랜덤 워크로 실현될 수 있음을 증명한다. 이는 프롭-윌슨의 과거에서의 커플링을 위한 적절한 랜덤 사상의 존재를 보장한다. 주요 기여는 이러한 실현에서 근사적인 엔트로피 보존을 위한 필요 및 충분 조건을 도로 색칠 정리와 엔트로피 분석을 통해 유도한 것이다.

ABSTRACT

A mixing Markov chain is proved to be realized as a random walk in a directed graph subject to a synchronizing road coloring. The result ensures existence of appropriate random mappings in Propp--Wilson's coupling from the past. The proof is based on the road coloring theorem. A necessary and sufficient condition for approximate preservation of entropies is also given.

연구 동기 및 목표

• 유한 상태 혼합 마르코프 체인의 실현을 방향성 그래프 위에서 동기화 도로 색칠을 가진 랜덤 워크로 설정하는 것.
• 프롭-윌슨의 과거에서의 커플링 알고리즘을 위한 적합한 랜덤 사상의 존재를 보장하는 것.
• 랜덤 워크 표현에서 엔트로피의 근사적 보존을 위한 필요 및 충분 조건을 도출하는 것.

제안 방법

• 상태 공간 V의 자기형사(mapping) 집합 위에 확률 측도 μ를 구성하여 마르코프 체인의 전이 확률을 유지하는 것.
• 도로 색칠 정리를 사용하여 시스템을 한 상태로 동기화할 수 있는 사상 집합(즉, 도로 색상 집합)의 존재를 보장하는 것.
• N_i가 μ 아래에서 독립 동일분포를 이룰 때 X_k = N_k X_{k-1}를 만족하는 μ-랜덤 워크 (X, N)를 정의하여 마르코프 체인의 동역학을 모델링하는 것.
• 유한한 수의 사상 조합이 모든 상태를 한 상태로 압축하는 경우, μ의 지지집합을 동기화 가능한 것으로 특성화하는 것.
• 랜덤 워크와 주도 노이즈의 결합 분포를 통해 엔트로피를 분석하고, 노이즈의 엔트로피 h(N)과 체인의 엔트로피 h(Y)를 비교하는 것.
• μ의 동기화 부분집합 Σ₁을 이용한 변형을 통해 h(N)이 h(Y)에 임의로 가까워지는 조건을 도출하는 것.

실험 결과

연구 질문

• RQ1 모든 유한 상태 혼합 마르코프 체인은 동기화 도로 색칠을 가진 방향성 그래프 위에서의 랜덤 워크로 표현될 수 있는가?
• RQ2 랜덤 워크의 주도 노이즈 엔트로피가 원래 마르코프 체인의 엔트로피를 근사하는 데 어떤 조건이 필요한가?
• RQ3 주어진 혼합 마르코프 체인에 대해 동기화 지지집합을 가진 사상 측도 μ를 체계적으로 구성할 수 있는가?
• RQ4 왜곡 매개수 ε → 0+일 때 노이즈 과정의 엔트로피 h(N)이 체인의 엔트로피 h(Y)로 수렴하는 조건은 무엇인가?
• RQ5 사상 측도 μ가 유도하는 랜덤 워크가 원래 체인의 엔트로피를 임의의 정밀도로 보존하는 조건은 무엇인가?

주요 결과

• 모든 유한 상태 혼합 마르코프 체인은 동기화 지지집합을 가진 사상 측도 μ를 가지며, 이는 동기화 도로 색칠 하에 랜덤 워크로 실현 가능하다.
• 근사적 엔트로피 보존을 위한 필요 및 충분 조건은 마르코프 체인이 p-균일하다는 것이다. 즉, 모든 x, y에 대해 q_{x,y} = q_{x_0, au_x(y)} 를 만족하는 어떤 순열 τ_x 가 존재하는 것이다.
• p ≠ 1/2인 이항 상태 예제에서, 모든 ε > 0 에 대해 h(N^{(ε)}) > h(Y) 이지만, ε → 0+ 일 때 h(N^{(ε)}) → h(Y) 임을 보여, 점근적 엔트로피 보존이 성립함을 보여준다.
• p = 1/2일 때는 h(N^{(1/2)}) = h(Y) 임을 보여, 대칭 전이 확률 하에서 정확한 엔트로피 보존이 이루어짐을 나타낸다.
• 왜곡 구성 μ^{(n)}(σ) = ∑_{i:σ^{(i)}=σ} (ν(x_i) - 1/(nd)) + 1/(n|Σ₁|)1_{σ∈Σ₁} 는 동기화 지지집합과 함께 h(N^{(n)})이 n → ∞ 일 때 h(Y)로 수렴함을 보장한다.
• 엔트로피 부등식 사슬의 등호가 성립함을 통해, 노이즈 과정의 엔트로피 h(N)이 체인의 엔트로피 h(Y)와 일치하는 것은 오직 체인이 p-균일할 때에만 성립한다.