[论文解读] Quadratic residues and difference sets

Vsevolod F. Lev, Jack Sonn|arXiv (Cornell University)|Feb 24, 2015

graph theory and CDMA systems参考文献 4被引用 6

一句话总结

本文研究了模素数 $p$ 的二次剩余集合是否可以被唯一表示为某个子集 $A \subseteq \mathbb{F}_p$ 中元素的差 $a' - a''$（$a' \neq a''$）。通过代数数论与局部类域论，作者推导出此类集合 $A$ 存在的必要条件，并排除了所有满足 $13 < p < 10^{18}$ 的素数，表明唯一可能的例外仅为 $p=5$ 和 $p=13$。

ABSTRACT

It has been conjectured by Sarkozy that with finitely many exceptions, the set of quadratic residues modulo a prime $p$ cannot be represented as a sumset $\{a+b\colon a\in A, b\in B\}$ with non-singleton sets $A,B\subset F_p$. The case $A=B$ of this conjecture has been recently established by Shkredov. The analogous problem for differences remains open: is it true that for all sufficiently large primes $p$, the set of quadratic residues modulo $p$ is not of the form $\{a'-a"\colon a',a"\in A,\,a' e a"\}$ with $A\subset F_p$? We attack here a presumably more tractable variant of this problem, which is to show that there is no $A\subset F_p$ such that every quadratic residue has a \emph{unique}representation as $a'-a"$ with $a',a"\in A$, and no non-residue is represented in this form. We give a number of necessary conditions for the existence of such $A$, involving for the most part the behavior of primes dividing $p-1$. These conditions enable us to rule out all primes $p$ in the range $13

研究动机与目标

• 确定模素数 $p$ 的二次剩余集合是否可被唯一表示为某子集 $A \subseteq \mathbb{F}_p$ 中满足 $a' \neq a''$ 的差 $a' - a''$。
• 建立此类差集表示存在的必要数论条件。
• 排除所有满足 $13 < p < 10^{18}$ 的素数 $p$ 中此类集合 $A$ 的存在性，除可能的 $p=5$ 和 $p=13$ 外。
• 探讨当差集 $A - A$ 必须恰好为二次剩余集合且表示唯一时所引发的结构性约束。
• 将 Sárközy 的和集猜想的见解拓展至二次剩余差集的类似未解问题。

提出的方法

• 利用方程 $n(n-1) = \frac{p-1}{2}$ 将集合 $A$ 的大小 $n = |A|$ 与素数 $p$ 关联，暗示 $p \equiv 1 \pmod{4}$。
• 将 $A$ 的结构分析为 $\mathbb{F}_p^\times$ 中乘法子群的陪集，受 $p=5$ 和 $p=13$ 处已知例外的启发。
• 应用类域论与双二次扩张 $\mathbb{K} = \mathbb{Q}(\sqrt{p}, \sqrt{-1})$ 中的局部范数，重点关注从 $\mathbb{K}^\times$ 到 $\mathbb{K}^{+\times}$ 的范数映射。
• 利用 $p$-进赋值及有理素数 $q$ 在 $\mathbb{K}^+$ 中的分解，判断 $n + \rho$ 是否为从 $\mathbb{K}_\mathfrak{p}^+$ 到 $\mathbb{K}_\mathfrak{p}^{+}$ 的范数，其中 $\rho = \frac{-\sqrt{p} - 1}{2}$。
• 证明 $n + \rho$ 是从 $\mathbb{K}_\mathfrak{p}$ 到 $\mathbb{K}_\mathfrak{p}^+$ 的范数，当且仅当 $\operatorname{ord}_p(q)$ 为奇数，或 $v_q\left(\frac{p-1}{4}\right)$ 为偶数。
• 将这些范数条件与差集 $A - A = \mathcal{R}_p$ 且表示唯一的全局要求相结合，推导出此类 $A$ 存在的全局障碍。

实验结果

研究问题

• RQ1 模素数 $p$ 的二次剩余集合是否可被唯一表示为某子集 $A \subseteq \mathbb{F}_p$ 中满足 $a' \neq a''$ 的差 $a' - a''$？
• RQ2 此类唯一差表示存在的必要数论条件是什么？
• RQ3 是否存在大于 13 的素数 $p$，使得二次剩余集合可被唯一表示为差集 $A - A$？
• RQ4 已知的例外 $p=5$ 和 $p=13$ 是否源于更深层的代数结构，例如作为乘法子群的陪集？
• RQ5 代数数论，特别是类域论与局部范数，是否可用于排除大素数 $p$ 下此类集合 $A$ 的存在性？

主要发现

• 本文排除了在 $13 < p < 10^{18}$ 范围内存在子集 $A \subseteq \mathbb{F}_p$ 使得 $A - A$ 唯一表示模 $p$ 的所有二次剩余的可能性。
• 唯一可能的例外是 $p=5$ 和 $p=13$，已知它们存在此类集合：$A_5 = \{2,3\} \subseteq \mathbb{F}_5$ 和 $A_{13} = \{2,5,6\} \subseteq \mathbb{F}_{13}$。
• 若此类集合 $A$ 存在，则其大小 $n = |A|$ 必须满足 $n(n-1) = \frac{p-1}{2}$，这意味着 $p \equiv 1 \pmod{4}$。
• 作者推导出，对于整除 $p-1$ 的素数 $q$，$n + \rho$ 是从 $\mathbb{K}_\mathfrak{p}$ 到 $\mathbb{K}_\mathfrak{p}^+$ 的范数，当且仅当 $\operatorname{ord}_p(q)$ 为奇数，或 $v_q\left(\frac{p-1}{4}\right)$ 为偶数。
• 分析表明，若存在整除 $p-1$ 的素数 $q$ 使得 $v_q\left(\frac{p-1}{4}\right)$ 为奇数，则此类 $A$ 不可能存在。
• 这些范数理论条件与唯一表示要求的结合，导致对所有 $p > 13$ 的完全障碍，除可能的 $p=5$ 和 $p=13$ 外。