Quantifying mixed-state entanglement via partial transpose and realignment moments

기술 요약: 부분 전치 및 재정렬 모멘트를 통한 혼합 상태 얽힘의 정량화

문제 정의
혼합 양자 다체 시스템에서 얽힘을 정량화하는 것은 여전히 매우 어려운 문제이며, 특히 실험적 노이즈로 인해 상태가 혼합되는 NISQ(Noisy Intermediate-Scale Quantum) 장치의 맥락에서 더욱 그러하다. 순수 상태의 얽힘은 얽힘(레니) 엔트로피와 같은 척도로 잘 특징지어지는 반면, 이를 혼합 상태로 확장하는 데는 상당한 장애물이 존재한다. 표준 지표인 부분 전치(Partial Transpose, PT) 네거티비티(또는 로그 네거티비티)는 부분 전치의 완전한 대각화를 요구하며, 이는 지수적으로 많은 비용이 든다. 또한, PT 네거티비티를 실험적으로 측정하기 위해서는 일반적으로 전체 상태 토모그래피(full-state tomography)가 필요하다. 기존의 노력들은 저차 모멘트나 양의 사상(positive maps)을 이용한 이진 얽힘 탐지에 집중했으나, 이는 대규모 노이즈 시스템에서 얽힘의 정도나 얽힘 차원을 특징짓는 정량적 능력이 부족하다.

방법론
저자들은 부분 전치의 모멘트와 재정렬 행렬(realignment matrix)로부터 구축된 정량적 얽힘 증인(quantitative entanglement witnesses) 계열을 도입한다. 이들은 다음과 같이 정의된다:

1. $p_\alpha$-네거티비티 ($E_\alpha$): PT 모멘트 $p_\alpha = \text{tr}((\rho^\Gamma)^\alpha)$로부터 유도된다. 구체적으로, $E_\alpha(\rho) = \frac{1}{2-\alpha}[\ln(\tilde{p}_\alpha) + (\alpha-1)S_2(\rho)]$이다. 여기서 $\tilde{p}_\alpha = \text{tr}(|\rho^\Gamma|^\alpha)$이고 $S_2$는 2-레니 엔트로피이다.
2. $r_\alpha$-네거티비티 ($C_\alpha$): 재정렬 모멘트 $r_\alpha = \text{tr}((R_\rho^\dagger R_\rho)^{\alpha/2})$로부터 유도된다. 여기서 $R_\rho$는 재정렬 행렬이다.

저자들은 $\alpha=4$인 경우($E_4$ 및 $C_4$)에 집중하며, 이 양들이 전체 상태 토모그래피 없이 상수 개의 복사본(2개 또는 4개)을 사용하는 SWAP 테스트나 벨 측정(Bell measurements)을 통해 양자 하드웨어에서 효율적으로 측정될 수 있음을 입증한다. 이 프레임워크는 밀도 행렬을 전하 섹터(예: 글로벌 $U(1)$ 또는 $\mathbb{Z}_2$ 대칭성 하에서의 전하 섹터)로 분해함으로써 대칭 분해된(symmetry-resolved, SR) 증인으로 확장되며, 이는 경계(bounds)를 조이고 탐지 능력을 향상시킨다.

또한, 행렬 곱 상태(Matrix Product States, MPS) 및 행렬 곱 연산자(Matrix Product Operators, MPO)에 대해 이 모멘트들을 계산할 수 있는 효율적인 클래식 알고리즘을 개발하였으며, 계산 비용은 시스템 크기와 본드 차원(bond dimension)에 대해 다항식 규모로 스케일링된다.

주요 기여 및 결과

1. 정량적 증명 및 경계:

   • $p_\alpha$-네거티비티와 $r_\alpha$-네거티비티는 정량적 증인 역할을 한다. $\alpha \ge 1$에 대해, 이들은 각각 PT 네거티비티($E$)와 CCNR 네거티비티($C$)에 대한 엄격한 하한(lower bounds)을 제공한다.
   • 결정적으로, 이들은 **얽힘의 강건성(robustness of entanglement)**과 **슈미트 수(Schmidt number, 얽힘 차원)**에 대한 하한을 제공한다.
   • 순수 상태의 경우, 이 증인들은 표준 얽힘 레니 엔트로피로 수렴하며, 효과적으로 혼합 상태로 일반화된다.

2. 효율적인 얽힘 테스트:

   • 저자들은 혼합 상태가 낮은 얽힘($O(\log n)$)을 갖는지 또는 높은 얽힘($\omega(\log n)$)을 갖는지 구분하는 효율적인 알고리즘을 제시하며, 이는 상태가 유계된 2-레니 엔트로피($S_2 = O(\log n)$)를 가진다는 가정하에 가능하다. 이는 순수 상태에서만 알려졌던 기존 결과들을 일반화한다.
   • 슈미트 랭크(2-복사 측정을 사용)와 연산자 슈미트 랭크(4-복사 측정을 사용)를 테스트하기 위한 효율적인 알고리즘이 제공된다.

3. 회로 깊이 인증:

   • 이 증인들은 (최종 상태가 약하게 혼합된 상태($S_2 = O(\log n)$)라는 가정하에) 노이즈가 존재하는 상황에서도 상태를 준비하는 데 필요한 최소 회로 깊이를 견고하게 인증할 수 있게 한다. 이는 기존의 무잡음(noiseless) 인증 프로토콜을 확장한다.

4. 의사 얽힘(Pseudoentanglement) 및 암호학:

   • 본 논문은 의사 얽힘(낮은 얽힘 상태가 높은 얽힘 상태를 모방하는 능력)에 대한 엄격한 한계를 설정한다.
   • 낮은 엔트로피($S_2 = O(\log n)$)를 가진 혼합 상태의 경우, 의사 얽힘 갭(pseudoentanglement gap)이 근본적으로 $f(n) = \Theta(n)$ 대 $g(n) = \omega(\log n)$으로 제한됨을 보여준다.
   • 이 결과는 엔트로피가 얽힘 정보를 안전하게 숨기기 위한 필수 자원임을 시사한다. 최대 갭($g(n)=0$)을 달성하려면 상태가 매우 혼합되어야 한다($S_2 = \omega(\log n)$).

5. 얽힘 상도(Entanglement Phase Diagrams):

   • 저자들은 하르 무작위 상태(Haar random states)(PPT, 최대 얽힘, 얽힘 포화 상으로 구성됨)의 얽힘 상도를 모든 PT 모멘트의 해석적 연속 없이 오직 $p_4$-네거티비티를 계산함으로써 완전히 확립할 수 있음을 보여준다.
   • 이 결과는 임의의 **4-디자인(4-design)**을 갖는 상태로 확장된다. 놀랍게도, 스테빌라이저 상태(stabilizer states)(4-디자인을 형성하지 않음)는 하르 무작위 상태와 동일한 얽힘 상도를 공유함이 밝혀졌다.
   • $p_4$-네거티비티는 지수적으로 강력한 글로벌 디폴라이징 노이즈(global depolarizing noise) 하에서도 하르 무작위 상태의 볼륨 법칙(volume-law) 얽힘을 효과적으로 포착한다.

6. 다체 응용:

   • 횡장 이징 모델(Transverse Field Ising Model, TFIM) 및 XXZ 모델에 대한 수치적 결과는, 이 증인들(특히 대칭 분해된 버전)이 노이즈와 유한 온도 하의 바닥 상태에서 얽힘을 효과적으로 탐지함을 보여준다.
   • SR 증인은 비-SR 증인보다 더 견고하여, 표준 증인이 실패하는 영역(예: 연결되지 않은 분할 또는 임계점 근처)에서도 얽힘을 탐지한다.

의의
본 논문은 대규모 및 노이즈가 있는 양자 시스템에서 얽힘을 정량화하는 새로운 길을 열었다고 주장한다. $p_\alpha$ 및 $r_\alpha$ 네거티비티를 도입함으로써, 저자들은 정량적 능력을 유지하면서도 PT 네거티비티의 실용적이고 실험적으로 접근 가능한 대안을 제공한다. 이 연구는 순수 상태 얽힘 이론(레니 엔트로피를 통한)과 혼합 상태 물리학 사이의 간극을 메우며, 얽힘 차원, 회로 깊이 인증, 그리고 의사 얽힘의 복잡성을 특징짓는 도구를 제공한다. 이 증인들을 MPS/MPO 알고리즘을 통해 효율적으로 계산하고 SWAP 테스트를 통해 측정할 수 있다는 점은, 현재 및 가까운 미래의 양자 하드웨어에서 직접 구현 가능하게 하여 NISQ 장치를 벤치마킹하는 데 필수적인 요구를 해결한다.