[논문 리뷰] On flow-equivalence of R-graph shifts

Wolfgang Krieger|arXiv (Cornell University)|2014. 06. 24.

Cellular Automata and Applications참고 문헌 4인용 수 5

한 줄 요약

이 논문은 특정 R-그래프에 대해, 관련된 R-그래프 시프트의 플로우 동치성은 그 기본 R-그래프의 동형사상으로 이어진다는 것을 증명한다. 이는 성질 (A)과 관련된 군대가 플로우 동치성 하에 불변임을 증명하며, 추가적인 구조적 조건 (a)–(d) 하에서 이러한 불변성은 R-그래프의 동형사상으로 이어진다. 이 결과는 마코프-다이크 시프트에 관한 코스타와 스텐버그의 작업을 더 넓은 범위의 R-그래프 시프트로 확장한다.

ABSTRACT

We show that Property $(A)$ of subshifts and the semigroup, that is associated to subshifts with Property (A), are invariants of flow equivalence. We show for certain $\mathcal R$-graphs that their isomorphism is implied by the flow equivalence of their $\mathcal R$-graph shifts.

연구 동기 및 목표

• 부분시프트에 대해 플로우 동치성 하에서 성질 (A)과 관련 군대의 불변성을 확립하기.
• 조건 (a)–(d)를 만족하는 R-그래프에 대해, R-그래프 시프트의 플로우 동치성이 기본 R-그래프의 동형사상으로 이어진다는 것을 증명하기.
• 마코프-다이크 시프트에 관한 이전 결과를 더 넓은 범위의 R-그래프 시프트로 확장하기.
• R-그래프 군대가 R-그래프의 동형사상에 대해 결정되는 조건을 특성화하기.

제안 방법

• 궤도와 언어의 불변성에 기반해 기호 확장과 플로우 동치성 하에서 성질 (A)의 불변성을 증명한다.
• 궤도 사상 ξσ를 통해, 성질 (A)를 가진 부분시프트와 관련된 군대가 플로우 동치성 하에 불변임을 보여준다.
• R-그래프 시프트를 E− ∪ E+에서의 허용 가능한 단어로 정의된 부분시프트로 도입한다.
• 항등원과 R(q,r) 관계를 포함한 생성자와 관계로 정의된 R-그래프 군대 SR(P, E−, E+)를 사용한다.
• [HK]의 결과를 적용하여 조건 (a)–(d)가 R-그래프 시프트가 성질 (A)를 가지며, 그 군대가 R-그래프 군대임을 보여준다.
• 플로우 동치성과 군대의 불변성에 의해 유도되는 R-그래프 군대의 동형사상에 의해 R-그래프의 동형사상을 확립한다.

실험 결과

연구 질문

• RQ1 성질 (A)는 부분시프트의 플로우 동치성 하에서도 불변하는가?
• RQ2 성질 (A)를 가진 부분시프트와 관련된 군대는 플로우 동치성 하에 불변하는가?
• RQ3 어떤 조건에서 R-그래프 시프트의 플로우 동치성이 기본 R-그래프의 동형사상으로 이어지는가?
• RQ4 플로우 동치성 하에서 R-그래프 군대의 불변성을 이용해 R-그래프의 동형사상을 유추할 수 있는가?
• RQ5 R-그래프에 어떤 구조적 조건이 성립하면, 그들의 시프트의 플로우 동치성이 R-그래프의 동형사상으로 이어지는가?

주요 결과

• 성질 (A)는 플로우 동치성 하에 불변하며, 포함관계 ξσ(Ω(An(X))) ⊂ Ω(A2n(X(σ))) 및 그 역으로서 증명된다.
• 성질 (A)를 가진 부분시프트와 관련된 군대는 플로우 동치성 하에 불변하며, 사상 ξσ가 군대 동형사상을 유도한다.
• 조건 (a)–(d)를 만족하는 R-그래프에 대해, R-그래프 시프트의 플로우 동치성은 R-그래프의 동형사상으로 이어진다.
• 조건 (a)–(d)는 R-그래프 시프트가 성질 (A)를 가지며, 그 관련 군대가 R-그래프 군대임을 보장한다.
• 이 결과는 코스타와 스텐버그의 마코프-다이크 시프트에 관한 정리의 일반화로, 더 넓은 범위의 R-그래프 시프트에 적용된다.
• K > 1일 때, D2 × BK인 다이크 시프트는 조건 (a)–(d)를 만족하지 않지만, K-군 불변성과 군대 구조 덕분에 여전히 결론을 만족한다.