Counterexamples of Friedlander--Iwaniec dual sums conjecture

技術的要約：Friedlander–Iwaniecの双対和に関する反例

問題設定
本論文は、FriedlanderとIwaniec（2005）によって定式化された、「鋭く切断された非線形双対和（sharply truncated nonlinear dual sums）」の大きさに関する特定の予想を扱っている。関数等式によって結ばれた、解析的次数 $m$、導手 $D$、およびアルキメデス的な重み $k$ を持つ自己共役 $L$ 関数およびディリクレ級数の文脈において、$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$ に対して、この和が以下の一様境界を満たすことを予測している：
$$B_{\ell,D}(x, N) \ll_{\varepsilon, \kappa} (DNx)^{\varepsilon}$$
これは、変数 $x$ および $N$ に関して一様に（固定された次数、導手、およびアルキメデス的なデータの下で）成立する。この予想は、双対和が「サブパワー（subpower）」の打ち消しを示すこと、すなわち、自明な境界であるおよそ $N^{\theta_m}$ （ここで $\theta_m = \frac{m-1}{2m}$）を、正のべき乗よりも緩やかに成長する境界に置き換えることを示唆している。

本論文は、$A(s) = B(s) = \zeta(s)^m$、すなわち $m$ 重約数関数 $d_m(n)$ に対応する場合において、この予想が成立するかどうかを調査するものである。

手法
著者は、振動する和の位相に関する決定論的な局所解析、特に「エンドポイント・レゾナンス（端点共鳴）」に焦点を当てた解析を採用している。核心となるメカニズムは、位相関数 $\Phi_x(n) = \kappa (nx)^{1/m}$ において、パラメータ $x$ が $N$ に対して適切にスケールされたとき、大きな端点 $N$ の近くで微分 $\Phi'_x(n)$ が小さくなるという観察に基づいている。

1. 位相の整列（Phase Alignment）: 著者は、位相が最後のエンド項（$n=N$）においてコサイン関数の極大値（または周期的なプロファイル $\Omega$ が非ゼロとなる点）と正確に一致するように、パラメータの列 $x_N$ を構成する。
2. コヒーレント・ブロックの構成（Coherent Block Construction）: 位相が $N$ において停留的（modulo $2\pi$）になるように $x_N$ を選択することで、著者は、位相の変化が一定の定数未満となる整数区間 $[N-H_N, N]$ を特定する。この区間内では、コサイン項は一様に正の実部を維持する。
3. 下界の推定: 係数 $d_m(n)$ は厳密に正（$d_m(n) \ge 1$）であるため、このコヒーレント・ブロックにおける和は打ち消し合うことなく、ブロックの重み付き質量に比例する大きさへと蓄積する。
4. 一般の補題: 本論文はまず、$\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 (鋭い端点の下界): 任意の整数 $m \ge 2$ およびスケーリング・パラメータ $0 < a < m-1$ に対して、数列 $x_N \asymp N^a$ およびカットオフ $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 が予測するサブパワー境界 $(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 が提案した具体的な経路を無効化すると主張している。

• 一様性の否定: 結果は、$m$-重約数関数の場合、$m \ge 4$ において予想 1.1 の「サブパワー」境界が偽であることを示している。この予想が失敗するのは、関数等式が対合的（involutory）であるためであり、二度に対合を適用すると元の級数に戻ってしまうため、双対和に対して一般的な手法で自明な境界を改善することができないからである。
• 予想 2 への影響: 本論文は、これらの反例が、誤差項 $E_A(x)$ の境界（Piltz の約数予想）である 予想 1.6 への「一様な鋭い双対和による経路」を無効にするものの、予想 1.6 自体を論破するものではないことを指摘している。$\Delta_m(x) \ll x^{(m-1)/(2m)+\varepsilon}$ という予想（Piltz の約数予想）は依然として未解決である。
• メカニズムの特定: 本研究は、「エンドポイント・レゾナンス（端点共鳴）」が、非線形双対和における一様なサブパワー推定に対する根本的な障害であることを明らかにしている。これにより、平滑化された和や特定のパラメータ範囲であれば打ち消しが可能である一方で、鋭く切断された 和においては、特定の端点で大きなコヒーレントな寄与が生じ得ることを明確にしている。

結論
本論文は、データ $\zeta(s)^m$ に対して $m \ge 4$ のとき、Friedlander と Iwaniec の予想 1.1 は偽であると結論付けている。この失敗は、振動する位相を約数関数の正の係数と、終端の整数のブロック上で一致させることができ、その結果、関数等式だけでは抑制できない、べき乗サイズの大きさを持つ「コヒーレント・ブロック」を作り出せることに起因する。