[논문 리뷰] A note on the definition of sliding block codes and the Curtis-Hedlund-Lyndon Theorem

Marcelo Sobottka, Daniel Gonçalves|arXiv (Cornell University)|2015. 07. 08.

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

한 줄 요약

이 논문은 가산(가능한 무한함) 알파벳 위의 시프트 공간에 대해, 각 위치 주변의 구성에 따라 적응하는 가변 이웃 영역에 의존하는 국소 규칙을 갖는 슬라이딩 블록 코드의 일반화된 정의를 제안한다. 주요 기여는 일반화된 슬라이딩 블록 코드를 정확히 연속적이고 이동을 교환하는 사상으로 특징짓는 수정된 Curtis-Hedlund-Lyndon 정리이다. 이는 무한 알파벳 설정에서 고전적 등가성을 복원한다.

ABSTRACT

In this note we propose an alternative definition for sliding block codes between shift spaces. This definition coincides with the usual definition in the case that the shift space is defined on a finite alphabet, but it encompass a larger class of maps when the alphabet is infinite. In any case, the proposed definition keeps the idea that a sliding block code is a map with a local rule. Using this new definition we prove that the Curtis-Hedlund-Lyndon Theorem always holds for shift spaces over countable alphabets.

연구 동기 및 목표

• 유한 알파벳이 아닌 경우의 시프트 공간에서 고전적 Curtis-Hedlund-Lyndon 정리가 성립하지 않는 이유(콤���터성 부족)를 해결하기 위해.
• 알파벳이 무한할 경우 연속적이고 이동을 교환하는 사상과 고전적 슬라이딩 블록 코드 사이의 불일치를 해결하기 위해.
• 국소성은 유지하면서 구성에 따라 변화하는 이웃 영역을 允허하는 슬라이딩 블록 코드의 일반화된 정의를 제안하기 위해.
• 연속성과 이동을 교환하는 성질이 일반화된 슬라이딩 블록 코드를 완전히 특징짓는다는 것을 증명하여, 무한 알파벳 설정에서 고전적 정리의 등가성을 복원하기 위해.

제안 방법

• 입력 시퀀스의 국소 구성에 따라 달라지는 유한 이웃 영역의 가족을 통해 일반화된 슬라이딩 블록 코드를 정의한다.
• 고전적 슬라이딩 블록 코드를 각 출력 기호가 고정된 유한 이웃 영역을 통해 국소 규칙에 의해 결정되는 사상으로 재표현한다.
• 특히, 닫힌 실린더와 이동 불변성에 기반한 시프트 공간의 위상적 구조를 사용하여 연속성과 이동을 교환하는 성질을 분석한다.
• 사상이 일반화된 슬라이딩 블록 코드이기 위한 필요충분조건으로, 실린더의 역상과 그 실린더들의 합집합 분해를 이용하여 연속성과 모든 이동과의 교환성을 증명한다.
• 연속적이고 이동을 교환하는 사상의 실린더의 역상이 실린더들의 합집합이 되므로, 개방성과 연속성이 보장된다는 사실을 활용한다.
• 알파벳이 유한할 경우 일반화된 정의가 고전적 정의로 축소됨을 보여, 이전 이론과의 일관성을 유지한다.

실험 결과

연구 질문

• RQ1 고전적 슬라이딩 블록 코드의 정의는 무한 알파벳 위의 시프트 공간으로 확장될 수 있는가? 이때 국소성 원칙은 유지되는가?
• RQ2 왜 고전적 Curtis-Hedlund-Lyndon 정리는 무한 알파벳에서 실패하는가? 부족한 구조적 성질은 무엇인가?
• RQ3 연속성과 이동을 교환하는 조건을 만족하지만 고전적 정의로는 포괄되지 않는 더 넓은 사상의 클래스가 존재하는가?
• RQ4 일반화된 슬라이딩 블록 코드 정의를 사용하여 무한 알파벳에 대해 수정된 Curtis-Hedlund-Lyndon 정리를 수립할 수 있는가?
• RQ5 무한 알파벳 설정에서 연속성, 이동 불변성, 국소 규칙 존재성 간의 관계는 무엇인가?

주요 결과

• 제안된 일반화된 슬라이딩 블록 코드 정의는 고전적 정의를 확장하며, 가산 무한 알파벳 위의 시프트 공간에 자연스럽게 적용된다.
• 일반화된 정의는 여전히 국소 규칙의 직관적 개념을 유지하지만, 각 위치 주변의 구성에 따라 이웃 영역의 크기와 형태가 변화할 수 있도록 허용한다.
• 두 시프트 공간 간의 사상이 일반화된 슬라이딩 블록 코드일 조건은 정확히 연속적이고 모든 이동과 교환되는 것이다.
• 이 수정된 특징은 고전적 정리의 등가성을 무한 알파벳 설정에서 복원한다. 고전적 정리는 균일 연속성 부족으로 인해 무한 알파벳에서는 실패한다.
• 증명은 연속적이고 이동을 교환하는 사상의 실린더 역상이 실린더들의 합집합이므로 개방적임을 보장하며, 이는 연속성을 보장한다.
• 예시로, $\Phi(\mathbf{x})_j = \max_{i \geq j} x_i$ 는 연속적이고 이동을 교환하지만 일반화된 슬라이딩 블록 코드가 아니며, 이는 새로운 정의의 필요성을 보여준다.