피수트 진법 최소 가중치 전개의 중복성

초록

정수 n을 유한 알파벳 Σ의 자리수 ε_k와 피수트형 선형 재귀수열 (U_k) 로 표현하는 방법을 연구한다. 특히 최소 가중치 ∑|ε_k| 를 갖는 전개가 유한 자동화기로 인식될 수 있음을 증명하고, 평균 최소 가중치 전개의 개수에 대한 점근식을 제시한다. 또한 특정 행렬 집합의 공동 스펙트럼 반경을 이용해 주어진 정수의 전개 수 최대 성장 차수를 연결한다.

상세 분석

본 논문은 피수트 수(Pisot number)와 연관된 선형 재귀수열을 ‘진법’으로 삼아, 정수를 중복된 자리수 체계로 표현하는 문제를 심도 있게 탐구한다. 가장 대표적인 사례는 피보나치 수열이며, U_0 = 1, U_{k+1}=U_k+U_{k-1} 형태의 재귀 관계를 갖는다. 저자들은 일반적인 피수트형 재귀수열 (U_k)_{k≥0}에 대해, 알파벳 Σ⊂ℤ를 선택하고 ε_k∈Σ인 전개 n=∑_k ε_k U_k 를 고려한다. 여기서 ‘가중치’는 각 자리수 절댓값의 합인 W(ε)=∑_k|ε_k| 로 정의되며, 최소 가중치를 갖는 전개들을 ‘최소 가중치 전개’라 부른다.

첫 번째 주요 결과는 이러한 최소 가중치 전개들의 집합이 유한 자동화기(Finite Automaton)로 인식 가능하다는 정리이다. 이는 전통적인 베이스‑b 전개가 정규 언어에 해당하는 것과 유사하지만, 피수트 기반에서는 자리수의 상호작용이 복잡해진다. 저자들은 ‘규칙적인 압축’(regular compression) 기법과 ‘표준화 규칙’(normalization rule)을 결합해, 각 자리수 ε_k가 특정 범위(예: |ε_k|≤M) 안에 머물도록 변환하는 알고리즘을 설계한다. 이 과정에서 피수트 수의 고유값이 1보다 큰 복소수 근을 가지지 않는 특성이 핵심적인 역할을 한다. 결과적으로, 모든 최소 가중치 전개는 유한 상태 기계의 경로와 일대일 대응함을 보이며, 자동화기의 상태 수는 (U_k) 의 차수와 Σ 의 크기에 의해 다항식적으로 제한된다.

두 번째 결과는 평균적인 최소 가중치 전개의 개수에 대한 점근식이다. n을 무작위로 선택했을 때, 최소 가중치 전개의 기대값 E_n은 n^{α}·(log n)^{β} 형태로 표현되며, 여기서 α와 β는 (U_k) 의 차수와 Σ 의 대칭성에 의해 결정된다. 구체적으로, 피보나치 기반에서는 α≈log_φ(2) (φ는 황금비)이며, β는 0에 수렴한다. 저자들은 마르코프 연쇄와 전이 행렬의 고유값 분석을 통해 이 식을 도출하고, 실험적 검증을 통해 이론적 예측이 실제 데이터와 일치함을 확인한다.

마지막으로, 주어진 정수 n에 대해 최소 가중치 전개의 최대 개수 성장률을 ‘공동 스펙트럼 반경’(joint spectral radius, JSR)과 연결한다. 특정 전이 행렬 집합 {A_1,…,A_m}을 정의하고, 이들의 JSR ρ를 구하면, n에 대한 전개 수는 O(ρ^{log n}) 로 상한을 갖는다. 이는 전통적인 베이스‑b 전개에서의 2^{log_b n}=n^{log_b 2}와 유사하지만, 피수트 기반에서는 행렬의 비정규성 때문에 ρ가 1보다 크게 나타날 수 있다. 저자들은 JSR 계산이 일반적으로 NP‑hard임을 인정하면서도, 특수한 피수트 수열에 대해 효율적인 근사 알고리즘을 제시한다.

전체적으로 이 논문은 피수트 진법에서의 중복 표현 문제를 자동이론, 조합론, 그리고 선형 대수학적 도구를 융합해 해결한다는 점에서 학제간 연구의 모범을 보여준다. 특히 최소 가중치 전개의 자동인식 가능성은 암호학·부동소수점 연산·디지털 신호 처리 등에서 효율적인 곱셈·덧셈 알고리즘 설계에 직접적인 응용 가능성을 시사한다.