[논문 리뷰] The Conjugacy Relation on One-sided Subshifts is Non-treeable

Ruiwen Li|arXiv (Cornell University)|2026. 03. 05.

Cellular Automata and Applications인용 수 0

한 줄 요약

이 논문은 이진 알파벳 위의 이진 전이적 일방향 부분시프트에서 동치 관계가 비-트리 가능하고 비-아메나블임을 서술 집합 이론과 구성된 군 작용을 이용해 보인다.

ABSTRACT

In this paper we study the conjugacy relation on one-sided subshifts in the viewpoint of descriptive set theory. We show the conjugacy relation on one sided subshifts with the alphabet set $\{0,1\}$ is non-treeable and non-amenable.

연구 동기 및 목표

• 서술 집합 이론 내에서 한쪽(subshift) 시프트의 동치 관계의 복잡성 연구를 동기부여한다.
• 이진 알파벳 위의 전이적 일방향 부분시프트의 동치 관계에 대해 비-트리 가능성과 비-아메나블함을 확립한다.
• 2쪽(two-sided) 및 다른 동적계에서의 동치 복잡성에 관한 기존 결과를 한쪽 설정으로 연결한다.

제안 방법

• 표준 보렐 공간에서의 동치 관계에 대한 서술 집합 이론적 프레임워크를 검토하고 보렐 환원성을 정의한다.
• 특수 구조(#+를 보존하는 자동자들)을 보존하는 가산 부분군 Γ을 구성하고 부분시프트의 소용 공간에서의 작용을 분석한다.
• 해당 작용이 측도 보존적이며 본질적으로 자유롭고, 비-트리 가능성 결과를 얻기 위해 F2×F2의 복사본을 포함한다.
• R⊆(A\{#})odd*로 매개변수화된 일방향 부분시프트의 가족 X(R)을 부분시프트의 공간 S(A)에 삽입하여 환원을 구성한다.
• 구성된 클래스에서 이진 알파벳의 전이적 일방향 부분시프트의 클래스에 대한 보렐 삽입을 제공하여 비-트리 가능성과 비-아메나블함을 전이시킨다.

실험 결과

연구 질문

• RQ1 알파벳 {0,1}를 갖는 전이적 일방향 부분시프트에서 동치 관계의 보렐 복잡도는 얼마인가?
• RQ2 일방향 부분시프트의 동치 관계가 이진 알파벳으로 한정될 때 비-트리 가능하고 비-아메나블할 수 있는가?
• RQ3 특수 기호 '#'를 보존하는 자동자에 의한 군 작용이 일방향 부분시프트의 동치 복잡성을 어떻게 드러내는가?

주요 결과

• 알파벳 {0,1}를 갖는 전이적 일방향 부분시프트의 동치 관계는 비-트리 가능하고 비-아메나블하다.
• 유한 가군 Γ ≅ (Z2 * Z2 * Z2)^2으로 동형인 가산 부분군이 존재하며 비자명한 거의 자명한 원소가 없고, 부분시프트의 compact 공간에서 동치를 보존하며 작용한다.
• 해당 작용은 측도 보존적이고 본질적으로 자유로워, F2×F2의 자유 작용에 대한 알려진 결과를 통해 비-트리 가능성을 얻는다.
• 보렐 삽입 φ가 S(A)의 부분시프트 가족을 전이적 일방향 이진 부분시프트의 클래스에 삽입하여 이진 알파벳 경우로 비-트리 가능성과 비-아메나블함을 전달한다.