Correlation as a Resource in Unitary Quantum Measurements

TL;DR

The paper demonstrates that objective classical reality in a unitary quantum world requires environmental correlations that act as a finite resource. By proving a no-go theorem under minimal assumptions and revealing a Knill-Laflamme–type code structure for the environment, it shows how a constrained subspace $\Phi$ enables consistent, redundant records across an observer network. A concrete qudit model with spacetime-local imprint dynamics embodies the abstract KL structure, illustrating how correlation is transferred from environment to system to produce robust SBS-like records. Numerical results corroborate that higher initial environmental correlation yields stronger redundancy and information broadcasting, linking quantum Darwinism to quantum error correction and highlighting a potential evolutionary perspective on the emergence of classicality.

Abstract

Quantum measurement is a physical process. What physical resources and constraints does quantum mechanics require for measurement to produce the classical world we observe? Treating measurement as a fully unitary quantum process, our goal is to show that objective, redundant, and correctly aligned outcomes are possible iff the environment begins in a specially structured, correlated subspace. We start with a minimal set of assumptions: unitarity, orthogonality of conditional environment branches, and finite-dimensional Hilbert spaces. Using these, we demonstrate that generic environmental states cannot support redundant and mutually consistent records of the signal, the measured quantum system. The admissible initial states form a subspace on which the measurement maps obey the Knill-Laflamme error-correction conditions, revealing that the emergence of classical objectivity relies on the environment behaving like a quantum error-correcting code. The post-measurement subspace naturally factorizes into a ``pointer'' to hold measurement outcomes and ``memory'' to retain pre-measurement quantum information about the environment's state, thereby respecting the no-deletion theorem. This further allows the identification of correlation as a finite resource consumed during measurement. Through an explicit qudit model with local interactions, we demonstrate how correlated environments yield redundant observer networks. Simulations show that record fidelity and redundancy depend on the initial correlations in the environment. This perspective links quantum Darwinism to error correction and raises the possibility that natural processes may prepare and evolutionarily favour environments capable of supporting reliable measurement.

Figures (9)

• Figure 1: An electron is a spin 1/2 particle. The passage of several electrons through an appropriately prepared Stern-Gerlach apparatus (adjusted for the electron charge) results in two spots on a fluorescent screen. One spot would correspond to spin up (0) and another to spin down (1) states of the electrons. The large arrow ($\mathbf{\uparrow}/\mathbf{\downarrow}$) indicates the magnet configuration of the Stern-Gerlach apparatus that causes state separation. If the configuration of the Stern-Gerlach magnets is reversed, so have to be the labels associated with the spots on the screen corresponding to spin up and spin down. The measurement apparatus (environment) affects the measurement outcomes, and we have to correct for this.
• Figure 2: The points $\{\alpha^i_{\chi,\phi}\}$ on the complex plane are marked with red crosses. The convex hull of these points corresponds to the blue hatched region. In case every combination of points in this convex hull equals a single complex number $\braket{\chi}{\phi}_{E}$ (\ref{['eq:conv_set_eq']}), the hull has zero measure and trivially equals that complex number.
• Figure 3: The process of entangling the signal and a subset of the environment to achieve measurement. Clouds indicate existing correlations, and lines between subsystems indicate local interactions. A correlation measure of $N-1$ on the correlated environment distributes itself into a measure of $N-2$ on the correlated environment and $1$ on the signal observer network.
• Figure 4: Larger initial correlation in the environment $\widetilde{C}^\text{init}_{E}$ gives more final correlation $\widetilde{C}^\text{final}_{S}$ in the resulting observer network state of the signal. The red lines above indicate the size of the emerging signal-observer correlation network. As detailed in \ref{['sec:meas_proc']}, the observer network for signal measurement extracts correlation from the environment ranging from 0 to $N-1$: the initial information of the environment state must go somewhere. Thus, there needs to be at least one qubit to store this information. The values outside the lines are obtained because we take the average measure of $\widetilde{C}^\text{final}_{S}$ over several time steps. If the measure changed over that time, an intermediate value is obtained. Details can be found in \ref{['app:sim_dets']}.
• Figure 5: Initial environment states with larger initial correlation $\widetilde{C}_E^\text{init}$ give rise to final observer network states with larger mutual information between signal and environment. Larger cluster sizes (red) yield more mutual information on average, as expected.

Theorems & Definitions (1)

• Theorem 1: Initial State No-Go Theorem