アペリー型多項式の重み付き恒等式と高次合同式
Weighted bilinear identities and supercongruences for Apéry-like polynomials
この論文をやさしく読む
ひとことで言うと
2種類のアペリー型多項式について重み付き和の恒等式を導き、素数の高いべき乗を法とする合同式を証明した。
何に役立つ？
数論の合同式を導く理論的な手法として役立つ。実用的な用途は要旨に記載がない。
この研究の面白いところ
和を端点の値に結び付け、Sunが予想した p の7乗を法とする具体的な合同式まで示している。
どこまで分かった？
対象は g_n と v_n の指定された重みで、超合同式の素数は3より大きい。すべてのアペリー型多項式に成り立つ主張ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
アペリー型多項式の2つの族 g_n(x) と v_n(x) に対し、重み付き双線形の和の恒等式を確立する。この恒等式は、重み付き和を連続する端点値と、必要に応じて低次のモーメントで表す。g_n(x) の二乗については、重み (2n+1)^r の r が1以上4以下の場合の恒等式を得る。v_n(x) の二乗については、3次と5次の重みを扱う。これらの式と端点値に関する合同式を組み合わせ、3より大きい素数 p に対して、p の3乗および4乗を法とする超合同式を得るとともに、p の5乗および7乗を法とする特別な評価も得る。特に、nを0からp−1まで動かした (2n+1)^3 v_n(5/2)^2 の和が、p の7乗を法として 6p^4−(143/3)p^6 に合同であることを示し、Sunが予想した合同式を確認する。証明には、明示的な二次の望遠鏡和の恒等式と、p進的な端点展開を用いる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We establish weighted bilinear summation identities for two families of Apéry-like polynomials $g_n(x)$ and $v_n(x)$. The identities express weighted sums in terms of consecutive endpoint values and, when necessary, lower moments. For $g_n(x)^2$ we obtain identities with weights $(2n+1)^r$ for $1\le r\le4$; for $v_n(x)^2$ we treat the cubic and quintic weights. Combining these formulas with congruences for the endpoint values gives supercongruences modulo $p^3$ and $p^4$, together with special evaluations modulo $p^5$ and $p^7$, where $p$ is a prime greater than $3$. In particular, $$\sum_{n=0}^{p-1}(2n+1)^3v_n\!\left(\frac52\right)^2 \equiv 6p^4-\frac{143}{3}p^6\pmod {p^7},$$ confirming a congruence conjectured by Sun. The proofs use explicit quadratic telescoping identities and $p$-adic endpoint expansions.
著者のコメント
29 pages
arXiv ID: 2609.28098 ／ 要約の誤りについて