Counterexamples of Friedlander--Iwaniec dual sums conjecture

기술 요약: Friedlander–Iwaniec 이중 합(Dual Sums) 추측에 대한 반례

문제 정의
본 논문은 Friedlander와 Iwaniec(2005)이 제기한 "날카롭게 절단된 비선형 이중 합(sharply truncated nonlinear dual sums)"의 크기에 관한 특정 추측을 다룬다. 함수 방정식에 의해 서로 연결된 오토모픽 $L$-함수 및 디리클레 급수의 맥락에서, 해석적 차수(analytic degree) $m$, 컨덕터(conductor) $D$, 아르키메데스 가중치 $k$를 갖는 듀얼 급수를 $A(s)$와 $B(s)$라 하자. Friedlander와 Iwaniec는 다음과 같은 합을 정의하였다:
$$B_{\ell,D}(x, N) := \sum_{n \le N} b(n) n^{-\beta_m} \cos\left( 2\pi m \left(\frac{nx}{D}\right)^{1/m} + \frac{\pi \ell}{4} \right)$$
여기서 $\beta_m = \frac{m+1}{2m}$이고 $\ell = m - 3 - 2k$이다.

추측 1.1은 임의의 $\varepsilon > 0$에 대하여, 이 합이 다음의 균등 바운드(uniform bound)를 만족할 것을 예측한다:
$$B_{\ell,D}(x, N) \ll_{\varepsilon, \kappa} (DNx)^{\varepsilon}$$
여기 이는 $x$와 $N$에 대해 균등하게(고정된 차수, 컨덕터 및 아르키메데스 데이터를 가질 때) 성립한다. 이 추측은 듀얼 합이 대략 $N^{\theta_m}$ (여기서 $\theta_m = \frac{m-1}{2m}$)인 자명한 바운드(trivial bound)를 대신하여, $N$의 양의 거듭제곱보다 느리게 성장하는 "subpower" 상쇄(cancellation)를 보일 것임을 시사한다.

본 논문은 $A(s) = B(s) = \zeta(s)^m$, 즉 $m$중 디비저 함수(m-fold divisor function) $d_m(n)$의 경우에 이 추측이 성립하는지 조사한다.

방법론
저자는 진동하는 합의 위상(phase)에 대한 결정론적인 국소 분석(deterministic, local analysis)을 수행하며, 특히 "엔드포인트 공명(endpoint resonance)"에 초점을 맞춘다. 핵심 메커니즘은 위상 함수 $\Phi_x(n) = \kappa (nx)^{1/m}$의 미분 $\Phi'_x(n)$이 $x$가 $N$에 상대적으로 적절히 스케일링될 때 큰 엔드포인트 $N$ 근처에서 작아진다는 관찰에 기초한다.

1. 위상 정렬 (Phase Alignment): 저자는 마지막 항($n=N$)의 위상이 코사인 함수의 극대값(또는 주기적 프로파일 $\Omega$가 0이 아닌 지점)과 정확히 일치하도록 하는 파라미터 수열 $x_N$을 구성한다.
2. 결맞은 블록 구성 (Coherent Block Construction): 위상이 $N$에서 정지(stationary, modulo $2\pi$)하도록 $x_N$을 선택함으로써, 저자는 위상의 변화량이 고정된 상수보다 작은 종단 구간(terminal interval) $[N-H_N, N]$을 식별한다. 이 구간 내에서 코사인 항은 균등하게 양의 실수부를 유지한다.
3. 하한 추정 (Lower Bound Estimation): 계수 $d_m(n)$이 엄격히 양수($d_m(n) \ge 1$)이므로, 이 결맞은 블록에 대한 합은 상쇄되지 않는다. 대신, 이 합은 해당 블록의 가중 질량(weighted mass)에 비례하는 크기로 축적된다.
4. 일반적 보조정리 (General Lemma): 논문은 먼저 형태가 $\sum c_n n^{-\beta} \Omega(\kappa (nx)^\nu)$인 합들에 대한 일반적인 "Sharp-Endpoint Sector Lemma" (정리 2.1)를 확립하여, 계수가 하한을 가질 경우 그러한 합들이 특정 엔드포인트에서 반드시 양의 거듭제곱 크기의 성장을 보임을 증명한다.

주요 결과
본 논문은 $A(s) = \zeta(s)^m$인 경우 $m \ge 4$에 대하여 추측 1.1에 대한 명시적인 반례를 제시한다.

• 정리 1.2 (Sharp Endpoint 하한): 임의의 정수 $m \ge 2$와 스케일링 파라미터 $0 < a < m-1$에 대하여, $x_N \asymp N^a$인 수열 $x_N$과 컷오프 $M_N \in \{N, N-H_N\}$이 존재하여 다음을 만족한다:
  $$|B_m(x_N, M_N)| \gg_{m,a,\lambda} N^{\Delta_m(a)}$$
  여기서 지수는 $\Delta_m(a) = \frac{m-3-2a}{2m}$이다.
• 따름정리 1.3 (추측의 실패):
  • 경우 (i): $m \ge 4$이고 $0 < a < \frac{m-3}{2}$인 경우, 지수 $\Delta_m(a)$는 양수이다. 따라서 이 합은 $N$의 양의 거듭제곱으로 성장하며, 이는 추측 1.1이 예측하는 subpower 바운드 $(DNx)^\varepsilon$에 직접적으로 위배된다.
  • 경우 (ii): $m \ge 6$인 경우, $1 \le N \le x$ 범위(구체적으로 $a=1$)에서도 반례가 성립한다. 이는 일반적으로 응용 분야에서 고려되는 범위이다.
  • 경우 (iii): $m \ge 5$인 경우, $N \asymp x^{(m-1)/2}$인 영역에서도 반례가 존재한다.

의의 및 주장
본 논문은 디비저 문제의 오차항을 제한하기 위해 Friedlander와 Iwaniec가 제안한 구체적인 경로를 무효화한다고 주장한다.

• 균등성(Uniformity)의 반박: 본 결과는 $m \ge 4$인 $m$중 디비저 함수에 대하여 추측 1.1의 "subpower" 바운드가 거짓임을 보여준다. 이 추측은 함수 방정식이 인볼루토리(involutory, 자기 역원 성질)를 갖기 때문에 실패하는데, 즉 듀얼을 두 번 적용하면 원래의 급수로 돌아오게 되어 일반적인 듀얼 합에 대해 기존의 바운드를 개선하는 것을 방해한다.
• 추측 2에 대한 영향: 본 논문은 이러한 반례들이 디비저 문제에 대한 오차항 $E_A(x)$의 바운드인 추측 1.6에 대한 Friedlander와 Iwaniec의 "uniform sharp-dual-sum route"를 무효화하지만, 추측 1.6 자체를 부정하는 것은 아니라고 언급한다. $\Delta_m(x) \ll x^{(m-1)/(2m)+\varepsilon}$ (Piltz 디비저 추측)이라는 추측은 여전히 미해결 상태로 남아 있다.
• 메커니즘 규명: 본 연구는 "엔드포인트 공명"이 비선형 듀얼 합의 균등 subpower 추정에 대한 근본적인 장애물임을 밝혀낸다. 이는 스무딩(smoothed)된 합이나 특정 파라미터 범위에서는 상쇄가 가능할 수 있으나, 날카롭게 절단된(sharply truncated) 합은 특정 엔드포인트에서 큰 결맞은 기여를 나타낼 수 있음을 명확히 한다.

결론
본 논문은 $m \ge 4$인 데이터 $\zeta(s)^m$에 대하여 Friedlander와 Iwaniec의 추측 1.1이 거짓이라고 결론짓는다. 이러한 실패는 위상의 진동을 디비저 함수의 양의 계수들과 정렬시켜, 함수 방정식만으로는 억제할 수 없는 양의 거듭제곱 크기를 가진 "결맞은 블록(coherent block)"을 생성할 수 있는 능력에서 기인한다.