[논문 리뷰] An Order on Sets of Tilings Corresponding to an Order on Languages

Nathalie Aubrun, Mathieu Sablik|ArXiv.org|2009. 02. 10.

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

한 줄 요약

이 논문은 다차원 하위시프트의 동적 순서(요소로는 팩터, 부분행동, 곱셈 등이 포함됨)와 금지 패턴 언어의 계산 가능성 기반 순서 사이의 대응 관계를 수립한다. 주요 기여는 한 하위시프트가 다른 하위시프트를 동적 변환을 통해 시뮬레이션할 수 있는지 여부가, 두 번째 하위시프트의 금지 패턴 언어가 첫 번째 하위시프트의 언어로 계산적으로 단순화 가능한지 여부와 정확히 일치한다는 것을 보여주는 공식적 연결 고리의 수립이다. 이는 타일 이론에서의 시뮬레이션 계층을 일반화한 것이다.

ABSTRACT

Traditionally a tiling is defined with a finite number of finite forbidden patterns. We can generalize this notion considering any set of patterns. Generalized tilings defined in this way can be studied with a dynamical point of view, leading to the notion of subshift. In this article we establish a correspondence between an order on subshifts based on dynamical transformations on them and an order on languages of forbidden patterns based on computability properties.

연구 동기 및 목표

• 유한한 금지 패턴을 넘어서 임의의 집합의 금지 패턴을 고려함으로써 타일 이론을 일반화하기 위해.
• 팩터, 부분행동, 곱셈과 같은 동적 연산을 사용하여 하위시프트 간의 시뮬레이션에 대한 공식적 개념을 정의하기 위해.
• 하위시프트 간의 시뮬레이션 관계와 금지 패턴 언어의 계산 가능성 기반 순서 사이의 대응 관계를 수립하기 위해.
• 다차원 하위시프트가 그들의 금지 패턴 언어의 복잡성에 따라 상호로 시뮬레이션할 수 있음을 보여주기 위해.
• 언어의 단순화 가능성에 내재된 제한으로 인해, 모든 다른 하위시프트를 시뮬레이션할 수 있는 유일한 하위시프트는 존재하지 않음을 보여주기 위해.

제안 방법

• 저자들은 임의의 금지 패턴 집합을 사용하여 일반화된 타일을 정의함으로써, 구성 공간의 닫힘과 이동 불변성을 갖는 하위시프트를 도출한다.
• 하위시프트 간의 시뮬레이션을 형식화하기 위해 다섯 가지 동적 연산—곱셈, 팩터, 유한 유형, 부분행동, 초합성—을 도입한다.
• 핵심 구성은 오라클을 갖춘 튜링 기계를 시뮬레이션할 수 있는 소픽 하위시프트를 사용하는 것으로, 고차원에서 직사각형 패턴을 통해 계산을 인코딩한다.
• 증명는 오라클 질의가 다른 하위시프트의 구성으로 해결되는 4차원 하위시프트에 튜링 기계 계산을 임bedding하는 데 의존한다.
• 하위시프트가 시뮬레이션 가능할 조건은, 그 하위시프트의 금지 패턴 언어가 시뮬레이팅 하위시프트의 언어로 계산적으로 단순화 가능할 때에만 성립한다는 것을 보여줌으로써 대응 관계를 수립한다.
• 구성은 언어의 보완을 사용한다: 패턴이 언어에 포함되지 않으면, 그에 상응하는 타겟 하위시프트에 유효한 구성이 존재하며, 이는 시뮬레이션을 가능하게 한다.

실험 결과

연구 질문

• RQ1 팩터와 부분행동과 같은 동적 연산을 통해 하위시프트가 다른 하위시프트를 시뮬레이션할 수 있으며, 이러한 시뮬레이션의 가능성을 결정짓는 조건은 무엇인가?
• RQ2 금지 패턴 언어의 계산 가능성은 하위시프트의 시뮬레이션 계층과 어떻게 관련이 있는가?
• RQ3 고려된 연산 하에 모든 다른 하위시프트를 시뮬레이션할 수 있는 유일한 하위시프트가 존재하는가?
• RQ4 고차원 구성으로 d차원 하위시프트를 시뮬레이션하기 위해 필요한 최소 차원은 얼마인가?
• RQ5 다양한 동적 연산 조합(예: 팩터 대비 부분행동)이 시뮬레이션 순서에 미치는 영향은 어떠한가?

주요 결과

• 동적 연산을 통한 하위시프트의 시뮬레이션은 정확히 그 금지 패턴 언어의 계산 가능성 기반 단순화와 일치한다.
• 금지 패턴 언어가 재귀적으로 열거 가능한 모든 하위시프트는 차원 d+2에서 유한 유형의 하위시프트에 의해 시뮬레이션될 수 있다.
• 시뮬레이션 계층은 오라클 튜링 기계 하에서 금지 패턴 언어의 단순화 가능성에 의해 완전히 특징지어진다.
• 언어의 계산 가능성 계층에서 주어진 언어보다 엄격히 높은 언어가 존재하므로, 모든 다른 하위시프트를 시뮬레이션할 수 있는 유일한 하위시프트는 존재하지 않는다.
• 4차원 하위시프트의 구성은 오라클을 갖춘 튜링 기계를 시뮬레이션할 수 있으며, 오라클 질의는 다른 하위시프트의 구성으로 해결된다.
• 하위시프트의 언어가 다른 언어로 계산적으로 단순화 가능할 조건은, 해당 하위시프트가 동적 연산의 전체 집합을 통해 시뮬레이션될 수 있을 때에만 성립한다.