Stabilizer entropy is trustworthy for mixed states

기술 요약: "혼합 상태에 대한 안정화 엔트로피의 신뢰성"

문제 정의
비안정화성(non-stabilizerness, 흔히 "매직(magic)"이라 불림)을 정량화하는 것은 양자 우위, 혼돈(chaos), 그리고 고전적 시뮬레이션의 한계를 이해하는 데 필수적이다. 순수 상태(pure states)를 위한 비안정화성 모노톤(monotone)은 존재하지만, 이를 혼합 상태(mixed states)로 확장하는 것은 심각한 계산적 장벽을 제시한다. 최근 연구에 따르면, 혼합 상태에 대한 모든 엄격한(strict) 비안정화성 모노톤은 $QP_2$ 복잡도 클래스에 속하며, 이는 계산에 초지수적(superexponential) 시간이 소요됨을 의미한다. 이는 노이즈, 부분 측정, 또는 혼합 상태 역학이 포함된 실제 물리적 응용 분야에서 엄격한 모노톤을 사용하는 것을 비실용적으로 만든다. 더욱이, 안정화 엔트로피(Stabilizer Entropy, SE)를 혼합 상태로 단순히 확장하는 방식은 자유 연산(free operations, 구체적으로는 부분 트레이스 및 디페이징) 하에서의 단조성(monotonicity)을 만족하지 못하며, 이는 자원 이론(resource theories)의 핵심 요구 사항을 위반한다.

방법론
저자들은 $\eta$-자원 프록시($\eta$-resource proxy) 개념을 도입하여 엄격한 단조성 조건을 완화할 것을 제안한다. 함수 $f$가 상태 앙상블 $\mathcal{S}$에 대한 $\eta$-자원 프록시가 되기 위해서는, $f$가 충실(faithful, 자유 상태에서 0임)해야 하며, 자유 연산 하에서 단조성을 위반할 확률이 시스템 크기 $N$에 따라 지수적으로 감소($\exp(-\eta N)$와 같이)해야 한다.

본 논문은 혼합 상태에 대한 **선형 안정화 엔트로피($\tilde{M}_{lin}$)**에 초점을 맞춘다. 이는 다음과 같이 정의된다:
$$\tilde{M}_{lin}(\rho) = \text{Pur}(\rho) - SP(\rho)$$
여기서 $\text{Pur}(\rho) = \text{Tr}(\rho^2)$는 순도(purity)이고, $SP(\rho) = d \text{Tr}(Q \rho^{\otimes 4})$는 안정화 순도(stabilizer purity)이며, $Q$는 안정화 부분 공간(stabilizer subspace)으로의 투영(projector)이다.

저자들은 두 가지 자유 연산 하에서 단조성 갭(monotonicity gap) $\bar{M}_E(\rho) = \tilde{M}_{lin}(\rho) - \tilde{M}_{lin}(E(\rho))$를 분석한다:

1. 부분 트레이스 (Partial Trace) (시스템 축소)
2. 디페이징 (Dephasing) (계산 기저에서의 비포스트 셀렉션(non-post-selected) 측정 모델링)

저자들은 평균과 분산을 계산하기 위해 Haar 평균, 클리포드 군(Clifford group) 평균, 그리고 행렬 곱 상태(Matrix Product States, MPS)의 성질을 포함한 해석적 기법을 사용한다. 또한, 리비의 정리(Lévy's lemma)와 체비쇼프 부등식(Chebyshev's inequality)을 활용하여 단조성 위반 확률을 제한한다. 아울러, 무작위가 아닌 물리적으로 유의미한 설정에서 이러한 경계값을 검증하기 위해 무작위 MPS 및 1차원 양자 XY 모델의 바닥 상태에 대한 수치 시뮬레이션을 수행한다.

주요 기여 및 결과

1. 자원 프록시의 정의: 본 논문은 엄격한 모노톤이 계산적으로 다루기 힘든 혼합 상태의 경우, 압도적인 확률로 모노톤처럼 행동하는 측도가 실질적이고 필수적인 대안임을 주장하며 자원 프록시의 개념을 공식화한다.

2. 무작위 앙상블에서의 해석적 보장:

   • Haar 무작위 상태: 저자들은 일반적인 Haar 무작위 상태에 대해, 부분 트레이스 및 디페이징 하에서의 $\tilde{M}_{lin}$ 위반 확률이 $\eta = O(d/\log d)$ ($d=2^N$)인 $\exp(-\eta N)$으로 감소함을 증명한다. 이는 위반이 초지수적으로 드물다는 것을 나타낸다.
   • 클리포드 궤도(Clifford Orbits): 고정된 시드(seed)에 작용하는 무작위 클리포드 유니터리에 의해 생성된 상태의 경우, 위반 확률은 $\eta = O(1)$인 $\exp(-\eta N)$으로 감소한다. 이 앙상블은 Haar의 경우보다 작지만, 위반은 여전히 지수적으로 드물다.
   • 무작위 행렬 곱 상태 (Random MPS): 결합 차원(bond dimension) $\chi$를 가진 무작위 MPS의 경우, 위반 확률은 $\eta = O(\chi^2)$인 $\exp(-\eta N)$에 의해 제한된다. 상수 $\chi$에 대해서도 위반은 지수적으로 희박하며, $\chi$가 증가함에 따라 전형성(typicality)이 향상된다.

3. 물리적 시스템에서의 수치적 검증:

   • XY 모델: 저자들은 스핀-1/2 양자 XY 체인의 바닥 상태에 대해 로그 혼합 상태 SE($\tilde{M}_2$)를 테스트하였다. 이들은 계산 기저에서의 부분 측정을 통한 결과 평균 포스트-측정 비안정화성 갭을 계산하였다. 전체 위상도(ordered 및 disordered 상, 두 패리티 섹터 포함)에 걸쳐 갭은 엄격하게 양수를 유지하였다. 이는 $\tilde{M}_2$(그리고 확장된 $\tilde{M}_{lin}$)가 이 특정 다체 시스템(many-body system)에서 부분 측정 하에 평균적으로 증가하지 않음을 보여준다.
   • 개방 경계 조건 (OBC): OBC를 가진 무작위 MPS에 대한 수치 분석 결과, 다양한 시스템 크기와 결합 차원 스케일링에 대해 $\tilde{M}_{lin}$과 $\tilde{M}_2$ 모두 디페이징 및 부분 트레이스 하에서 양의 갭을 유지함을 확인하였다.

의의 및 주장
본 논문은 **선형 안정화 엔트로피($\tilde{M}_{lin}$)**가 혼합 상태의 비안정화성을 정량화하는 신뢰할 수 있고 효율적으로 계산 가능한 프록시 역할을 한다고 주장한다. 저자들은 엄격한 단조성을 보장하는 것이 계산적으로 불가능하다는 점을 고려할 때, "자원 프록시" 프레임워크는 단순한 편의가 아니라 실질적인 필요라는 점을 강조한다.

이 연구의 의의는 다음과 같은 분야에서 매직 자원을 신뢰성 있게 정량화할 수 있게 한다는 점에 있다:

• 측정과 결맞음(decoherence)이 포함된 노이즈가 있는 양자 정보 프로세스.
• 부분 밀도 행렬을 통한 하위 시스템의 특성 접근이 필요한 다체 시스템(many-body systems).
• 전체 상태 토모그래피가 불가능하지만 선형 엔트로피는 실험적으로 접근 가능한 실험적 환경.

저자들은 엄격한 단조성을 모든 혼합 상태에 대해 보장할 수는 없지만, 물리적으로 유의미한 앙상블(Haar, Clifford, MPS, 특정 해밀토니안 바닥 상태)에서 위반 확률이 매우 낮기 때문에, 안정화 엔트로피를 "압도적인 확률"로 유효한 자원 척도로 사용할 수 있다고 제안한다. 저자들은 자신들의 결과가 다양한 앙상블에서 견고하지만, 다른 상태 클래스(예: $t$-doped stabilizer states) 및 2D 변분 안사츠(2D variational ansatze, PEPS)에 대한 추가 검증이 필요하다는 점을 언급하며 신중한 태도를 유지한다.