[論文レビュー] Some conjectures on congruences

Zhi-Hong Sun|arXiv (Cornell University)|Mar 28, 2011

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 の小整数を法とする合同類への還元によって条件に簡略化される。
• 特に 3^(p−1)/8, 5^(p−1)/8, 7^(p−1)/8, 13^(p−1)/8 を含むケースについて、すべての素数 p < 20,000 に対して数値的検証が実施され、予想を支持する。

実験結果

リサーチクエスチョン

• RQ1 p ≡ 13 (mod 24) である素数 p に対して、p を法とする 3^(p−1)/8 の値は、c ≡ 1 (mod 4) を満たす c² + d² = x² + 3y² として表される p の算術的性質とどのように関係するか？
• RQ2 p ≡ 1, 9, 25 (mod 28) かつ p = c² + d² = x² + 7y² である場合、p を法とする 7^(p−1)/8 とパラメータ x, y, c, d の正確な関係は何か？
• RQ3 p ≡ 1, 9 (mod 20) である素数 p に対して、合同式 5^(p−1)/8 ≡ ±(−1)^(d/4)δ(y) (mod p) が x² + 5y² 表現に対して成立するか？
• RQ4 和 ∑ₖ₌₀^{p−1} binom(−1/4,k)binom(−1/2,k)/mᵏ が、p を法とする x² + y² または x² + 2y² への p の表現とどのように関係するか？
• RQ5 ヤコビ記号 (m(m−64)/p) は、超幾何型和とモジュラー形式または楕円曲線を p を法として結ぶ役割を果たすか？

主な発見

• p ≡ 13 (mod 24) の場合、予想では 3^(p−5)/8 ≡ ±y/x (mod p) が成り立ち、x ≡ ±c (mod 3) のとき、また x ≡ ±d (mod 3) のとき ∓dy/(cx) (mod p) となる。p < 20,000 までで検証済み。
• p ≡ 1, 9, 25 (mod 28) の場合、7^(p−1)/8 ≡ −(−1)^(y/4) (mod p) が 7|c のとき成り立ち、7|d のとき (−1)^(y/4) となる。c ≡ ±d (mod 7) に応じた追加のケースも存在。
• p ≡ 1, 9 (mod 20) の場合、5^(p−1)/8 ≡ ±(−1)^(d/4)δ(y) (mod p) が x ≡ ±c (mod 5) のとき成り立ち、x ≡ ±d (mod 5) のとき ±(−1)^(d/4)δ(y)(d/c) (mod p) となる。
• p ≡ 1, 9, 17, 25, 29, 49 (mod 52) の場合、13^(p−1)/8 ≡ ∓(−1)^(d/4)δ(y)(d/c) (mod p) が (2c+3d)/x ≡ ±1, ±3, ±9 (mod 13) のとき成り立ち、それ以外の場合は ±(−1)^(d/4)δ(y) となる。
• 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 のとき、他のモジュラスに対しても同様の結果が得られる。