[논문 리뷰] ScannerS: Parameter Scans in Extended Scalar Sectors

Margarete Mühlleitner, Marco O. P. Sampaio외 2명|arXiv (Cornell University)|2020. 07. 06.

Particle physics theoretical and experimental studies인용 수 6

한 줄 요약

ScannerS–2는 이중 스칼라 섹터를 가진 BSM 모델에서 매개변수 스캔을 수행하기 위한 공개된 계산 프레임워크로, 이론적 및 실험적 제약 조건을 통합하여 약 95% 신뢰수준에서 허용 가능한 매개변수 점을 식별한다. 이 프레임워크는 모듈식 제약 조건을 통해 효율적이고 점별로 모델 점을 검증할 수 있으며, 싱게트 확장, 2HDM, N2HDM 단계 등 다양한 BSM 모델을 지원한다. 또한 마이크로소프트 수학 소프트웨어 기반 도구를 통해 분석적이고 편미분 단위성 검증을 수행하여 4차 상호작용 상수에 대한 빠르고 정확한 경계를 제공한다.

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 모델을 지원하는 것.
• 마이크로소프트 패키지를 통한 반분석적 편미분 단위성 경계를 통합하여 스캔의 효율성과 정확성을 향상시키는 것.
• 모듈식 코드 아키텍처를 통해 새로운 모델과 제약 조건을 쉽게 확장할 수 있도록 하는 것.

제안 방법

• ScannerS–2는 모델 매개변수 공간에서 무작위 매개변수 스캔을 수행하며, 각 점을 전역 우도를 구성하는 대신 개별 제약 조건에 대해 테스트한다.
• 편미분 단위성, 아래에서의 유계성, 진공 안정성, 전자약력 정밀도, 플레이저 물리, 힉스 탐색, 전기적 이분극도 모멘트(EDM), 암흑 물질, 일阶 전자약력 상전이 등 다양한 제약 조건을 적용한다.
• 제약 조건은 95% 신뢰수준 또는 이론적 배제 기준으로 평가되며, 세 가지 심각도 수준을 가진다: 적용(강제), 무시(기록은 하지만 강제하지 않음), 건너뛰기(건너뛰기).
• 프레임워크는 HDECAY 기반 도구를 사용하여 다양한 모델(예: SM, R2HDM, CxSM, N2HDM, C2HDM)에서 힉스 붕괴 비율과 폭을 계산하기 위해 anyHdecay 라이브러리를 사용한다.
• 편미분 단위성 경계를 위한 반분석적 접근을 위해 전용 마이크로소프트 패키지인 PerturbativeUnitarity.m을 사용하여 2→2 산란 행렬의 고유값을 분석적으로 계산함으로써 4차 상호작용 상수에 대한 반분석적 단위성 경계를 유도한다.
• 코드는 확장 가능하다: 사용자는 모듈식 인터페이스를 통해 새로운 모델과 제약 조건을 추가할 수 있으며, 사용자 정의 매개변수 스캔 및 제약 조건 구현을 지원한다.

실험 결과

연구 질문

• RQ1 다양한 이론적 및 실험적 제약 조건을 고려하면서도 확장된 스칼라 섹터를 가진 BSM 모델의 허용 가능한 매개변수 점을 효율적으로 식별할 수 있는 매개변수 스캔 프레임워크는 어떻게 설계될 수 있는가?
• RQ2 수치적 대각화 방법과 비교했을 때 반분석적 편미분 단위성 경계는 스캔의 효율성과 정확성에 어떤 영향을 미치는가?
• RQ3 복소 싱게트 확장, 2HDM, N2HDM와 같은 다양한 BSM 모델이 통합된 프레임워크에서 동일한 제약 조건 검증을 통해 어떻게 행동하는가?
• RQ4 ScannerS–2 프레임워크는 전역 최적 적합 통계에 의존하지 않고 벤치마크 시나리오 생성을 얼마나 잘 지원할 수 있는가?
• RQ5 모듈식 유지보수 가능한 방식으로 새로운 모델과 제약 조건을 어떻게 확장할 수 있는가?

주요 결과

• ScannerS–2는 개별 제약 조건을 조합하여 허용 가능한 매개변수 공간을 보수적으로 추정하며, 허용 영역은 실제 95% 신뢰수준에서 선호되는 영역의 부분집합이다.
• 복소 싱게트 모델(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 모델과 제약 조건을 추가할 수 있으며, 장기적인 유지보수성과 적응 가능성 향상에 기여한다.