Electron EDM and $\Gamma(\mu \to e \gamma)$ in the 2HDM

本論文は、一般的なユークラ相互作用とヒッグスポテンシャルの位相を組み込んだ制約のない 2 重ヒッグス二重項モデルにおいて、電子の電気双極子モーメントおよびレプトン・フレーバー対称性破れ崩壊率の最初の完全な 2 ループ計算を提示し、その結果を公開された Python 実装を通じて提供している。

要約

宇宙を、粒子と呼ばれる小さく目に見えないレゴブロックで組み立てられた巨大で複雑な機械だと想像してみてください。何十年もの間、科学者たちはこれらのブロックがどのように相互作用するかを示す、非常に成功した取扱説明書を持ってきました。それが標準模型です。これは粒子加速器で観測されるほぼすべての現象を説明します。

しかし、その取扱説明書には欠けたピースがあります。それは、宇宙が物質と反物質の適切な混合で始まった仕組みを説明できないことです。まるで、完璧にケーキを焼く方法を教えてくれるレシピがあるのに、なぜ最初にケーキが膨らんだのかを説明できないようなものです。これを修正するために、科学者たちはレシピに新しい秘密の材料を追加することを提案しています。この論文では、著者たちはこの秘密の材料の特定のバージョンである**2 重ヒッグス二重項模型（2HDM）**を探求します。標準模型をヴァニラのような 1 つの「フレーバー」を持つヒッグス場を持つものと考え、この新しい模型はチョコレートのような 2 つ目のものを追加することで、全く新しい可能性の世界を創り出します。

「よれる」電子の謎

著者たちは、この新しい模型を用いて 2 つの主要な謎を調査しています。

1. 電子の「よれ」（電気双極子モーメント）：
   電子を小さな回転するコマだと想像してください。完全に対称な世界では、このコマは均等に回転します。しかし、もし電子が「電気双極子モーメント（EDM）」を持っていれば、それはコマがわずかに片寄っていたり「よれて」いたりするのと同じです。このよれは、物理法則が「左」と「右」を異なって扱う（CP 対称性の破れと呼ばれる性質）兆候です。

   • 論文の主張： 著者たちは、もし「2 重ヒッグス」模型が真実であれば、このよれがどの程度の大きさになるかを初めて正確に計算しました。彼らは単純な相互作用だけでなく、粒子が壁に跳ね返り、次に天井に、そして再び壁に戻るような、粒子同士がループの中で複雑に絡み合う相互作用も調べました。その結果、もしこの新しい模型が実在すれば、電子のよれは以前考えられていたよりもはるかに大きくなる可能性があることが分かりました。これは、新しい粒子の「フレーバー」と「位相（隠された角度のようなもの）」に依存します。

2. 「間違った色」の切り替え（レプトンフレーバー対称性の破れ）：
   通常、粒子は非常に忠実です。電子の重い従兄弟であるミューオンは、電子とニュートリノに崩壊するはずですが、単独で突然電子と光（光子）の閃光に変わることは決してないはずです。それは、赤いレゴブロックが光りながら自発的に青いブロックに変わるようなものです。

   • 論文の主張： 著者たちは、この新しい模型において、この「間違った色の切り替え」（具体的には $\mu \to e\gamma$）がどのくらいの頻度で起こるかを計算しました。彼らは、新しいヒッグス粒子が橋の役割を果たし、ミューオンがルールを破って、古いルールが許していたよりもはるかに容易に電子と光子に変化できることを発見しました。

彼らがどう行ったか：「ダブルループ」探偵作業

これらの効果を計算することは非常に困難です。それは、バumper 自体が動き、形を変えている数百個のバumper に跳ね返るピンボールの正確な経路を予測しようとするようなものです。

• 1 ループ対 2 ループ： 物理学において、「ループ」は計算の複雑さを表します。「1 ループ」計算は、ボールが 1 回跳ね返るようなものです。「2 ループ」計算は、ボールが 2 回跳ね返り、途中でより多くの粒子と相互作用するようなものです。
• 画期的な成果： 以前の研究では、しばしば単純な「1 回跳ね」のレベルで止まったり、特定の角度や位相を無視するなど、単純化された仮定を置いたりしていました。この論文は、新しいヒッグス粒子が相互作用できるすべての可能な方法、そして存在し得るすべての複雑な角度と「位相（隠された方向）」を含んだ、完全な「2 回跳ね（2 ループ）」計算を行った最初のものです。

「汎用翻訳機」（Python コード）

この論文の実用的な側面の 1 つは、著者たちが何千ページもの数式を書き留めただけでなかったことです。他の科学者たちがこれらの結果を用いて、自身の理論を実データと検証する必要があることに気づいたのです。

そこで、彼らは複雑な数学を取り、誰でも使えるツールに変える**Python コンピュータプログラム（デジタル翻訳機）**を構築しました。もしあなたが新しい物理模型のための特定の数値のセットを持っていれば、それらを彼らのコードに入力するだけで、瞬時に「もしあなたの模型が正しければ、電子はこれだけよれ、ミューオンはこれだけの頻度で電子に変わる」と教えてくれます。

結論

この論文は、物理学者たちにとって巨大な「チェックリスト」です。それはこう言っています。「私たちは、これらの新しい粒子が電子とミューオンに与える影響について、最も詳細で完全な予測を計算しました。もしあなたがこの『2 重ヒッグス』模型が実在するかをテストしたいのであれば、古い単純化されたものではなく、これらの具体的な数値とあなたの実験データを比較しなければなりません。」

彼らは、「よれ」と「間違った色の切り替え」を探す場所について、これまでに最も正確な地図を提供しました。これにより、将来もしこれらの効果が見つかった場合、それがこの特定の新しい宇宙模型によって引き起こされたものを正しく特定できることが保証されます。

技術概要

以下は、Altmannshofer らによる論文「Electron EDM and $\Gamma(\mu \to e\gamma)$ in the 2HDM」の詳細な技術的サマリーです。

1. 問題の定義

素粒子物理学の標準模型（SM）は、宇宙で観測される物質・反物質非対称性（バリオン生成）を説明できません。これは、SM が含む CP 対称性の破れが不十分であり、電弱相転移が一次相転移ではなく、滑らかなクロスオーバー（二次相転移）であるためです。

**2 重ヒッグス二重項モデル（2HDM）**は、2 番目のヒッグス二重項を導入する人気のある拡張モデルであり、以下の可能性を提供します：

• 強い一次電弱相転移。
• ヒッグスポテンシャルおよび湯川結合における複素位相を介した、追加の CP 対称性の破れ源。

しかし、これらの新しい CP 対称性の破れ位相は、電子や原子などの素粒子における電気双極子モーメント（EDM）の未観測によって厳しく制限されています。以前の研究における重要な課題は、特定のフレーバー対称性によって制約されていない最も一般的な 2HDM において、異なるダイアグラムの寄与が互いに打ち消し合い、実験的制限を回避する可能性があることです。2HDM を厳密に検証するためには、特定のフレーバー構造を仮定したり、高次ループ効果を無視したりすることなく、EDM およびレプトンフレーバー対称性の破れ（LFV）崩壊（特に $\mu \to e\gamma$ および $\tau \to e/\mu\gamma$）に対するすべての主要な寄与を計算する必要があります。

2. 手法

著者らは、制約のない 2HDMの枠組み内で、完全なリードオーダー（leading-order）の 2 ループ計算を実行しました。

• モデルの枠組み：彼らは最も一般的な 2HDM を利用し、以下の要素を許容しました：
  • ヒッグスポテンシャルパラメータ（$m^2_{12}, \lambda_{5,6,7}$）における複素位相。
  • すべてのフェルミオン世代に対する、一般的な複素・非対角の湯川結合行列（$\rho_f$ 行列）。
  • CP 保存や特定のアライメント限界（例えば、Type-I や Type-II は特定の限界として扱われ、仮定ではありません）の仮定は行いません。
• 有効場理論（EFT）アプローチ：
  • 計算は、電弱スケールにおいて重い粒子（ヒッグスボソン、トップクォーク、$W/Z$ ボソン）を積分除去して行われます。
  • 彼らは、電弱スケール以下で定義された有効レプトンラグランジアンに完全理論をマッチングさせます。
  • QED のランニング効果は $\alpha$ によって抑制されるため無視され、強い相互作用の効果はクォーク質量を電弱スケールで評価することで処理されます。
• 計算ツールと技法：
  • ソフトウェア：ダイアグラムは qgraf で生成され、代数操作は MaRTIn パッケージを介した FORM で行い、ファインマン則は FeynRules を使用して導出されました。
  • ゲージ選択：計算は一般化された $R_\xi$ ゲージで、背景場法を用いて行われます。これにより、最終的な物理的結果が明示的にゲージパラメータに依存しないことが保証されます。
  • $\gamma_5$ スキーム：擬スカラー結合に起因する $\gamma_5$ を含む閉じたフェルミオンループを処理するため、著者らは**'t Hooft-Veltman (HV) スキーム**を採用しました。これは、一般的に使用される NDR（Naive Dimensional Regularization）スキームがこれらの特定のダイアグラムに対して代数的に矛盾するため、極めて重要です。彼らは一貫性と既知の結果との一致を保証するために必要な反項を含めました。
• 観測量：
  • 電子 EDM（$d_e$）：有効演算子 $\mathcal{L}_{eff} \supset -\frac{d_e}{2} (\bar{e}\sigma_{\mu\nu}i\gamma_5 e)F^{\mu\nu}$ によって定義されます。
  • LFV 崩壊：$\mu \to e\gamma$ および $\tau \to \ell\gamma$ は、双極子係数 $c_L$ と $c_R$ によってパラメータ化されます。

3. 主要な貢献

この研究は、一般的な 2HDM におけるこれらの観測量の最初の完全な解析的計算を提供し、以下を含みます：

1. 完全な 2 ループ寄与：彼らは、湯川結合の 2 乗に比例するすべての主要な 2 ループ項を計算しました。これには以下が含まれます：
   • Barr-Zee ダイアグラム：内部フェルミオンループ（トップ、ボトム、チャーム、タウ）と中性/荷電ヒッグス交換を伴うもの。
   • ボソン的ダイアグラム：ヒッグス運動項およびヒッグスポテンシャル（$W, Z, \gamma, H^\pm, h^0$ を含む）からの頂点を含むダイアグラム。
2. 一般的なフレーバーおよび CP 構造：以前の研究がしばしば実数の結合や特定のフレーバーテクスチャを仮定していたのに対し、この計算は湯川行列（$\rho_f$）における一般的な複素位相および非対角のフレーバー成分を保持しています。
3. 新しいダイアグラム：彼らは、以前に一般的な場合の文献に存在しなかった、荷電ヒッグスボソンおよびヒッグスポテンシャルに関与するダイアグラム（$d^{H^\pm \gamma}_e, d^{H^\pm Z}_e, d^{H^\pm W}_e$）の寄与を特定し、計算しました。
4. ゲージ不変性の検証：彼らは、すべての寄与の和がゲージパラメータ $\xi$ に依存しないことを明示的に示しました。これは、複雑な 2 ループボソン的ダイアグラムを考慮すると、非自明なチェックです。
5. 公開実装：著者らは、任意の入力パラメータに対してウィルソン係数および崩壊率を計算できるようにするPython コード（公開 Git リポジトリ経由）を提供しています。

4. 主要な結果と数式

この論文は、電子 EDM（$d_e$）および $\mu \to e\gamma$ に対する双極子係数（$c_{L/R}$）の明示的な解析式を提示しています。

• 分解：結果は 1 ループ寄与と 2 ループ寄与に分割されます。
  • 1 ループ：中性ヒッグス交換によって支配されます。
  • 2 ループ：Barr-Zee 型ダイアグラム（フェルミオンループ）およびボソン的ダイアグラムによって支配されます。
• 特定の項：
  • フェルミオン的 Barr-Zee：中性（$h_k$）および荷電（$H^\pm$）ヒッグス交換を伴うトップ、ボトム、チャーム、およびタウループからの寄与。
  • ボソン的寄与：ヒッグス運動項（$d^{kin.}_e$）およびヒッグスポテンシャル（$d^{H^\pm \gamma}_e$ など）から生じる項。
  • ループ関数：著者らは、任意の質量比に対して有効な、二対数関数（$Li_2$）および対数項を含む複雑なループ関数（$f_1$ から $f_{11}$）の明示的な形式を提供しています。
• 極限の場合：結果は既知の極限を成功裡に再現します：
  • 実数・対角の湯川結合は、文献 [10] の結果と一致します。
  • 小さなフェルミオン質量の極限は、$\mu \to e\gamma$ について文献 [44] と一致します。
  • $\mu \to e\gamma$ に対する 1 ループ結果は、既存の文献と整合しています。

5. 意義

• 完全性：これは、2HDM における電子 EDM および LFV 崩壊のこれまでにない最も包括的な計算です。予測を人為的に抑制または増強し得る「欠落した」寄与の曖昧さを排除します。
• 現象論的影響：完全な寄与セットを提供することで、この論文は、実験データ（EDM については ACME II、$\mu \to e\gamma$ については MEG）に対する 2HDM パラメータ空間の厳密なグローバルフィットを可能にします。異なるダイアグラム間の打ち消しが、現在の制限を破ることなく大きな CP 位相の存在を許容する方法、あるいは逆に、特定の領域が除外される方法を明確にします。
• 方法論的ベンチマーク：Barr-Zee ダイアグラムにおける $\gamma_5$ に対する HV スキームの使用と、背景場法におけるゲージ独立性の検証は、BSM 物理学における精度計算のための新たな基準を設定します。
• 将来の研究のためのツール：提供された Python コードにより、研究コミュニティは即座にこれらの結果を適用して 2HDM モデルを制限し、バリオン生成シナリオを研究し、EDM およびフレーバー工場からの将来の実験データを解釈することが可能になります。

要約すると、この論文は、EDM および LFV 崩壊に対する以前の 2HDM 予測の理論的不完全性を解決し、2HDM をバリオン生成問題の解決策として完全に検証するために必要な解析的ツールを提供しています。