[논문 리뷰] Unambiguous State Discrimination of two density matrices in Quantum Information Theory

Philippe Raynal|ArXiv.org|2006. 11. 12.

Quantum Information and Cryptography참고 문헌 41인용 수 20

한 줄 요약

이 논문은 일반적인 혼합 양자 상태 두 개에 대한 정확한 해석적 해를 제시하며, 비모호한 상태 분리(USD) 문제를 2r차원 힐베르트 공간 내에서 같은 질량을 가진 밀도 행렬로 환원한다. 이는 허용 가능한 실패 확률에 대한 더 날카운 경계를 허용하는 허용도를 사용하여 더 강력한 하한을 도출하며, 최적성의 필요 및 충분 조건을 규명하여 4차원에서 기하학적으로 균일한 혼합 상태에 대한 정확한 해를 가능하게 한다. 이는 이전의 순수 상태로의 환원을 초월한, 예를 들어 코herent 상태를 사용하는 BB84 QKD 프로토콜에서의 응용을 포함한다.

ABSTRACT

In this thesis we study the problem of unambiguously discriminating two mixed quantum states. We first present reduction theorems for optimal unambiguous discrimination of two generic density matrices. We show that this problem can be reduced to that of two density matrices that have the same rank $r$ in a 2$r$-dimensional Hilbert space. These reduction theorems also allow us to reduce USD problems to simpler ones for which the solution might be known. As an application, we consider the unambiguous comparison of $n$ linearly independent pure states with a simple symmetry. Moreover, lower bounds on the optimal failure probability have been derived. For two mixed states they are given in terms of the fidelity. Here we give tighter bounds as well as necessary and sufficient conditions for two mixed states to reach these bounds. We also construct the corresponding optimal measurement. With this result, we provide analytical solutions for unambiguously discriminating a class of generic mixed states. This goes beyond known results which are all reducible to some pure state case. We however show that examples exist where the bounds cannot be reached. Next, we derive properties on the rank and the spectrum of an optimal USD measurement. This finally leads to a second class of exact solutions. Indeed we present the optimal failure probability as well as the optimal measurement for unambiguously discriminating any pair of geometrically uniform mixed states in four dimensions. This class of problems includes for example the discrimination of both the basis and the bit value mixed states in the BB84 QKD protocol with coherent states.

연구 동기 및 목표

• 기존에 완전한 해가 없었던 일반적인 혼합 양자 상태 두 개에 대한 최적 비모호 상태 분리 문제를 해결하기 위해.
• 두 임의의 혼합 상태에 대한 일반적인 USD 문제를 더 단순한 등가 문제로 환원하기 위해, 낮은 차원의 힐베르트 공간 내에서 같은 질량을 가진 밀도 행렬을 포함한다.
• 기존의 허용도 기반 경계를 개선하여 두 혼합 상태에 대한 USD 실패 확률에 대한 더 날카운 하한을 유도하기 위해.
• 이 경계가 달성 가능한 필요 및 충분 조건을 규명하여 해석적 해를 가능하게 하기 위해.
• 특히 4차원 힐베르트 공간 내에서 기하학적으로 균일한 상태에 대한 명시적 최적 측정을 구성하기 위해.

제안 방법

• 두 혼합 상태에 대한 USD 문제를 항상 같은 질량 r을 가진 2r차원 힐베르트 공간 내 두 밀도 행렬로 환원하는 환원 정리들을 개발한다.
• 중첩된 지지 집합, 정규직교 부분공간, 블록 대각 행렬의 구조를 사용하여 USD 문제의 표준 형태를 도입하여 분석을 단순화한다.
• 실패 확률에 대한 경계를 도출하기 위해 연산자의 평행 덧셈 개념, $ \rho_0 \Sigma^{-1} \rho_1 $를 적용한다.
• 연산자 추적 공간에서의 극형 분해와 코시-슈바르츠 부등식을 사용하여 최적성의 필요 및 충분 조건을 유도한다.
• 최적 POVM 원소의 질량과 스펙트럼을 특성화하여 정확한 해를 위한 구조적 제약 조건을 규명한다.
• 대칭성과 스펙트럼 성질을 활용하여 4차원에서 기하학적으로 균일한 혼합 상태에 대한 명시적 최적 측정을 구성한다.

실험 결과

연구 질문

• RQ1 두 임의의 혼합 양자 상태에 대한 최적 비모호 상태 분리는 더 단순한 등가 문제로 환원될 수 있는가?
• RQ2 두 혼합 상태에 대한 비모호 상태 분리에 대한 실패 확률에 대한 더 날카운 하한은 무엇이며, 언제 달성 가능한가?
• RQ3 두 혼합 상태가 실패 확률에 대한 가장 날카운 알려진 하한을 달성하기 위한 필요 및 충분 조건은 무엇인가?
• RQ4 순수 상태로 환원 가능한 경우를 초월하여 특정 혼합 상태의 클래스에 대해 정확한 해석적 해를 도출할 수 있는가?
• RQ5 4차원 힐베르트 공간 내 기하학적으로 균일한 혼합 상태에 대한 최적 POVM의 구조는 어떠한가?

주요 결과

• 일반적인 두 혼합 상태에 대한 USD 문제는 2r차원 힐베르트 공간 내 같은 질량 r을 가진 두 밀도 행렬로 환원 가능한 등가 문제로 줄일 수 있다.
• 허용도를 사용하여 실패 확률에 대한 더 날카운 하한을 도출하였으며, 이러한 하한을 달성하기 위한 필요 및 충분 조건을 규명하였다.
• 순수 상태 사례로 환원되지 않는 일반 혼합 상태의 일군의 클래스에 대해 해석적 해를 제공하였다.
• 이론적 하한이 달성되지 않는 예시를 제시하여 이러한 하한의 한계를 보여주었다.
• BB84 QKD 프로토콜에서 코herent 상태를 사용하는 경우를 포함한, 4차원 힐베르트 공간 내 기하학적으로 균일한 혼합 상태에 대한 두 번째 클래스의 정확한 해를 도출하였다.
• 기하학적으로 균일한 상태에 대한 최적 측정 연산자를 명시적으로 구성하였으며, 그 질량과 스펙트럼을 완전히 특성화하였다.