The Limitations of the Notion of `Observable' in Diffeomorphism-Invariant Models
Pith reviewed 2026-05-22 01:58 UTC · model grok-4.3
The pith
Diffeomorphism invariance is a gauge symmetry only globally, restricting the observable concept in theories like general relativity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Diffeomorphism invariance can be understood as a gauge symmetry only from a global point of view, and hence that the concept of observable applies only in a restricted manner. This has the consequence that some popular claims in the literature, such as the claim that the physical content of diffeomorphism-invariant models is encoded in correlations, are unfounded.
What carries the argument
The distinction between local and global senses of gauge transformation, which determines where the observable concept applies naturally.
If this is right
- The standard notion of observable has only restricted applicability in diffeomorphism-invariant models.
- Claims that physical content is encoded in correlations between quantities are unfounded.
- Interpretations of classical and quantum versions of these theories must respect this limitation on observables.
- Approaches to quantizing general relativity that rely on unrestricted observables require adjustment.
Where Pith is reading between the lines
- The local-global distinction might prompt similar scrutiny of observables in other background-independent physical theories.
- It suggests adapting gauge-theory tools when symmetries are global rather than local.
- Specific models such as certain cosmological spacetimes could be checked to see whether local observables emerge under this view.
- This framing may shift how the problem of defining physical quantities is approached in quantum gravity.
Load-bearing premise
The local versus global distinction for gauge transformations is the decisive factor for when the observable concept applies, and diffeomorphisms count exclusively as the global kind.
What would settle it
A consistent treatment of diffeomorphisms as local gauge transformations that permits definition of standard observables capturing the full physical content.
Figures
read the original abstract
The application of the notion of `observable' from gauge theory to diffeomorphism-invariant theories -- most relevantly to general relativity -- has led to numerous conceptual and technical issues when interpreting classical theories with this symmetry and building quantum versions of them. In this article I distinguish between two senses of gauge transformation: local and global, and I argue that the notion of observable appears more naturally in the local sense of gauge transformation. Then, I argue that diffeomorphism invariance can be understood as a gauge symmetry only from a global point of view, and hence, that the concept of observable applies only in a restricted manner. This has the consequence that some popular claims in the literature, such as the claim that the physical content of diffeomorphism-invariant models is encoded in correlations, are unfounded.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper distinguishes two senses of gauge transformation—local and global—and argues that the notion of observable applies naturally only in the local sense. It claims that diffeomorphism invariance can be understood as a gauge symmetry only from a global point of view, with the consequence that the concept of observable applies only in a restricted manner and that popular claims (such as the physical content of diffeomorphism-invariant models being encoded in correlations) are unfounded.
Significance. If the local/global distinction and the classification of diffeomorphisms hold, the paper would provide a novel philosophical framework for interpreting gauge symmetries in general relativity and related models. This could prompt reevaluation of standard treatments of Dirac observables and relationalism in the foundations of quantum gravity, while highlighting limitations in applying gauge-theoretic notions of observability to diffeomorphism-invariant theories.
major comments (2)
- [Section on local vs. global gauge transformations] The section introducing the local/global distinction for gauge transformations: the claim that observables appear more naturally in the local sense is presented as following from the distinction itself, but the manuscript does not derive this from the standard definition of observables as quantities invariant under the full gauge group action (as in constrained Hamiltonian systems). Without addressing why the split is the sole relevant criterion, the subsequent restriction on observables remains framework-dependent rather than derived.
- [Argument on diffeomorphism invariance as global gauge] The argument classifying diffeomorphism invariance as gauge only globally: the manuscript asserts that diffeomorphisms correspond exclusively to the global sense, yet standard treatments treat diffeomorphisms as local (position-dependent) symmetries whose action is not restricted to a global viewpoint. This classification appears stipulative rather than derived from the transformation properties, undermining the conclusion that the observable concept applies only restrictedly and that correlation-based claims are unfounded.
minor comments (2)
- Add explicit comparison to Dirac's definition of observables and to standard references on gauge symmetries in GR to clarify how the proposed distinction departs from or extends existing literature.
- Provide concrete examples (e.g., from electromagnetism or Yang-Mills) when defining 'local' and 'global' to improve accessibility and precision of the central distinction.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. The comments identify areas where the derivations of our claims could be made more explicit in relation to standard definitions in gauge theory and constrained systems. We address each major comment below and indicate the revisions that will be incorporated to strengthen the manuscript while preserving its central arguments.
read point-by-point responses
-
Referee: [Section on local vs. global gauge transformations] The section introducing the local/global distinction for gauge transformations: the claim that observables appear more naturally in the local sense is presented as following from the distinction itself, but the manuscript does not derive this from the standard definition of observables as quantities invariant under the full gauge group action (as in constrained Hamiltonian systems). Without addressing why the split is the sole relevant criterion, the subsequent restriction on observables remains framework-dependent rather than derived.
Authors: We acknowledge that an explicit link to the standard definition of observables as quantities invariant under the full gauge group would strengthen the argument. The manuscript motivates the naturalness of observables in the local sense by noting that local gauge transformations permit the identification of invariants that remain well-defined under position-dependent changes without requiring simultaneous invariance under non-local transformations. In the revised manuscript we will add a new paragraph in the relevant section that derives this directly from the requirement of invariance under the complete gauge group action, as in the Dirac procedure. We will show that the local/global split is the operative criterion because only in the local case can one construct quantities that are invariant under the full group while still allowing for a non-trivial notion of locality; this is not merely framework-dependent but follows from the structure of the gauge action itself. revision: yes
-
Referee: [Argument on diffeomorphism invariance as global gauge] The argument classifying diffeomorphism invariance as gauge only globally: the manuscript asserts that diffeomorphisms correspond exclusively to the global sense, yet standard treatments treat diffeomorphisms as local (position-dependent) symmetries whose action is not restricted to a global viewpoint. This classification appears stipulative rather than derived from the transformation properties, undermining the conclusion that the observable concept applies only restrictedly and that correlation-based claims are unfounded.
Authors: The classification is derived from the transformation properties rather than stipulated. Diffeomorphisms act as automorphisms of the entire manifold and, unlike internal gauge transformations with compact support, cannot be varied independently over arbitrary disjoint regions without altering the global geometry. Although standard treatments emphasize their spacetime dependence, our distinction isolates the global character by focusing on whether the transformation can be localized while preserving the background-independent structure. We will expand the relevant section with additional references to the literature on background independence to make this derivation clearer. This supports the restricted applicability of the observable concept and the assessment that correlation-based accounts presuppose a local gauge interpretation that does not hold here. revision: partial
Circularity Check
No significant circularity; conceptual framework is self-contained
full rationale
The paper presents a philosophical distinction between local and global senses of gauge transformations, then classifies diffeomorphism invariance as applying only in the global sense to restrict the observable concept. This is an analytical premise introduced for the argument rather than a result derived from or reducing to any equations, fitted parameters, or self-citations by construction. No load-bearing steps equate outputs to inputs via definition or renaming; the dismissal of correlation-based claims follows directly from the proposed framework without circular reduction. The derivation is self-contained as interpretive analysis against standard treatments.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The distinction between local and global gauge transformations is valid and determines the applicability of the observable concept.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
diffeomorphism invariance can be understood as a gauge symmetry only from a global point of view, and hence, that the concept of observable applies only in a restricted manner
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the claim that the physical content of diffeomorphism-invariant models is encoded in correlations
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Journal for General Philosophy of Science , author =
Does. Journal for General Philosophy of Science , author =. 2026 , keywords =. doi:10.1007/s10838-025-09754-4 , abstract =
-
[2]
British Journal for the Philosophy of Science , author =
Time remains , volume =. British Journal for the Philosophy of Science , author =. 2016 , pages =. doi:10.1093/bjps/axv009 , abstract =
- [3]
-
[4]
Pitts, J. Brian , year =. Change in. doi:10.1016/j.shpsb.2014.05.007 , journal =
-
[5]
Three denials of time in the interpretation of canonical gravity , volume =. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics , author =. 2012 , note =. doi:10.1016/J.SHPSB.2012.09.001 , abstract =
-
[6]
Philosophers' Imprint , author =
Thoroughly. Philosophers' Imprint , author =. 2002 , pages =
work page 2002
-
[7]
Classical and Quantum Gravity , author =
The timelessness of quantum gravity:. Classical and Quantum Gravity , author =. 1994 , note =. doi:10.1088/0264-9381/11/12/005 , abstract =
-
[8]
Kuchař, Karel V. , editor =. Time and interpretations of quantum gravity , doi =. Proceedings of the 4th. 1992 , note =
work page 1992
-
[9]
Dust as a standard of space and time in canonical quantum gravity , volume =. Physical Review D , author =. 1995 , note =. doi:10.1103/PhysRevD.51.5600 , abstract =
-
[10]
Construction of quantum. Physical Review D , author =. 2020 , note =. doi:10.1103/PhysRevD.101.086001 , abstract =
-
[11]
Some. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics , author =. 2020 , note =. doi:10.1016/J.SHPSB.2020.02.002 , abstract =
-
[12]
Relational observables, reference frames, and conditional probabilities , volume =. Physical Review D , author =. 2021 , note =. doi:10.1103/PhysRevD.103.026013 , abstract =
-
[13]
Dittrich, Bianca and Hoehn, Philipp A. and Koslowski, Tim A. and Nelson, Mike I. , month = aug, year =. Chaos,
-
[14]
Quantum. Physical Review , author =. 1967 , note =. doi:10.1103/PhysRev.160.1113 , abstract =
-
[15]
Kuchař, Karel V. , editor =. The problem of time in canonical quantization of relativistic systems , url =. Conceptual. 1991 , pages =
work page 1991
-
[16]
The Journal of Philosophy , author =
The. The Journal of Philosophy , author =. 1996 , note =. doi:10.2307/2941016 , abstract =
-
[17]
Issue of time in generally covariant theories and the. Physical Review D , author =. 2005 , note =. doi:10.1103/PhysRevD.71.124012 , number =
-
[18]
First-class constraints generate gauge transformations in elec- tromagnetism (reply to Pitts),
Pooley, Oliver and Wallace, David , month = oct, year =. First-class constraints generate gauge transformations in electromagnetism (reply to. doi:10.48550/arxiv.2210.09063 , abstract =
-
[19]
Pitts, J. Brian , month = dec, year =. First-. doi:10.48550/arxiv.2212.02944 , abstract =
-
[20]
Henneaux, Marc and Teitelboim, Claudio , month = jan, year =. Quantization of. doi:10.1515/9780691213866 , file =
-
[21]
Healey, Richard , month = sep, year =. Gauging
-
[22]
On. Studies in History and Philosophy of Science Part B - Studies in History and Philosophy of Modern Physics , author =. 2005 , note =. doi:10.1016/j.shpsb.2005.04.004 , abstract =
-
[23]
A first class constraint generates not a gauge transformation, but a bad physical change:. Annals of Physics , author =. 2014 , note =. doi:10.1016/j.aop.2014.08.014 , abstract =
-
[24]
Is general relativity an "already parametrized" theory? , volume =. Physical Review D , author =. 1992 , note =. doi:10.1103/PhysRevD.46.R3231 , abstract =
-
[25]
Quantum evolving constants. Physical Review D , author =. 1991 , note =. doi:10.1103/PhysRevD.44.1339 , abstract =
-
[26]
Quantum theory of gravity. Physical Review , author =. 1967 , note =. doi:10.1103/PhysRev.162.1195 , abstract =
- [27]
- [28]
-
[29]
Belot, Gordon and Earman, John , month = jan, year =. Pre-. Physics. doi:10.1017/cbo9780511612909.011 , pages =
-
[30]
Philosophy and Foundations of Physics , author =
The. Philosophy and Foundations of Physics , author =. 2006 , pages =. doi:10.1016/S1871-1774(06)01001-1 , abstract =
-
[31]
Change without change, and how to observe it in general relativity , volume =. Synthese , author =. 2004 , pages =. doi:10.1023/b:synt.0000045127.04908.1a , abstract =
-
[32]
Scale-Free Networks: Complex Webs in Nature and Technology
Rickles, Dean , month = nov, year =. Time and. The. doi:10.1093/acprof:oso/9780199269693.003.0006 , keywords =
-
[33]
Rovelli, Carlo , year =. Quantum
-
[34]
Journal of Physics: Conference Series , author =
Observables in classical canonical gravity:. Journal of Physics: Conference Series , author =. 2010 , pages =. doi:10.1088/1742-6596/222/1/012018 , abstract =
-
[35]
Covariant loop quantum gravity:
Rovelli, Carlo and Vidotto, Francesca , month = jan, year =. Covariant loop quantum gravity:. doi:10.1017/CBO9781107706910 , annote =
-
[36]
Foundations of Physics , author =
". Foundations of Physics , author =. 2011 , keywords =. doi:10.1007/s10701-011-9561-4 , abstract =
-
[37]
Observables in quantum gravity , url =
Perez, Alejandro and Rovelli, Carlo , month = apr, year =. Observables in quantum gravity , url =
-
[38]
Jacobi’s principle and the disappearance of time , volume =. Physical Review D , author =. 2010 , pages =. doi:10.1103/PhysRevD.81.044035 , abstract =
-
[39]
Foundations of Physics 2014 44:3 , author =
Symmetry and. Foundations of Physics 2014 44:3 , author =. 2014 , keywords =. doi:10.1007/S10701-014-9789-X , abstract =
-
[40]
Physical Review D - Particles, Fields, Gravitation and Cosmology , author =
Simple background-independent. Physical Review D - Particles, Fields, Gravitation and Cosmology , author =. 2003 , annote =. doi:10.1103/PhysRevD.68.104008 , abstract =
-
[41]
Evolution without evolution:. Physical Review D , author =. 1983 , note =. doi:10.1103/PhysRevD.27.2885 , abstract =
-
[42]
Frontiers in Physics , author =
Equivalence of. Frontiers in Physics , author =. 2021 , note =. doi:10.3389/fphy.2021.587083 , abstract =
-
[43]
Mozota Frauca, Alvaro , editor =. The. Current
-
[44]
European Journal for Philosophy of Science , author =. 2024 , keywords =. doi:10.1007/s13194-024-00611-7 , abstract =
-
[45]
Mozota Frauca, Alvaro , editor =. Time is. Time and. 2024 , doi =
work page 2024
-
[46]
Foundations of Physics , author =
Foundational. Foundations of Physics , author =. 2024 , keywords =. doi:10.1007/s10701-024-00763-9 , abstract =
-
[47]
Philosophy of Physics , author =
In. Philosophy of Physics , author =. doi:10.31389/pop.48 , abstract =
-
[48]
Does a second-class primary constraint generate a gauge transformation?. Annals of Physics , author =. 2024 , keywords =. doi:10.1016/j.aop.2024.169621 , abstract =
- [49]
-
[50]
Foundations of Physics , author =
The. Foundations of Physics , author =. 2012 , note =. doi:10.1007/S10701-012-9665-5/FIGURES/2 , abstract =
-
[51]
Classical and Quantum Gravity , author =
Bouncing unitary cosmology. Classical and Quantum Gravity , author =. 2019 , note =. doi:10.1088/1361-6382/AAF823 , abstract =
-
[52]
Quantum mechanics without time:. Physical Review D , author =. 1990 , note =. doi:10.1103/PhysRevD.42.2638 , abstract =
-
[53]
Anderson, Edward , year =. The. doi:10.1007/978-3-319-58848-3 , note =
-
[54]
Isham, Chris J. , year =. Canonical. Integrable. doi:10.1007/978-94-011-1980-1_6 , note =
-
[55]
General Relativity and Gravitation , author =
Reassessing the problem of time of quantum gravity , volume =. General Relativity and Gravitation , author =. 2023 , note =. doi:10.1007/s10714-023-03067-x , abstract =
-
[56]
Foundations of Physics , author =
Equivalent. Foundations of Physics , author =. 2018 , note =. doi:10.1007/s10701-018-0148-1 , abstract =
-
[57]
Trinity of relational quantum dynamics , volume =. Physical Review D , author =. 2021 , note =. doi:10.1103/PHYSREVD.104.066001/FIGURES/6/MEDIUM , abstract =
work page doi:10.1103/physrevd.104.066001/figures/6/medium 2021
-
[58]
Time in quantum gravity:. Physical Review D , author =. 1991 , note =. doi:10.1103/PhysRevD.43.442 , abstract =
-
[59]
Classical and Quantum Gravity , author =
Schrödinger. Classical and Quantum Gravity , author =. 2016 , note =. doi:10.1088/0264-9381/33/6/065004 , abstract =
-
[60]
Rothe, Heinz J and Rothe, Klaus D , month = apr, year =. Classical and. doi:10.1142/7689 , note =
-
[61]
Dirac, Paul A. M. , year =. Lectures on
-
[62]
Classical and Quantum Gravity , author =
Equivalent theories redefine. Classical and Quantum Gravity , author =. 2017 , note =. doi:10.1088/1361-6382/aa5ce8 , abstract =
-
[63]
Gauge generators,. Annals of Physics , author =. 1988 , pages =. doi:10.1016/0003-4916(88)90153-4 , abstract =
-
[64]
Chataignier, Leonardo , year =. Timeless. doi:10.1007/978-3-030-94448-3 , note =
-
[65]
Chataignier, Leonardo and Hoehn, Philipp A. and Lock, Maximilian P. E. and Mele, Fabio M. , month = sep, year =. Relational. doi:10.48550/arXiv.2409.06479 , abstract =
-
[66]
Can chaos be observed in quantum gravity? , volume =. Physics Letters B , author =. 2017 , pages =. doi:10.1016/j.physletb.2017.02.038 , abstract =
-
[67]
Foundations of Physics , author =
Against. Foundations of Physics , author =. 2025 , keywords =. doi:10.1007/s10701-025-00850-5 , abstract =
-
[68]
Journal of Physics: Conference Series , author =
Quantum. Journal of Physics: Conference Series , author =. 2025 , note =. doi:10.1088/1742-6596/2948/1/012008 , abstract =
- [69]
-
[70]
and Pooley, Oliver and Read, James , editor =
Norton, John D. and Pooley, Oliver and Read, James , editor =. The. The Stanford Encyclopedia of Philosophy , publisher =
-
[71]
Philosophy of Science , author =
Understanding. Philosophy of Science , author =. 2016 , pages =. doi:10.1086/687936 , abstract =
-
[72]
A hole revolution, or are we back where we started? , volume =. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics , author =. 2006 , keywords =. doi:10.1016/j.shpsb.2005.11.003 , abstract =
- [73]
-
[74]
https://doi.org/10.1093/bjps/38.4.515 , author =
What. https://doi.org/10.1093/bjps/38.4.515 , author =. 1987 , pages =. doi:10.1093/BJPS/38.4.515 , number =
-
[75]
Time and the interpretation of canonical quantum gravity , volume =. Physical Review D , author =. 1989 , pages =. doi:10.1103/PhysRevD.40.2598 , abstract =
-
[76]
Physical Review D , author =. 2002 , pages =. doi:10.1103/PhysRevD.65.044017 , abstract =
-
[77]
Partial observables , volume =. Physical Review D , author =. 2002 , pages =. doi:10.1103/PhysRevD.65.124013 , abstract =
-
[78]
Classical and Quantum Gravity , author =
What is observable in classical and quantum gravity? , volume =. Classical and Quantum Gravity , author =. 1991 , pages =. doi:10.1088/0264-9381/8/2/011 , abstract =
-
[79]
Reviews of Modern Physics , author =
Observables in. Reviews of Modern Physics , author =. 1961 , pages =. doi:10.1103/RevModPhys.33.510 , number =
-
[80]
The Philosophy of Cosmology , author =
Relational. The Philosophy of Cosmology , author =. 2017 , pages =. doi:10.1017/9781316535783.016 , abstract =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.