[論文レビュー] Special functions, transcendentals and their numerics

Jakob Ablinger, J. Blümlein+2 more|arXiv (Cornell University)|Jan 1, 2017

Advanced Mathematical Identities参考文献 24被引用数 5

ひとこと要約

この論文は、k ≤ 12 の巡回多項式に対して、重み2までの一様での巡回多項式ディログラフィック定数を調査し、k ≤ 6 に対してPSLQで同定されたすべての関係が、既知の特殊関数の恒等式（ディログラフィック関数の関数方程式やクラウゼン関数の恒等式を含む）から解析的に導出可能であることを示している。k=12 の場合、ラマヌジャンの恒等式と複素ディログラフィック関数のクーマーの公式を用いて、先行文献を超える新しい関係が発見され、解析的に証明された。

ABSTRACT

Cyclotomic polylogarithms are reviewed and new results concerning the special constants that occur are presented. This also allows some comments on previous literature results using PSLQ.

研究の動機と目的

• 粒子物理学における巡回多項式ディログラフィック関数の数値的実装から生じる特別な定数を分析すること。
• PSLQ探索が、既知の数学的恒等式を超えて、巡回多項式定数の間の新しい関係を同定するかどうかを特定すること。
• 特にx=1における一般化ディログラフィック関数の特別な値について、より高い巡回多項式に対する理解を拡張すること。
• 高精度の振幅計算における効率的な数値評価のための定数の完全な基底を確立すること。
• 巡回多項式ディログラフィック関数の12次が、低次の巡回多項式に存在しない新しい代数的または超越的関係を導入するかどうかを調査すること。

提案手法

• 巡回多項式Φk(x)から導かれるインデックス(k,l)を有する巡回多項式ディログラフィック関数の反復積分定義を用いた。
• xが1に近い場合の級数収束を改善するため、x = (1−t)/(1+t) などの変数変換を適用し、安定な数値的評価を可能にした。
• 数千桁の高精度算術を用いたPSLQアルゴリズムを用いて、定数間の線形関係の可能性を同定した。
• 複素引数に対するディログラフィック関数の既知の関数方程式（特にクーマーの公式とラマヌジャンの恒等式）を適用した。
• シンボリック計算ツール（HarmonicSumsおよびSigma）を用いて、既知のシャッフル、スタッフル、部分積分による恒等式を削除した。
• 因数分解を介して巡回多項式ディログラフィック関数を一般化ディログラフィック関数に写像し、既存の特殊関数の恒等式の利用を可能にした。

実験結果

リサーチクエスチョン

• RQ1 k ≤ 6 に対して、x=1における巡回多項式ディログラフィック関数定数のPSLQで同定されたすべての線形関係が、既知の数学的恒等式から解析的に導出可能か？
• RQ2 12次巡回多項式のディログラフィック関数は、低次の巡回多項式に存在しない新しい代数的または超越的関係を導入するか？
• RQ3 複素引数を伴うディログラフィック関数の特別な値は、既知の関数方程式を用いて完全に簡約可能か？
• RQ4 x=1における重み2のすべての巡回多項式ディログラフィック関数定数を表現するための最小基底定数は何か？
• RQ5 PSLQ探索は、解析的数論から既に知られている内容を超えて、どの程度の新しい情報を提供するか？

主な発見

• k ≤ 6 におけるx=1における巡回多項式定数のPSLQで同定されたすべての関係が、既知の恒等式（特にラマヌジャンのディログラフィック関数恒等式とクーマーの公式）を用いて解析的に証明可能である。
• k=12の場合、先行文献から導出できない新しい関係が発見され、未踏の代数的構造の存在を示唆している。
• π、log 2、log 3、log(√3−1)、log(2−√3)、Cl₂(π/3)、Cl₂(π/6)、および複素引数を伴うLi₂の実部のさまざまな組み合わせが、x=1における重み2定数の完全な基底を形成する。
• 変換x = (1−t)/(1+t) の使用により、xが1に近い場合の高速収束級数展開が可能となり、高精度振幅計算における数値的安定性に不可欠である。
• ラマヌジャンの恒等式は、Li₂(−1/3) や Li₂(1/9) のようなディログラフィック関数値の組み合わせの非可約性を証明するために不可欠であった。
• 本研究は、シンボル写像が一般化ディログラフィック関数間の既知のすべての関係を捉えていることを確認し、k ≤ 6 に対しては、既知のものを超える新しい関係は発見されなかった。