Observer-Relative Objectivity

provisional

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:

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 PP is observer-relative if its truth value is defined only with respect to a specific observer O=(Σ,I,B)\mathcal{O} = (\Sigma, I, \mathcal{B}). Formally, PP is a function P:Obs{true,false,undefined}P: \text{Obs} \to \{\text{true}, \text{false}, \text{undefined}\} 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 A^\hat{A} on system SS 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 O\mathcal{O} measures SS, a relational invariant IOSI_{\mathcal{O}S} is generated and SS is in a definite eigenstate relative to O\mathcal{O}. A third observer P\mathcal{P} who has not interacted with SS still describes SS in a superposition. Both descriptions are simultaneously correct — they are different conditional descriptions of the same joint state. \square

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. \square

Step 2: Consistency Across Observers

Theorem 2.1 (Relational consistency). For observers OA\mathcal{O}_A, OB\mathcal{O}_B and system SS in a joint pure state, the conditional mutual information between AA and SS given BB is non-negative:

I(A:SB)C(AB)+C(BS)C(ABS)C(B)0I(A:S|B) \equiv \mathcal{C}(AB) + \mathcal{C}(BS) - \mathcal{C}(ABS) - \mathcal{C}(B) \geq 0

Consequently, the relational coherences C(IAS)\mathcal{C}(I_{AS}), C(IBS)\mathcal{C}(I_{BS}), and C(IAB)\mathcal{C}(I_{AB}) are not independent. If C(IAB)>0\mathcal{C}(I_{AB}) > 0 (the observers share coherence), this constrains how each observer’s description of SS relates to the other’s — the descriptions cannot be independently arbitrary.

Proof. The inequality I(A:SB)0I(A:S|B) \geq 0 is exactly strong subadditivity (Axiom 1, property C5). In the framework’s notation, C5 states:

C(ABS)+C(B)C(AB)+C(BS)\mathcal{C}(A \cup B \cup S) + \mathcal{C}(B) \leq \mathcal{C}(A \cup B) + \mathcal{C}(B \cup S)

which rearranges to I(A:SB)0I(A:S|B) \geq 0. The physical content: conditioning on BB‘s description cannot increase the correlation between AA‘s and SS‘s descriptions beyond what the joint state allows. When C(IAB)>0\mathcal{C}(I_{AB}) > 0, the observers’ shared coherence mediates correlations between their respective descriptions of SS. Strong subadditivity bounds these correlations from both sides — it prevents them from being too large (no free coherence) or too uncorrelated (the shared coherence IABI_{AB} forces alignment). \square

Corollary 2.2 (Wigner’s friend consistency). In the Wigner’s friend scenario, when Wigner (W\mathcal{W}) finally interacts with the friend (F\mathcal{F}), the outcome W\mathcal{W} obtains is necessarily consistent with the outcome F\mathcal{F} obtained earlier.

Proof. This is Measurement, Theorem 5.2(iii). The existing relational invariant IFSI_{\mathcal{F}S} constrains the entanglement structure, so the new invariant IWFI_{\mathcal{W}\mathcal{F}} correlates with IFSI_{\mathcal{F}S}. Consistency is not optional — it is enforced by the coherence structure of the joint state. \square

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 t1t_1 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 G\mathcal{G}, 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 G\mathcal{G} 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 PP is observer-invariant if P(O)=trueP(\mathcal{O}) = \text{true} for every observer O\mathcal{O} in a coherence-connected network N\mathcal{N} (a connected component of the interaction graph G\mathcal{G}).

Theorem 3.2 (Total coherence is observer-invariant). The total coherence C(H)=C0\mathcal{C}(\mathcal{H}) = C_0 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. \square

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 TAut(H)T \in \text{Aut}(\mathcal{H}) preserves C\mathcal{C} (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. \square

Theorem 3.4 (Network topology is observer-invariant). Whether two observers share a relational invariant (C(IAB)>0\mathcal{C}(I_{AB}) > 0) is an observer-invariant fact.

Proof. A relational invariant IABI_{AB} is a conserved quantity on the joint state space ΣA×ΣB\Sigma_A \times \Sigma_B 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 AA and BB or it has not. This is recorded in the graph G\mathcal{G}, which is observer-invariant (all observers share the same interaction graph by Axiom 1c — conservation is stated on G\mathcal{G}). A third observer OC\mathcal{O}_C may not know the value of IABI_{AB}, but the existence of the relationship is a fact about G\mathcal{G}, not about any observer’s perspective. \square

Step 4: Subjectivity Is Impossible

Definition 4.1 (Subjective fact). A proposition PP is subjective if an observer O\mathcal{O} 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 O\mathcal{O} can assign arbitrary measurement outcomes to a system SS. The probability of outcome kk is uniquely determined:

P(k)=ψk2P(k) = |\psi_k|^2

where ψk=kψSO\psi_k = \langle k | \psi_S \rangle_\mathcal{O} and ψSO|\psi_S\rangle_\mathcal{O} is SS‘s state relative to O\mathcal{O}.

Proof. The Born rule P(k)=ψk2P(k) = |\psi_k|^2 is the unique probability assignment compatible with coherence conservation, U(1)U(1) 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 SS, the state ψSO|\psi_S\rangle_\mathcal{O} is determined, and the probabilities follow uniquely.

The coherence content of the outcome is also fixed: the entropy change upon measurement is ΔS=C(IOS)\Delta S = -\mathcal{C}(I_{\mathcal{O}S}) (Measurement, Theorem 6.1). The observer cannot choose how much information the measurement yields — that is determined by the coherence structure of the interaction. \square

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 PP is observer-independent (in the classical realist sense) if there exists a single assignment of definite values to all observables of SS 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 SS that is consistent with all observers’ descriptions.

Proof. The proof proceeds by contradiction.

Step A. Suppose a universal assignment exists: for every observable A^\hat{A} of SS, there is a definite value v(A^)v(\hat{A}) that is simultaneously valid for all observers.

Step B. Let O\mathcal{O} be any observer that has measured SS (performed a Type III interaction). By definition, this generates a relational invariant IOSI_{\mathcal{O}S} with C(IOS)>0\mathcal{C}(I_{\mathcal{O}S}) > 0 (Relational Invariants, Theorem 2.1). By Entanglement, Theorem 2.1, this means SS‘s reduced density matrix relative to O\mathcal{O} has S(ρS)=C(IOS)>0S(\rho_S) = \mathcal{C}(I_{\mathcal{O}S}) > 0 — the reduced state is mixed.

Step C. A mixed reduced state ρS\rho_S with S(ρS)>0S(\rho_S) > 0 has eigenvalues λk\lambda_k with at least two non-zero values. For any observable A^\hat{A} whose eigenbasis does not coincide with the eigenbasis of ρS\rho_S, 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 SS to have definite values for all observables relative to O\mathcal{O}, the reduced state must be pure: S(ρS)=0S(\rho_S) = 0. But this requires C(IOS)=0\mathcal{C}(I_{\mathcal{O}S}) = 0, meaning no relational invariant — i.e., O\mathcal{O} has not interacted with SS. Any observer who has interacted with SS 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. \square

Remark. This does not mean reality is unknowable. It means that “the complete state of SS” 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 PP about a system SS within a coherence-connected network N\mathcal{N} falls into exactly one of three categories:

(Level 1) Observer-invariant. P(O)=trueP(\mathcal{O}) = \text{true} for all ON\mathcal{O} \in \mathcal{N}. 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. P(O)P(\mathcal{O}) depends on O\mathcal{O}, but the value is uniquely determined by O\mathcal{O}‘s relational invariants with SS and the coherence structure. Examples: measurement outcomes (Proposition 1.1), basis decompositions (Proposition 1.2), the reduced density matrix of SS relative to O\mathcal{O}.

(Level 3) Observer-undefined. P(O)=undefinedP(\mathcal{O}) = \text{undefined} for all ON\mathcal{O} \in \mathcal{N}. Examples: the value of an observable for which no relational invariant has been generated, properties behind a coherence boundary that no observer in N\mathcal{N} can access.

Proof. Exhaustiveness: Let PP be any physical proposition about SS. Either PP has a truth value for at least one observer, or it does not. If it does not, PP is Level 3 (observer-undefined). If it does, either PP has the same truth value for all observers in N\mathcal{N} (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 PP 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 O\mathcal{O} to SS for the observable in question. The observable’s value is undefined for O\mathcal{O} — not unknown (epistemic uncertainty) but genuinely without truth value (ontological indefiniteness for bounded observers). \square

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 labelFramework replacementStatus
”Objective” (observer-independent)Level 1: observer-invariantExists but limited to structural facts
Level 2: observer-relative but constrainedThe bulk of physical facts; neither subjective nor classically objective
”Subjective” (arbitrary)ForbiddenCoherence 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 G\mathcal{G} 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):

Rigorous given axioms:

Interpretive elements (not mathematical claims):

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

  1. Effective observer-invariance from redundant relational invariants: When many observers O1,,On\mathcal{O}_1, \ldots, \mathcal{O}_n independently perform Type III interactions with SS, each generating IOiSI_{\mathcal{O}_i S}, strong subadditivity (Theorem 2.1) constrains all descriptions to be mutually consistent. As nn grows, Level 2 facts about SS 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 G\mathcal{G}, not environmental decoherence.

  2. 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 (Hˇ10\check{H}^1 \neq 0). 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.

  3. 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).

  4. Emergent continuous observables: The framework naturally produces discrete outcomes at the fundamental level — relational invariants have discrete spectra from the U(1)U(1) 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.

  5. 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 (Hˇ10\check{H}^1 \neq 0 from Kochen-Specker contextuality). Temporal branching is ruled out (DAG acyclicity → contractible nerve → Htemporal1=0H^1_{\text{temporal}} = 0). What remains open is quantitative: is dimHˇ1\dim \check{H}^1 related to a physical quantity (entanglement entropy, mutual information, number of non-commuting observables)? And does H2H^2 or higher cohomology carry physical meaning — perhaps related to higher-order contextuality or the structure of entanglement networks?