[논문 리뷰] Norms and Cones in the Theory of Quantum Entanglement

Nathaniel Johnston|arXiv (Cornell University)|2012. 07. 05.

Quantum Mechanics and Applications참고 문헌 247인용 수 12

한 줄 요약

이 논문은 양자 얽힘 이론에서 엽연성 증거의 일반화인 $ s(k) $-벡터 노름과 $ S(k) $-연산자 노름의 가족을 도입한다. 이 노름들이 최소 연산자 공간과 쌍대성과 연결되어 있음을 통해, 양자 채널의 신뢰도, 묶인 얽힘, 그리고 얽힘의 기하 측도를 특성화하는 데 그 역할을 입증하며, 양자 정보 문제에 대한 새로운 분석 도구를 제공한다.

ABSTRACT

There are various notions of positivity for matrices and linear matrix-valued maps that play important roles in quantum information theory. The cones of positive semidefinite matrices and completely positive linear maps, which represent quantum states and quantum channels respectively, are the most ubiquitous positive cones. There are also many natural cones that can been regarded as "more" or "less" positive than these standard examples. In particular, entanglement theory deals with the cones of separable operators and entanglement witnesses, which satisfy very strong and weak positivity properties respectively. Rather complementary to the various cones that arise in entanglement theory are norms. The trace and operator norms for operators and the diamond and completely bounded norms for superoperators are the typical norms that are seen throughout quantum information theory. In this work our main goal is to develop a family of norms that play a role analogous to the cone of entanglement witnesses. We investigate the basic mathematical properties of these norms, including their relationships with other well-known norms, their isometry groups, and their dual norms. We also make the place of these norms in entanglement theory rigorous by showing that entanglement witnesses arise from minimal operator systems, and analogously our norms arise from minimal operator spaces. Finally, we connect the various cones and norms considered here to several seemingly unrelated problems from other areas. We characterize the problem of whether or not non-positive partial transpose bound entangled states exist in terms of one of our norms, and provide evidence in favour of their existence. We also characterize the minimum gate fidelity of a quantum channel, the maximum output purity and its completely bounded counterpart, and the geometric measure of entanglement in terms of these norms.

연구 동기 및 목표

• 양자 얽힘 이론에서 엽연성 증거와 이중적인 역할을 하는 노름의 가족을 개발하는 것.
• 이 노름들이 최소 연산자 공간과 쌍대성과 연결되어 있음을 통해, 이 노름들에 대한 엄밀한 수학적 기초를 확립하는 것.
• 이 노름들이 비틀림 없는 부분 전치가 아닌 양자 상태를 갖는 묶인 얽힘 상태의 존재성과 같은 양자 정보 이론의 핵심 문제들과 연결되는 방식을 규명하는 것.
• $ S(1) $-노름을 사용하여 최소 게이트 신뢰도, 최대 출력 순도, 기하 얽힘 측도를 특성화하는 것.
• 양자 정보 이론에서 양성 지도의 쌍대체, 노름, 선형 유지 문제를 연결하는 통합적 프레임워크를 제공하는 것.

제안 방법

• 최소 연산자 공간과 유사하게 엽연성 증거가 유래되는 방식과 유사하게, $ s(k) $-벡터 노름과 $ S(k) $-연산자 노름을 $ k $-양성 지도의 쌍대체로 정의함으로써, 트레이스 노름과 다이아몬드 노름을 일반화한다.
• Choi–Jamiołkowski 이sovorphism를 사용하여 초연산자 위의 노름을 연산자 쌍대체와 연결함으로써, 쌍대성 분석이 가능하도록 한다.
• 이 노름들이 최소 연산자 공간에서 유래됨을 입증하며, 엽연성 증거가 최소 연산자 체계에서 유래되는 것과 유사한 방식임을 보여준다.
• 쌍대성 이론을 적용하여 $ S(k) $-노름이 $ k $-초양성 지도의 쌍대체임을 보이고, 등장하는 등장 변환군과 스펙트럼 성질을 유도한다.
• 이차형 프로그래밍을 활용하여 볼록 최적화를 통해 노름을 계산하며, 특히 대칭 확장과 $ k $-양성 지도의 특성을 유용하게 활용한다.
• 비-PPT 묶인 얽힌 상태의 존재성이 $ S(1) $-노름을 포함하는 특정한 노름 부등식과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 엽연성 증거의 역할을 일반화하는 노름의 가족을 구성할 수 있는가?
• RQ2 이 새로운 노름들이 양자 정보 이론에서 기존의 트레이스 노름과 다이아몬드 노름과 어떻게 관련이 있는가?
• RQ3 이 새로운 노름들과 비양성 부분 전치를 갖는 묶인 얽힌 상태의 존재성 사이의 연결 고리는 무엇인가?
• RQ4 $ S(1) $-노름을 사용하여 양자 채널의 최소 게이트 신뢰도를 특성화할 수 있는가?
• RQ5 이 노름들이 다중입자 시스템에서 기하 측도의 얽힘과 어떻게 관련이 있는가?

주요 결과

• $ s(k) $-벡터 노름과 $ S(k) $-연산자 노름은 최소 연산자 공간에서 유래되는 엽연성 증거의 일반화로 도입된다.
• $ S(k) $-노름이 $ k $-초양성 지도의 쌍대체임이 입증되었으며, 그 등장 변환군은 유니터리 및 반유니터리 변환을 통해 특성화된다.
• 비-PPT 묶인 얽힌 상태의 존재성이 $ S(1) $-노름을 포함하는 특정 부등식과 동치임을 보이며, 새로운 운영 기준을 제공한다.
• 양자 채널의 최소 게이트 신뢰도는 그 Choi 행렬의 $ S(1) $-노름의 역수로 특성화된다.
• 삼중 및 사중 얽힌 상태에 대한 기하 측도의 얽힘은 $ S(k) $-노름을 통해 표현되며, 기존의 이중 시스템 결과를 일반화한다.
• 논문은 $ ext{CP}(V(M_n)) $ 가 군이 되는 것과 $ V(M_n) $ 가 초균일 연산 체계인 것 사이의 동치성을 증명하며, 노름 이론과 양자 채널의 군 구조를 연결한다.