One-loop amplitudes for $t\bar{t}j$ and $t\bar{t}\gamma$ productions at the LHC through $\mathcal{O}(\epsilon^2)$

本論文は、LHC における $t\bar{t}j$ および $t\bar{t}\gamma$ 生成の $\mathcal{O}(\epsilon^2)$ までの 1 ループ QCD ヘリチティ振幅の解析的式を、運動量-twistor 変数における有理係数を持つペンタゴン関数を用いて表現し、NNLO QCD 計算を容易にするために提示する。

要約

大型ハドロン衝突型加速器（LHC）を、世界で最も強力な粒子砕砕機だと想像してください。科学者たちが陽子を衝突させるのは、初期宇宙の条件を再現しようとしているのです。彼らが最も興味深く探求するものの一つが「トップクォーク」です。これは、亜原子世界のヘビー級チャンピオンのように、極めて重い粒子です。

この論文は、トップクォークが他の粒子、具体的にはジェット（小さな粒子の噴流）や光子（光の粒子）と共に生成される際に何が起こるかを予測するための、非常に詳細な数学的「取扱説明書」を作成するものです。

以下に、簡単なアナロジーを用いて、著者たちが行ったことを解説します。

1. 目標：より優れた設計図の構築

科学者たちは、これらの衝突がどのくらいの頻度で起こり、粒子が飛び散った際にどのような姿を呈するかを正確に予測したいと考えています。そのために、彼らは量子色力学（QCD）と呼ばれる一連の規則を使用します。

• 課題： 現在の規則は優れていますが、LHC の精度が向上するにつれて、古い規則では詳細が不足しています。LHC の精度に合わせるためには、科学者たちはこれらの衝突を極めて高い精度（「NNLO」と呼ばれます）で計算する必要があります。
• 欠けているピース： この高い精度を得るためには、「1 ループ」計算（数学における特定の複雑さのレベル）を非常に高い精度まで知る必要があります。これをケーキ作りに例えると、完璧なケーキを作りたい場合、小麦粉を大まかに計るだけでは不十分で、ミリグラム単位で計る必要があります。この論文は、トップクォークの衝突に対するそのようなミリグラム単位の測定値を提供するものです。

2. 手法：「ペンタゴン」ツールボックス

これらの衝突に関わる数学は、信じられないほど複雑です。もしすべての方程式を紙に書き出そうとすれば、それは『ブリタニカ百科事典』全体よりも長くなるでしょう。

• アナロジー： 複雑な 3 次元の彫刻を説明しようとしていると想像してください。すべての原子を一つ一つ説明することもできますが、標準的なブロックのセットを使って説明することもできます。
• 解決策： 著者たちは、「ペンタゴン関数」と呼ばれる標準的なブロックのセットを発明しました。巨大で複雑な方程式を毎回書き出す代わりに、結果をこれらの標準ブロックの組み合わせとして表現しました。
  • これは、「この雲の形は、3 分の 1 が『ふんわり』、2 分の 1 が『もやもや』、1 分の 1 が『暗い』でできている」と言うようなものです。
  • これらのブロックを使用することで、数学ははるかに短く、整理され、扱いやすくなります。

3. プロセス：パズルの解明

著者たちは、これらの「ペンタゴン関数」が異なる条件下でどのように振る舞うかを正確に突き止めなければなりませんでした。

• 地図： 彼らは、粒子が移動できるすべての可能性の道筋（「運動学」と呼ばれます）の地図を描きました。
• エンジン： 彼らは「微分方程式」と呼ばれる手法を用いて、粒子が移動するにつれて関数がどのように変化するかを解明しました。
• コンピュータの力： 方程式は人間が手計算で解くには難しすぎました。著者たちは強力なコンピュータと「有限体算術」と呼ばれる手法を使用しました。
  • アナロジー： 巨大な数独パズルを解こうとしていると想像してください。すべての数字を書き出す代わりに、コンピュータは特定の単純化された「世界」（有限体）の中で数字が機能するかどうかをチェックし、パターンを特定します。パターンが見つかったら、それを元の複雑な数学に戻して翻訳します。

4. 結果：新しい参照ガイド

この論文は、最終的な結果を主に 2 つの形式で提示しています。

1. 解析的表現： ペンタゴン関数の言語で書かれた「レシピ」です。これにより、他の科学者は異なる数値を入力して答えを得ることができ、難しい数学をやり直す必要がなくなります。
2. 数値ベンチマーク： 彼らは、粒子衝突の「宇宙」内の特定の点でこのレシピをテストし、それが機能することを示しました。彼らは他の既存のツールと数値を比較して、その正しさを証明しました。

なぜこれが重要なのか（論文によると）

著者たちは、この作業が次世代の LHC 実験に必要な「2 ループ」計算（さらに複雑な次の数学レベル）を構築するための不可欠なステップであると述べています。

• メタファー： LHC が宇宙を撮影する高速カメラだとすれば、この論文は詳細を鮮明に見るために必要な、より鋭いレンズを提供するものです。この「レンズ」がなければ、写真はぼやけてしまい、科学者たちは新しい物理の微妙な兆候を見逃してしまう可能性があります。

要約： 著者たちは、トップクォークがジェットや光と共に生成される際の振る舞いを予測するための、整理された高精度の数学的ツールキットを作成しました。彼らは、複雑な方程式を管理可能な「ペンタゴン」ブロックに分解し、高度なコンピュータ技術を用いて生じたパズルを解くことでこれを実現しました。このツールキットは、LHC における将来の超精密実験にとって不可欠です。

技術概要

技術的サマリー：LHC における $t\bar{t}j$ および $t\bar{t}\gamma$ 生成の $O(\epsilon^2)$ までの 1 ループ振幅

問題提起
大型ハドロン衝突型加速器（LHC）におけるジェット（$t\bar{t}j$）または光子（$t\bar{t}\gamma$）を伴うトップクォーク対生成の理論的予測は、現在、次々次世代（NLO）精度まで利用可能である。しかし、現在および将来の LHC ランにおける実験測定の前例のない精度に一致させるためには、量子色力学（QCD）における次々次世代（NNLO）の精度で予測を提供する必要がある。NNLO 精度を達成するには、$2 \to 3$ 過程に対する 2 ループ散乱振幅の計算が必要となる。これらの 2 ループ硬関数を構築するための重要な前提条件は、次元正則化パラメータ $\epsilon$ における $O(\epsilon^2)$ まで展開された 1 ループ振幅の利用可能性である。1 ループ振幅の有限部分（$O(\epsilon^0)$）を計算するための自動化パッケージは存在するが、NNLO 計算における紫外（UV）および赤外（IR）特異性の相殺と有限剰余の抽出に必要となる高次 $\epsilon$ 項は提供していない。本論文は、$pp \to t\bar{t}j$ および $pp \to t\bar{t}\gamma$ 過程に対するフルカラー 1 ループヘリシティ振幅の $O(\epsilon^2)$ までの解析的表現を提供することで、このギャップに対処する。

手法
著者らは、有限体演算、テンソル分解、およびペンタゴン関数法を組み合わせた多段階計算フレームワークを採用している：

1. ヘリシティ振幅の構築: 計算は't Hooft-Veltman（tHV）スキームで行われる。著者らは部分振幅を独立した 4 次元テンソル構造に分解する。トップクォークの質量を持つスピノルは、ヘリシティ振幅を質量運動量とスピノル積で表現するために参照方向を用いて定義される。ヘリシティ部分振幅は、特定の参照ベクトルの選択において縮約された部分振幅を評価し、得られた線形系を逆変換することで抽出される。
2. 有限体による再構成: 中間式の代数複雑性を管理するため、著者らは有限体法を利用する。フェルミ図は QGRAF を用いて生成され、その後カラー分解が行われる。得られた縮約された部分振幅は、Integration-By-Parts（IBP）恒等式（NEATIBP で生成され、FINITEFLOW で解かれる）を用いて、マスター積分（MIs）の最小集合に還元される。MIs に掛かる有理係数は、有限体上での数値評価から解析的に再構成される。
3. ペンタゴン関数基底: MIs は、「ペンタゴン関数」として知られる代数的に独立な成分の基底を用いて表現される。これらの関数は、MIs の $\epsilon$ 展開成分に対応する。著者らは、これらの関数に対する $d\log$ 形式の標準的な微分方程式（DEs）を導出する。DEs のアルファベットは、29 の代数的平方根を含む 283 の独立した文字からなる。
4. 数値評価: DEs は、一般化されたべき級数展開法を用いて数値的に解かれる。著者らは、DIFFEXP（Mathematica）および新たにリリースされた LINE（C/C++）の 2 つのソフトウェアパッケージを利用する。境界条件は、AMFLOW パッケージを用いて 70 桁の精度で特定の位相空間点における MIs を評価することで決定される。解は任意の物理的位相空間点へ伝播される。
5. 再規格化と有限剰余: 裸の振幅は、適切なカウンター項を追加することにより、質量再規格化および完全な UV 再規格化が行われる。有限剰余は、MS スキームを用いて普遍的な IR 特異性を減算することで抽出される。

主要な貢献

• 解析的表現: 本論文は、$t\bar{t}j$ および $t\bar{t}\gamma$ 生成に対するフルカラー 1 ループヘリシティ振幅の $O(\epsilon^2)$ まで展開された最初の解析的表現を提供する。
• ペンタゴン関数基底: 著者らは、これらの過程に対する特定のペンタゴン関数基底を構築し、振幅を運動量ツイスター変数で記述された有理係数を持つこれらの関数の線形結合として表現する。
• 微分方程式: ペンタゴン関数に対する標準的な DEs が導出され、数値的に解かれた。著者らは、DEs、境界値、および関数の置換規則を付随ファイルとして提供している。
• ソフトウェア実装: この研究は、平方根を含む DEs を解くための LINE パッケージの適用を実証し、この特定の方程式系において DIFFEXP よりも約 2 倍高速であることを示している。
• ベンチマーク結果: 色およびヘリシティを総和した二乗行列要素の数値ベンチマーク結果が、すべての関連する部分子チャネル（$gg \to t\bar{t}g$, $q\bar{q} \to t\bar{t}g$, $gg \to t\bar{t}\gamma$, $q\bar{q} \to t\bar{t}\gamma$）に対して提供され、$O(\epsilon^0)$ まで OPENLOOPS に対して検証された。

結果
著者らは、トップクォーク対と質量less粒子（グルーオン、光子、軽いクォーク）を含む過程のヘリシティ振幅の計算に成功した。ペンタゴン関数の有理係数の解析的表現が再構成され、単変数部分分数分解を通じて分子の次数が大幅に削減された。特定の物理的位相空間点における振幅の数値評価は、既存の NLO ツールに対する結果の有効性を確認した。本論文は、$t\bar{t}j$ と $t\bar{t}\gamma$ の有理係数がいくつかの構造的類似性を共有していることに言及しているが、原始振幅のレベルにおける 2 つの過程間の関係の完全な抽出は行われなかったと述べている。

意義と主張
著者らは、自らの結果が $t\bar{t}j$ および $t\bar{t}\gamma$ 生成の NNLO QCD 計算に必要な 2 ループ硬関数の構築に不可欠であると述べている。$O(\epsilon^2)$ までの振幅を提供することにより、UV および IR 発散の解析的相殺と有限剰余の抽出を可能にし、これらは $O(\epsilon^0)$ に限定されたツールではアクセス不可能である。

本論文は、振幅をペンタゴン関数基底で表現することが、最終的な式を簡素化し数値効率を向上させるコンパクトな枠組みを提供すると主張している。さらに、著者らはこの研究を将来の 2 ループ計算への足がかりとして位置づけている。$t\bar{t}j$ の主要カラー 2 ループ振幅は楕円構造を含むが、ここで構築されたペンタゴン関数基底（多対数関数的および非多対数関数的寄与を分離する）は、$t\bar{t}\gamma$ を含む 2 ループ計算で予想されるより複雑な関数空間を処理するための有用な戦略を提供しうると指摘している。著者らは控えめに結論づけており、基底が将来の研究を促進するものの、2 ループ計算の完全な実現は将来の研究の課題であると述べている。