Counting square-free values of random polynomials

技術要約：ランダムな多項式における平方フリー値の計数

問題設定
本論文は、整数多項式が取る平方フリー値の計数に関する問題を扱う。$P \in \mathbb{Z}[t]$ を次数 $d$ の多項式とする。関心の対象となる量は、$1 \le n \le x$ における平方フリー値 $P(n)$ の実際のカウントと、期待される主項 $S_P x$（ここで $S_P$ は素数に関する特異級数積である）との間の誤差項 $E_P(x)$ である。任意の既約多項式に対して $E_P(x) = o(x)$ であるという帰納的な予想は存在するが、次数 $d \ge 4$ の場合については未だ証明されていない（$d \le 3$ の場合に無限個の平方フリー値が存在することさえ、まだ分かっていない）。

著者は、ランダムな多項式の族にわたって平均化したときの $E_P(x)$ の挙動を調査している。具体的には、多項式の集合 $P_d(H) = \{P \in \mathbb{Z}[t] : \deg(P)=d, |P| \le H\}$ を考える（ここで $|P|$ は係数の最大絶対値を表す）。目的は、誤差項の二次モーメントの大きさ、すなわち
$$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2$$
を決定することである。Filaseta、Shparlinski、Browningらによる先行研究は、このモーメントに関する境界を与えてきたが、ランダムな多項式の文脈において誤差項の正確なオーダーは完全には特徴付けられていなかった。

手法
証明は、確率的数論と複素解析的手法を組み合わせた、いくつかの解析的段階を経て進められる：

1. 切断とモデルの移行： 著者は、平方フリー数の指示関数 $\mu^2(P(n))$ を、$k \le z$ に関する和を含む切断されたモデル $SP(z)$で置き換える。これにより、二次モーメント展開における対角項（$n=m$）と非対角項（$n \neq m$）の分離が可能になる。
2. 組合せ論的計数： 補題 2.1 から 2.3 は、モジュロ $k^2$ における多項式の根の数、および平方数で割り切れる多項式の分布に関する境界を与える。これらの境界は、切断によって導入される誤差を推定するために極めて重要である。
3. チェザロ総和とペロンの積分： 本論文で特定された主要な革新は、二次モーメントの構造が本質的にチェザロ総和を組み込んでいるという認識である。非対角和 $\sum_{n \neq m} c(m,n)$ （ここで $c(m,n)$ は $m-n$ に依存する）は、ペロンの公式の変種を用いて変換される。これにより、追加の収束因子を提供するカーネル $1/(s(s+1))$ を用いた複素積分が可能となる。
4. ディリクレ級数の解析： 算術関数 $b(k) = c(k, 0)$ が解析される。そのディリクレ級数は $\zeta(s)\zeta(2+2s)G(s)/\zeta(2)^2$ であり、ここで $G(s)$ は $\Re(s) > -3/4$ で正則な関数である。
5. 輪郭の移動： 積分路を左側にシフトし、$s=1, s=0, s=-1/2$ の極を通過させる。著者は、チェザロ・カーネルによる収束性とリーマン・ゼータ関数の臨界帯における特定の境界により、積分路を $\Re(s) = -1/2 - \delta$ までシフトできることを示している。論文では、リンデレフ仮説や部分凸性境界はこの特定のセットアップにおいては利点をもたらさないことが明記されている。

主要な貢献と結果
主要な貢献は、誤差項の二次モーメントの漸近挙動を決定したことである。論文は、誤差項は典型的には $x^{1/4}$ の大きさ（二次モーメントが $x^{1/2}$ であるため）であることを証明している。

定理 1.1 は、$\gamma_0 \approx 0.192$（$s=-1/2$ における留数から導かれる特定の定数）に関して、以下の漸近挙動を確立する：

1. $x \le H^{1/(d+3)}$ の場合：
   $$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2 = \gamma_0 x^{1/2} + O(x^{1/2-\delta})$$
   これは、$x \le H^\alpha$ かつ任意の $\alpha < 1/(d+3)$ に対して成立する。

2. $x \le H^{1/(d+28/9)}$ の場合：
   $$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2 = \gamma_0 x^{1/2} + O(x^{4/9+\varepsilon})$$
   これは、任意の $\varepsilon > 0$ および $\beta < 1/(d+28/9)$ に対して成立する。

定数 $\gamma_0$ は、ディリクレ級数の $s = -1/2$ における留数（具体的には $\zeta(-1/2)$ と $G(s)$ のオイラー積を含む）から生じる。二次モーメントにおける $x^{1/2}$ という項は、典型的な誤差 $E_P(x)$ が $x^{1/4}$ のオーダーであることを意味している。

意義と主張
本論文は、二次モーメントのオーダー $x^{1/2}$（したがって誤差は $x^{1/4}$）はすぐには明らかではないと主張している。なぜなら、対角項単独でも $x H^{d+1}$ 次のオーダーの項を寄与するためである。新規性は、非対角項の寄与によって対角項の寄与が精密に相殺される現象にある。これは、ランダムな多項式上の算術関数の二次モーメントに組み込まれたチェザロ総和によって促進される。

著者は、この結果が $n \neq m$ の項の寄与に対する完全な漸近展開を提供することを強調している。本研究は、平方フリー値に関する理解を、一次モーメント（平均化された結果）を超えて、二次モーメントへと拡張し、誤差の分布に関するより鋭い記述を提供している。また、ミルスキーの研究は $\mu^2$ のすべてのモーメントの漸近挙動が可能であることを示唆しているが、チェザロ総和を伴う高次のモーメントの計算は「困難」であると論文内で述べている。

これらの結果は次数 $d$ および $x$ と $H$ の関係に依存しているが、ランダムな多項式における平方フリー値問題における「典型的な」誤差項の挙動を定量化する上で、重要な一歩となっている。