주기적‑유한형 전이의 “주기”가 가져오는 새로운 동역학

본 논문은 주기적‑유한형 전이(Periodic‑Finite‑Type shift, 이하 PFT)라는 새로운 소픽 클래스의 기본 특성을 “주기”라는 매개변수를 중심으로 탐구한다. 서론에서는 SFT(Shift of Finite Type)가 제한된 금지어 집합으로 정의되는 반면, PFT는 금지어가 일정한 주기 T 에 따라 선택적으로 적용된다는 점을 강조한다. 이는 Moision‑Siegel 이 제안한 거리‑증강 제한 코딩 등에서 자연스럽게 등장한다. II 장에서는 기본 정의와 배경을 정리한다. 알파벳 Σ(크기 q≥2) 위의 bi‑infinite 시퀀스 w 를 고려하고, 금지어 집합 F′ 로부터 SFT Y_{F′} 를 정의한다. 모든 금지어를 동일한 길이 ℓ 로 변환함으로써 B_ℓ(Y)=Σ^{ℓ}\F′ 라는 표현을 얻는다. PFT X_{F,T} 는 리스트 F=(F(0),…,F(T‑1)) 와 주기 T 로 정의되며, σ^r(w) 의 i번째 위치에 u≺σ^r(w) 가 있으면 u∉F(i mod T) 가 되어야 한다. T=1이면 PFT는 SFT와 동일하고, 일반적인 경우는 “proper” PFT라 부른다. MS 알고리즘은 주어진 PFT 를 결정적 그래프 G_X 로 변환한다. 핵심 단계는 (1) 모든 금지어를 ℓ‑길이 F(0) 로 통일, (2) Σ^{ℓ} 를 T 복제해 V(0)…V(T‑1) 로 명명, (3) ℓ‑1 겹침 규칙에 따라 간선을 연결, (4) F(0) 에 해당하는 상태와 그 입·출을 제거, (5) 입·출이 하나뿐인 고립 상태를 반복적으로 삭제한다. 결과 그래프는 결정적이며, 경로 길이가 ℓ 이상이면 현재 상태는 마지막 ℓ 기호와 일치한다는 중요한 성질을 가진다. III 장에서는 “주기”가 PFT 의 구조에 미치는 영향을 구체적으로 분석한다. 먼저 SFT Y 가 비가역적(irreducible)일 때, PFT X_{F,T} (F(0)=F′, 나머지 비어 있음) 에서 T 와 관계된 주기 p≡1(mod T) 를 갖는 시퀀스가 존재하면 MS 표현 G_X 도 비가역적임을 Theorem III.1 로 증명한다. 증명은 G_X 의 서브그래프 H (F(0) 를 제외한 Σ^{ℓ}) 가 Y 의 완전한 표현임을 보이고, H 가 비가역이면 G_X 도 비가역임을 단계적으로 전개한다. Corollary III.2 는 |F′|<|Σ| 라는 간단한 조건 하에 언제든 a^{∞} 와 같은 주기 1 시퀀스가 존재하므로, 모든 T≥1 에 대해 X 가 비가역적임을 도출한다. 이는 PFT 가 SFT 보다 더 풍부한 구조를 가질 수 있음을 시사한다. 엔트로피 비교에서는 결정적 표현의 인접 행렬 A_G 의 최대 고유값 λ_max 로 h(S)=log₂λ_max 를 정의한다. 일반적으로 G_X 와 H 의 스펙트럼을 직접 연결하기는 어려우나, |F′|=1, T=2 인 특수 경우에 Theorem III.3 이 χ_{A_{G_X}}(t)=t(χ_{A_H}(t)+(−1)^{qℓ}det B(1,qℓ)) 라는 식을 제시한다. 이는 G_X 의 특성 다항식이 H 의 특성 다항식에 단순한 선형 항을 더한 형태이며, 이를 통해 두 전이의 엔트로피 차이를 정량화할 수 있다. IV 장에서는 “주기”의 다양한 정의를 제시한다. (1) 순차적 주기 T_seq : X 안에 존재하는 가장 짧은 주기 시퀀스의 길이, (2) 그래프적 주기 T_graph : 비가역적 표현 그래프에서 모든 사이클 길이의 최대공약수, (3) 서술적 주기 T_desc : X 를 정의할 때 가능한 최소 T*. Proposition IV.1 은 Y 가 a^{∞} 를 포함하면 T_seq=1 이지만, X 가 proper PFT이고 T 가 소수이면 T_desc=T 가 됨을 보인다. 즉, 서술적 주기는 순차적·그래프적 주기와 독립적으로 크게 될 수 있다. 전체적으로 논문은 PFT 라는 새로운 전이 클래스를 정의하고, 그 정의에 내재된 “주기”가 가역성, 엔트로피, 그래프 구조 등에 미치는 영향을 체계적으로 분석한다. 특히, SFT 와의 비교를 통해 PFT 가 더 일반적인 모델임을 보이며, 주기 T 가 전이 시스템의 동역학적 특성을 조절하는 핵심 파라미터임을 강조한다.