⚛️ quantum physics

From Joint to Single-System Psi-Onticity Without Preparation Independence

This paper demonstrates that the $\psi$ -onticity of individual quantum systems can be derived directly from the $\psi$ -onticity of composite product states and the tensor-product structure of quantum mechanics, thereby establishing the Pusey-Barrett-Rudolph theorem's conclusion without requiring the Preparation Independence Postulate.

Original authors: Shan Gao

Published 2026-01-27

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Shan Gao

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Question: Is the Wave Function "Real"?

Imagine you are looking at a map of a city.

The "Realist" View (ψ-ontic): The map is a physical object. If you have a map of New York and a map of London, they are two completely different physical objects. You can't be holding a piece of paper that is both New York and London at the same time. The map is the territory.
The "Knowledge" View (ψ-epistemic): The map is just a piece of paper with ink on it. The ink doesn't change based on the city; it's just a symbol. If I have a map of New York and you have a map of London, maybe our maps overlap in the middle because they are just "instructions" on how to get around, not the cities themselves. In this view, the quantum wave function is just a summary of what we know, not a physical thing that exists in nature.

For a long time, physicists debated which view is correct. The famous PBR Theorem (named after Pusey, Barrett, and Rudolph) was a major argument for the "Realist" view. It tried to prove that the wave function must be a real physical property.

The Old Problem: The "Independence" Loophole

The original PBR argument had a catch. To prove that the wave function is real for a single particle, it relied on an assumption called the Preparation Independence Postulate (PIP).

The Analogy of the Two Dice:
Imagine you roll two dice.

PIP says: If I roll Die A in New York and you roll Die B in Tokyo, the result of Die A has absolutely nothing to do with Die B. They are independent.
The Loophole: Critics said, "What if the dice are secretly connected? What if there is a hidden string or a secret signal between them?" If the dice are secretly correlated, maybe the "Realist" proof falls apart. They argued that if you allow for these secret connections (correlations) between particles, you could still keep the "Knowledge" view alive for single particles, even if the combined system looks "Real."

The Paper's New Discovery: The Loophole is Closed

Shan Gao's paper argues that this loophole doesn't actually exist. You don't need to assume the dice are independent to prove the wave function is real.

The "Lego Block" Analogy:
Imagine you build a complex structure out of Lego blocks.

The Joint Proof: The PBR theorem already proved that if you have a specific combination of blocks (a "product state"), the entire structure is unique. You can't build that exact structure with a different set of instructions. The structure is "real."
The Paper's Insight: Gao says, "If the whole structure is uniquely defined by the instructions, then the individual blocks must also be uniquely defined."

Think of a recipe for a cake.

If the final cake is a unique, physical object that can only be made by one specific recipe (Joint ψ-onticity), then the ingredients (the flour, the eggs) must also be specific.
You can't say, "The cake is real, but the flour is just a vague idea." If the cake is real, the flour that makes it up must be real too.

Gao shows that the mathematical structure of quantum mechanics (the "tensor product") forces this logic. If the combined system is real, the parts must be real. It doesn't matter if the flour and the eggs are "correlated" (maybe the flour is wet because of the eggs). That correlation doesn't change the fact that the flour is a specific, real ingredient.

How the Paper Proves It (Simply)

The Setup: The paper accepts that the PBR theorem is right about combined systems (two particles prepared together). It accepts that for a combined system, the wave function is a real physical property.
The Breakdown: It then looks at the math of how two particles are put together. It shows that if the "label" for the whole system is sharp and unique, that label automatically breaks down into two sharp, unique labels for the individual particles.
The Result: Even if the particles have secret, hidden connections (correlations) between them, those connections cannot blur the identity of the individual particles. The "Realist" nature of the whole forces the "Realist" nature of the parts.

Why This Matters

For years, people thought: "If we reject the idea that particles are independent (PIP), we can save the idea that the wave function is just knowledge (ψ-epistemic)."

This paper says: No.
Even if particles are deeply connected and dependent on each other, the fact that their combined state is a real physical property means their individual states must also be real physical properties.

The Bottom Line

The paper closes a door that many physicists thought was still open. It proves that you don't need to assume particles are independent to know that the quantum wave function is a real, physical thing. Once you accept that a pair of particles has a real, physical state, the math forces you to admit that each particle in the pair also has a real, physical state. The "Knowledge" view cannot survive the "Realist" view of the whole system.

Technical Summary: From Joint to Single-System $\psi$ -Onticity Without Preparation Independence

Problem Statement
The Pusey–Barrett–Rudolph (PBR) theorem is a landmark result in the foundations of quantum mechanics, widely interpreted as establishing that the quantum wave function corresponds to a physical property of an individual system ( $\psi$ -onticity) rather than merely representing an experimenter's knowledge ( $\psi$ -epistemicity). However, the standard formulation of the PBR theorem relies on the Preparation Independence Postulate (PIP). PIP asserts that independently prepared systems possess uncorrelated ontic states. This reliance has fostered a prevalent view that rejecting PIP leaves open the possibility of $\psi$ -epistemic models for individual systems, provided that hidden-variable correlations between subsystems are sufficiently strong. Consequently, several models (e.g., Lewis et al., Aaronson et al.) have been proposed that attempt to preserve $\psi$ -epistemicity at the subsystem level by relaxing PIP, while ostensibly respecting the PBR result for composite systems.

Methodology
This work re-examines the logical structure of the PBR argument within the ontological models framework. The methodology proceeds through three primary steps:

Structural Decomposition of $\psi$ -Ontic Models: The paper establishes a representation theorem for any $\psi$ -ontic model. It demonstrates that if the epistemic distributions for distinct pure quantum states have disjoint supports (the definition of $\psi$ -onticity), the ontic space $\Lambda$ can be mathematically reorganized (up to sets of measure zero) into a product structure $\lambda = (\lambda_\psi, \eta)$ . Here, $\lambda_\psi$ is a sharp label uniquely identifying the prepared quantum state, and $\eta$ represents residual ontic degrees of freedom (hidden variables). In this coordinate system, the epistemic distribution for a state $|\psi\rangle$ necessarily takes the delta-function form:
$\mu_\psi(\lambda_\psi, \eta) = \delta(\lambda_\psi - \psi) \nu_\psi(\eta)$
This decomposition is presented not as an auxiliary assumption, but as a necessary consequence of the disjointness of supports.
Application to Composite Systems: The paper applies this representation to the joint state of a composite system prepared in a product state $|\psi_1\rangle \otimes |\psi_2\rangle$ . Given the PBR theorem's conclusion that such joint product states are $\psi$ -ontic, the joint epistemic distribution must take the form:
$\mu_{\psi_1 \otimes \psi_2}(\lambda) = \delta(\lambda_\psi - \psi_1 \otimes \psi_2) \nu_{\psi_1 \otimes \psi_2}(\eta)$
Tensor-Product Derivation: Leveraging the tensor-product structure of the Hilbert space ( $\mathcal{H}_1 \otimes \mathcal{H}_2$ ), the paper argues that the label $\lambda_\psi$ must inherit the factorization of the quantum state. Thus, $\lambda_\psi$ decomposes into $(\lambda_{\psi_1}, \lambda_{\psi_2})$ . The condition that $\lambda_\psi$ uniquely identifies the joint state $|\psi_1 \otimes \psi_2\rangle$ forces the individual components to be uniquely fixed: $\lambda_{\psi_1} = \psi_1$ and $\lambda_{\psi_2} = \psi_2$ . Consequently, the joint delta distribution factorizes into the product of delta distributions for the subsystems.

Key Contributions and Results

Derivation without PIP: The paper proves that single-system $\psi$ -onticity follows directly from the joint $\psi$ -onticity of product states and the tensor-product structure of quantum mechanics. This derivation requires no appeal to the Preparation Independence Postulate (PIP) or any assumptions regarding the statistical independence of hidden variables.
Ineffectiveness of Correlations: The analysis demonstrates that hidden-variable correlations, encoded in the residual variable $\eta$ , cannot "wash away" the $\psi$ -onticity of subsystems. While $\eta$ may be arbitrarily correlated between subsystems, the $\psi$ -related components ( $\lambda_{\psi_1}$ and $\lambda_{\psi_2}$ ) remain strictly fixed by the respective wave functions due to the delta-function constraints.
Refutation of $\psi$ -Epistemic Loopholes: The paper shows that models attempting to evade the PBR conclusion by relaxing PIP (such as those by Lewis et al. and Aaronson et al.) fail to address the composite system scenario. These models are constructed for single systems and do not provide frameworks for reproducing the entanglement measurement statistics (e.g., Bell-basis measurements) required to establish joint $\psi$ -onticity in the first place. Without reproducing these statistics, they cannot challenge the deduction that subsystems must be $\psi$ -ontic.

Significance
The paper claims to resolve a persistent conceptual confusion in the foundations of quantum mechanics. It argues that the prevailing view—that rejecting PIP allows for $\psi$ -epistemic models of individual systems—is incomplete. The work establishes that once the PBR theorem's result for composite systems is accepted, the $\psi$ -onticity of individual subsystems is a mathematical necessity derived from the structure of quantum theory itself.

By removing PIP as a necessary auxiliary assumption, the paper strengthens the conceptual foundations of $\psi$ -ontology. It concludes that the quantum wave function must be regarded as a physical property of individual quantum systems, not merely of composite systems or statistical ensembles, and that the "loophole" often thought to exist via correlated hidden variables is mathematically closed.