[논문 리뷰] Discrete realization of group symmetric LOCC-detection of maximally entangled state

Masahito Hayashi|ArXiv.org|2008. 10. 19.

Quantum Information and Cryptography참고 문헌 10인용 수 3

한 줄 요약

이 논문은 이원자 양자 시스템에서 최대 얽힘 상태를 탐지하기 위해 이방향 국소 작용 및 고전적 통신(LOCC) 측정을 사용하여 이산적이고 유한한 결과를 갖는 측정을 제안한다. 단일 큐디트의 경우 대칭 정보적으로 완전한 POVM(SIC-POVM)와 상호 무관 기저(MUBs)를 사용하고, 복합 큐디트의 경우 클리포드 군 기반 구성법을 사용한다. 핵심 기여는 그룹 대칭성과 연속 결과 측정에 정확히 등가인 이상적인 무한 결과 측정을 실현하는 증명된 최적의 이산적 실현이다.

ABSTRACT

Group symmetric LOCC measurement for detecting maximally entangled state is considered. Usually, this type measurement has continuous-valued outcomes. However, any realizable measurement has finite-valued outcomes. This paper proposes discrete realizations of such a group symmetric LOCC measurement.

연구 동기 및 목표

• 최대 얽힘 상태를 탐지하기 위한 이상적인 연속 결과 그룹 대칭 LOCC 측정과 실용적인 유한 결과 실현 간의 격차를 해결하기 위해.
• 그룹 대칭성을 유지하면서 최적의 탐지 정밀도를 달성하는 이산적, 이방향 LOCC 측정 기반 설계를 위한 것이다.
• 단일 큐디트에서의 이산 실현을 복합 큐디트 시스템으로 확장하여 각 하위계가 두 개의 d차원 시스템의 텐서곱임을 고려한다.
• 제안된 이산 측정 기반의 최적성에 대해 결과 수의 최소화와 이상 측정에 대한 정밀도 측면에서 증명한다.

제안 방법

• 앨리스의 시스템에서 대칭 정보적으로 완전한 POVM(SIC-POVM)를 사용하며, 각 랭크-1 프로젝터는 서로 다른 상태들 간에 균일한 오버랩 1/(d+1)을 갖는 순수 상태에 대응한다.
• 두 단계의 LOCC 프로토콜을 적용한다: 앨리스는 SIC-POVM을 수행하고 결과를 고전적으로 통신한다; 보브는 앨리스의 결과에 해당하는 켤레 상태로 이중 결과 프로젝션 측정을 수행한다.
• 복합 시스템의 경우, 클리포드 군의 유니터리 표현을 최대 얽힘 상태에 작용시켜 이산적 LOCC 측정을 구성하며, 국소 유니터리 변환에 대해 불변성을 확보한다.
• 결과 측정 연산자(POVM)를 켤레 상태 프로젝터의 텐서곱의 합으로 유도하며, 균일한 가중치를 부여한다.
• 결과 측정 연산자가 각각 이상의 군 불변 측정 연산자 $ T_{\text{inv}}^{1,A\to B} $ 와 $ T_{\text{inv}}^{2,A\to B} $ 와 정확히 일치함을 증명한다.
• 모든 이산 실현이 최소 $ d^2 $ 개의 결과를 가져야 하며, 이는 제안된 기반들이 이를 정확히 달성함을 보여 최적성을 입증한다.

실험 결과

연구 질문

• RQ1 이상적인 연속 결과 그룹 대칭 LOCC 측정이 최대 얽힘 상태 탐지에 대해 유한 결과 측정으로 이산화될 수 있는가? 이 과정에서 그룹 대칭성과 최적성은 유지되는가?
• RQ2 단일 큐디트 시스템에서 이상의 군 불변 측정을 정확히 실현하기 위해 필요한 최소 결과 수는 얼마인가?
• RQ3 두 큐디트 하위계로 구성된 복합 시스템으로 그룹 대칭 LOCC를 통한 최대 얽힘 상태 탐지가 어떻게 일반화될 수 있는가?
• RQ4 유한 군(예: 클리포드 군) 기반의 유한 이산 LOCC 측정 기반으로 복합 시스템에서 이상의 연속 측정과 동일한 결과를 달성할 수 있는가?
• RQ5 이러한 이산 실현의 최적성이 결과 수와 이상 측정에 대한 정밀도 측면에서 엄밀하게 증명될 수 있는가?

주요 결과

• SIC-POVM은 이상의 그룹 대칭 측정 $ T_{\text{inv}}^{1,A\to B} $ 를 정확히 $ d^2 $ 개의 결과로 이산적, 이방향 LOCC로 실현하며, 이는 이론적 하한값과 정확히 일치한다.
• 제안된 SIC-POVM 기반 기반은 정확한 등식 $ T(M_{\text{sic}}) = T_{\text{inv}}^{1,A\to B} $ 를 달성하여 결과 수의 최적성과 정확성을 입증한다.
• 각 하위계의 차원이 $ \text{dim}({\bf H}_{A_1}) = \text{dim}({\bf H}_{A_2}) = \text{dim}({\bf H}_{B_1}) = \text{dim}({\bf H}_{B_2}) = d $ 인 복합 시스템의 경우, 클리포드 군 기반의 이산 LOCC 기반은 이상의 측정 $ T_{\text{inv}}^{2,A\to B} $ 를 실현한다.
• 클리포드 기반 기반은 $ T_{\text{inv}}^{2,A\to B} $ 의 모든 이산 실현에 대해 최소 $ d^2 $ 개의 결과가 필요하므로 최적임을 증명한다.
• 결과 측정 연산자는 국소 유니터리 변환에 대해 불변이며, 두 경우 모두 이상의 군 불변 연산자의 형태를 정확히 재현한다.
• 이 논문은 $ T(M) = T_{\text{inv}}^{1,A\to B} $ 를 달성하는 모든 이산 LOCC 측정이 최소 $ d^2 $ 개의 결과를 가져야 하며, SIC-POVM 구성이 이 하한값에 정확히 도달함을 입증한다.