[논문 리뷰] FormFlavor Manual

Jared A. Evans, David Shih|arXiv (Cornell University)|2016. 05. 31.

Distributed and Parallel Computing Systems인용 수 5

한 줄 요약

FormFlavor는 FeynArts와 FormCalc를 통해 한 번의 루프 윌슨 계수를 자동으로 계산하고, 일주위 QCD RGE를 사용하여 그들을 고에너지 스케일에서 저에너지 스케일로 진화시키며, FFObservables 패키지를 통해 관측 가능량으로 변환함으로써 새로운 물리 모델, 특히 비최소적 플레처 위반 MSSM에서의 플레처 및 CP 관측 가능량을 계산하는 Mathematica 기반 도구이다. 이 도구는 두 가지 런닝 모드(Fast 및 Accurate)를 통해 높은 정확도와 수치적 안정성을 달성하며, 벤치마크 결과는 다른 코드들과의 강력한 일치를 보이며, 특히 ϵK 및 Bq→μ+μ−와 같은 핵심 관측 가능량에서 그 정확성과 신뢰성을 확인한다. 이는 윌슨 계수 계산의 정확성과 타당성을 입증한다.

ABSTRACT

This manual describes the usage and structure of FormFlavor, a Mathematica-based tool for computing a broad list of flavor and CP observables in general new physics models. Based on the powerful machinery of FeynArts and FormCalc, FormFlavor calculates the one-loop Wilson coefficients of the dimension 5 and 6 Standard Model effective Lagrangian entirely from scratch. These Wilson coefficients are then evolved down to the low scale using one-loop QCD RGEs, where they are transformed into flavor and CP observables. The last step is accomplished using a model-independent, largely stand-alone package called FFObservables that is included with FormFlavor. The SM predictions in FFObservables include up-to-date references and accurate current predictions. Using the functions and modular structure provided by FormFlavor, it is straightforward to add new observables. Currently, FormFlavor is set up to perform these calculations for the general, non-MFV MSSM, but in principle it can be generalized to arbitrary FeynArts models. FormFlavor and an up-to-date manual can be downloaded from: http://formflavor.hepforge.org.

연구 동기 및 목표

• 일般적인 새로운 물리 모델, 특히 상당한 플레처 위반이 있는 경우에 대해 신뢰할 수 있고 자동화된 플레처 및 CP 관측 가능량 계산 도구를 개발하는 것.
• 기존 공개 코드의 한계, 예를 들어 수치적 불안정성, 관측 가능량 부족, 잘못된 윌슨 계수 구현 등을 해결하는 것.
• FeynArts와 FormCalc를 사용하여 기본 원리에서 윌슨 계수를 계산하는 모듈러이고 확장 가능한 프레임워크를 제공하는 것.
• Passarino-Veltmann 적분에 대해 두 가지 런닝 모드(Fast 및 Accurate)를 통해 수치적 안정성과 정확도를 보장하는 것.
• 기존 결과 및 다른 공개 도구와의 비교를 통해 코드의 정확성을 검증하며, ∆mK, ϵK, Bq→μ+μ−와 같은 핵심 관측 가능량에서의 정확성을 확보하는 것.

제안 방법

• 일般적인 라그랑지안에서 출발하여 FeynArts와 FormCalc를 사용해 한 번의 루프 amplitude를 생성하고 계산함으로써, 차원 5 및 차원 6 연산자에 대한 윌슨 계수를 자동으로 유도한다.
• Passarino-Veltmann 텐서 적분을 평가하기 위해 두 가지 다른 런닝 모드(Fast 및 Accurate)를 사용하여 수치적 불안정성을 최소화한다.
• 일주위 QCD 양자역학적 재규격화군 방정식(RGEs)을 적용하여 윌슨 계수를 고에너지 스케일에서 저에너지 스케일로 진화시킨다.
• 모델에 종속되지 않는 FFObservables 패키지를 사용하여 진화된 윌슨 계수를 물리적 관측 가능량으로 변환하며, 최신 표준모형 예측과 참고 자료를 포함한다.
• 모듈러 확장 지원: 사용자는 CalcAmps 패키지와 사용자 정의 함수를 통해 새로운 관측 가능량을 추가할 수 있다.
• 기존 공개 도구(SUSY Flavor, FlavorKit) 및 문헌에서의 해석적 표현과의 비교를 통해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 FormFlavor는 일반적인 비MFV MSSM에서 플레처 위반 관측 가능량에 대해 한 번의 루프 윌슨 계수를 얼마나 정확하게 계산할 수 있는가?
• RQ2 FormFlavor의 이중 모드 통합(Fast 및 Accurate)은 기존 도구에 비해 수치적 안정성에 얼마나 기여하는가?
• RQ3 FormFlavor의 윌슨 계수 구현은 해석적 표현 및 SUSY Flavor, FlavorKit와 같은 다른 공개 도구와 비교해 어떻게 다를까?
• RQ4 이중 히iggs 펜던트 기여가 ∆mBq에 미치는 영향은 무엇이며, FormFlavor는 이를 어떻게 처리하는가?
• RQ5 FormFlavor는 ϵK, Bq→μ+μ−, 중성자 전기 dipole 모멘트 등 핵심 관측 가능량을 고정밀도로 신뢰성 있게 재현할 수 있는가?

주요 결과

• FormFlavor는 ϵK에 대한 글루아인 옥스 기여에 대해 SUSY Flavor 및 해석적 표현(Gabbiani 등)과 뛰어난 일치를 보이며, 윌슨 계수 계산의 정확성을 확인한다.
• FormFlavor와 FlavorKit 간의 ϵK 및 ∆mBq에서의 이질성은 ∆mK 정규화 처리 오류와 오류가 있는 이중 히iggs 펜던트 기여로 기인하며, 이는 FlavorKit에서 수십 배 이상 과도하게 큰 값으로 나타난다.
• FlavorKit에서 이중 히iggs 펜던트를 비활성화한 후, FormFlavor와의 일치도 크게 향상되었으며, 특히 LR 선을 따라 우수한 일치를 보이며 FormFlavor의 결과가 강인하고 신뢰할 수 있음을 시사한다.
• FormFlavor와 SUSY Flavor는 ∆mBq 및 Bq→μ+μ−에 대해 형태와 크기에서 잘 일치하지만, FlavorKit는 간섭 항의 부호 오류로 인해 LR 선에서 정성적 불일치를 보인다.
• FormFlavor는 Bq→μ+μ−에서 표준모형과 새로운 물리 기여 간의 상대 부호를 정확히 처리하며, FormFlavor와 FlavorKit는 동일한 부호를 확인한다. 반면 SUSY Flavor는 하드코딩된 공식 오류로 인해 정성적 불일치를 보인다.
• FormFlavor의 모듈러 설계 덕분에 현재 비최소적 MFV MSSM 설정을 초월한 새로운 관측 가능량 및 모델로의 확장이 간편하게 가능하다.