[논문 리뷰] Symmetric entanglement classes for n qubits

Martin Aulbach|arXiv (Cornell University)|2011. 03. 01.

Quantum Computing Algorithms and Architecture참고 문헌 2인용 수 7

한 줄 요약

이 논문은 LOCC, SLOCC, 그리고 분열 구성(configuration, DC) 체계를 통해 대칭 n-qubit 얽힘을 주로 맥스웰 표현을 사용하여 분류한다. 대칭 SLOCC 작용이 주로 맥스웰 구면 위의 모비우스 변환에 해당함을 보이며, 이는 직관적인 시각화와 SLOCC 비동치성의 효율적 판별을 가능하게 한다. 주요 기여는 5 큐비트 이하의 모든 SLOCC 동치류에 대한 명시적 대표 상태와 함께 완전한 특성화이며, 특히 4 큐비트의 경우 계층적 구조 LOCC < SLOCC < DC < 얽힘 가족이 확인된다.

ABSTRACT

Permutation-symmetric n qubit pure states can be represented by n points on the surface of the unit sphere by means of the Majorana representation. Here this representation is employed to characterize and compare the three entanglement classification schemes LOCC, SLOCC and the Degeneracy Configuration. Symmetric SLOCC operations are found to be described by Mobius transformations, and an intuitive visualization of their freedoms is presented. For symmetric states of up to 5 qubits explicit forms of representative states for all SLOCC classes are derived. The symmetric 4 qubit entanglement classes are compared to the entanglement families introduced in [PRA 65, 052112 (2002)], and examples are given how the SLOCC-inequivalence of symmetric states can be quickly determined from known results about Mobius transformations.

연구 동기 및 목표

• LOCC, SLOCC, 그리고 분열 구성(Degeneracy Configuration, DC) 체계를 사용하여 대칭 n-큐비트 얽힘을 체계적으로 분류하는 것.
• 맥스웰 구면 위의 모비우스 변환을 사용하여 대칭 SLOCC 작용에 대한 기하학적 및 분석적 프레임워크를 수립하는 것.
• 5 큐비트 이하의 모든 대칭 SLOCC 동치류에 대해 명시적 대표 상태를 유도하는 것.
• 버스트라테 등(2002)에서 소개한 얽힘 가족과 SLOCC 분류를 비교하는 것, 특히 4 큐비트의 경우에 중점적으로 다루는 것.
• 기존의 모비우스 변환 성질과 MP 분포의 특성을 활용하여 SLOCC 비동치성을 효율적으로 판별하는 실용적 방법을 제공하는 것.

제안 방법

• 맥스웰 표현을 사용하여 n-큐비트 대칭 상태를 단위 구면 위의 n개의 점(맥스웰 점)으로 표현한다.
• 구면에서 복소평면로의 정사영을 통해 다항식을 유도하며, 그 근이 맥스웰 점이 된다.
• SLOCC 작용을 복소평면 위에 작용하는 모비우스 변환으로 특성화하여 맥스웰 다항식의 구조를 유지한다.
• 모비우스 변환의 불변량—원의 유지 및 cross-ratio—을 사용하여 SLOCC 동치성을 판별한다.
• 기하학적 제약 조건을 이용하여 맥스웰 점 구성의 매개변수화를 통해 각 SLOCC 동치류에 대한 명시적 대표 상태를 구성한다.
• SLOCC 동치류와 DC 동치류, 얽힘 가족을 비교하며, 모비우스 변환의 불변성에 기반한 기존 결과를 활용하여 동치성 여부를 평가한다.

실험 결과

연구 질문

• RQ1 대칭 SLOCC 작용은 n-큐비트 상태에 대해 어떻게 기하학적·분석적으로 특성화될 수 있는가?
• RQ2 SLOCC 동치성과 맥스웰 구면 위에 작용하는 모비우스 변환 사이의 관계는 무엇인가?
• RQ3 대칭 4 큐비트의 경우 SLOCC, DC, 그리고 얽힘 가족 분류는 어떻게 비교될 수 있는가?
• RQ4 대칭 상태 간의 SLOCC 비동치성은 맥스웰 점 분포로부터 효율적으로 판별될 수 있는가?
• RQ5 5 큐비트 이하의 모든 대칭 SLOCC 동치류에 대한 완전한 대표 상태 집합은 무엇인가?

주요 결과

• 대칭 SLOCC 작용은 복소평면 위의 모비우스 변환으로 완전히 기술되며, SLOCC 자유도에 대한 완전하고 직관적인 기하학적 기술을 제공한다.
• 4 큐비트의 경우 SLOCC 동치류는 DC 동치류를 정밀하게 반영하며, 계층적 구조 LOCC < SLOCC < DC < 얽힘 가족이 확인된다.
• 5 큐비트에서 최대로 얽힌 대칭 상태(삼각기둥형 이중피라미드)는 맥스웰 점이 4개로 이루어진 고리 구조를 가진 대칭 5 큐비트 상태와 SLOCC 비동치이다.
• 12 큐비트의 이코사헤드럴 상태는 일반적인 계수를 가진 12 큐비트 상태로 SLOCC 변환으로 변환될 수 없으며, 이는 첫 번째 상태에서 인접한 맥스웰 점들을 지나는 20개의 비어 있는 원이 존재하지만, 두 번째 상태에서는 그 성질이 유지되지 않기 때문이다.
• 버스트라테 등(2002)에서 소개한 얽힘 가족 개념은 SLOCC 및 DC 분류와 호환되며, 모비우스 불변량을 사용하여 명시적 상태 재구성 없이도 SLOCC 비동치성을 증명할 수 있다.
• 5 큐비트 이하의 모든 대칭 SLOCC 동치류에 대해 대표 상태의 명시적 매개변수화를 도출하였으며, 그 구성은 고리, 피라미드, 대칭 다면체 등을 포함한다.