비표준 진법에서의 병렬 덧셈: 알파벳 최소화와 골든 평균 사례

초록

이 논문은 절대값이 1보다 큰 대수적 기반 β에 대해, 특정 계수가 다른 계수들의 절대값 합보다 크게 우세한 다항식이 존재하면, 부호‑디지털 알파벳을 선택해 상수 시간 병렬 덧셈이 가능함을 보인다. 특히 골든 평균(φ)에서는 알파벳 {‑1,0,1} 로 최적화된 알고리즘을 제시한다.

상세 분석

저자들은 먼저 |β|>1인 대수적 수 β가 “강한 영표현(Strong Representation of Zero, SRZ)” 혹은 “약한 영표현(Weak Representation of Zero, WRZ)”을 만족하는지를 정의한다. SRZ는 β가 다항식 S(X)=∑{i=-h}^{k} b_i X^i의 근이며, 중심 계수 b_0가 나머지 계수들의 절대값 합의 두 배보다 큰 경우이다. 이 조건이 충족되면 β에 대한 영표현을 이용해 “b_k … b{-h} = 0”이라는 재작성 규칙을 얻는다.

이 규칙을 바탕으로, 저자들은 부호‑디지털 알파벳 A={‑a,…,a}를 구성한다. 여기서 a는 b_0와 M=∑_{i≠0}|b_i|에 의해 a = ⌈b_0/2⌉ + ⌈b_0/(2(b_0‑2M))⌉·M 로 정의된다. 내부 알파벳 A’={‑a’,…,a’} (a’ = ⌈b_0/2⌉)와 정수 c=⌈b_0/(2(b_0‑2M))⌉를 도입해, 각 자리의 합 z_i에 대해 적절한 보정값 q_i∈{‑c,…,c}를 선택해 z_i‑q_i·b_0∈A’ 로 만들고, 이후 재작성 규칙을 적용해 최종 자리값을 구한다. 이 과정은 모든 자리에서 동시에 수행되므로 O(1) 시간의 병렬 연산이 가능하고, 메모리와 선행(anticipation) 파라미터는 각각 k와 h에 의해 결정되는 (h+k+1)-local 함수가 된다.

알고리즘 I는 SRZ 경우에 한 번의 보정 단계만 필요하지만, WRZ 경우에는 보정 단계가 고정된 횟수(β의 다항식에 의존)만큼 반복되는 알고리즘 II를 제시한다. 저자들은 모든 대수적 β가 그 켤레가 단위 원 위에 없으면(즉, |β’|≠1인 모든 켤레) SRZ 혹은 WRZ를 만족한다는 정리를 증명하고, 최소 다항식으로부터 강·약 영표현을 구성하는 구체적 절차를 제공한다.

특히 β=φ=(1+√5)/2인 골든 평균에 대해, 강 영표현 S(X)=‑X⁴+7‑X⁴(역수) 로부터 a=5, a’=3, c=1을 얻어 알파벳 {‑5,…,5} 로 알고리즘 I를 적용한다. 이후 Chow‑Robertson 방식의 아이디어를 차용해, 보정 단계와 자리 변환을 두 번만 수행하면 알파벳 {‑1,0,1} 로도 정확히 동작함을 보인다. 이는 최소한의 중복성을 가진 알파벳이며, 더 작은 알파벳으로는 병렬 덧셈이 불가능함을 논증한다.

전체적으로 논문은 대수적 기반의 비표준 진법에서 영표현을 활용한 병렬 덧셈 알고리즘을 체계화하고, 알파벳 크기의 하한을 분석하며, 구체적인 사례(10진, 2진, 복소수‑1+i, 골든 평균)까지 폭넓게 적용한다는 점에서 이론과 실용 양면에서 의미가 크다.