[論文レビュー] On Larcher's theorem concerning good lattice points and multiplicative subgroups modulo p

Nikolay Moshchevitin, Дмитрий Михайлович Ушанов|ArXiv.org|Jun 23, 2009

Finite Group Theory Research参考文献 5被引用数 3

ひとこと要約

本稿は、特徴関数和の推定と連分数理論を用いて、素数 $ p $ を法とする厚い乗法的部分群における良好に分布した格子点の存在を確立する。十分に大きな部分群 $ R = v \cdot U $ に対して、$ R $ の少なくとも半数の要素 $ a \in R $ はすべての連分数係数 $ b_i(a) < 16\log p $ を満たし、一部の $ a \in R $ は $ \sum b_i(a) \ll \log p \log\log p $ を満たす。これは、低不均一性 $ D_p(a) \ll \log p \log\log p $ を意味する。

ABSTRACT

We prove the existence of two-dimensional good lattice points in thick multiplicative subgroups modulo $p$.

研究の動機と目的

• 素数 $ p $ を法とする乗法的部分群に一般化して、Larcherの良い格子点に関する結果を拡張すること。
• 乗法的部分群 $ U $ に対して、$ R = v \cdot U $ であるとき、点 $ \left( \frac{x}{p}, \left\{ \frac{ax}{p} \right\} \right) $ が $[0,1]^2$ に良好に分布するような要素 $ a \in R $ が存在する条件を確立すること。
• $ a/p $ の連分数展開における部分商を制御し、それらが $ \ll \log p $ であることを保証することで、不均一性を制御すること。
• $ \#R $ にやや緩いサイズ条件を課した場合に、$ D_p(a) \ll \log p \log\log p $ を満たす $ a \in R $ が存在することを示すこと。

提案手法

• 不均一性に関連する指数和を制御するため、dyadic 矩形 $ \Pi^t $ 上での特徴関数和の推定を用いる。
• Burgess の特徴関数和の評価（$ r=2 $）を適用し、$ \left| \sum_{(x,u)\in\Pi^t} \chi(x)\overline{\chi(u)} \right| \ll p^{7/8} \log^2 p / \sqrt{c} $ を得る。ここで $ c $ は矩形のサイズを制御する。
• 連分数理論の応用：補題 A により、$ a/p $ の良い有理近似はすべて収束分数であることが保証され、補題 B により近似誤差が部分商によって抑えられる。
• $ \| ax/p \| $ の近似精度を表す関数 $ f_a(x) $ を定義し、部分商 $ b_i(a) $ と関連づけ、部分和の公式を用いて $ \sum b_i(a) $ を推定する。
• 特徴関数の直交性を用いて、$ ax \equiv y \pmod{p} $ の解の個数を特徴関数和で表現し、それらの和を補題 1 を用いて評価する。
• 部分群の構造と特徴関数和の評価を組み合わせ、$ R $ の正の割合の要素 $ a \in R $ に対してすべての $ b_i(a) < 16\log p $ が成り立ち、一部の $ a $ に対しては $ \sum b_i(a) \ll \log p \log\log p $ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 乗法的部分群 $ U \subset \mathbb{Z}_p^* $ に対して、$ a \in v \cdot U $ が存在して、不均一性 $ D_p(a) $ が小さいという条件は何か？
• RQ2 $ R = v \cdot U $ に属する $ a $ の正の割合に対して、$ a/p $ の連分数展開における部分商が一様に有界になるか。もし可能ならば、最良の境界は何か？
• RQ3 $ \#R $ にどのようなサイズ条件を課すと、$ \sum b_i(a) \ll \log p \log\log p $ を満たす $ a \in R $ が存在するか？ これは低不均一性を意味する。
• RQ4 構造的矩形 $ \Pi^t $ 上での特徴関数和の推定が、$ p $ を法とする格子点集合の不均一性をどのように制御するか？

主な発見

• 任意の乗法的部分群 $ U \subset \mathbb{Z}_p^* $ に対して、$ R = v \cdot U $ で $ \#R \geq 10^5 p^{7/8} \log^{3/2} p $ ならば、$ R $ の少なくとも半数の要素 $ a \in R $ に対してすべての連分数係数 $ b_i(a) < 16\log p $ が成り立つ。
• $ \#R \geq 10^8 p^{7/8} \log^{5/2} p $ ならば、ある $ a \in R $ に対して $ \sum_{i=1}^{l(a)} b_i(a) \leq 500 \log p \log\log p $ が成り立ち、これは $ D_p(a) \ll \log p \log\log p $ を意味する。
• 不均一性の境界 $ D_p(a) \ll \log p \log\log p $ は、ある $ a \in R $ に対して達成されており、従来の結果を改善し、一般の良い格子点に対して既知の最良の境界と一致する。
• 補題 1 における特徴関数和の推定は、重要な境界を与える：$ \left| \sum_{(x,u)\in\Pi^c} \chi(x)\overline{\chi(u)} \right| \leq 10000 p^{7/8} \log^2 p / \sqrt{c} $ であり、これが主結果の根拠となる。
• 証明では、$ \| ax/p \| $ の近似精度を追跡する関数 $ f_a(x) $ を用い、連分数理論と部分和の公式を介して部分商 $ b_i(a) $ と結びつける。
• 結果は頑健である：サイズ条件における定数 $ 10^5 $ および $ 10^8 $ は最適ではないが、$ p $ および $ \log p $ への漸近的依存関係はタイトである。