[논문 리뷰] Dynamics and topological entropy of 1D Greenberg-Hastings cellular automata

Marc Keßeböhmer, Jens D. M. Rademacher외 1명|arXiv (Cornell University)|2019. 03. 06.

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

한 줄 요약

이 논문은 e ≥ 1개의 활성 상태와 r ≥ 1개의 비활성 상태를 가진 1차원 Greenberg-Hastings 셀룰러 오토마타의 역학과 위상적 엔트로피를 분석한다. Devaney-chaotic인 펄스 소멸 부분계수대가 이동 동역학의 비틀림 곱과 위상적으로 동형임을 규명하여, 이 부분계수대의 위상적 엔트로피가 엄밀히 양이며, 정적 결함에서 유래하는 마코프 부분계수대의 엔트로피보다 높음을 보이고, e와 r 증가에 따른 엔트로피 스케일링 행동이 서로 다름을 밝혀냄.

ABSTRACT

In this paper we analyse the non-wandering set of 1D-Greenberg-Hastings cellular automata models for excitable media with $e\geqslant 1$ excited and $r\geqslant 1$ refractory states and determine its (strictly positive) topological entropy. We show that it results from a Devaney-chaotic closed invariant subset of the non-wandering set that consists of colliding and annihilating travelling waves, which is conjugate to a skew-product dynamical system of coupled shift-dynamics. Moreover, we determine the remaining part of the non-wandering set explicitly as a Markov system with strictly less topological entropy that also scales differently for large $e,r$.

연구 동기 및 목표

• . 이 논문은 일반적인 e ≥ 1 및 r ≥ 1에 대해 1차원 Greenberg-Hastings 셀룰러 오토마타의 비잡음 집합과 위상적 엔트로피를 특성화하고자 한다.
• 이미 잘 연구된 e = r = 1의 경우를 초월해, 정적 결함과 불완전성으로 인한 복잡한 구조의 출현을 이해하고자 한다.
• 비잡음 집합을 두 부분으로 분해하고자 한다: 혼돈적인 펄스 소멸 부분계수대와 낮은 엔트로피의 마코프 부분계수대.
• e와 r 증가에 따른 위상적 엔트로피의 스케일링 행동을 조사하여, 두 역학적 성분 간의 다른 스케일링 행동을 규명하고자 한다.
• 논문의 목표는 체계적인 역학적 기술을 제공하고, 전체 시스템의 정확한 위상적 엔트로피를 계산하는 것.

제안 방법

• . 저자들은 상태 공간 A = {0, 1, ..., e + r}를 가진 전체 이동 X = AZ 위에서 정의된 셀룰러 오토마타 T를 분석한다. 여기서 0은 휴식 상태, E = {1, ..., e}는 활성 상태, R = {e+1, ..., e+r}는 비활성 상태이다.
• 지역 역상 공식을 사용하여, 최종 이미지에서 금지된 3-블록과 n-블록(n ≥ 4)을 규명하고, 이들은 비잡음 집합에서 제외된다.
• 반대 방향으로 진행하는 무한한 다중 펄스를 이용해 펄스 소멸 역학을 연구한다. 좌우로 이동하는 펄스가 충돌하여 상호 소멸한다.
• 부분집합 Z에서의 펄스 소멸 역학이 이동 동역학의 비틀림 곱과 위상적으로 동형임을 보여주며, 정확한 엔트로피 계산이 가능해진다.
• 마코프 부분계수대는 유한 상태 마코프 체인으로 명시적으로 기술되며, 엄밀히 낮은 위상적 엔트로피를 가진다.
• 전체 시스템의 위상적 엔트로피가 비잡음 집합의 엔트로피와 같음을 보이고, 펄스 소멸 부분계수대의 엔트로피는 단일 무한 펄스 트레인 이동의 엔트로피의 두 배로 계산된다.

실험 결과

연구 질문

• RQ1 . 일반적인 e ≥ 1 및 r ≥ 1에 대해 1D Greenberg-Hastings 셀룰러 오토마타의 비잡음 집합의 구조는 어떻게 되는가?
• RQ2 시스템의 위상적 엔트로피는 펄스 소멸 역학과 마코프 결함 역학 간에 어떻게 분해되는가?
• RQ3 펄스 소멸 역학은 Devaney-chaotic인가? 만약 그렇다면, 어떤 알려진 동역학계와 위상적으로 동형인가?
• RQ4 전체 시스템의 정확한 위상적 엔트로피는 얼마이며, e와 r에 따라 어떻게 스케일링되는가?
• RQ5 n ≥ 4에 대해 (a, 0^{n-2}, b) 형태의 금지 블록이 시스템에 미치는 영향은 무엇이며, 이는 동역학과 엔트로피에 어떻게 영향을 미치는가?

주요 결과

• . 1D Greenberg-Hastings CA의 비잡음 집합 Ω는 두 개의 서로소 부분집합으로 분해된다: Devaney-chaotic인 펄스 소멸 부분계수대 Z와 낮은 엔트로피의 마코프 부분계수대.
• Z에서의 펄스 소멸 역학은 이동 동역학의 비틀림 곱과 위상적으로 동형이며, 정확한 엔트로피 계산이 가능해진다.
• 펄스 소멸 부분계수대의 위상적 엔트로피는 엄밀히 양이며, 단일 무한 펄스 트레인 이동의 엔트로피의 두 배와 같다.
• 정적 결함과 불완전성에서 기인하는 마코프 부분계수대의 위상적 엔트로피는 펄스 소멸 부분계수대보다 엄밀히 낮다.
• 두 동역학 성분은 e와 r 증가에 따라 다른 방식으로 스케일링된다: 펄스 소멸 엔트로피는 e + r에 대해 선형으로 증가하지만, 마코프 부분계수대의 엔트로피는 비선형적으로 증가한다.
• 논문은 (a, 0^{n-2}, b) 형태의 금지 블록(여기서 a, b ∈ R, n ≥ 4)이 최종 이미지에 나타나지 않음을 증명하여, 비잡음 집합이 제한됨을 보였다.