A Positive Proportion of the Reduced D'Arcais Polynomials is not Hurwitz

技術要約：簡約化されたダルカイス多項式の正の割合はフルヴィッツではない

問題提起
本論文は、デデキント $\eta$ 関数の冪の係数の生成関数によって定義されるダルカイス多項式 $P_n^\sigma(X)$ の解析的性質に関する予想を取り扱う。具体的には、著者らの第2著者および第3著者は、簡約化されたダルカイス多項式 $R_n^\sigma(X) := P_n^\sigma(X)/X$ はすべての自然数 $n$ に対してフルヴィッツ多項式であると以前に予想していた。多項式は、そのすべての零点が複素平面の左開半平面内に存在する場合にフルヴィッツであると定義される。この予想は、最初の1,000個の多項式における経験的な観察（すべての非実数根が左半平面内に存在したこと）に基づいていた。中心となる問いは、この性質が普遍的に成立するのか、あるいは反例が存在するのかである。

手法
著者らは、多項式の安定性を判定するためにフルヴィッツ・ルースの判定法を用いる。多項式 $f(X) = \sum a_m X^m$ に対し、判定法は、$f$ がフルヴィッツであるための必要十分条件として、一連の行列式 $\Delta_k(f)$ がすべての $1 \le k \le d$ に対して厳密に正であること、と述べている。著者らは、反転多項式 $f(X) = X^{n-1}R_n^\sigma(X^{-1})$ に注目しており、$R_n^\sigma(X)$ がフルヴィッツであることは $f(X)$ がフルヴィッツであることと同値である。

証明戦略は、第2フルヴィッツ行列式 $\Delta_2(f)$ の解析に重点を置いている。ダルカイス多項式の特定の構造において、$\Delta_2(f)$ は係数 $p_n^\sigma(k)$ を用いて次のように表される：
$$\Delta_2(f) = p_n^\sigma(2)p_n^\sigma(3) - p_n^\sigma(1)p_n^\sigma(4)$$
もし $\Delta_2(f) < 0$ であれば、その多項式はフルヴィッツではない。著者らは、$p_n^\sigma(1)p_n^\sigma(4) > p_n^\sigma(2)p_n^\sigma(3)$ が成立する $n$ の正の割合が存在することを示すことを目的としている。

これを確立するために、著者らは以下の手法を用いている：

1. 下界： $n$ の組成に関する組合せ論的な議論を用いて $p_n^\sigma(4)$ の下界を導出し、また $\rho(\ell)$（$1, \dots, \ell$ の最小公倍数）が $n$ を割り切る場合の調和数 $H_\ell$ に基づいて $p_n^\sigma(1)$ の下界を導出している。
2. 上界： 先行研究 [4] における $p_n^\sigma(2)$ および $p_n^\sigma(3)$ の既知の上界を利用し、これらを一般化された約数関数 $\sigma_{-k}(n)$ と対数項を用いた推定式を用いて簡略化している。
3. 漸近解析： 下界で抑えられた項の積と、上界で抑えられた項の積の成長率を比較している。

主要な貢献と結果
主要な結果は定理 1.2であり、これは $R_n^\sigma(X)$ がフルヴィッツではない自然数 $n$ の集合が、正の下漸近密度を持つことを断言している。具体的には、$n$ までの反例の数を $A(n)$ とすると、以下のようになる：
$$\liminf_{n \to \infty} \frac{A(n)}{n} > 0$$

証明は、$\Delta_2(f) < 0$ という条件が満たされるのは、
$$\sigma_{-1}(n) > \frac{25,046,441}{116,352} \approx 215.264$$
のときであることを示している。$\sigma_{-1}(n)$ は非有界であるため、このような $n$ は存在する。著者らは、$\ell = \lceil \exp(25,046,441/116,352) \rceil$ となる $n = \ell!$ を選択することで、具体的な反例を構成している。これにより、$\ell \approx 3.07 \times 10^{90}$ という特定の整数が得られ、したがって $n = \ell!$ は約 $10^{95}$ 桁の数字を持つことになる。著者らは、$\sigma_{-1}$ の乗法的性質により、この階乗のすべての倍数も反例となることを指摘しており、これにより正の割合の整数がフルヴィッツ条件に失敗することを保証している。

意義と主張
本論文は、ダルカイス多項式が普遍的にフルヴィッツではないことを示すことで、予想 1.1 に対する決定的な否定的な回答を提供している。著者らは、自らの知見に関するいくつかのニュアンスを強調している：

• 存在と最小性： 証明は $\Delta_2(f) < 0$ という十分条件に依拠している。著者らは、これが多項式が非フルヴィッツであるための必要条件ではないことを明記している。したがって、彼らのアプローチは、予想が崩れる「最小の」$n$ を特定するものではない。実際の最初の反例は、これよりも大幅に小さい可能性がある。
• 反例の大きさ： 導出された具体的な反例（$n = \ell!$）は天文学的な大きさであり、観測可能な宇宙の原子の数を上回っている。著者らは、これを「我々の誤差項の極めて大きなサイズ」に起因するものとしている。
• リーマン予想との関係： リーマン予想の仮定の下では、ロビンの定理により $\sigma_{-1}(n) < e^\gamma \log(\log n)$ が成り立つ。著者らは、この仮定の下では、彼らの反例に必要な不等式は $n < 10^{1052}$ の範囲のいかなる $n$ に対しても成立しないことを指摘しており、これは彼らの理論的な境界と潜在的なより小さな反例との間の巨大な隔たりを浮き彫りにしている。
• 未解決問題： 本論文は、正の半平面における異なる根が無限に存在するかどうか、根の分布の軌跡（図1に見られるもの）の挙動、およびすべての素数 $p$ に対して $R_p^\sigma(X)$ がフルヴィッツであるかといった、今後の課題を挙べて締めくくられている。

要約すると、本論文は、ダルカイス多項式が正の割合の自然数に対してフルヴィッツではないことを確立し、以前の予想を覆している。ただし、採用された解析的な境界の限界により、特定された具体的な反例は膨大な大きさとなっている。