음수 제곱근 기반 수 체계의 산술 구조와 골든 비율의 특수성

초록

본 논문은 음의 실수 기반 $-\beta$를 이용한 위치표기법을 연구한다. 특히 $\beta$가 $x^{2}-mx-n$($m\ge n\ge1$)의 실근인 2차 피수트 수일 때, 유한 $(-\beta)$ 전개 집합 ${\rm Fin}(-\beta)$가 덧셈에 대해 닫혀 있지만 뺄셈에 대해서는 닫히지 않음을 증명한다. 골든 비율 $\tau=\frac{1+\sqrt5}{2}$를 사례로 삼아, 산술 연산 시 발생할 수 있는 소수점 자리수의 정확한 상한을 구하고, $(-\tau)$ 정수와 $\tau^{2}$ 정수가 양의 실수축에서 동일함을 보인다.

상세 분석

논문은 먼저 Ito‑Sadahiro가 제안한 음수 기반 $-\beta$ 체계의 기본 정의와, $(-\beta)$‑전개의 허용 문자 집합 ${0,1,\dots,\lceil\beta\rceil}$를 정리한다. $\beta>1$인 경우, $(-\beta)$‑전개의 유한성 집합 ${\rm Fin}(-\beta)$는 일반적인 양수 기반 체계와 달리 대칭성이 깨져, 덧셈과 뺄셈에 대한 닫힘 성질이 서로 다르게 나타난다. 저자는 $\beta$가 $x^{2}-mx-n$의 실근인 경우, 즉 $\beta$가 2차 피수트 수이면서 $m\ge n\ge1$을 만족할 때, ${\rm Fin}(-\beta)$가 덧셈에 대해 닫혀 있음을 정리한다. 핵심 아이디어는 이러한 $\beta$가 만족하는 최소다항식의 계수 관계를 이용해, 두 유한 $(-\beta)$‑전개의 합을 다시 유한 전개로 변환할 수 있는 ‘자리 올림’ 알고리즘을 구성하는 것이다. 이 과정에서 발생하는 캐리(carry) 현상이 제한된 범위 내에서만 일어나므로, 무한히 긴 전개가 필요하지 않는다. 반면, 뺄셈의 경우에는 보수 연산이 $(-\beta)$ 체계에서 복잡한 부호 전환을 야기해, 일부 경우에 무한 전개가 필연적으로 발생한다. 따라서 ${\rm Fin}(-\beta)$는 뺄셈에 대해 닫히지 않는다.

특히 $\beta=\tau$ (골든 비율)인 경우를 상세히 분석한다. $\tau$는 $x^{2}-x-1=0$의 양근으로, $m=1$, $n=1$에 해당한다. 저자는 $\tau$에 대해 $(-\tau)$‑전개의 규칙을 구체화하고, 두 수의 합이 언제 추가적인 소수점 자리수를 요구하는지 정량화한다. 결과적으로, 임의의 두 유한 $(-\tau)$‑전개의 합은 최대 $L=2$개의 새로운 소수점 자리수를 가질 수 있음을 보인다. 이는 $L$이 $\beta$의 최소다항식 계수와 직접 연관됨을 시사한다.

마지막으로, $(-\tau)$‑정수와 $\tau^{2}$‑정수의 관계를 조사한다. $\tau^{2}=\tau+1$이므로, 양수 기반 $\tau^{2}$ 체계와 음수 기반 $-\tau$ 체계가 양의 실수축에서 동일한 격자를 형성한다는 사실을 증명한다. 이는 두 체계가 서로 다른 부호 규칙에도 불구하고, 동일한 거리와 대칭성을 유지함을 의미한다. 전체적으로, 논문은 음수 기반 수 체계가 피수트 수와 결합될 때 나타나는 산술적 특성을 체계적으로 밝히며, 특히 골든 비율과 같은 유명한 수에 대한 구체적 결과를 제공한다.