[논문 리뷰] A Family of Norms With Applications In Quantum Information Theory II

Nathaniel Johnston, David W. Kribs|arXiv (Cornell University)|2010. 06. 04.

Computability, Logic, AI Algorithms인용 수 5

한 줄 요약

이 논문은 양자 얽힘과 관련된 특정 유형의 연산자 노름을 정확히 계산하거나 상한을 구하기 위한 일련의 준정부분행렬 프로그래밍(SDP)을 개발한다. 특히 $k$-양성성과 정련 가능성과 관련된 내용을 다룬다. 주요 기여는 비양성 부분전치(NPPT) 페르너 상태가 임의의 $r$에 대해 $r$-정련 불가능하다는 새로운 구조적 증명을 제시한 것으로, 준정부분행렬 프로그래밍의 이중성 이론을 활용하여 오랫동안 남아있던 양자정보이론 분야의 핵심 문제를 해결한다.

ABSTRACT

We consider the problem of computing the family of operator norms recently introduced in arXiv:0909.3907. We develop a family of semidefinite programs that can be used to exactly compute them in small dimensions and bound them in general. Some theoretical consequences follow from the duality theory of semidefinite programming, including a new constructive proof that there are non-positive partial transpose Werner states that are r-undistillable for arbitrary r. Several examples are considered via a MATLAB implementation of the semidefinite program, including the case of Werner states and randomly generated states via the Bures measure, and approximate distributions of the norms are provided. We extend these norms to arbitrary convex mapping cones and explore their implications with positive partial transpose states.

연구 동기 및 목표

• 양자 얽힘 이론에서 사용되는 일련의 연산자 노름을 계산하고 경계를 설정하기 위한 알고리즘 기법을 개발하기 위해.
• 양자 정보 이론에서 선형 사상의 $k$-얽힘 증거 및 $k$-양성성 문제를 다루기 위해.
• 임의의 $r$에 대해 $r$-정련 불가능한 NPPT 페르너 상태의 존재를 구조적으로 증명하기 위해, 이는 핵심적인 열린 문제를 해결한다.
• 이 노름들을 임의의 볼록 매핑 콘에 확장하고, PPT 상태에 대한 영향을 분석하기 위해.
• 이 노름들이 사영에 대해 어떻게 행동하는지 조사하고, 정규화된 상대 엔트로피 얽힘 추측에 기여하는지 탐구하기 위해.

제안 방법

• 저자들은 작은 차원에서는 정확한 연산자 노름을 계산하고 일반적인 경우에 상한을 제공하는 일련의 준정부분행렬 프로그래밍(SDP)을 제안한다.
• 준정부분행렬 프로그래밍의 이중성 이론을 활용하여 이론적 결과를 도출하며, 특히 NPPT 페르너 상태에서의 $r$-정련 불가능성에 대한 새로운 구조적 증명을 제공한다.
• SDP는 MATLAB을 사용해 구현되어 페르너 상태와 Bures 측도를 통해 생성된 임의의 상태에 대해 수치적으로 노름을 계산한다.
• 이 노름들은 임의의 볼록 매핑 콘으로 일반화되어, PPT 상태 및 얽힘 증거와의 행동 분석이 가능해진다.
• 논문은 선형 사상과 그 콜리-자미올로프스키 이중성 관계를 통해 콜리 행렬과 연결하고, 상태의 스미트 계수와 연산자 노름 간의 관계를 분석한다.
• 디바레츠키 정리의 구체적 형태가 적용되어, 노름의 크기를 랭크와 차원에 따라 유계로 제한하며, 일반 상수를 도출한다.

실험 결과

연구 질문

• RQ1 논문 [1]에서 소개된 연산자 노름의 일련은 알고리즘적 방법을 통해 효율적으로 계산되거나 경계를 설정할 수 있는가?
• RQ2 임의의 $r$에 대해 $r$-정련 불가능한 비양성 부분전치(NPPT) 페르너 상태가 존재하는가?
• RQ3 이 노름들은 사영에 대해 어떻게 행동하는가? 그리고 정규화된 상대 엔트로피 얽힘 추측을 평가하는 데 사용될 수 있는가?
• RQ4 상태의 스미트 수와 그에 대응하는 선형 사상의 $k$-양성성 간의 관계는 무엇인가?
• RQ5 이 노름들은 임의의 볼록 매핑 콘으로 확장될 수 있으며, 이는 PPT 상태와 얽힘 탐지에 어떤 영향을 미치는가?

주요 결과

• 준정부분행렬 프로그래밍의 이중성 이론을 활용하여, 임의의 $r$에 대해 $r$-정련 불가능한 NPPT 페르너 상태가 존재한다는 새로운 구조적 증명이 제시된다.
• 개발된 준정부분행렬 프로그래밍은 작은 차원에서는 노름을 정확히 계산하고 일반 차원에서는 상한을 제공한다.
• 상호수직 사영 $P$에 대해 $\mathrm{rank}(P) \leq kn$일 경우, 노름 $\|P\|_{S(k)}$는 $\frac{k}{n}$과 $C\frac{k}{n}$ 사이에 유계로 놓이며, 여기서 $C$는 $n$과 $k$에 독립적인 일반 상수이다.
• MATLAB 구현을 통해 Bures 측도를 통해 생성된 페르너 상태와 임의의 상태에 대해 노름의 근사 분포를 수치적으로 계산하였다.
• 결과적으로, 브라운도의 추측에서의 부등식 (6)은 $n \to \infty$일 때 $\mathrm{rank}(P) \approx n$이면 일반적으로 성립하지 않음을 보여주며, 이는 정규화된 상대 엔트로피 얽힘이 일반적으로 초가법적이지 않음을 시사한다.
• 사영에 대한 노름 행동은 추측 $\|P\|_{S(1)} \geq \sqrt{\mathrm{rank}(P)/(n^{2+\varepsilon})}$ 가 $\varepsilon < 1$일 경우 점점 더 틀어지게 되며, 이는 $\varepsilon < 1$일 경우 점점 더 틀어지게 되며, 유한한 $n$에 대해서만 성립한다.