[논문 리뷰] Bounds on the minimum-error discrimination between mixed quantum states

Daowen Qiu, Lvjun Li|arXiv (Cornell University)|2008. 12. 12.

Quantum Computing Algorithms and Architecture참고 문헌 4인용 수 1

한 줄 요약

이 논문은 주어진 사전 확률을 가진 임의의 m개의 혼합 양자 상태를 구분할 때 최소 오차 확률에 대한 새로운 하한을 확립하며, 그 달성 조건에 대해 必要하고 충분한 조건을 제시한다. 또한 두 상태 구분에 대해 성립하는 관계 $ Q_U \geq 2Q_E $ 가 두 개 이상의 상태로 일반화되지 않음을 입증하여, 두 상태와 다수 상태의 양자 상태 구분 간의 근본적인 차이를 드러낸다.

ABSTRACT

The minimum-error probability of ambiguous discrimination for two quantum states is the well-known {\it Helstrom limit} presented in 1976. Since then, it has been thought of as an intractable problem to obtain the minimum-error probability for ambiguously discriminating arbitrary $m$ quantum states. In this paper, we obtain a new lower bound on the minimum-error probability for ambiguous discrimination and compare this bound with six other bounds in the literature. Moreover, we show that the bound between ambiguous and unambiguous discrimination does not extend to ensembles of more than two states. Specifically, the main technical contributions are described as follows: (1) We derive a new lower bound on the minimum-error probability for ambiguous discrimination among arbitrary $m$ mixed quantum states with given prior probabilities, and we present a necessary and sufficient condition to show that this lower bound is attainable. (2) We compare this new lower bound with six other bounds in the literature in detail, and, in some cases, this bound is optimal. (3) It is known that if $m=2$, the optimal inconclusive probability of unambiguous discrimination $Q_{U}$ and the minimum-error probability of ambiguous discrimination $Q_{E}$ between arbitrary given $m$ mixed quantum states have the relationship $Q_{U}\geq 2Q_{E}$. In this paper, we show that, however, if $m>2$, the relationship $Q_{U}\geq 2Q_{E}$ may not hold again in general, and there may be no supremum of $Q_{U}/Q_{E}$ for more than two states, which may also reflect an essential difference between discrimination for two-states and multi-states. (4) A number of examples are constructed.

연구 동기 및 목표

• 주어진 사전 확률을 가진 임의의 m개의 혼합 양자 상태 간의 모호한 구분에 대해 최소 오차 확률에 대한 새로운 하한을 유도하는 것.
• 이 하한이 달성 가능한 조건에 대해 必요하고 충분한 조건을 설정하는 것.
• 기존 문헌에 존재하는 여섯 가지 하한과의 비교를 통해 이 하한의 날것과 최적성 평가하는 것.
• 기존에 알려진 무모호 구분 확률 $ Q_U $ 와 최소 오차 확률 $ Q_E $ 간의 관계 $ Q_U \geq 2Q_E $ 가 두 개 이상의 상태로 이루어진 집합으로 일반화되는지 조사하는 것.
• m > 2인 경우에 대해 이 관계의 붕괴를 보여주는 구체적인 예시를 제시하는 것.

제안 방법

• 볼록 최적화 기법과 양자 측정 이론을 활용하여 최소 오차 확률에 대한 새로운 하한을 유도하는 것.
• 밀도 행렬의 구조와 사전 확률에 기반하여 이 하한의 날것을 보장하는 조건을 필수적이고 충분한 조건으로 서술하는 것.
• 해석적 및 수치적 방법을 통해 신규 하한과 여섯 가지 기존 하한 간의 상세한 비교를 수행하는 것.
• m > 2인 경우에 대해 무모호 구분 확률 $ Q_U $ 와 최소 오차 확률 $ Q_E $ 간의 관계를 분석하여, 반례를 제시함으로써 $ Q_U \geq 2Q_E $ 가 일반적으로 성립하지 않음을 입증하는 것.
• m > 2인 양자 상태 집합의 구체적 예를 제작하여 이론적 결과와 하한의 행동 양상을 시각화하는 것.

실험 결과

연구 질문

• RQ1 임의의 m개의 혼합 양자 상태를 구분할 때 최소 오차 확률에 대한 가장 날것인 하한은 무엇인가?
• RQ2 이 새로운 하한은 어떤 조건에서 달성될 수 있는가?
• RQ3 기존 문헌에 존재하는 여섯 가지 하한과 비교할 때 이 하한의 날것은 어떠한가?
• RQ4 두 상태의 무모호 및 최소 오차 구분에 대해 성립하는 부등식 $ Q_U \geq 2Q_E $ 는 두 개 이상의 상태로 이루어진 집합으로 일반화되는가?
• RQ5 m > 2일 때 비율 $ Q_U / Q_E $ 에 대해 유한한 Supremum 가 존재하는가?

주요 결과

• 여러 테스트 케이스에서 제안된 하한은 기존 하한보다 날것거나 유사하며, 특정 구성에서는 최적임을 입증하였다.
• 이 새로운 하한이 달성 가능한 조건에 대해 필수적이고 충분한 조건을 도출하여 날것을 보장하는 명확한 기준을 제공하였다.
• 두 상태 구분에 대해 성립하는 관계 $ Q_U \geq 2Q_E $ 는 일반적으로 m > 2의 양자 상태 집합에서는 성립하지 않는다.
• m > 2인 경우 비율 $ Q_U / Q_E $ 는 임의로 크게 만들 수 있으며, 이는 유한한 Supremum 가 존재하지 않음을 의미하며, 이는 두 상태와 다수 상태의 구분 간의 근본적인 차이를 강조한다.
• 여러 제작된 예시들은 이론적 결과를 확인하였으며, 특히 다수 상태 상황에서 $ Q_U \geq 2Q_E $ 부등식의 실패를 잘 보여주었다.