[논문 리뷰] Computable Følner monotilings and a theorem of Brudno I

Nikita Moriakov|arXiv (Cornell University)|2015. 09. 25.

Computability, Logic, AI Algorithms참고 문헌 6인용 수 3

한 줄 요약

이 논문은 Brudno의 정리—위상적 엔트로피와 Kolmogorov 복잡도 사이의 관계를 다루는 것으로, 계산 가능한 아벨리안 군 위의 서브시프트로 확장한다. 이를 위해 계산 가능한 Følner 모노틸링—Weiss의 Følner 모노틸링의 구조적이고 알고리즘화된 형태—을 도입한다. 이에 따라, ℤᵈ 및 UT_d(ℤ)를 포함한 여러 군들에 대해, 서브시프트의 위상적 엔트로피가 그 관련 단어 프레시프의 渐近적 Kolmogorov 복잡도와 일치함을 증명하며, Brudno의 원래 결과를 효과적인 구조를 갖춘 광범위한 군 클래스로 일반화한다.

ABSTRACT

The purpose of this article is to extend the earliest results of A.A. Brudno, connecting topological entropy of a subshift X over $\mathbb{N}$ to the Kolmogorov complexity of words in X, to subshifts over computable groups that posses computable Følner monotilings, which we introduce in this work. The classical examples of such groups are the groups $\mathbb{Z}^d$ and the groups of upper-triangular matrices with integer entries. Following the work of B. Weiss we show that the class of such groups is closed under group extensions.

연구 동기 및 목표

• ℕ에서부터 계산 가능한 아벨리안 군 위의 서브시프트로까지 A.A. Brudno의 위상적 엔트로피와 Kolmogorov 복잡도 간의 관계를 일반화하는 것.
• Weiss의 Følner 모노틸링에 대응하는 효과적이고 알고리즘화된 형태인 계산 가능한 Følner 모노틸링의 개념을 도입하고 체계화하는 것.
• 계산 가능한 Følner 모노틸링을 갖는 계산 가능한 군의 집합이 계산 가능한 군의 확장에 대해 닫혀 있음을 증명하는 것.
• 계산 가능한 정규 Følner 모노틸링을 갖는 계산 가능한 군 위의 서브시프트에 대해, 위상적 엔트로피가 관련된 단어 프레시프의 渐近적 Kolmogorov 복잡도와 일치함을 증명하는 것.
• 핵심 예시인 ℤᵈ 및 UT_d(ℤ)에 대해 계산 가능한 Følner 모노틸링을 명시적으로 구성하는 알고리즘을 제공하여 그 구조적 가시성과 구현 가능성을 보여주는 것.

제안 방법

• 군 위의 서브시프트의 구조를 체계화하기 위해 계산 가능한 공간, 그 사이의 사상, 그리고 단어 프레시프를 도입한다.
• 단어 프레시프의 절단 부분의 Kolmogorov 복잡도를 정의하고, 핵심 측정으로서 渐近적 Kolmogorov 복잡도를 도입한다.
• Følner 집합을 사용하여 정규적이고 효과적인 군의 타일링을 이루는 계산 가능한 Følner 모노틸링의 개념을 개발한다.
• 내부 집합에 대한 사전 기반 인코딩과 경계 집합에 대한 잔여 인코딩을 사용하는 디코프레서 알고리즘을 구성한다.
• Følner 수열을 이용해 경계 원소의 비율을 제한함으로써, 인코딩된 단어의 복잡도가 엔트로피율에 수렴함을 보장한다.
• 디코프레서를 적용하여 정규화된 Kolmogorov 복잡도의 limsup가 엔트로피로 유계임을 보이고, 극한에서 등식이 성립함을 도출한다.

실험 결과

연구 질문

• RQ1 Brudno의 엔트로피-복잡도 등가성은 ℕ에서 ℤᵈ 및 나이플레트 군과 같은 더 일반적인 아벨리안 군 위의 서브시프트로 확장될 수 있는가?
• RQ2 고차원 또는 비아벨 군 작용에서 Kolmogorov 복잡도와 위상적 엔트로피가 渐近적으로 등가성을 유지하기 위해 필요한 효과적이고 알고리즘화된 구조는 무엇인가?
• RQ3 Følner 모노틸링의 개념을 어떻게 계산 가능하게 만들 수 있으며, 엔트로피-복잡도 이중성에 필요한 핵심 성질를 유지할 수 있는가?
• RQ4 UT_d(ℤ)와 같은 중요한 군 클래스에 대해 계산 가능한 Følner 모노틸링이 존재하는가, 그리고 명시적으로 구성할 수 있는가?
• RQ5 계산 가능한 군 확장에 대해 계산 가능한 Følner 모노틸링을 갖는 군의 집합은 닫혀 있는가?

주요 결과

• 계산 가능한 정규 Følner 모노틸링을 갖는 계산 가능한 군 위의 서브시프트의 위상적 엔트로피는 그 관련된 단어 프레시프의 渐近적 Kolmogorov 복잡도와 일치한다.
• 모든 d ∈ ℕ에 대해, 군 ℤᵈ는 명시적으로 구성 가능한 알고리즘을 갖는 계산 가능한 Følner 모노틸링을 갖는다.
• 상삼각 정수 행렬로 이루어진 군 UT_d(ℤ) 역시 계산 가능한 Følner 모노틸링을 갖는다. 이는 결과를 비아벨 나이플레트 군으로까지 확장한다.
• 계산 가능한 Følner 모노틸링을 갖는 계산 가능한 군의 집합은 계산 가능한 군 확장에 대해 닫혀 있으며, 이는 광범위한 적용 가능성을 보장한다.
• 증명 과정에서, 정규화된 Kolmogorov 복잡도의 limsup는 임의의 ε > 0과 |F_k| → ∞일 때 0으로 수렴하는 항으로 유계이며, 이로 인해 극한에서 등식이 성립함을 보였다.
• Følner 모노틸링의 정규성 조건은 비제한적이며, 모든 계산 가능한 Følner 모노틸링은 계산 가능한 정규 형태로 변환 가능하다.