[논문 리뷰] The automorphism group of a minimal shift of stretched exponential growth

Van Cyr, Bryna Kra|arXiv (Cornell University)|2015. 09. 28.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 9

한 줄 요약

이 논문은 스트레칭 지수 또는 다항식 복잡도 성장률을 갖는 최소 부분역동계에서 자동형사군이 애매성(amenability)을 가지며, 유한 생성·순환 없는 부분군이 초지수 또는 거의 아벨리안 구조를 띤다는 것을 입증한다. 핵심 결과는 성장률이 $ n^{1/2} $ 이하(스트레칭 지수) 또는 $ o(n^d) $ 이하(다항식)일 경우 자동형사군이 제약을 받는다는 것으로, 양성 엔트로피 시스템에서 관찰되는 풍부한 구조와는 뚜렷한 대비를 이룬다.

ABSTRACT

The group of automorphisms of a symbolic dynamical system is countable, but often very large. For example, for a mixing subshift of finite type, the automorphism group contains isomorphic copies of the free group on two generators and the direct sum of countably many copies of $\mathbb{Z}$. In contrast, the group of automorphisms of a symbolic system of zero entropy seems to be highly constrained. Our main result is that the automorphism group of any minimal subshift of stretched exponential growth with exponent $<1/2$, is amenable (as a countable discrete group). For shifts of polynomial growth, we further show that any finitely generated, torsion free subgroup of Aut(X) is virtually nilpotent.

연구 동기 및 목표

• 영 엔트로피 기호 동역학계에서 자동형사군의 대수적 구조를 조사하기 위해.
• 요소 복잡도 $ P_X(n) $ 의 성장률이 $ \mathrm{Aut}(X) $ 의 군론적 성질에 어떤 제약을 가하는지 규명하기 위해.
• 이전의 선형 및 부분제곱 복잡도 결과를 스트레칭 지수 및 다항식 성장과 같은 더 넓은 범주로 확장하기 위해.
• 느린 복잡도 성장률을 갖는 최소 부분역동계에서 애매성과 아벨리안 성질의 제약이 어떻게 나타나는지 보여주기 위해.
• 영 엔트로피 시스템의 자동형사군이 양성 엔트로피 시스템의 자동형사군보다 본질적으로 더 제약을 받는지 여부라는 열린 질문을 다루기 위해.

제안 방법

• 긴 유일한 확장이 가능한 단어를 사용하여 자동형사군 원소의 성장률을 제어하기 위해.
• Bass-Guivarc’h 공식을 통한 Gromov의 다항식 성장 군 정리 응용을 통해 아벨리안 부분군의 단계를 제한하기 위해.
• van den Dries와 Wilkie의 Gromov 정리 강화판을 활용하여 무한한 $ n $ 수열을 따라 성장 한계를 적용하기 위해.
• 복잡도 한계 $ P_X(n) $ 를 사용하여 $ \mathrm{Aut}_{Rm}(X) \cap G $ 의 크기를 추정함으로써 초지수 또는 다항식 성장 추정치를 도출하기 위해.
• Curtis-Hedlund-Lyndon 정리를 활용하여 자동형사가 유한 패턴에 의해 결정됨을 보장하기 위해.
• 순환 없는 군이 최소 시스템에 작용할 경우 일반적인 단어에서 안정자군이 자명하다는 사실을 이용하여 군 원소 사상의 단사성을 유도하기 위해.

실험 결과

연구 질문

• RQ1 스트레칭 지수 복잡도 성장률이 $ < n^{1/2} $ 인 최소 부분역동계에서 자동형사군 $ \mathrm{Aut}(X) $ 가 애매함을 증명할 수 있는가?
• RQ2 다항식 복잡도 성장률 $ o(n^d) $ 이 유한 생성·순환 없는 $ \mathrm{Aut}(X) $ 의 부분군의 구조에 어떤 제약을 가하는가?
• RQ3 복잡도가 부분삼차 이하일 경우 최소 부분역동계의 자동형사군이 비아벨리안 아벨리안 부분군을 포함할 수 있는가?
• RQ4 복잡도가 $ n^{1/2} $ 이하로 성장하는 최소 부분역동계에 대해 $ \mathrm{Aut}(X) $ 의 애매성을 입증할 수 있는가?
• RQ5 헤이젠베르크 군이 부분군으로 포함되어 있지 않다는 것은, 부분삼차 복잡도일 경우 모든 유한 생성·순환 없는 $ \mathrm{Aut}(X) $ 의 부분군이 거의 아벨리안임을 의미하는가?

주요 결과

• 모든 스트레칭 지수 복잡도 성장률 $ \beta < 1/2 $ 을 갖는 최소 부분역동계에 대해 자동형사군 $ \mathrm{Aut}(X) $ 는 애매하다.
• 이러한 시스템에서 유한 생성·순환 없는 모든 자동형사군은 초지수 성장률을 갖는다.
• 다항식 복잡도 $ o(n^d) $ 를 갖는 최소 부분역동계에서는 모든 유한 생성·순환 없는 부분군이 다항식 성장률 최대 $ d-1 $ 을 갖는 거의 아벨리안이다.
• 아벨리안 부분군의 단계는 $ \left\lfloor \frac{-1 + \sqrt{8d - 7}}{2} \right\rfloor $ 이하로 제한되며, 이는 정확한 구조적 제약을 제공한다.
• 특히 $ d = 3 $ 인 경우, 모든 유한 생성·순환 없는 부분군은 거의 아벨리안이며, 이는 이전 결과를 향상시킨다.
• 증명 기법은 긴 유일한 확장을 갖는 단어를 구성하고, 복잡도 한계를 사용하여 자동형사군 원소의 성장률을 제어하는 데 기반한다.