[논문 리뷰] Minimal digit sets for parallel addition in non-standard numeration systems

Christiane Frougny, Edita Pelantová외 1명|arXiv (Cornell University)|2016. 10. 26.

semigroups and automata theory참고 문헌 25인용 수 13

한 줄 요약

이 논문은 복소수 또는 대수적 기수를 가진 비표준 수기법에서 일정 시간 내에 병렬 덧셈을 수행하기 위해 필요한 최소 디지트 집합 크기의 날카운 하한을 확립한다. 음수 정수, 가우스 정수(예: $-1+i$), 유리수 기수 등 다양한 기수에 대해 최소 알파벳 크기가 정확히 $|f(1)|$ 또는 유리수 $\beta = -a/b$의 경우 $a+b$임을 증명하고, 이 하한을 달성하는 명시적 알고리즘을 제시한다. 이는 대수적 수론과 디지트 집합 변환 기법을 통해 최소성을 입증한다.

ABSTRACT

We study parallel algorithms for addition of numbers having finite representation in a positional numeration system defined by a base $β$ in $\mathbb{C}$ and a finite digit set $\mathcal{A}$ of contiguous integers containing $0$. For a fixed base $β$, we focus on the question of the size of the alphabet allowing to perform addition in constant time independently of the length of representation of the summands. We produce lower bounds on the size of such alphabet $\mathcal{A}$. For several types of well studied bases (negative integer, complex numbers $ -1 + \imath$, $2 \imath$, and $\imath \sqrt{2}$, quadratic Pisot unit, and the non-integer rational base), we give explicit parallel algorithms performing addition in constant time. Moreover we show that digit sets used by these algorithms are the smallest possible.

연구 동기 및 목표

• 비표준 수기법에서 복소수 또는 대수적 기수를 가진 기수에 대해 일정 시간 내 병렬 덧셈을 가능하게 하는 최소 디지트 집합 크기를 결정하는 것.
• 예를 들어 $-1+i$, $2i$, $eta = -a/b$와 같은 잘 알려진 기수들에 대해 유도된 알파벳 크기 하한이 날카로우며 달성 가능함을 증명하는 것.
• 최소 디지트 집합을 사용하여 명시적인 병렬 덧셈 알고리즘을 개발함으로써, 입력 길이에 관계없이 캐리 전파 없이 일정 시간 내에 동작하도록 보장하는 것.
• 대수적 수론과 디지트 집합 변환 원리를 활용하여 이전의 병렬 덧셈 결과를 보다 정교하게 개선하고 하한을 보다 좁게 하는 것.
• 유리수 기수 $eta = -a/b$의 경우 최소 알파벳 크기가 $a + b$임을 보이고, 이 하한은 향상될 수 없음을 보여주는 것.

제안 방법

• 대수적 정수의 기수 $eta$의 최소 다항식을 바탕으로 병렬 덧셈에 필요한 최소 알파벳 크기의 일반 하한을 유도하며, 대수적 정수의 경우 $|f(1)|$ 값을 사용한다.
• p-국소 함수 이론과 디지트 집합 변환을 적용하여 병렬 덧셈 문제를 더 작은 척도의 변환 작업으로 환원한다.
• 특히 $eta$가 유리수 또는 복소수 기수일 경우 공액과 노름을 분석하기 위해 대수적 수론을 활용한다.
• 예를 들어 $-1+i$, $2i$, $eta = -a/b$, 이차 단위와 같은 특정 기수에 대해 명시적인 병렬 덧셈 알고리즘을 구성하고, 최소 디지트 집합을 사용할 경우 일정 시간 내에 동작함을 검증한다.
• 유리수 음수 기수의 경우, $(x - y)$ 가 $a + b$로 나누어떨어짐을 가정하는 모순 추론을 통해 알파벳 크기의 최소성을 증명한다.
• p-국소 함수와 블록 변환을 통해 주어진 알파벳에서 병렬 덧셈 문제를 더 작은 알파벳에서의 등가 문제로 환원한다.

실험 결과

연구 질문

• RQ1 주어진 대수적 기수 $eta$에 대해, 0을 포함하는 연속된 정수 디지트 집합의 최소 크기는 무엇이며, 이는 일정 시간 내 병렬 덧셈을 가능하게 하는가?
• RQ2 어느 기수의 범주(예: 음수 정수, $-1+i$와 같은 복소수 기수, $eta = -a/b$와 같은 유리수 기수)에서 알파벳 크기의 하한이 달성 가능한가?
• RQ3 기수의 최소 다항식의 성질을 사용하여 병렬 덧셈에 필요한 최소 디지트 집합을 대수적으로 특성화할 수 있는가?
• RQ4 기수 $eta$의 구조(예: 실수, 복소수, 유리수)는 일정 시간 덧셈을 위해 필요한 최소 알파벳 크기에 어떤 영향을 미치는가?
• RQ5 동일한 크기의 다른 디지트 집합으로의 변환을 통해 한 디지트 집합에서의 병렬 덧셈 알고리즘을 등가의 알고리즘으로 변환할 수 있는가? 이때 일정 시간 성능은 유지되는가?

주요 결과

• 최소 다항식 $f(X)$를 가진 실수 대수적 정수 $eta$의 경우, 병렬 덧셈에 필요한 최소 알파벳 크기는 $|f(1)|$이며, 이 하한은 날카롭다.
• 기수 $eta = -1 + i$의 경우 최소 알파벳 크기는 5이며, 이는 0을 포함하는 크기가 5인 연속된 정수 디지트 집합이라면 어떤 것도 이를 달성한다.
• 기수 $eta = 2i$의 경우 최소 알파벳 크기는 5이며, 디지트 집합 $inom{0,inots,3}$이 이 하한을 달성한다.
• 기수 $eta = i heta$이며 $ heta = heta^2 = 2$인 경우 최소 알파벳 크기는 3이며, $inom{0,1}$이 충분하다.
• 유리수 기수 $eta = -a/b$이며 $a > b \to 1$ 이고 $ ext{gcd}(a,b) = 1$ 인 경우 최소 알파벳 크기는 $a + b$이며, 이 하한은 향상될 수 없다.
• 기수 $eta^2 = aeta + 1$를 만족하는 이차 기수의 경우 최소 알파벳 크기는 $a + 2$이며, 이는 크기가 이에 맞는 연속된 디지트 집합이라면 어떤 것도 이를 달성한다.