Degeneracies and modelling choices in double-plane time-delay cosmography

제목: 이중 평면 시간 지연 우주론에서의 퇴화성과 모델링 선택

문제 정의
두 개의 서로 다른 적색편이를 가진 두 개의 전경 천체에 의해 빛이 렌싱되는 이중 평면 중력 렌싱은 허블 상수($H_0$)와 암흑 에너지 상태 방정식($w(z)$)을 동시에 제약할 수 있는 독특한 기회를 제공한다. 그러나 정밀한 제약은 질량 시트 퇴화(mass-sheet degeneracy, MSD)에 의해 근본적으로 제한된다. 단일 평면 렌싱에서 MSD는 이미징만으로는 절대적인 질량 프로파일을 결정하는 것을 방지한다. 이중 평면 시스템에서는 이 퇴화성이 시선 방향(line-of-sight, LOS) 물질의 존재로 인해 더욱 복잡해지며, 이는 각거리 거리를 수정하는 수렴 항(convergence terms)을 도입한다. 본 연구에서 식별된 핵심 과제는 외부 우주론적 사전 확률(priors)을 사용하여 "우주론적 스케일링 인자($\eta$)"—각거리 거리의 비율—를 고정하는 일반적인 관행이다. 저자들은 LOS 수렴 항이 측정된 렌싱 양에 흡수되기 때문에, 이러한 퇴화성으로 인한 불확실성을 고려하지 않고 $\eta$를 배경 우주론 모델에 의해 단순히 고정할 수 없다고 주장한다.

방법론
본 논문은 시선 방향의 약한 중력 렌싱 보정을 명시적으로 포함하는 이중 평면 렌싱을 위한 형식론을 개발한다.

1. 형식론 개발: 다중 평면 렌싱 방정식(Schneider 2014; Fleury et al. 2021a)을 바탕으로, 저자들은 두 개의 렌즈와 하나의 광원을 포함하는 세 개의 평면(두 렌즈, 한 광원)에 대한 렌스 방정식을 정의하며, 여기에는 LOS 수렴 항($\kappa$)이 포함된다. 저자들은 이러한 수렴 항들이 측정된 렌싱 포텐셜($\psi$), 변위각($\alpha$), 그리고 스케일링 인자($\eta$)에 암묵적으로 흡수됨을 입증한다.
2. 일반화된 질량 시트 변환(MSD): 저자들은 스케일링 인자 $\eta$가 고정되지 않고 렌싱 관측량으로부터 유도되는 자유 매개변수인 경우에 대한 이중 평면 MSD를 일반화한다. 저자들은 관측된 이미지 위치와 광원 형태를 균일한 재스케일링까지 보존하는 렌싱 포텐셜과 스케일링 인자에 대한 변환 규칙을 도출한다.
3. 시간 지연 분석: 저자들은 페르마 포텐셜(Fermat potentials)과 시간 지연 함수를 분석한다. 결정적으로, 저자들은 약한 렌싱 보정이 존재하는 상황에서도 성립하는 기하학적 관계인 "언폴딩 관계(unfolding relation, $\tau_{13}^{-1} = \tau_{12}^{-1} + \tau_{23}^{-1}$)"를 활용한다.
4. 제약 도출: 언폴딩 관계를 질량 시트 변환 프레임워크 내에서 강제함으로써, 저자들은 복잡한 시간 지연 함수가 단순화됨을 보여준다. 저자들은 시간 지연 규모 간의 기하학적 관계($\tau_{12}, \tau_{23}, \eta$)를 준수함으로써, 시간 지연 함수가 단일 시간 지연 규모로 표현될 수 있음을 입증한다. 이를 통해 시간 지연 함수의 항들 중 미지의 광원 위치 재스케일링에 의존하는 항들이 상쇄됨을 보여준다.

주요 기여 및 결과

• $\eta$에 대한 고정된 사전 확률의 거부: 본 논문은 LOS 수렴 항이 각거리 거리를 수정하여 측정된 스케일링 인자 $\eta$가 배경 우주론적 값과 달라짐을 명시적으로 보여준다. 결과적으로, LOS 불확실성을 고려하지 않고 표준 우주론적 사전 확률을 사용하여 $\eta$를 고정하는 것은 이론적으로 일관되지 않다.
• 언폴딩 관계를 통한 단순화: 저자들은 시간 지연 규모($\tau_{12}, \tau_{23}, \eta$) 사이의 기하학적 관계를 강제함으로써, 미지의 광원 위치 재스케일링에 의존하는 항들이 상쇄됨을 증명한다. 이를 통해 시간 지연 함수를 단일 시간 지연 규모로 표현할 수 있다.
• $H_0$ 불확실성의 디커플링(Decoupling): 이중 평면 렌즈로부터의 $H_0$ 측정에 대한 불확실성은 다음 요소들에 의해서만 제한된다는 것이 핵심 결과이다:
  1. 첫 번째 렌즈 평면의 질량 시트 변환 매개변수($\lambda$).
  2. 관측자와 첫 번째 광원/두 번째 렌즈 평면 사이의 LOS 수렴 기여분($\kappa_{12}^{LOS}$).
  3. 시간 지연 및 이미징의 측정 오차.
     결정적으로, 저자들은 언폴딩 관계가 강제된다면 $\eta$의 실제 값, 첫 번째와 두 번째 광원 평면 사이의 LOS 기여분($\kappa_{23}^{LOS}$), 또는 두 번째 렌즈의 질량 프로파일에 관한 불확실성이 $H_0$ 제약에 전파되지 않음을 보여준다.
• 모델링을 위한 처방: 본 논문은 이중 평면 모델의 자유도를 줄이기 위한 처방을 제공한다. 저자들은 첫 번째 렌즈 평면을 모델링하여($\lambda$를 결정하기 위해) 그리고 은하 계수나 약한 중력 렌싱을 통해 첫 번째 광원 적색편까지의 LOS 수렴을 추정함으로써 $H_0$를 제약할 수 있다고 제안한다. 이는 두 번째 렌즈의 복잡한 질량 프로파일이나 먼 광원을 완전히 해결할 필요 없이 가능하다.

의의
본 논문의 주요 의의는 이중 평면 시간 지연 우주론의 퇴화성을 다루기 위한 견고한 프레임워크를 제공한다는 점에 있다. 저자들은 LOS 효과가 스케일링 인자 및 시간 지연 규모와 어떻게 결합되는지를 명확히 함으로써, 이중 평면 시스템을 사용하여 "허블 텐션(Hubble tension)" 문제를 해결할 때 전체 이중 평면 MSD에 의해 가로막히지 않을 수 있다고 주장한다. 본 연구는 $\eta$에 대한 계통적 편향(이는 $H_0$와는 독립적임)이 기하학적 관계를 준수할 경우 $H_0$ 제약으로 전파되지 않음을 입증한다. 이러한 발견은 최근 발견된 J1721+8842와 같은 이중 평면 시스템이 $H_0$와 암흑 에너지를 동시에 독립적으로 제약할 수 있음을 시사하며, 이는 스케일링 인자에 관한 모델링 선택이 유도된 처방을 따를 때 가능하다. 저자들은 이러한 접근 방식이 MSD 보정의 무결성을 유지하면서 모델의 자유도를 안전하게 줄일 수 있게 해준다는 점을 강조한다.