SUSY meets SMEFT: Complete one-loop matching of the general MSSM

この論文は、R 対称性を保存する最も一般的な MSSM（124 の自由パラメータ）から、非縮退質量を持つ超対称粒子を一度に積分消去し、Warsaw 基底への完全な 1 ループマッチングを Matchete パッケージを用いて行い、SMEFT および 2 ヒッグス二重項モデル EFT への結果を提供するものである。

要約

この論文は、物理学の「超ひも理論」や「超対称性」といった難解な概念を、私たちが普段使っている「標準模型（素粒子の標準的な説明）」にどうつなげるかを解明した、非常に重要な研究です。

まるで**「巨大な宇宙の謎を解くための、新しい翻訳マニュアル」**を作ったような話です。

以下に、専門用語を避け、身近な例えを使ってこの研究の核心を解説します。

1. 物語の舞台：「見えない巨大な城」と「小さな村」

まず、この世界の状況をイメージしてください。

• 標準模型（SMEFT）： 私たちが普段観測している「小さな村」。ここでは、電子やクォーク、ヒッグス粒子などが住んでいます。この村のルール（物理法則）はよく分かっています。
• MSSM（最小超対称標準模型）： 村のすぐ隣に建っている、**「見えない巨大な城」**です。この城には、村の住人たちの「双子の兄弟」のような存在（超対称粒子）が住んでいます。しかし、彼らはとても重くて、今の技術では直接見ることができません。

問題： 城（MSSM）には124もの自由なパラメータ（ルールや設定）があり、非常に複雑です。一方、村（標準模型）では、その複雑さを無視して単純なルールで説明しようとしています。
課題： 「もしあの巨大な城にどんな住人がいて、どんなルールがあるとしても、村の観測結果にはどう影響するのだろうか？」という**「城から村への影響（翻訳）」**を、完全かつ正確に計算する必要があります。

2. 従来の方法の限界：「手作業の翻訳」

これまで、物理学者たちはこの「城から村への影響」を計算する際、いくつかの**「近似（おおよその見積もり）」**を使ってきました。

• 「城の住人のうち、一番重い人だけを考えよう」
• 「影響が小さい部分は無視しよう」

これでは、城の住人たちの**「複雑な関係性（相関）」**が見えなくなってしまいます。まるで、巨大なオーケストラの音を聞く際、バイオリンの音だけ聞いて「全体はこうだろう」と推測するようなものです。これでは、将来の精密な実験で「あれ？予想と違う！」という発見を見逃してしまう可能性があります。

3. この論文の功績：「完全な自動翻訳機」の開発

この論文の著者たちは、**「Matchete（マッチェテ）」という強力な「自動翻訳プログラム」を改良し、この巨大な城（MSSM）から村（SMEFT）への影響を、「すべて含めて、一度に、正確に」**翻訳することに成功しました。

• 124個の全パラメータを網羅： 城の住人全員（124種類の設定）を考慮しました。
• 重さの違いも考慮： 住人たちの重さがバラバラでも（非縮退質量）、正確に計算できます。
• 複雑な関係性も解明： 超対称粒子たちが互いにどう影響し合い、結果として村のルール（ウィルソン係数）をどう変えるか、その**「すべて」**を計算しました。

これは、**「オーケストラの全楽器の音を、一度に録音して、村の聴衆にどう聞こえるかを、完璧にシミュレーションした」**ようなものです。

4. 具体的なアプローチ：「重たい荷物を下ろす」

この研究では、巨大な城の住人（超対称粒子）をすべて「下ろして（積分して）」、村に残る影響だけを抽出しました。

• ヒッグス粒子の扱い： 城には2つのヒッグス粒子（双子のようなもの）がいますが、片方が非常に重いため、村では「1つのヒッグス粒子」しか見えません。この論文は、重い方のヒッグスをどう処理して、軽い方のヒッグスの振る舞いを正確に記述するかという、非常にデリケートな作業も完璧に行いました。
• コードの公開： 彼らはこの「翻訳マニュアル（計算コード）」を GitHub という場所に公開しました。これにより、世界中の研究者が、この複雑な計算を自分たちで試したり、新しい実験データと照らし合わせたりできるようになりました。

5. なぜこれが重要なのか？

• 新しい物理の発見： 将来、LHC（大型ハドロン衝突型加速器）などで「標準模型の予言と少し違う」現象が見つかったとき、それが「どの超対称粒子のせいなのか」を特定する際に、この論文の結果が**「指針」**になります。
• 無駄な推測の排除： これまでの「おおよその見積もり」ではなく、**「完全な計算」**に基づいているため、誤った結論を下すリスクが減ります。
• 次のステップへの架け橋： この研究は、超対称性という複雑な理論を、実験で検証可能な形に落とし込むための、最も包括的な「地図」を提供しました。

まとめ

この論文は、**「見えない巨大な超対称粒子の城」と「私たちが住む標準模型の村」の間の、「完全な翻訳マニュアル」**を作成した画期的な研究です。

これまで「おおよその推測」でしかできなかった複雑な計算を、**「自動翻訳機」を使って「すべて含めて正確に」**行い、その結果を世界中に公開しました。これにより、将来の物理学の発見が、より確実で、より迅速に行えるようになるでしょう。

まるで、**「複雑怪奇な巨大な機械の内部構造を、すべて分解して、その影響を小さな部品にどう反映させるかという、完璧な設計図」**を描き出したようなものです。

技術概要

この論文「SUSY meets SMEFT: Complete one-loop matching of the general MSSM」は、一般の R パリティ保存型最小超対称標準模型（MSSM）を、標準模型有効場理論（SMEFT）へと完全な 1 ループ精度でマッチング（対応付け）した画期的な研究です。以下に、問題意識、手法、主要な貢献、結果、そして意義について詳細な技術的サマリーを記述します。

1. 問題意識と背景

• 高エネルギー物理学の課題: LHC などの実験で未だに新しい物理（NP）の直接的な兆候が観測されていないため、NP の質量スケールが電弱スケールより高い可能性が示唆されています。この場合、モデルに依存しないアプローチとして SMEFT が有効です。
• SMEFT のパラメータ過多: SMEFT には無数の Wilson 係数（次元 6 のみで 2499 個）が存在し、これを包括的に制約することは困難です。そのため、通常は特定の演算子やフレーバー構造を仮定してパラメータ数を減らしていますが、これによりモデル独立性や異なるセクター間の相関が失われるリスクがあります。
• 既存研究の限界: これまでに MSSM から SMEFT へのマッチングは行われてきましたが、それらは近似（特定の超対称粒子のみを考慮、主要な項のみなど）に基づいており、124 の自由パラメータを持つ完全な一般 MSSM における、すべての超対称粒子の寄与と相関を考慮した 1 ループ計算は行われていませんでした。また、既存の自動計算ツールは、複雑なモデル（多数の場と非縮退質量を持つ場合）への適用に課題がありました。

2. 手法とアプローチ

本研究は、機能的方法（Functional methods）を用いた自動計算パッケージ「Matchete」を高度に改良・拡張して、この課題を解決しました。

• モデルの定義:
  • MSSM: R パリティを保存する一般の MSSM（124 の自由パラメータ）を扱います。すべての超対称粒子（5 種類のスフェルミオン、3 種類のゲージノ、ヒッグシノ、および 2 つ目のヒッグス二重項）を積分消去（integrate out）します。
  • スピン表記: 従来の Weyl スピノル表記から、SMEFT のワルシャワ基底（Warsaw basis）や Matchete の入力形式に適した 4 成分ディラック/マヨラナスピノル表記へ変換しました。
  • 質量基底: 電弱対称性の破れ（EWSB）前の「ソフト SUSY 破れ質量基底」を採用し、すべての重い粒子を質量固有状態として扱います。
• 計算手法:
  • Matchete の改良: 複雑な MSSM に対応するため、Matchete パッケージ（v0.4.0）を大幅に最適化しました。冗長な演算子の削減、メモリ消費の改善、重フレーバー粒子（スフェルミオン）の一貫した処理、および DR（次元削減）から MS（次元正則化）へのスキーム変換の自動化などが行われました。
  • 機能的一ループマッチング: 超対称粒子を一度に積分消去し、SMEFT の Wilson 係数を導出します。すべての質量が非縮退（non-degenerate）である一般的なケースを扱います。
  • スキーム変換と演算子削減:
    • DR $\leftrightarrow$ MS: 超対称性を保つ DR スキームから、SMEFT で標準的な MS スキームへの有限な反項（counterterms）の変換を厳密に行いました。
    • ワルシャワ基底への写像: 生成された冗長な演算子を、積分部分積分（IBP）や場の再定義（EOM）を用いて、最小基底であるワルシャワ基底へ自動的に射影しました。
    • エバネセント演算子: 4 次元固有の Fierz 恒等式を D 次元計算に適用する際に生じるエバネセント演算子の扱いを、一貫した処方箋に従って処理しました。
• ヒッグスセクターの扱い:
  • 2 つのヒッグス二重項のうち、重い方を積分消去し、軽い方を SM 様ヒッグスとして残すアプローチをとりました。
  • EWSB 前の「ソフト SUSY 質量基底」と「ヒッグス基底（$\beta$ 角）」の関係を議論し、整合性を確認しました。

3. 主要な貢献

1. 完全な 1 ループマッチングの導出: 124 のパラメータを持つ一般 MSSM から、B 数・L 数保存の次元 6 SMEFT への完全な 1 ループマッチング条件を初めて導出しました。これには、すべての超対称粒子の寄与と、それらがもたらす Wilson 係数間のすべての相関が含まれます。
2. Matchete パッケージの高度化: 複雑な超対称モデルを自動計算するための技術的障壁を克服し、Matchete の性能を大幅に向上させました（特に、スフェルミオンのフレーバー構造の扱いや、大規模な式処理の最適化）。
3. 2HDM-EFT への拡張: 2 つ目のヒッグス二重項を低エネルギー領域に残すシナリオ（2HDM-EFT）への完全な 1 ループマッチングも提供しました。これは、SMEFT 以外の EFT への完全な 1 ループマッチングの最初の例です。
4. 公開と再現性: 計算コード、完全なマッチング条件（PDF および Wolfram 言語形式）、および数値評価の例を含む補助資料を GitHub で公開しました。

4. 結果

• Wilson 係数の導出: ワルシャワ基底におけるすべての生成される Wilson 係数（$C_H, C_{uH}, C_{dH}, C_{HG}, C_{HW}$ など）の解析的な式を導出しました。
• 既存結果との検証:
  • ストップ（stop）や sbottom のみを考慮した既存の近似結果、および文献 [73, 80, 84] などの解析的式と比較し、一致を確認しました。
  • 特に、ゲージボソンの自己エネルギーに起因する、以前は見落とされていた演算子（$(D_\mu W^{\mu\nu})(D_\rho W^{\rho\nu})$ 型など）の寄与を完全に含めていることを示しました。
• 現象論的例（ストップ・ビノ・ケース）:
  • 右巻きストップ（$\tilde{t}_R$）とビノ（$\tilde{B}$）のみが軽いシナリオを数値評価しました。
  • 得られた Wilson 係数の大きさは、現在の LHC の感度や将来の Higgs ファクトリの感度よりもはるかに小さいことを示しました（ループ生成のため、係数は小さく、$g_1^4$ などに比例するため）。
  • しかし、この計算は、MSSM パラメータ空間を EFT 手法で体系的に制約するための基盤を提供します。

5. 意義と将来展望

• 包括的な解析の基盤: この研究により、MSSM のパラメータ空間を、SMEFT の Wilson 係数の相関構造を考慮した上で、グローバルに解析することが可能になりました。これにより、モデルに依存しない制約と、具体的な超対称モデルの解釈を橋渡しできます。
• 自動化の限界突破: 非常に複雑な超対称モデルを自動ツールで扱うことが可能になったことは、将来の BSM 理論の EFT 解析において重要なマイルストーンです。
• 将来の展開:
  • マルチスケールマッチング: 超対称粒子の質量が広範囲にわたる場合（例：Split SUSY）、段階的なマッチングと RG 進化による大対数項の再総和を行うことが次のステップとして提案されています。
  • 軽すぎる超対称粒子: 一部の超対称粒子（例：ヒッグシノ）が EFT スペクトルに残る「自然な SUSY」などのシナリオへの適用も可能です。

総じて、この論文は超対称性と有効場理論の接点を、完全かつ自動化された形で確立した画期的な成果であり、将来の高エネルギー物理学における新物理探索の重要なツールとなります。