As above, so below: assessing extremeness of the neutron-star equation of state based on the unstable branch

기술 요약: 불안정 분기(Unstable Branch)를 기반으로 한 중성자별 상태 방정식의 극단성 평가

문제 제기
중성자별(NS) 물질에 대한 미시물리 모델은 천체 관측 데이터를 해석하는 데 필수적이지만, 일반적으로 안정적인 중성자별이 도달하는 최대 밀도까지만 구축되고 검증된다. 이 밀도를 초과하는 상태 방정식(EoS)의 거동은 역사적으로 제약이 없거나 모델의 원래 궤적을 따르는 것으로 가정되어 왔다. 그러나 EoS는 궁극적으로 매우 높은 밀도($n \sim 20\text{--}40 n_{\text{sat}}$)의 섭동 양자 색역학(pQCD) 영역에 연결되어야 한다. 이 연결이 인과적이고, 안정적이며, 열역학적으로 일관되어야 한다는 요구 조건은 현상론적 모델이나 pQCD 계산이 직접적으로 적용되지 않는 중간 밀도 영역의 EoS에 대해서도 제약을 부과한다. 본 논문은 표준 강입자 모델이 안정적인 중성자별의 최대 중심 밀도까지 확장될 때, 물리적으로 타당한 pQCD 영역으로의 연속성을 암시하는지, 아니면 "극단적이고" 불가능해 보이는 거동을 필요로 하는지를 조사한다.

방법론
저자들은 유효한 EoS 확장의 공간을 샘플링하기 위해 비매개변수적(non-parametric)이고 모델 불가지론적인(model-agnostic) 접근 방식을 채택하였다. 방법론은 다음과 같다:

1. 프레임워크: 가우시안 프로세스 브리지(Gaussian-process bridge, GPB)를 활용하여 모델의 종료 밀도($n_{\text{term}}$)와 pQCD 한계인 $n_{\text{pQCD}} = 30 n_{\text{sat}}$를 연결하는 대규모 EoS 확장 앙상블을 생성한다.
2. 제약 조건: 샘플링은 기계적 안정성, 인과성(음속 $c_s \leq 1$), 그리고 열역학적 일관성을 강제한다. 확장은 상관 길이(correlation lengths)를 부여하기 위해 확산(diffused)되며, 이를 통해 모델에서 확장 구간으로 넘어가는 전환점에서 날카로운 특징을 허용하면서도 pQCD 한계를 향해 매끄러운 거동을 보장한다.
3. pQCD 텐션 지수($I_{\text{pQCD}}$): 연결의 "극단성"을 정량화하기 위해, 저자들은 Komoltsev & Kurkela (2022) 및 Komoltsev et al. (2024)에서 정의된 지수를 사용한다. 이 지수는 저밀도와 고밀도 지점을 연결하기 위해 요구되는 최소 또는 최대 압력 차이 구조에 유효한 EoS 확장이 얼마나 가까운지를 측정한다. $I_{\text{pQCD}} \approx 1$은 최대 강성(stiffness) 또는 강한 상전이가 필요한 연결을 나타낸다.
4. 모델 선택: CompOSE 데이터베이스에서 추출한 냉각된 $\beta$-평형 EoS의 대표 집합을 다음 범주로 분류하여 선정하였다:
   • 순수 강입자 모델: 미시적 계산(APR, BL(chiral)), 비상대론적 밀도 범함수(Sly4, BSk24), 상대론적 밀도 범함수(DD2, SFHo, FSU2R).
   • 추가 자유도가 포함된 모델: 쿼크 물질(QHC18, V-QCD), 하이퍼론(DDHdeltaY4, CMF-7), 쿼크요니온(quarkyonic) 물질을 포함하는 모델.
5. 분석: 연구는 두 가지 종료 지점으로부터의 확장을 조사한다: 전형적인 $1.4 M_\odot$ 별의 중심 밀도와 각 모델이 지지하는 가장 질량이 큰 안정적인 별의 최대 중심 밀도($n_{\text{TOV}}$).

주요 결과

1. 전형적 밀도 ($1.4 M_\odot$): 모델이 $1.4 M_\odot$ 별의 중심 밀도까지만 신뢰될 경우, pQCD 영역으로의 요구되는 확장은 비교적 제약이 적다. 모든 르노말리제이션 스케일($X$)에 대해 다양한 음속 프로파일과 트레이스 아노말리(trace anomalies)를 포함한 넓은 범위의 거동이 pQCD 제약과 일치한다.
2. 최대 밀도 ($n_{\text{TOV}}$): 모델이 최대 질량 밀도까지 유효하다고 가정할 때 상황은 급격히 변한다.
   • 순수 강입자 모델: 대부분의 순수 핵자 모델(Sly4, BSk24, DD2, SFHo, BL)은 더 높은 값의 pQCD 르노말리제이션 스케일($X_{\text{high}}$)과 호환되지 않는다. 허용된 낮은 $X$ 값들에 대해서는, 확장이 $n_{\text{TOV}}$ 직후에 급격하고 극적인 연화(softening)를 필요로 한다. 이는 강한 1차 상전이와 유사한 밀도 점프($\Delta n \approx 15 n_{\text{sat}}$)와 불안정 분기로 진입하는 질량-반경 관계의 꺾임(kink)으로 나타난다.
   • FSU2R 예외 사례: FSU2R 모델은 $n_{\text{TOV}}$까지 양의 트레이스 아노말리를 보이며 부드러운 거동을 나타내므로 전체 범위의 $X$에 대한 확장을 허용한다. 그러나 저자들은 이 모델이 NICER 관측 결과와 충돌하는 12 km 이상의 반경을 예측한다는 점을 언급한다.
   • 추가 자유도가 포함된 모델: 쿼크, 하이퍼론 또는 쿼크요니온 물질을 포함하는 모델들은 일반적으로 $n_{\text{TOV}}$에 도달하기 전에 연화된다. 따라서 이들은 순수 강입자 모델이 겪는 $n_{\text{TOV}}$ 직후의 극적이고 우연적인 1차 상전이와 같은 거동을 필요로 하지 않는다. 이들의 pQCD로의 확장은 덜 제한적이다.
3. 정량적 경향: $I_{\text{pQCD}}$ 지수를 통해 전체 Compose 데이터베이스를 분석한 결과, $n_{\text{TOV}}$까지 신뢰되는 순수 강입자 EoS들은 $I_{\text{pQCD}} = 1$ 근처에 밀집되어 있으며, 이는 일반적인 강한 1차 상전이와 같은 극단적인 거동의 요구를 나타낸다. 반면 연화 기작을 가진 모델들은 더 낮은 $I_{\text{pQCD}}$ 값에 밀집되어 있다.

의의 및 주장
본 논문은 안정적인 중성자별 물질을 pQCD 영역에 인과적이고 열역학적으로 일관되게 연결해야 한다는 요구 조건이 미시물리 모델을 선별하는 강력한 필터 역할을 한다고 주장한다. 저자들의 주장은 다음과 같다:

• 순수 핵자 모델이 최대 질량 밀도까지 유효하다고 가정할 경우, 매우 특이하고 "인위적인" 거동을 함의한다: 즉, 별이 최대 질량 한계에 도달하는 순간과 우연히 일치하여 강한 1차 상전이가 발생하는 것이다. 저자들은 이러한 우연성이 매우 희박하다고 간주한다.
• 결과적으로, 본 연구는 모든 안정적인 질량 중성자별에 대한 순수 핵자 묘사를 부정한다.
• 연구 결과는 pQCD 제약에 대한 극단적이고 우연적인 확장을 피하기 위해, $M_{\text{TOV}}$ 아래에서 EoS를 연화시키는 추가적인 자유도(쿼크 또는 하이퍼론 등)의 출현을 지지한다.
• 이 작업은 GPB 프레임워크와 $I_{\text{pQCD}}$ 지수를 통해 이러한 제약을 구축하고 시각화하는 도구를 제공하며, QCD의 근본적인 제약을 준수하는 향후 EoS 모델 구축에 가이드를 제공한다.

저자들은 특정 유형의 새로운 물질을 식별하겠다고 주장하는 것이 아니라, 순수 강입자 모델에 가해지는 pQCD 일관성의 극단적인 제약을 피하기 위해서는 $M_{\text{TOV}}$ 아래에서의 어떤 연화 메커니즘이 반드시 필요함을 단언한다.