[논문 리뷰] Phase transition in Stabilizer Entropy and efficient purity estimation

Lorenzo Leone, Salvatore F. E. Oliviero외 2명|arXiv (Cornell University)|2023. 02. 15.

Quantum Computing Algorithms and Architecture참고 문헌 56인용 수 5

한 줄 요약

이 논문은 안정자 엔트로피(SE)의 단계 전이를 도입하여, 극도로 얽힌 양자 상태의 순수도 추정을 효율적으로 가능하게 한다. 클리포드 연산을 사용해 SE를 부분계에 국소화함으로써, 기존 알고리즘보다 지수적 속도 향상을 달성하며, 비클리포드 게이트의 수가 O(log n)일 경우 다항 자원만으로 지수적으로 작은 순수도를 추정할 수 있다.

ABSTRACT

Stabilizer Entropy (SE) quantifies the spread of a state in the basis of Pauli operators. It is a computationally tractable measure of non-stabilizerness and thus a useful resource for quantum computation. SE can be moved around a quantum system, effectively purifying a subsystem from its complex features. We show that there is a phase transition in the residual subsystem SE as a function of the density of non-Clifford resources. This phase transition has important operational consequences: it marks the onset of a subsystem purity estimation protocol that requires $poly(n)exp(t)$ many queries to a circuit containing $t$ non-Clifford gates that prepares the state from a stabilizer state. Then, for $t=O(\log_2 n)$, it estimates the purity with polynomial resources and, for highly entangled states, attains an exponential speed-up over the known state-of-the-art algorithms.

연구 동기 및 목표

• 얽힘과 비안정성으로 인해 고전적으로 시뮬레이션하기 어려운 비안정자 양자 상태에서의 순수도 추정의 비효율성을 해결하기 위해.
• 효율적으로 처리 가능한 안정자 형식이 비안정자 상태를 단순화하기 위해 엔트로피 이행을 활용할 수 있는지 탐색하기 위해.
• 지수적으로 작은 순수도를 가진 상태에 대해 효율적인 순수도 추정을 가능하게 하는 프로토콜을 개발하기 위해.
• 비클리포드 자원의 확산과 국소화 사이의 균형에 의해 유도되는 안정자 엔트로피의 단계 전이를 규명하기 위해.
• SE 국소화와 양자 상태 특성화 작업에서의 지수적 속도 향상 간의 관계를 설정하기 위해.

제안 방법

• 클리포드 연산을 사용해 목표 부분계에서 안정자 엔트로피(SE)를 참조 부분계로 이행함으로써, 목표를 효과적으로 '냉각'시키고 그 구조를 단순화하기 위해.
• 원래 상태 ψ_t를 대각화 단위행렬 W를 통해 변환하는 청소 알고리즘을 통해 안정자 상태 ρ를 구성하며, 총 SE를 유지하기 위해.
• O(n³)회의 측정을 통해 ρ의 국소화 확률을 측정함으로써 목표 부분계 ψ_E의 순수도를 추정하며, 이는 안정자 상태에 대해 효율적이다.
• 스왑 테스트에서 유도된 경계를 적용: 하한 ∣Pur(ρ_X) ≤ Pur(ψ_E)∣ 및 상한 ∣Pur(ψ_E) ≤ d_Y² Pur(ρ_X)∣, 여기서 d_Y = 2^t 이고 t = O(log n)이다.
• 상한을 활용해 진정한 순수도가 지수적으로 작을지라도 다항 자원만으로 Pur(ψ_E) = 2^{-αn + O(log n)}를 추정할 수 있도록 한다.
• SE의 단계 전이를 진단 도구로 사용: 비클리포드 자원이 국소화되어 있을 경우 프로토콜은 지수적 속도 향상을 달성하고, 확산되어 있을 경우는 이점을 제공하지 못한다.

실험 결과

연구 질문

• RQ1 비클리포드 자원 밀도에 따라 안정자 엔트로피의 단계 전이가 존재하는가? 그리고 그 운영적 결과는 무엇인가?
• RQ2 클리포드 연산을 통해 안정자 엔트로피를 부분계에 국소화시켜, 否해결 가능한 상태의 순수도 추정을 가능하게 할 수 있는가?
• RQ3 비클리포드 게이트의 수가 O(log n)일 경우 순수도 추정 자원의 척도는 어떻게 되며, 이는 알려진 알고리즘에 비해 지수적 속도 향상을 제공하는가?
• RQ4 SE 국소화와 확산 간의 상호작용은 양자 복잡도와 정보 혼합 현상과 어떻게 관련되어 있는가?
• RQ5 SE 청소 프로토콜은 시간에 따라 진화한 상태로 일반화될 수 있는가? 또는 오류 수정이나 열역학 등 다른 양자 정보 작업으로 확장될 수 있는가?

주요 결과

• 비클리포드 자원 밀도에 따라 안정자 엔트로피의 단계 전이가 관측되며, 이는 국소화된 상태와 비국소화된 상태 사이의 전이를 나타낸다.
• t = O(log n)일 때 비클리포드 게이트의 수가 되며, 프로토콜은 목표 상태의 순수도를 Pur(ψ_E) = 2^{-αn + O(log n)}로 다항 자원을 사용해 추정한다.
• 진정한 순수도가 지수적으로 작을 경우, 알려진 알고리즘보다 프로토콜이 지수적 속도 향상을 달성한다.
• 하한 ∣Pur(ρ_X) ≤ Pur(ψ_E)∣는 국소화된 단계에서 다항 수의 측정만으로도 순수도를 해명하는 데 충분함을 보장한다.
• 상한 ∣Pur(ψ_E) ≤ d_Y² Pur(ρ_X)∣, 여기서 d_Y = 2^t = poly(n) 이며, 다항 수의 측정만으로도 지수적으로 작은 순수도를 추정할 수 있도록 한다.
• 프로토콜의 성공은 비클리포드 자원이 국소화되어 있는 SE의 국소화된 단계에 달려 있으며, 이는 안정자 형식을 통한 효율적 처리를 가능하게 한다.