[논문 리뷰] Markovianity of the invariant distribution of probabilistic cellular automata on the line

Jérôme Casse, Jean‐François Marckert|arXiv (Cornell University)|2014. 01. 21.

Cellular Automata and Applications참고 문헌 29인용 수 7

한 줄 요약

이 논문은 정수선 ℤ와 주기적 선 ℤ/nℤ에서 이웃 두 개의 규칙을 가진 확률적 세포자동기(PCA)의 전이행렬을 완전히 특성화하며, 불변 분포가 마르코프 성질을 갖는 조건을 규명한다. 기존의 이진 경우(κ=1)에 국한된 결과를 일반적인 유한 알파벳(κ≥2)으로 확장하여, 불변 측도가 마르코프 성질을 갖는다 하는 것은 특정 행렬의 교환 조건이 성립할 때에만 가능하다는 것을 입증한다. 이 조건은 유도된 행렬의 프로페르-프로베니우스 고유벡터와 관련된 행렬의 교환성 조건을 포함한다.

ABSTRACT

We revisit the problem of finding the conditions under which synchronous probabilistic cellular automata indexed by the line $\\mathbb{Z}$, or the periodic line $\\cyl{n}$, depending on 2 neighbours, admit as invariant distribution the law of a space-indexed Markov chain. Our advances concerns PCA defined on a finite alphabet, where most of existing results concern size 2 alphabet. A part of the paper is also devoted to the comparison of different structures ($\\mathbb{Z}$, $\\cyl{n}$, and also some structures constituted with two consecutive lines of the space time diagram) with respect to the property to possess a Markovian invariant distribution.

연구 동기 및 목표

• 정수선 ℤ 또는 주기적 선 ℤ/nℤ에서 동기식 확률적 세포자동기(PCA)의 불변 분포가 공간 색인에 대해 마르코프 성질을 갖는 조건을 규명하는 것.
• 기존 결과—이전에는 이진 경우(κ=1)에 국한되어 있었음—을 크기가 κ≥2인 유한 알파벳을 가진 PCA로 확장하는 것.
• 다양한 기초 그래프인 ℤ, ℤ/nℤ, 그리고 공간-시간 다이어그램의 수평 지그재그 구조에서 마르코프 불변성의 구조적 조건을 비교하는 것.
• 전이행렬 T와 관련된 프로페르-프로베니우스 고유벡터를 이용해 마르코프 불변 분포 존재 여부에 대한 완전하고 명시적인 기준을 제공하는 것.

제안 방법

• 전이행렬 T를 통해 이웃 두 개의 영향을 받는 구성(configurations) E_κ^ℤ 위의 마르코프 체인으로 PCA를 정의한다.
• 전이 확률 T에 기반하여 유도된 행렬 D^η와 U^η를 도입하고, 프로페르-프로베니우스 이론을 활용해 그 스펙트럼 성질을 분석한다.
• D^γU^γ = U^γD^γ를 만족시키는 조건을 요구함으로써 마르코프 불변 분포 존재에 대한 필요 및 충분 조건을 확립한다. 여기서 γ는 유도된 행렬 X의 정규화된 프로페르-프로베니우스 왼쪽 고유벡터이다.
• 행렬의 교환성과 고유벡터 정규화를 활용해, 유일하게 불변 측도를 결정하는 방정정계를 유도한다. 이 측도는 X의 프로페르-프로베니우스 왼쪽 고유벡터인 γ이다.
• 주기적 경우 ℤ/nℤ로 증명을 일반화하기 위해, 동일한 행렬 교환 조건에 더해 양성 및 기약성 가정이 성립함을 확인함으로써 유일한 불변 마르코프 측도 존재를 보장한다.
• 조건 D^γU^γ = U^γD^γ가 κ=1일 땐 충분하지만 일반적으로 κ≥2일 땐 부족함을 확인하고, 대각성분과 고유벡터 정렬의 추가 분석이 필요함을 규명한다.

실험 결과

연구 질문

• RQ1 전이행렬 T가 어떤 조건을 만족할 때, 크기가 유한한 알파벳 E_κ를 가진 PCA가 ℤ에서 마르코프 불변 분포를 갖는가?
• RQ2 무한선 ℤ와 유한 주기선 ℤ/nℤ 사이에서 마르코프 불변 분포를 갖는 조건은 어떻게 다를까?
• RQ3 전이행렬 T의 어떤 구조적 성질이 공간에서 마르코프 체인이 되는 불변 측도를 보장하는가? 이 성질은 알파벳 크기 κ에 따라 어떻게 달라지는가?
• RQ4 이진 경우(κ=1)에 국한된 마르코프 불변성의 특성화를 일반적인 유한 알파벳(κ≥2)으로 확장할 수 있는가? 이 경우 새로운 수학적 조건는 무엇이 발생하는가?
• RQ5 다양한 기초 그래프—예를 들어 공간-시간 다이어그램의 수평 지그재그—는 마르코프 불변 분포를 지지하는 데 어떤 차이를 보이는가?

주요 결과

• PCA가 ℤ 또는 ℤ/nℤ에서 정의될 때, 불변 분포가 마르코프 성질을 갖는다 하는 것은 유도된 행렬 X의 정규화된 프로페르-프로베니우스 왼쪽 고유벡터 γ에 대해 D^γ와 U^γ가 교환 가능할 때에만 성립한다. 여기서 X_{a,b} = T_{a,a|0} ν_a / T_{a,b|0} γ_a 이다.
• κ=1일 경우 조건 D^γU^γ = U^γD^γ는 대각성분의 등가성 확인으로 단순화되지만, κ≥2일 경우 전체 행렬의 교환성이 필요하다.
• 유일한 불변 측도는 전이행렬 T와 다른 행렬 Y의 프로페르-프로베니우스 고유벡터 ν로부터 유도된 행렬 X의 정규화된 프로페르-프로베니우스 왼쪽 고유벡터 γ로 주어진다.
• 증명을 통해 세부 균형 조건에서 유도된 방정정계의 해 η는 항상 γ와 같다는 것을 입증함으로써, 마르코프 불변 측도의 유일성이 도출된다.
• 일반적인 경우 κ≥2에서 마르코프 불변 분포 존재 여부에 대한 조건 D^γU^γ = U^γD^γ는 필수적이고 충분하며, 이는 이전에 κ=1에 국한된 결과를 확장한 것이다.
• 논문은 기초 그래프의 구조(예: ℤ, ℤ/nℤ, 또는 공간-시간 다이어그램의 지그재그)가 마르코프 불변성의 실현 가능성에 상당한 영향을 미치며, 각 경우에 대해 별개의 조건이 도출됨을 확인한다.