${}_5F_4$ evaluations and a family of $\pi^2+\log^2$ identities

技術要約：5F4の評価と $\pi^2 + \log^2$ の一族に関する恒等式

問題設定
本論文は、級数 $S(z) = \sum_{n \ge 1} \frac{z^n}{n^2 \binom{4n}{n}}$ の評価を扱う。これは、一般化超幾何関数 $-\frac{z}{4} {}_5F_4\left(1, 1, 1, \frac{4}{3}, \frac{5}{3}; \frac{5}{4}, \frac{3}{2}, \frac{7}{4}, 2; \frac{27z}{256}\right)$ に対応する。この級数は、積分 $I_{1,3}(z) = \int_0^1 \frac{\ln(1 - z x(1-x)^3)}{x} dx$ から生じる。D'AurizioとDi Traniは以前、立方体の基底ケース（$p=1, q=2$）を研究し、四次基底（$p=1, q=3$）への簡約を開始したが、四次ケースの閉形式による評価には至らなかった。彼らの試みは、単一の実根を強制しようとした結果、複素立方根を含む既約な三次コファクター（余因子）を生じさせ、純粋な $\pi^2$ と対数の有理二次形式への簡略化を妨げた。本研究の目的は、この ${}_5F_4$ 級数を、有理角 $\theta = j\pi/N$ によってインデックス付けされた無限の一族の代数的点において評価し、そのような障害のない閉形式を確立することである。

手法
著者は、二項対数（Abel）関係や根の差の対数を用いることなく、自己完結的な証明戦略を採用している。この手法は、以下の3つの段階を経て進行する。

1. 重みの変換と対称的簡約：
   証明では、2つの重みを結ぶ正確な整数因子（補題3）を利用して、積分 $I(z)$ を $\frac{1}{x(1-x)}$ を含む対称的な形式へと変換する。ファイバー多項式 $1 - z x(1-x)^3 = \prod (1 - x/\rho_k)$ の対数を分解し、ランデンの恒等式（$\text{Li}_2(w) + \text{Li}_2(\frac{w}{w-1}) = -\frac{1}{2}\ln^2(1-w)$）を適用することで、積分は平方対数の和へと簡約される（補題4）。これにより、以下の恒等式が得られる：
   $$I(z) = \frac{3}{8} \sum_{k=1}^4 \ln^2\left(1 - \frac{1}{\rho_k}\right)$$
   ここで、$\rho_k$ はファイバー多項式 $x(1-x)^3 = 1/z$ の根である。

2. マッチング構成：
   単一の実根を強制する代わりに、指定された有理角 $\theta = j\pi/N$ において、複素共役対 $\rho, \bar{\rho} = r e^{\pm i\theta}$ を強制する。これにより、実二次コファクター（根 $a$ と $b$ を持つ）が残る。パラメータ $r$ および $z$ は、ファイバー多項式の係数を一致させることで決定され、これにより $r$ に関する三次方程式と特定の代数的値 $z$ が導かれる。

3. 3つの生成子への崩壊：
   平方対数の和は、「対数部分」（絶対値）と「$\pi^2$ 部分」（偏角）に分割される。

   • 対数部分： 乗法的ファイバー関係 $\rho(1-\rho)^3 = 1/z$ を用いることで、絶対値 $\ln|1-1/\rho_k|$ は3つの生成子 $L_a = \ln a, L_b = \ln |b|, L_r = \ln r$ の線形結合として表現される。これにより、4つの項は普遍的な有理二次形式 $Q(L_a, L_b, L_r)$ へと崩壊する。
   • $\pi^2$ 部分： 複素根の偏角を分析する。著者は、$z < 0$ のとき、$\arg(1 - 1/\rho)$ が正確に $\frac{2}{3}(\pi - 2\theta)$ であることを証明している。これにより、偏角の項は $\pi^2$ の有理倍、具体的には $-\frac{1}{3}(1 - 2j/N)^2 \pi^2$ として表現できる。

主な貢献と結果

• 定理11（一様族）： 本論文は、代数的点 $z(j, N)$ の無限の一族に対して、級数の閉形式による評価を確立する。許容される枝（残りの根が実数であり、級数が収束する条件）を持つ任意の有理角 $\theta = j\pi/N$ に対して、値は以下の通りとなる：
  $$I(z) = -\frac{1}{3}\left(1 - \frac{2j}{N}\right)^2 \pi^2 + Q(\ln a, \ln |b|, \ln r)$$
  ここで $Q$ は $(j, N)$ に依存しない固定された有理二次形式である。
• 明示的な評価： 本論文は、五角形（$\theta = \pi/5$）、八角形（$\theta = \pi/4$）、七角形（$\theta = 2\pi/7$）、および九角形（$\theta = 2\pi/9$）を含む、特定のケースに対する数値的および代数的評価を提供している。五角形の場合、モジュラス $r=1$ となり、対数項は3つに減少する。
• 次数の最大性（定理20）： 著者は、「一対強制」構成が、純粋な評価（$\pi^2$ と $\log^2$ 項のみを含む）の収束する一族を与えるのは、全次数 $s = p+q$ が 3 または 4 の場合に限られることを証明している。
  • $s=3$ (${}_4F_3$) および $s=4$ (${}_5F_4$) では、強制された共役対が唯一の複素対となるため、自動的に純粋性が保証される。
  • $s \ge 5$ では、少なくとも一つの追加の未制約の複素対が残る。論文では、これらの高次において、純粋性が自動的ではないことを論じている。五次基底（$s=5$）に対する計算探索では、残った対が収束領域内の有理角に位置する事例は見つからなかった。

意義と主張
本論文は、D'AurizioとDi Traniによって未解決のまま残された四次基底のケースを解決したと主張している。実根を強制する構成から、複素共役対を有理角で強制する構成へと転換することで、閉形式を阻害していた「立方根」のアーティファクトを排除した。

その意義は以下の点にある：

1. 簡約の完了： ${}_5F_4$ 級数の欠落していた評価を提供し、それが $c\pi^2 + (\text{対数の二次形式})$ という型の閉形式を持つことを示した。
2. 自己完結的な証明： 既存の二項対数関係や数値的検証に頼ることなく、ランデンの恒等式と重みの変化を通じて、係数と形式を直接導出した。
3. 純粋性の限界の定義： この特定の構成が、自動的に「純粋な」評価（$\pi^2$ と $\log^2$ 項のみを含む）を保証する最大次数は $s=4$（四次基底）であることを示した。論文は、これより高い次数で純粋な評価が存在しないことは証明されていないものの（孤立したケースがある可能性はある）、この構成は $s \ge 5$ に対して収束する一パラメータ族を提供せず、$s=5$ の探索でも例は見つからなかったと控えめに述べている。

本研究は、ファイバーの根の幾何学と有理角の算術の相互作用に基づき、四次ケースの決定的な取り扱い、および一般的な $p, q$ 一族に対する境界定理となっている。