[논문 리뷰] Stabilizer entropies are monotones for magic-state resource theory

Lorenzo Leone, Lennart Bittel|arXiv (Cornell University)|2024. 04. 17.

Neural dynamics and brain function인용 수 6

한 줄 요약

저자는 정수 Rényi 지수 α≥2인 stabilizer 엔트로피가 순수 상태에 대한 매직-상태 자원 이론에서 모노톤으로 작용한다는 것을 증명하고, 선형 stabilizer 엔트로피는 강한 모노톤으로 작용하며, convex-roof 구성을 통해 이 엔트로피를 혼합 상태로 확장한다.

ABSTRACT

Magic-state resource theory is a powerful tool with applications in quantum error correction, many-body physics, and classical simulation of quantum dynamics. Despite its broad scope, finding tractable resource monotones has been challenging. Stabilizer entropies have recently emerged as promising candidates (being easily computable and experimentally measurable detectors of nonstabilizerness) though their status as true resource monotones has been an open question ever since. In this Letter, we establish the monotonicity of stabilizer entropies for $α\geq 2$ within the context of magic-state resource theory restricted to pure states. Additionally, we show that linear stabilizer entropies serve as strong monotones. Furthermore, we extend stabilizer entropies to mixed states as monotones via convex roof constructions, whose computational evaluation significantly outperforms optimization over stabilizer decompositions for low-rank density matrices. As a direct corollary, we provide improved conversion bounds between resource states, revealing a preferred direction of conversion between magic states. These results conclusively validate the use of stabilizer entropies within magic-state resource theory and establish them as the only known family of monotones that are experimentally measurable and computationally tractable.

연구 동기 및 목표

• 매직-상태 이론에서 자원 모노톤으로서의 안정자 엔트로피 사용을 동기화한다.
• 정수 α≥2에 대해 순수 상태에서의 안정자 엔트로피 M_α의 단조성(monotonicity)을 안정자 프로토콜 하에서 확립한다.
• 순수 상태에 대해 선형 안정자 엔트로피 M_α^lin이 강한 모노톤임을 보인다.
• convex-roof 구성으로 안정자 엔트로피를 혼합 상태로 확장하고 단조성을 증명한다.
• 혼합 상태 시나리오에 대한 매직 정량화 및 확장 가능성에 대한 시사점을 논의한다.

제안 방법

• stabilizer 엔트로피 M_α를 Pauli 연산자 중첩에서 얻은 P_α(ψ)의 α- Rényi 엔트로피로 정의한다.
• 순수 상태의 결정적 안정자 프로토콜 및 상태의 분해를 분석하여 순수 상태에서의 단조성을 증명한다.
• convex 분해 하한을 확립하여 선형 안정자 엔트로피 M_α^lin이 강한 모노톤임을 보인다.
• 순수 상태 분해를 최대화하여 혼합 상태에 대한 convex-roof 확장을 도출하고, 안정자 프로토콜 하에서의 단조성을 보존한다.
• 확장된 안정자 엔트로피 M̂_α 및 M̂_α^lin이 모든 α≥2에 대해 모노톤임을 증명하고, M̂_α^lin은 강한 모노톤임을 보인다.

실험 결과

연구 질문

• RQ1 정수 α≥2인 안정자 엔트로피 M_α가 순수 상태로 한정될 때 매직-상태 자원 이론의 모노톤으로 작용하는가?
• RQ2 선형 안정자 엔트로피 M_α^lin이 안정자 프로토콜에서 강한 모노톤인가?
• RQ3 안정자 연산을 보존하면서 혼합 상태로 안정자 엔트로피를 확장할 수 있는가?
• RQ4 이 프레임워크에서 안정자 엔트로피와 다른 매직 모노톤(강건성, 최솟-상대 엔트로피, 안정자 확장 등) 간의 관계는 무엇인가?

주요 결과

• Stabilizer entropies M_α are pure-state magic monotones for every integer α≥2.
• Linear stabilizer entropies M_α^lin are strong magic monotones for every integer α≥2.
• Convex-roof extension yields extended stabilizer entropies M̂_α and M̂_α^lin that remain monotones under stabilizer protocols for α≥2, with M̂_α^lin also being a strong monotone.
• M_α and M_α^lin are invariant under Clifford unitaries and zero only for stabilizer states, and they relate as M_α=1/(1−α) log(1−M_α^lin), reflecting their operational interpretation.
• The extended (mixed-state) entropies provide a practical path to analyze magic in mixed-state scenarios within many-body contexts.