[논문 리뷰] Entanglement in the stabilizer formalism

David Fattal, Toby S. Cubitt외 3명|ArXiv.org|2004. 06. 23.

Quantum Information and Cryptography인용 수 79

한 줄 요약

이 논문은 안정자 형식을 활용하여 큐비트, 큸드, 연속 변수 시스템에 적용 가능한 안정자 상태에 대한 효율적으로 계산 가능한 다편성 얽힘 측정법을 제안한다. 주요 결과는 이중 상태의 얽힘 엔트로피가 국소적이지 않은 안정자 하위군의 질량의 반과 같으며, 안정자 군의 생성자를 사용하여 O(n³) 시간에 계산 가능하다는 것이다.

ABSTRACT

We define a multi-partite entanglement measure for stabilizer states, which can be computed efficiently from a set of generators of the stabilizer group. Our measure applies to qubits, qudits and continuous variables.

연구 동기 및 목표

• 다중편성 안정자 상태에 대한 효율적으로 계산 가능한 얽힘 측정법을 개발함으로써, 양자 오류 수정 및 고신뢰성 양자 계산에 핵심적인 역할을 하는 상태에 대한 기초를 마련한다.
• 기존의 씽크트르 측정법이 계산적으로 비가능한 다편성 양자 시스템에서 스케일러블한 얽힘 측정의 부족을 해결한다.
• 안정자 생성자의 군론적 구조를 활용하여 다편성 안정자 상태로 얽힘 모노톤의 개념을 일반화한다.
• 안정자 상태, 특히 가우시안 상태와 같은 연속 변수 시스템까지 포함하여 효율적인 얽힘 계산을 가능하게 하는 프레임워크를 제공한다.
• 얽힘 증거의 구성과 다편성 얽힘의 구조 이해를 지원하는 형식을 수립한다.

제안 방법

• 상태 |ψ⟩의 안정자 군 S를 |ψ⟩를 안정화하는 파울리 연산자(또는 CV의 경우 헤이젠베르크-베일러 연산자)의 집합으로 정의하며, 생성자들은 O(n²) 비트의 압축된 기술을 제공한다.
• 이중 분할 {A,B}에 대해 S를 A 또는 B에서만 작용하는 국소 하위군 S_A 및 S_B, 그리고 얽힘을 기록하는 비국소 하위군 S_AB로 분해한다.
• 얽힘 엔트로피를 E(|ψ⟩) = ½ |S_AB|로 계산하며, 여기서 |S_AB|는 S_AB의 최소 생성집합의 질량이다. 이는 파울리 생성자에 대한 가우스 소거법을 통해 O(n³) 시간에 계산 가능하다.
• k분할로 일반화하기 위해 S_loc = ∏_{j=1}^k S_j를 정의하며, 여기서 S_j는 분할 A_j에서 항등원으로 작용하는 S의 하위군이다.
• 다편성 얽힘 측정법을 e_A(|ψ⟩) = n − |S_loc|로 정의하며, 이는 국소 유니터리 변환에 대해 불변이며 LOCC에 대해 단조감소함을 보장한다.
• e_A가 얽힘 모노톤임을 증명하기 위해, 국소 측정이나 분리 가능한 보조 큐비트를 추가할 경우 증가하지 않음을 보이며, 분할을 군집화할 경우 감소(또는 그대로 유지)함을 보인다.

실험 결과

연구 질문

• RQ1 안정자 상태에 대해 계산 효율성과 물리적 의미를 모두 갖춘 다편성 얽힘 측정법을 정의할 수 있는가?
• RQ2 완전한 상태 톰오그라피 없이도 안정자 형식을 활용해 이중 안정자 상태의 얽힘 엔트로피를 어떻게 계산할 수 있는가?
• RQ3 물리적 일관성과 계산 가능성의 두 가지 조건을 모두 만족시키는 다편성 안정자 상태로의 얽힘 모노톤 일반화가 가능한가?
• RQ4 계산 효율성을 유지하면서도 큸드 및 연속 변수 시스템으로 이 형식을 확장할 수 있는가?
• RQ5 다편성 시스템에서 얽힘의 양을 결정하는 안정자 군의 구조적 특성은 무엇인가?

주요 결과

• 모든 이중 안정자 상태의 얽힘 엔트로피는 정확히 E(|ψ⟩) = ½ |S_AB|로 주어지며, 여기서 |S_AB|는 비국소 안정자 하위군의 질량이며 O(n³) 시간에 계산 가능하다.
• Bell(EPR) 상태의 경우 |S_AB| = 2이므로 E = 1이 되며, 이는 알려진 얽힘 엔트로피와 일치한다.
• 3 큐비트 GHZ 상태의 경우 분할 {12|3}에서 |S_AB| = 2이므로 E = 1이 되며, 기존의 알려진 얽힘 값과 일치함을 보여주어 일관성을 입증한다.
• 다편성 얽힘 측정법 e_A(|ψ⟩) = n − |S_loc|는 얽힘 모노톤이며, 국소 조작과 고전적 통신(Locally Operated and Classical Communication, LOCC)에 대해 증가하지 않음을 의미한다.
• 측정법 e_A는 국소 유니터리 변환에 대해 불변이며, 분할을 군집화할 경우 감소(또는 그대로 유지)하므로 기대되는 물리적 순서를 만족한다.
• 파울리 군을 헤이젠베르크-베일러 군으로 대체함으로써 이 방법은 큸드 및 연속 변수 안정자 상태로 일반화되며, 동일한 계산 효율성을 유지한다.