[논문 리뷰] Growth degree classification for finitely generated semigroups of integer matrices

Jason P. Bell, Michael James Coons외 1명|arXiv (Cornell University)|2014. 10. 21.

semigroups and automata theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 유한 생성된 정수 행렬 반군의 성장도를 증명함으로써, log(mₙ(𝒜))/log n의 극한이 항상 음이 아닌 정수 또는 무한대임을 보이며, 성장률에 대한 완전한 갭 구조를 확립한다. 이 결과는 정규 수열에 관한 질문을 해결하고, 비정수 차수의 다항성장이 불가능함을 보이며, 행렬 반군과 자동 수열에 대한 함의를 지닌다.

ABSTRACT

Let $\mathcal{A}$ be a finite set of $d imes d$ matrices with integer entries and let $m_n(\mathcal{A})$ be the maximum norm of a product of $n$ elements of $\mathcal{A}$. In this paper, we classify gaps in the growth of $m_n(\mathcal{A})$; specifically, we prove that $\lim_{n o\infty} \log m_n(\mathcal{A})/\log n\in\mathbb{Z}_{\geqslant 0}\cup\{\infty\}.$ This has applications to the growth of regular sequences as defined by Allouche and Shallit.

연구 동기 및 목표

• 유한한 정수 행렬 집합에서의 n개 행렬 곱의 최대 노름의 가능한 성장률을 분류하는 것.
• Jungers, Protasov, 그리고 Blondel이 제기한 성장도 극한의 정수성에 관한 질문을 해결하는 것.
• mₙ(𝒜)의 성장에서 완전한 갭 구조를 확립하여, 비정수 차수의 다항성장이 불가능함을 보이는 것.
• 이전의 다항성장 대비 지수성장 결과를 전반적인 다항차수 분류로 확장하는 것.
• Allouche와 Shallit가 정의한 정규 수열에 결과를 적용하여, 행렬 반군 성장과 자동 수열을 연결하는 것.

제안 방법

• mₙ(𝒜)가 유한 집합 𝒜에서 n개 행렬의 곱의 최대 노름인 경우, 성장도를 GrDeg(𝒜) := limₙ→∞ log mₙ(𝒜) / log n로 정의한다.
• 공동 스펙트럴 반경 ρ(𝒜)를 핵심 불변량으로 사용하며, ρ(𝒜) > 1이면 GrDeg(𝒜) = ∞이고, ρ(𝒜) = 1이면 GrDeg(𝒜) ∈ ℤ≥₀임을 보인다.
• ρ(𝒜) = 1일 때, mₙ(𝒜)가 어떤 음이 아닌 정수 k에 대해 정확히 nᵏ만큼 증가함을 증명하고, 균일한 다항 bounds를 확보한다.
• 근의 단위근인 행렬의 표현 이론과 스펙트럼 분석을 활용하여, 복소 행렬 반군의 구조를 이용한다.
• 제곱 노름이 0이 아닌 유한한 정수 행렬의 경우, 공동 스펙트럴 반경 ≥ 1이 되며, 성장이 다항형인 것은 ρ(𝒜) = 1일 때에만 가능함을 이용한다.
• 클래스 𝒮₀(Σₘ)를 통해 행렬 반군 성장과 정규 수열 간의 연결을 구축하여, 이러한 수열의 성장도가 항상 정수임을 보인다.

실험 결과

연구 질문

• RQ1 유한한 정수 행렬 집합에 대해 mₙ(𝒜)의 성장이 비정수 차수의 다항성장(예: 비정수 α에 대해 n^α)을 보일 수 있는가?
• RQ2 정수 행렬 반군에 대해 limₙ→∞ log mₙ(𝒜)/log n의 극한이 항상 정수 또는 무한대인가?
• RQ3 공동 스펙트럴 반경이 정확히 1일 때, mₙ(𝒜)의 성장이 정수 차수의 다항성장임을 의미하는가?
• RQ4 행렬 곱으로 정의된 정규 수열의 성장도가 비정수일 수 있는가?
• RQ5 유한 생성된 정수 행렬 반군의 가능한 성장률의 완전한 구조는 무엇인가?

주요 결과

• 임의의 d×d 정수 행렬의 비퇴화된 유한 집합 𝒜에 대해 성장도 GrDeg(𝒜)는 항상 음이 아닌 정수 또는 무한대이다.
• GrDeg(𝒜) = k ∈ ℤ≥₀이면, 모든 n ≥ 1에 대해 C₁nᵏ ≤ mₙ(𝒜) ≤ C₂nᵏ를 만족하는 양수 상수 C₁, C₂가 존재한다.
• 공동 스펙트럴 반경 ρ(𝒜) > 1이면 성장도는 무한대이며, 이는 초다항성장임을 나타낸다.
• ρ(𝒜) = 1이면 성장은 정수 차수의 다항성장이며, 비정수 다항성장(예: n^√2)은 불가능하다.
• Jungers, Protasov, 그리고 Blondel의 추측을 정수 행렬에 대해 확인한다: limₙ→∞ log(ρ(𝒜)^{-n}mₙ(𝒜))/log n의 극한은 정수이다.
• 모든 정규 수열 f ∈ 𝒮₀(Σₘ)의 성장도는 음이 아닌 정수이며, 이는 ρ(𝒜) = 1이면서 다항성장이 발생하는 행렬 곱에서 유래한다.