[Paper Review] Empirical Equivalence, Artificial Gauge Freedom and a Generalized Kretschmann Objection

J. Brian Pitts|ArXiv.org|Nov 28, 2009

Quantum Mechanics and Applications190 references19 citations

TL;DR

This paper proposes that the presence or absence of non-redundant clock fields in a formally generally covariant theory serves as a principled criterion for distinguishing substantive from merely formal general covariance. By showing that artificial gauge freedom—achieved via a Lagrangian-friendly BFT-like procedure—can mimic parametrization and generate generalized Kretschmann objections, the paper provides a framework to analyze theory equivalence and underdetermination in relativistic physics.

ABSTRACT

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is "already parametrized" suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar "clock fields," much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry.

Motivation & Objective

• To resolve the philosophical puzzle of distinguishing substantive from formal general covariance in General Relativity.
• To address the Kretschmann objection that general covariance is merely a formal feature by identifying criteria for non-trivial, physically meaningful gauge freedom.
• To explore how artificial gauge freedom—via clock fields and modified BFT procedures—can clarify theory equivalence and empirical underdetermination.
• To provide a physically and philosophically coherent criterion for identifying theories with genuine general covariance, using the absence of clock fields as a key diagnostic.
• To unify insights from parametrized gravity, massive gauge theories, and constrained dynamics into a generalized framework for analyzing gauge symmetry and equivalence.

Proposed method

• Uses the concept of 'already parametrized' theories, where clock fields (scalar fields used to encode preferred coordinates) are absent in GTR but present in other formulations.
• Applies a modified Batalin-Fradkin-Tyutin (BFT) procedure to convert second-class constraints into first-class ones, preserving primary constraints and using non-BFT boundary conditions.
• Demonstrates that this generalized procedure generates artificial gauge freedom in massive theories (e.g., massive electromagnetism, massive GTR), analogous to Stueckelberg's formulation.
• Analyzes the resulting theories to show that artificial gauge freedom leads to algebraic gauge parameters and redundant field equations, distinguishing them from natural gauge symmetries.
• Compares the behavior of theories with artificial vs. natural gauge freedom: artificial ones can be locally gauge-fixed, while natural ones often lead to nonlocal formulations upon fixing.
• Applies the framework to massive GTR, showing that it mimics GTR’s general covariance without explicit clock fields, supporting the criterion of absence of clock fields as a sign of substantive general covariance.

Experimental results

Research questions

• RQ1 What distinguishes substantive general covariance from formal general covariance in a physically meaningful way?
• RQ2 Can artificial gauge freedom be systematically generated in theories with broken gauge symmetries, and how does it relate to parametrization and clock fields?
• RQ3 How does the presence or absence of clock fields correlate with the physical content of general covariance in relativistic field theories?
• RQ4 In what ways can artificial gauge freedom be used to formulate generalized Kretschmann objections, and can such objections be resolved by identifying principled differences between artificial and natural gauge symmetries?
• RQ5 What criteria can distinguish artificial gauge freedom (e.g., in Stueckelberg or massive GTR) from natural gauge freedom (e.g., in massless Yang-Mills or electromagnetism) in terms of field equations and gauge-fixing behavior?

Key findings

• The absence of non-redundant clock fields in a formally generally covariant theory correctly identifies it as substantively generally covariant, offering a principled alternative to variational or absolute object criteria.
• Artificial gauge freedom can be systematically generated via a Lagrangian-friendly modification of the BFT procedure, which preserves primary constraints and avoids the need for full BFT canonical transformation.
• The Stueckelberg formulation of massive electromagnetism arises naturally from this generalized procedure when applied to Proca’s theory, demonstrating its utility in known physical cases.
• Massive GTR, when formulated with artificial gauge freedom, reproduces the general covariance of standard GTR without explicit clock fields, confirming the criterion’s consistency with paradigmatic cases.
• Theories with artificial gauge freedom exhibit algebraic gauge parameters and redundant field equations, whereas natural gauge symmetries often lead to nonlocal formulations upon gauge fixing, suggesting a physical distinction.
• Artificial gauge freedom provides a mechanism to generate generalized Kretschmann objections—claiming that gauge symmetries are merely formal—while also offering tools to resolve them through structural differences in field content and dynamics.