Perturbatively Dressed Observables

• Perturbatively dressed observables are gauge-invariant operators systematically built by incorporating interaction effects (via Wilson or gravitational lines) order by order.
• They employ nonlocal dressing structures that modify the algebra of observables, influencing locality, subsystem factorization, and information extraction in quantum theories.
• Their construction has wide-reaching applications, impacting fields such as quantum gravity, QED, condensed matter physics, and quantum optics by providing measurable predictions.

A perturbatively dressed observable is a gauge-invariant operator constructed by systematically incorporating interaction effects—either with gauge fields or gravitons—order by order in perturbation theory. In gauge theories such as QED and in quantum gravity, local field operators must be dressed to ensure physical observability, i.e., invariance under gauge transformations or diffeomorphisms. Perturbative dressing introduces nonlocality and new algebraic structures, with implications for locality, subsystem factorization, and extraction of information from quantum systems across a broad range of physics, including quantum gravity, condensed matter, and quantum optics.

1. Theoretical Motivation and General Framework

In any theory with local gauge symmetry (including diffeomorphism invariance in gravity), "bare" local operators $O(x)$ are not themselves invariant under the gauge group. To describe physically observable quantities, one constructs a dressed operator $\tilde{O}(x)$ which includes nonlocal functionals of the gauge or gravitational field such that the combination is invariant under gauge transformations:

• In gauge theory, the dressed matter operator is constructed by attaching a Wilson line or suitable extension thereof, $\Phi(x) = e^{i e V[A;x]} \phi(x)$, with $V[A;x]$ chosen to cancel the gauge variation.
• In gravity, one constructs a relational or gravitationally dressed operator by attaching a vectorial dressing $V^\mu[h;x]$ such that $\Phi(x) = \phi(x + V[h;x])$ is invariant under infinitesimal diffeomorphisms.

The overall strategy leverages the group action on both the matter fields and the dressing functionals to guarantee that the full operator is a singlet under the symmetry group.

2. Structure and Perturbative Expansion

Perturbative dressing is implemented as an order-by-order series in the coupling constant (gauge or gravitational), expressing the operator as

$\tilde{O} = O + \kappa O^{(1)} + O(\kappa^2),$

where $\kappa$ is the relevant expansion parameter (e.g., $\sqrt{32\pi G}$ for gravity; the gauge coupling $g$ or $\tilde{O}(x)$0 in gauge theory).

In QED, the Faraday/Wilson line construction yields, to first order,

$\tilde{O}(x)$1

with the path $\tilde{O}(x)$2 running from $\tilde{O}(x)$3 out to spatial or null infinity. In gravity, the analogous gravitational line dressing for a scalar field is

$\tilde{O}(x)$4

where $\tilde{O}(x)$5 is built as an integral over the metric perturbation $\tilde{O}(x)$6 along a geodesic to infinity:

$\tilde{O}(x)$7

This ensures that under an infinitesimal diffeomorphism, $\tilde{O}(x)$8, so that $\tilde{O}(x)$9 is invariant to $\Phi(x) = e^{i e V[A;x]} \phi(x)$0 (Donnelly et al., 2016, Cheung et al., 25 May 2026, Giddings et al., 2019, Giddings, 2019).

3. Nonlocality, Dressing Tails, and the Obstruction to Local Subsystems

A crucial result of the gravitational dressing theorem is that any operator carrying nonzero Poincaré charge (energy, momentum, or angular momentum) must possess a gravitational dressing with a "tail" that cannot fall off locally:

• For operators with nonzero energy-momentum (monopole), the dressing decays no faster than $\Phi(x) = e^{i e V[A;x]} \phi(x)$1.
• For those with nonzero angular momentum or boost charges (dipole), at least as $\Phi(x) = e^{i e V[A;x]} \phi(x)$2 (Donnelly et al., 2016).

This universality reflects the impossibility of locally screening the gauge/diffeo charges: no compactly-supported, gauge-invariant operators exist in gravity. As a result, one cannot construct commuting subalgebras of local observables for disjoint regions; quantum subsystems cannot be defined in the quantum gravity Hilbert space by associating tensor factors to spacetime regions in the standard QFT sense (Donnelly et al., 2016, Giddings, 2019). The only recourse is the construction of relational or state-dependent observables, intrinsically nonlocal and only local in certain backgrounds.

4. Algebraic Structure, Commutators, and Splittings

The algebraic structure of perturbatively dressed observables departs substantially from local QFT:

• Spacelike-separated dressed operators generically fail to commute due to overlapping dressing fields (Giddings et al., 2019, Cheung et al., 25 May 2026).
• The non-uniqueness of the dressing (arbitrariness in the radiative component) leads to families of gauge-invariant operators differing by free radiation.

Nevertheless, a notion of subsystem ("splitting") persists: a quantum state in a region $\Phi(x) = e^{i e V[A;x]} \phi(x)$3 dressed with a standard choice $\Phi(x) = e^{i e V[A;x]} \phi(x)$4 can be embedded such that all asymptotic observables depend only on the total charge or Poincaré charges. This realizes an embedding

$\Phi(x) = e^{i e V[A;x]} \phi(x)$5

(Giddings, 2019). All finer information is hidden in the internal structure, unobservable to distant measurements except for the total conserved charges.

5. Explicit Constructions: Gauge Theory and Gravity

Gauge Theory (QED):

Faraday/Wilson line dressing and Coulomb dressing yield operators that act on the vacuum to create the charged particle and its associated (potential plus radiative) field (Giddings et al., 2019, Giddings, 2019, Cheung et al., 25 May 2026). Null dressings constructed along null geodesics are particularly useful in situations with horizons (e.g., inside black holes).

Gravity:

The gravitational line (axial gauge) or Coulomb (spherically symmetric) dressings can be constructed both in flat space (Donnelly et al., 2016) and AdS (Giddings et al., 2018). Given a background (flat, AdS, or Schwarzschild), explicit integral representations for the dressing functionals $\Phi(x) = e^{i e V[A;x]} \phi(x)$6 are available. Dressing fields can be built using generalized Green functions solving the linearized constraint equations for the background (Giddings et al., 2022).

6. Relational and State-Dependent Dressings

Relational observables generalize perturbative dressing to make operators gauge-invariant by tying their location or reference to some physical "clock" or "ruler" built from the metric or matter fields. For instance:

• Bilocal observables relate two spacetime points by requiring a fixed proper separation along a geodesic (Donnelly et al., 2016).
• State-dressed operators utilize state-dependent clocks (e.g., features of a heavy CFT state in AdS/CFT), producing operators that commute with the Hamiltonian to all orders in $\Phi(x) = e^{i e V[A;x]} \phi(x)$7 (Bahiru et al., 2022). This construction allows information to be localized in code subspaces and plays a role in quantum error correction in holography.

7. Extensions, Examples, and Applications

Perturbative dressing finds utility in a broad spectrum of contexts:

Condensed Matter Physics:

Dressed geometric tensors, such as the interaction-dressed Berry curvature and quantum metric, are constructed by perturbatively incorporating interaction and disorder effects into the charge polarization susceptibility. These "dressed" quantities can be measured experimentally via polarization and absorption rates (Chen et al., 2022).

Quantum Optics and Cavity QED:

In the context of strongly coupled light–matter systems, the dressed orbital formalism allows recasting bosonic systems as fermionized in a higher-dimensional space (Nielsen et al., 2018). Perturbative expansions in light–matter coupling yield explicit expressions for energy corrections and observables (photon number, field fluctuations, etc.).

AdS/CFT and Holography:

Gravitational dressing in AdS enables construction of explicit gauge-invariant bulk operators, with line or Coulomb dressing corresponding to different physical bulk-to-boundary maps (Giddings et al., 2018, Ankur et al., 7 Jan 2026). Geodesic Wilson-line dressing provides a basis for constructing well-behaved gauge-invariant observables compatible with conformal structure at infinity.

Cosmology:

In de Sitter and quasi-de Sitter space, the nature of the dressing (local vs. nonlocal) reflects spontaneous breaking or preservation of isometries, closely connected to the modular structure and von Neumann type of the operator algebra (Seo, 27 Mar 2026).

8. Summary Table: Paradigmatic Dressed Observables

Context	Dressing Mechanism	Nonlocality/Decay	Algebraic Feature
QED (Minkowski)	Wilson/Faraday line, Coulomb, null line	$\Phi(x) = e^{i e V[A;x]} \phi(x)$8	Fails locality
Gravity (flat/AdS)	Gravitational line/Coulomb/relational	$\Phi(x) = e^{i e V[A;x]} \phi(x)$9 or slower	No compact local algebra
State-dependent	Clock or feature anchoring	State/local clock	Hamiltonian commutant
Cavity QED/matter-light	Orbital dressing in higher dimension	Mode-mixing	Diagrammatic expansion
Jet substructure/QCD	Linear combinatorics in observable space	--	Perturbative weights

The construction and properties of perturbatively dressed observables are central to understanding gauge invariance, nonlocality, information localization, and the mathematical structure of quantum theories with local symmetries. Their role is indispensable for any attempt to make physical sense of measurement and subsystems in both gauge theory and quantum gravity (Donnelly et al., 2016, Giddings, 2019, Cheung et al., 25 May 2026, Giddings et al., 2022, Bahiru et al., 2022, Nielsen et al., 2018, Ankur et al., 7 Jan 2026, Chen et al., 2022, Seo, 27 Mar 2026, Giddings et al., 2018, Giddings et al., 2019).