[논문 리뷰] Some conjectures on congruences

Zhi-Hong Sun|arXiv (Cornell University)|2011. 03. 28.

Advanced Mathematical Identities참고 문헌 16인용 수 8

한 줄 요약

이 논문은 소수 및 소수의 거듭제곱 모듈로에 대한 합동에 관한 증명되지 않은 추측들을 제시하며, 이중계수 합, 루카스 수열, 거듭제곱 잔여물, 이항형식으로 소수를 표현하는 것 사이의 관계에 초점을 맞춘다. 주요 기여는 소수 p에 대한 작은 정수의 곱셈적 순서와 Z[i], Z[√-3], 기타 환에서 유도된 산술 불변량 사이의 깊이 있는 수론적 추측들을 연결하는 것이다.

ABSTRACT

Let $p$ be an odd prime. In the paper we collect the author's various conjectures on congruences modulo $p$ or $p^2$, which are concerned with sums of binomial coefficients, Lucas sequences, power residues and special binary quadratic forms.

연구 동기 및 목표

• 홀수 소수 및 그 제곱 모듈로에 대한 합동에 관한 포괄적인 추측 세트를 수립하고 수집하는 것.
• 거듭제곱 잔여물, 루카스 수열, 이항형식 x² + ny² 등을 통한 소수 표현 간의 깊은 연결 고리를 탐색하는 것.
• 원분합과 자카비합의 고전적 결과를 고차단 뿌리의 일치와 모듈로 조건을 포함하는 새로운 합동 항등식으로 확장하는 것.
• 이항합과 자카비 기호를 포함하는 추측적 항등식을 통해 삼차 및 사차 상호법칙의 이전 정리들을 통합하고 일반화하는 것.

제안 방법

• 저자는 이중형식과 고전체 분야 이론을 포함한 대수적 수론을 활용하여 x² + ny²로 표현되는 소수에 대한 추측적 항등식을 도출한다.
• 핵심 항등식은 판별식 d = b² - 4c를 가진 루카스 수열 {Uₙ(b,c)} 및 {Vₙ(b,c)}를 사용하여 p 또는 p² 모듈로의 합동과 연결한다.
• 자카비 기호 (·|p)와 δ(t)와 같은 보조 함수를 사용하여 8로의 나누어떨어짐과 모듈로 제약 조건에 기반한 부호 조건을 표현한다.
• 중앙 이항계수와 일반화된 하이퍼기하급수 유사 항목을 포함하는 합의 행동을 분석하여 추측을 수립한다.
• 복잡한 합동식을 소수의 지수의 기수성, 3, 5, 7, 13, 17으로의 나누어떨어짐, x, y, c, d의 소수 모듈로 작은 정수의 합동류에 대한 조건으로 환원하는 방법을 사용한다.
• 모든 소수 p < 20,000에 대해 수치적 검증을 수행하여 추측을 뒷받침하며, 특히 3^(p−1)/8, 5^(p−1)/8, 7^(p−1)/8, 13^(p−1)/8를 포함한 경우에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 p ≡ 13 (mod 24)인 소수 p에 대해, 3^(p−1)/8 모듈로 p의 값은 c² + d² = x² + 3y² 이면서 c ≡ 1 (mod 4)일 때, x ≡ ±c (mod 3)이면 3^(p−5)/8 ≡ ±y/x (mod p), x ≡ ±d (mod 3)이면 ≡ ∓dy/(cx) (mod p)로 표현되는가?
• RQ2 p ≡ 1, 9, 25 (mod 28)이고 p = c² + d² = x² + 7y²일 때, 7^(p−1)/8 모듈로 p와 매개변수 x, y, c, d 사이의 정확한 관계는 무엇인가?
• RQ3 p ≡ 1, 9 (mod 20)이고 x² + 5y² 표현이 가능한 소수에 대해, 5^(p−1)/8 ≡ ±(−1)^(d/4)δ(y) (mod p)의 합동식이 성립하는가?
• RQ4 ∑ₖ₌₀^{p−1} binom(−1/4,k)binom(−1/2,k)/mᵏ 모듈로 p²에서 p가 x² + y² 또는 x² + 2y²로 표현되는 것과 어떤 관련이 있는가?
• RQ5 자카비 기호 (m(m−64)/p)는 하이퍼기하급수 유사 합이 모듈로 p에서 모듈라 형식 또는 타원곡선과 연결되는 데 어떤 역할을 하는가?

주요 결과

• p ≡ 13 (mod 24)일 때, x ≡ ±c (mod 3)이면 3^(p−5)/8 ≡ ±y/x (mod p), x ≡ ±d (mod 3)이면 ≡ ∓dy/(cx) (mod p)로 표현되며, p < 20,000까지 검증됨.
• p ≡ 1, 9, 25 (mod 28)일 때, 7|c 이면 7^(p−1)/8 ≡ −(−1)^(y/4) (mod p), 7|d 이면 ≡ (−1)^(y/4) (mod p), c ≡ ±d (mod 7)에 따라 추가 케이스 존재.
• p ≡ 1, 9 (mod 20)일 때, x ≡ ±c (mod 5)이면 5^(p−1)/8 ≡ ±(−1)^(d/4)δ(y) (mod p), x ≡ ±d (mod 5)이면 ≡ ±(−1)^(d/4)δ(y)(d/c) (mod p).
• p ≡ 1, 9, 17, 25, 29, 49 (mod 52)일 때, (2c+3d)/x ≡ ±1, ±3, ±9 (mod 13)이면 13^(p−1)/8 ≡ ∓(−1)^(d/4)δ(y)(d/c) (mod p), 그 외의 경우 ≡ ±(−1)^(d/4)δ(y) (mod p).
• p ≡ 1 (mod 4)일 때, 17^(p−1)/8 ≡ ±(−1)^(d/4)δ(y) (mod p)이면 x ≡ ±c (mod 17), x ≡ ±d (mod 17)이면 ≡ ±(−1)^(d/4)δ(y)(d/c) (mod p), 특정 기수성 및 합동 조건 하에서 성립.
• 합 ∑ₖ₌₀^{p−1} binom(−1/4,k)binom(−1/2,k)/(-80)^k ≡ 2x − p/(2x) (mod p²)이면 p = x² + y² ≡ ±1 (mod 5)이고 2∤x일 때 성립하며, 다른 모듈로에 대해서도 유사한 결과 존재.