[논문 리뷰] Quantum discord of two-qubit X-states

Qing Chen, Chengjie Zhang외 3명|arXiv (Cornell University)|2011. 02. 01.

Quantum Computing Algorithms and Architecture인용 수 35

한 줄 요약

이 논문은 최소화 없이 해석적으로 계산할 수 있는 두 큐비트 X-상태의 광범위한 클래스를 규명하며, 기존 알고리즘이 실패하는 X-상태의 가족—특히 𝒳ₘ로 지정된 가족—도 드러낸다. 이 상태들에 대해, 모든 양의 연산 측정값(POVM)에 대한 최소화를 통한 양자 어ongs은 바르나이 측정값에 대한 최소화를 통한 것보다 엄격히 작음을 증명하여, 두 최소화 방법 간의 명백한 비등가성을 입증한다.

ABSTRACT

Quantum discord provides a measure for quantifying quantum correlations beyond entanglement and is very hard to compute even for two-qubit states because of the minimization over all possible measurements. Recently a simple algorithm to evaluate the quantum discord for two-qubit X-states is proposed by Ali, Rau and Alber [Phys. Rev. A 81, 042105 (2010)] with minimization taken over only a few cases. Here we shall at first identify a class of X-states, whose quantum discord can be evaluated analytically without any minimization, for which their algorithm is valid, and also identify a family of X-states for which their algorithm fails. And then we demonstrate that this special family of X-states provides furthermore an explicit example for the inequivalence between the minimization over positive operator-valued measures and that over von Neumann measurements.

연구 동기 및 목표

• 최소화 없이 해석적으로 계산할 수 있는 두 큐비트 X-상태의 클래스를 규명하는 것.
• Ali, Rau, and Alber가 제안한 X-상태에서의 양자 어ongs 계산 알고리즘이 실패하는 조건을 규명하는 것.
• X-상태에서의 양자 어ongs 계산에 있어 POVM에 대한 최소화와 바르나이 측정값에 대한 최소화 간의 비등가성을 입증하는 것.
• 표준 알고리즘이 실패하고 POVM 최소화가 엄격히 더 작은 어ongs을 제공하는 구체적 예시—특히 최대 어ongs을 가진 혼합 상태의 가족 𝒳ₘ—를 구성하는 것.
• 𝒳ₘ 가족의 구조를 분석하고, 고전적 상관관계 대 양자 어ongs(𝒥–D) 다이어그램에 미치는 영향을 분석하는 것.

제안 방법

• 저자들은 국소 유니터리 변환을 사용하여 두 큐비트 X-상태의 구조를 분석함으로써, 다섯 개의 실수 변수인 x, y, t, s, u로 매개변수를 축소한다.
• 특히 최적의 측정 각도 θ에 초점을 맞춰, 다양한 정량화 축을 따라 바르나이 측정값에 대한 최소화를 고려함으로써 양자 어ongs의 해석적 표현을 유도한다.
• 𝒳ₘ 가족에 대해, 최적의 각도 θₐₚₜ로 매개변수화된 세 결과를 가진 POVM을 구성함으로써, 부분 최적의 어ongs 값 평가가 가능해진다.
• 바르나이 측정값을 통한 어ongs Dₐ와 구성된 POVM을 통한 어ongs 𝒟ᵤₚₚₑᵣ를 비교함으로써, 𝒟ᵤₚₚₑᵣ > 𝒟ₐ 임을 확인하여, POVM 최소화가 엄격히 더 작은 어ongs을 제공함을 입증한다.
• 수치적 및 해석적 방법을 사용하여 𝒳ₘ의 매개변수 공간 전반에서 최적의 각도 θₐₚₜ와 그에 따른 어ongs 값을 계산하고, 결과를 θₐₚₜ, Δ, 및 Δ̃의 그림으로 시각화한다.
• 양자 상호정보량과 고전적 상관관계 측정값을 POVM과 바르나이 측정값을 통해 정의하여, Dₐ = 𝒥ₐ - 𝒥ₐ 및 𝒟ₐ = 𝒥ₐ - 𝒥ₐ를 통해 어ongs를 계산한다.

실험 결과

연구 질문

• RQ1 어떤 두 큐비트 X-상태의 클래스에서 양자 어ongs를 최소화 없이 해석적으로 계산할 수 있는가?
• RQ2 Ali-Rau-Alber 알고리즘이 X-상태에서의 양자 어ongs를 계산할 때 어떤 조건에서 실패하는가?
• RQ3 X-상태에서의 양자 어ongs 계산에 있어, 모든 POVM에 대한 최소화와 바르나이 측정값에 대한 최소화 간에 등가성이 있는가?
• RQ4 POVM을 고려할 때, 최대 어ongs을 가진 혼합 상태의 가족 𝒳ₘ는 𝒥–D 다이어그램에서 경계 상태인가?
• RQ5 주어진 X-상태에 대해, 그로 인해 유도된 양자 어ongs가 어떤 바르나이 측정값보다도 엄격히 작은 POVM을 구성할 수 있는가?

주요 결과

• 최소화 없이도 해석적으로 계산할 수 있는 X-상태의 광범위한 클래스가 존재하며, 이는 Ali-Rau-Alber 알고리즘이 이러한 경우에 유효함을 확인한다.
• 최대 어ongs을 가진 혼합 상태로 간주되는 X-상태의 가족 𝒳ₘ는 Ali-Rau-Alber 알고리즘을 무효화하며, 최적의 측정값이 σₓ나 σ_z가 아님을 보여준다.
• 𝒳ₘ에 대해 최적의 바르나이 측정값 각도 θₐₚₜ는 [0, π/4] 내에서 연속적으로 존재함을 보여주며, 이는 유한한 측정값 집합이 항상 최적은 아님을 시사한다.
• 바르나이 측정값을 통한 어ongs Dₐ와 구성된 POVM을 통한 상한 𝒟ᵤₚₚₑᵣ 사이의 차이는 끝점 이외에는 항상 양수이며, 이는 POVM 최소화가 엄격히 더 작은 어ongs을 제공함을 입증한다.
• POVM 최소화를 통한 양자 어ongs 𝒟ₐ는 바르나이 최소화를 통한 Dₐ보다 엄격히 작으며, 이는 X-상태에서 두 최소화 방법 간의 비등가성을 입증하는 첫 번째 명백한 예시이다.
• POVM을 사용할 경우 𝒳ₘ의 𝒥–D 다이어그램은 더 아래쪽과 오른쪽으로 이동하며, 이는 POVM 최소화 하에서 상태가 더 이상 다이어그램의 경계에 위치하지 않을 수 있음을 시사한다.