A Zoo of Fermionic Relative Rényi Negativities in the Sachdev-Ye-Kitaev Models

기술 요약: SYK 모델에서의 페르미온적 상대 레니 부정성(Relative Rényi Negativities)의 다양성

문제 정의
강상관 페르미온 계의 혼합 상태(mixed states)에서 양자 얽힘을 특성화하는 것은 여전히 중요한 과제로 남아 있다. 순수 상태(pure states)의 경우 본 엔트로피(von Neumann entanglement entropy)는 잘 정의되어 있지만, 혼합 상태에서는 열적 기여와 얽힘 기여가 혼재된다. 로그 부정성(logarithmic negativity), $N_A = \ln \|\rho^{T_A}\|_1$은 혼합 상태를 위한 표준적인 얽힘 모노톤(entotone)이지만, 상호작용하는 계에서 이를 평가하는 것은 일반적으로 exact diagonalization을 통한 작은 시스템 크기로 제한되는 등 계산적으로 매우 까다롭다.

기존의 대안들인 untwisted 및 twisted Rényi 부정성($N_A^{(2n)}$ 및 $\tilde{N}_A^{(2n)}$)은 계산 가능한 프록시(proxy)를 제공한다. 그러나 이러한 양들은 분리 가능한 상태(separable states)에 대해서도 양수 값을 가질 수 있다는 결정적인 한계가 있으며, 이는 이들이 엄격한 의미의 얽힘 증거(entanglement witness)로서 기능하지 못함을 의미한다. 또한, 페르미온 계에서 부분 전치(partial transpose) $\rho^{T_A}$는 일반적으로 비에르미트(non-Hermitian) 성질을 가지며, 이는 Rényi 비율로부터 로그 부정성을 복원하기 위해 필요한 해석적 연속(analytic continuation)을 어렵게 만든다.

방법론
저자들은 페르미온 혼합 상태의 엄격한 얽힘 증거 역할을 하도록 설계된 **상대 레니 부정성(relative Rényi negativities)**이라 명명된 새로운 계열의 관측량을 도입한다.

1. 프로브(Probes)의 구성:
   저자들은 페르미온 부분 전치의 풍부한 구조를 활용한다. 크기 수퍼오퍼레이터(size superoperator) $S_A$를 통해 부분 시간 역전 연산 $T_A$를 정의함으로써 ($T_A = e^{i\frac{\pi}{2}S_A}$), 저자들은 밀도 행렬의 대수적 성질과 연산자 크기 사이의 연결 고리를 확립한다.
   저자들은 시퀀스 $f \in \{+, -\}^{2n}$에 의해 정의된 다양한 순서로 부분 전치된 밀도 행렬 $\rho^{T_A}$와 그 에르미트 켤레 $(\rho^{T_A})^\dagger$의 곱의 트레이스(trace)를 취함으로써 일반화된 Rényi 모멘트 $M_A^f$를 구성한다.
   상대 레니 부정성은 다음과 같이 정의된다:
   $$P_A^f \equiv -\ln \left( \frac{|M_A^f|}{M_A^{f_t}} \right)$$
   여기서 $f_t = (+, -, +, -, \dots)$는 교대 부호 시퀀스(즉, "twisted" 케이스)를 나타낸다. 일반화된 횔더 부등식(Hölder inequality)에 의해 $P_A^f \geq 0$이며, 상태가 분리 가능할 때만 $P_A^f = 0$이 된다. 따라서 0이 아닌 모든 값은 얽힘을 입증한다.

2. 경로 적분 표현(Path-Integral Representation):
   상호작용하는 모델에서 이 양들을 평가하기 위해, 저자들은 고정된 정수 복제 수(replica numbers)에 대한 모멘트 $M_A^f$의 경로 적분 표현을 유도한다. 수퍼오퍼레이터 $T_A$와 $T_A^{-1}$의 삽입은 수정된 경계 조건 및 허수 시간 경로 적분에서의 이점 함수(two-point functions)로 매핑된다. 구체적으로, 수퍼오퍼레이터의 효과는 서브시스템 $A$에 대한 수정된 자유 그린 함수 $G_{A}^{f,0}$에 반영되며, 서브시스템 $B$는 표준적인 자유 전파를 유지한다.

3. SYK 모델에서의 대규모 $N$ 확장(Large-$N$ Expansion):
   이 프레임워크는 Sachdev-Ye-Kitaev (SYK) 모델과 Maldacena-Qi 결합 SYK 모델에 적용된다. 대규모 $N$ 사델-포인트 근사(saddle-point approximation)를 사용하여, 저자들은 $2n$ 개의 복제본을 가진 복소 컨투(complex contours) 상에서 바이로컬 필드(bilocal fields, 즉 그린 함수 $G$와 자기 에너지 $\Sigma$)를 해결한다. 무질서 평균 분배 함수(disorder-averaged partition functions)는 유효 작용량 $S_{G\Sigma}$를 최소화함으로써 계산된다.

주요 결과

• 얽힘 증거로서의 검증: 저자들은 기존의 Rényi 부정성 비율(예: $\tilde{R}_A^{(4)}$)은 분리 가능한 상태에서도 양수일 수 있는 반면, 상대 레니 부정성 $P_A^f$는 분리 가능한 상태에서 엄격히 0이 되어 유효한 얽힘 증거가 됨을 입증한다.
• 단일 SYK 모델에서의 거동:
  • "최소 편차(minimal-deviation)" 시퀀스(부호 반전이 단 하나인 경우, 예: $f=(+,+,+,-)$)의 경우, 상대 부정성은 온도가 증가함에 따라 단조 감소한다. 이러한 거동은 얽힘 측정치에 대한 물리적 기대와 일치하며, 이 특정 계열의 멤버들이 로그 부정성의 타당한 프록시임을 시사한다.
  • "untwisted" 시퀀스($f=(+,+,+,+)$)의 경우, 저자들은 **1차 얽힘 전이(first-order entanglement transitions)**를 관찰한다. 저온에서 분배 함수에 대해 여러 사델-포인트 해가 공존한다. 물리적 해는 가장 낮은 온-쉘 작용량(on-shell action)을 가진 사델에 의해 결정된다. 이 사델들 사이의 지배력 교체(exchange of dominance)는 단순한 열역학적 관측량으로는 보이지 않는 불연속적인 점프, 즉 전이를 초래한다.
• 결합된 SYK 모델에서의 거동:
  Maldacena-Qi 모델(두 개의 결합된 SYK 시스템)에서, 상대 레니 부정성은 온도가 낮아짐에 따라(또는 역온도 $\beta J$가 증가함에 따라) 두 번의 연속적인 1차 전이를 드러낸다.
  • 첫 번째 전이(상대적으로 낮은 $\beta J$에서 발생)는 참조 분배 함수의 열적 상전이(Hawking-Page 전이와 관련됨)로부터 기인한다.
  • 두 번째 전이(더 높은 $\beta J$에서 발생)는 상대 레니 부정성 자체에 내재된 것으로, 분자 분배 함수의 지배적인 사델의 변화에서 비롯된다. 이는 저온 상에서 복제 간 상관관계(inter-replica correlations)의 질적인 변화를 시사하며, 복제들이 거의 독립적인 쌍으로 조직됨을 의미한다.

의의 및 주장
본 논문은 상대 레니 부정성이 강상관 페르미온 계의 혼합 상태 얽힘을 조사하기 위한 견고하고 계산 가능한 프레임워크를 제공한다고 주장한다. 페르미온 부분 시간 역전을 크기 수퍼오퍼레이터와 연결함으로써, 저자들은 exact diagonalization 없이도 대규모 $N$ 확장을 통해 열적 상태에서 이러한 양들을 평가할 수 있게 하였다.

주된 의의는 단순한 열역학적 관측량으로는 탐지할 수 없는 얽힘 전이를 발견했다는 점에 있다. 경쟁하는 복제 사델(replica saddles)의 존재는 상대 레니 부정성에서 1차 전이를 초래하며, 이는 이 양들이 새로운 클래스의 상전이를 위한 효과적인 자유 에너지 역할을 할 수 있음을 시사한다. 저자들은 이 계열의 "최소 편차" 멤버들이 로그 부정성의 유망한 프록시를 제공하며, 전체 "다양성(zoo)"은 양자 다체계에서의 얽힘과 복제 상관관계의 더 풍부한 구조를 드러낸다고 상정한다.