Complete Operator Basis for the modular invariant SMEFT

기술 요약: 모듈러 불변 SMEFT를 위한 완전한 연산자 기저

문제 제기
표준 모델(SM)은 입자 물리학을 성공적으로 설명하지만, 맛(flavor)의 계층 구조와 혼합 패턴의 기원은 설명하지 못한다. 최소 맛 위반(Minimal Flavor Violation, MFV)은 유카와 결합을 스퓨리온(spurion)으로 취급함으로써 이를 다루지만, 이러한 결합의 구체적인 구조를 예측하지는 못한다. 이산 맛 대칭성(예: $A_4$)은 여러 개의 플라본(flavon) 장과 특정 진공 정렬을 요구하는 경우가 많아, 파라미터 공간이 커지고 예측력이 감소하는 하향식 접근법을 제공한다. 모듈러 맛 대칭성은 유카와 결합이 모듈러스 $\tau$의 홀로모픽 모듈러 형식(holomorphic modular forms)으로부터 발생하게 함으로써 플라본의 필요성을 제거하는 대안을 제공한다. 그러나 이 프레임워크를 표준 모델 유효 장론(SMEFT)으로 확장하는 데는 다음과 같은 과제가 있다:

1. 중복성(Redundancy): 고차원 연산자를 나이브하게 구성하면 모듈러 형식 사이의 대수적 관계로 인해 선형 종속적인 구조들이 나타날 수 있다.
2. 홀로모픽성 대 비홀로모픽성(Holomorphy vs. Non-Holomorphy): 초대칭(SUSY) 이론의 초포텐셜(superpotential)은 홀로모픽이지만, 일반적인 SM 라그랑지안(및 그 유효 연산자들)은 그렇지 않다. 비홀로모픽 모듈러 형식(예: 폴리하모닉 마스 형식, polyharmonic Maaß forms)은 곱셈에 대해 닫혀 있지 않으며, 이는 제약이 없을 경우 독립적인 연산자의 무한한 증식을 초래할 수 있다.
3. 완전성(Completeness): 현대적인 계수 기법을 사용하여 차원 7까지의 모듈러 불변 SMEFT 연산자에 대한 체계적이고 유한하며 완전한 기저가 아직 완전히 확립되지 않았다.

방법론
저자들은 특정 대칭성 하에서 불변인 독립 연산자의 개수를 세우는 강력한 대수적 도구인 힐베르트 급수(Hilbert series) 기법을 사용하며, 적분에 의한 부분 적분(IBP) 및 운동 방정식(EOM)에 의한 중복성을 고려한다.

1. 모델 설정:

   • 맛 군은 쿼크와 경량 섹터에 대해 서로 다른 모듈러스를 갖는 $A_4^{(q)} \times A_4^{(e)}$로 정의된다.
   • 좌방향 페르미온은 $A_4$ 삼중항(triplet)으로 할당되며, 우방향 페르미온은 불동치인 일중항($1, 1', 1''$)으로 할당된다.
   • 힉스 이중항은 모듈러 가중치 0을 가진다.
   • MFV 유사 가정: 맛 깨짐은 오로지 모듈러스의 기대값(VEV) $\langle \tau \rangle$에 의해서만 제어된다. 모듈러 형식은 근본적인 스퓨리온 역할을 한다.
   • 홀로모픽 사례: 저자들은 차수가 1인 유카와 섹터가 홀로모픽이라고 가정한다. 고차 가중치 모듈러 형식은 기본 가중치-2 삼중항 $Y_3^{(2)}$의 대칭 텐서 곱을 통해 생성된다.
   • 비홀로모픽 사례: 저자들은 폴리하모닉 마스 형식을 고려한다. 무한한 연산자 기저의 발생을 피하기 위해, 저자들은 고차원 연산자가 $[Y_r^{(k_Y)} Y_{r'}^{(k'_Y)*} \mathcal{O}]_1$로 구성되며, 모듈러 가중치 보상은 임의의 $\text{Im}\tau$ 거듭제곱이 아닌 독립적인 모듈러 형식에 의해 완전히 공급된다는 최소한의 조직 원칙을 부과한다.

2. 계산 프레임워크:

   • 힐베르트 급수는 연속 군(로런츠 및 게이지 대칭성)과 이산 군($A_4$)에 대해 계산된다.
   • 기저를 검증하기 위해 두 가지 동등한 접근법이 사용된다:
     1. 모듈러 형식을 스퓨리온으로 취급하여 힐베르트 급수로 직접 계수하는 방법.
     2. 모듈러 형식과 장(field) 연산자의 텐서 곱을 통해 명시적으로 구성하고, 자명한 일중항(trivial singlet)으로 투영하는 방법.
   • 모듈러 형식의 특정한 $A_4$ 제약 조건(예: 가중치 2에 대해 $Y_2^2 + 2Y_1Y_3 = 0$)이 중복 구조를 제거하기 위해 명시적으로 포함된다.

주요 기여 및 결과

1. 홀로모픽 $A_4$ 모듈러 불변 SMEFT:

   • 차원-5: 저자들은 와인버그 연산자(Weinberg operator)에 대해 6개의 독립적인 연산자(3개의 복소 구조 및 그 켤레)를 식별한다. 이들은 이전의 구성(예: Ref. [89])이 모듈러 형식의 텐서 곱 사이에 존재하는 선형 종속성 때문에 중복을 포함하고 있음을 입증한다. 힐베르트 급수는 3개의 독립적인 일중항 구조 $Y_3^{(4)}[(LH)(LH)]_3$, $Y_1^{(4)}[(LH)(LH)]_1$, 그리고 $Y_{1'}^{(4)}[(LH)(LH)]_{1''}$를 정확하게 분리해낸다.
   • 차원-6: 2,961개의 독립적인 연산자에 대한 완전한 목록이 제공된다. 여기에는 다음이 포함된다:
     • 15개의 보존(bosonic) 연산자.
     • 24개의 $\psi^2 H^3$ 연산자.
     • 66개의 $\psi^2 X H$ 연산자.
     • 67개의 $\psi^2 H^2 D$ 연산자.
     • 2,789개의 사 페르미온($\psi^4$) 연산자.
   • 저자들은 바리온 수 및 레프톤 수를 보존하는 모든 차원-6 연산자를 명시적으로 구성하며, 이중항 및 사중항 구조에 대한 맛 수축(flavor contraction)을 상세히 기술한다.
   • 차원-7: 힐베르트 급수는 차원 7에서 360개의 독립적인 연산자를 산출한다.

2. 비홀로모픽 확장 (폴리하모닉 마스 형식):

   • 저자들은 모듈러 형식이 비홀로모픽인 경우를 다룬다. 비홀로모픽의 경우와 달리, 비홀로모픽 형식의 곱은 일반적으로 라플라시안 조건을 만족하지 않으므로 단일 시드(seed) 형식으로부터 생성될 수 없다.
   • 유한한 기저를 유지하기 위해, 저자들은 $[Y_r^{(k_Y)} Y_{r'}^{(k'_Y)*} \mathcal{O}]_1$이라는 안사츠(ansatz)를 채택한다.
   • Ref. [90]의 벤치마크 레프톤 모델을 사용하여, 저자들은 차원-5 와인버그 연산자와 차원-6 레프톤 연산자를 재구성한다. 저자들은 이 최소한의 가정 하에서, 구조가 벤치마크 결과를 재현하면서도 모든 비홀로모픽 조합을 독립적으로 취급할 때 발생할 수 있는 무한한 연산자 타워를 피한다는 것을 보여준다.

3. 기존 문헌과의 비교:

   • 본 연구는 Ref. [89]의 연산자 계수를 개선한다. 저자들은 [89]에서 사용된 "스트링y 인자 분해(stringy factorization)" 안사츠가 모듈러 형식의 환(ring)에 내재된 대수적 관계(곱셈 사상의 커널)를 고려하지 못해 과잉 계수(overcounting)를 초래함을 보여준다. 힐베르트 급수 방법은 이러한 중복성을 체계적으로 제거한다.

의의 및 주장
본 논문은 힐베르트 급수를 사용하여 맛 중복성을 엄격하게 처리함으로써, 모듈러 $A_4$ 맛 대칭 하에서의 SMEFT에 대한 최초의 완전하고 독립적인 연산자 기저를 제공한다고 주장한다.

• 체계적 분류: 고차원 연산자들이 $[Y_r^{(k_Y)}, Y_{r'}^{(k'_Y)*}, \mathcal{O}]_1$ 형태의 일중항으로 공식화될 수 있음을 확립한다.
• 유한한 기저: 모듈러 형식을 맛 깨짐의 유일한 원천으로 취급하고(MFV 유사 접근법), 고차원 연산자에서 명시적인 $\text{Im}\tau$ 의존성을 무시함으로써, 저자들은 비홀로모픽 사례에서도 연산자 기저가 유한하고 관리 가능하도록 보장한다.
• 예측력 대 복잡성: 저자들은 모듈러 제약이 일반적인 맛 위반 SMEFT(약 3000개에서 약 900개로 감소)에 비해 연산자 수를 줄여주기는 하지만, 그 감소 폭이 극적이지는 않다고 겸허히 언급한다. 이들의 설정에서는 계수가 약 2,961개이며, 이는 모듈러 대칭이 맛의 구조적 기원을 제공함에도 불구하고 추가적인 제약 없이는 파라미터 공간을 획기적으로 줄이지는 못함을 시사한다.
• UV 연결: 홀로모픽 구성은 F-항 상호작용으로부터 유효 연산자가 내려오는 모듈러 불변 SUSY UV 완결성과의 잠재적 연결에 의해 동기 부여되었다. 비홀로모픽 확장은 D-항 기여 또는 비-SUSY 완결성이 관련될 수 있는 시나리오를 위한 프레임워크를 제공한다.

요약하자면, 이 연구는 모듈러 $A_4$ 맛 대칭 하의 SMEFT를 위한 엄격한 수학적 토대를 제공하며, 이전의 과잉 계수 문제를 해결하고 현상학적 연구를 위한 차원 7까지의 완전한 연산자 카탈로그를 제공한다.