---
title: Two-State Vector Formalism (TSVF)
url: https://www.emergentmind.com/topics/two-state-vector-formalism-tsvf
type: topic
---

# Two-State Vector Formalism (TSVF)

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 [1406.6382].

The generalization to mixed pre- and post-selected ensembles requires a 2-time density vector $n$, constructed as a convex sum of pure 2-time vectors $|\Psi_r\rangle\rangle$:
\[
n = \sum_r p_r |\Psi_r\rangle\rangle \langle\langle \Psi_r|
\]
Operational measurement probabilities and tomography of $n$ require informationally-complete sets of Kraus operators, reflecting the richer statistical structure relative to standard quantum states [1308.2089].

Recent work formalizes the “twin space” $\mathcal{H} \otimes \mathcal{H}^*$ 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 [2409.04396].

## 2. Aharonov–Bergmann–Lebowitz Rule and Measurement Probabilities

The ABL rule governs the statistics of projective measurements performed at an intermediate time $t$ on a system specified by pre-selected $|\psi_{i}\rangle$ and post-selected $\langle\phi_{f}|$ boundary conditions. For a nondegenerate observable $A = \sum_k a_k P_{a_k}$, the conditional probability of outcome $a_k$ is
\[
P(a_k | \psi_i, \phi_f) = \frac{|\langle\phi(t)|P_{a_k}|\psi(t)\rangle|^2}{\sum_j |\langle\phi(t)|P_{a_j}|\psi(t)\rangle|^2}
\]
Here, $\langle\phi(t)|$ and $|\psi(t)\rangle$ are the backward and forward evolved states at the time of measurement. Summing over all possible post-selections reduces this to the Born rule [1406.6382, 2303.08962].

For general quantum operations, the outcome probability depends on the overlap $\langle\langle K_{\alpha}| n | K_{\alpha}\rangle\rangle$ between the Kraus density vector and the 2-time density vector, normalized over all possible outcomes [1308.2089].

## 3. Weak Measurements and Weak Values

TSVF provides a rigorous foundation for weak measurements, defining the weak value of an operator $A$ at time $t$ as
\[
\langle A \rangle_{w} = \frac{\langle\phi(t)|A|\psi(t)\rangle}{\langle\phi(t)|\psi(t)\rangle}
\]
This quantity—potentially complex or even outside the spectrum of $A$—governs the pointer shift in a weak-coupling measurement conditioned on both pre- and post-selection [1803.00836, 1308.2089, 1406.6382]. 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 [2303.08962].

## 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 [1406.6382].

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 [1406.6382].

## 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 [1803.11267, 1308.2089]. 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 [1803.11267].

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 [2409.04396].

## 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 [1610.09025, 1803.00836, 1611.00272].

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 [2303.08962, 1907.07391]. 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 [1907.07391].

## 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 $\eta$. 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 [2210.01583].

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 [2409.04396].

---

**References**
- [1406.6382] Measurement and Collapse within the Two-State-Vector Formalism
- [1308.2089] Pre- and post-selected quantum states: density matrices, tomography, and Kraus operators
- [1803.00836] Weak measurement and weak values -- New insights and effects in reflectivity and scattering processes
- [1611.00272] Weak Measurement and Two-State-Vector Formalism: Deficit of Momentum Transfer in Scattering Processes
- [2303.08962] Counterportation and the two-state vector formalism
- [1907.07391] The probability of an encounter of photons in nested and double-nested Mach-Zehnder interferometers
- [1610.09025] The Case of the Disappearing (and Re-Appearing) Particle
- [1803.11267] Entangled Histories vs. the Two-State-Vector Formalism - Towards a Better Understanding of Quantum Temporal Correlations
- [2210.01583] Exploring postselection-induced quantum phenomena with time-bidirectional state formalism
- [2409.04396] Stories in the two-state vector formalism

Source: https://www.emergentmind.com/topics/two-state-vector-formalism-tsvf