피수트 기반 최소 가중치 표현 연구

본 논문은 실수 기반 수표현, 특히 피수트 수 β>1을 기반으로 하는 β‑expansion에서 절대 자릿수 합(가중치)이 최소가 되는 전개를 체계적으로 연구한다. 서론에서는 암호학적 동기—스칼라 곱을 수행할 때 비트 연산 수를 최소화하고, Hamming weight와 절대 합이 동일한 {‑1,0,1} 디지털 집합을 활용하는 필요성을 강조한다. 기존 연구는 정수 기반(예: 2진 NAF)에서 최소 가중치 전개를 다루었지만, 비정수 실수 기반에서는 아직 충분히 정리되지 않았다. 제2절에서는 β‑expansion의 기본 정의와 그리디 알고리즘을 소개한다. β가 Pisot 수이면, 그리디 전개는 유한 자동기로 인식 가능하다는 기존 결과를 인용한다. 이어서 “β‑heavy”와 “β‑lighter”라는 관계를 정의하고, 전개가 β‑heavy이면 더 가벼운 전개가 존재한다는 개념을 도입한다. 핵심 이론은 (DB) 조건이다. 이는 어떤 정수 B와 단어 b∈{1‑B,…,B‑1}*가 존재해 B∼_β b이며 |b|≤B인 경우를 말한다. Proposition 3.1과 Corollary 3.2는 (DB) 조건이 만족되면 모든 정수 전개 x∈ℤ*에 대해 동일한 β‑동치 클래스 안에 가중치가 최소인 전개 y∈{1‑B,…,B‑1}*가 존재함을 증명한다. 피수트 수는 대수적 특성(모든 켤레 근이 단위 원 안에 있음) 때문에 충분히 큰 B에 대해 (DB) 조건을 만족한다(Prop 3.5). 다음으로 자동기 이론을 적용한다. 차이 집합 Z_β={z∈(A−A)* | Σz_iβ^{‑i}=0}를 정의하고, 이를 인식하는 자동기 A_β를 구성한다. A_β의 상태는 0과 β·s+e 형태의 선형 변환을 통해 도달 가능한 정수값들로 제한되며, 피수트 수의 경우 이 상태 집합이 유한함을 이용한다. 자동기 A_β는 대칭성을 가지고, 초기·종료 상태가 0인 점이 특징이다. A_β를 기반으로 중복(transducer) R_β를 만든다. 각 전이 s→s'에 대해 모든 (a,b)∈A×A satisfying a−b=e를 라벨링한다. R_β는 두 전개가 같은 실수 값을 갖는 모든 쌍을 인식한다. 여기서 가중치 차이를 추적하기 위해 T_β라는 추가 전이 시스템을 정의한다. T_β의 상태는 (s,δ)이며, δ는 현재까지의 가중치 차이(=|b|−|a|)를 기록한다. 초기 상태는 (0,0), 종료 상태는 (0,δ) with δ<0인 경우이다. Lemma 3.8에 따르면 T_β는 “가벼운 전개” 쌍을 정확히 인식한다. 비록 T_β 자체는 무한 상태를 가질 수 있지만, 핵심 정리에서는 실제로 필요한 부분이 유한함을 증명해 최종적으로 최소 가중치 전개를 인식하는 유한 자동기 M_β를 얻는다. 구체적인 사례 연구로 세 가지 피수트 수를 선택한다. 1. **황금비 φ (≈1.618)** - (D2) 조건을 만족하고, 알파벳 {‑1,0,1}을 사용한다. - 비인접 형태와 유사하게 “00” 혹은 “11” 같은 인접 비트가 나타나지 않도록 하는 규칙을 정의하고, 이를 구현하는 유한 변환기와 자동기를 제시한다. - 평균 가중치는 (1/5)·log_φ M ≈0.288·log_2 M 로, 전통적인 2진 NAF(≈0.333·log_2 M)보다 약 13% 감소한다. 2. **트리보나치 수 β₃ (β³=β²+β+1,≈1.839)** - 동일한 (D2) 조건 하에 변환기를 설계하고, “010” 등 특정 패턴을 금지하는 규칙을 도입한다. - 평균 가중치는 ≈0.282·log_β M ≈0.321·log_2 M 로, φ 경우와 비슷한 수준의 절감 효과를 보인다. 3. **최소 피수트 수 α (α³=α+1,≈1.325)** - 가장 작은 B=2가 가능함을 보이며, 전개 길이가 가장 짧고 가중치가 최소가 된다. - 평균 가중치는 ≈0.095·log_α M ≈0.234·log_2 M 로, 세 경우 중 가장 효율적이다. 각 사례마다 자동기의 상태 수와 전이 구조를 상세히 제시하고, 전이 변환을 통해 모든 최소 가중치 전개를 생성하는 방법을 설명한다. 또한, 평균 가중치를 분석하기 위해 확률론적 접근을 사용해, 무작위 정수에 대한 기대 가중치를 계산한다. 결론에서는 이러한 결과가 암호학, 특히 ECC(Elliptic Curve Cryptography)에서 스칼라 곱을 효율적으로 구현하는 데 직접적인 응용 가능성을 강조한다. 또한, 피수트 기반 수표현이 기존 정수 기반보다 평균 가중치가 낮아 연산 비용을 절감할 수 있음을 확인한다. 향후 연구 방향으로는 더 일반적인 비정수 대수적 수(예: Salem 수)와 다중 알파벳 확장, 그리고 하드웨어 구현 최적화 등을 제시한다.