[논문 리뷰] Matchmakereft: Automated tree-level and one-loop matching

Adrián Carmona, Achilleas Lazopoulos외 2명|arXiv (Cornell University)|2021. 12. 20.

Particle physics theoretical and experimental studies인용 수 4

한 줄 요약

Matchmakereft는 양자장이론 모델과 효과적장이론(EFT) 간의 최고차수 및 일중계 매칭을 완전 자동화된 도구로 제공하며, 다이어그램 방법과 게이지 불변성을 확보하기 위한 배경장 방법(BFM)을 사용한다. 이 도구는 외부 상태가 비공진 상태일 때도 매칭을 수행하며, 명시적 게이지 불변성 검증을 통해 광범위한 교차 확인을 수행한다. 결과는 물리 기저, 그린 기저, 캐논리컬 정규화 이후의 기저에서 제공되어, 일중계 재규격화, 기저 변환, 연산자 독립성 검증 등의 응용이 가능하다.

ABSTRACT

We introduce matchmakereft, a fully automated tool to compute the tree-level and one-loop matching of arbitrary models onto arbitrary effective theories. Matchmakereft performs an off-shell matching, using diagrammatic methods and the background field method when gauge theories are involved. The large redundancy inherent to the off-shell matching together with explicit gauge invariance offers a significant number of non-trivial checks of the results provided. These results are given in the physical basis but several intermediate results, including the matching in the Green basis before and after canonical normalization, are given for flexibility and the possibility of further cross-checks. As a non-trivial example we provide the complete matching in the Warsaw basis up to one loop of an extension of the Standard Model with a charge -1 vector-like lepton singlet. Matchmakereft has been built with generality, flexibility and efficiency in mind. These ingredients allow matchmakereft to have many applications beyond the matching between models and effective theories. Some of these applications include the one-loop renormalization of arbitrary theories (including the calculation of the one-loop renormalization group equations for arbitrary theories); the translation between different Green bases for a fixed effective theory or the check of (off-shell) linear independence of the operators in an effective theory. All these applications are performed in a fully automated way by matchmakereft.

연구 동기 및 목표

• UV 모델과 EFT 간의 나무계수 및 일중계 매칭 계산을 자동화하는 것.
• 비공진 상태 매칭과 명시적 게이지 불변성 검증을 통해 강건성과 일관성을 확보하는 것.
• 물리 기저, 그린 기저, 캐논리컬 기저 등 다양한 기저에서 결과를 제공하여 교차 확인 및 유연성을 확보하는 것.
• 매칭을 넘어서 일중계 재규격화, 기저 변환, EFT 내 연산자 독립성 검증 등의 응용을 포함하는 것.
• 체계적이고 재현 가능하며 효율적인 EFT 계산을 가능하게 하여 고에너지 현상물리학의 모델 구축을 지원하는 것.

제안 방법

• 게이지 이론에서 명시적 게이지 불변성을 유지하기 위해 배경장 방법(BFM)을 사용하는 다이어그램 방법을 활용해 일중계에서의 진폭을 계산한다.
• 모든 외부 상태가 비공진 상태일 때 UV 모델과 EFT 모델 간의 진폭을 비교하여 비공진 상태 매칭을 수행함으로써 일관성 검증을 강화한다.
• YAML 및 파이썬 기반 설정 파일을 사용해 유연한 모델 정의 프레임워크를 도입하여 필드, 게이지 구조, 상호작용를 정의한다.
• 't Hooft-Veltman 체계에서 일관성을 유지하기 위해 차원 정규화와 투영 기법을 사용해 γ5 및 임의의 연산자들을 체계적으로 처리한다.
• 자동으로 그린 기저에서의 매칭을 정규화 이전과 이후에 모두 계산하여 직접 비교 및 오류 검증이 가능하게 한다.
• 명령행 인터페이스와 파이썬 모듈을 노출하여 더 큰 계산 워크플로우 및 자동화된 파ip라인에의 통합을 지원한다.

실험 결과

연구 질문

• RQ1 어떻게 체계적이고 자동화된 방식으로 UV 모델과 EFT 간의 일중계 매칭을 수행하면서도 게이지 불변성을 유지할 수 있는가?
• RQ2 비공진 상태 매칭과 명시적 게이지 불변성 검증은 윌슨 계수 계산의 검증 및 교차 확인에 어떤 역할을 하는가?
• RQ3 동일한 프레임워크가 매칭을 넘어서 일중계 재규격화, 기저 변환, EFT 내 연산자 독립성 검증까지 자동화할 수 있는가?
• RQ4 차원 정규화 내에서 γ5 문제와 임의의 연산자들이 일중계 계산에서 어떻게 체계적으로 다뤄질 수 있는가?
• RQ5 벡터-유사 렙톤 싱게트와 같은 모델 특성은 일중계에서 도출되는 EFT의 구조에 어떤 영향을 미치는가?

주요 결과

• Matchmakereft는 표준모형의 전하 -1인 벡터-유사 렙톤 싱게트를 추가한 확장 모델을 SMEFT의 워싱턴 기저에 대해 완전한 일중계 매칭을 성공적으로 수행하였다.
• 이 도구는 SMEFT 내 모든 보존자, 이페르미온, 네페르미온 연산자와 그 윌슨 계수를 포함해 일중계까지의 결과를 명시적으로 제공한다.
• 임의의 연산자와 γ5의 처리가 차원 정규화 내에서 체계적으로 이루어졌으며, 연산자 혼합에 대한 전용 검증도 수행되었다.
• 동일한 매칭 기계를 통해 임의의 이론에 대해 자동으로 일중계 재규격화, 즉 일중계 RGE 계산이 가능해졌다.
• 다양한 그린 기저 간 기저 변환(예: 그린 기저에서 물리 기저로의 변환)이 자동으로 수행되며, 일관성 검증을 통해 확인되었다.
• 비공진 상태 매칭을 통해 연산자 간 선형 종속성을 탐지함으로써, EFT 내에서 중복되는 연산자를 체계적으로 식별하는 방법을 제공한다.