[논문 리뷰] Recurrence matrices

Roland Bacher|ArXiv.org|2006. 01. 16.

semigroups and automata theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 p-진 또는 유사한 재귀적 구조로 인덱싱된 무한한 행렬 가족을 코딩하는 유한 차원 행렬 표현인 반복 행렬을 소개한다. 이 행렬들이 곱셈에 대해 대수를 이룬다는 것이 입증되며, 가역 원소들은 자연스럽게 자동기계 군과 자기유사 군을 포함하는 군 GL_{p-rec}(K)를 이룬다. 이는 자동 순서열과 헝켈 행렬과의 연결을 통해 유도된다.

ABSTRACT

We define recurrence matrices and study a few properties (links with automatic sequences, branch groups etc.) of them.

연구 동기 및 목표

• 무한한 행렬 가족을 유한한 재귀적 기술로 정의하고, 이를 계산 프레임워크로 체계화하는 것.
• 반복 행렬의 집합이 체 K 위에서 벡터 공간을 이룬다는 것을 보이고, 곱셈에 대해 대수를 이룬다는 것을 입증하는 것.
• 가역 반복 행렬이 군 GL_{p-rec}(K)를 이룬다는 것을 보이며, 이 군이 중요한 자기유사 군 및 자동기계 군의 클래스를 포함한다는 것을 보여주는 것.
• 자유 모노이드의 행렬 표현을 통해 반복 행렬을 자동 함수 및 유한 상태 오토마타와 연결하는 것.
• 특정 자동 순서열과 관련된 헝켈 행렬이 반복 행렬로 표현 가능하다는 것을 보이며, 알고리즘적으로 역행렬을 계산할 수 있음을 보여주는 것.

제안 방법

• 효율적 계산을 위한 유한성 조건을 만족하는 ∏_{l=0}^∞ K^{p^l × q^l}의 원소로 반복 행렬을 정의한다.
• p-진 인덱싱에 따른 블록의 진동을 기술하는 이동 행렬 ρ(i,j)를 사용한 재귀적 표현을 도입한다.
• 두 반복 행렬 A ∈ Rec_{p×r}(K), B ∈ Rec_{r×q}(K)의 곱 AB를 사용해 Rec_{p×q}(K)에 속하는 새로운 반복 행렬을 정의함으로써 닫힘성을 확보한다.
• 가역 반복 행렬의 집합으로서 군 GL_{p-rec}(K)를 정의하며, 역행렬 계산을 재귀적 이동 행렬을 통해 수행한다.
• ∏_{k=0}^∞(1 + i x^{2^k})와 같은 생성 함수를 사용한 헝켈 행렬을 이용한 구체적 예를 제시하며, 이들이 Rec_{2×2}(Z[i])에 속하고 LU 분해가 가능하다는 것을 보여준다.
• 모노이드의 유한 인수분해 성질을 활용해 형식적 멱급수 및 행렬 곱의 수렴성과 잘 정의됨을 보장한다.

실험 결과

연구 질문

• RQ1 무한한 행렬 가족은 어떻게 유한한 방법으로 기술되고 대수적으로 다룰 수 있는가?
• RQ2 반복 행렬이 행렬 곱셈에 대해 어떤 대수적 구조를 이룰 수 있는가?
• RQ3 정규 트리 위의 자동기계 군은 반복 행렬 프레임워크 내에서 어떻게 자연스럽게 나타나는가?
• RQ4 자동 순서열과 관련된 헝켈 행렬은 반복 행렬로 표현 가능하며, 알고리즘적으로 역행렬을 구할 수 있는가?
• RQ5 반복 행렬과 유한 상태 오토마타 또는 모노이드 표현 간의 관계는 무엇인가?

주요 결과

• 반복 행렬의 집합 Rec_{p×q}(K)는 벡터 공간을 이루며, p=q일 경우 행렬 곱셈에 대해 닫혀 있어 대수를 이룬다.
• 가역 반복 행렬의 군 GL_{p-rec}(K)는 모든 자동기계 군과 p-자기유사 군을 포함하며, 그리고치크의 군도 포함한다.
• 생성 함수 (x²−1)/(1−i) ∏_{k=0}^∞(1 + i x^{2^k})와 관련된 헝켈 행렬이 Rec_{2×2}(Z[i])에 속하며, 이 대수 내에서 잘 정의된 역행렬을 가짐을 보였다.
• Rec_{2×2}(Z[i])에 속하는 헝켈 행렬에 대해 명시적인 LU 분해를 구성하였으며, 이는 재귀적으로 정의된 이동 행렬을 포함한다.
• LU 분해에서 하삼각 단위행렬 L의 역행렬 M = L⁻¹이 4단계의 재귀적 구조를 가짐을 계산하였다.
• 시퀀스 (−1)^{τ(n)}과 관련된 헝켈 행렬은 Rec_{2×2}(Q)에서 비가역임을 보였지만, 순서열 σ(k)를 통해 일반화된 의미에서 역행렬이 존재함을 보였다.