Is the wavefunction real in CSD?

The wavefunction is a genuine but incomplete coordinate of a real underlying world, so it can be read off the world's actual configuration, yet it leaves out the part of that configuration which decides what a measurement will show.

question · answered against the machine-checked corpus

The short answer

"Is the wavefunction real?" runs two questions together, whether something in the world corresponds to it, and whether it's the complete story of what exists, and CSD's answers come apart cleanly as yes, and emphatically no.

Yes, because the quantum state isn't a fiction or a mere betting position. Every point of the arena, the underlying state space, projects to a definite quantum state, so the state tracks a genuine feature of the world, and if you had access to the world's actual configuration you could read the state off it.

No, because the state is radically incomplete. The projection that produces it is many-to-one, so many different underlying configurations give the same quantum state, and everything that decides measurement outcomes, the fibre coordinate that distinguishes those configurations and the outcome basin the trajectory occupies, lives in what the projection forgets. Treating the state as the whole world is exactly the move that generates the measurement problem, and treating it as a lossy coordinate dissolves the problem.

The longer answer

The state's dual character is structural rather than rhetorical. Functionally the state is epistemic, as it summarises what a preparation fixes, and its update on measurement is learning and not a physical jump. Ontologically its supports are disjoint, as distinct states describe disjoint sets of arena points, and that's why the reality theorems aimed at models with overlapping supports don't bite.

The programme's discipline is to refuse the shorter slogans in both directions. "The wavefunction is everything" overclaims what the quantum state carries, as the analysis of the fibre places record-forming content, the structure that decides outcomes, above the state at higher dimension, on a chain of constraints that stops short of proving the base can't carry it. "The wavefunction is nothing" ignores that the state is a faithful coordinate of the real arena.

What is actually proved

The formal content is the projection structure, a measurable many-to-one pi from the arena to the projective sector, the epistemic measure exact on the base and spread on the fibre, and the record layer's theorems placing outcome-deciding structure in the fibre at N >= 3.

The operational stratum's state notion, density operators and effects, is proved consistent with the volume stratum wherever both speak.

Related entries

On the site
The third primer page explains what a quantum state is in this programme
New to this?
explainquantum's page 6b, "What do QBism, relational, consistent histories, ensemble and superdeterminism say?", explains it from scratch, with no maths

Source links are pinned to a commit, so they do not drift. The anchors above are checked mechanically against the Lean tree on every build. The mathematics is not, and cannot be: that is a human responsibility and it rests with the author.

Part of Constraint-Surface Dynamics · Formalised in csd-lean4.

Privacy policy