[논문 리뷰] Characterization for entropy of shifts of finite type on Cayley trees

Jung‐Chao Ban, Chih-Hung Chang|arXiv (Cornell University)|2017. 05. 09.

Cellular Automata and Applications참고 문헌 8인용 수 8

한 줄 요약

이 논문은 카일리 트리 위의 유한형 나무 이동장치(TSFTs)의 위상적 엔트로피를 계산하는 알고리즘을 제시한다. 이 엔트로피는 $\frac{1}{p}\ln\lambda$ 형태를 가지며, 여기서 $\lambda$는 페론 수이고 $p \in \mathbb{N}$이다. 이 방법은 비선형 재귀 방정식의 축소된 시스템(SNREs)에서 유도된 인접 행렬의 스펙트럼 반경에 기반하며, 리드의 일차원 SFT 엔트로피 특성화를 나무 이동장치 설정으로 확장한다.

ABSTRACT

The notion of tree-shifts constitutes an intermediate class in between one-sided shift spaces and multidimensional ones. This paper proposes an algorithm for computing of the entropy of a tree-shift of finite type. Meanwhile, the entropy of a tree-shift of finite type is $\dfrac{1}{p} \ln λ$ for some $p \in \mathbb{N}$, where $λ$ is a Perron number. This extends Lind's work on one-dimensional shifts of finite type. As an application, the entropy minimality problem is investigated, and we obtain the necessary and sufficient condition for a tree-shift of finite type being entropy minimal with some additional conditions.

연구 동기 및 목표

• 카일리 트리 위의 나무 이동장치 유한형(TSFTs)에 대한 위상적 엔트로피의 계산 가능한 특성화를 개발하는 것.
• 일차원 SFT 엔트로피의 리드 특성화—페론 수에 기반—를 중간 계열인 나무 이동장치로 확장하는 것.
• 축소된 비선형 재귀 방정식 시스템(SNREs)을 통한 TSFT 엔트로피 계산을 위한 알고리즘적 방법을 수립하는 것.
• 추가적인 구조적 조건 하에서 TSFT 엔트로피 최소화 문제를 조사하는 것.
• 모든 수 $\frac{1}{p}\ln\lambda$ 형태의 수가 $\lambda$가 페론 수일 때 어떤 TSFT의 엔트로피로 나타날 수 있음을 보여주는 것.

제안 방법

• TSFT의 엔트로피는 TSFT와 관련된 시스템 $F$에서 유도된 모든 축소된 SNRE $E$에 대해 $\ln\lambda_{M_E}$의 최댓값으로 계산된다.
• 시스템 $F$는 카일리 트리의 차수 $d$를 고려하여 비선형 재귀 방정식 $F^{(k+1)} = (a_{n-1}^{(k+1)})^d$ 의 형태로 모델링된다.
• 최소 원소를 사전순서 기준으로 식별하여 축소된 SNRE $E$를 구성함으로써, 엔트로피가 하위계로 포착되도록 보장한다.
• 축소된 SNRE의 전이 규칙에서 유도된 인접 행렬 $M_E$는 블록 구조 $\begin{pmatrix} M & U \\ 0 & d \end{pmatrix}$ 를 가지며, 여기서 $U$는 분기 제약 조건을 코딩한다.
• 행렬 $M_E$의 스펙트럼 반경 $\lambda_{M_E}$ 는 $h(X) = \ln\lambda_{M_E}$ 를 통해 엔트로피를 결정하며, 전체 엔트로피는 이러한 모든 $M_E$에 대해 최댓값을 취함으로써 얻어진다.
• 주어진 엔트로피 $\frac{1}{p}\ln\lambda$ 를 갖는 TSFT $X = \mathsf{X}_\mathcal{F}$ 를 구성하는 구축 방법이 제시된다. 이는 SNRE의 구조에서 금지된 집합 $\mathcal{F}$ 를 정의함으로써 이루어진다.

실험 결과

연구 질문

• RQ1 카일리 트리 위의 나무 이동장치 유한형의 위상적 엔트로피는 어떤 대수적 특성으로 기술될 수 있는가?
• RQ2 TSFT의 엔트로피는 알고리즘적으로 계산될 수 있는가? 만약 그렇다면, 어떻게?
• RQ3 TSFT 엔트로피의 집합은 페론 수의 로그의 유리수 배를 모두 포함하는가?
• RQ4 어떤 조건에서 TSFT 엔트로피가 최소가 되며, 이를 어떻게 특성화할 수 있는가?
• RQ5 모든 수 $\frac{1}{p}\ln\lambda$ 형태의 수가 $\lambda$가 페론 수일 때 어떤 TSFT의 엔트로피로 실현될 수 있는가?

주요 결과

• 모든 가능한 TSFT 엔트로피의 집합은 정확히 $\left\{ \frac{1}{p}\ln\lambda \mid \lambda \text{는 페론 수}, p \in \mathbb{N} \right\}$ 이며, 이는 일차원 SFT에 대한 리드 결과를 일반화한다.
• TSFT의 엔트로피는 $h(X) = \max\left\{ \ln\lambda_{M_E} \mid E \text{는 } F \text{의 축소된 SNRE} \right\}$ 로 주어지며, 여기서 $F$ 는 TSFT와 관련된 비선형 재귀 방정식 시스템이다.
• 엔트로피는 원래 시스템의 하위계에서 달성되며, 이는 축소된 SNRE의 구조에서 복잡성이 단일 비가역 성분에 의해 지배됨을 의미한다.
• 모든 페론 수 $\lambda$ 와 모든 $p \in \mathbb{N}$ 에 대해, 엔트로피 $\frac{1}{p}\ln\lambda$ 를 갖는 TSFT 가 존재함을 보여, 특성화의 완전성을 입증한다.
• 이러한 TSFT의 구성은 명시적이다: 스펙트럼 반경이 $\lambda^{1/p}$ 인 비음이 아닌 비가역 정수 행렬 $M$ 이 주어지면, 해당 엔트로피 $\frac{1}{p}\ln\lambda$ 를 실현하는 금지된 집합 $\mathcal{F}$ 를 정의할 수 있다.
• 예시로, $3 \times 3$ 행렬 $M$ 에서 유도된 $4 \times 4$ 행렬 $V$ 가 구성되었으며, 이에 따라 유도된 SNRE 시스템은 엔트로피 $\ln\lambda$ 를 갖는 TSFT 를 생성한다. 여기서 $\lambda$ 는 $M$ 의 스펙트럼 반경이다.