[논문 리뷰] Requirements for compatibility between local and multipartite quantum states

Sergey Bravyi|arXiv (Cornell University)|2003. 01. 06.

Quantum Information and Cryptography인용 수 11

한 줄 요약

이 논문은 큐비트 및 큐비트-큐디트 시스템에서 다중편재 양자 상태(순수 또는 혼합 상태)의 국소 밀도 행렬 집합(평균장 상태)이 적어도 하나의 다중편재 양자 상태와 호환될 수 있는지 여부를 판단하기 위한 필수 및 필요조건을 수립한다. 기하학적 구성과 매개변수화된 밀도 행렬을 사용하여 국소 밀도 행렬의 최소 고유값에 대한 명시적 제약 조건을 유도하며, 호환성 조건이 고유값 차이와 매개변수화된 얽힘 상태를 포함하는 부등식에 의해 결정됨을 증명한다. 특히 두 큐비트 및 세 큐비트 시스템에 대해 명시적 상태 구성법을 통해 완전한 특성화를 수행한다.

ABSTRACT

We consider a partial trace transformation which maps a multipartite quantum state to collection of local density matrices. We call this collection a mean field state. The necessary and sufficient conditions under which a mean field state is compatible with at least one multipartite pure state are found for the system of $n$ qubits and for the tripartite system with the Hilbert space of dimension 2x2x4. Compatibility of mean field states with more general classes of multipartite quantum states is discussed.

연구 동기 및 목표

• 주어진 다중편재 순수 양자 상태의 부분 추적으로부터 유도될 수 있는 국소 밀도 행렬 집합(평균장 상태)이 존재할 수 있는 필요 및 충분 조건을 규명하는 것.
• 이 호환성 문제를 특정 스펙트럼을 가진 혼합 상태로 확장하여, 특히 고정된 고유값을 가진 이중 시스템에서의 적용을 다루는 것.
• 특히 큐비트 및 큐비트-큐디트 시스템과 같은 저차원 시스템에서 주어진 국소 밀도 행렬을 실현하는 다중편재 양자 상태의 명시적 구성법을 제공하는 것.
• 고유값 차이와 얽힘 매개변수를 통해 정의된 기하학적 영역을 이용하여 모든 호환 가능한 평균장 상태의 집합을 특성화하는 것.
• 고정 스펙트럼을 가진 세 큐비트 및 두 큐비트 시스템의 호환성 문제를 정규직교 기저 구성법과 매개변수화된 밀도 행렬을 통해 해결하는 것.

제안 방법

• 고유값 부등식을 통한 호환성 조건 유도: n개 큐비트에 대해, 평균장 상태가 순수 상태와 호환되려면 각 큐비트의 밀도 행렬의 최소 고유값이 나머지 모든 큐비트의 최소 고유값의 합 이하여야 한다.
• 매개변수 공간(예: α, β, φ)을 (λᴬ, λᴮ) 평면의 영역으로 매핑하는 기하학적 접근법을 사용하여, 서로 다른 매개변수 범위가 호환 영역 내에서 서로 다른 삼각형 영역(OCD, OAB, OBC)에 대응됨을 보여준다.
• 매개변수 α와 β에 따라 매개변수화된 얽힌 두 큐비트 상태(|Ψ₁⟩, |Ψ₂⟩, |Ψ₃⟩, |Ψ₄⟩)의 명시적 정규직교 기저를 구성하여, 원하는 스펙트럼과 축소된 상태를 갖는 밀도 행렬을 직접 구성할 수 있도록 한다.
• 각도 φ를 포함하는 위상 의존 상태(|~Ψ₁⟩, |~Ψ₂⟩, |~Ψ₃⟩, |~Ψ₄⟩)를 포함하는 수정된 기저를 도입하여 남은 영역(삼각형 OBC)을 커버함으로써 호환 영역을 완전히 커버할 수 있도록 한다.
• 부분 추적을 통한 축소 밀도 행렬 계산을 통해, 고유값 차이(λ₁−λ₄, λ₂−λ₃)와 매개변수 α, β, φ에 대한 최소 고유값 λᴬ 및 λᴮ의 닫힌 형태 표현식을 도출한다.
• 두 큐비트 시스템에서 고정 스펙트럼 λ를 가진 경우, 호환 영역 전체가 세 가지 다른 밀도 행렬 가족에 의해 커버지며, 각 가족이 (λᴬ, λᴮ) 평면 내 삼각형 부분 영역에 대응됨을 보여준다.

실험 결과

연구 질문

• RQ1 다중편재 양자 시스템의 국소 밀도 행렬이 적어도 하나의 순수 상태와 호환되도록 만족해야 하는 조건은 무엇인가?
• RQ2 주어진 혼합 다중편재 상태의 스펙트럼과 호환되는 모든 평균장 상태의 집합은 어떻게 특성화할 수 있는가?
• RQ3 저차원 시스템(예: 큐비트 및 큐비트-큐디트 시스템)에서 임의의 호환 가능한 국소 밀도 행렬을 실현하는 다중편재 양자 상태의 명시적 구성법은 무엇인가?
• RQ4 고유값 차이와 얽힘 매개변수(α, β, φ)는 두 큐비트 시스템에서 호환 영역의 경계를 어떻게 결정하는가?
• RQ5 고정 스펙트럼을 가진 두 큐비트 시스템의 전체 호환 영역은 유한한 수의 매개변수화된 밀도 행렬 가족에 의해 커버될 수 있는가?

주요 결과

• n 큐비트에 대해, 평균장 상태(ρ¹,…,ρⁿ)가 순수 상태와 호환되려면 각 i에 대해 최소 고유값 λ⁽ⁱ⁾이 나머지 모든 큐비트의 최소 고유값의 합 이하여야 한다. 이는 n ≥ 3일 때 슈미트 분해 조건을 일반화한 것이다.
• 두 큐비트의 경우 고정 스펙트럼 λ = (λ₁, λ₂, λ₃, λ₄)를 가질 때, (λᴬ, λᴮ) 평면 내 호환 영역은 삼각형 OCD, OAB, OBC로 구성된 볼록 다각형이며, 각각 다른 밀도 행렬 가족에 대응된다.
• 축소된 밀도 행렬의 최소 고유값은 명시적 공식으로 주어지며, 한 가족에 대해 λᴬ = ½{1 − |α(λ₁−λ₄) − β(λ₂−λ₃)|} 및 λᴮ = ½{1 − |α(λ₁−λ₄) + β(λ₂−λ₃)|}와 같이 표현되며, 다른 두 가족에 대해서도 유사한 표현식이 존재한다.
• 첫 번째 가족(OCD)은 매개변수 0 ≤ α ≤ 1 및 0 ≤ β ≤ α에 해당하며, 두 번째 가족(OAB)은 0 ≤ β ≤ 1 및 (λ₂−λ₄)/(λ₁−λ₃)β ≤ α ≤ β 범위에 해당한다. 이때 λ₁−λ₃ ≥ λ₂−λ₄를 가정한다.
• 세 번째 가족은 위상 φ를 포함하는 매개변수화된 상태 |~Ψᵢ⟩를 사용하여 삼각형 OBC를 커버하며, λᴬ = ½(1 − |α|√(λ₁₂² + λ₃₄² + 2λ₁₂λ₃₄cosφ)) 및 λᴮ = ½[1 − |α|(λ₁+λ₂−λ₃−λ₄)]로 주어진다. 여기서 λ₁₂ = λ₁−λ₂ 및 λ₃₄ = λ₃−λ₄이다.
• 고정 스펙트럼을 가진 두 큐비트 시스템의 전체 호환 영역은 이 세 가족에 의해 완전히 커버지며, 이는 집합 M(λ)이 이 세 매개변수 영역의 합집합으로 완전히 특성화됨을 증명한다.