pith. sign in

arxiv: 2605.22260 · v1 · pith:BITHCRPJnew · submitted 2026-05-21 · ⚛️ physics.hist-ph · gr-qc

The Limitations of the Notion of `Observable' in Diffeomorphism-Invariant Models

Pith reviewed 2026-05-22 01:58 UTC · model grok-4.3

classification ⚛️ physics.hist-ph gr-qc
keywords diffeomorphism invariancegauge symmetryobservablesgeneral relativitycorrelationsgauge transformationsquantum gravity
0
0 comments X

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.

The paper separates gauge transformations into local and global senses. Observables appear naturally only in the local sense. Diffeomorphism invariance fits the global sense of gauge symmetry. Therefore the observable notion applies only restrictively, leaving claims that correlations encode all physical content without support.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2605.22260 by \'Alvaro Mozota Frauca.

Figure 1
Figure 1. Figure 1: Configuration space trajectories of two harmonic oscillators [PITH_FULL_IMAGE:figures/full_fig_p020_1.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. 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.
  2. 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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that the local/global gauge distinction is the appropriate lens for assessing observables in diffeomorphism-invariant theories; no free parameters or invented entities are introduced.

axioms (1)
  • domain assumption The distinction between local and global gauge transformations is valid and determines the applicability of the observable concept.
    This premise is invoked when the abstract separates the two senses of gauge transformation and concludes that diffeomorphism invariance is only global.

pith-pipeline@v0.9.0 · 5658 in / 1213 out tokens · 46922 ms · 2026-05-22T01:58:07.829640+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

88 extracted references · 88 canonical work pages · 1 internal anchor

  1. [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. [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. [3]

    Space and

    Rovelli, Carlo , month = feb, year =. Space and

  4. [4]

    Brian , year =

    Pitts, J. Brian , year =. Change in. doi:10.1016/j.shpsb.2014.05.007 , journal =

  5. [5]

    Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics , author =

    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. [6]

    Philosophers' Imprint , author =

    Thoroughly. Philosophers' Imprint , author =. 2002 , pages =

  7. [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. [8]

    , editor =

    Kuchař, Karel V. , editor =. Time and interpretations of quantum gravity , doi =. Proceedings of the 4th. 1992 , note =

  9. [9]

    Physical Review D , author =

    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. [10]

    Physical Review D , author =

    Construction of quantum. Physical Review D , author =. 2020 , note =. doi:10.1103/PhysRevD.101.086001 , abstract =

  11. [11]

    Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics , author =

    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. [12]

    Physical Review D , author =

    Relational observables, reference frames, and conditional probabilities , volume =. Physical Review D , author =. 2021 , note =. doi:10.1103/PhysRevD.103.026013 , abstract =

  13. [13]

    and Koslowski, Tim A

    Dittrich, Bianca and Hoehn, Philipp A. and Koslowski, Tim A. and Nelson, Mike I. , month = aug, year =. Chaos,

  14. [14]

    Physical Review , author =

    Quantum. Physical Review , author =. 1967 , note =. doi:10.1103/PhysRev.160.1113 , abstract =

  15. [15]

    , editor =

    Kuchař, Karel V. , editor =. The problem of time in canonical quantization of relativistic systems , url =. Conceptual. 1991 , pages =

  16. [16]

    The Journal of Philosophy , author =

    The. The Journal of Philosophy , author =. 1996 , note =. doi:10.2307/2941016 , abstract =

  17. [17]

    Physical Review D , author =

    Issue of time in generally covariant theories and the. Physical Review D , author =. 2005 , note =. doi:10.1103/PhysRevD.71.124012 , number =

  18. [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. [19]

    Brian , month = dec, year =

    Pitts, J. Brian , month = dec, year =. First-. doi:10.48550/arxiv.2212.02944 , abstract =

  20. [20]

    Quantization of

    Henneaux, Marc and Teitelboim, Claudio , month = jan, year =. Quantization of. doi:10.1515/9780691213866 , file =

  21. [21]

    Healey, Richard , month = sep, year =. Gauging

  22. [22]

    Studies in History and Philosophy of Science Part B - Studies in History and Philosophy of Modern Physics , author =

    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. [23]

    Annals of Physics , author =

    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. [24]

    already parametrized

    Is general relativity an "already parametrized" theory? , volume =. Physical Review D , author =. 1992 , note =. doi:10.1103/PhysRevD.46.R3231 , abstract =

  25. [25]

    Physical Review D , author =

    Quantum evolving constants. Physical Review D , author =. 1991 , note =. doi:10.1103/PhysRevD.44.1339 , abstract =

  26. [26]

    Physical Review , author =

    Quantum theory of gravity. Physical Review , author =. 1967 , note =. doi:10.1103/PhysRev.162.1195 , abstract =

  27. [27]

    , month = apr, year =

    Kuchař, Karel V. , month = apr, year =. Canonical

  28. [28]

    Evolving

    Anderson, Arlen , month = jul, year =. Evolving

  29. [29]

    Belot, Gordon and Earman, John , month = jan, year =. Pre-. Physics. doi:10.1017/cbo9780511612909.011 , pages =

  30. [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. [31]

    Synthese , author =

    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. [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. [33]

    Rovelli, Carlo , year =. Quantum

  34. [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. [35]

    Covariant loop quantum gravity:

    Rovelli, Carlo and Vidotto, Francesca , month = jan, year =. Covariant loop quantum gravity:. doi:10.1017/CBO9781107706910 , annote =

  36. [36]

    Foundations of Physics , author =

    ". Foundations of Physics , author =. 2011 , keywords =. doi:10.1007/s10701-011-9561-4 , abstract =

  37. [37]

    Observables in quantum gravity , url =

    Perez, Alejandro and Rovelli, Carlo , month = apr, year =. Observables in quantum gravity , url =

  38. [38]

    Physical Review D , author =

    Jacobi’s principle and the disappearance of time , volume =. Physical Review D , author =. 2010 , pages =. doi:10.1103/PhysRevD.81.044035 , abstract =

  39. [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. [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. [41]

    Physical Review D , author =

    Evolution without evolution:. Physical Review D , author =. 1983 , note =. doi:10.1103/PhysRevD.27.2885 , abstract =

  42. [42]

    Frontiers in Physics , author =

    Equivalence of. Frontiers in Physics , author =. 2021 , note =. doi:10.3389/fphy.2021.587083 , abstract =

  43. [43]

    Mozota Frauca, Alvaro , editor =. The. Current

  44. [44]

    2024 , keywords =

    European Journal for Philosophy of Science , author =. 2024 , keywords =. doi:10.1007/s13194-024-00611-7 , abstract =

  45. [45]

    Mozota Frauca, Alvaro , editor =. Time is. Time and. 2024 , doi =

  46. [46]

    Foundations of Physics , author =

    Foundational. Foundations of Physics , author =. 2024 , keywords =. doi:10.1007/s10701-024-00763-9 , abstract =

  47. [47]

    Philosophy of Physics , author =

    In. Philosophy of Physics , author =. doi:10.31389/pop.48 , abstract =

  48. [48]

    Annals of Physics , author =

    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. [49]

    Background

    Pooley, Oliver , editor =. Background. Towards a. 2017 , doi =

  50. [50]

    Foundations of Physics , author =

    The. Foundations of Physics , author =. 2012 , note =. doi:10.1007/S10701-012-9665-5/FIGURES/2 , abstract =

  51. [51]

    Classical and Quantum Gravity , author =

    Bouncing unitary cosmology. Classical and Quantum Gravity , author =. 2019 , note =. doi:10.1088/1361-6382/AAF823 , abstract =

  52. [52]

    Physical Review D , author =

    Quantum mechanics without time:. Physical Review D , author =. 1990 , note =. doi:10.1103/PhysRevD.42.2638 , abstract =

  53. [53]

    Anderson, Edward , year =. The. doi:10.1007/978-3-319-58848-3 , note =

  54. [54]

    , year =

    Isham, Chris J. , year =. Canonical. Integrable. doi:10.1007/978-94-011-1980-1_6 , note =

  55. [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. [56]

    Foundations of Physics , author =

    Equivalent. Foundations of Physics , author =. 2018 , note =. doi:10.1007/s10701-018-0148-1 , abstract =

  57. [57]

    Physical Review D , author =

    Trinity of relational quantum dynamics , volume =. Physical Review D , author =. 2021 , note =. doi:10.1103/PHYSREVD.104.066001/FIGURES/6/MEDIUM , abstract =

  58. [58]

    Physical Review D , author =

    Time in quantum gravity:. Physical Review D , author =. 1991 , note =. doi:10.1103/PhysRevD.43.442 , abstract =

  59. [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. [60]

    Classical and

    Rothe, Heinz J and Rothe, Klaus D , month = apr, year =. Classical and. doi:10.1142/7689 , note =

  61. [61]

    Dirac, Paul A. M. , year =. Lectures on

  62. [62]

    Classical and Quantum Gravity , author =

    Equivalent theories redefine. Classical and Quantum Gravity , author =. 2017 , note =. doi:10.1088/1361-6382/aa5ce8 , abstract =

  63. [63]

    Annals of Physics , author =

    Gauge generators,. Annals of Physics , author =. 1988 , pages =. doi:10.1016/0003-4916(88)90153-4 , abstract =

  64. [64]

    Timeless

    Chataignier, Leonardo , year =. Timeless. doi:10.1007/978-3-030-94448-3 , note =

  65. [65]

    and Lock, Maximilian P

    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. [66]

    Physics Letters B , author =

    Can chaos be observed in quantum gravity? , volume =. Physics Letters B , author =. 2017 , pages =. doi:10.1016/j.physletb.2017.02.038 , abstract =

  67. [67]

    Foundations of Physics , author =

    Against. Foundations of Physics , author =. 2025 , keywords =. doi:10.1007/s10701-025-00850-5 , abstract =

  68. [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. [69]

    Substantive

    Pooley, Oliver , editor =. Substantive. 2010 , doi =

  70. [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. [71]

    Philosophy of Science , author =

    Understanding. Philosophy of Science , author =. 2016 , pages =. doi:10.1086/687936 , abstract =

  72. [72]

    Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics , author =

    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. [73]

    Chapter 7

    Rickles, Dean , editor =. Chapter 7. Philosophy and. 2008 , doi =

  74. [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. [75]

    Physical Review D , author =

    Time and the interpretation of canonical quantum gravity , volume =. Physical Review D , author =. 1989 , pages =. doi:10.1103/PhysRevD.40.2598 , abstract =

  76. [76]

    2002 , pages =

    Physical Review D , author =. 2002 , pages =. doi:10.1103/PhysRevD.65.044017 , abstract =

  77. [77]

    Physical Review D , author =

    Partial observables , volume =. Physical Review D , author =. 2002 , pages =. doi:10.1103/PhysRevD.65.124013 , abstract =

  78. [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. [79]

    Reviews of Modern Physics , author =

    Observables in. Reviews of Modern Physics , author =. 1961 , pages =. doi:10.1103/RevModPhys.33.510 , number =

  80. [80]

    The Philosophy of Cosmology , author =

    Relational. The Philosophy of Cosmology , author =. 2017 , pages =. doi:10.1017/9781316535783.016 , abstract =

Showing first 80 references.