Inhomogeneous Approximation by Sums of Roots

기술적 요약: 근의 합에 의한 비동차 근사

문제 제기
본 논문은 $d$-제곱근의 합과 관련된 비동차 디오판토스 근사 문제를 다룬다. 구체적으로, 고정된 정수 $d \ge 2$ 및 $k \ge 1$, 실수 목표값 $\beta$, 그리고 큰 상한 $N$이 주어졌을 때, $1 \le b_1, \dots, b_k \le N$인 정수들을 찾아서 그들의 $d$-제곱근의 합과 $\beta$ 사이의 거리를 최소화하는 것이 목표이다:
$$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\|$$
여기서 $\|x\|$는 $x$에서 가장 가까운 정수까지의 거리를 나타낸다. 본 논문은 이 거리가 $O(N^{-\gamma})$로 제한되도록 하는 최적의 지수 $\gamma$를 확립하고자 한다.

Iyer(2025)의 이전 연구는 최소 $(k-d+1)/d^2$의 유효한 비동차 지수와 더 날카로운 "전체 기저 (full-basis)" 지수 $\gamma_{k,d} = d^{\lfloor \log_d(k+1) \rfloor - 1}/d$를 확립하였다. 후자는 $k+1$이 $d$의 거듭제곱일 때만 $k/d$ 값을 달성한다. 본 논문은 특히 $k+1$이 $d$의 거듭제곱이 아닌 경우를 중심으로 일반 $k$와 $d$에 대해 이러한 지수들을 개선하고자 하며, 이는 유효성 (effectivity) 을 희생하는 대가를 치른다.

방법론
주요 정리의 증명은 두 가지 주요 구성 요소에 의존한다:

1. 슈미트 부분공간 정리를 통한 쌍대 하한:
   저자들은 서로 다른 소수 근방 (prime radicals) 을 포함하는 선형 형식에 대한 쌍대 하한을 확립하기 위해 슈미트 부분공간 정리 (Schmidt's Subspace Theorem) 를 활용한다. 서로 다른 소수 $p_1, \dots, p_k$를 선택하고 $\theta_i = p_i^{1/d}$로 설정함으로써, 그들은 $\mathbb{Q}$ 위에서 $1, \theta_1, \dots, \theta_k$의 선형 독립성 (Besicovitch 의 결과) 을 적용한다. 이는 임의의 $\eta > 0$과 $0$이 아닌 정수$h$에 대해 다음과 같은 하한을 산출한다:
   $$\max_{1 \le i \le k} \| h \theta_i \| \gg_{d,k,\eta} |h|^{-1/k - \eta}$$
   이 단계는 부분공간 정리에 의존하므로 비유효 (non-effective) 하다.

2. 비동차 전이 (Inhomogeneous Transference):
   저자들은 쌍대 하한을 비동차 근사 결과로 변환하기 위해 덮기 전이 논증 (Lemma 3.2) 을 사용한다. 수의 기하학 (특히 마흐러의 전이 원리와 격자의 덮기 반지름) 을 사용하여, 쌍대 상한이 지수 $\sigma$로 성립한다면 임의의 목표 $\beta$와 매개변수 $Q$에 대해 $|q_i| \le Q$를 만족하는 정수 $q_1, \dots, q_k$가 존재하여 다음을 만족함을 보인다:
   $$\left\| \sum_{i=1}^k q_i \theta_i - \beta \right\| \ll Q^{-1/\sigma}$$
   계수를 양수로 이동시키고 피제곱근을 $b_i = p_i c_i^d$ (여기서 $c_i$는 $q_i$에서 유도됨) 로 재정의함으로써, 문제는 상한 $N$으로 제한된 피제곱근을 가진 $d$-제곱근의 합으로 다시 변환된다.

주요 결과

• 정리 1.1 (주요 정리): 임의의 고정된 $d \ge 2$, $k \ge 1$, 그리고 $\varepsilon > 0$에 대해, 모든 $N \ge 2$와 $\beta \in \mathbb{R}$에 대해 다음을 만족하는 정수 $1 \le b_1, \dots, b_k \le N$이 존재하는 상수 $C_{d,k,\varepsilon}$이 존재한다:
  $$\left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \le C_{d,k,\varepsilon} N^{-k/d + \varepsilon}$$
  이 결과는 $k/d - \varepsilon$의 지수를 제공한다. 이는 $k+1$이 $d$의 거듭제곱이 아닐 때 Iyer 의 지수 $(k-d+1)/d^2$와 전체 기저 지수 $\gamma_{k,d}$보다 개선된 것이다. $k+1$이 $d$의 거듭제곱인 특정 경우, Iyer 의 유효한 구성이 이미 $k/d$를 달성하는 반면, 이 정리는 임의의 $\varepsilon$을 잃고 비유효하다.

• 추측 1.2 (균일 지수): 저자들은 최적의 균일 지수가 $k - 1/d$라는 더 강력한 추측을 제시한다. 이는 현재의 $k/d$ 결과가 최종 한계가 아니라, 증명에 사용된 특정 대수적 구조 (희소 피제곱근 군) 의 결과임을 시사한다. 이 추측은 다음과 같이 진술된다:
  $$\sup_{\beta \in \mathbb{R}/\mathbb{Z}} \min_{1 \le b_1, \dots, b_k \le N} \left\| \sum_{j=1}^k b_j^{1/d} - \beta \right\| \ll_{d,k,\varepsilon} N^{-(k-1/d) + \varepsilon}$$

• $d=2$에 대한 명시적 구성: 5 절에서 본 논문은 $k=2, 3, 4$인 제곱근 경우 ($d=2$) 에 대한 명시적 정수 - 목표 구성을 제공한다. 테일러 전개와 계수 상쇄를 사용하여 저자들은 피제곱근이 $M^2$ 크기일 때 오차가 $M^{-(2k-1)}$ 차수인 정수를 근사하는 제곱근의 합을 구성한다. 이는 $N^{-(k-1/2)}$의 지수를 산출하며, 이러한 특정 경우에 대한 추측적 값과 일치한다.

의의 및 주장
본 논문은 슈미트 부분공간 정리를 사용하는 일반 대수적 디오판토스 근사 프레임워크로 방법론을 Iyer 의 "전체 근방 기저" 접근법에서 전환시켜, 근의 합에 대한 비동차 지수에 대한 다른 증명을 제공한다고 주장한다.

주요 의의는 $k+1$이 $d$의 거듭제곱이 아닌 경우에 대한 지수 개선에 있다. 저자들은 부분공간 정리로 인해 그들의 결과가 비유효하지만, 이러한 특정 영역에서 이전의 유효한 구성들보다 더 나은 지수를 달성한다고 지적한다. 또한 본 논문은 증명된 지수 ($k/d$) 와 추측된 최적 지수 ($k-1/d$) 사이의 간격을 강조하며, 후자는 주요 증명에서 사용된 희소 군을 넘어선 피제곱근 선택에서 더 많은 "국소적 자유도"를 활용해야 함을 시사한다. $d=2$에 대한 명시적 구성은 추측된 균일 지수를 지지하는 증거로 작용한다.