[論文レビュー] Dickman polylogarithms and their constants

David Broadhurst|arXiv (Cornell University)|Apr 4, 2010

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

ひとこと要約

本稿は、数論における滑らか数の分布を記述する繰り返し積分として現れるディクマン・ポリログラスのクラスを調査する。高精度数値積分と記号計算を用いて、$ t \to 0 $ の漸近展開における定数項 $ C_k $ が、$ \exp(\gamma z)/\Gamma(1-z) $ の生成関数の係数であると同定する。$ k=9 $ までに強く数値的証拠を得ており、重み8における最初の非可約多重ゼータ値を避けるzeta値を持つことが示される。

ABSTRACT

The Dickman function F(alpha) gives the asymptotic probability that a large integer N has no prime divisor exceeding N^alpha. It is given by a finite sum of generalized polylogarithms defined by the exquisite recursion L_k(alpha)=- int_alpha^{1/k} dx L_{k-1}(x/(1-x))/x with L_0(alpha)=1. The behaviour of these Dickman polylogarithms as alpha tends to 0 defines an intriguing series of constants, C_k. I conjecture that exp(gamma z)/Gamma(1-z) is the generating function for sum_{k\ge0} C_k z^k. I obtain high-precision evaluations of F(1/k), for integers k<11, and compare the Dickman problem with problems in condensed matter physics and quantum field theory.

研究の動機と目的

• ディクマン・ポリログラス $ L_k(\alpha) $ を $ \alpha = 1/k $、$ k < 11 $ に対して高精度で計算し、関連する定数 $ C_k $ を抽出する。
• 定数 $ C_k $ の解析的構造を、$ t \to 0 $ のときの $ L_k(t) $ の有限部として調査し、多重ゼータ値を含むかどうかを特定する。
• 数値的証拠と特殊関数・数学物理学との関連に基づき、数列 $ \{C_k\} $ の閉形式生成関数を同定する。
• ディクマン問題と、特に多項対数的構造とゼータ値が現れる摂動計算において、量子場理論および強縮性物理学の問題との類似性を明らかにする。

提案手法

• 初期条件 $ L_0(\alpha) = 1 $ を用いて、$ L_k(t) = -\int_t^{1/k} L_{k-1}(x/(1-x)) \, dx/x $ により、ディクマン・ポリログラス $ L_k(\alpha) $ を再帰的に定義する。
• 高精度算術を用いた1次元数値積分により、$ t $ が小さいときの $ L_k(t) $ を評価し、発散する対数項を除去して $ C_k $ を分離する。
• Pari-GP の `lindep` を用いたLLLアルゴリズムを適用し、$ C_k $ の高精度数値値の間の整数関係を同定し、推測される閉形式に至る。
• $ C_k $ の構造を既知の数学定数および数列（特に OEIS A008991）と関連付けることで、生成関数 $ \exp(\gamma z)/\Gamma(1-z) $ を推測する。
• 高精度比較により同定を検証し、$ F(1/4) $ および $ C_8 $ について最大800桁の一致を達成した。
• ディクマン関数と量子場理論および強縮性物理学とを関連付け、一般化された多項対数およびゼータ値が摂動計算に現れる点を通じて関係を示す。

実験結果

リサーチクエスチョン

• RQ1 定数 $ C_k $ は $ t \to 0 $ のときの $ L_k(t) $ の有限部として定義されるが、その解析的構造は何か？
• RQ2 最初の非可約多重ゼータ値 $ \zeta(5,3) $ は $ C_8 $ に現れるか？
• RQ3 数列 $ \{C_k\} $ の生成関数は存在するか？ その閉形式は何か？
• RQ4 ディクマン問題における多項対数的構造は、量子場理論および強縮性物理学におけるそれらとどのように比較できるか？
• RQ5 $ k < 11 $ に対して $ F(1/k) $ を十分な精度で高精度数値評価することで、正確な解析的形を同定できるか？

主な発見

• 定数 $ C_2 = -\pi^2/12 $、$ C_3 = -\zeta(3)/3 $、$ C_4 $ は $ \frac{1}{10} C_2^2 $ であると予想され、いずれも高精度で数値的に確認された。
• 定数 $ C_8 $ は $ \frac{\zeta(5)\zeta(3)}{15} - \frac{(\zeta(3)\pi)^2}{216} - \frac{67\pi^8}{29030400} $ であると予想され、非可約多重ゼータ値 $ \zeta(5,3) $ は現れない。
• 数列 $ \sum_{k \geq 0} C_k z^k $ の生成関数は $ \exp(\gamma z)/\Gamma(1-z) $ であると予想され、$ k=9 $ までに強く数値的証拠がある。
• $ F(1/4) $ は10ミリ秒未満で800桁の精度で計算され、$ \approx 0.0049109256477608323527391509236151860324842974176929 $ が得られた。
• $ F(1/9) \approx 1.0162482827378365465348539356956957838244399586581 \times 10^{-9} $ および $ F(1/10) \approx 2.7701718377259589887581212006343423263430066501156 \times 10^{-11} $ は50桁の精度で計算された。
• 本稿は、ディクマン問題と量子場理論との間の深い形式的類似性を確立し、定数 $ C_k $ がゼータ値であることを示し、生成関数 $ \exp(\gamma z)/\Gamma(1-z) $ が数列 $ \{C_k\} $ を洗練的に統一することを示した。