Subconvexity of Short $k$-Free Exponential Sums

기술 요약: 짧은 $k$-자유 지수 합의 부수 볼록성(Subconvexity)

문제 정의
본 논문은 $k$-자유 정수(정수의 약수가 어떤 소수의 $k$제곱으로도 나누어떨어지지 않는 정수)에 대한 짧은 지수 합의 모멘트를 조사한다. $k \ge 2$를 정수라 하고, $\mu_k(n)$을 $k$-자유 정수의 지시 함수라고 하자. 주요 연구 대상인 짧은 구간 $(N-K, N]$에서의 지수 합은 다음과 같다:
$$S_k(\alpha; K) = \sum_{N-K < n \le N} \mu_k(n) e(n\alpha),$$
여기서 $e(x) = e^{2\pi i x}$이다. 본 연구의 주된 목표는 이 합의 $L^s$-모멘트가 전체 구간의 경우($K=N$)에 알려진 "기대되는" 점근적 거동을 따르는 구간 길이 $K$( $N$에 대한 상대적 길이)의 범위를 결정하는 것이다. 구체적으로, 다음의 형태를 갖는 경계식을 도출하고자 한다:
$$\int_0^1 |S_k(\alpha; K)|^s d\alpha \asymp_{k,s} \begin{cases} K^{\frac{s}{k+1}} & \text{if } s < 1 + \frac{1}{k}, \\ K^{s-1} & \text{if } s > 1 + \frac{1}{k}. \end{cases}$$
논문은 이러한 경계가 성립하는 모든 $\theta$의 하한(infimum)을 지수 $\theta_{k,s}$로 정의한다. 목적은 $\theta_{k,s}$의 값을 낮춤으로써, 기대되는 거동이 더 짧은 구간에서도 지속됨을 증명하는 것, 즉 "제곱근 장벽(square-root barrier)"($\theta < 1/2$)을 깨는 것이다.

방법론
접근 방식은 지수 합을 "중간 부분(middle part)" 합들로 분해하고, 이 구성 요소들에 대해 정교화된 $L^2$ 추정치를 적용하는 것에 기초한다.

1. 분해: $S_k(\alpha; K)$는 $\mu_k(n) = \sum_{d^k|n} \mu(d)$라는 항등식을 사용하여 분해된다. 저자는 $c_n(y, z) = \sum_{y < d \le z, d^k|n} \mu(d)$를 "중간 부분" 합으로 정의하고, $d$의 크기에 따라 지수 합을 이산적 구간 $T_i(\alpha)$로 분할한다. 전체 합은 작은 $d$를 합산하는 "낮은(low)" 부분 $h_D(\alpha)$와 큰 $d$를 합산하는 "높은(high)" 부분 $H_D(\alpha)$로 나뉜다 (여기서 $D \approx \log K$).
2. 핵심 추정치 (Lemma 1.2): 본 논문의 기술적 핵심은 중간 부분 합의 평균 제곱에 대한 새로운 경계식이다:
   $$\sum_{N-K < n \le N} |c_n(y, z)|^2 \ll K y^{1-k} + N^\varepsilon K^{1/k} + N^{\delta_k + \varepsilon},$$
   여기서 $\delta_k$는 $k$에 의존하는 특정 상수이다. 이 추정치는 다음의 여러 도구들을 결합한다:
   • 페론 공식(Perron's Formula): 합산 범위가 작을 때 곱셈적 구조를 처리하기 위해 사용된다.
   • 쌍곡선법(Hyperbola Method): 톱니 함수(sawtooth function) $\psi(x)$를 포함하는 긴 합을 단축하기 위해 적용된다.
   • 반 더 코르타(Van der Corput) 방법: 단일 및 다차원 버전이 모두 활용된다. 논문은 최적의 지수 쌍 $(p, q)$를 선택하기 위해 비노그라도프 평균 값 정리(Vinogradov's Mean Value Theorem)의 주요 추측이 해결된 것을 이용한다.
   • 제타 함수 경계: 디리클레 다항식과 결합하여 $\zeta(s)$의 표준 볼록성 경계가 사용된다.
3. 모멘트 보간: $L^s$-모멘트에 대한 경계는 분해된 합들의 $L^1$ 및 $L^2$ 추정치 사이를 보간함으로써 유도된다. 부차적(subcritical) 사례($s < 1 + 1/k$)의 경우, 합을 매끄럽게 처리하고 하한을 다루기 위해 페예르 커널(Fejér kernels)을 사용한다. 임계(critical) 및 초임계(supercritical) 사례($s \ge 1 + 1/k$)의 경우, 횔더 부등식(Hölder's inequality)과 높은 부분 합 $H_D(\alpha)$에 대한 세심한 점별 추정치를 활용한다.

주요 기여 및 결과

• 정리 1.1 (주요 결과): 본 논문은 허용 가능한 지수 $\theta_{k,s}$에 대한 명시적인 상한을 확립한다. $s \neq 1 + 1/k$인 경우, 논문은 다음을 증명한다:
  $$\theta_{k,s} \le \begin{cases} \left(\frac{k+1}{2}\right)\delta_k & \text{if } s < 1 + \frac{1}{k}, \\ \left(\frac{1}{2} + \frac{1}{2(s-1)}\right)\delta_k & \text{if } 1 + \frac{1}{k} < s < 2, \\ \delta_k & \text{if } s \ge 2. \end{cases}$$
  여기서 $\delta_2 = 105/317 \approx 0.331$이며, $k \ge 3$인 경우 $\delta_k$는 $k$의 특정 유리 함수로 정의되며 이는 $1/(k+1)$보다 엄격히 작다.
• 제곱근 장벽 돌파: 중요한 결과로서, $s=1$ ($L^1$-평균)인 경우, 기대되는 거동은 $K \gg N^\theta$인 구간 길이 $K$에 대해 $\theta < 1/2$에서 성립한다. 구체적으로 $k=4$인 경우, 경계는 $K \gg N^{1555/3142 + \varepsilon} \approx N^{0.49491}$에 도달한다.
• 정리 1.5 (임계 모멘트): 임계 지수 $s = 1 + 1/k$에 대하여, 논문은 다음을 증명한다:
  $$K^{1/k} \log K \ll \int_0^1 |S_k(\alpha; K)|^{1+1/k} d\alpha \ll K^{1/k} (\log K)^{2-1/k},$$
  이는 $K \gg N^{(\frac{k+1}{2})\delta_k + \varepsilon}$일 때 유효하며, 전체 구간의 경우($K=N$)에 대한 상한을 약간 개선한다.
• 따름정리 1.8 (뫼비우스 함수 적용): 직교성을 통해 $k$-자유 합을 뫼비우스 꼬임 합(Möbius-twisted sum)과 연관시킴으로써, $\sum \mu(n)e(n\alpha)$의 $L^1$-평균에 대한 하한을 도출한다. 이는 $K \gg N^{105/317 + \varepsilon} \approx N^{0.49685}$일 때 적분이 $\gg K^{1/6}$임을 보여준다. 이는 Sun의 기존 최적 결과($K \gg N^{9/17}$)를 개선한 것이다.

의의 및 주장

논문은 Lemma 1.2의 강도가 $\theta_{k,s} = 0$을 달성하는 데 있어 "유일한 장애물"이라고 주장한다. 결과들은 중간 부분 합의 $L^2$ 추정치(구체적으로 식 1.5의 지수 $\Delta_k$를 줄이는 것)를 추가로 개선하는 것이 즉각적으로 모든 모멘트에 대한 더 강력한 부수 볼록성 결과를 가져올 것임을 보여준다.

저자는 $s=2$인 경우가 $k$-자유 정수를 세는 고전적인 문제에 해당한다고 언급한다. 비록 본 논문의 $s=2$에 대한 경계가 아직 가장 강력한 알려진 결과들(예: Filaseta와 Trifonov의 $k$-자유 간격 결과)과 일치하지는 않지만, 방법론은 통일된 프레임워크를 제공한다. 논문은 $\sum \mu(n)e(n\alpha)$의 $L^1$-평균에 대한 개선이 정교화된 Lemma 1.2의 직접적인 결과임을 명시적으로 밝힌다.

이 연구는 현대 지수 합 이론(특히 비노그라도프 평균 값 정리의 해결)의 도구들을 활용하여 짧은 구간에서의 부수 볼록성의 한계를 밀어붙임으로써 Sun, Balog, Ruzsa, Keil의 이전 결과들을 일반화하고 개선한 것으로 제시된다. 본 논문은 $k$-자유 정수의 간격 문제를 완전히 해결한다고 주장하는 것이 아니라, 도출된 $\theta_{k,2}$에 대한 경계가 더 나은 간격 결과로 나아가는 단계임을 시사한다.