Slowly rotating Black Holes in DHOST Theories

기술 요약: DHOST 이론에서의 느리게 회전하는 블랙홀

문제 제기
DHOST(Degenerate Higher Order Scalar-Tensor) 이론은 "기본 헤어(primary hair)"를 포함하여 수많은 정적, 구형 대칭 블랙홀 해를 산출해 왔으나, 해석적인 회전 해는 여전히 부족한 실정이다. 기존의 회전 해들은 "스텔스(stealth)" 해(메트릭이 커 메트릭과 동일한 경우)이거나, 스텔스 해에 이형 변환(disformal transformations)을 가하여 얻어지거나, 혹은 수치적으로 도출된 것들이다. 정적 배경으로부터 출발하여 DHOST 이론의 느리게 회전하는 시공간에 대한 일반적인 해석적 프레임워크가 결여되어 있었다. 본 논문은 임의의 DHOST 이론에서 느리게 회전하는 시공간의 운동 방정식을 해결하는 과제를 다루며, 특히 프레임 드래깅(frame-dragging) 함수의 적분 가능성과 각도 의존성에 대한 제약 조건을 조사한다.

방법론
저자들은 정적, 구형 대칭 배경 메트릭 $g^{(0)}_{\mu\nu}$ 주변에서 각운동각 $J$에 대한 1차 섭동으로 느리게 회전하는 시공계를 모델링하기 위해 하틀-쏜(Hartle–Thorne) 안사츠(ansatz)를 채택한다.

1. 메트릭 안사츠: 메트릭은 $g_{\mu\nu} = g^{(0)}_{\mu\nu} + J g^{(1)}_{\mu\nu} + O(J^2)$로 확장되며, 이 섭동은 $\omega(r)$에 비례하는 프레임 드래깅 항을 도입한다.
2. 운동 방정식: 저자들은 이 안사츠를 DHOST 장 방정식에 대입한다. 대각 성분 방정식($E_{tt}, E_{rr}$)과 혼합 방사-시간 방정식($E_{tr}$)은 정적 해에 의해 만족됨을 입증한다. 비자명한 역학은 비대각 성분 방정식 $E_{t\phi}$로부터 발생한다.
3. 적분 가능성 논증: $\omega(r)$에 대한 2계 미분 방정식을 직접 푸는 대신, 저자들은 선형 결합 $E_{t\phi} + \omega E_{\phi\phi}$를 고려한다. 이 결합이 총 미분 형태, 즉 $\frac{d}{dr}[Q(r)\omega'(r)] = 0$으로 축소됨을 보여준다. 여기서 $Q(r)$은 정적 배경과 특정 DHOST 라그랑지안 함수들에 의해 결정되는 함수이다.
4. 대칭성 분석: 적분 가능성은 해의 공간에서의 "이동 대칭성(shift-symmetry)"과 연결된다. $\omega$에 이차 항을 포함하도록 안사츠를 수정함으로써(이는 선형 차수에는 영향을 주지 않음), $\phi \to \phi + \omega_0 t$ 변환이 $\omega \to \omega + \omega_0$라는 이동에 대응함을 보여준다. 이 연속적인 대칭성은 보존량(Noether current)으로 직결되며, 이는 적분 가능한 형태의 방정식으로 이어진다.
5. 각도 의존성: 저자들은 $\omega$가 극각 $\theta$에 의존할 수 있도록 분석을 확장한다. $\omega(r, \theta)$를 르장드르 다항식 모드로 분해하고, 사건 지평선 및 무한 원점에서의 고차 모드($l \geq 2$)의 정칙성(regularity)을 분석한다.

주요 기여 및 결과

• 일반 적분 해: 모든 DHOST 이론(2차 및 3차)에 대하여, 프레임 드래깅 함수 $\omega(r)$은 적분 가능하다. 일반 해는 다음과 같이 주어진다:
  $$\omega(r) = k \int \frac{dr}{Q(r)}$$
  여기서 $k$는 각운동량 $J$에 비례하는 적분 상수이며, $Q(r)$은 정적 메트릭 함수($h, f$), 스칼라 장 프로파일, 그리고 DHOST 결합 함수($F_i, A_i, B_i$)들로 명시적으로 유도된다.

• 이동 대칭 이론: 이동 대칭성을 가진 이론들에서 저자들은 다음과 같은 구체적인 거동을 도출한다:

  • 2차 이동 대칭 호ndeski 이론의 경우, $Q(r) \propto r^4$이며, 이에 따라 $\omega(r) = 2J/r^3$이 된다. 이는 정적 메트릭이 슈바르츠실트와 다르더라도 커(Kerr) 해와 동일하다.
  • 호ndeski 이론과 이형 변환으로 연결된 2차 Beyond-Horndeski 이론의 경우, 프레임 드래깅 함수는 $\omega(r) = \tilde{\omega}(R(r))$로 변환된다. 여기서 $R(r)$은 이형 인자(disformal factor)에 의존한다. 점근적 평탄성은 이형 인자가 무한대에서 1로 수렴할 것을 요구하며, 이는 커와 유사한 점근적 거동을 보존한다.

• 기본 헤어 해에 대한 적용: 이 형식론은 최근 발견된 기본 헤어(질량과 독립적인 스칼라 전하)를 가진 블랙홀 해에 적용된다. 저자들은 느린 회전이 다음 사항들에 미치는 영향을 계산한다:

  • 최내곽 안정 원궤도 (ISCO): ISCO 반지름은 회전 매개변수 $a=J/M$과 헤어 매개변수 $\xi$에 따라 이동한다. 역행 궤도(retrograde)의 경우 ISCO 반지름은 회전에 따라 증가하며, 순행 궤도(prograde)의 경우 감소한다. 회전에 대한 민감도는 헤어 매개변수가 작을 때 가장 높다.
  • 원형 빛 궤적: 광자 궤도에서도 유사한 이동이 관찰되며, 궤도 반지름은 헤어 매개변수와 회전 모두에 따라 변한다.

• 각도 의존성에 대한 제약: 본 논문은 특정 하위 부류의 DHOST 이론(일반 상대론, 2차 이동 대칭 호ndeski 이론, 그리고 4D Einstein-Gauss-Bonnet)에 대해, 지평선과 무한 원점에서의 정칙성 조건이 $\omega$의 각도 의존성($\theta$-의존성)을 금지함을 보여준다.

  • 일반 상대론에서 $l \geq 2$인 모드들은 무한대에서 발산하거나 지평선에서 미분 불가능하다.
  • 연구된 DHOST 부류들에서도 유사한 분석을 통해, 메트릭의 연속성과 미분 가능성을 요구하면 모든 고차 모드($l \geq 2$)가 제거되어 표준 프레임 드래깅 항인 $l=1$ 모드만 남게 됨을 보여준다.
  • 일반적인 경우에 대한 참고: 저자들은 명시적으로 언급하기를, 일반적인 경우(특히 4D Einstein-Gauss-Bonnet)에 대해 무한대에서 발산하는 분기(branch)와 지평선에서 미분 불가능한 분기는 제거할 수 있으나, 이들이 서로 구별된다는 증명을 제공하지는 못했다. 따라서, 각도 의존성을 가진 해의 정칙한 분기가 일반적인 경우에 완전히 배제될 수 있다고 단정할 수는 없으나, GR과의 연속성을 고려할 때 부재할 것으로 예상된다.

의의
본 논문은 느리게 회전하는 DHOST 블랙홀을 규정하는 방정식이 놀라운 적분 가능성을 가지고 있음을 확립하였으며, 이를 통해 정적 해만을 바탕으로 프레임 드래킹 함수의 명시적인 해석적 표현을 도출할 수 있게 하였다. 이 결과는 특정 하위 부류나 수치적 접근법에 국한되었던 기존의 발견들을 일반화한다.

저자들은 이러한 적분 가능성이 스칼라-텐서 이론에만 국한된 것이 아니라, 다른 수정 중력 프레임워크로도 확장될 수 있음을 강조한다. 또한, 정칙성 조건에 대한 분석은 정적 섹터에 스칼라 헤어가 존재하는 경우에도 특정 DHOST 하위 부류의 회전 섹터에 대한 "무헤어(no-hair)" 특성을 강화하는 동시에, 가장 일반적인 경우를 증명하는 데 있어의 미묘한 차이를 부각시킨다. 이러한 해석적 도구들은 ISCO 및 광자 림(photon ring) 특성의 편차를 통해 DHOST 이론을 중력파 검출기(LIGO-Virgo-KAGRA) 및 사건 지평선 망원경(EHT)의 관측 데이터와 대조하여 검증할 수 있는 토대를 제공한다.