[論文レビュー] On the density of primes with a set of quadratic residues or non-residues in given arithmetic progression

Steve Wright|arXiv (Cornell University)|Apr 8, 2013

Analytic Number Theory Research参考文献 1被引用数 9

ひとこと要約

本稿は、固定長の等差数列の和集合が素数 p を法として平方剰束または非剰束であるような素数の漸近的密度を決定する。代数的整数論と組合せ的指標和技法を用いて、等差数列の構造とリーマン記号との相互作用に基づき、これらの密度の明示的公式を導出する。これは、平方剰束分布に関する古典的結果を等長の等差数列の構造的和集合へ一般化するものである。

ABSTRACT

Let $\mathcal{A}$ denote a finite set of arithmetic progressions of positive integers and let $s \geq 2$ be an integer. If the cardinality of $\mathcal{A}$ is at least 2 and $U$ is the union formed by taking certain arithmetic progressions of length $s$ from each element of $\mathcal{A}$, we calculate the asymptotic density of the set of all prime numbers $p$ such that $U$ is a set of quadratic residues (respectively, quadratic non-residues) of $p$.

研究の動機と目的

• 与えられた固定長の等差数列の和集合が、ある奇素数 p を法として平方剰束となるような素数 p の漸近的密度を決定すること。
• 等長の等差数列の構造的和集合への古典的平方剰束分布結果の拡張。
• 有限体上での等差数列の構造とリーマン記号との相互作用を捉える、組合せ的かつ代数的枠組みの構築。
• このような密度が非ゼロとなる条件の特定および、自然な数論的条件下での明示的計算。

提案手法

• 等差数列の共通差と初期項を符号化する標準的 2m-組 (a,b) を定義する。
• 各基本数列からなる s 項の等差数列の和集合として AP(a,b;s) を構成する。
• 素数 p を法とする平方剰束と非剰束を識別するためにリーマン記号 χp を用い、[1,p−1] 内のこのような集合の個数を qε(p) と定義する。
• 剰余集合の交差構造に基づき、b-座標の積のリーマン記号の多重集合を用いて、素数 p のシグネチャを導入する。
• 代数的および集合論的制約を捉えるために、組合せ的不変量 Λ(K)、M0、M1、および同値類 Σ/∼ を定義する。
• F2 上の線形代数と、数列系の構造から導かれる組合せ的パラメータ α、β、d、μ、ω、ε を用いて密度を計算する。

実験結果

リサーチクエスチョン

• RQ1 s 項の等差数列の和集合が素数 p を法として平方剰束であるような素数 p の漸近的密度は何か？
• RQ2 等差数列の構造、特にその差と初期項の組合せが、このような素数の密度にどのように影響を与えるか？
• RQ3 このような素数の密度が非ゼロとなる条件は何か？また、収束するのではなく振動する条件は何か？
• RQ4 組合せ的および代数的不変量（例：Λ(K)、d、μ、ω）が密度の正確な値をどのように決定するか？
• RQ5 差の平方自由部が特定の条件（3.9）を満たす場合、密度を明示的に計算できるか？
• RQ6 インデックス部分集合の対称差および偶奇条件が、最終的な密度式を決定する上で果たす役割は何か？

主な発見

• s 項の等差数列の和集合が平方剰束であるような素数 p の漸近的密度は、F2 上のベクトル空間の次元 d および組合せ的パラメータ α と μ を含む式で与えられる。
• M1 が空集合のとき、密度は 21−d(2μ−1−α) に等しく、ここで α は特定の対称差閉部分集合の数を数える。
• M1 が非空のとき、M1≠⋃Φ(ϖ) ならば密度は 2−d(2μ−ω+1−2β−1)、M1=⋃Φ(ϖ) ならば 2−d(2μ−ω−2β+ε−1) に等しく、β と ε は部分集合の偶奇および対称差条件により定義される。
• 条件（3.9）が成立するとき、密度は最大となり、2−d の係数における局所的最大値をとる。
• パラメータ α と β は、複雑な組合せ的構造が存在する場合にのみ非ゼロとなり、その計算は数え上げ組合せ論における未解決問題である。
• 平方自由部が（3.9）を満たすという条件下では、この枠組みにより密度を明示的に計算可能であり、このとき式が著しく単純化される。