When Does the Non-Hermitian Effective Description Fail? A Finite-Size Reliability Map

기술 요약: 비에르미트 연산자 유효 기술은 언제 실패하는가? 유한 크기 신뢰성 지도

문제 정의
린드블라드 마스터 방정식의 노-클릭(no-click, 사후 선택된) 언라벨링으로부터 유도된 비에르미트 유효 해밀토니안 $H_{\text{eff}} = H - \frac{i}{2} \sum_j w_j L_j^\dagger L_j$는 EP(exceptional point) 센싱에서 PT 대칭 광학에 이르는 개방형 양자계 분야에서 널리 사용된다. 이 기술은 전체 무조건적 리우빌리안(unconditional Liouvillian) 진화(힐베르트 공간 차원의 제곱에 비례하여 스케일링됨)에 비해 계산 효율적인 대안을 제공하지만, 이는 조건부 노-클릭 궤적이 관측 창(observation window) 동안 무조건적 상태를 충실히 대변한다는 암묵적인 가정에 의존한다.

본 연구가 다루는 근본적인 간극은 이러한 가정이 언제 실패하는지에 대한 정량적이고 예측 가능한 기준이 결여되어 있다는 점이다. 기존 연구들은 질적인 경계(예: 약한 결합 영역 또는 순수 손실 모델에서의 EP 부재)를 설정하거나 점프를 스펙트럼에 대한 섭동적 보정으로 취급해 왔다. 그러나 어떤 선행 연구도 조건부 상태와 무조건적 상태 사이의 동역학적 거리(dynamical distance)를 위한 닫힌 형태의 분석 가능한 계수를 도출하지 못했으며, 시스템 크기($N$)에 따라 이 신뢰성이 어떻게 저하되는지 정량화하지 못했다.

방법론
저자는 트레이스 거리(trace distance) $D_{\text{dyn}}(T) = \frac{1}{2} \| \rho_{\text{uncond}}(T) - P_c(T) \|_{\text{tr}}$를 기반으로 한 신뢰성 지도를 정의한다. 본 연구는 다음과 같은 분석적 및 수치적 단계를 거친다:

1. 섭동 전개: 저자는 무차원 소산 매개변수 $K_n = \gamma/\omega$ (여기서 $\gamma$는 소산 스케일, $\omega$는 특성 주파수)의 거듭제곱에 대해 무조건적 상태 $\rho_u$와 정규화된 노-클릭 상태 $|\tilde{\psi}_c\rangle$를 전개한다.
2. 닫힌 형태의 유도: $\Delta = \rho_u - P_c$의 1차 차이를 분석함으로써, 저자는 린드블라드 슈퍼오퍼레이터의 결정론적 손실 항(반교환자)이 조건부 상태의 정규화 보정과 정확히 상쇄됨을 입증한다. 살아남은 불일치는 오직 점프 연산자의 변동성에 의해서만 발생한다. 이를 통해 다음의 닫힌 형태의 계수 $c_1$을 얻는다:
   $$c_1 = \frac{\omega}{2} \left\| \sum_j w_j \int_0^T \left[ \tilde{L}_j(\tau) \rho_0(T) \tilde{L}_j^\dagger(\tau) - \langle n_j \rangle_{T-\tau} \rho_0(T) \right] d\tau \right\|_{\text{tr}}$$
   여기서 $\tilde{L}_j$는 상호작용 그림(interaction-picture)의 점프 연산자이며, $\rho_0$는 유니터리 궤도(unitary orbit)이다.
3. 보존-적분 정리(Conservation-Integral Theorem): 들뜸 수(excitation number)를 보존하는 시스템($[H, N]=0$)과 사다리 형태의 점프 연산자(들뜸 수를 0이 아닌 정수로 변화시킴)에 대해, 저자는 $c_1$을 보존량의 단순 적분으로 환원하는 정리를 증명한다: $c_1 = 2\pi w N_{\text{exc}}$. 이 결과는 미시적 결합과는 독립적이며, 오직 보존된 들픔 수와 채널 가중치에만 의존한다.
4. 유한 크기 스케일링: 저자는 정확한 대각화(exact diagonalization)와 코너 스페이스 절단(corner-space truncation)을 사용하여 1D 소산 스핀 사슬($N=2$에서 $12$)에 대해 신뢰성을 테스트한다. 다양한 시스템 크기에 대해 교차 스케일(crossing scale) $K_D^*$ ($D_{\text{dyn}}$이 임계값을 초과하는 지점)를 추출한다.
5. 교차 플랫폼 검증: 이론은 구동되는 2준위 계(TLS), 카이랄 도파로 쌍, 그리고 이득-손실 공동(gain-loss cavity) 시스템의 세 가지 플랫폼에서 검증된다.

주요 결과

• 예측 가능한 계수: 비-에르미트 기술의 주요 실패는 $K_n$에 대해 선형적이다 ($D_{\text{dyn}} \approx c_1 K_n$). 결정적으로, $c_1$은 피팅 파라미터가 아니라 유니터리 궤도를 따르는 점프 연산자의 변동성에 의해 완전히 결정된다. 들뜸 보존 시스템의 경우, $c_1$은 정확히 $2\pi w N_{\text{exc}}$이다.
• 유한 크기 스케일링: 비-에르미트 기술의 신뢰성은 시스템 크기에 따라 저하된다. 교차 스케일은 멱법칙 $K_D^*(N) \propto N^{-1}$을 따른다. 이는 소수체 시스템에서 캘리브레이션된 약한 결합 규칙이 다체 시스템에서는 체계적으로 낙관적임을 의미하며, 올바른 제어 매개변수는 곱 $K_n N$이다.
• 예외점(EP) 분석:
  • 단일 손실 구동 TLS에서, 저자는 순수 손실 모델에 대한 "no-EP 정리"와 일치하게 EP가 존재하지 않음을 확인한다. 결과적으로 계수 $c_1$은 발산하지 않는다.
  • 이득-손실 공동 모델에서는 EP가 존재한다. 시스템이 EP에 접근함에 따라 선형 법칙이 붕괴하며, 사후 선택 비용(노-클릭 이벤트를 관찰하기 위해 필요한 궤적의 수)이 발산하여 노-클릭 기술을 실험적으로 접근 불가능하게 만든다.
• 프로토콜 민감도: 측정된 거리는 관습(관측 창, 정규화, 초기 상태 앙상블)에 매우 민감하다. 저자는 재현성을 보장하기 위해 엄격한 프로토콜(전체 주기 창, 정규화된 조건부 상태, 상태별 평균화)을 확립한다.
• 설계 규칙: 본 연구는 명시적인 전환 기준을 제공한다: 비-에르미트 기술은 $K_n < K_D^* = 0.1/c_1$ (또는 다체 시스템의 경우 $K_n N < K_D^*$)이고 점프 확률 $P_{\text{jump}} < 10\%$일 때만 신뢰할 수 있다.

의의 및 주장
본 논문은 비-에르미트 기술의 유효성을 이진적 가정에서 정량적이고 크기 의존적인 기준으로 변환하는 "유한 크기 신뢰성 지도"를 제공한다고 주장한다. 주요 기여는 다음과 같다:

1. 분석적 예측 가능성: 단순한 "약한 결합" 호소를, 실패율을 예측하기 위해 소산 시뮬레이션이 전혀 필요하지 않은, 유니터리 역학으로부터 유도된 계산 가능한 계수로 대체한다.
2. 구조적 법칙 vs 보편적 상수: 모든 플랫폼에 걸친 단일 보편적 수치 계수를 찾는 것에 반대한다. 대신, 보존량을 기반으로 플랫폼별 계수를 예측하는 "보편적 구조적 법칙(보존-적분 정리)"을 제안한다.
3. 유한 크기 보정: 비-에르미트 기술은 사후 선택 비용의 축적으로 인해 더 큰 시스템에서 더 빠르게 실패함을 입증하며, 이는 $1/N$으로 스케일링된다. 이는 왜 소수체 벤치마크가 다체 영역에서의 신뢰성을 보장할 수 없는지에 대한 엄격한 근거를 제공한다.
4. 실험적 가이드라인: EP 실험을 위한 실질적인 가이드를 제공하며, 순수 손실 모델로부터 EP 향상을 추론할 수 없음을 강조하고, 향상된 성능을 주장할 때 반드시 사후 선택 비용을 함께 보고해야 함을 명시한다.

저자는 비-에르미트 기술이 강력한 조직 원리이지만, 그 유효성은 점프 연산자의 누적된 변동성과 시스템 크기에 의해 엄격히 제한되며, 유도된 임계값을 넘어서면 전체 무조건적 리우빌리안 기술으로 전환해야 한다고 결론짓는다.