[논문 리뷰] Quadratic residues and difference sets

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

graph theory and CDMA systems참고 문헌 4인용 수 6

한 줄 요약

이 논문은 소수 $p$ 모듈로의 제곱 잔여군이 어떤 부분집합 $A \subseteq \mathbb{F}_p$의 원소들 $a', a''$에 대해 $a' - a''$의 형태로 유일하게 표현될 수 있는지 조사한다. 대수적 수론과 국소 클래스 체 이론을 사용하여, 그러한 집합 $A$가 존재하기 위한 $p$에 대한 필요 조건을 유도하고, $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''$의 형태로 유일하게 표현될 수 있는지 판단하는 것.
• 그러한 차집합 표현이 존재하기 위해 필요한 수론적 조건을 $p$에 대해 설정하는 것.
• $13 < p < 10^{18}$ 범위의 모든 소수 $p$에 대해 그러한 집합 $A$의 존재를 배제하는 것(단, 가능하게는 $p=5$와 $p=13$을 제외하고).
• 차집합 $A - A$가 유일한 표현을 가지며 정확히 제곱 잔여군이 되는 경우에 발생하는 구조적 제약 조건을 탐색하는 것.
• Sárközy의 합집합 추측에서 유도된 통찰을 제곱 잔여군의 차집합에 대한 동치 미해결 문제로 확장하는 것.

제안 방법

• 크기 $n = |A|$와 소수 $p$ 사이의 관계를 $n(n-1) = \frac{p-1}{2}$라는 식을 통해 유도하여 $p \equiv 1 \pmod{4}$임을 암시한다.
• 기존의 예외들인 $p=5$와 $p=13$을 바탕으로 $A$의 구조를 $\mathbb{F}_p^\times$의 곱셈 부분군의 코스레 표현하는 것으로 분석한다.
• 이중 확장 $\mathbb{K} = \mathbb{Q}(\sqrt{p}, \sqrt{-1})$에서의 클래스 체 이론과 국소 노름을 적용하며, $\mathbb{K}^\times$에서 $\mathbb{K}^{+\times}$로의 노름 사상에 초점을 맞춘다.
• $p$-진 점근과 $\mathbb{K}^+$에서의 유리수 소수 $q$의 분해를 사용하여, $n + \rho$가 $\mathbb{K}_\mathfrak{p}^+$에서 $\mathbb{K}_\mathfrak{p}^{+}$로의 노름인지 판단한다. 여기서 $\rho = \frac{-\sqrt{p} - 1}{2}$이다.
• 모든 소수 $q$에 대해 $n + \rho$가 $\mathbb{K}_\mathfrak{p}$에서 $\mathbb{K}_\mathfrak{p}^+$로의 노름이 되는 것은 $\operatorname{ord}_p(q)$가 홀수거나 $v_q\left(\frac{p-1}{4}\right)$가 짝수일 때에만 성립함을 증명한다.
• 이러한 노름 조건을 차집합 표현의 유일성 요구 조건과 결합하여, 그러한 $A$의 존재에 대한 전역적 차단 조건을 도출한다.

실험 결과

연구 질문

• RQ1 소수 $p$ 모듈로의 제곱 잔여군이 부분집합 $A \subseteq \mathbb{F}_p$의 서로 다른 원소들 $a' \neq a''$에 대해 $a' - a''$의 형태로 유일하게 표현될 수 있는가?
• RQ2 그러한 유일한 차집합 표현이 존재하기 위해 필요한 수론적 조건은 무엇인가? $p$에 대해 어떤 조건이 필요한가?
• RQ3 제곱 잔여군이 차집합 $A - A$로 유일하게 표현될 수 있는 소수 $p > 13$가 존재하는가?
• RQ4 기존의 예외인 $p=5$와 $p=13$은 곱셈 부분군의 코스레 표현과 같은 더 깊은 대수적 구조에서 유래하는가?
• RQ5 특히 클래스 체 이론과 국소 노름을 포함한 대수적 수론 기법을 사용하여, 큰 $p$에 대해 이러한 집합 $A$의 존재를 배제할 수 있는가?

주요 결과

• 논문은 $13 < p < 10^{18}$ 범위의 모든 소수 $p$에 대해, $A - A$가 모듈로 $p$의 모든 제곱 잔여군을 유일하게 표현하는 부분집합 $A \subseteq \mathbb{F}_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$을 제외하고는 모든 경우에 대해 존재 불가를 보여준다.