[논문 리뷰] On the density of primes with a set of quadratic residues or non-residues in given arithmetic progression

Steve Wright|arXiv (Cornell University)|2013. 04. 08.

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 및 동치류 Σ/∼ 를 정의한다.
• 산술급수 체계의 구조에서 유도된 선형 대수학적 매개변수 α, β, 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) 를 만족할 경우, 이 프레임워크는 공식을 크게 단순화하여 밀도를 명시적으로 계산할 수 있다.