[논문 리뷰] Verifiable nonlinear quantum evolution implies failure of density matrices to represent proper mixtures

Eric G. Cavalcanti, Nicolas C. Menicucci|arXiv (Cornell University)|2010. 04. 08.

Quantum Information and Cryptography인용 수 11

한 줄 요약

이 논문은 비선형 양자 진동이 순수 상태 입력을 반복적으로 시험함으로써 실험적으로 검증 가능할 경우, 밀도 행렬이 실제 상태에 대한 무지에 기반한 적절한 혼합 상태를 일관적으로 표현할 수 없다는 것을 보여준다. 왜냐하면 이러한 혼합 상태는 비선형 이론에서 구별 가능한 동역학을 설명하지 못하기 때문이다. 핵심 결과는 비선형 사상의 결정론적 성질이 검증 가능할 경우, 인지적 혼합 상태에 밀도 행렬을 사용하는 것이 불가능하다는 것이다. 이는 비선형 양자역학의 기초적 가정에 도전한다.

ABSTRACT

In a recent Letter, Bennett and coworkers [1] argue that proofs of exotic quantum effects using closed timelike curves (CTC's) based on the work of Deutsch [2], or other nonlinear quantum dynamics, suffer from a fallacy that they call the "linearity trap," by which one cannot assume that a classical mixture of input states will lead to the same mixture of corresponding output states. We show that this prescription is inconsistent with the assumption that one can verify the postulated nonlinear evolution. Specifically, if some agent can empirically verify the deterministic nonlinear action of a physical device for some set of pure-state inputs, then one cannot generally use density matrices to represent the input for a second agent who is ignorant of the actual pure state prepared. Our argument is epistemological and makes no appeal to the detailed physics of CTC's.

연구 동기 및 목표

• 검증 가능한 비선형 양자 진동을 가진 이론에서 밀도 행렬이 적절한 혼합 상태를 표현할 수 있는지 조사하기.
• 비선형 역학이 실험적으로 검증 가능할 경우, 밀도 행렬이 인지적 혼합 상태에 대해 타당하다는 가정을 도전하기.
• 비선형 양자 이론에서 적절한 혼합 상태(무지 기반)와 부적절한 혼합 상태(부분 추적)의 차이를 명확히 하기.
• 검증 가능한 비선형 사상 하에서 밀도 행렬 표현에 대한 불합리한 의존성으로 인해 비선형 양자역학에서 선형성의 함정이 발생한다는 것을 보여주기.
• 비선형 사상의 실험적 검증 가능성이 비선형 양자역학에서 서로 다른 순수 상태 준비 방식이 밀도 행렬 형식론 하에서 동일시될 수 없다는 것을 증명하기.

제안 방법

• 저자들은 비선형 장치 D가 두 개의 정규직교하지 않은 순수 상태 |ϕ₀⟩와 |ϕ₁⟩을 각각 직교하는 출력 |0⟩과 |1⟩으로 매핑하는 것을 검증하는 상황을 분석한다.
• 두 번째의 연구자(앨리스)는 입력 상태를 모른 채 출력을 관찰하며, 장치가 입력에 대해 결정론적으로 작용한다고 가정한다.
• 이 방법은 검증 절차 C가 존재한다고 가정한다. 이 절차는 반복적인 입력 시퀀스를 생성하여 로브가 장치의 결정론적 행동을 확인할 수 있도록 한다.
• 핵심 논리는 지식론적 추론에 기반한다: 앨리스의 무지가 결과에 영향을 주지 않으면, 그녀는 출력으로부터 입력을 추론할 수 있으며, 이는 출력이 밀도 행렬에만 의존한다는 주장과 모순된다.
• 밀도 행렬 ρ_A = p|ϕ₀⟩⟨ϕ₀| + (1−p)|ϕ₁⟩⟨ϕ₁|로 입력을 간주할 경우 결정론이 손상되어 검증 가능성 조건을 위반한다.
• 분석은 닫힌 시간적 곡선(CTCs)의 구체적 물리학과는 독립적이며, 검증 가능한 비선형 역학의 지식론적 결과에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 비선형 양자 이론에서 비선형 진동이 실험적으로 검증 가능할 경우, 밀도 행렬이 입력 상태의 적절한 혼합 상태를 일관적으로 표현할 수 있는가?
• RQ2 비선형 역학이 포함된 상황에서 양자역학의 선형성 가정이 인지적 혼합 상태의 잘못된 기술을 초래하는가?
• RQ3 비선형 양자 이론에서 순수 상태 준비 방식이 선형 양자 이론에서는 구별 불가능하더라도, 어떤 조건에서 그들의 구별 가능성이 나타나는가?
• RQ4 기본 역학이 비선형적이고 결정론적일 경우, 혼합 상태에 대해 밀도 행렬의 사용이 타당한가?
• RQ5 밀도 행렬로 입력이 기술된다고 가정하지 않고도, 비선형 장치의 결정론적 행동을 검증할 수 있는가?

주요 결과

• 비선형 사상 M이 정규직교하지 않은 순수 상태에서 직교하는 출력으로의 결정론적 변환을 실험적으로 검증 가능할 경우, 밀도 행렬은 입력 상태의 적절한 혼합 상태를 표현할 수 없다.
• 장치 D가 |ϕ₀⟩를 |0⟩으로, |ϕ₁⟩를 |1⟩으로 결정론적으로 매핑하고, 이 행동이 반복적 시험을 통해 검증 가능할 경우, 입력 상태를 모른 채로 있는 연구자가 출력으로부터 입력을 추론할 수 있으며, 이는 출력이 밀도 행렬 ρ_A에만 의존한다는 주장과 모순된다.
• 출력이 밀도 행렬 ρ_A에만 의존한다는 가정은 검증하는 연구자의 결정론성을 상실하게 하여 검증 가능성 조건을 위반한다.
• 비선형 이론에서 적절한 혼합 상태(지식 기반 무지)와 부적절한 혼합 상태(부분 추적)의 구분은 물리적으로 의미가 있으며, 동일한 밀도 행렬의 서로 다른 분해가 다른 동역학을 초래할 수 있다.
• 이 맥락에서 밀도 행렬이 적절한 혼합 상태를 표현하지 못하는 데에는 CTC의 물리적 원리가 아니라, 검증 가능한 비선형 역학의 지식론적 결과가 기인한다.
• 논문은 밀도 행렬을 적절한 혼합 상태에 사용하는 것이 검증 가능한 비선형 진동과 호환되지 않으며, 이로 인해 그들의 구별 가능성은 비선형 양자역학에서 열린 실험적 질문이 된다고 결론 내린다.