Depends On
Overview
This derivation addresses one of the oldest questions in the philosophy of physics: is the physical world objective or subjective?
Standard physics assumes a clear answer: there is one objective reality, and observers are passive witnesses to it. Quantum mechanics complicates this picture — measurement outcomes depend on the observer, entangled particles have no individual definite states, and the Wigner’s friend scenario suggests that even “facts” can be observer-dependent. This has led some to conclude that quantum mechanics implies subjectivism, while others insist on a fully observer-independent reality.
The argument. The observer-centric framework dissolves this dichotomy by showing it rests on a false binary:
- All measurement outcomes are observer-relative: the “state of a system” is always relative to a specific observer’s relational invariants. There is no view from nowhere.
- But observer-relativity is not subjectivity. Coherence conservation and the Born rule uniquely constrain what any observer can describe. No observer can fabricate outcomes or assign arbitrary states.
- Certain structural facts — total coherence, conservation laws, network topology — are genuinely observer-invariant: true for all observers regardless of perspective.
- The result is a precise three-level classification: observer-invariant facts, observer-relative but constrained facts, and observer-undefined propositions. This trichotomy replaces the blunt subjective/objective binary.
- A key dissolution: scenarios like Wigner’s friend appear paradoxical only when an external time parameter is assumed. In the framework, time is phase ordering on the dependency DAG — there is no observer-independent “now” at which contradictory descriptions must be reconciled. Descriptions need only agree when observers actually interact, and the DAG structure guarantees they will.
The result. “Objective” does not mean “observer-independent.” It means “constrained by structure that no observer can violate.” Observer-centrism provides a form of objectivity that is stronger than subjectivism (coherence conservation enforces agreement) but weaker than classical realism (no single description captures everything for all observers).
Why this matters. The subjective/objective debate has confused discussions of quantum mechanics for a century. By making the three-level structure precise, the framework removes the confusion: quantum mechanics is neither subjective nor classically objective — it is observer-relatively objective.
An honest caveat. The comparison with other interpretive frameworks (Step 7) is structural and philosophical rather than mathematical — it positions the framework but does not make formal claims. The core trichotomy (Theorem 6.1) is rigorous given the axioms. A category-theoretic formalization as a functor on Obs would strengthen the result but is not required for the classification itself.
Note on status. This derivation is provisional because its central claims depend on preferred-basis S1 (interaction-invariant correspondence) (see Preferred Basis). If those postulates are promoted to theorems, this derivation would be upgraded to rigorous.
Statement
Theorem. Every physical proposition falls into exactly one of three levels: (1) observer-invariant — true for all observers in a coherence-connected network, (2) observer-relative but constrained — truth value depends on the observer but is uniquely determined by coherence relations, or (3) observer-undefined — no observer in the network can assign a truth value. This trichotomy is exhaustive and exclusive. Observer-relative facts are not subjective: coherence conservation and Born rule uniqueness forbid arbitrary assignment. Classical observer-independence fails: entanglement monogamy prevents any single description from being definite for all observers simultaneously.
Derivation
Step 1: Observer-Relative Descriptions
Definition 1.1 (Observer-relative fact). A proposition is observer-relative if its truth value is defined only with respect to a specific observer . Formally, is a function from the observer category (Observer Definition, Definition 4.1) to truth values, where different observers may yield different values.
Proposition 1.1 (All measurement outcomes are observer-relative). The outcome of measuring observable on system depends on which observer performs the measurement. Different observers can simultaneously hold different but compatible descriptions of the same system.
Proof. This is Measurement, Theorem 4.1 and Proposition 4.2. After observer measures , a relational invariant is generated and is in a definite eigenstate relative to . A third observer who has not interacted with still describes in a superposition. Both descriptions are simultaneously correct — they are different conditional descriptions of the same joint state.
Proposition 1.2 (Basis decomposition is observer-relative). The preferred basis in which a system’s state is expressed depends on the observer’s interaction structure.
Proof. This is Preferred Basis, Theorem 3.1. The preferred basis is determined by the interaction Hamiltonian between observer and system. Different observers, interacting via different Hamiltonians, obtain different basis decompositions.
Step 2: Consistency Across Observers
Theorem 2.1 (Relational consistency). For observers , and system in a joint pure state, the conditional mutual information between and given is non-negative:
Consequently, the relational coherences , , and are not independent. If (the observers share coherence), this constrains how each observer’s description of relates to the other’s — the descriptions cannot be independently arbitrary.
Proof. The inequality is exactly strong subadditivity (Axiom 1, property C5). In the framework’s notation, C5 states:
which rearranges to . The physical content: conditioning on ‘s description cannot increase the correlation between ‘s and ‘s descriptions beyond what the joint state allows. When , the observers’ shared coherence mediates correlations between their respective descriptions of . Strong subadditivity bounds these correlations from both sides — it prevents them from being too large (no free coherence) or too uncorrelated (the shared coherence forces alignment).
Corollary 2.2 (Wigner’s friend consistency). In the Wigner’s friend scenario, when Wigner () finally interacts with the friend (), the outcome obtains is necessarily consistent with the outcome obtained earlier.
Proof. This is Measurement, Theorem 5.2(iii). The existing relational invariant constrains the entanglement structure, so the new invariant correlates with . Consistency is not optional — it is enforced by the coherence structure of the joint state.
Remark 2.3 (No external time parameter). The Wigner’s friend scenario appears paradoxical in standard treatments because an external time parameter is assumed: at time the friend measures and gets a definite result, while “at the same time” Wigner describes the lab in superposition. The apparent contradiction — two incompatible descriptions holding “simultaneously” — demands resolution.
In the observer-centric framework, this pressure evaporates. Time is not an external parameter but phase ordering on the dependency DAG (Time). Wigner and his friend each have their own causal path through , and there is no observer-independent “now” at which both descriptions coexist. The question “what is really happening inside the lab right now?” is malformed — it presupposes an external simultaneity that the framework does not provide.
Descriptions need to be reconciled only when a new vertex in connects the two causal paths — i.e., when Wigner actually interacts with the friend. At that vertex, Corollary 2.2 guarantees consistency. Before that vertex exists, there is no slice of the DAG on which both descriptions are jointly evaluated, and therefore no contradiction to resolve. The paradox is an artifact of smuggling an external clock into a framework that has none.
Step 3: Observer-Invariant Facts
Definition 3.1 (Observer-invariant fact). A proposition is observer-invariant if for every observer in a coherence-connected network (a connected component of the interaction graph ).
Theorem 3.2 (Total coherence is observer-invariant). The total coherence is the same for all observers.
Proof. This follows directly from Axiom 1 (Coherence Conservation, Definition 1.2, property C2). The total coherence is a global constant, not relative to any observer. No measurement, interaction, or change of perspective can alter it.
Theorem 3.3 (Conservation laws are observer-invariant). The conservation of coherence on Cauchy slices of the dependency DAG (Coherence Conservation, Theorem 3.1) holds for all observers. No observer can witness a violation of coherence conservation.
Proof. Coherence conservation is an axiom (Axiom 1c), not a derived observer-relative statement. Any admissible transformation preserves (Observer Definition, Definition 1.2). Since every observer’s dynamics are admissible transformations (by definition of the observer category), every observer’s description respects conservation.
Theorem 3.4 (Network topology is observer-invariant). Whether two observers share a relational invariant () is an observer-invariant fact.
Proof. A relational invariant is a conserved quantity on the joint state space satisfying conditions R1–R3 (Relational Invariants, Definition 1.1). Its existence is a structural property of the interaction graph — either a Type III interaction has occurred between and or it has not. This is recorded in the graph , which is observer-invariant (all observers share the same interaction graph by Axiom 1c — conservation is stated on ). A third observer may not know the value of , but the existence of the relationship is a fact about , not about any observer’s perspective.
Step 4: Subjectivity Is Impossible
Definition 4.1 (Subjective fact). A proposition is subjective if an observer can assign it any truth value without constraint from the coherence structure, inter-observer relations, or the axioms.
Theorem 4.1 (Non-fabrication). No observer can assign arbitrary measurement outcomes to a system . The probability of outcome is uniquely determined:
where and is ‘s state relative to .
Proof. The Born rule is the unique probability assignment compatible with coherence conservation, phase covariance, and composition (Born Rule, Theorem 6.1). Uniqueness is the key: there is no freedom in the assignment. Given the observer’s relational invariants with , the state is determined, and the probabilities follow uniquely.
The coherence content of the outcome is also fixed: the entropy change upon measurement is (Measurement, Theorem 6.1). The observer cannot choose how much information the measurement yields — that is determined by the coherence structure of the interaction.
Corollary 4.2 (Observer-relative ≠ subjective). The fact that measurement outcomes are observer-relative (Proposition 1.1) does not imply they are subjective (Definition 4.1). Each observer’s outcomes are uniquely constrained by coherence conservation and the Born rule. Observer-relativity governs which observer holds the fact; coherence conservation governs what facts can be held.
Step 5: Pure Observer-Independence Fails
Definition 5.1 (Observer-independent fact). A proposition is observer-independent (in the classical realist sense) if there exists a single assignment of definite values to all observables of that is simultaneously valid for all observers.
Theorem 5.1 (No universal definiteness). There exists no assignment of simultaneous definite values to all observables of a system that is consistent with all observers’ descriptions.
Proof. The proof proceeds by contradiction.
Step A. Suppose a universal assignment exists: for every observable of , there is a definite value that is simultaneously valid for all observers.
Step B. Let be any observer that has measured (performed a Type III interaction). By definition, this generates a relational invariant with (Relational Invariants, Theorem 2.1). By Entanglement, Theorem 2.1, this means ‘s reduced density matrix relative to has — the reduced state is mixed.
Step C. A mixed reduced state with has eigenvalues with at least two non-zero values. For any observable whose eigenbasis does not coincide with the eigenbasis of , the measurement outcome is genuinely indeterminate — the Born rule assigns non-trivial probabilities to multiple values. There is no single definite value to assign.
Step D. For to have definite values for all observables relative to , the reduced state must be pure: . But this requires , meaning no relational invariant — i.e., has not interacted with . Any observer who has interacted with necessarily faces a mixed reduced state for which universal definiteness fails. Since interactions generically generate relational invariants (Relational Invariants, Theorem 2.1), universal definiteness is generically impossible.
Remark. This does not mean reality is unknowable. It means that “the complete state of ” is not a single object but a network of relational descriptions, each valid from a particular observer’s perspective and all constrained by coherence conservation.
Step 6: The Three-Level Trichotomy
Theorem 6.1 (Trichotomy). Every physical proposition about a system within a coherence-connected network falls into exactly one of three categories:
(Level 1) Observer-invariant. for all . Examples: conservation laws (Theorem 3.2–3.3), network topology (Theorem 3.4), total coherence, the dimensionality of Hilbert spaces.
(Level 2) Observer-relative but constrained. depends on , but the value is uniquely determined by ‘s relational invariants with and the coherence structure. Examples: measurement outcomes (Proposition 1.1), basis decompositions (Proposition 1.2), the reduced density matrix of relative to .
(Level 3) Observer-undefined. for all . Examples: the value of an observable for which no relational invariant has been generated, properties behind a coherence boundary that no observer in can access.
Proof. Exhaustiveness: Let be any physical proposition about . Either has a truth value for at least one observer, or it does not. If it does not, is Level 3 (observer-undefined). If it does, either has the same truth value for all observers in (Level 1) or it differs across observers (Level 2).
Exclusiveness: The three levels are mutually exclusive by construction: Level 1 requires unanimity, Level 2 requires variation, and Level 3 requires universal undefinedness.
Level 2 is constrained, not arbitrary: By Theorem 4.1, any observer who holds a truth value for holds the uniquely determined value — coherence conservation and Born rule uniqueness forbid arbitrary assignment. This distinguishes Level 2 from subjectivity (Definition 4.1).
Level 1 is non-trivial: The examples in Theorems 3.2–3.4 show that genuinely observer-invariant facts exist — the framework is not purely relativistic.
Level 3 is non-trivial: By the pre-measurement condition (Measurement, Definition 1.2), before interaction no relational invariant links to for the observable in question. The observable’s value is undefined for — not unknown (epistemic uncertainty) but genuinely without truth value (ontological indefiniteness for bounded observers).
Corollary 6.2 (Dissolution of the subjective/objective dichotomy). The classical binary — “either subjective or objective” — is a false dichotomy. The framework replaces it with a three-level structure:
| Classical label | Framework replacement | Status |
|---|---|---|
| ”Objective” (observer-independent) | Level 1: observer-invariant | Exists but limited to structural facts |
| — | Level 2: observer-relative but constrained | The bulk of physical facts; neither subjective nor classically objective |
| ”Subjective” (arbitrary) | Forbidden | Coherence conservation prevents arbitrary assignment |
The missing piece in the classical dichotomy is Level 2: facts that are genuinely observer-dependent but equally genuinely constrained. This is the novel ontological category that observer-centrism identifies.
Step 7: Comparison with Other Frameworks
Proposition 7.1 (Structural positioning). The three-level trichotomy relates to existing interpretive frameworks as follows:
(a) QBism (Fuchs, Mermin, Schack). QBism holds that quantum states are subjective degrees of belief. The framework agrees that states are observer-relative (Level 2) but disagrees that they are subjective: the Born rule uniqueness (Theorem 4.1) means probabilities are constrained by structure, not chosen by the agent. QBism’s “participatory realism” is closest to Level 2, but without the coherence constraints that prevent arbitrariness.
(b) Relational Quantum Mechanics (Rovelli). RQM holds that quantum states are relational — defined only relative to a reference system. The framework is structurally closest to RQM but differs in grounding: RQM postulates relationality as a basic principle, while observer-centrism derives it from the three axioms (Measurement, Proposition 7.2). Additionally, RQM does not provide a mechanism preventing arbitrary assignment — the framework’s coherence constraints (Theorem 2.1) add teeth to the relational picture.
(c) Many-Worlds (Everett). Many-Worlds maintains observer-independent realism by declaring all outcomes equally real in different branches. The framework achieves consistency without branching: the interaction graph is a single structure, and different observers hold different relational perspectives on it. The ontological cost of many-worlds (exponentially many branches) is avoided, while the explanatory benefit (no collapse) is retained.
(d) Copenhagen. Copenhagen draws a sharp classical/quantum boundary and postulates collapse. The framework has no such boundary — all systems are observers at some level (Observer Definition), and measurement is ordinary coherence dynamics (Measurement, Step 2). The observer-relativity of outcomes (Level 2) replaces the classical observer of Copenhagen.
Rigor Assessment
Fully rigorous (following from established upstream results):
- Proposition 1.1: Observer-relativity of measurements (direct application of Measurement Theorem 4.1)
- Proposition 1.2: Observer-relativity of basis (direct application of Preferred Basis Theorem 3.1)
- Corollary 2.2: Wigner’s friend consistency (direct application of Measurement Theorem 5.2)
- Theorem 3.2: Total coherence invariance (direct from Axiom 1, C2)
- Theorem 3.3: Conservation law invariance (direct from Axiom 1c)
- Theorem 4.1: Non-fabrication (direct from Born Rule uniqueness, Theorem 6.1)
- Corollary 4.2: Observer-relative ≠ subjective (logical consequence of Theorem 4.1 + Proposition 1.1)
Rigorous given axioms:
- Theorem 2.1: Relational consistency (uses strong subadditivity C5, rigorous from Axiom 1)
- Remark 2.3: No external time parameter (follows from Time as phase ordering on the DAG; the absence of observer-independent simultaneity is a structural consequence of the framework)
- Theorem 3.4: Network topology invariance (relies on interaction graph structure from Axiom 1c)
- Theorem 5.1: No universal definiteness (uses entanglement monogamy, rigorous from Entanglement Theorem 4.1)
- Theorem 6.1: Trichotomy (logical classification; exhaustiveness and exclusiveness are definitional; the substantive content — that Level 2 is constrained — relies on Theorem 4.1)
Interpretive elements (not mathematical claims):
- Proposition 7.1: Comparison with other frameworks (structural/philosophical positioning, analogous to Measurement Proposition 7.1–7.2)
Assessment: The core mathematical chain (Steps 1–6) is rigorous given the axioms. Every theorem either follows directly from established upstream results (Measurement, Born Rule, Entanglement, Relational Invariants — all rigorous) or is a logical classification whose substantive content reduces to those results. The interpretive comparison (Step 7) is honestly flagged as non-mathematical, following the same convention as the measurement derivation. The category-theoretic formalization (Open Gap 5) is an open extension that would strengthen the trichotomy, not a gap that undermines it — the three-level classification is already well-defined and exhaustive without it.
Open Gaps
-
Effective observer-invariance from redundant relational invariants: When many observers independently perform Type III interactions with , each generating , strong subadditivity (Theorem 2.1) constrains all descriptions to be mutually consistent. As grows, Level 2 facts about approach effective Level 1 status — every observer in the network agrees. Formalizing this convergence would give the framework’s internal account of the phenomenon Zurek calls “quantum Darwinism,” but without invoking an external environment (which would conflict with Axiom 1’s closed ontology). The mechanism is network-redundancy of relational invariants in , not environmental decoherence.
-
Contextuality connection: The Kochen-Specker theorem shows that non-contextual hidden variable models are impossible. This is closely related to Theorem 5.1 (no universal definiteness) but approaches from a different direction. The Sheaf Structure derivation identifies this connection: Level 2 facts are precisely the local sections of the outcome sheaf that fail to globalize, and Kochen-Specker contextuality is the cohomological obstruction (). What remains is a formal isomorphism with the Abramsky-Brandenburger sheaf-theoretic contextuality framework — mapping relational invariants to measurement contexts and showing the two cohomologies coincide.
-
Extended Wigner’s friend: The Frauchiger-Renner no-go theorem constrains theories with certain assumptions about nested observers. The framework should be formally tested against this theorem — the three-level structure may provide a precise diagnosis of which assumption is violated (likely the assumption of observer-independent facts, replaced by the Level 1/2/3 distinction).
-
Emergent continuous observables: The framework naturally produces discrete outcomes at the fundamental level — relational invariants have discrete spectra from the loop structure (Loop Closure). Continuous observables like position and momentum are not eigenvalues of a single relational invariant but effective descriptions emerging from networks of many discrete relational invariants whose collective structure approximates a continuum. The trichotomy already applies at the fundamental discrete level; the open question is formalizing how it behaves in the continuum limit — verifying that the three-level classification is preserved as discrete relational invariant networks scale to effective continuous descriptions.
-
Sheaf structure — remaining quantitative questions: The Sheaf Structure derivation resolves the qualitative question: the observer network carries three sheaves (coherence, probability, outcome) with a split answer. The coherence and probability sheaves have unique global sections (C2 + Born rule uniqueness), while the outcome sheaf does not ( from Kochen-Specker contextuality). Temporal branching is ruled out (DAG acyclicity → contractible nerve → ). What remains open is quantitative: is related to a physical quantity (entanglement entropy, mutual information, number of non-commuting observables)? And does or higher cohomology carry physical meaning — perhaps related to higher-order contextuality or the structure of entanglement networks?