[논문 리뷰] Note on non-entangling measurements

Paul Busch|arXiv (Cornell University)|2002. 09. 15.

Quantum Mechanics and Applications참고 문헌 2인용 수 1

한 줄 요약

이 논문은 이분할 양자 시스템에서 비엔틀레깅(unitary) 측정을 특성화하며, 어떤 POVM(양의 연산자값 측정)도 이러한 맵을 통해 실현될 수 있음을 증명한다. 이는 H₁에서의 등급 변환을 통해 시스템 상태를 이동시키면서 어初三 상태를 유지하는 경우, 또는 H₁에서 H₂로의 등급 변환을 통해 시스템 정보를 어初三로 전달하는 경우로 나뉘며, 핵심 결과로 이러한 비엔틀레깅(unitary) 변환의 완전한 분류가 이루어진다.

ABSTRACT

The general form of non-entangling unitary maps for measurement schemes is determined. It is shown that any POVM admits a non-entangling measurement. We prove the following. Proposition 1 Let H1, H2 be complex separable Hilbert spaces, φ0 a unit vector in H2. Assume U: H1 ⊗ H2 → H1 ⊗ H2 is a unitary map such that for all ϕ ∈ H1, U(ϕ ⊗ φ0) = ϕ ′ ⊗ φ ′ for some unit vectors ϕ ′ ∈ H1, φ ′ ∈ H2. Then U acts in one of the following two ways: (1) U(ϕ ⊗ φ0) = V1(ϕ) ⊗ φ ′ , where V1 is an isometry in H1 and φ ′ is a fixed unit vector in H2; (2) U(ϕ ⊗ φ0) = ϕ ′ ⊗ W12ϕ, where W12 is an isometry from H1 to H2 and ϕ ′ is a fixed unit vector in H1. Proof. Let {ϕn}n∈N be an orthonormal basis of H1. There are systems of unit vectors ϕ ′ n ∈ H1, φ ′ n ∈ H2 such that Uϕn ⊗ φ0 = ϕ ′ n ⊗ φ ′ n. Due to the unitarity are mutually orthogonal. We show that one of two of U, all the vectors ϕ ′ n ⊗φ ′ n cases (a), (b) must hold: (a) {ϕ ′ n}n∈N is an orthonormal system, all φ ′ n are parallel to φ ′ 1; (b) {φ ′ n}n∈N is an orthonormal system, all ϕ ′ n are parallel to ϕ ′ 1. For two unit vectors ψ, ξ which are mutually orthogonal, 〈ψ|ξ 〉 = 0, we will write ψ ⊥ ξ. From ϕ1 ⊥ ϕ2, it follows that either ϕ ′ 1 ⊥ ϕ ′ 2 or φ ′ 1 ⊥ φ ′ 2. Consider the first case. Then

연구 동기 및 목표

• 측정 과정에서 시스템과 보조 시스템 간에 얽힘을 유도하지 않는 유니터리 맵의 구조를 특성화하는 것.
• 유니터리 변환이 고정된 보조 상태를 가진 곱 상태에 작용할 때 분리 가능성을 유지하는 조건을 규명하는 것.
• 이분할 힐버트 공간에서의 비엔틀레깅(unitary) 유니터리 맵의 가능한 모든 형태를 분류하는 것.
• 모든 양의 연산자값 측정(POVM)에 대해 비엔틀레깅 실현 가능성이 존재함을 확립하는 것.

제안 방법

• H₁에서의 정규직교 기저 {ϕₙ}를 사용하여 유니터리 U가 ϕₙ⊗φ₀ 상태에 작용하는 방식을 분석하는 것.
• U(ϕₙ⊗φ₀)를 ϕ′ₙ⊗φ′ₙ로 분해하며, 여기서 ϕ′ₙ ∈ H₁ 및 φ′ₙ ∈ H₂는 단위 벡터임.
• 유니터리 성질을 적용하여 벡터 ϕ′ₙ⊗φ′ₙ가 상호 직교성을 유지하도록 보장하는 것.
• 직교 조건 분석: ϕ₁⊥ϕ₂ 이면, ϕ′₁⊥ϕ′₂ 또는 φ′₁⊥φ′₂ 중 하나가 성립함.
• {ϕ′ₙ} 또는 {φ′ₙ}이 정규직교 체계를 이루는지에 기반한 경우의 구분.
• 두 가지 표준형 유도: (1) U가 H₁에서 등급 변환을 수행하면서 어初三 상태를 고정하는 경우, 또는 (2) U가 H₁에서 H₂로의 등급 변환을 통해 시스템 상태를 어初三로 전달하는 경우.

실험 결과

연구 질문

• RQ1 고정된 보조 상태와 곱 상태에 작용할 때 분리 가능성을 유지하는 가능한 유니터리 변환은 무엇인가?
• RQ2 모든 POVM이 비엔틀레깅(unitary) 측정 기반으로 실현될 수 있는가?
• RQ3 유니터리 맵이 곱 상태에 작용할 때 출력 상태가 분리 가능해지는 조건은 무엇인가?
• RQ4 유니터리 맵이 곱 상태를 곱 상태로 매핑할 때 발생하는 구조적 제약 조건은 무엇인가?

주요 결과

• 비엔틀레깅 조건을 만족하는 모든 유니터리 맵 U는 두 가지 표준형 중 하나로 작용해야 한다: (1) H₁에서의 등급 변환을 통해 어初三 상태를 유지하거나, (2) H₁에서 H₂로의 등급 변환을 통해 시스템 상태를 어初三로 전달하는 경우.
• 이미지 상태 ϕ′ₙ이 직교성을 유지한다면, 시스템 상태는 H₁에서의 등급 변환을 통해 유지되고 어初三 상태는 고정된다.
• 이미지 상태 φ′ₙ이 직교성을 유지한다면, 시스템 상태는 H₁에서 고정된 상태로 매핑되며 어初三은 H₁에서 H₂로의 등급 변환을 통해 정보를 전달한다.
• 이 분류는 모든 분리 가능한 힐버트 공간에 대해 성립하므로, 양자 측정 프레임워크에 대해 일반적인 결과이다.
• 결과적으로 모든 POVM이 비엔틀레깅 측정 실현 가능성을 가짐을 확인하며, 이러한 유니터리 변환은 얽힘 없이도 어떤 POVM 결과 분포도 시뮬레이션할 수 있다.