Observer Rules: Physics, Computation & Control

• Observer rules are technical prescriptions that define what counts as an observer and delineate accessible distinctions in various scientific frameworks.
• They establish foundational constraints in fields such as Cartan-geometric gravity, quantum measurement, and computational state estimation with practical experimental and theoretical implications.
• By fixing admissible information channels before dynamics, observer rules enable coherent reconstruction of physical, computational, and control processes.

Observer rules are prescriptions that specify what counts as an observer, what distinctions are accessible to that observer, and how dynamics, probabilities, Hilbert spaces, or state estimates are reformulated once those observational constraints are imposed. Across the literature, the phrase does not denote a single axiom system. In Cartan-geometric gravity it refers to the 7-dimensional observer space of future-timelike unit tangent vectors; in quantum measurement it denotes whole-history probability rules for sequences of observers’ experiences tied to material records; in semiclassical gravity it names extra prescriptions for appending or deriving an observer sector; in formal language theory it is the map $O:\Sigma^*\to S$ that fixes observable input structure; and in control and discrete-event systems it denotes concrete observer constructions for state estimation and higher-order knowledge (Gielen et al., 2012, Sokolovski, 2020, McBride, 31 Mar 2026, Buono, 25 Jun 2026, Fiore et al., 2016, Zhang et al., 2024).

1. Domain-specific meanings of observer rules

In the geometric literature, the observer is a localized timelike direction, not merely a point. For a time-oriented Lorentzian spacetime $(M,g)$, observer space is

$$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$

the future unit tangent bundle, and a point of $O$ is an event together with a velocity. In quantum-measurement work, the observer is not introduced as a collapse-causing consciousness but as the bearer of possible experiences whose physical correlates are memories, notes, probes, and records. In semiclassical gravity, “observer rules” are extra prescriptions for how an observer sector is appended, factorized, or reconstructed when a closed universe would otherwise have a trivial Hilbert space. In computation, an observer is a function $O:\Sigma^*\to S$ that determines which information about the input is accessible to the machine; in discrete-event systems, the classical observer is the powerset construction, and the high-order observer tracks what one agent knows about another agent’s state estimate (Gielen et al., 2012, Sokolovski, 2020, McBride, 31 Mar 2026, Buono, 25 Jun 2026, Zhang et al., 2024).

These usages share a common formal role. Each fixes an admissible information channel before dynamics, inference, or reconstruction are defined. This suggests that observer rules are best understood not as a doctrine about subjectivity, but as structural constraints on accessibility, distinguishability, and closure.

2. Geometric and gravitational formulations

In “Lifting General Relativity to Observer Space” (Gielen et al., 2012), observer space is treated as fundamental. The bundle projection $\pi:O\to M$ has hyperbolic 3-space fibers $H/K\cong \mathbb H^3$, and $TO$ has the canonical splitting

$$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$

Observer space also carries a canonical contact form

$\alpha(v)=g(p(v),\pi_*v),$

whose Reeb vector field $(M,g)$0 is the restriction of the geodesic spray, so inertial observers are integral curves of $(M,g)$1. In Cartan-geometric form, an observer space geometry is a principal $(M,g)$2-bundle $(M,g)$3 with $(M,g)$4-valued Cartan connection

$(M,g)$5

decomposing into rotation, boost, spatial translational soldering, and temporal translational soldering. Spacetime is reconstructible only if the boost distribution satisfies the curvature condition called $(M,g)$6-flatness; with $(M,g)$7-completeness and a free proper $(M,g)$8-action, one obtains

$(M,g)$9

When reconstruction fails, coincidence and local spacetime become observer-dependent rather than globally defined. The same paper uses this formalism to link covariant and canonical gravity, including a foliation-independent route to Ashtekar-Barbero variables (Gielen et al., 2012).

Recent semiclassical-gravity work shifts the term in a different direction. “The Observer Paradigm in Semiclassical Gravity: A Postmodern Perspective” (McBride, 31 Mar 2026) uses “observer rules” for the extra prescriptions needed to obtain a nontrivial perturbative Hilbert space in closed universes. The observer sector may be put in by hand or built from bulk semiclassical degrees of freedom, but it is “crucial” that, perturbatively, it tensor-factorizes from the remaining bulk degrees of freedom; this may require relaxing gravitational constraints, modifying the non-isometric code mapping, or altering the rules of the sum over topologies. One explicit modeling choice is

$$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$0

and the paper emphasizes that the resulting Hilbert-space dimension depends on the observer’s intrinsic entropy, not only on gravitational parameters (McBride, 31 Mar 2026).

“Subregion observer rules from generalized entanglement wedges” (Bozanic et al., 26 Jun 2026) then gives a more technical unification. At the tensor-network level, the Colorado observer-promotion rules and the Kaya–Rath–Ritchie hollowing rules are exactly equivalent: both remove tensors in a bulk subregion $$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$1, leaving dangling bulk and edge legs. In the path-integral language this leads to generalized entanglement wedge formulas such as

$$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$2

and allows the observer to be treated as a bulk subregion rather than merely a worldline (Bozanic et al., 26 Jun 2026).

A complementary development appears in “Observer complementarity for black holes and holography” (Engelhardt et al., 8 Jul 2025). There the standard approximate-isometry condition

$$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$3

is replaced by the observer-conditioned rule

$$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$4

where the quantum-to-classical channel acts on pointer states by

$$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$5

The observer is treated classically at the Heisenberg cut, yielding observer-dependent but operationally consistent bulk descriptions for exterior and infalling observers (Engelhardt et al., 8 Jul 2025).

3. Quantum measurement and observer-dependent histories

In “Quantum measurements with, and yet without an Observer” (Sokolovski, 2020), observer rules are Feynman’s probability rules applied to complete sequences of possible perceptions. For measurements at times $$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$6, one assigns amplitudes to virtual paths,

$$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$7

forms coarse-grained “real paths” by summing over indistinguishable alternatives, and then computes probabilities for full sequences of outcomes. The paper’s central claim is that these probabilities refer to observers’ experiences rather than to propositions that a system possessed values independently. The decisive criterion is record production: “without producing such a record an act of observation should not count.” Accordingly, the paper distinguishes coupling a probe, registering the probe in memory, and perceiving the record. Wigner’s friend scenarios are analyzed so that interference disappears when a physical record exists, even if no conscious perception has yet occurred; the actual act of perception is not dynamically relevant once a distinguishable material record is present (Sokolovski, 2020).

A separate proposal, “Quantum measurement: a game between observer and nature?” (Xin et al., 2022), assigns the observer a decision-theoretic role rather than a collapse-inducing one. The observer prepares the apparatus, observes pointer states, interprets outcomes physically, and chooses actions $$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$8 under uncertainty. The paper introduces a quantum expected value

$$O=\{\,u\in TM\mid g(u,u)=-1,\ u \text{ future-directed}\,\},$$9

where $O$0 are subjective probabilities over actions, $O$1 are objective frequencies of nature’s states, and $O$2 is the payoff matrix. Strategies are represented by quantum decision trees and optimized by quantum genetic programming with fitness

$O$3

The proposal explicitly rejects consciousness-causes-collapse, treats the observer as a strategic learner, and claims that optimized trees can reconstruct past trajectories “very well,” reporting about $O$4 accuracy in a simulated example. At the same time, it states that future trajectories cannot be accurately predicted because prior information about the quantum entity is incomplete (Xin et al., 2022).

Taken together, these quantum papers sharply separate two issues that are often conflated. One issue is whether the formalism is about observers’ experiences; the other is whether consciousness has a direct dynamical role. In both papers the first answer is affirmative and the second negative, but the mathematical implementations differ substantially.

4. Computation, language classes, and cryptography

In “Observers, Symmetries, and the Hierarchy of Language Classes: A Theory of Computation Parameterized by the Observer” (Buono, 25 Jun 2026), the observer is formalized as

$O$5

A machine receives $O$6, not $O$7, and a language is recognizable under $O$8 only if it is $O$9-saturated: $O:\Sigma^*\to S$0 The paper defines canonical observers including the trivial observer $O:\Sigma^*\to S$1, the length observer $O:\Sigma^*\to S$2, the parity observer $O:\Sigma^*\to S$3, the profile observer

$O:\Sigma^*\to S$4

the complete observer $O:\Sigma^*\to S$5, and subsequence observers $O:\Sigma^*\to S$6. The induced hierarchy satisfies

$O:\Sigma^*\to S$7

with $O:\Sigma^*\to S$8 and $O:\Sigma^*\to S$9 incomparable, and also

$\pi:O\to M$0

Its order-blind automaton characterizes precisely the permutation-closed languages, and the paper proves the structural collapse

$\pi:O\to M$1

The point is that once only the profile is visible, nondeterminism cannot exploit lost order information (Buono, 25 Jun 2026).

“The Observer World: A Cryptographic Extension of Impagliazzo’s Five Worlds” (Buono, 25 Jun 2026) places this hierarchy on a second axis orthogonal to computational hardness. A world-observer pair is

$\pi:O\to M$2

where $\pi:O\to M$3 is one of Algorithmica, Heuristica, Pessiland, Minicrypt, or Cryptomania, and $\pi:O\to M$4 specifies the adversary’s observational access. The standard five-world framework corresponds to the identity observer $\pi:O\to M$5, treated there as the silent default. The paper proves that the profile-observer collapse holds unconditionally in all five worlds, so observational blindness and computational hardness are independent. It also shows that no one-way function can be $\pi:O\to M$6-saturated, because a profile-invariant function is invertible by reconstructing a canonical preimage from symbol counts. A parametric family $\pi:O\to M$7 is then introduced, with $\pi:O\to M$8 measuring partial violation of observational invariants via mutual-information distance between $\pi:O\to M$9, an intermediate $H/K\cong \mathbb H^3$0, and the identity observer (Buono, 25 Jun 2026).

A more philosophical response appears in “Intrinsic Computational Functionalism: From Observer-Relative Maps to Observer-Independent Structures” (Ma et al., 4 Jun 2026). That paper distinguishes interpreter-relative label selection from dynamics-internal grain selection and argues that any consciousness-relevant computational property must satisfy two necessary criteria: system-intrinsic instantiation, meaning invariance under structure-preserving relabellings, and causal-dynamical organization under intervention, meaning counterfactual organization in a state-space whose variables mutually constrain one another. Its guiding separation is between arbitrary observer-imposed mappings and observer-independent causal organization under interventions (Ma et al., 4 Jun 2026).

5. Control, realization, and high-order estimation

In control theory, “observer rules” revert to a more classical meaning: update laws and solvability conditions for reconstructing unmeasured variables. “Observer design for piecewise smooth and switched systems via contraction theory” (Fiore et al., 2016) studies bimodal Filippov systems with switching manifold $H/K\cong \mathbb H^3$1 and proposes the mode-dependent observer

$H/K\cong \mathbb H^3$2

Using regularization and matrix measures, the paper gives sufficient contraction conditions in each mode and a switching-manifold compatibility condition ensuring exponential convergence of the estimation error. A central contribution is that the design can use non-Euclidean norms, not only Euclidean ones (Fiore et al., 2016).

For PDE–ODE systems, “Observer Design for Systems of Conservation Laws with Lipschitz Nonlinear Boundary Dynamics” (Ferrante et al., 2021) considers

$H/K\cong \mathbb H^3$3

and constructs an infinite-dimensional observer with linear boundary injection

$H/K\cong \mathbb H^3$4

A Lyapunov functional with cross terms between PDE and ODE errors yields sufficient matrix-inequality conditions, though the paper notes that the synthesis condition is in fact a BMI rather than a convex LMI (Ferrante et al., 2021).

Distributed observer rules appear in “A Class of LTI Distributed Observers for LTI Plants” (Park et al., 2014). Each observer $H/K\cong \mathbb H^3$5 updates via

$H/K\cong \mathbb H^3$6

$H/K\cong \mathbb H^3$7

where $H/K\cong \mathbb H^3$8 is determined by a directed communication graph. The paper proves a necessary and sufficient condition for asymptotic omniscience at all observers: every source strongly connected component of the communication graph must yield a detectable subsystem $H/K\cong \mathbb H^3$9 (Park et al., 2014).

Algebraic observer synthesis is developed in “Rational observers of rational systems” (Nemcova et al., 2016). There the state is reconstructed from finitely many output derivatives

$TO$0

and finite algebraic observability guarantees an output-based realization in the same algebraic class. The observer is then obtained by output injection into the companion-like realization. The paper emphasizes that a polynomial observer may require strictly higher state dimension than the original plant (Nemcova et al., 2016).

“Observer-Based Realization of Control Systems” (Cheng et al., 2024) takes a dual perspective: observers are functions of the state, and an observer-based realization is a Lebesgue-type dynamic system written directly on those observer variables. For linear systems $TO$1, an exact OR-system exists if and only if the dual subspace $TO$2 is $TO$3-invariant, equivalently

$TO$4

for some $TO$5. When this fails, the paper constructs an extended OR-system on the smallest $TO$6-invariant, or under feedback the smallest $TO$7-invariant, dual subspace containing $TO$8 (Cheng et al., 2024).

In discrete-event systems, finally, “High-order observers and high-order state-estimation-based properties of discrete-event systems” (Zhang et al., 2024) generalizes the Rabin–Scott powerset observer from one agent to an ordered family $TO$9. Each agent $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$0 has its own observable event set $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$1, all agents know the system structure, and higher-order observers encode what $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$2 knows about what $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$3 knows about $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$4 what $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$5 knows about the plant’s state estimate (Zhang et al., 2024).

6. Structural themes, controversies, and open problems

Several structural motifs recur across these otherwise disparate literatures. First, observer rules almost always define an accessibility relation before any dynamics are analyzed: in general relativity it is the decomposition into boosts, spatial directions, and temporal Reeb flow; in quantum measurement it is distinguishability by material records; in computation it is the partition of $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$6 into $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$7-classes; in control it is the map from measurements or neighboring estimates to corrected internal state. Second, exactness is characterized by a closure condition: $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$8-flatness for spacetime reconstruction, $$T_oO=(\text{boost vectors})\oplus(\text{spatial vectors})\oplus(\text{temporal vectors}).$$9 for observer-based realizations, $\alpha(v)=g(p(v),\pi_*v),$0-saturation for observer-relative language classes, and invariant co-distributions in the affine nonlinear case (Gielen et al., 2012, Cheng et al., 2024, Buono, 25 Jun 2026).

The controversies are equally consistent. No paper surveyed here produces a universally accepted, observer-free master formalism. The semiclassical-gravity literature explicitly states that there is “spirited debate” about observer rules and treats the observer sector as a source of both nontriviality and ambiguity in closed-universe Hilbert spaces (McBride, 31 Mar 2026). The quantum-measurement literature avoids consciousness as a dynamical variable, but one paper makes an extra assumption that all physically relevant knowledge is stored in material records, and another introduces speculative constructs such as a superposed “mental state” and quantum decision trees (Sokolovski, 2020, Xin et al., 2022). In control and realization theory, the gaps are technical rather than philosophical: BMI synthesis is nonconvex, global convergence is not established in full generality for rational and polynomial observers, and high-order discrete-event observers can be combinatorially large (Ferrante et al., 2021, Nemcova et al., 2016, Zhang et al., 2024).

Open problems are stated explicitly in several domains. Observer-space gravity leaves matter coupling undeveloped and asks how horizons, Lorentz-violating theories, lightlike observers, and relative-locality or Finsler-type constructions should be formulated directly on observer space (Gielen et al., 2012). Semiclassical-gravity work leaves unresolved whether the observer Hilbert space should be $\alpha(v)=g(p(v),\pi_*v),$1, whether the observer is inserted by hand or emerges from bulk degrees of freedom, and how observer-dependent and observer-free descriptions should be related (McBride, 31 Mar 2026). Computational observer theory opens questions about adaptive observers, partial invariant violations $\alpha(v)=g(p(v),\pi_*v),$2, and the interface between formal observation maps and thermodynamic, quantum, or cosmological information bounds (Buono, 25 Jun 2026).

The resulting picture is not a single theory of observers. It is a family of mathematically precise reparameterizations of physical, computational, and inferential structure by what is observable, stable, or reconstructible from a designated observational channel. In that sense, observer rules function less as a metaphysics of subjectivity than as a technical language for when and how objectivity is recovered from observer-indexed data.