[论文解读] Dickman polylogarithms and their constants

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

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

一句话总结

本文研究了狄克曼多对数（Dickman polylogarithms），这是一类在解析数论中出现的迭代积分，用于描述平滑数的分布。通过高精度数值积分与符号计算，作者推测常数 $ C_k $（即 $ L_k(t) $ 在 $ t \to 0 $ 时渐近展开中的常数项）是生成函数 $ \exp(\gamma z)/\Gamma(1-z) $ 的系数，且在 $ k=9 $ 以内有强有力的数值证据支持，同时表明这些常数为 zeta 值，避开了权重为 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.

研究动机与目标

• 计算 $ \alpha = 1/k $，$ k < 11 $ 时狄克曼多对数 $ L_k(\alpha) $ 的高精度数值，提取相应的常数 $ C_k $。
• 研究 $ C_k $ 的解析结构，其定义为 $ L_k(t) $ 在 $ t \to 0 $ 时的有限部分，并判断其是否涉及多重 zeta 值。
• 基于数值证据及与特殊函数和数学物理的联系，推测序列 $ \{C_k\} $ 的闭式生成函数。
• 在量子场论与凝聚态物理的背景下，建立狄克曼问题与相关问题之间的类比，特别是关于多对数结构与 zeta 值的出现。

提出的方法

• 通过积分递归定义狄克曼多对数 $ L_k(\alpha) $：$ L_k(t) = -\int_t^{1/k} L_{k-1}(x/(1-x)) \, dx/x $，初始条件为 $ L_0(\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 位数字的一致性。
• 将狄克曼函数与量子场论及凝聚态物理联系起来，特别是通过费曼图微扰计算中出现的广义多对数函数与 zeta 值。

实验结果

研究问题

• RQ1 常数 $ C_k $（定义为 $ L_k(t) $ 在 $ t \to 0 $ 时的有限部分）的解析结构是什么？
• RQ2 首个不可约多重 zeta 值 $ \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 值 $ \zeta(5,3) $。
• 序列 $ \sum_{k \geq 0} C_k z^k $ 的生成函数被猜想为 $ \exp(\gamma z)/\Gamma(1-z) $，在 $ k=9 $ 以内有强有力的数值支持。
• $ F(1/4) $ 的值在不到 10 毫秒内计算至 800 位精度，结果约为 $ 0.0049109256477608323527391509236151860324842974176929 $。
• $ F(1/9) \approx 1.0162482827378365465348539356956957838244399586581 \times 10^{-9} $ 与 $ F(1/10) \approx 2.7701718377259589887581212006343423263430066501156 \times 10^{-11} $ 均以 50 位精度计算得出。
• 本文建立了狄克曼问题与量子场论之间深刻的正式类比，表明常数 $ C_k $ 为 zeta 值，且生成函数 $ \exp(\gamma z)/\Gamma(1-z) $ 优雅地统一了序列 $ \{C_k\} $。