[논문 리뷰] Topological completely positive entropy is no simpler in $\mathbb Z^2$-SFTs

Linda Brown Westrick|arXiv (Cornell University)|2019. 04. 25.

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

한 줄 요약

이 논문은 모든 계산 가능한 순서수 계급에서 위상적 완전 양성 엔트로피(위상적 완전 양성 엔트로피, TCPE)를 갖는 $ζ^2$-SFTs(이차 차원 유한 유형의 이송)를 구성하며, 이 클래스에서 TCPE가 $Π^1_1$-완전임을 증명한다. 이는 일반적인 위상 체계보다 더 단순한 특성화가 불가능하다는 점을 보여주며, 열린 문제를 해결한다.

ABSTRACT

We construct Z^2-SFTs at every computable level of the hierarchy of topological completely positive entropy (TCPE), answering Barbieri and García-Ramos, who asked if there was one at level 3. Furthermore, we show the property of TCPE in Z^2-SFTs is coanalytic complete. Thus there is no simpler description of TCPE in Z^2-SFTs than in the general case.

연구 동기 및 목표

• ζ²-SFTs에서 TCPE가 일반적인 위상 체계보다 더 단순한 산술적 기술을 갖는지 여부를 규명하는 것.
• Barbieri와 García-Ramos가 제기한 질문, 즉 TCPE 계층의 3단계에 해당하는 $ζ^2$-SFT가 존재하는지 여부에 답하는 것.
• $ζ^2$-SFTs에서 TCPE 순서수 랭크가 $ω_1^{ck}$ 이하의 모든 계산 가능한 순서수에 도달할 수 있음을 보여주는 것.
• ζ²-SFTs에서 TCPE의 복잡성이 일반 위상 체계의 복잡성과 일치하며, 서술 집합 이론적 난이도가 감소하지 않음을 보여주는 것.

제안 방법

• 계산 가능한, 잘 서식된, 두꺼운 트리를 사용하여 $ζ^2$-SFTs를 구성하고, '패브릭' 임bedding 연산을 통해 위상적 구조를 강제하는 것.
• 효율적 서술 집합 이론을 사용하여 계산 가능한 트리의 잘 서식된 성질을 유도된 SFTs에서의 TCPE와 연결하는 것.
• 트리 기반의 기호 체계에서 유도된 SFTs의 일반화된 전이 랭크를 통해 TCPE 랭크의 계층을 정의하는 것.
• 소픽 계산을 사용하여 추가 제약 조건을 강제하는 것, 예를 들어 엔트로피 쌍을 분리하고 극한 행동을 제어하는 것.
• 트리의 두께 조건을 적용하여 유도된 SFTs가 올바른 TCPE 랭크를 갖도록 하고, 부당한 동치 클래스를 방지하는 것.
• 계산 가능한 트리의 잘 서식된 성질 문제를 $ζ^2$-SFTs에서의 TCPE로 환원하여 $Π^1_1$-완전성을 증명하는 것.

실험 결과

연구 질문

• RQ1 모든 계산 가능한 순서수 $\alpha < \omega_1^{ck}$ 에 대해, TCPE 랭크가 정확히 $\alpha$인 $ζ^2$-SFTs가 존재하는가?
• RQ2 Barbieri-García-Ramos 계층의 3단계에서 TCPE를 갖는 $ζ^2$-SFT가 존재하는가?
• RQ3 $ζ^2$-SFTs에서 TCPE 성질은 산술 공식으로 기술될 수 있는가, 아니면 본질적으로 복잡한가?
• RQ4 $ζ^2$-SFTs에서 TCPE의 복잡성은 일반 위상 체계와 동일한가, 아니면 더 단순한가?
• RQ5 기반 트리의 랭크에 기반한 기호적 구성으로 SFT의 TCPE 랭크를 완전히 제어할 수 있는가?

주요 결과

• 모든 계산 가능한 순서수 $\alpha < \omega_1^{ck}$ 에 대해, 정확히 랭크 $\alpha$를 갖는 $ζ^2$-SFTs가 존재함을 보여, 계층의 완전한 실현 가능성을 입증한다.
• $ζ^2$-SFTs에서 TCPE 성질은 $Π^1_1$-완전하며, 이는 더 단순한(산술적) 기술이 존재하지 않음을 의미한다.
• 트리 기반 SFTs를 $ζ^2$-SFTs에 통합하는 데 '패브릭에 올려놓기' 연산을 사용하며, 이는 TCPE 랭크를 유지하거나 두 배로 증가시킨다.
• 랭크 $\beta$를 갖는 두꺼운 트리 $T$에서 유도된 SFT의 TCPE 랭크는 트리의 구조에 따라 $2\beta - 1$ 또는 $2\beta$가 된다.
• 추가 기호 $\ast$와 $\dagger$를 사용하여 구성을 수정함으로써, 극한 순서수도 포함된 랭크로 조정할 수 있다.
• 계산 가능한 트리 $S$의 잘 서식된 성질은 관련된 $ζ^2$-SFT에서의 TCPE와 동치이며, 이 환원을 통해 $Π^1_1$-완전성이 증명된다.