The Minimal Absolute Value of Sums of Fifth Roots of Unity

기술 요약: 5차 단위근 합의 최소 절댓값

문제 정의
본 논문은 중복을 허용하여 선택된 $n$개의 5차 단위근의 비영(non-vanishing) 합의 최소 절댓값을 결정하는 문제를 다룬다. 형식적으로, 정수 $n \ge 1$에 대하여 저자들은 $s = \sum_{i=0}^4 a_i \zeta^i$ (여기서 $a_i \in \mathbb{N}$이고 $\sum a_i = n$, $\zeta = \exp(2\pi i/5)$)인 합 $s \in \Sigma_5(n)$의 집합을 다음과 같이 정의한다:
$$\Sigma_5(n) = \{ s = \sum_{i=0}^4 a_i \zeta^i : a_i \in \mathbb{N}, \sum a_i = n \}$$
본 연구의 목적은 다음을 계산하는 것이다:
$$\sigma_5(n) = \min \{ |s| : s \in \Sigma_5(n) \setminus \{0\} \}$$
고정된 $\ell$에 대해 임의의 $n$에 대한 $\sigma_\ell(n)$을 결정하는 문제는 자연스러운 문제이지만, 본 특정 형태로는 이전에 고려되지 않았다. 기존 문헌은 고정된 $n$과 큰 $\ell$에 대한 점근적 공식, 또는 영의 합(vanishing sums)이 존재하는 가중치 $n$의 특성 규명에 집중해 왔다. $\ell=5$인 경우는 $\zeta_5$의 최소 다항식이 4차식으로서, 최소 다항식의 차수가 2를 초과하는 가장 작은 사례를 나타내기 때문에 중요하다.

방법론
저자들은 복소수 합의 절댓값을 최소화하는 기하학적 문제를 황금비 $\phi = (1+\sqrt{5})/2$와 상수 $\alpha = \phi + 2$를 포함하는 디오판토스 근사 문제의 일련의 과정으로 환원한다.

1. 실수부와 허수부로의 환원: 합 $s$를 실수 성분과 허수 성분으로 표현함으로써, 저자들은 $\alpha$의 정수 배와 $\phi$의 정수 배가 가장 가까운 정수와 이루는 거리에 $|s|$를 관련시킨다. 구체적으로, 그들은 $\zeta + \zeta^4 = 1/\phi$ 및 $\zeta^2 + \zeta^3 = -\phi$라는 항등식을 활용한다.
2. 오스트로프스키 표현(Ostrowski Representations): 핵심적인 해석적 도구는 연분수 이론과 오스트로프스키 표현이다. 저자들은 $\phi$와 $\alpha$의 연분수 전개가 ( $\alpha$의 초기 항을 제외하고) 모두 1로 구성되어 있다는 사실을 이용한다. 이를 통해 정수를 비연속적인 피보나치 수( $\phi$의 경우) 또는 루카스 수( $\alpha$의 경우)의 합으로 유일하게 표현할 수 있다.
3. 수렴값(Convergents)을 통한 경계 설정: 저자들은 $\phi$와 $\alpha$의 수렴값과 관련된 "차이" 항 $D_k = B_k t - A_k$를 분석함으로써 $|s|$에 대한 하한을 설정하는 전략을 사용한다. 이러한 차이의 성질과 가중치 $n$에 의해 부과된 제약 조건을 사용하여, 저자들은 합의 계수들을 제한하는 엄격한 부등식을 유도한다.
4. 경우 분석: 문제는 $n \pmod 5$에 따른 합동식에 따라 나뉜다.
   • $n \not\equiv 0 \pmod 5$인 경우, 분석은 루카스 수($L_m$) 및 두 배의 루카스 수($2L_m$)에 의해 정의된 구간에 집중한다.
   • $n \equiv 0 \pmod 5$인 경우, 분석은 피보나치 수($F_m$)에 의해 정의된 구간에 집중한다.

주요 기여 및 결과

본 논문은 모든 $n \ge 1$에 대하여 피보나치($F_m$) 및 루카스($L_m$) 수열로 특징지어지는 $\sigma_5(n)$의 정확한 공식을 제공한다.

1. $n \not\equiv 0 \pmod 5$인 경우 (정리 1)
5로 나누어떨어지지 않는 $n$에 대하여, 최소 절댓값은 다음과 같이 주어진다:
$$\sigma_5(n) = \frac{1}{\phi^{\kappa(n)}}$$
여기서 $\kappa(n)$은 $n$보다 작거나 같으면서 $n \pmod 5$와 합동인 루카스 수($L_k$) 또는 두 배의 루카스 수($2L_k$)의 최대 인덱스에 의해 정의되는 함수이다. 구체적으로, $\kappa(n) = \max\{\kappa_1(n)-1, \kappa_2(n)\}$이며, 여기서 $\kappa_1$과 $\kappa_2$는 각각 $L_k$와 $2L_k$의 인덱스에 대응한다.

• 단조성: 함수 $\sigma_5(n)$은 $n \pmod 5$에 따른 합동류 내에서 단조 감소한다.
• 도약(Jumps): $\sigma_5(n)$의 값은 $n = 5F_m$, $n = L_m$, 또는 $n = 2L_m$일 때만 변화(도약)한다.
• 최소값의 특성 규명: 이 최소값을 달성하는 합들은 명시적으로 규명된다. $n \in [L_m, 2L_{m+1})$인 경우, 최소 합은 $F_m \zeta + F_{m-1} \zeta^3 + F_{m-1} \zeta^4$의 회전이다. $n \in [2L_m, L_{m+3})$인 경우, 최소 합은 $F_{m+1} \zeta + F_{m-1} \zeta^2 + F_{m-1} \zeta^3 + F_{m+1} \zeta^4$의 회전이다.

2. $n \equiv 0 \pmod 5$인 경우 (정리 2)
$n = 5k$일 때, $\nu(k) = \max \{ m : F_m \le k \}$라고 하자. 최소 절댓값은 다음을 만족한다:
$$\sigma_5(n)^2 = \frac{\sqrt{5}}{\phi^{2\nu(k)-1}}$$

• 최소값의 특성 규명: $n=5F_m$에 대한 최소 합은 $2F_m \zeta + F_{m-2} \zeta^2 + F_m \zeta^3 + F_{m+1} \zeta^4$의 회전이다.

의의
본 논문은 $\sigma_5(n)$을 계산하는 것이 5차 단위근 집합의 원소를 갖는 최대 행렬식 행렬(maximal determinant matrices)을 연구하는 데 유용하다고 주장하는데, 이 값들이 행렬식 상한에 등장하기 때문이다. 본 연구는 최소 다항식이 선형 또는 이차식인 경우($\ell \in \{2, 3, 4, 6\}$)를 넘어, 단위근 합의 최소 절댓값에 대한 이해를 확장한다. 문제를 황금비의 유리 근사 문제로 환원함으로써, 저자들은 최소값과 이를 달성하는 특정 합들에 대한 완전한 특성을 제공하며, 고정된 $\ell$과 임의의 $n$에 관한 문헌의 공백을 메운다. 이 결과는 이러한 최소값들의 거동이 피보나치 수와 루카스 수의 산술적 성질과 깊게 연결되어 있음을 보여준다.