Observer Equivariance — Overview and Research Programme

Observer Equivariance (OE) is a research programme for studying how physical laws and objective structure can remain shared across different observer-dependent descriptions.

Its guiding idea is that physical objectivity should not be understood simply as the absence of perspective. Instead, objectivity is sought in what remains invariant—or can be coherently transported—when one admissible perspective is replaced by another.

What must be shared between different perspectives for us to speak of the same physical law?

The central idea

Modern physics contains many forms of perspective-dependent description. Different observers may use different reference frames, coordinate systems, gauges, local charts, representations or measurement contexts. Their descriptions need not look the same, but they must be related in a lawful and coherent way if they are to describe the same physics.

An invariant quantity remains unchanged under a transformation. Equivariance is more general: an object may change when the perspective changes, but it changes according to a specified transformation rule that preserves the relevant structure. Observer Equivariance uses this broader idea to study how physical content can be transported between perspectives without being lost.

The observer in this framework need not be a conscious person. Depending on the physical context, an observer may represent a reference frame, a choice of coordinates, a gauge, a representation, a local description or an operational standpoint.

From perspective to shared structure

The framework distinguishes between observer-dependent presentations and the structure that can be shared between them. Schematically, it contains:

a collection of observer-dependent descriptions;
a shared structural level to which those descriptions refer;
admissible transformations between perspectives;
rules for transporting physical content along those transformations;
coherence conditions ensuring that different routes of transport remain compatible.

From this point of view, objectivity is neither a privileged description nor a view from nowhere. It is the structure that survives, or descends, when the differences between admissible presentations are taken into account.

Examples from physics

Several familiar structures in physics motivate this way of thinking:

Relativity: observers in different states of motion measure different lengths and times, while Lorentz transformations relate their measurements and preserve the spacetime interval.
Gauge theory: different gauge choices give different local descriptions while preserving gauge-invariant physical content.
Quantum theory: states and observables may be expressed in different representations, and measurement outcomes are defined relative to specified experimental contexts.
Local-to-global physics: local descriptions may agree where they overlap without automatically determining a unique global description.

These examples do not all instantiate exactly the same mathematical structure. Their role is to exhibit a recurring problem: how can different descriptions be genuinely different while still belonging to one coherent physical account?

What the programme does—and does not—claim

Observer Equivariance is not the claim that every physical symmetry follows automatically from the mere existence of observers. Nor does symmetry by itself uniquely determine a complete physical theory or its dynamics.

The more limited claim is that shared physical law imposes transformation and coherence requirements. Once the relevant perspectives, admissible transformations and transport rules have been specified, the law must behave consistently under them. Symmetry can therefore constrain the space of possible laws, sometimes very strongly, without necessarily selecting a unique law.

The mathematical results in the programme are conditional results: they establish what follows from explicitly stated structural assumptions. Whether those assumptions provide the correct model for a particular physical theory remains a separate physical question.

Mathematical development

The formal development uses ideas from category theory, group theory, geometry, representation theory and the theory of fibre bundles. Observer-dependent presentations are modelled over a shared structural base, while transformations of perspective act on the resulting system.

Under explicit normalized hypotheses, the formal core studies how symmetries of the shared structure lift to the observer-dependent level. It classifies the residual ambiguity between such lifts and produces an exact-sequence description. A twisted form allows the symmetry of the base to act nontrivially on the fibre structure, leading to a semidirect-product description.

Central categorical results have been formalized in Lean 4 using mathlib. The formal verification checks that the stated conclusions follow from the encoded assumptions. It does not by itself establish that those assumptions describe nature, and it does not formalize the physical examples or the philosophical interpretation.

Start here: introductions in English

Objectivity Between Perspectives
An accessible introduction beginning with Lorentz transformations and the meaning of objectivity.
Observer-Equivariance: Objectivity as Invariance Under Perspective Change
A broader overview of the framework, its philosophical motivation and its relation to physics.
Observer Equivariance and the Residue of Physics
A mathematical analogy illustrating how invariant structure may remain when local descriptions change.

Introduktioner på svenska

Det objektiva mellan perspektiv
En introduktion till relationell objektivitet med utgångspunkt i relativitetsteorin och kvantmätningen.
Observatörsekvivalens i praktiken
En konkret introduktion med exempel från klassisk mekanik, relativitetsteori och kvantmekanik.
Från perspektiv till struktur
Fyra exempel på hur något kan vara perspektivberoende utan att vara godtyckligt.

Research papers

The Mathematical Structure of Shared Physical Law: A Lean-Verified Normal Form for Observer Equivariance
The categorical core of the programme, including the normal-form model, lift classification, exact sequence and twisted semidirect-product structure. Also available through Zenodo.
Observer Equivariance as an Interpretation of Quantum Theory
An exploration of how the principle may organize questions concerning quantum states, probability, symmetry and measurement.
Translational Invariance and Spectral Objectivity
A study of translation symmetry, Plancherel–Parseval structure and uncertainty as a restricted model of observer equivariance.

Lean formalization

Observer Equivariance Lean repository on GitHub
Source code, documentation and current development.
Versioned archive of the Lean repository on Zenodo
A persistent archival snapshot associated with the current categorical paper.

Current directions

The programme remains under development. Current directions include:

the classification of symmetry groups associated with shared relational structure;
the study of invariant law spaces and the extent to which symmetry constrains physical equations;
applications to relativity, gauge theory, quantum theory and quantum field theory;
the distinction between reversible transport, dynamical propagation and genuinely irreversible processes;
local-to-global reconstruction, descent and possible obstructions;
the boundary between publicly shareable physical structure and aspects of experience that may not descend to that structure.

The aim is not to replace established physical theories with a single philosophical principle. It is to make explicit a structural requirement already present throughout physics: different perspectives must be capable of describing one shared physical world without their differences being erased.

This page will be updated as the research programme develops.

Leta i den här bloggen

Gustaf Ullman — Perspectives on Physics and Philosophy