표준모형에 실린 실수 게이지 싱글릿 하나·두 개의 스칼라 리 점 대칭 전전

본 논문은 실수 게이지 싱글릿 스칼라를 하나 혹은 두 개 추가한 표준모형(SM+S, SM+2S)의 스칼라 리 점 대칭을 전면적으로 분류하고, 실용적인 대칭 판별 알고리즘을 제시한다. 서론에서는 싱글릿 확장이 다크 물질 후보와 전이적 전기역학 상전이(강한 1차 상전이) 등에 미치는 물리적 동기를 설명하고, 연속 대칭이 파라미터 공간을 제한하고 보존 전류를 제공함을 강조한다. 이어서 리 점 대칭 이론을 간략히 복습하고, 특히 변분 대칭(엄격 변분, 발산)과 비변분 대칭을 구분한다. 변분 대칭은 Noether 정리와 연결돼 보존 전류를 제공하며, 발산 대칭은 라그랑지안이 총 미분 항만 변하는 경우이다. 비변분 대칭은 오일러–라그랑지 방정식만을 보존한다. 핵심 이론 섹션(2.4)에서는 라그랑지안 L=T−V 형태를 가정하고, V가 필드 φ1,…,φm에 대한 다항식, T가 필드와 그 도함수들의 다항식이라고 설정한다. 여기서 affine 재정규화 φ→Aφ+b (A는 직교 행렬, b는 상수 벡터)를 적용하면, 대칭 유형이 보존된다는 정리를 증명한다. 이 정리는 이후 SM+S와 SM+2S의 구체적 분석에 기반이 된다. SM+S 섹션(3)에서는 라그랑지안을 φ (표준 힉스 이중쌍)와 싱글릿 s로 구성한다. 라그랑지안에 포함되는 모든 3차·4차 상호작용 계수를 λϕϕs, λsss 등으로 명명하고, 결정 방정식 없이 파라미터 관계만으로 대칭을 판별한다. 주요 결과는 다음과 같다. (i) 모든 λ가 일반적인 경우에는 오직 평행 이동 대칭(시간·공간 전이)만 존재한다(비변분 대칭). (ii) λsϕϕ=0이면 s와 φ 사이의 혼합 항이 사라져, s에 대한 독립적인 스케일 변환이 엄격 변분 대칭으로 등장한다. (iii) Z2 대칭(s→−s)이 강제되면 λsss=0이 되고, 이는 추가적인 엄격 변분 대칭을 제공한다. 각 경우에 대한 대칭 대수의 차원과 생성자를 표 3.1에 정리한다. 또한 알고리즘 3.4를 통해 주어진 파라미터 집합에 대해 자동으로 대칭 대수를 출력할 수 있다. SM+2S 섹션(4)에서는 두 실수 싱글릿 s1, s2를 도입하고, 일반적인 O(2) 회전 대칭을 포함한다. 라그랑지안은 φ, s1, s2에 대한 2차 질량항과 4차 포텐셜 λ1111 s1^4, λ1122 s1^2 s2^2, λ1222 s1 s2^3 등 총 6개의 독립 계수를 가진다. 저자는 이 계수들의 영/비영 여부에 따라 네 개의 브랜치(I–IV)를 정의하고, 각 브랜치마다 가능한 대칭을 상세히 분석한다. 예를 들어 브랜치 I(λ1111≠0, λ1122≠0)에서는 O(2) 회전 대칭이 깨지며, 비변분 대칭만 남는다. 브랜치 II(λ1111=0, λ1122≠0)에서는 s1에 대한 독립적인 스케일 변환이 엄격 변분 대칭으로 나타난다. 브랜치 III와 IV는 각각 λ1111≠0, λ1122=0 및 두 계수 모두 0인 경우로, 전자는 s2에 대한 스케일 변환, 후자는 전체 O(2) 회전 대칭을 제공한다. 각 브랜치에 대한 대칭 대수는 4.5절에 표 4.2~4.4로 정리된다. 알고리즘 4.6은 파라미터 입력 → affine 재정규화 → 브랜치 판별 → 대칭 대수 반환의 흐름을 갖는다. 이 절차는 복잡한 결정 방정식 풀이를 회피하고, 단순한 논리 연산만으로 O(1) 시간에 결과를 얻는다. 구현은 Mathematica 기반 SYM 패키지와 연동되며, 사용자는 모델 파라미터를 입력하기만 하면 자동으로 엄격 변분, 발산, 비변분 대칭을 모두 확인할 수 있다. 마지막 섹션(5)에서는 연구 결과를 요약하고, 제시된 일반 정리가 다른 다중 스칼라 모델(예: 2HDM, NMSSM 등)에도 적용 가능함을 강조한다. 또한 향후 연구 방향으로는 양자 레벨에서의 이상(anomaly) 검토, RG 흐름 하에서 대칭 보존 여부, 그리고 비선형(일반화된) 리 점 대칭 탐색을 제시한다. 부록 A에서는 브랜치 I–IV 외에 발생 가능한 특수 파라미터 조합에 대한 상세 계산을 제공한다. 전반적으로 이 논문은 표준모형에 실린 실수 싱글릿 스칼라 확장의 대칭 구조를 완전하고 체계적으로 정리함으로써, 모델 빌더와 현상학자에게 파라미터 선택 시 대칭을 명시적으로 고려할 수 있는 강력한 도구와 이론적 기반을 제공한다.