The $q$-extension of iterated integrals and nested sums in quantum field theory

技術要約：量子場理論における反復積分のq-拡張と入れ子状和

問題提起
量子場理論（QFT）における摂動計算、特にゼロスケールおよびシングルスケールの量においては、結果が特殊関数や数によって表される。これらには、ポリログ、ニールセン積分、調和ポリログ、およびその一般化（サイクロトミック、二次形式誘起、および平方根値を持つもの）が含まれる。これらの関数 $x=0$ 周りでの級数展開（またはそのメリン変換）は、調和和、一般化調和和、および中心二項係数を含む和といった、入れ子状の和（nested sums）のクラスに対応している。

先行研究では、これらの関数空間の「$\mu$-拡張」が確立されているが、著者らは、これらの特定の関数クラスに対するq-拡張（またはq-アナログ）を構築する必要があることを指摘している。この拡張は、生成・消滅演算子が $a_\lambda(k)a^\dagger_{\lambda'}(k') - q a^\dagger_{\lambda'}(k')a_\lambda(k) = g_{\lambda\lambda'}\delta^{(3)}(k-k')$ のような修正された関係式を満たす、量子力学および量子場理論におけるq-変形された交換関係に関わる物理的応用から動機付けられている。論文では、q-拡張が、$\mu$-拡張された関数とは構造的に異なる、より高次の超越関数の新しい関数空間を定義することを述べている。

手法
著者らは、以下の核となる原理に基づき、q-拡張を構築するための系統的なアルゴリズム的手法を用いている。

1. 級数展開の基底： 出発点は、関数 $F(x) = \sum_{n=0}^\infty f[n]x^n$ の展開係数の既知の閉形式解 $f[n]$ である。q-拡張 $F(x; q)$ は、係数 $f[n]$ がそのq-アナログ $f[n; q]$ に置き換えられた級数 $\sum_{n=0}^\infty f[n; q]x^n$ によって定義される。
2. q-変形規則： 構築には、標準的な非対称q-定義を利用する。
   • q-整数：$\{n\}_q = \frac{1-q^n}{1-q}$
   • q-微分（ジャクソン微分）：$D_q^x f[x] = \frac{f(x) - f(qx)}{(1-q)x}$
   • q-階乗およびq-二項係数
   • 決定的な点として、冪 $c^n$ ($c \in \mathbb{C}$) はq-拡張されないが、和と積の構造は拡張される。
3. アルゴリズムによる導出：
   • 入れ子状の和（Nested Sums）： 著者らは、q-拡張された入れ子状の和のための漸化式を導出している。これらの関係式は、$q^n$ の多項式係数を持つ有限次線形差分方程式である。これらは、展開係数から漸化式を推測し、恒等式を検証するために、コンピュータ・アルゴリズム・パッケージ（具体的には qFunctions, QREGuess, Sigma, QRE2DE）を利用している。
   • 反復積分（Iterated Integrals）： 反復積分のq-拡張は、展開係数における和と積の構造をそのq-拡張に置き換えることによって構築される。著者らは、これらの関数の定義となるq-微分方程式およびq-シフト関係（引数 $x$ に関する差分方程式）を導出している。
   • 手法の名称： 著者らは、$x=0$ 周りでのこの級数展開によるアプローチを、標準的なQFT計算で使用されるフロベニウス法の類推から、**「q-フロベニウス法」**と呼んでいる。
4. 代数的構造： 著者らは、これらの拡張の代数的性質、すなわち反復積分のシャッフル代数および入れ子状の和の準シャッフル代数を調査し、これらの構造がq-変形下でも保持されることを検証している。

主要な貢献と結果
本論文は、いくつかの関数クラスにわたるq-拡張の明示的な構成と定義方程式を提供している。

• 入れ子状の和：

  • 調和和、一般化調和和、および中心二項係数を含む和のq-拡張の導出。
  • 単一および多重和（例：$S_{2,1}(n; q)$, $S_{3,-2}(n; q)$）に関する具体的な漸化式の提示。
  • これらの和が有限次のq-差分方程式を満たすことの証明。

• 反復積分：

  • ポリログ： q-超幾何関数（$_{k+1}\phi_k$）で表される、q-ポリログの閉形式のq-拡張が導出されている。論文では、極限 $x \to 1$ としてのq-ゼータ値 $\zeta_k(q)$ を定義している。
  • ニールセン積分： q-拡張が構築され、重み $w=5$ までの関連するq-微分方程式およびq-シフト関係が提示されている。
  • 調和ポリログ（HPLs）： 著者らは、アルファベット $\{1/x, 1/(1-x), 1/(1+x)\}$ 上のHPLを拡張している。$H_{-1,0,1}(x; q)$ のような特定のケースに対する漸化式と微分方程式を提供している。
  • 一般化およびサイクロトミックHPL： 一般化調和ポリログ（クンマー・ポアンカレ積分）およびサイクロトミック調和ポリログのためのアルゴリズム的ステップが詳述されている。
  • 二次形式と平方根： 論文は、二次形式によって示唆される反復積分や、中心二項係数を含む平方根値を持つレター（文字）を含む、最も複雑なケースに対処している。その複雑さにもかかわらず、著者らはこれらも第一次の因子化可能なq-微分およびq-差分方程式に従うことを示している。

• 代数的関係：

  • 論文は、反復積分のシャッフル積および入れ子状の和の準シャッフル積が、q-拡張された量に対して成立することを検証している。
  • $S_{1,-1}$ および $S_{1,-1,-2}$ に関する準シャッフル関係の具体的な例が提供され、Sigma パッケージを用いて検証されている。

意義と主張
本論文は、摂動的QFT計算に現れる特定の特殊関数のq-拡張のための包括的な枠組みを提供することを主張している。その意義は以下の点にある：

1. 完全性： 単一スケールの摂動的QFTにおいて、第一次の因子化可能な微分/差分方程式に従う、現在知られているすべての反復積分および入れ子状の和のクラスを網羅している。
2. 構造的区別： q-拡張が、以前に研究された$\mu$-拡張とは異なる、より高次の超越関数としての新しい関数空間を創出することを強調している。
3. アルゴリズム的有用性： 閉形式が即座に明らかにならない複雑なアルファベットの場合、個々のケースに対してq-拡張を得るためのアルゴリズム的ステップ（漸化式の生成、微分方程式の導出）を提供している。
4. 物理的関連性： 構築された関数は、変形された振動子代数、非可換時空へのアプローチ、あるいは量子群対称性にみられるような、q-変形された交換関係を伴う摂動計算において役割を果たすことが想定されている。

著者らは、q-拡張された関数はより複雑（より高次の超越的）ではあるものの、それらは一意にq-漸化式、q-微分方程式、およびq-シフト関係によって定義されており、これにより、変形された量子場理論への体系的な研究と潜在的な適用が可能になると結論付けている。