Healthy scalar-tensor theories with third-order derivatives: Generalized disformal Horndeski and beyond

기술 요약: 3차 미분 항을 포함하는 건강한 스칼라-텐서 이론

문제 제기
스칼라-텐서 이론은 스칼라 자유도를 도입하여 일반 상대성 이론을 확장하며, 이는 우주론적 인플레이션, 암흑 에너지, 수정 중력의 틀 역할을 한다. 호른데이스키(Horndeski) 이론은 2차 미분 방정식만을 갖는 가장 일반적인 스칼라-텐서 이론이지만, 더 높은 차수의 미분을 포함하도록 이 공간을 확장하려는 시도는 종종 오스트로그라드스키 불안정성(Ostrogradsky instability)에 직면하며, 이는 고스트 형태의 자유도를 전파하게 된다.

결함 없는 고차 미분 이론을 구축하기 위한 이전의 시도들은 세 가지 주요 전략에 의존해 왔다: (1) 공변 라그랑지안에 퇴화 조건(degeneracy conditions)을 부과하는 것(DHOST 이론), (2) 시공간 미분 동역학(diffeomorphism) 대칭성을 공간적 공변성(spatial covariance)으로 완화하는 것(공간 공변 중력), 그리고 (3) 알려진 이론에 가역적인 장 재정의(field redefinitions), 예를 들어 디스포멀 변환(disformal transformations)을 적용하는 것이다. 최근에는 호른데이스키 이론에 일반화된 디스포멀 변환(스칼라장의 고차 미분을 포함하는 변환)을 적용하여 "일반화된 디스포멀 호른데이스키(Generalized Disformal Horndeski, GDH)" 이론들이 구축되었다. 그러나 장 재정의를 통해 생성된 이론들은 가능한 모든 결함 없는 이론들의 부분 집합만을 구성한다. 따라서 디스포멀 변환을 통해 호른데이스키 이론으로부터 도달할 수 없는, 더 넓은 범위의 건강한 3차 미분 스칼라-텐서 이론이 존재하는지는 여전히 미해결 과제로 남아 있다.

방법론
저자들은 가역적인 장 재정의에 의존하지 않고, 스칼라장의 최대 3차 미분 항을 포함하는 결함 없는 스칼라-텐서 이론을 체계적으로 구축한다. 방법론은 다음과 같이 진행된다:

1. 공간 공변 프레임워크: 저자들은 유니터리 게이지(unitary gauge, 스칼라장 $\phi$가 시간 좌표 $t=\phi$와 동일한 경우) 내에서 작업한다. 작용(action)은 ADM 변수들인 래프스 함수(lapse function) $N$, 시프트 벡터(shift vector) $N^i$, 그리고 공간 메트릭 $\gamma_{ij}$로 표현된다.
2. 구성 요소(Building Blocks): 라그랑지안은 스칼라장과 메트릭으로부터 유도된 기하학적 양들을 사용하여 구축된다. 여기에는 외곡률(extrinsic curvature) $K_{ij}$, 래프스의 속도 $V$, 가속 벡터 $a_i$, 그리고 이들의 공간 미분($V_i, a_{ij}$)이 포함된다. 작용은 스칼라장의 3차 미분을 포착하기 위해 이러한 변수들에 대해 최대 2차 차수까지의 항들을 포함한다.
3. 해밀토니안 분석: 이론이 오직 하나의 스칼라와 두 개의 텐서 자유도만을 전파하도록 보장하기 위해(오스트로그라드스키 고스트 제거), 저자들은 엄격한 해밀토니안 분석[12]에서 유도된 두 가지 조건 세트를 부과한다:
   • 퇴화 조건(Degeneracy Conditions): 운동 행렬(kinetic matrix)이 퇴화되도록 하여, 추가적인 자유도를 제거하는 1차 제약 조건(primary constraints)을 생성한다.
   • 일관성 조건(Consistency Conditions): 1차 제약 조건의 시간 보존으로부터 2차 제약 조건이 발생하도록 보장하며, 이를 통해 라그랑지안의 형태를 더욱 제한한다.

주요 기여 및 결과
퇴화 및 일관성 조건의 체계적인 적용은 다음과 같은 특성을 가진 결함 없는 스칼라-텐서 이론의 일반적인 클래스를 도출한다:

• 일반적인 작용 형태: 도출된 라그랑지안은 다음과 같은 형태를 갖는다:
  $$L = K_{ij}Q^{ij} + \frac{1}{2}K_{ij,kl}Q^{ij}Q^{kl} + H_{ij,kl}^1 Q^{ij}a^{kl} + L_0$$
  여기서 $Q_{ij} = K_{ij} + U_{ij}V + \frac{1}{2}V^k_{ij}V_k$이다.
  여기서 $K_{ij,kl}$와 $H_{ij,kl}^1$은 $\gamma_{ij}$와 $a_i$로부터 구성된 일반적인 텐서이며, $t, N, Z = a_i a^i$의 13가지 임의 함수로 매개된다. 텐서 $U_{ij}$와 $V^k_{ij}$는 두 개의 자유 함수 $W_1(t, N, Z)$와 $W_2(t, N, Z)$에 의해 특징지어지는 특정 형태로 제한된다.
• 알려진 이론의 확장: 도출된 작용은 GDH 이론과 U-DHOST 이론을 특정 부분 집합으로 포함한다. 구체적으로, 계수 텐서들에 특정 형태를 선택함으로써 GDH 패밀리를 재현할 수 있다.
• 변환 특성: 저자들은 일반화된 디스포멀(GD) 변환에 따른 이 이론들의 거동을 분석한다. 그들은 이 일반적인 클래스의 이론들이 이러한 변환에 대해 안정적임을 입증한다. 결정적으로, 적절한 GD 변환을 선택함으로써 $W_1 = W_2 = 0$이 되어 $U_{ij} = V^k_{ij} = 0$이 되는 프레임으로 이동할 수 있음을 보여준다. 이 특정 프레임에서 $L_1$ 항($V$와 $V_i$에 대한 선형 항)은 부분 적분을 통해 불필요(redundant)해진다.
• 호른데이스키와의 독립성: 분석 결과, 더 넓은 이론 공간에는 호른데이스키 이론과 "디스포멀적으로 단절된(disformally disconnected)" 이론들이 포함되어 있음이 드러났다. 우주론적 해에서 결함을 보이는 일부 DHOST 이론들과 달리, 이 "GDH 너머의(beyond GDH)" 이론들은 도출된 퇴화 및 일관성 조건을 만족하는 한 설계 단계부터 건강하도록 구축되었다.

의의
본 논문은 (단순히 장 재정의에 의해 생성된 이론인) GDH나 (공간적 공변성만을 이용한) U-DHOST의 범위를 넘어, 3차 미분 항을 포함하는 건강한 스칼라-텐서 이론을 구축하기 위한 체계적인 프레임워크를 제공한다.

저자들은 자신들의 구축 방식이 다음을 수행한다고 주장한다:

1. 이론 공간의 체계적 확장: 기존에 알려진 것보다 더 넓은 범위의 결함 없는 이론 클래스를 식별하며, 특히 일반화된 디스포멀 변환을 통해 호른데이스키 이론으로부터 도달할 수 없는 이론들을 포함한다.
2. 구조 명확화: 3차 미분 항을 갖는 이론들에 필요한 퇴화 및 일관성 조건을 명시적으로 결정하며, 허용된 상호작용을 15개의 임의 함수(운동 섹터의 13개와 $Q_{ij}$의 구조를 위한 2개)로 매개한다.
3. 동등 클래스 확립: 일반적인 클래스는 매우 넓지만, 진공 이론들은 (GD 변환에 의해) 특정 함수 $W_1$과 $W_2$가 사라지는 하위 집합과 동등함을 입증한다. 그러나 저자들은 GD 변환이 물질과의 결합(coupling)을 변화시키기 때문에, 이 동등성이 물질 결합이 도입될 때 반드시 유지되는 것은 아니라고 언급한다.

결론적으로 본 논문은 진공 이론들이 구축되었으나, 우주론적 섭동(경사 불안정성 및 중력파 속도 제약 확인을 위함)을 연구하고, 일관된 물질 결합을 포함하도록 프레임워크를 확장하며, 이 더 넓은 클래스의 이론 내에서 바인슈타인 스크리닝(Vainshtein screening) 메커니즘을 조사하기 위한 후속 연구가 필요함을 밝히며 마무리된다.