この論文は、HyperPrecisionというMathematica用パッケージを紹介します。目的は、多変数の超幾何関数を高精度で数値評価し、さらに小さなパラメータε（イプシロン）についてのローラン展開（負冪や正冪を含む級数展開）を得ることです。これらの関数は量子場理論や弦理論、多重積分や統計学などに広く現れますが、定義となる級数は収束領域が限られており、そこを越えた評価（解析接続）は一般に難しい問題です。HyperPrecisionはこの問題に取り組みます。

著者らはまず、入力されたHorn型と呼ばれる多変数超幾何関数から、その関数が満たす偏微分方程式系（Pfaffian系）を自動で構築します。Pfaffian系とは関数の変数に関する連立偏微分方程式のまとまりです。次に、その系を出発点（ここでは原点）から目標点へまっすぐ伸ばした一次元の経路に制限します。すると偏微分方程式系は常微分方程式に還元されます。この常微分方程式を、Frobenius（フロベニウス）法と呼ばれる一般化された冪級数法で数値的に解きます。境界条件は定義級数の原点での既知の項から解析的に与えるため、外部の数値的初期値は不要です。ε展開は、複数のε値で計算した結果から補間してローラン係数を再構成する方法で得られます。補間作業は並列化しやすいとされています。

パッケージはAppellのF1–F4やHornのG系列・H系列、LauricellaのF_A,F_B,F_C,F_Dなど、よく現れる多くの多変数超幾何関数を扱うことを示しています。論文では角度積分、Feynman（フェインマン）積分（例：バブルやサンセット型）、宇宙論相関関数やホログラフィック相関関数への応用例も示されています。実装上の注意として、HyperPrecisionはWolfram Mathematica（バージョン12.3以上）で動作し、外部ライブラリとしてFiniteFlowとDESolverを利用します。ソースコードは公開リポジトリに置かれ、GNU General Public License v3の下で配布されます。

重要な制約も明記されています。現行バージョンは「完全なHorn型」超幾何関数を対象とし、実数引数での計算に制限があります。計算速度や可能な精度は、基礎となるホロノミック系のランク（有限次元性を表す量）やPfaffian系の複雑さ、要求する数値精度に強く依存します。また、特異曲線上の点での評価については従来の既存パッケージより改善しているものの、「ほとんどの場合」で扱えるとされ、常に保証されるわけではありません。さらに、このパッケージ自体はMathematicaという商用ソフトに依存しています。

意義としては、これまで手作業や関数ごとの個別実装が必要だった解析接続と高精度評価を自動化する点が挙げられます。多変数の超幾何関数やε展開が必要になる多くの物理・数学の問題で実用的な計算手段を提供します。ただし、万能の解決策ではなく、計算可能性や実行時間は問題ごとに変わる点に注意が必要です。論文は手法の説明、ソフトの使い方、検証例と応用例を含み、今後の拡張や利用の基盤を整えるものです。