[论文解读] The Two-State Vector Formalism

Lev Vaidman|ArXiv.org|Jun 10, 2007

Quantum Mechanics and Applications参考文献 5被引用 3

一句话总结

两态矢量形式（TSVF）提出了一种时间对称的量子框架，通过正向演化态和反向演化态描述系统，利用阿哈诺夫-伯格曼-莱博维茨（ABL）规则预测中间测量结果，并揭示非经典特性，如同时具有非对易可观测量的确定性以及远超本征值范围的弱值。其主要贡献在于深化了对预选与后选系统理解，包括反事实现实要素以及乘积规则的失效。

ABSTRACT

The two-state vector formalism (TSVF), the time-symmetric description of the standard quantum mechanics originated by Aharonov, Bergmann and Lebowitz is reviewed. The TSVF describes a quantum system at a particular time by two quantum states: the usual one, evolving forward in time, defined by the results of a complete measurement at the earlier time, and by the quantum state evolving backward in time, defined by the results of a complete measurement at a later time.

研究动机与目标

• 开发一种时间对称的量子力学形式化表述，以补充标准的正向演化态描述。
• 解决标准量子力学在描述同时具有预选与后选的系统时的局限性。
• 利用ABL规则与弱测量阐明量子力学中“现实要素”的操作意义。
• 探讨弱值与广义两态矢量对基础量子现象的启示。
• 证明因果性与记忆不对称性并不与时间对称形式矛盾，尽管测量存在时间箭头。

提出的方法

• 该形式化通过时间 t 的两态矢量描述一个量子系统：来自更早制备的正向演化态 |Ψ⟩ 和来自更晚后选的反向演化态 ⟨Φ|。
• 它采用阿哈诺夫-伯格曼-莱博维茨（ABL）规则计算中间测量的条件概率：Prob(on) = |⟨Φ|P_{O=on}|Ψ⟩|² / Σj |⟨Φ|P_{O=oj}|Ψ⟩|²。
• 它引入了弱值的概念，定义为 Ow = ⟨Φ|O|Ψ⟩ / ⟨Φ|Ψ⟩，其值可超出可观测量 O 的本征值谱范围。
• 它将形式化推广至两态矢量的叠加（广义两态矢量），并扩展至多个时间点（2N-态矢量），以描述非局域关联。
• 它利用弱测量中指针位移的时间对称性，表明弱值在操作上是良好定义的，并且在时间反演下保持不变。
• 它分析了诸如三盒佯谬与“平均国王”问题等佯谬，以说明经典逻辑与乘积规则在预选与后选系统中的失效。

实验结果

研究问题

• RQ1 如何利用正向与反向演化量子态描述量子系统？与标准量子力学相比，这种描述有何优势？
• RQ2 预选与后选对中间测量概率的操作后果是什么？ABL规则如何简化其计算？
• RQ3 非对易可观测量能否在量子系统中同时具有良好的定义？此类‘现实要素’在何种条件下出现？
• RQ4 弱值超出可观测量本征值范围意味着什么？它们与强测量结果有何关联？
• RQ5 TSVF的时间对称性如何与热力学时间箭头及记忆不对称性相协调？

主要发现

• ABL规则为预选与后选系统中的中间测量提供了条件概率，通过避免演化所有可能结果简化了计算。
• 在预选与后选系统中，非对易可观测量如 σx 与 σz 可同时为现实要素，如两态矢量 ⟨Φ|Ψ⟩ = 1/3(⟨A,↑z| + ⟨A,↓z| - ⟨B,↑z|)(|A,↑z⟩ + |A,↓z⟩ + |B,↑z⟩) 所示。
• 在预选与后选系统中，乘积规则失效：尽管 P_{A↑} = 1 与 P_{A↓} = 1 均为确定事件，但 P_{A↑}P_{A↓} = 0，表明联合结果并非各独立结果的乘积。
• 弱值可超出可观测量的本征值范围，如弱值公式 Ow = ⟨Φ|O|Ψ⟩ / ⟨Φ|Ψ⟩ 所示，从而实现新颖的量子效应。
• 在‘平均国王’问题中，通过后选可确定性地获得自旋-1/2粒子的所有非对易可观测量，表明单个系统可提供最大信息量。
• TSVF 与标准量子力学等价，但揭示了更深层的结构特征，如反事实确定性与时间上的非局域关联，尤其在广义两态矢量中表现显著。