[論文レビュー] Cluster Polylogarithms for Scattering Amplitudes

John Golden, Miguel F. Paulos+2 more|arXiv (Cornell University)|Jan 24, 2014

Black Holes and Theoretical Physics参考文献 29被引用数 18

ひとこと要約

本稿では、クラスタ代数に関連する特別な超越関数としてのクラスタ・ポリログスクリプト関数を導入し、$π=4$ スーパー対称ヤン・ミルズ理論における二ループ散乱振幅の数学的構造を捉える。すべての重み4のクラスタ・ポリログスクリプト関数が$A_2$の基本的構成要素から生じることを示し、一般化されたスターシェフ・ポリトープにおける局所性を課した場合、それらは一意に$A_3$関数に統合され、$n$粒子MHV振幅のクラスタ代数的構造を完全に記述する。$n=7$に対して明示的に示されている。主な貢献は、クラスタ代数的整合性とシンボル計算を用いて、$n=7$振幅の最も複雑な部分を関数的表現で与えたことである。

ABSTRACT

Motivated by the cluster structure of two-loop scattering amplitudes in N=4 Yang-Mills theory we define "cluster polylogarithm functions". We find that all such functions of weight 4 are made up of a single simple building block associated to the A_2 cluster algebra. Adding the requirement of locality on generalized Stasheff polytopes, we find that these A_2 building blocks arrange themselves to form a unique function associated to the A_3 cluster algebra. This A_3 function manifests all of the cluster algebraic structure of the two-loop n-particle MHV amplitudes for all n, and we use it to provide an explicit representation for the most complicated part of the n=7 amplitude as an example.

研究の動機と目的

• クラスタ代数のクラスタ座標にのみ依存する純粋超越関数としてのクラスタ・ポリログスクリプト関数を定義・研究すること。これは、$π=4$ SYM理論における二ループ$n$粒子MHV振幅に現れることに動機づけられている。
• 重み4のクラスタ・ポリログスクリプト関数の最小構成要素を同定し、それらがすべて$A_2$クラスタ代数から構成されることを示すこと。
• 一般化されたスターシェフ・ポリトープにおける局所性を課すことにより、すべての$n$に対して二ループMHV振幅の全クラスタ代数的構造を記述する一意の$A_3$基盤関数を特定すること。
• この$A_3$関数を用いて、$n=7$の二ループMHV振幅の最も複雑な部分の明示的関数的表現を提供すること。

提案手法

• 与えられたクラスタ代数のクラスタ$π$座標のみを含むシンボルのアルファベットを持つ純粋超越関数としてクラスタ・ポリログスクリプト関数を定義する。
• シンボル計算とコプロダクト構造を用いて重み4の関数を解析し、それらがすべて$A_2$クラスタ代数の座標から構成されることを示す。
• 一般化されたスターシェフ・ポリトープにおける局所性制約を課すことにより、$A_2$構成要素から一意の関数を選別し、それによって単一の$A_3$基盤関数を導出する。
• $A_2$および$A_3$関数の明示的関数的代表を、一般化されたポリログスクリプト関数$\operatorname{Li}_{2,2}$、$\operatorname{Li}_4$、および$\operatorname{Li}_3 \cdot \log$項の組み合わせを用いて構成する。係数はクラスタ代数的整合性を保証するように調整する。
• $A_3$関数のシンボルが、$A_3$クラスタ$π$座標のみで表現可能であることを確認し、それがクラスタ$π$関数としての資格を有することを検証する。
• $A_3$関数の普遍性を示すために、それが二ループ$n$粒子MHV振幅の全クラスタ代数的構造を捉えられることを示し、$n=7$に対して明示的な例を提示する。

実験結果

リサーチクエスチョン

• RQ1 散乱振幅の文脈において、重み4のクラスタ・ポリログスクリプト関数の最小構成要素は何か？
• RQ2 一般化されたスターシェフ・ポリトープにおける局所性は、$A_2$基盤のクラスタ・ポリログスクリプト関数から一意の関数を選別するためにどのように利用できるか？
• RQ3 単一の$A_3$基盤関数が、すべての$n$に対して二ループ$n$粒子MHV振幅の全クラスタ代数的構造を記述できるか？
• RQ4 最も複雑な部分の$n=7$二ループMHV振幅を、クラスタ代数的整合性とシンボル整合性を明示的に満たす関数的形で実現するにはどうすればよいか？
• RQ5 $π(4,n)$クラスタ代数の$π$座標は、振幅のシンボルおよびコプロダクト構造とどのように関係しているか？

主な発見

• すべての重み4のクラスタ・ポリログスクリプト関数は、単一の$A_2$構成要素から構成され、重み4において$A_2$代数は唯一の非自明な関数しか持たない。
• 一般化されたスターシェフ・ポリトープにおける局所性を課すことにより、$A_2$構成要素から一意に$A_3$基盤関数が選別され、二ループ$n$粒子MHV振幅の全クラスタ代数的構造を記述する。
• $A_3$関数は、$\operatorname{Li}_{2,2}$および$\operatorname{Li}_4$項の和として明示的に構成され、その係数は$A_3$クラスタ$π$座標のみでシンボルが表現可能になるように丁寧に調整されている。
• $A_3$関数の関数的代表が、$n=7$の二ループMHV振幅の最も複雑な部分を表現するのに適していることが示され、普遍的構造の具体的実現が得られた。
• $A_3$関数のシンボルは、コプロダクトから得られるものとは同一ではないが、写像$\rho$によって消去されるため、それらは下位重み関数の積の差にすぎない。
• $A_3$関数のコプロダクト構造は、$\operatorname{Conf}_n(\mathbb{P}^3)$クラスタ・ポisson多様体の$\mathcal{X}$座標のみで完全に表現可能であり、振幅の既知の性質と整合していることが確認された。