A Matrix Analogue of Rational Number Systems

기술 요약: 유리수 체계의 행렬 아날로그

문제 정의
본 논문은 유리수 기수 체계(특히 Akiyama 등이 도입한 $p/q$-전개)를 행렬 숫자 체계(matrix digit systems)의 영역으로 일반화하는 문제를 다룬다. 표준적인 행렬 숫자 체계는 통상적으로 정수 기저 행렬 $A$와 숫자 집합 $D \subseteq \mathbb{Z}^d$를 사용하지만, 본 연구에서는 $P, Q \in \mathbb{Z}^{d \times d}$가 서로소인 가역 행렬인 경우의 유리 행렬 $Q^{-1}P$를 기저로 사용하는 체계를 조사한다. 핵심 문제는 모든 벡터가 특정 $\mathbb{Z}$-모듈 $\mathbb{Z}^d[Q^{-1}P]$에 대해 다음과 같은 형태의 유한 전개를 가질 수 있는 조건이다:
$$x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1} d_i$$
여기서 $d_i$는 유한 집합 $D$의 원소이다. 저자들은 이러한 유한 전개의 존재성을 결정하는 **유한성 성질(finiteness property)**과 최소 길이 $\ell$에 대한 **유일성 성질(uniqueness property)**을 위한 충분 조건을 규명하고자 한다.

방법론
저자들은 대수적 수론, 동역학계, 그리고 오토마타 이론의 결합된 방법론을 사용한다:

1. 대수적 프레임워크: 연구는 $\mathbb{Z}^d[Q^{-1}P]$를 $\mathbb{Z}^d$를 포함하는 가장 작은 비자명한 $Q^{-1}P$-불변 $\mathbb{Z}$-모듈로 정의한다. 저자들은 코프라임 행렬($P\mathbb{Z}^d + Q\mathbb{Z}^d = \mathbb{Z}^d$)의 개념을 활용하여 몫군 구조를 정의한다. 이들은 숫자 집합 $D$가 $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]) / P\mathbb{Z}^d[Q^{-1}P]$의 완전 잔여 계(complete residue system)를 포함해야 함을 입증한다.
2. 동역학계: 나눗셈 알고리즘을 모사하는 몫 함수(quotient function) $\Phi$를 정의한다. 유한 전개의 존재 여부는 이 동역학계의 어트랙터(attractor) $A_\Phi$의 유한성과 연결된다. 만약 어트랙터가 유한하다면, 해당 체계는 유한성 성질을 갖는다.
3. 정수 벡터를 위한 제한된 나눗셈: 정수 벡터의 전개를 구체적으로 다루기 위해, 저자들은 $\mathbb{Z}^d/P\mathbb{Z}^d$의 잔여물로 매핑되는 "제한된 숫자 함수" $d_r$을 도입한다. 이는 제한된 동역학계 $\Phi_r$로 이어진다. 핵심 보조정리에 따르면, 만약 $\Phi_r$이 유한한 어트랙터를 가지면, 확장된 시스템 $\mathbb{Z}^d[Q^{-1}P]$ 또한 유한한 어트랙터를 가진다.
4. 오토마타 이론 (차원 $d=2$): $2 \times 2$ 행렬의 경우를 위해, 저자들은 유한 문자의 레터-투-레터 트랜스듀서(letter-to-letter transducers)를 구성한다. 이 오토마타들은 주어진 숫자 전개에 기저 벡터(예: $(1,0)^\top$)를 더하는 과정을 모델링한다. 저자들은 트랜스듀서의 전이 다이어그램과 사이클(특히 자기 루프 및 유한 경로)을 분석함으로써, 다양한 특성 다항식 계수에 따른 어트랙터의 구조를 결정한다.
5. 전개 트리(Expansion Trees): 본 논문은 $\mathbb{R}^d$의 벡터를 표현하기 위해 $T_{P/Q}$라는 "전개 트리"를 구성하며, 이는 $p/q$-전개 트리를 일반화한 것이다. 이 트리는 경로 레이블을 $P/Q$-전개로 정의하고 경로들의 언어적 성질을 조사한다.

주요 기여 및 결과

• 유한성을 위한 일반적 조건: $Q^{-1}P$가 확장 행렬(expanding matrix)(모든 고윳값의 절댓값이 1보다 큰 경우)이면, 연관된 동역학계의 어트랙터가 유한함을 증명한다. 결과적으로, $D$가 관련 몫군의 완전 잔여 계라면, 유한성 성질을 가진 숫자 체계 $(P, Q, D)$가 존재한다.
• 유일성 및 표준 체계: $D$가 완전 잔여 계이고 전개 길이가 최소일 때 유일성 성질이 성립함을 명시한다. 유한성과 유일성을 모두 갖춘 체계를 "표준(standard)" 체계라고 부른다.
• $d=2$에 대한 명시적 어트랙터 분류: 코프라임 행렬식과 특정 구조적 형태를 가진 $2 \times 2$ 행렬 $P, Q$에 대하여, 저자들은 $Q^{-1}P$의 특성 다항식 $\chi(x) = x^2 + \alpha x + \beta$의 계수 $\alpha, \beta$를 기반으로 어트랙터 $A$에 대한 완전한 분류를 제공한다.
  • $0 \le \alpha \le \beta - 1$ 또는 $0 < -\alpha \le 1$인 경우, 어트랙터는 자명하다: $A = \{(0,0)^\top\}$.
  • 그 외의 경우(예: $1 < -\alpha \le \beta - 1$), 어트랙터는 행렬 성분들을 포함하는 특정 선형 결합에 의해 생성되는 유한한 벡터 집합이다.
  • 이러한 결과는 구성된 트랜스듀서의 거동을 분석하여, 특히 무한 주기 단어(오토마타의 사이클)가 0이 아닌 어트랙터 원소에 대응하는지 여부를 식별함으로써 도출된다.
• 언어적 성질: 정수 벡터에 대한 유한한 $P/Q$-전개의 언어 $L_{P/Q}$는 **접두사 폐쇄(prefix-closed)**적이지만 정규(regular)는 아니다. 이는 서로 다른 벡터가 서로 다른 동치류를 생성함을 보여주는 마이힐-네로데(Myhill-Nerode) 정리를 통해 증명된다.
• 실수 벡터 표현: 저자들은 기저의 음수 거듭제곱을 사용하는 무한 급수를 사용하여 $\mathbb{R}^d$의 실수 벡터에 대한 $P/Q$-전개를 정의한다. 이들은 실수 벡터를 위한 전개 트리의 개념을 도입하며, 이 전개들에 의해 표현되는 벡터들의 집합이 $\mathbb{R}^d$의 타일링(tiling)(합집합은 $\mathbb{R}^d$이고 쌍별 교집합의 르베그 측도가 0인 집합들의 모임)을 형성한다는 가설을 제시한다.

의의 및 주장
본 논문은 Akiyama 등이 연구한 유리수 기수 체계를 행렬 유리 기수($Q^{-1}P$)로 확장함으로써, 이를 유리수 체계의 직접적인 아날로그로 위치시킨다.

• 이론적 확장: 주요 의의는 유리수 체계와 행렬 숫자 체계 사이의 간극을 메우는 데 있다. 저자들은 $p/q$ 기저에서 사용되는 "수정된 나눗셈 알고리즘"이 기저 행렬이 확장 행렬이고 숫자 집합이 특정 몫군의 잔여 계로 선택될 경우 행렬 설정에서도 성공적으로 적용될 수 있음을 보여준다.
• 구성적 접근: $d=2$인 경우 유한 오토마타(트랜스듀서)를 활용함으로써, 본 연구는 추상적인 존재성 증명을 넘어 어트랙터를 결정하고 유한성 성질을 검증하는 구체적인 방법을 제공한다.
• 타일링과의 연결: 이 논문은 이러한 숫자 체계를 자기 유사 타일(self-affine tiles) 이론과 연결한다. $G_{P/Q}(v)$에 의해 형성되는 집합들이 $\mathbb{R}^d$를 타일링한다는 가설은, 이러한 행렬 전개가 표준 기수 체계 및 자기 유사 타일 이론에서 발견되는 것과 유사한 기하학적 함의를 지니고 있음을 시사한다.

저자들은 $d > 2$인 일반적인 경우과 실수 벡터가 이러한 전개를 가질 수 있는 전체 집합의 완전한 특징 규정에 대해서는 신중한 태도를 유지하며, $\mathbb{R}^d$ 내의 어떤 벡터가 $Q^{-1}P$-전개를 가질 수 있는지 결정하는 것이 스칼라의 경우보다 "상당히 더 어렵다"는 점을 언급한다. 본 연구는 $2 \times 2$ 사례에 대한 충분 조건과 명시적 구성을 제공함으로써 기초적인 토대를 마련하였으며, 그 기하학적 성질에 대한 연구는 향후 과제로 남겨두었다.