[论文解读] Verifiable nonlinear quantum evolution implies failure of density matrices to represent proper mixtures

Eric G. Cavalcanti, Nicolas C. Menicucci|arXiv (Cornell University)|Apr 8, 2010

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.

研究动机与目标

• 研究在可验证的非线性量子演化理论中，密度矩阵是否能够表示正确混合态。
• 挑战在非线性动力学可经验验证时，密度矩阵对认识论混合态有效的假设。
• 澄清非线性量子理论中正确混合态（基于无知）与非正确混合态（部分迹）之间的区别。
• 表明非线性量子力学中的线性陷阱源于在可验证的非线性映射下对密度矩阵表示的不正当依赖。
• 确立非线性映射的实证可验证性意味着不同纯态制备方式在密度矩阵形式下不能被视为等价。

提出的方法

• 作者分析一种情形：一名代理人（Rob）验证一个非线性装置D，该装置将两个非正交纯态|ϕ₀⟩和|ϕ₁⟩分别映射为正交输出|0⟩和|1⟩。
• 他们引入第二名代理人（Alice），她对输入态一无所知，但观察到输出，并假设该装置对输入态具有确定性作用。
• 该方法依赖于一个假设：存在一种验证程序C，能生成一系列输入，使Rob能够确认装置的确定性行为。
• 核心论点基于认识论推理：如果Alice的无知不影响结果，那么她就能从输出推断出输入，这与输出仅依赖于密度矩阵的说法相矛盾。
• 作者表明，将输入视为密度矩阵ρ_A = p|ϕ₀⟩⟨ϕ₀| + (1−p)|ϕ₁⟩⟨ϕ₁|会导致确定性的丧失，从而违反可验证性条件。
• 该分析独立于闭合类时曲线（CTCs）的具体物理机制，而是聚焦于可验证非线性动力学的认识论后果。

实验结果

研究问题

• RQ1 在非线性量子理论中，若非线性演化可经验验证，密度矩阵能否一致地表示正确混合态？
• RQ2 当非线性动力学存在时，量子力学中线性假设是否会导致对认识论混合态的错误描述？
• RQ3 在非线性量子理论中，即使在量子线性理论中不可区分，纯态制备方式的可区分性在何种条件下会显现？
• RQ4 当底层动力学为非线性和确定性时，使用密度矩阵表示混合态是否仍然有效？
• RQ5 能否在不假设输入由密度矩阵描述的前提下，验证非线性装置的确定性行为？

主要发现

• 从非正交纯态到正交输出的确定性非线性映射M若可经验验证，则密度矩阵无法表示输入态的正确混合态。
• 若装置D确定性地将|ϕ₀⟩映射为|0⟩，将|ϕ₁⟩映射为|1⟩，且该行为可通过重复实验验证，则对输入态无知的代理人仍能从输出推断出输入，这与输出仅依赖于密度矩阵ρ_A的说法相矛盾。
• 若假设输出仅依赖于密度矩阵ρ_A，则验证者将面临确定性丧失，违反可验证性条件。
• 在非线性理论中，正确混合态（认识论无知）与非正确混合态（部分迹）之间的区别变得具有物理意义，因为同一密度矩阵的不同分解可能产生不同的动力学行为。
• 在此语境下，密度矩阵无法表示正确混合态的原因并非CTCs的物理机制，而是可验证非线性动力学带来的认识论后果。
• 本文结论指出，将密度矩阵用于正确混合态与可验证的非线性演化不相容，因此其可区分性成为非线性量子力学中的一个开放性实证问题。