[论文解读] 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)，以编码具有固定公差和首项的等差数列。
• 将集合 AP(a,b;s) 构造为从元组中每个基等差数列中选取 s 项所构成的并集。
• 使用勒让德符号 χp 识别模 p 的二次剩余与非剩余，并将 qε(p) 定义为 [1,p−1] 内此类集合的数量。
• 通过基于剩余集交集结构的 b 坐标乘积的勒让德符号多重集，引入素数 p 的签名。
• 定义组合不变量 Λ(K)、M0、M1 及等价类 Σ/∼，以捕捉系统上的代数与集合论约束。
• 使用 F2 上的线性代数及由等差数列系统结构导出的组合参数 α、β、d、μ、ω 和 ε 计算密度。

实验结果

研究问题

• RQ1 对于哪些素数 p，其并集为 s 项等差数列的集合模 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 的系数出现局部最大值。
• 参数 α 与 β 仅在存在复杂数学组合构型时非零，其计算是组合计数中的开放问题。
• 该框架在 b 坐标的无平方部分满足条件 (3.9) 时，允许显式计算密度，此时公式显著简化。