[論文レビュー] Some curious congruences modulo primes

Lilu Zhao, Zhi‐Wei Sun|arXiv (Cornell University)|Apr 7, 2009

Analytic Number Theory Research参考文献 2被引用数 4

ひとこと要約

この論文は、素数 p を法とする調和的類似和に関するZhi-Wen Sunの予想を証明する。奇数 n に対して、p を法とする n-組の整数の逆数の積の和は、6 を法とする剰余類 i₁ ≡ 1,2 (mod 6) と i₁ ≡ 4,5 (mod 6) に分類されたとき、合同である。主な結果は、体 ℤ_p[x] 上の多項式 F_n(x) に対して、F_n(1−x) ≡ (−1)^{n−1}F_n(x) (mod p) を満たす関数方程式であり、代数的変形と数学的帰納法により、これらの和の対称性が示される。

ABSTRACT

Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence: $$\sum_{0

研究の動機と目的

• Z. W. Sunが提起した、6 を法とする剰余類に従ってグループ化された、整数の n-組の逆数の和が素数 p を法として合同であるという予想を証明すること。
• F_n(x) = ∑_{0<i₁<⋯<iₙ<p} x^{i₁}/(i₁⋯iₙ) として定義される ℤ_p[x] 上の多項式に対して、F_n(1−x) ≡ (−1)^{n−1}F_n(x) (mod p) を満たす関数方程式を確立すること。
• この関数方程式を用いて、n の偶奇に応じて、6 を法とする特定の剰余類にわたる和の対称的合同式を導出すること。
• Wolstenholme や Sun-Tauraso の既知の p² を法とする合同式を、p-進解析の文脈で新しい対称的恒等式へと一般化すること。
• 形式的微分と ℤ_p[x] 上の対称的恒等式を用いた一貫した代数的枠組みを提供し、帰納法により主結果を証明すること。

提案手法

• p > n+1 が素数であるとして、F_n(x) = ∑_{0<i₁<⋯<iₙ<p} x^{i₁}/(i₁⋯iₙ) を ℤ_p[x] 上の多項式として定義する。
• n に関する帰納法を用いて、F_n(1−x) ≡ (−1)^{n−1}F_n(x) (mod p) を証明する。初期状態として n=1 を用いる。
• ℤ_p[x] 上の形式的微分を用い、微分が p を法として 0 に等しいならば、多項式は p を法として定数であることに注意する。
• F_n(1−x) − (−1)^{n−1}F_n(x) の微分を含む恒等式を導出し、それが p を法として 0 に等しいことを示す。これにより、多項式は p を法として定数であることが示される。
• x^{p−1−n} の係数として得られる恒等式 ∑_{0<i₁<⋯<iₙ<p} 1/(i₁⋯iₙ) ≡ 0 (mod p) を用いて、定数を評価する。この恒等式は、x^{p−1}−1 ≡ ∏_{j=1}^{p−1}(x−j) (mod p) の展開から得られる。
• 原始的3次単位根 ω を用いて、F_n(−ω) と F_n(−ω²) を分解し、係数を等置することで、6 を法とする剰余類 r にわたる和 S_r に関する合同式を導出する。

実験結果

リサーチクエスチョン

• RQ1 n が奇数のとき、0 < i₁ < ⋯ < iₙ < p かつ i₁ ≡ 1,2 (mod 6) を満たす n-組の逆数の積の和が、i₁ ≡ 4,5 (mod 6) の場合と p を法として合同であるか。
• RQ2 n が偶数のとき、i₁ ≡ 0 (mod 3) を満たす和に符号 (−1)^{i₁} を乗じたものと、i₁ ≡ 2,3,4 (mod 6) の和の2倍とが、p を法として合同であるか。
• RQ3 すべての n ≥ 1 に対して、F_n(1−x) ≡ (−1)^{n−1}F_n(x) (mod p) が成り立つか。また、この関数方程式が 6 を法とする剰余類にわたる和の対称的合同式を示唆するか。
• RQ4 特に形式的微分と定数多項式を含む ℤ_p[x] 上の対称的恒等式は、主な合同式を証明するためにどのように役立つか。
• RQ5 x−j の積として展開された ∏_{j=1}^{p−1}(x−j) から得られる、逆数の初等対称和が、証明において果たす役割は何か。

主な発見

• n が奇数のとき、∑_{0<i₁<⋯<iₙ<p, i₁≡1,2 (mod 6)} 1/(i₁⋯iₙ) ≡ ∑_{0<i₁<⋯<iₙ<p, i₁≡4,5 (mod 6)} 1/(i₁⋯iₙ) (mod p) が成り立ち、Sunの予想が裏付けられる。
• n が偶数のとき、∑_{0<i₁<⋯<iₙ<p, i₁≡0 (mod 3)} (−1)^{i₁}/(i₁⋯iₙ) ≡ 2∑_{0<i₁<⋯<iₙ<p, i₁≡2,3,4 (mod 6)} 1/(i₁⋯iₙ) (mod p) が成り立ち、これは新しい対称的恒等式である。
• すべての n ≥ 1 に対して、F_n(1−x) ≡ (−1)^{n−1}F_n(x) (mod p) が成り立つ。F_n(x) は、p を法とする増加する n-組 (i₁,…,iₙ) に対して x^{i₁}/(i₁⋯iₙ) の和として定義される。
• 証明は、x^{p−1}−1 ≡ ∏_{j=1}^{p−1}(x−j) (mod p) の展開における x^{p−1−n} の係数から得られる恒等式 ∑_{0<i₁<⋯<iₙ<p} 1/(i₁⋯iₙ) ≡ 0 (mod p) に依存している。
• 単位根 ω を用いることで、F_n(−ω) と F_n(−ω²) を分解でき、6 を法とする剰余類 r にわたる和 S_r に関する合同式が得られ、それらは対称性によって関連づけられる。
• 微分的アプローチにより、d/dx (F_n(1−x) − (−1)^{n−1}F_n(x)) ≡ 0 (mod p) が示され、これはその式が p を法として定数であることを示し、x=0 と x=1 での評価により、それが 0 に合同であることが確認される。