[論文レビュー] Reflection identities of harmonic sums up to weight three

Alex Prygarin|arXiv (Cornell University)|Aug 28, 2018

Mathematical functions and polynomials参考文献 9被引用数 4

ひとこと要約

本稿では、重み3までの調和和に関する新しい反転恒等式を導出し、混合極構造を持つ式における極の分離を可能にした。これは、$\mathcal{N}=4$ SYMにおけるBFKL方程式の固有値構造を解析する上で不可欠である。これらの恒等式により、$S_a(z)S_b(-1-z)$ などの積が、他の調和和の線形結合として表現可能となり、複素平面計算における解析的接続と関数の簡略化が促進される。

ABSTRACT

We discuss reflections identities of harmonic sums up to weight three. The need for this kind of identities emerges in analysis of the general structure of eigenvalue of the BFKL equation. The reflection identities decompose a product of two harmonic sums with pole singularities at real integer points into a linear combination of other functions with pole singularities at either negative integers or zero and positive integers. This provides a pole separation of expressions with a mixed pole structure.

研究の動機と目的

• 重み2および3における調和和の反転恒等式を導出することにより、BFKL固有値計算における極構造の分離という要求に応えること。
• 極が負の整数、0、または正の整数に分離された関数に、極の混合構造を持つ調和和の積を分解することを可能にすること。
• 重み3までの調和和の反転恒等式が、$\mathcal{N}=4$ 超対称ヤン・ミルズ理論におけるBFKL方程式の固有値構造の文脈で解の関数的基底を支えること。
• 解析的接続を用いて、双線形および三線形調和和積を反映された引数の形に一貫して表現するための方法を提供すること。
• 超対称量子場理論における高ループ次数計算への将来的な応用の基盤を築くこと。

提案手法

• 調和和の記号的計算に、J. AblingerのHarmonic SumsパッケージおよびD. MaitreのHPLパッケージを用いた。
• 偶数整数値からのメリン変換に基づく解析的接続を用いて、正および負の整数点まわりの極展開を実行した。
• Ablingerの学位論文に詳細記載された、関連する重みの定数を伴う純粋な調和和の関数的基底を構築した。
• 各重みにおける非可約定数の係数を比較し、反転恒等式を導出し、高次の展開による結果の検証も行った。
• シャッフル関係および複素平面における調和和の数値評価と照合することで、恒等式を検証した。
• 独自のMathematicaパッケージを用いて、ポンメロンNNLO固有値計算を支援し、導出プロセスの検証を行った。

実験結果

リサーチクエスチョン

• RQ1 極の混合構造を持つ調和和の積は、どのようにして負の整数、0、または正の整数に分離された極を持つ関数に分解可能か？
• RQ2 重み3における調和和の明示的反転恒等式は何か？これらは $f(z)g(-1-z) = F(z) + G(-1-z)$ を満たす。
• RQ3 これらの恒等式は、調和和代数の文脈で既知のシャッフルおよび二重化恒等式とどのように関係しているか？
• RQ4 解析的接続と係数照合を用いて、高重みの調和和に対して反転恒等式を体系的に導出可能か？
• RQ5 これらの恒等式は、$\mathcal{N}=4$ SYMにおけるBFKL固有値式の解析的構造を簡略化するために果たす役割は何か？

主な発見

• 本稿では、重み3における三重積の反転恒等式の完全なセットを初めて提示した。これは、以前は未知であった。
• 重み3におけるすべての三重積恒等式は、導出された恒等式に対して $z \leftrightarrow -1-z$ の変換を適用することで得られる。
• 重み2における双線形反転恒等式は、既知の結果と整合しており、手法の整合性を確認するためのチェックとして機能する。
• 恒等式は、$S_1(z)S_{-1}(-1-z)$ のような積を、$S_{-1}(z)$、$S_1(-1-z)$、$S_2(z)$、$S_2(-1-z)$、および対数的定数を含む線形結合に成功して分解した。
• 具体的な恒等式として、$S_1(z)S_1(-1-z) = 3\zeta(3) + \frac{1}{6}\pi^2 S_1(-1-z) + \frac{1}{2}\pi^2 S_1(z) - S_{1,2}(z) - S_{2,1}(-1-z) - 2S_{2,1}(z) + 2S_{1,1,1}(-1-z) + 4S_{1,1,1}(z)$ が明示的に導出され、検証された。
• 導出プロセスは、$n$ の偶数整数値からの解析的接続に限定されており、奇数整数への接続は将来的な作業に残されている。