[논문 리뷰] On linear combinations of units with bounded coefficients and double-base digit expansions

Daniel Krenn, Jörg Μ. Thuswaldner외 1명|arXiv (Cornell University)|2012. 05. 22.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 5

한 줄 요약

이 논문은 수체의 단위합 표현에 대한 Belcher의 기준을 일반화하여 R-Γ-단위합 높이를 도입하고, $ u_1 + \cdots + u_I = n $ 이며 $ (u_1,\dots,u_I) \neq (1,\dots,1) $ 인 해가 존재한다면, 링 R의 모든 대수적 정수는 계수가 $ n-1 $ 이하로 유한한 단위의 선형조합으로 표현될 수 있음을 증명한다. 이 결과는 $ \mathbb{Z}[1/p,1/q] $와 같은 링에서 부호가 있는 이중기수 전개를 효율적으로 계산할 수 있도록 하며, 특히 $ 2 = \pm p^a q^b \pm p^c q^d $ 인 경우 다항시간 알고리즘을 제공한다.

ABSTRACT

Let $\ord$ be the maximal order of a number field. Belcher showed in the 1970s that every algebraic integer in $\ord$ is the sum of pairwise distinct units, if the unit equation $u+v=2$ has a non-trivial solution $u,v\in\ord^*$. We generalize this result and give applications to signed double-base digit expansions.

연구 동기 및 목표

• 수체 내 단위합 표현에 대한 Belcher의 기준을 일반화하여 단위 선형조합의 계수를 유한하게 제한할 수 있도록 한다.
• 유한한 단위 집합에 의해 생성된 링 $ R $의 모든 원소가 계수가 $ n-1 $ 이하로 유한한 표현을 갖는 조건을 설정한다.
• 일반화된 기준을 $ \mathbb{Z}[1/p,1/q] $ 링에서의 부호 있는 이중기수 전개에 적용하여 이러한 전개의 다항시간 계산 가능성을 확보한다.
• 계수 유한성의 존재를 보장하는 충분조건을 특정화한다. 특히 $ u_1 + \cdots + u_I = n $ 이며 $ (u_1,\dots,u_I) \neq (1,\dots,1) $ 인 해가 존재할 경우를 포함한다.
• 특정 지수 디오판틴 방정식을 만족하는 2의 표현 조건이 성립할 경우, 확장된 부호 있는 $ p $-$ q $-이중기수 전개를 구성하는 데 있어 알고리즘적 효율성 보장을 제공한다.

제안 방법

• 모든 서로 다른 단위들이 $ \Gamma \cap R $ 에서 유한한 선형조합으로 표현될 때, 그 최대 계수의 최소값을 나타내는 $ R $-$ \Gamma $-단위합 높이 $ \omega_{R,\Gamma}(\alpha) $ 를 도입한다.
• $ \omega_\Gamma(R) $ 는 $ R $ 내 모든 $ \alpha $ 에 대해 $ \omega_{R,\Gamma}(\alpha) $ 의 Supremum 으로 정의되며, $ u_1 + \cdots + u_I = n $ 이 $ \Gamma \cap R $ 에서 비자명한 해를 가진다면 $ \omega_\Gamma(R) \leq n-1 $ 이 됨을 증명한다.
• 주요 정리를 링 $ R = \mathbb{Z}[1/p,1/q] $ 과 곱법적 군 $ \Gamma = \langle -1, p, q \rangle $ 에 적용한다. 여기서 $ p $ 와 $ q $ 는 서로소 정수이다.
• 비자명한 해 $ u_1 + \cdots + u_I = n $ 의 존재를 이용하여 단위 표현의 계수를 유한하게 제한함으로써, 유한하고 유계된 표현 길이를 확보한다.
• 이중기수 전개를 구성하는 문제를 $ p $ 와 $ q $ 의 거듭제곱을 포함하는 디오판틴 방정식으로 환원하며, 특히 $ 2 = \pm p^a q^b \pm p^c q^d $ 인 경우를 다룬다.
• 이러한 표현은 계수의 합과 유계된 표현 기반의 재귀적 분해를 통해 $ h(\alpha) $ 에 대해 다항시간 내에 계산 가능하다는 것을 확립한다.

실험 결과

연구 질문

• RQ1 유한한 단위 집합에 의해 생성된 링 $ R $ 의 모든 원소가 계수가 $ n-1 $ 이하인 서로 다른 단위의 선형조합으로 표현될 수 있는 조건은 무엇인가?
• RQ2 이러한 표현에서 최소 최대 계수는 무엇이며, 이는 단위방정식 $ u_1 + \cdots + u_I = n $ 의 해와 어떻게 관련되는가?
• RQ3 비자명한 해 $ u_1 + \cdots + u_I = n $ 가 존재할 경우, $ \mathbb{Z}[1/p,1/q] $ 에서의 부호 있는 이중기수 전개가 다항시간에 효율적으로 계산 가능한가?
• RQ4 어떤 서로소 정수 쌍 $ (p,q) $ 는 2를 $ p $ 와 $ q $ 의 거듭제곱의 선형조합으로 표현할 수 있으며, 이는 효율적인 이중기수 전개를 가능하게 하는가?
• RQ5 부호 있는 $ p $-$ q $-이중기수 전개에서 비영원소의 개수를 최소화할 수 있으며, 이를 지원하는 알고리즘적 접근은 무엇인가?

주요 결과

• 방정식 $ u_1 + \cdots + u_I = n $ 이 $ \Gamma \cap R $ 에서 비자명한 해를 가진다면 $ \omega_\Gamma(R) \leq n-1 $ 이 되며, 이는 $ R $ 의 모든 원소가 계수가 최대 $ n-1 $ 인 서로 다른 단위의 선형조합으로 표현 가능함을 의미한다.
• $ R = \mathbb{Z}[1/p,1/q] $ 과 $ \Gamma = \langle -1, p, q \rangle $ 인 경우, $ 2 = \pm p^a q^b \pm p^c q^d $ 라면 $ \mathbb{Z}[1/p,1/q] $ 의 모든 원소는 다항시간 내에 계산 가능한 확장된 부호 있는 $ p $-$ q $-이중기수 전개를 갖는다.
• 전개 규칙 적용 횟수는 $ \frac{w^2 - w}{2} $ 이하로 유계되며, 여기서 $ w $ 는 $ p $-진 전개에서 계수의 절댓값의 합이다. 이는 다항시간 복잡도를 보장한다.
• $ p $ 가 소피 제르맹 소수이고 $ q = 2p+1 $ 이라면 항등식 $ 2 = qp^{-1} - p^{-1} $ 가 성립하며, 이는 부호 있는 $ p $-$ q $-이중기수 전개의 효율적 계산 가능성을 보장한다.
• 이 방법은 모든 $ p, q > 3 $ 에 대해 적용 가능하며, 방정식 $ 2 = \pm p^a q^b \pm p^c q^d $ 의 해는 특정 형태, 예를 들어 $ 2 = \pm p^{-a} \pm p^{-a} q^b $ 와 같아야 하며, $ p \mid 2 $ 또는 $ q \mid 2 $ 인 경우는 제외된다.
• 전개를 구성하는 알고리즘은 $ \alpha = n/m $ 에 대해 $ h(\alpha) = \max\{ \log|n|, \log|m|, 1 \} $ 에 대해 다항시간 내에 수행되며, 이는 $ \mathbb{Z}[1/p,1/q] $ 내 모든 유리수에 대해 효율적인 계산을 보장한다.