Two-State Vector Formalism (TSVF)

• TSVF is a time-symmetric quantum theory that employs both forward- and backward-evolving states to fully describe a quantum system at an intermediate time.
• It naturally extends quantum probability through the ABL rule and provides precise tools for analyzing weak measurements, decoherence, and time-reversal phenomena.
• TSVF underpins key experimental advances in quantum measurement and information protocols, linking foundational theory with observable quantum effects.

The Two-State Vector Formalism (TSVF) is a time-symmetric quantum theory in which the complete physical description of a system at an intermediate time is supplied not by a single forward-evolving quantum state, but by a pair: one state (the pre-selected vector) evolving forward from an initial condition, and a second state (the post-selected vector) evolving backward from a final boundary condition. This bidirectional framework yields operational predictions for both strong and weak measurements, provides a natural generalization of quantum probabilities via the Aharonov–Bergmann–Lebowitz (ABL) rule, and supplies precise tools for analyzing measurement, collapse, and time-symmetric quantum phenomena. TSVF underlies a significant body of foundational and applied quantum research, especially in the areas of quantum measurement, temporal correlations, weak values, and quantum information protocols.

1. Formal Structure and Mathematical Foundations

In TSVF, the state of a quantum system at time $t$ (with $t_0 < t < t_f$) is specified by a two-state vector $\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$, with $|\psi\rangle_{t}$ obtained from the initial state $|\psi(t_0)\rangle$ by unitary evolution $U(t,t_0)$, and $\langle\phi|_{t}$ obtained by evolving the final state $\langle\phi(t_f)|$ backward by $U(t_f,t)$: $$|\psi(t)\rangle = U(t,t_0)|\psi(t_0)\rangle\,, \quad \langle\phi(t)| = \langle\phi(t_f)|\, U(t_f,t)$$ Both vectors evolve unitarily under the same Hamiltonian but in opposite temporal directions (Aharonov et al., 2014).

The generalization to mixed pre- and post-selected ensembles requires a 2-time density vector $t_0 < t < t_f$0, constructed as a convex sum of pure 2-time vectors $t_0 < t < t_f$1: $t_0 < t < t_f$2 Operational measurement probabilities and tomography of $t_0 < t < t_f$3 require informationally-complete sets of Kraus operators, reflecting the richer statistical structure relative to standard quantum states (Silva et al., 2013).

Recent work formalizes the “twin space” $t_0 < t < t_f$4 of two-state vectors, develops the theory of “stories” (pairs of two-state vectors and measurements with compatible normalization), and analyzes the geometry and entanglement within the space of all two-state vectors (Michalski et al., 2024).

2. Aharonov–Bergmann–Lebowitz Rule and Measurement Probabilities

The ABL rule governs the statistics of projective measurements performed at an intermediate time $t_0 < t < t_f$5 on a system specified by pre-selected $t_0 < t < t_f$6 and post-selected $t_0 < t < t_f$7 boundary conditions. For a nondegenerate observable $t_0 < t < t_f$8, the conditional probability of outcome $t_0 < t < t_f$9 is

$\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$0

Here, $\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$1 and $\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$2 are the backward and forward evolved states at the time of measurement. Summing over all possible post-selections reduces this to the Born rule (Aharonov et al., 2014, Dressel et al., 2023).

For general quantum operations, the outcome probability depends on the overlap $\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$3 between the Kraus density vector and the 2-time density vector, normalized over all possible outcomes (Silva et al., 2013).

3. Weak Measurements and Weak Values

TSVF provides a rigorous foundation for weak measurements, defining the weak value of an operator $\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$4 at time $\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$5 as

$\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$6

This quantity—potentially complex or even outside the spectrum of $\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$7—governs the pointer shift in a weak-coupling measurement conditioned on both pre- and post-selection (Chatzidimitriou-Dreismann, 2018, Silva et al., 2013, Aharonov et al., 2014). In this sense, weak measurements probe the two-time boundary rather than a single quantum state.

Weak values also carry operational meaning in interferometry and counterfactual communication: the presence or absence of “weak trace” in a channel is precisely deduced from the nonzero (or zero) value of a projector’s weak value, confirming or refuting claims about particle presence in protocols such as counterportation (Dressel et al., 2023).

4. Collapse, Decoherence, and Time Symmetry

TSVF eliminates the need for a fundamental collapse postulate. Measurement is described as a continuous unitary process: the system, apparatus, and environment become entangled, with decoherence selecting an effectively orthogonal set of pointer-environment branches. The backward-evolving branch (post-selected outcome) picks out, via overlap, the single outcome that appears realized; globally, both forward and backward amplitudes evolve unitarily (Aharonov et al., 2014).

This intrinsically time-symmetric framework accounts for macroscopic “classical robustness under time-reversal”: macroscopic records encoded in large Hilbert spaces are stable upon backward evolution, provided most degrees of freedom are preserved, even if local disturbances occur. The selection of a single measurement outcome arises from the intersection of forward evolution (pre-selection) and backward evolution (post-selection), not from explicit waveform collapse (Aharonov et al., 2014).

5. Temporal Correlations and Quantum Histories

TSVF provides a formal structure for analyzing temporal quantum correlations. The tensor structure in the space of two-state vectors supports an isomorphism to operator histories and static bipartite quantum systems (Nowakowski et al., 2018, Silva et al., 2013). The entangled histories formalism and TSVF become isomorphic once appropriate scalar products are defined, and both assign identical probabilities to all measurement outcomes. This formalism allows for entangled “reduced histories” of subsystems and establishes the statistical foundations for quantum temporal correlations (Nowakowski et al., 2018).

Recent research introduces the concept of “stories”—pairs of two-state vectors and measurement scenarios—characterizing the physical distinguishability of two-time vectors, their mixtures, and the emergence of genuine “past–future entanglement” as strictly non-separable two-state vectors (Michalski et al., 2024).

6. Operational and Experimental Implications

TSVF has driven both qualitative and quantitative advances in quantum measurement and control. In scattering physics, treating particle-atom collisions as weak measurements with pre- and post-selection predicts new effects—such as observable momentum transfer deficits and apparent effective mass reduction—confirmed experimentally and not explainable by conventional theory (Aharonov et al., 2016, Chatzidimitriou-Dreismann, 2018, Chatzidimitriou-Dreismann, 2016).

In quantum communication, TSVF provides precise criteria (via weak values) for which spatial regions a quantum particle “was in” during the interval between preparation and post-selection, resolving debates about particle trajectories in counterfactual protocols and nested interferometry (Dressel et al., 2023, Schmidt et al., 2019). However, some phenomena attributed to exotic TSVF trajectories can be entirely explained within classical or standard quantum interference using the “encounter probability” concept, without invoking time-reversed quantum states (Schmidt et al., 2019).

7. Generalizations, Extensions, and Conceptual Developments

TSVF is subsumed in the broader time-bidirectional state formalism (TBSF), which unifies pre-only, pre+post (pure and mixed), and arbitrary-POVM postselection under a single positive semi-definite four-index tensor $\Psi(t) = \{\langle\phi|_t,|\psi\rangle_t\}$8. All measurement outcome probabilities, mean values, and weak values are computed as contractions of this tensor with appropriately lifted measurement operators. Complete experimental tomography of such time-bidirectional states is possible via generalized informationally complete measurements, with protocols implemented for qubits using MUB and SIC-POVM schemes. TBSF reveals the existence of a postselection-induced “proper time-arrow,” distinct from the laboratory time arrow, documented in tracked noisy quantum computation experiments (Kiktenko, 2022).

Recent mathematical advances clarify the structure of the space of two-state vectors, their distinguishability, and the emergence of genuine temporal (past-future) entanglement, providing a rigorous foundation for further developments and connections to spacetime-covariant and indefinite-causal-structure quantum theories (Michalski et al., 2024).

---

References

• (Aharonov et al., 2014) Measurement and Collapse within the Two-State-Vector Formalism
• (Silva et al., 2013) Pre- and post-selected quantum states: density matrices, tomography, and Kraus operators
• (Chatzidimitriou-Dreismann, 2018) Weak measurement and weak values -- New insights and effects in reflectivity and scattering processes
• (Chatzidimitriou-Dreismann, 2016) Weak Measurement and Two-State-Vector Formalism: Deficit of Momentum Transfer in Scattering Processes
• (Dressel et al., 2023) Counterportation and the two-state vector formalism
• (Schmidt et al., 2019) The probability of an encounter of photons in nested and double-nested Mach-Zehnder interferometers
• (Aharonov et al., 2016) The Case of the Disappearing (and Re-Appearing) Particle
• (Nowakowski et al., 2018) Entangled Histories vs. the Two-State-Vector Formalism - Towards a Better Understanding of Quantum Temporal Correlations
• (Kiktenko, 2022) Exploring postselection-induced quantum phenomena with time-bidirectional state formalism
• (Michalski et al., 2024) Stories in the two-state vector formalism