[論文レビュー] ScannerS: Parameter Scans in Extended Scalar Sectors

Margarete Mühlleitner, Marco O. P. Sampaio+2 more|arXiv (Cornell University)|Jul 6, 2020

Particle physics theoretical and experimental studies被引用数 6

ひとこと要約

ScannerS–2 は、理論的および実験的制約を組み込んだ、拡張されたスカラー系を有するBSMモデルにおけるパラメータースキャンを実行する公開の計算フレームワークであり、約95%信頼水準（CL）での許容可能なパラメータ点を特定することを目的としている。このフレームワークは、モジュラーな制約を用いて効率的なポイントバイポイントの検証を可能にし、シングレット拡張、2HDM、N2HDMの各フェーズを含む複数のBSMモデルをサポートしている。また、Mathematicaベースのツールを用いて四スカラー結合定数に対する高速かつ正確な摂動的ユニタリティの境界を解析的に評価する。

ABSTRACT

We present the public code ScannerS-2 that performs parameter scans and checks parameter points in theories beyond the Standard Model (BSM) with extended scalar sectors. ScannerS incorporates theoretical and experimental constraints from many different sources in order to judge whether a parameter point is allowed or excluded at approximately 95% CL. The BSM models implemented in ScannerS include many popular BSM models such as singlet extensions, different versions of the Two-Higgs-Doublet Model, or the different phases of the Next-to Two-Higgs-Doublet Model. The ScannerS framework allows straightforward extensions by additional constraints and BSM models.

研究の動機と目的

• 拡張されたスカラー系を有するBSMモデルにおけるパラメータースペースのスキャンを柔軟かつオープンソースで行うフレームワークを提供すること。
• 多様な理論的および実験的制約に対する、効率的でポイントワイズなモデル点の検証を可能にすること。
• 複雑な実数シングレット拡張、2HDM、N2HDMフェーズを含む、広範なBSMモデルをサポートすること。
• Mathematicaパッケージを用いた半解析的摂動的ユニタリティ境界の統合により、スキャンの効率性と正確性を向上させること。
• モジュラーなコード構造により、新しいモデルや制約の拡張を可能にし、長期的な保守性と適応性を高めること。

提案手法

• ScannerS–2 は、モデルのパラメータースペース全体に対してランダムなパラメータースキャンを実行し、各ポイントを統合的尤度関数ではなく、個々の制約に対してテストする。
• 摂動的ユニタリティ、下からの有界性、真空安定性、電弱精度、フラーバー物理学、ヒッグス探索、EDM、ダークマター、一次相転移の電弱相転移といった制約を適用する。
• 制約は95% CLまたは理論的除外として評価され、三段階の深刻度レベル（適用：強制、無視：記録はするが強制しない、スキップ：無視）を有する。
• フレームワークは、SM、R2HDM、CxSM、N2HDM、C2HDMを含む多様なモデルに対して、HDECAYベースのツールを統合した anyHdecay ライブラリを用いてヒッグスの分支比および幅を計算する。
• 特別に開発された Mathematica パッケージ、PerturbativeUnitarity.m は、2→2散乱行列の固有値を解析的に計算し、四スカラー結合定数に対する半解析的ユニタリティ境界を導出する。
• コードは拡張可能であり、ユーザーはモジュラーインターフェースを通じて新しいモデルや制約を追加可能で、カスタムパラメータースキャンおよび制約実装のサポートも可能である。

実験結果

リサーチクエスチョン

• RQ1 多様な理論的および実験的制約を尊重しながら、拡張されたスカラー系を有するBSMモデルにおける許容可能なパラメータ点を効率的に同定するためのパラメータースキャンフレームワークは、どのように構築できるか？
• RQ2 数値的固有値分解と比較して、半解析的摂動的ユニタリティ境界は、スキャンの効率性と正確性にどのような影響を与えるか？
• RQ3 複素シングレット拡張、2HDM、N2HDMといった異なるBSMモデルが、統一されたフレームワーク内で一貫した制約チェックを受ける際、どのように振る舞うか？
• RQ4 グローバル最適フィット統計に依存せずに、ScannerS–2 フレームワークがベンチマークシナリオの生成をどの程度サポートできるか？
• RQ5 モジュラーかつ保守可能な方法で、フレームワークを新しいモデルや制約に拡張するには、どのように設計すべきか？

主な発見

• ScannerS–2 は、個々の制約を組み合わせることで、許容可能なパラメータ空間の保守的な推定値を提供し、許容領域は真の95% CLで支持される領域の部分集合である。
• 複素シングレットモデル（CxSM）において、摂動的ユニタリティは厳密な境界を課す：|λ| ≲ 16.8、|δ₂| ≲ 35.6、|d₂| ≲ 25.2（四スカラー結合定数に対して）。
• 下からの有界性を制約に追加すると、許容範囲はさらに狭まり、0 ≤ λ ≲ 16.8、−13.1 ≲ δ₂ ≲ 35.6、0 ≤ d₂ ≲ 25.2 となる。
• ユニタリティ制約に対する半解析的アプローチは、特にN2HDMのような複雑なモデルでは、40×40行列の完全な固有値分解を回避することで、計算コストを顕著に削減する。
• anyHdecay ライブラリは、既存のHDECAYツールを統合した一貫したC++インターフェースを提供することで、複数のモデルにおけるヒッグス崩壊予測を高精度で実現する。
• フレームワークはモジュラー拡張をサポートしており、コアコードを変更せずに新しいBSMモデルや制約を追加可能であり、長期的な保守性と適応性を高めている。