[論文レビュー] On a variant of the large sieve

Ben Green|ArXiv.org|Jul 31, 2008

Analytic Number Theory Research参考文献 17被引用数 5

ひとこと要約

この論文は、篩い問題における除外された剰余類の加法的構造を活用する、大篩の新規な変種を導入する。$ℤ/\mathbb{Z}/p\mathbb{Z}$ における区間ベースの篩いにおいて、離散的フーリエ係数を分析することで、未篩い集合 $A \subseteq [N]$ のサイズが $|A| \ll N^{1/3+o(1)}$ を満たすことを証明した。これは古典的大篩の $O(N^{1/2})$ の境界を改善する。指数対の予想が成り立つと、境界は $|A| \ll N^{o(1)}$ に強化され、リーマン・リーマンの予想やガウスの円問題といった解析的整数論の問題との深い関係を示唆する。

ABSTRACT

We introduce a variant of the large sieve and give an example of its use in a sieving problem. Take the interval [N] = {1,...,N} and, for each odd prime p <= N^{1/2}, remove or ``sieve out'' by all n whose reduction mod p lies in some interval I_p of Z/pZ of length (p-1)/2. Let A be the set that remains: then |A| << N^{1/3 + o(1)}, a bound which improves slightly on the bound of |A| << N^{1/2} which results from applying the large sieve in its usual form. This is a very, very weak result in the direction of a question of Helfgott and Venkatesh, who suggested that nothing like equality can occur in applications of the large sieve unless the unsieved set is essentially the set of values of a polynomial (e.g. A is the set of squares). Assuming the ``exponent pairs conjecture'' (which is deep, as it implies a host of classical questions including the Lindelöf hypothesis, Gauss circle problem and Dirichlet divisor problem) the bound can be improved to |A| << N^{o(1)}. This raises the worry that even reasonably simple sieve problems are connected to issues of which we have little understanding at the present time.

研究の動機と目的

• 除外された剰余類のサイズだけでなく、その加法的構造を活用する大篩の新規な変種を開発すること。
• 各奇素数 $p \leq \sqrt{N}$ に対して、$\mathbb{Z}/p\mathbb{Z}$ 内の長さ $(p-1)/2$ の区間 $I_p$ に属する剰余類が除外されるという特定の篩い問題に取り組むこと。
• このような区間ベースの篩い問題において、古典的大篩の境界 $O(N^{1/2})$ を改善すること。
• 指数対の予想が、未篩い集合のサイズに対する多項式より小さい境界を得るためにどのように寄与するかを調査すること。
• このような篩い問題が、リーマンの予想やガウスの円問題といった深い数論的予想と本質的に関係しているかどうかを検討すること。

提案手法

• 離散的フーリエ解析を用いて、$A \subseteq \mathbb{Z}/p\mathbb{Z}$ が長さ $(p-1)/2$ の区間 $I_p$ を避ける場合、$A$ は周波数 $1/p$ または $2/p$ で大きなフーリエ係数を持つことが示され、$A$ の特性関数の $L^1$-ノルムに対する下界が得られる。
• 重要な不等式が導出される：$\max\left(|\sum_{n\in[N]}1_A(n)e(n/p)|, |\sum_{n\in[N]}1_A(n)e(2n/p)|\right) \geq |A|/3$。これは三角恒等式を用いて区間条件を符号化する。
• ホルダーの不等式と $L^p$-ノルム推定を用いて、$X = N^{1/3}$ を用いて項をバランスさせる、大篩不等式の変種（命題 2.1）を適用する。
• 証明は、ロバーツとサーゴスによる単位分数 $\{1/x\}$ の間隔に関する結果に依存しており、特定の指数和不等式の解の数を制御する。
• 指数対の予想を用いて境界を強化する：$|\sum_{X \leq x < 2X} e(\xi/x)| \ll X^{1/2+o(1)}$ が $X^2 \leq |\xi| \leq X^{r+1}$ で成り立つならば、$|A| \ll N^{1/(r+1)+o(1)}$ が得られ、$r=1$ のとき $N^{1/3+o(1)}$ となる。
• この手法は、ケイケヤ型問題に類似しており、篩いられた集合をさまざまな方向の「直線」の和集合と解釈し、調和解析における制限推定と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 除外された剰余類が $\mathbb{Z}/p\mathbb{Z}$ 内の区間のように構造的である場合、古典的大篩の境界 $O(N^{1/2})$ は改善可能か？
• RQ2 各 $p$ に対して $n \mod p \in I_p$ を満たす $n$ が除外されるという篩いプロセスにおいて、$A \subseteq [N]$ のサイズの最良の上界は何か？ ここで $I_p$ は長さ $(p-1)/2$ の区間である。
• RQ3 除外された集合 $I_p$ の構造が未篩い集合 $A$ のサイズにどの程度寄与しているか、そしてこの構造を用いて $A$ に代数的構造が存在するかどうかを特定できるか？
• RQ4 解析的整数論における深い予想（指数対の予想など）は、構造的設定における篩い境界の強度にどのように影響を与えるか？
• RQ5 単位分数の間隔と、篩い問題における指数和推定の強度との間に、根本的な関係があるか？

主な発見

• 論文は、各 $I_p \subseteq \mathbb{Z}/p\mathbb{Z}$ が長さ $(p-1)/2$ の区間である場合に、未篩い集合 $A$ のサイズに対して新しい境界 $|A| \ll N^{1/3+o(1)}$ を確立した。これは古典的大篩の $O(N^{1/2})$ の境界を改善する。
• この改善は、除外された区間の加法的構造を用いて大きなフーリエ係数を導出し、それを新たな大篩不等式の変種で活用することで達成された。
• 指数対の予想が成り立つと、境界は $|A| \ll N^{o(1)}$ に強化され、このような構造的篩い問題が解析的整数論の中心的予想と深く関係している可能性を示唆する。
• 証明は、ロバーツとサーゴスによる単位分数 $\{1/x\}$ の間隔に関する結果に依存しており、$|\sum_{i=1}^r 1/x_i - \sum_{i=r+1}^{2r} 1/x_i| \leq 1/X^{r+1}$ の解の数が $\ll X^{r+\varepsilon}$ で抑えられることを制御する。
• 著者らは、単位分数の間隔が $\ll X^{r+\varepsilon}$ 個の解を持つと予想しており、これは一般の $r$ に対して $|A| \ll N^{1/(r+1)+o(1)}$ を得る。$r=1$ のとき、主結果が得られる。
• 本研究は、一見単純な篩い問題が、リーマンの予想、ガウスの円問題、ディリクレの除数問題といった深い未解決問題と結びついている可能性を示唆している。