Clarify the mathematical equivalence between gravitational dressing and von Neumann algebra automorphisms

Establish a rigorous mathematical equivalence between the gravitational dressing construction of diffeomorphism-invariant relational observables in quantum gravity (for example, operators of the form O_dr = e^{-i H_M[q]} O_M e^{i H_M[q]}) and the outer automorphism structure acting on local operator algebras in the von Neumann algebraic framework, specifying the precise conditions and mappings under which this correspondence holds.

Background

The paper shows that both nonlocal gravitationally dressed observables (constructed via gravitational Wilson lines to a boundary platform) and local relational observables in isometry-breaking backgrounds can be written in a common dressed-operator form. This dressing resembles the action of outer automorphisms in the von Neumann algebraic approach to quantum field theory in curved spacetime.

The authors argue that quasi–de Sitter backgrounds appear to be described by a Type II∞ von Neumann algebra (with divergent trace in the decoupling limit), whereas exact de Sitter backgrounds correspond to Type II1 (with a finite, normalizable trace). Despite these structural insights, the precise mathematical equivalence between the dressing construction and the von Neumann algebraic formalism is not yet fully established.