[논문 리뷰] An example of a quantum statistical model which cannot be mapped to a less informative one by any trace preserving positive map

Keiji Matsumoto|arXiv (Cornell University)|2014. 09. 19.

advanced mathematical theories참고 문헌 4인용 수 8

한 줄 요약

이 논문은 고전적 의사결정 이론(≥ᶜ) 하에서 다른 모델보다 더 정보가 풍부한 양자 통계 모델을 제시한다. 그러나 어떤 추적 보존 양성 사상으로도 이를 변환할 수 없으며, 이는 양자 충분성(≥ᶜ)이 그러한 사상의 존재를 함의하지는 않음을 보여준다. 주요 기여는 이러한 사상이 존재하지 않는다는 반례를 제시함으로써, 양자 통계 모델이 물리적 채널에 대응하지 않더라도 엄밀히 더 정보가 풍부할 수 있음을 입증하는 데 있다.

ABSTRACT

Comparison of statistical models (experiments) is an important branch of mathematical statistics, which gives deep insights in many aspects of foundation of statistics. So far, there are two quantum versions of the concept: Comparison with respect to classical tasks and full quantum tasks. In the latter version, a quantum statistical model is more informative than another if and only if a trace preserving positive map sends the former to the latter. On the other hand, in the former version, the existence of a trace preserving positive map sending the former to the latter is a useful sufficient condition. A natural question is whether this is necessary or not. We resolve this question negatively by giving a counter example.

연구 동기 및 목표

• 양자 통계적 충분성(≥ᶜ)이 한 모델을 다른 모델로 변환하는 추적 보존 양성 사상의 존재를 함의하는지 조사하는 것.
• ≥ᶜ가 그러한 사상의 존재와 동치라는 추측을 반례를 구성하여 도전하는 것.
• 양성 사상에 의한 물리적 실현 가능성과 양자 정보이론적 충분성 간의 차이를 명확히 하는 것.
• 양자 모델이 물리적 변환에 대응하지 않더라도 엄밀히 더 정보가 풍부할 수 있음을 보여주는 것.

제안 방법

• Θ = {0, 1}이며, 3차원 힐베르트 공간 내에서 밀도 행렬 ρ₀, ρ₁, σ₀, σ₁를 갖는 이중 매개변수 양자 통계 모델을 구성한다.
• ρ₀ 및 ρ₁을 매개변수 α ∈ [0,1]를 갖는 대각 행렬로 정의하며, 이들의 지지부에서 공통된 고유벡터 |2⟩를 공유한다.
• σ₀ 및 σ₁를 매개변수 β ≤ α를 갖는 2차원 부분공간 내의 랭크-2 밀도 행렬로 정의한다.
• 모든 t ≥ 0에 대해 ‖ρ₀ − tρ₁‖₁ ≥ ‖σ₀ − tσ₁‖₁ 를 만족함으로써 레마 1을 이용해 ≥ᶜ를 확인한다.
• ρ₀ 및 ρ₁이 모두 |2⟩ = (0,0,1)ᵀ 를 지지부에 공유하므로, Γ(ρ₀) = σ₀ 및 Γ(ρ₁) = σ₁ 를 만족하는 어떤 추적 보존 양성 사상 Γ도 존재하지 않음을 증명한다.
• 초기 분석을 통해 f(t) = ‖ρ₀ − tρ₁‖₁² − ‖σ₀ − tσ₁‖₁² ≥ 0 for all t ≥ 0 임을 보여 추적 노름 부등식을 확인한다.

실험 결과

연구 질문

• RQ1 양자 충분성(≥ᶜ)이 한 모델을 다른 모델로 변환하는 추적 보존 양성 사상의 존재를 함의하는가?
• RQ2 양성 사상에 대응하는 물리적 변환이 없이도 양자 통계 모델이 다른 모델보다 엄밀히 더 정보가 풍부할 수 있는가?
• RQ3 양자 설정에서 ≥ᶜ가 성립하기 위해 양성 사상의 존재가 필수적인가?
• RQ4 밀도 연산자의 모델에 포함된 순수 상태의 공통 지지부가 그러한 사상의 존재를 방해하는 데 어떤 역할을 하는가?
• RQ5 모든 t ≥ 0 에 대해 ‖ρ₀ − tρ₁‖₁ ≥ ‖σ₀ − tσ₁‖₁ 를 만족하는 조건이, 양성 사상이 존재하지 않는 경우에도 여전히 ≥ᶜ 를 보장하는가?

주요 결과

• 모델은 모든 t ≥ 0 에 대해 ‖ρ₀ − tρ₁‖₁ ≥ ‖σ₀ − tσ₁‖₁ 를 만족하며, 이는 레마 1에 의해 ≥ᶜ 를 함의한다.
• ≥ᶜ 를 만족함에도 불구하고, Γ(ρ₀) = σ₀ 및 Γ(ρ₁) = σ₁ 를 만족하는 추적 보존 양성 사상 Γ 는 존재하지 않는다.
• 이 불가능성은 ρ₀ 및 ρ₁ 이 모두 |2⟩ = (0,0,1)ᵀ 을 지지부에 공유하기 때문에 발생하며, 이는 Γ(ρ₀) = σ₀ 및 Γ(ρ₁) = σ₁ 가 일관되지 않음을 의미한다.
• 함수 f(t) = ‖ρ₀ − tρ₁‖₁² − ‖σ₀ − tσ₁‖₁² 는 모든 t ≥ 0 에 대해 비음수이며, 이는 추적 노름 부등식을 확인한다.
• 결과적으로, 양자 충분성(≥ᶜ)이 물리적 채널(양성 추적 보존 사상)의 존재를 함의하지는 않음을 보여준다.
• 이는 ≥ᶜ 가 그러한 사상의 존재와 동치라는 추측에 대한 결정적인 반례를 제공한다.