Physical Equivalence Theorem: Conditions & Applications

• Physical Equivalence Theorem is a set of rigorous results that define when different mathematical formulations, such as field redefinitions and gauge transformations, yield identical physical predictions.
• The theorem provides a methodology to verify that invertible, local transformations preserve observable content, as demonstrated in quantum field and spontaneously broken gauge theories.
• It further extends to ergodic theory and holographic systems by establishing equivalence between additive and asymptotically additive potentials, ensuring preservation of equilibrium states and invariant spectra.

The Physical Equivalence Theorem refers to a class of rigorous results establishing the conditions under which different mathematical formalisms, parameterizations, or families of functionals yield identical physical predictions—most notably, S-matrix elements, correlation functions, or statistical invariants. The precise regime of physical equivalence is context-dependent: in quantum field theory, this concerns invertible field redefinitions and gauge invariance; in dynamical systems and ergodic theory, it concerns the equivalence of additive and asymptotically additive potentials under time evolution. The theorem's role is foundational for identifying when a formal change of variables or representation genuinely preserves all observable content, thereby justifying distinct but "physically indistinguishable" descriptions.

1. Field Redefinition and Quantum Field Theory

Within Lagrangian field theory, the Physical Equivalence Theorem states that invertible, local (possibly derivative-dependent) field redefinitions relate theories with identical physical content: for every solution of the original Euler–Lagrange equations, there is a corresponding solution of the transformed theory and vice versa, and the physical degrees of freedom are preserved. This remains valid even if the transformation introduces higher-derivative terms, provided degeneracy constraints eliminate would-be spurious degrees of freedom; thus, no Ostrogradsky instabilities emerge purely from invertible transformations. The crucial operator identity is $E' = (P^\dagger)E$, where $P$ and $Q$ are the Jacobian and its differential-operator inverse. Explicit constructions verifying invertibility are often performed at the level of the linearized differential operator (Takahashi et al., 2017).

Gauge symmetry and Noether identities are transported under the transformation by adjoint operators. The practical implication is that a class of seemingly novel higher-derivative models, for example in scalar-tensor gravity, are physically equivalent to standard (e.g., Horndeski) theories, provided the transformation is local, invertible, and the proper degeneracies are enforced. Non-invertible or singular transformations, however, can generate genuinely new physical content and degrees of freedom—e.g., the mimetic gravity scenario (Takahashi et al., 2017).

2. The Equivalence Theorem in Spontaneously Broken Gauge Theory

In the context of spontaneously broken gauge theories, the Physical (Goldstone) Equivalence Theorem asserts that amplitudes involving external longitudinal vector bosons coincide, up to $O(M/E)$ corrections, with those computed with the corresponding Goldstone bosons in place of the longitudinal polarizations. In the 't Hooft–Feynman gauge, the Slavnov–Taylor identities ensure that one can systematically replace longitudinal $W^\pm_L$ with the charged Goldstone fields $\varphi^\pm$ at leading order for $M_W \ll E$, manifesting the restoration of the underlying global symmetry at high energy. This equivalence is essential in processes such as $H \to \gamma\gamma$ in the Standard Model, where the asymptotic behavior at $m_H \gg M_W$ is dominated by longitudinal $W$ contributions that coincide with the Goldstone loop, as established by explicit one-loop calculations (Jegerlehner, 2011).

Rigorous all-order proofs utilize specialized gauge choices (such as the "Equivalent Gauge"), where longitudinal polarization vectors scale as $P$0 rather than $P$1, making the high-energy dominance of Goldstone diagrams manifest and rendering energy and coupling power-counting fully transparent. The relations between S-matrix elements with external $P$2 and those with $P$3 are confirmed in diagrammatic language and by LSZ reduction (Wulzer, 2013).

3. Physical Equivalence in Ergodic Theory and Statistical Mechanics

A distinct but analogous version of the Physical Equivalence Theorem arises for nonadditive thermodynamic potentials in ergodic and dynamical systems theory. Let $P$4 be an asymptotically additive family of continuous functions with respect to a suspension flow. Then, by the Physical Equivalence Theorem, for any such $P$5, there exists an additive family $P$6 such that

$P$7

Physical equivalence here means the vanishing of the time-averaged sup-norm difference in the large time limit. The theorem holds in large generality for suspension flows, their topological conjugates (hyperbolic flows), and expansive flows (modulo a full-measure set). As a consequence, the thermodynamic formalism and multifractal analysis developed for additive potentials transfers verbatim to asymptotically additive settings; variational principles, equilibrium states, and conditional spectra are preserved (Holanda, 2022).

This equivalence may fail to preserve fine regularity (e.g., Hölder, Bowen classes), and there exist explicit nonadditive Hölder families not equivalent to any additive Hölder family. These results generalize the Livšic theorem to nonadditive settings, characterizing when almost/asymptotically additive families are cohomologous to constants (Holanda, 2022).

4. Gauge-Invariant Formulation and Algebraic Approaches

Physical equivalence also arises in quantized gauge theories, notably with regard to manifestly gauge-invariant variables. Extended BRST (Becchi–Rouet–Stora–Tyutin) symmetry provides an algebraic proof of the Equivalence Theorem: by embedding non-linear field redefinitions within an enlarged BRST (doublet) structure, functional integrals, Green's functions, and S-matrix elements are shown to be strictly invariant under these transformations. This allows a rewriting of the Abelian Higgs model in terms of composite, gauge-invariant Fröhlich–Morchio–Strocchi (FMS) operators, recovering the physical spectrum and renormalizability of the original gauge-fixed theory, despite the appearance of an infinite number of interaction vertices and non-standard power-counting. All physical counterterms and pole masses are mapped one-to-one into the gauge-invariant formulation (Boeykens et al., 2024).

5. Physical vs. Mathematical Equivalence in Gravitational Theories

A subtlety arises when distinguishing strictly mathematical equivalence from physical equivalence, especially under conformal or nontrivial field redefinitions in gravitational models. While Palatini $P$8 gravity and Brans–Dicke theory with $P$9 are mathematically related by a conformal transformation and scalar redefinition, their empirical predictions can diverge due to differing assumptions regarding the physical metric and geodesic structure. For example, perihelion precession tests yield the standard result in the Palatini frame (with the physical connection defined by the Levi-Civita connection of the conformal metric $Q$0), but lead to a retrograde shift (inconsistent with observation) in the Brans–Dicke parameterization, where the metric $Q$1 defines free fall. Explicit specification of which metric encodes physical rulers, clocks, and test-particle trajectories is essential for restoring genuine physical equivalence (Fatibene et al., 2013).

6. The Equivalence Theorem in Integrable and Holographic Systems

For integrable quantum field theories, such as the Alday–Arutyunov–Frolov (AAF) model, the invariance of the S-matrix under invertible (possibly non-linear, non-manifestly Lorentz-invariant) field redefinitions holds both perturbatively (via Green's function arguments) and nonperturbatively (via the coordinate Bethe ansatz and direct diagonalization). The correct implementation requires the Hamiltonian to be self-adjoint (interpreted via generalized boundary conditions or Sklyanin product regularization). These equivalences extend to the preservation of Dirac brackets, wavefunction normalization, and the full set of scattering data (Melikyan et al., 2014).

In the context of AdS/CFT, the Equivalence Theorem generalizes to the equivalence of Witten-diagram amplitudes involving bulk longitudinal higher-spin fields and the corresponding Goldstone scalar exchanges in the high-dimension (large energy) limit. On the CFT side, at large scaling dimensions, conformal blocks for spinning exchanges degenerate to scalar blocks, and the divergence of non-conserved currents becomes approximately a primary scalar operator (Anand et al., 2015).

7. Criteria and Caveats for Physical Equivalence

Physical equivalence is contingent on:

• The invertibility and locality of the field transformation, ensuring no additional solutions or spurious degrees of freedom are present.
• The precise identification of physically meaningful observables, especially in gauge or gravitational theories, to avoid ambiguities from conformal or gauge choices.
• The preservation of all Ward identities, Slavnov–Taylor constraints, and additional symmetries or constraints when performing formal manipulations.
• The demand for cohomological or functional invariance in BRST or algebraic contexts, ensuring the decoupling of unphysical or pure-gauge degrees of freedom.

Notably, physical equivalence can fail if the mapping is only formal (i.e., mathematical equivalence without clear identification of geometry, time, or measurement prescriptions), or if regularity properties (Hölder/Bowen structures) are essential for the characterization of invariant states or spectra.

---

Summary Table: Principal Manifestations of the Physical Equivalence Theorem

Context	Content of Physical Equivalence	Key References
Lagrangian field theory	Invertible local field redefinitions preserve solutions and DOF	(Takahashi et al., 2017)
Broken gauge theory/S-matrix	External $Q$2 Goldstone replacement at $Q$3	(1110.08691309.6055)
Ergodic theory / Thermodynamic formalism	Asymptotically additive $Q$4 additive families; invariance of equilibrium	(Holanda, 2022)
Gauge-invariant formulation (BRST)	Algebraic invariance under gauge-invariant composite variable changes	(Boeykens et al., 2024)
Gravitational theories (conformal frames)	Only matching physical metrics yields equivalence; otherwise not	(Fatibene et al., 2013)
Integrable/Holographic systems	S-matrix/conformal block invariance under nontrivial reparameterizations	(1412.12881502.03404)

Physical Equivalence Theorems thus demarcate the boundary between mathematically reformulated, yet unaltered, physical content and scenarios where formal change does result in new empirical predictions. Their rigorous application is prerequisite to asserting the universality, redundancy, or novel physicality of newly proposed models and variable choices in both classical and quantum theory.