[論文レビュー] Uniform estimates for smooth polynomials over finite fields

Ofir Gorodetsky|arXiv (Cornell University)|Mar 9, 2022

Analytic Number Theory Research被引用数 4

ひとこと要約

本稿は、有限体 $\mathbb{F}_q$ 上の $m$-smooth 且つモニックな多項式の個数について、$q^n \to \infty$ の下で一様漸近的評価を確立し、$m \geq (2+\varepsilon)\log_q n$ のとき、その滑らかさ確率が $n$ 個の要素に対するランダムな置換のそれと漸近的に一致することを示している。主な結果は、ヒルトブルトの予想の多項式版を解決し、滑らかさ確率の閾値 $m \geq (2+\varepsilon)\log_q n$ が鋭く、鞍点解析とディクマン関数との比較によって鋭い誤差項が得られることを示している。

ABSTRACT

We establish new estimates for the number of $m$-smooth polynomials of degree $n$ over a finite field $\mathbb{F}_q$, where the main term involves the number of $m$-smooth permutations on $n$ elements. Our estimates imply that the probability that a random polynomial of degree $n$ is $m$-smooth is asymptotic to the probability that a random permutation on $n$ elements is $m$-smooth, uniformly for $m\ge (2+\varepsilon)\log_q n$ as $q^n o \infty$. This should be viewed as an unconditional analogue of works of Hildebrand and of Saias in the integer setting, which assume the Riemann Hypothesis. Moreover, we show that the range $m \ge (2+\varepsilon)\log_q n$ is sharp; this should be viewed as a resolution of a (polynomial analogue of a) conjecture of Hildebrand. As an application of our estimates, we determine the rate of decay in the asymptotic formula for the expected degree of the largest prime factor of a random polynomial.

研究の動機と目的

• 有限体 $\mathbb{F}_q$ 上の $m$-smooth 且つモニックな多項式の個数について、一様漸近的評価を確立すること。
• $\mathbb{F}_q[T]$ 内のランダムな多項式の滑らかさ確率と $S_n$ 内のランダムな置換のそれとを比較し、特定の条件下で漸近的に同等であることを示すこと。
• ヒルトブルトによる $m \geq (2+\varepsilon)\log_q n$ の滑らかさ確率の閾値の鋭さに関する予想の多項式版を解決すること。
• 導出した推定を用いて、ランダムな多項式の最大の素因数の期待次数の減少率を特定すること。

提案手法

• 本稿は、$\mathbb{F}_q$ 上の $m$-smooth 多項式の母関数を鞍点解析により推定し、$m$-smooth 置換の母関数と比較している。
• 漸近的挙動を制御するパラメータ $x = x_{n,m} > 0$ を導入し、$\sum_{j=1}^m x^j = n$ を満たすものとする。
• 漸近的推定の主要項にはディクマン関数 $\rho(u)$ が含まれ、$u = n/m$ であり、誤差項は積分推定と離散的・連続的平均の差の境界により制御されている。
• 重要な要素として、次数 $\leq m$ の既約多項式に関する積として定義される関数 $G_q(x)$ があり、これは置換モデルからの逸脱を捉えている。
• 証明は、$S_n$ 内の滑らかさ確率に関する再帰的関係、すなわち $\Delta(n,m)$ を用いて行われ、積分表現と $\rho(u)$ の漸近展開を用いて $\Delta(n,m)$ の正値性と下界が確立されている。
• 比 $\mathbb{P}(f_n \text{ が } m\text{-smooth}) / \mathbb{P}(\pi_n \text{ が } m\text{-smooth})$ の誤差項の精密な推定が行われ、$q^n \to \infty$ の下で一様に 1 に収束することを示している。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}_q$ 上の $n$ 次のランダムなモニック多項式が $m$-smooth である確率は、$m \geq (2+\varepsilon)\log_q n$ のとき、$n$ 要素のランダムな置換が $m$-smooth である確率と、$n$ と $q$ に一様に漸近的に一致するか？
• RQ2 $m \geq (2+\varepsilon)\log_q n$ が多項式と置換の滑らかさ確率の漸近的同等性のための鋭い閾値か？
• RQ3 ランダムな多項式の最大の既約因数の期待次数の減少率は何か？
• RQ4 多項式の $\mathbb{P}(f_n \text{ が } m\text{-smooth})$ の漸近的推定における誤差項と、置換モデルにおけるそれとを比較すると、一様に改善可能か？
• RQ5 $m \sim (1+\varepsilon)\log_q n$ の領域に多項式と置換の滑らかさの比較を拡張できるか。また、この場合の主要項にどのような修正が必要か？

主な発見

• $m \geq (2+\varepsilon)\log_q n$ のとき、$\mathbb{F}_q$ 上の $n$ 次のランダムな多項式が $m$-smooth である確率は、$n$ 要素のランダムな置換が $m$-smooth である確率と漸近的に同等であり、$q^n \to \infty$ の下で一様に、相対誤差 $\ll_{\varepsilon} 1/(nq)^{c_\varepsilon}$ で抑えられる。
• 範囲 $m \geq (2+\varepsilon)\log_q n$ は鋭い：$m < (2+\varepsilon)\log_q n$ のとき、漸近的同等性は成立せず、関数体設定におけるヒルトブルトの予想を確認している。
• 比 $\mathbb{P}(f_n \text{ が } m\text{-smooth}) / \mathbb{P}(\pi_n \text{ が } m\text{-smooth})$ の誤差項は、$O_{\varepsilon}\left(\frac{un^{(1+a)/m}}{q^{\lceil (m+1)/2 \rceil}}\right)$ で抑えられ、$a = \mathbf{1}_{2\mid m}$ であり、既存の誤差境界を改善している。
• $m \geq 6\log n$ のとき、誤差項は $O\left(\frac{u\log(u+1)}{mq^{\lceil (m+1)/2 \rceil}}\right)$ であり、$u\log(u+1)/m$ や $1/u$ のオーダーであった既存の境界よりも著しく小さい。
• $m \sim (1+\varepsilon)\log_q n$ のとき、漸近的比の主要項は $G_q(x)$ の因子によって修正され、多項式モデルと置換モデルとの乖離を説明している。
• 本稿は、$m \leq n/2$ のとき $\Delta(n,m) \gg u\log u / m$ の下界を確立しており、$\Delta(n,m)$ が関連する範囲で正であり、増大していることを確認している。