Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Self-Observation Impossibility in Complete Quantum Systems: A No-Go Theorem for Observer Closure

Dovid Gurevich

Published May 8, 2026• 0 citations
Publisher

Abstract

We prove that no map satisfying three operationally motivated requirements---definiteness (observation produces a classical record), record stability (observation cannot render a classical record indefinite), and linearity (the map acts linearly on the operator algebra)---can consistently observe the complete state of the system containing it. The proof is short; the contribution is layered. First, the assumption set is strictly weaker than the projection postulate and the Lüders rule, so the result subsumes Breuer's 1995 self-measurement no-go from a smaller axiomatic base. Second, and more importantly, the conclusion is constructive: where Breuer establishes an epistemic limitation on internal state-assignment, we establish an ontological requirement on the location of definite-outcome-producing capacity. A composite-closure lemma extends the result up the observer hierarchy and forbids mutual-observation fixed points, converting the diagnostic disjunction of Frauchiger and Renner (2018) into a directed conclusion: consistent observation of a complete quantum system requires an observer external to that system, and no finite arrangement of mutual observers closes the recursion.

DOI
10.5281/zenodo.20090379

Related papers

A No-Go Theorem for Observer-Independent Facts

Časlav Brukner

In his famous thought experiment, Wigner assigns an entangled state to the composite quantum system made up of Wigner's friend and her observed system. While the two of them have different accounts of the process, each Wigner and his friend can in principle verify his/her respective state assignments by performing an appropriate measurement. As manifested through a click in a detector or a specific position of the pointer, the outcomes of these measurements can be regarded as reflecting directly observable "facts". Reviewing arXiv:1507.05255, I will derive a no-go theorem for observer-independent facts, which would be common both for Wigner and the friend. I will then analyze this result in the context of a newly-derived theorem arXiv:1604.07422, where Frauchiger and Renner prove that "single-world interpretations of quantum theory cannot be self-consistent". It is argued that "self-consistency" has the same implications as the assumption that observational statements of different observers can be compared in a single (and hence an observer-independent) theoretical framework. The latter, however, may not be possible, if the statements are to be understood as relational in the sense that their determinacy is relative to an observer.

arXiv:1804.00749•Entropy•May 8, 2018•196 citations

A Complete Operator-Theoretic Resolution of the Quantum Measurement Problem

Rodgers, Jeremy

This preprint presents a complete and fully operator-theoretic resolution of the quantum measurement problem. Including collapse, the Born rule, the uniqueness of outcomes, and the irrelevance of observersm derived entirely from a universal structural principle called the lawhood identity.Rather than adding new physics, modifying the Schrödinger equation, introducing hidden variables, invoking many-worlds branching, or appealing to consciousness, this work shows that quantum measurement is a direct, unavoidable consequence of a general fixed-point law that applies to all stable physical systems. When instantiated for quantum mechanics, this law forces every genuine superposition to fail the criteria for being a physically lawful state. Collapse is not an extra postulate: it is structurally mandatory.Key results include:• The No-Superposition Theorem: All superpositions are proven to be structurally unlawful; they cannot survive the measurement map. • Mandatory Collapse: Collapse emerges automatically from the composition of three physical operators (boundary, decoherence, and closure), without modifying quantum dynamics. • Derivation of the Born Rule: The familiar probabilities arise uniquely from the internal consistency of the measurement operators. No additional assumptions, decision theory, or symmetry arguments are required. • Observer Independence: Awareness and measurement are formally separated. Collapse is a physical, observer-independent process; knowledge acquisition is epistemic, not causal. • Uniqueness of Outcomes: The framework proves that there is only one stable classical outcome for any initial quantum state, directly resolving the many-worlds branching issue. • Experimental Signatures: The formulation predicts measurable relationships involving entropy, decoherence rates, and effective dimensionality.This paper shows that the puzzles of quantum collapse, superposition, outcome selection, probability, and the apparent role of observers, are not mysteries requiring new interpretations. They are the natural consequences of a deeper structural principle that governs all lawful physical systems. Quantum mechanics, under this lens, becomes a specific case of a universal operator identity that determines which states can persist as stable reality.Readers will find a complete, logically self-contained argument, with theorems and proofs written in a way that does not rely on philosophical interpretation or speculative assumptions. The result is a clear and testable framework that resolves a problem that has persisted since the birth of quantum theory.This work is part of a broader research program developing the universal Tier-0 lawhood framework and the “Everything Equation,” which unifies stability, collapse, and fixed-point structure across physics, computation, thermodynamics, and information. https://doi.org/10.5281/zenodo.17823241

•Jan 1, 2025•0 citations

A Complete Operator-Theoretic Resolution of the Quantum Measurement Problem

Rodgers, Jeremy

This preprint presents a complete and fully operator-theoretic resolution of the quantum measurement problem. Including collapse, the Born rule, the uniqueness of outcomes, and the irrelevance of observersm derived entirely from a universal structural principle called the lawhood identity. Rather than adding new physics, modifying the Schrödinger equation, introducing hidden variables, invoking many-worlds branching, or appealing to consciousness, this work shows that quantum measurement is a direct, unavoidable consequence of a general fixed-point law that applies to all stable physical systems. When instantiated for quantum mechanics, this law forces every genuine superposition to fail the criteria for being a physically lawful state. Collapse is not an extra postulate: it is structurally mandatory. Key results include: • The No-Superposition Theorem: All superpositions are proven to be structurally unlawful; they cannot survive the measurement map.• Mandatory Collapse: Collapse emerges automatically from the composition of three physical operators (boundary, decoherence, and closure), without modifying quantum dynamics.• Derivation of the Born Rule: The familiar probabilities arise uniquely from the internal consistency of the measurement operators. No additional assumptions, decision theory, or symmetry arguments are required.• Observer Independence: Awareness and measurement are formally separated. Collapse is a physical, observer-independent process; knowledge acquisition is epistemic, not causal.• Uniqueness of Outcomes: The framework proves that there is only one stable classical outcome for any initial quantum state, directly resolving the many-worlds branching issue.• Experimental Signatures: The formulation predicts measurable relationships involving entropy, decoherence rates, and effective dimensionality. This paper shows that the puzzles of quantum collapse, superposition, outcome selection, probability, and the apparent role of observers, are not mysteries requiring new interpretations. They are the natural consequences of a deeper structural principle that governs all lawful physical systems. Quantum mechanics, under this lens, becomes a specific case of a universal operator identity that determines which states can persist as stable reality. Readers will find a complete, logically self-contained argument, with theorems and proofs written in a way that does not rely on philosophical interpretation or speculative assumptions. The result is a clear and testable framework that resolves a problem that has persisted since the birth of quantum theory. This work is part of a broader research program developing the universal Tier-0 lawhood framework and the “Everything Equation,” which unifies stability, collapse, and fixed-point structure across physics, computation, thermodynamics, and information. Relation to Tier-1 dynamical formulation: This work develops a law-level (structural) resolution of quantum measurement. A complementary Tier-1 dynamical realization of these structural principles, formulated entirely within a constrained operator framework and independent of law-level recursion language, is developed in: J. Rodgers, Saturation Geometry and the Structural Emergence of Measurement and the Born Rule in a Capacity-Constrained Dirac–Λ System, Zenodo (2026).https://doi.org/10.5281/zenodo.18704783 The Tier-1 formulation may be read independently and provides a concrete operator-theoretic instantiation of the structural mechanisms discussed here.

•Dec 5, 2025•0 citations

A variant of the Kochen-Specker theorem localising value indefiniteness

Alastair A. Abbott, Cristian S. Calude, Karl Svozil

The Kochen-Specker theorem proves the inability to assign, simultaneously, noncontextual definite values to all (of a finite set of) quantum mechanical observables in a consistent manner. If one assumes that any definite values behave noncontextually, one can nonetheless only conclude that some observables (in this set) are value indefinite. In this paper, we prove a variant of the Kochen-Specker theorem showing that, under the same assumption of noncontextuality, if a single one-dimensional projection observable is assigned the definite value 1, then no one-dimensional projection observable that is incompatible (i.e., non-commuting) with this one can be assigned consistently a definite value. Unlike standard proofs of the Kochen-Specker theorem, in order to localise and show the extent of value indefiniteness, this result requires a constructive method of reduction between Kochen-Specker sets. If a system is prepared in a pure state ψ, then it is reasonable to assume that any value assignment (i.e., hidden variable model) for this system assigns the value 1 to the observable projecting onto the one-dimensional linear subspace spanned by ψ, and the value 0 to those projecting onto linear subspaces orthogonal to it. Our result can be interpreted, under this assumption, as showing that the outcome of a measurement of any other incompatible one-dimensional projection observable cannot be determined in advance, thus formalising a notion of quantum randomness.

arXiv:1503.01985•Journal of Mathematical Physics•Oct 1, 2015•60 citations

Where Proof Ends: Environmental Ignorance, Observer Definiteness, and the Irreducible Postulate of Quantum Measurement

Everett X. Wang

The quantum measurement problem is often stated as a cluster of puzzles: the preferred basis, the vanishing of interference, the occurrence of definite outcomes, and Born statistics. We argue that unitary quantum mechanics resolves this cluster into exactly two irreducible premises, and we prove two theorems that locate them. The first is an ignorance no-go theorem: environmental ignorance cannot play the role that microstate ignorance plays in classical statistical mechanics. By linearity, the branch amplitudes of the post-measurement state are invariant across all environmental initial conditions and across all admissible dynamics—the environment’s self-interactions, its internal couplings, and its couplings to system and apparatus—so no appeal to what we do not know can generate single-outcome randomness; by the no-hiding theorem, even complete retrieval of the information the environment carries leaves the randomness untouched. The second is a conditional definiteness theorem: given only the premise that perception supervenes on branch-relative memory states, unitary dynamics entails that every internal observer records exactly one definite outcome, cannot record indefiniteness, cannot verify the existence of other branches, provably agrees with every observer in her branch, and records Born-distributed frequencies in norm-typical branches. Together the theorems show that everything in the measurement problem is settled by theorem except a psychophysical supervenience premise and a probability-measure premise. Extant solutions—Everettian, hidden-variable, collapse, and selection-rule approaches—are then classified, exhaustively, by what each must add beyond the theorems.

•Aug 28, 2026•0 citations

Wigner's Friend Has Already Measured: The K-Functional Resolution of Observer-Dependent State Assignment

J. Rosa

Wigner's friend scenarios expose a tension in quantum mechanics: an observer inside a laboratory obtains a definite measurement outcome, while an observer outside describes the laboratory as being in a superposition. The Frauchiger-Renner (2018) extension produces logical contradictions when agents use quantum theory to reason about each other. We show that the recursion-consistency functional K resolves these contradictions without modifying quantum mechanics. The resolution rests on a single physical fact: the friend's measurement creates ~10^20 environmental records inside the laboratory, driving K_rec to its minimum in ~10^-30 seconds. Wigner's description of the laboratory as a superposition is not wrong but incomplete: it omits the internal records that have already selected a definite outcome. The superposition description is operationally correct for Wigner (he cannot access the internal records) but ontologically incorrect (the records exist whether he accesses them or not). This distinction dissolves the Frauchiger-Renner contradiction, resolves the quantum eraser and delayed choice experiments as corollaries, and commits the framework to an ontic interpretation of the quantum state consistent with the PBR theorem.

•Apr 6, 2026•0 citations
We prove that no map satisfying three operationally motivated requirements---definiteness (observation produces a classical record), record stability (observation cannot render a classical record indefinite), and linearity (the map acts linearly on the operator algebra)---can consistently observe the complete state of the system containing it. The proof is short; the contribution is layered. First, the assumption set is strictly weaker than the projection postulate and the Lüders rule, so the result subsumes Breuer's 1995 self-measurement no-go from a smaller axiomatic base. Second, and more importantly, the conclusion is constructive: where Breuer establishes an epistemic limitation on internal state-assignment, we establish an ontological requirement on the location of definite-outcome-producing capacity. A composite-closure lemma extends the result up the observer hierarchy and forbids mutual-observation fixed points, converting the diagnostic disjunction of Frauchiger and Renner (2018) into a directed conclusion: consistent observation of a complete quantum system requires an observer external to that system, and no finite arrangement of mutual observers closes the recursion.
In his famous thought experiment, Wigner assigns an entangled state to the composite quantum system made up of Wigner's friend and her observed system. While the two of them have different accounts of the process, each Wigner and his friend can in principle verify his/her respective state assignments by performing an appropriate measurement. As manifested through a click in a detector or a specific position of the pointer, the outcomes of these measurements can be regarded as reflecting directly observable "facts". Reviewing arXiv:1507.05255, I will derive a no-go theorem for observer-independent facts, which would be common both for Wigner and the friend. I will then analyze this result in the context of a newly-derived theorem arXiv:1604.07422, where Frauchiger and Renner prove that "single-world interpretations of quantum theory cannot be self-consistent". It is argued that "self-consistency" has the same implications as the assumption that observational statements of different observers can be compared in a single (and hence an observer-independent) theoretical framework. The latter, however, may not be possible, if the statements are to be understood as relational in the sense that their determinacy is relative to an observer.
This preprint presents a complete and fully operator-theoretic resolution of the quantum measurement problem. Including collapse, the Born rule, the uniqueness of outcomes, and the irrelevance of observersm derived entirely from a universal structural principle called the lawhood identity.Rather than adding new physics, modifying the Schrödinger equation, introducing hidden variables, invoking many-worlds branching, or appealing to consciousness, this work shows that quantum measurement is a direct, unavoidable consequence of a general fixed-point law that applies to all stable physical systems. When instantiated for quantum mechanics, this law forces every genuine superposition to fail the criteria for being a physically lawful state. Collapse is not an extra postulate: it is structurally mandatory.Key results include:• The No-Superposition Theorem: All superpositions are proven to be structurally unlawful; they cannot survive the measurement map. • Mandatory Collapse: Collapse emerges automatically from the composition of three physical operators (boundary, decoherence, and closure), without modifying quantum dynamics. • Derivation of the Born Rule: The familiar probabilities arise uniquely from the internal consistency of the measurement operators. No additional assumptions, decision theory, or symmetry arguments are required. • Observer Independence: Awareness and measurement are formally separated. Collapse is a physical, observer-independent process; knowledge acquisition is epistemic, not causal. • Uniqueness of Outcomes: The framework proves that there is only one stable classical outcome for any initial quantum state, directly resolving the many-worlds branching issue. • Experimental Signatures: The formulation predicts measurable relationships involving entropy, decoherence rates, and effective dimensionality.This paper shows that the puzzles of quantum collapse, superposition, outcome selection, probability, and the apparent role of observers, are not mysteries requiring new interpretations. They are the natural consequences of a deeper structural principle that governs all lawful physical systems. Quantum mechanics, under this lens, becomes a specific case of a universal operator identity that determines which states can persist as stable reality.Readers will find a complete, logically self-contained argument, with theorems and proofs written in a way that does not rely on philosophical interpretation or speculative assumptions. The result is a clear and testable framework that resolves a problem that has persisted since the birth of quantum theory.This work is part of a broader research program developing the universal Tier-0 lawhood framework and the “Everything Equation,” which unifies stability, collapse, and fixed-point structure across physics, computation, thermodynamics, and information. https://doi.org/10.5281/zenodo.17823241
This preprint presents a complete and fully operator-theoretic resolution of the quantum measurement problem. Including collapse, the Born rule, the uniqueness of outcomes, and the irrelevance of observersm derived entirely from a universal structural principle called the lawhood identity. Rather than adding new physics, modifying the Schrödinger equation, introducing hidden variables, invoking many-worlds branching, or appealing to consciousness, this work shows that quantum measurement is a direct, unavoidable consequence of a general fixed-point law that applies to all stable physical systems. When instantiated for quantum mechanics, this law forces every genuine superposition to fail the criteria for being a physically lawful state. Collapse is not an extra postulate: it is structurally mandatory. Key results include: • The No-Superposition Theorem: All superpositions are proven to be structurally unlawful; they cannot survive the measurement map.• Mandatory Collapse: Collapse emerges automatically from the composition of three physical operators (boundary, decoherence, and closure), without modifying quantum dynamics.• Derivation of the Born Rule: The familiar probabilities arise uniquely from the internal consistency of the measurement operators. No additional assumptions, decision theory, or symmetry arguments are required.• Observer Independence: Awareness and measurement are formally separated. Collapse is a physical, observer-independent process; knowledge acquisition is epistemic, not causal.• Uniqueness of Outcomes: The framework proves that there is only one stable classical outcome for any initial quantum state, directly resolving the many-worlds branching issue.• Experimental Signatures: The formulation predicts measurable relationships involving entropy, decoherence rates, and effective dimensionality. This paper shows that the puzzles of quantum collapse, superposition, outcome selection, probability, and the apparent role of observers, are not mysteries requiring new interpretations. They are the natural consequences of a deeper structural principle that governs all lawful physical systems. Quantum mechanics, under this lens, becomes a specific case of a universal operator identity that determines which states can persist as stable reality. Readers will find a complete, logically self-contained argument, with theorems and proofs written in a way that does not rely on philosophical interpretation or speculative assumptions. The result is a clear and testable framework that resolves a problem that has persisted since the birth of quantum theory. This work is part of a broader research program developing the universal Tier-0 lawhood framework and the “Everything Equation,” which unifies stability, collapse, and fixed-point structure across physics, computation, thermodynamics, and information. Relation to Tier-1 dynamical formulation: This work develops a law-level (structural) resolution of quantum measurement. A complementary Tier-1 dynamical realization of these structural principles, formulated entirely within a constrained operator framework and independent of law-level recursion language, is developed in: J. Rodgers, Saturation Geometry and the Structural Emergence of Measurement and the Born Rule in a Capacity-Constrained Dirac–Λ System, Zenodo (2026).https://doi.org/10.5281/zenodo.18704783 The Tier-1 formulation may be read independently and provides a concrete operator-theoretic instantiation of the structural mechanisms discussed here.
The Kochen-Specker theorem proves the inability to assign, simultaneously, noncontextual definite values to all (of a finite set of) quantum mechanical observables in a consistent manner. If one assumes that any definite values behave noncontextually, one can nonetheless only conclude that some observables (in this set) are value indefinite. In this paper, we prove a variant of the Kochen-Specker theorem showing that, under the same assumption of noncontextuality, if a single one-dimensional projection observable is assigned the definite value 1, then no one-dimensional projection observable that is incompatible (i.e., non-commuting) with this one can be assigned consistently a definite value. Unlike standard proofs of the Kochen-Specker theorem, in order to localise and show the extent of value indefiniteness, this result requires a constructive method of reduction between Kochen-Specker sets. If a system is prepared in a pure state ψ, then it is reasonable to assume that any value assignment (i.e., hidden variable model) for this system assigns the value 1 to the observable projecting onto the one-dimensional linear subspace spanned by ψ, and the value 0 to those projecting onto linear subspaces orthogonal to it. Our result can be interpreted, under this assumption, as showing that the outcome of a measurement of any other incompatible one-dimensional projection observable cannot be determined in advance, thus formalising a notion of quantum randomness.
The quantum measurement problem is often stated as a cluster of puzzles: the preferred basis, the vanishing of interference, the occurrence of definite outcomes, and Born statistics. We argue that unitary quantum mechanics resolves this cluster into exactly two irreducible premises, and we prove two theorems that locate them. The first is an ignorance no-go theorem: environmental ignorance cannot play the role that microstate ignorance plays in classical statistical mechanics. By linearity, the branch amplitudes of the post-measurement state are invariant across all environmental initial conditions and across all admissible dynamics—the environment’s self-interactions, its internal couplings, and its couplings to system and apparatus—so no appeal to what we do not know can generate single-outcome randomness; by the no-hiding theorem, even complete retrieval of the information the environment carries leaves the randomness untouched. The second is a conditional definiteness theorem: given only the premise that perception supervenes on branch-relative memory states, unitary dynamics entails that every internal observer records exactly one definite outcome, cannot record indefiniteness, cannot verify the existence of other branches, provably agrees with every observer in her branch, and records Born-distributed frequencies in norm-typical branches. Together the theorems show that everything in the measurement problem is settled by theorem except a psychophysical supervenience premise and a probability-measure premise. Extant solutions—Everettian, hidden-variable, collapse, and selection-rule approaches—are then classified, exhaustively, by what each must add beyond the theorems.
Wigner's friend scenarios expose a tension in quantum mechanics: an observer inside a laboratory obtains a definite measurement outcome, while an observer outside describes the laboratory as being in a superposition. The Frauchiger-Renner (2018) extension produces logical contradictions when agents use quantum theory to reason about each other. We show that the recursion-consistency functional K resolves these contradictions without modifying quantum mechanics. The resolution rests on a single physical fact: the friend's measurement creates ~10^20 environmental records inside the laboratory, driving K_rec to its minimum in ~10^-30 seconds. Wigner's description of the laboratory as a superposition is not wrong but incomplete: it omits the internal records that have already selected a definite outcome. The superposition description is operationally correct for Wigner (he cannot access the internal records) but ontologically incorrect (the records exist whether he accesses them or not). This distinction dissolves the Frauchiger-Renner contradiction, resolves the quantum eraser and delayed choice experiments as corollaries, and commits the framework to an ontic interpretation of the quantum state consistent with the PBR theorem.