[論文レビュー] Arithmetic properties of Apéry-like numbers

Éric Delaygue|arXiv (Cornell University)|Oct 15, 2013

Advanced Mathematical Identities参考文献 29被引用数 8

ひとこと要約

この論文は、Apéry数の $p$-進評価に関する Beukers の予想を証明し、Apéry-like 列の $p$-進評価の下界を一般化する枠組みを確立する。$p$-Lucas 性質の基準を導入し、Apéry-like の再帰を満たす階乗比の多重和が、$p$ で割り切れるときの $n$ の $p$-進桁に依存する、ルーカスの定理に類似した合同式を示す。主な結果は、$p^\alpha$ が $A(n)$ を割ることを確認し、ここで $\alpha$ は $A(n_k) \equiv 0 \pmod{p}$ を満たす桁 $n_k$ の個数を数える。

ABSTRACT

We provide lower bounds for p-adic valuations of multisums of factorial ratios which satisfy an Apéry-like recurrence relation: these include Apéry, Domb, Franel numbers, the numbers of abelian squares over a finite alphabet, and constant terms of powers of certain Laurent polynomials. In particular, we prove Beukers' conjectures on the p-adic valuation of Apéry numbers. Furthermore, we give an effective criterion for a sequence of factorial ratios to satisfy the p-Lucas property for almost all primes p.

研究の動機と目的

• 素数 $p=5$ および $p=11$ に対して、Apéry 数の $p$-進評価に関する Beukers の予想を解決すること。
• 階乗比の多重和で定義される広範なクラスの Apéry-like 列に対して、$p$-Lucas 性質を一般化すること。
• ほとんどすべての素数 $p$ に対して、階乗比の列が $p$-Lucas 性質を満たすかどうかを判定する有効な基準を提供すること。
• Apéry-like の再帰関係を満たす階乗比の多重和の $p$-進評価の下界を確立すること。
• Apéry、Domb、Franel、およびローレン卜多項式のべきの定数項といった既知の列の合同式を統一的かつ拡張すること。

提案手法

• $p$-adic 分析と $p$-adic ガンマ関数 $\Gamma_p$ の理論を用いて、階乗比の多重和を分析する。
• インデックス $n = n_0 + n_1p + \cdots + n_kp^k$ の $p$-進展開を適用し、$p$ を法とする $A(n)$ を成分 $A(n_i)$ に分解する。
• $\mathfrak{F}_p^d$、すなわち $p$-adic 関数の環を用いた関数的枠組みを導入し、和の項の $p$-adic 階数を制御する。
• $\mathfrak{S}_{e,f}^g(v + np)$ の再帰的分解を $\mathcal{Q}_{e,f}(\mathbf{m})$ と $p$-adic 関数 $\tau_{\mathbf{a}}$ を用いて導出し、評価が $A(n_k) \equiv 0 \pmod{p}$ を満たす桁 $n_k$ の個数に依存することを示す。
• $A(n)$ の $p$-進評価が、$A(n_k) \equiv 0 \pmod{p}$ を満たす $p$-進桁 $n_k$ の個数に正確に等しいことを確立し、ルーカス型の合同式の一般化を確認する。
• $2$-適正なベクトル $\mathbf{e}_i$ と、$\mathbf{1}_k$ のみからなるベクトル $\mathbf{f}_i$ を用いて、評価指数 $\Delta_{e,f}(\mathbf{a}/p)$ を制御する。

実験結果

リサーチクエスチョン

• RQ1 Apéry-like 列は、$n$ の $p$-進桁 $n_i$ に対して $A(n) \equiv \prod A(n_i) \pmod{p}$ が成り立つ $p$-進版のルーカスの定理を満たすか？
• RQ2 $A(n)$ の $p$-進評価が、Beukers が $p=5$ および $p=11$ に対して予想したように、$A(n_k) \equiv 0 \pmod{p}$ を満たす $p$-進桁 $n_k$ の個数に等しいか？
• RQ3 ほとんどすべての素数 $p$ に対して、階乗比の列が $p$-Lucas 性質を満たすかどうかを判定する一般基準を導出可能か？
• RQ4 Apéry-like の再帰を満たす階乗比の多重和は、$n$ の $p$-進桁にのみ依存する $p$-進評価の下界を満たすか？
• RQ5 $p$-Lucas 性質は一般化された Apéry 数に対しても保存されるか？もしそうでないなら、何がそれを妨げるか？

主な発見

• 論文は $p=5$ に対して Beukers の予想を証明した：$5^\alpha$ が $A_1(n)$ を割り、ここで $\alpha$ は $n_k = 1$ または $3$ である $5$-進桁の個数であり、$A_1(1) \equiv A_1(3) \equiv 0 \pmod{5}$ であるため。
• 論文は $p=11$ に対して Beukers の予想を証明した：$11^\alpha$ が $A_1(n)$ を割り、ここで $\alpha$ は $n_k = 5$ である $11$-進桁の個数であり、$A_1(5) \equiv 0 \pmod{11}$ であるため。
• 論文は $A_2(n)$ に対して Beukers の予想を証明した：$p \equiv 3 \pmod{4}$ で $p^\alpha$ が $A_2(n)$ を割り、ここで $\alpha$ は $n_k = \frac{p-1}{2}$ である $p$-進桁の個数であり、$A_2\left(\frac{p-1}{2}\right) \equiv 0 \pmod{p}$ であるため。
• 論文は、Apéry-like 列の $A(n)$ の $p$-進評価が、$A(n_k) \equiv 0 \pmod{p}$ を満たす $p$-進桁 $n_k$ の個数に正確に等しいことを確立し、$p$-Lucas 性質の一般化を確認した。
• 論文は有効な基準を提供した：階乗比の列がほとんどすべての素数 $p$ に対して $p$-Lucas 性質を満たすのは、関連するベクトル $\mathbf{e}_i$ が $2$-適正で、$\mathbf{f}_i$ が $\mathbf{1}_k$ ベクトルのみからなるときである。
• 論文は、$A(n)$ の $p$-進評価が、$A(n_k) \equiv 0 \pmod{p}$ を満たす桁 $n_k$ の個数によって下から抑えられ、かつ、研究されたすべての Apéry-like 列においてこの下界が厳密であることを示した。