[논문 리뷰] Tilings of amenable groups

Tomasz Downarowicz, Dawid Huczek외 1명|arXiv (Cornell University)|2015. 02. 09.

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

한 줄 요약

이 논문은 유한한 타일 형상들을 사용하여 임의의 무한 가산 애먼 군에 대해 정확하고 엔트로피가 0인 타일링을 구성한다. 각 타일은 작은 군 이동에 대해 임의로 불변성을 갖는다. 이 구성은 0차원 공간 위의 자유적이고 엔트로피가 0인 작용을 유도하며, 위상적 동역학 분야에서 오랫동안 남아있던 문제를 해결하고, 기호적 확장과 K-이론 분야에 새로운 응용을 가능하게 한다.

ABSTRACT

We prove that for any infinite countable amenable group $G$, any $ε> 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K; ε)$-invariant. Moreover, our tiling has topological entropy zero (i.e., subexponential complexity of patterns). As an application, we construct a free action of $G$ (in the sense that the mappings, associated to different from unity elements of $G$, have no fixpoints), on a zero-dimensional space, and which has topological entropy zero.

연구 동기 및 목표

• 무한 가산 애먼 군에 대해 임의의 불변성을 갖는 정확한 타일링(이동된 타일들로의 분할)을 구성하는 열린 문제를 해결하기 위해.
• 이전의 $Cvarepsilon$-준타일링이 비영 엔트로피를 갖는 한계를 극복하기 위해, 타일링이 위상적 엔트로피 0을 갖도록 보장하기 위해.
• 기호적 동역학과 궤도 동치 이론에 적용 가능한 0차원 공간 위의 자유 작용을 갖는 군의 위상적 엔트로피 0 작용을 구성하기 위해.
• 각 타일링이 다음 타일링의 인자이자 동일한 유한한 형상 집합을 공유하는, 중첩된 타일링의 계승적이고 자가 포함된 구성 방법을 제공하기 위해.
• 준타일링을 넘어서 정확하고 엔트로피가 0인 타일링을 달성함으로써 오르누스타이너 기계의 적용 범위를 확장하기 위해.

제안 방법

• 오르누스타이너의 방법을 따르되, 더 정교한 밀도 추정을 사용하여 하한 벤차 밀도를 갖는 $Cvarepsilon$-준타일링으로 시작한다.
• 겹침을 해결하기 위해 새로운 귀납적 절차를 사용하여 준타일링을 서로소로 만들고 정확히 덮는 형태로 수정한다.
• 각 단계에서 형상의 일致성(모든 수준에서 동일한 형상)과 인자 구조(각 타일링이 다음 타일링의 인자임)를 확보하기 위해 반복적으로 정밀화한다.
• 큰 영역에서 패턴 복잡도가 지수함수보다 느리게 증가하도록 하여 각 단계에서 위상적 엔트로피를 통제한다.
• 최종적으로 엔트로피가 0인 타일링의 수열을 이용해 궤도 폐쇄를 통한 기호 시스템을 정의함으로써, 엔트로피 0과 자유성 보장을 확보한다.
• 유한 차수를 갖는 원소의 경우, 타일링의 구조를 이용해 하나의 형상(순환 부분군)을 갖는 부분시프를 정의하여 군 이동에 의한 고정점이 없도록 보장한다.

실험 결과

연구 질문

• RQ1 임의의 무한 가산 애먼 군은 유한한 수의 이동된 타일 형상들로 분할될 수 있는가? 각 타일은 작은 군 이동에 대해 임의로 불변성을 가져야 한다.
• RQ2 이러한 타일링이 위상적 엔트로피 0을 갖는 것이 가능한가? 즉, 단지 임의로 작은 엔트로피가 아니라 정확히 0이어야 한다.
• RQ3 이러한 타일링을 사용하여 0차원 공간 위의 자유 작용을 구성할 수 있는가? 이 작용은 위상적 엔트로피 0을 가져야 한다.
• RQ4 이러한 구성이 계층적일 수 있는가? 즉, 각 타일링이 다음 타일링의 인자이면서, 모두 동일한 유한한 형상 집합을 공유해야 한다.
• RQ5 이러한 타일링의 존재는 애먼 군 작용에 대한 기호적 확장 또는 K-이론 분야에서 새로운 발전을 가능하게 하는가?

주요 결과

• 모든 무한 가산 애먼 군 $G$, 모든 유한한 $K\subset G$, 그리고 모든 $\varepsilon>0$에 대해, $G$가 유한한 수의 이동된 타일들로 분할되며, 각 타일이 $(K,\varepsilon)$-불변인 타일링이 존재한다.
• 구성된 타일링은 위상적 엔트로피 0을 갖는다. 즉, 큰 영역에서의 서로 다른 패턴 수는 지수함수보다 느리게 증가한다.
• 기호 시스템이 타일링에서 유도된 바에 따라, 0차원 컴acts 메트릭 공간 위의 자유 작용이 존재하며, 이는 위상적 엔트로피 0을 갖는다.
• 모든 항등원이 아닌 군 원소 $g$에 대해, 위상적 엔트로피 0인 기호 부분시프 $\mathfrak{X}_g$를 구성할 수 있으며, 이는 어떤 점도 $g$에 의한 이동에 의해 고정점이 되지 않는다.
• 원소 $g$가 유한 차수를 갖는 경우, 타일링은 $g$에 의해 생성된 순환 부분군을 기반으로 하며, 결과로 얻어진 부분시프는 각 타일에 중심이 하나뿐이 되도록 보장하여 고정점이 없도록 한다.
• 최종 시스템 $\mathfrak{X} = \prod_{g \neq e} \mathfrak{X}_g$ 는 0차원 공간 위의 자유적이고 엔트로피가 0인 작용이며, 가산 곱에 대해 엔트로피 0이 유지된다.