[논문 리뷰] Computation of extended symmetry groups for multidimensional subshifts with hierarchical structure

Álvaro Parra|arXiv (Cornell University)|2018. 10. 05.

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

한 줄 요약

이 논문은 이원적 치환 하위시계수와 로빈슨 타일링과 같은 계층적 구조를 가진 다차원 하위시계수의 확장 대칭군을 분석하기 위해 기하 기법을 도입한다. 특수 점에서의 대규모 패턴과 균열 방향을 분석함으로써, 확장 대칭군이 가상으로 ℤᵈ임을 증명하고, 비자명한 대칭을 좌표축의 정적 변환로 명시적으로 기술한다.

ABSTRACT

Automorphism groups are intrincate conjugacy invariants for subshifts, which can reveal important features of the dynamical structure of a shift action. One important case is the study of automorphism groups when the underlying subshift has a very rigid structure, e.g. substitutive subshifts or aperiodic constructions with large-scale self-similarity, such as the Robinson shift. In this work we study the automorphism group of bijective substitutive subshifts, and a potential generalization in the form of the group of extended symmetries, studied previously by Michael Baake, John Roberts and Reem Yassawi (arXiv:1611.05756); these symmetries, by allowing for shearing and other deformations of the underlying group, may reveal additional information of a geometric nature about the structure of these subshifts.

연구 동기 및 목표

• 계층적 조직을 가진 다차원 하위시계수의 확장 대칭군의 구조를 이해하기 위해.
• 특수 하위시계수 점에서의 대규모 기하적 특징을 분석하여 대칭에 대한 제약 조건을 규명하기 위해.
• Quotient group Sym(X,ℤᵈ)/Aut(X,ℤᵈ)를 좌표축의 정적 변환 집합으로 명시적으로 기술하기 위해.
• 로빈슨 타일링에서 사용된 기법을 최소 및 비최소 버전 모두에 확장하기 위해.
• 비가역적 치환 하위시계수와 로빈슨 타일링에 대해 확장 대칭군이 가상으로 ℤᵈ임을 입증하기 위해.

제안 방법

• 하위시계수에서 금지된 대칭 방향을 식별하기 위해 균열 법선 방향의 개념을 사용한다.
• Curtis-Hedlund-Lyndon 정리를 적용하여 슬라이딩 블록 코드를 局소 함수와 유한 창을 통해 표현한다.
• 주기적 점과 그 최대 등지속성 인수(메프)에 의한 상의 이미지를 분석하여 섬유의 기수를 제약한다.
• 이동 작용의 충실성을 활용하여 대칭이 구조적 및 역학적 성질을 유지함을 보장한다.
• 패턴의 지수적으로 증가하는 지지 집합이 대칭에 의해 정렬되어야 한다는 점을 보여주기 위해 재귀적 치환 구조(예: θᵐ(a))를 활용한다.
• 패턴의 겹침과 균열 집합과의 비자명한 교차를 바탕으로 모순을 유도하여 축에 평행하지 않은 대칭을 배제한다.

실험 결과

연구 질문

• RQ1 이원적 치환 하위시계수와 같은 계층적 구조를 가진 다차원 하위시계수의 가능한 대칭은 무엇인가?
• RQ2 하위시계수의 특수 점에서의 대규모 기하적 특징은 어떻게 확장 대칭군을 제약하는가?
• RQ3 Quotient group Sym(X,ℤᵈ)/Aut(X,ℤᵈ)의 구조는 무엇이며, 어떻게 명시적으로 표현할 수 있는가?
• RQ4 최소 로빈슨 타일링에 사용된 기법을 비최소 버전으로 일반화할 수 있는가?
• RQ5 확장 대칭은 이러한 하위시계수에서 최대 등지속성 인수(MEF)의 섬유 구조를 어느 정도 유지하는가?

주요 결과

• 비가역적 치환 하위시계수와 로빈슨 타일링에 대해 확장 대칭군 Sym(X,ℤᵈ)는 가상으로 ℤᵈ이다.
• 비자명한 확장 대칭은 Quotient group Sym(X,ℤᵈ)/Aut(X,ℤᵈ)의 원소로서 좌표축의 정적 변환에 정확히 해당한다.
• 균열 법선 방향은 표준 좌표축으로 제한되며, 대각선과 같은 추가 방향은 비자명한 대칭을 지지할 수 없다.
• 증명은 모순에 기반한다: 축에 평행하지 않은 균열 방향을 가정하면 지수적으로 증가하는 지지 집합에서 패턴의 일관성과 모순된다.
• 최대 등지속성 인수(MEF)는 확장 대칭에 의해 섬유 기수를 유지하며, 이는 주기적 점에 대한 가능한 사상의 제약을 초래한다.
• 최소 치환 하위시계수에 대해 개발된 기법은 비최소 버전의 로빈슨 타일링으로 직접 확장되며, 대칭 제약 조건이 유지된다.