arxiv: 2603.25990 · v2 · submitted 2026-03-27 · ✦ hep-th · gr-qc· hep-ph

Recognition: no theorem link

Implication of dressed form of relational observable on von Neumann algebra

Min-Seok Seo

Authors on Pith no claims yet

Pith reviewed 2026-05-14 23:32 UTC · model grok-4.3

classification ✦ hep-th gr-qchep-ph

keywords relational observablesdressed operatorsvon Neumann algebraquasi-de Sitter spaceType II algebrade Sitter spaceisometry breakingquantum gravity

0 comments

The pith

Quasi-de Sitter space corresponds to a Type II_∞ von Neumann algebra whose trace diverges in the gravity decoupling limit, unlike the Type II_1 algebra of exact de Sitter space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that relational observables in quantum gravity can be written as dressed operators. When the background breaks isometries, as occurs in quasi-de Sitter space, this dressing becomes local through a Stueckelberg-like mechanism and resembles an outer automorphism of the von Neumann algebra. The resemblance determines the algebra type of the background. Quasi-de Sitter space therefore corresponds to a Type II_∞ algebra in which the trace diverges once gravity is decoupled. Exact de Sitter space instead yields a Type II_1 algebra that admits a finite trace in the same limit, showing that even tiny isometry breaking produces a qualitatively different algebraic structure.

Core claim

In quantum gravity, gauge-invariant operators are relational observables that take a dressed form. For backgrounds with boundaries where diffeomorphisms remain ungauged, the dressing uses nonlocal gravitational Wilson lines. When the background breaks isometries, as in quasi-de Sitter space, the dressing can instead be local. Because this dressed form resembles an outer automorphism in the von Neumann algebra, the algebraic type of the background follows from the dressing: quasi-de Sitter space is described by the Type II_∞ algebra where the trace diverges in the decoupling limit of gravity, while de Sitter space is described by the Type II_1 algebra where a finite trace can be defined in a

What carries the argument

Dressed form of the relational observable, which resembles an outer automorphism of the von Neumann algebra and thereby fixes the algebra type according to whether the background preserves or breaks isometries.

Load-bearing premise

That the dressed relational observable functions like an outer automorphism and therefore sets the von Neumann algebra type of the background spacetime.

What would settle it

An explicit computation of the trace for the dressed relational observable in quasi-de Sitter space that remains finite rather than divergent in the gravity decoupling limit.

read the original abstract

In quantum gravity, physically meaningful operator is required to be invariant under the diffeomorphisms. Such gauge invariant operator is typically given by the relational observable, the operator localized in relation to some background states. We point out that the relational observable can be comprehensively written in the form of the dressed operator. For the background having boundary where the diffeomorphisms are not gauged, we can use the gravitational Wilson line for dressing, then the relational observable is nonlocal. In contrast, when the background breaks some isometries, as can be found in quasi-de Sitter space, dressing can be local, which is a kind of St\"uckelberg mechanism. Since dressing resembles the outer automorphism in the von Neumann algebra, we may investigate the algebraic structure of the background by considering the dressed form of the relational observable. From this, we can understand that quasi-de Sitter space is described by the Type II$_\infty$ algebra where the trace diverges in the decoupling limit of gravity. It is different from the Type II$_1$ algebra of de Sitter space where the finite size of trace can be defined in the same limit. This shows that the isometry preserving and breaking backgrounds are quite different in the algebraic structure no matter how small the breaking effect is.

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.

Desk Editor's Note private letter to a colleague

Dressed relational observables are used to argue that quasi-dS backgrounds give Type II_∞ algebras while exact dS gives Type II_1, but the mapping from local dressing to outer automorphism and divergent trace is asserted without explicit derivation.

read the letter

The paper connects the dressed form of relational observables to von Neumann algebra type in quantum gravity. Exact de Sitter preserves isometries and is said to produce a Type II_1 algebra whose trace stays finite in the gravity decoupling limit, while quasi-de Sitter breaks isometries, allows local Stückelberg-style dressing, and yields a Type II_∞ algebra whose trace diverges. The distinction is presented as a direct consequence of whether dressing is nonlocal or local. This is a straightforward way to link gauge-invariant operators to algebraic structure and correctly flags that even small isometry breaking should matter for the algebra. The observation is timely for cosmological and holographic models that care about horizon algebras. The soft spot is the missing step: the text treats the resemblance between local dressing and an outer automorphism as enough to fix the algebra type and trace behavior, yet supplies no explicit action of the automorphism on the operators and no calculation showing why the trace diverges specifically in the quasi-dS decoupling limit. Without that map or computation the classification remains an analogy. The work is aimed at readers already comfortable with Type II algebras in de Sitter and algebraic quantum gravity. Such a reader will see the potential implication at once but will need the automorphism construction and trace evaluation filled in before the result can be used. I would send the paper to referees because the question it raises is worth checking even if the current version needs the derivations supplied.

Referee Report

1 major / 1 minor

Summary. The paper claims that relational observables in quantum gravity can be written as dressed operators. For backgrounds with boundaries where diffeomorphisms are not gauged, gravitational Wilson lines make the observables nonlocal. In contrast, when the background breaks isometries (as in quasi-de Sitter space), dressing becomes local via a Stückelberg-like mechanism. The paper asserts that this dressed form resembles outer automorphisms in von Neumann algebras, allowing the algebraic structure of the background to be inferred from the dressed observables. This leads to the conclusion that quasi-de Sitter space is described by a Type II_∞ algebra (with divergent trace in the gravity decoupling limit), distinct from the Type II_1 algebra of exact de Sitter space (with finite trace in the same limit). The isometry-preserving and isometry-breaking cases are thus fundamentally different algebraically, regardless of the size of the breaking.

Significance. If the identification of dressed relational observables with outer automorphisms and the resulting algebra classification can be made rigorous, the result would distinguish the von Neumann algebraic structures of exact dS and quasi-dS spacetimes on the basis of their symmetry properties. This could offer a new algebraic criterion for classifying cosmological backgrounds in quantum gravity and clarify the role of relational observables in the presence of broken isometries.

major comments (1)

[Abstract] Abstract: The central claim that 'dressing resembles the outer automorphism in the von Neumann algebra' and thereby determines the algebra type (Type II_∞ with divergent trace for quasi-dS versus Type II_1 with finite trace for dS) is asserted without an explicit map, automorphism action, or trace computation. No derivation is supplied showing how the local Stückelberg dressing induces divergence of the trace specifically in the G→0 decoupling limit; this step is load-bearing for the classification but remains an unverified analogy.

minor comments (1)

[Abstract] Abstract: The LaTeX rendering of 'Type II$ _∞$' and 'Type II$_1$' should be checked for consistency; the escaped quote in 'Stückelberg' should be corrected to the standard umlaut form.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and valuable feedback on our manuscript. We address the major comment below and will revise the paper accordingly to strengthen the presentation.

read point-by-point responses

Referee: [Abstract] Abstract: The central claim that 'dressing resembles the outer automorphism in the von Neumann algebra' and thereby determines the algebra type (Type II_∞ with divergent trace for quasi-dS versus Type II_1 with finite trace for dS) is asserted without an explicit map, automorphism action, or trace computation. No derivation is supplied showing how the local Stückelberg dressing induces divergence of the trace specifically in the G→0 decoupling limit; this step is load-bearing for the classification but remains an unverified analogy.

Authors: We agree that the current manuscript presents the link between dressed relational observables and outer automorphisms primarily as a resemblance rather than a fully rigorous isomorphism, and that an explicit map, action, and trace computation are not supplied. The Stückelberg-like local dressing in isometry-breaking backgrounds (such as quasi-de Sitter) allows the relational operators to be rewritten in a form that effectively implements an outer automorphism on the algebra of observables; this non-compact character of the broken isometries then implies that the trace diverges in the G→0 limit, yielding Type II_∞ rather than the finite-trace Type II_1 structure of exact de Sitter. In the revised manuscript we will add a new subsection that (i) defines the explicit automorphism action induced by the local dressing, (ii) sketches how the trace functional is modified by the Stückelberg field, and (iii) shows the resulting divergence in the gravity-decoupling limit. These additions will make the load-bearing step explicit while preserving the original conclusions. revision: yes

Circularity Check

1 steps flagged

Dressing resemblance to outer automorphism directly determines algebra type without explicit map or trace computation

specific steps

self definitional [Abstract]
"Since dressing resembles the outer automorphism in the von Neumann algebra, we may investigate the algebraic structure of the background by considering the dressed form of the relational observable. From this, we can understand that quasi-de Sitter space is described by the Type II$ _∞ $ algebra where the trace diverges in the decoupling limit of gravity. It is different from the Type II$_1$ algebra of de Sitter space where the finite size of trace can be defined in the same limit."

The resemblance is asserted as the basis for investigating the algebraic structure, after which the specific algebra type (II_∞ with divergent trace) is understood to follow directly. This makes the classification tautological to the resemblance claim and the choice of isometry-breaking background, rather than derived via an explicit operator map or trace evaluation on the dressed observables.

full rationale

The paper's central derivation asserts that the dressed relational observable resembles an outer automorphism and concludes from this that quasi-de Sitter space corresponds to Type II_∞ (divergent trace in decoupling limit) while de Sitter is Type II_1 (finite trace). This step reduces the algebra classification directly to the asserted resemblance and background isometry-breaking assumption, without an independent map, explicit automorphism action on operators, or calculation demonstrating trace divergence specifically from the local dressing (Stückelberg mechanism). No equations, self-citations, or external benchmarks are supplied to separate the conclusion from the initial interpretive premise.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the domain assumption that diffeomorphism-invariant operators must be relational and on the paper-specific identification of dressing with outer automorphisms; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption Physically meaningful operators in quantum gravity must be invariant under diffeomorphisms and are therefore given by relational observables.
Stated in the first sentence of the abstract as a requirement.
ad hoc to paper Dressing of the relational observable resembles the outer automorphism in the von Neumann algebra.
Used to connect the dressed form to the algebraic structure of the background.

pith-pipeline@v0.9.0 · 5518 in / 1329 out tokens · 48797 ms · 2026-05-14T23:32:03.386213+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

77 extracted references · 77 canonical work pages · 19 internal anchors

[1]

Rovelli, Phys

C. Rovelli, Phys. Rev. D42, 2638-2646 (1990)

work page 1990
[2]

Rovelli, Class

C. Rovelli, Class. Quant. Grav.8, 297-316 (1991)

work page 1991
[3]

Rovelli, Class

C. Rovelli, Class. Quant. Grav.8, 317-332 (1991)

work page 1991
[4]

Rovelli, Phys

C. Rovelli, Phys. Rev. D43, 442-456 (1991)

work page 1991
[5]

Komar, Phys

A. Komar, Phys. Rev.111, no.4, 1182 (1958)

work page 1958
[6]

B. S. DeWitt, “The Quantization of geometry,’ in Gravitation: An Introduction to Current Research ed L Witten (Wiley) pp 266–381

work page
[7]

B. S. DeWitt, Phys. Rev.160, 1113-1148 (1967)

work page 1967
[8]

Quantum Observables and Recollapsing Dynamics

D. Marolf, Class. Quant. Grav.12, 1199-1220 (1995) [arXiv:gr-qc/9404053 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 1995
[9]

Almost Ideal Clocks in Quantum Cosmology: A Brief Derivation of Time

D. Marolf, Class. Quant. Grav.12, 2469-2486 (1995) [arXiv:gr-qc/9412016 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 1995
[10]

S. B. Giddings, D. Marolf and J. B. Hartle, Phys. Rev. D74, 064018 (2006) [arXiv:hep-th/0512200 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2006
[11]

Partial and Complete Observables for Hamiltonian Constrained Systems

B. Dittrich, Gen. Rel. Grav.39, 1891-1927 (2007) [arXiv:gr-qc/0411013 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 1927
[12]

Partial and Complete Observables for Canonical General Relativity

B. Dittrich, Class. Quant. Grav.23, 6155-6184 (2006) [arXiv:gr-qc/0507106 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2006
[13]

Relational Observables in Gravity: a Review

J. Tambornino, SIGMA8, 017 (2012) [arXiv:1109.0740 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[14]

Goeller, P

C. Goeller, P. A. Hoehn and J. Kirklin, [arXiv:2206.01193 [hep-th]]

work page arXiv
[15]

J. T. Francois Andre, J. Phys. A57, no.30, 305203 (2024) [arXiv:2310.14472 [math-ph]]

work page arXiv 2024
[16]

J. T. Fran¸ cois and L. Ravera, Fortsch. Phys.73, no.1-2, 2400149 (2025) [arXiv:2407.04043 [gr- qc]]

work page arXiv 2025
[17]

J. T. Fran¸ cois and L. Ravera, Fortsch. Phys.73, no.12, e70040 (2025) [arXiv:2501.02046 [quant- ph]]

work page internal anchor Pith review Pith/arXiv arXiv 2025
[18]

Fran¸ cois and L

J. Fran¸ cois and L. Ravera, [arXiv:2510.19845 [physics.gen-ph]]

work page arXiv
[19]

S. B. Giddings, J. Phys. A58, no.41, 415401 (2025) [arXiv:2505.22708 [hep-th]]. 13

work page arXiv 2025
[20]

Diffeomorphism-invariant observables and their nonlocal algebra

W. Donnelly and S. B. Giddings, Phys. Rev. D93, no.2, 024030 (2016) [erratum: Phys. Rev. D 94, no.2, 029903 (2016)] [arXiv:1507.07921 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[21]

Observables, gravitational dressing, and obstructions to locality and subsystems

W. Donnelly and S. B. Giddings, Phys. Rev. D94, no.10, 104038 (2016) [arXiv:1607.01025 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[22]

S. B. Giddings and A. Kinsella, JHEP11, 074 (2018) [arXiv:1802.01602 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[23]

S. B. Giddings and J. Perkins, Phys. Rev. D110, no.2, 026012 (2024) [arXiv:2209.06836 [hep-th]]

work page arXiv 2024
[24]

H. Geng, A. Karch, C. Perez-Pardavila, S. Raju, L. Randall, M. Riojas and S. Shashi, SciPost Phys.10, no.5, 103 (2021) [arXiv:2012.04671 [hep-th]]

work page arXiv 2021
[25]

Geng and A

H. Geng and A. Karch, JHEP09, 121 (2020) [arXiv:2006.02438 [hep-th]]

work page arXiv 2020
[26]

H. Geng, A. Karch, C. Perez-Pardavila, S. Raju, L. Randall, M. Riojas and S. Shashi, JHEP01, 182 (2022) [arXiv:2107.03390 [hep-th]]

work page arXiv 2022
[27]

Geng, SciPost Phys.19, no.6, 146 (2025) [arXiv:2312.13336 [hep-th]]

H. Geng, SciPost Phys.19, no.6, 146 (2025) [arXiv:2312.13336 [hep-th]]

work page arXiv 2025
[28]

Geng, Phys

H. Geng, Phys. Rev. D112, no.2, 026009 (2025) [arXiv:2412.03636 [hep-th]]

work page arXiv 2025
[29]

H. Geng, Y. Jiang and J. Xu, [arXiv:2506.12127 [hep-th]]

work page arXiv
[30]

H. Geng, D. Jafferis, P. Shrivastava and N. Tata, [arXiv:2512.18912 [hep-th]]

work page arXiv
[31]

Antonini, C

S. Antonini, C. H. Chen, H. Maxfield and G. Penington, JHEP10, 034 (2025) [arXiv:2506.04311 [hep-th]]

work page arXiv 2025
[32]

M. S. Seo, JHEP03, 023 (2026) [arXiv:2510.22879 [hep-th]]

work page arXiv 2026
[33]

J. M. Bardeen, Phys. Rev. D22, 1882-1905 (1980)

work page 1905
[34]

Sasaki, Prog

M. Sasaki, Prog. Theor. Phys.70, 394 (1983)

work page 1983
[35]

R. H. Brandenberger, R. Kahn and W. H. Press, Phys. Rev. D28, 1809 (1983)

work page 1983
[36]

J. J. Halliwell and S. W. Hawking, Phys. Rev. D31, 1777 (1985)

work page 1985
[37]

Shirai and S

I. Shirai and S. Wada, Nucl. Phys. B303, 728-750 (1988)

work page 1988
[38]

V. F. Mukhanov, Sov. Phys. JETP67, 1297-1302 (1988)

work page 1988
[39]

Deruelle, C

N. Deruelle, C. Gundlach and D. Polarski, Class. Quant. Grav.9, 137-148 (1992)

work page 1992
[40]

V. F. Mukhanov, JETP Lett.41, 493-496 (1985)

work page 1985
[41]

Sasaki, Prog

M. Sasaki, Prog. Theor. Phys.76, 1036 (1986)

work page 1986
[42]

The Effective Field Theory of Inflation

C. Cheung, P. Creminelli, A. L. Fitzpatrick, J. Kaplan and L. Senatore, JHEP03, 014 (2008) [arXiv:0709.0293 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[43]

Effective Field Theory for Inflation

S. Weinberg, Phys. Rev. D77, 123541 (2008) [arXiv:0804.4291 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[44]

Path Integral for Inflationary Perturbations

T. Prokopec and G. Rigopoulos, Phys. Rev. D82, 023529 (2010) [arXiv:1004.0882 [gr-qc]]. 14

work page internal anchor Pith review Pith/arXiv arXiv 2010
[45]

J. O. Gong, M. S. Seo and G. Shiu, JHEP07, 099 (2016) [arXiv:1603.03689 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[46]

V. F. Mukhanov and G. V. Chibisov, JETP Lett.33, 532-535 (1981)

work page 1981
[47]

V. F. Mukhanov, H. A. Feldman and R. H. Brandenberger, Phys. Rept.215, 203-333 (1992)

work page 1992
[48]

Notes on Some Entanglement Properties of Quantum Field Theory

E. Witten, Rev. Mod. Phys.90, no.4, 045003 (2018) [arXiv:1803.04993 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[49]

Witten, [arXiv:2112.11614 [hep-th]]

E. Witten, [arXiv:2112.11614 [hep-th]]

work page arXiv
[50]

Sorce,Notes on the type classification of von Neumann algebras,Rev

J. Sorce, Rev. Math. Phys.36, no.02, 2430002 (2024) [arXiv:2302.01958 [hep-th]]

work page arXiv 2024
[51]

Liu, [arXiv:2510.07017 [hep-th]]

H. Liu, [arXiv:2510.07017 [hep-th]]

work page arXiv
[52]

P. A. Grassi and M. Porrati, JHEP03, 175 (2025) [arXiv:2411.08865 [hep-th]]

work page arXiv 2025
[53]

de Sabbata, P

E. de Sabbata, P. A. Grassi and M. Porrati, [arXiv:2601.06247 [hep-th]]

work page arXiv
[54]

Chandrasekaran, R

V. Chandrasekaran, R. Longo, G. Penington and E. Witten, JHEP02, 082 (2023) [arXiv:2206.10780 [hep-th]]

work page arXiv 2023
[55]

S. E. Aguilar-Gutierrez, E. Bahiru and R. Esp´ ındola, JHEP03, 008 (2024) [arXiv:2307.04233 [hep-th]]

work page arXiv 2024
[56]

M. S. Seo, Eur. Phys. J. C83, no.11, 1003 (2023) [arXiv:2212.05637 [hep-th]]

work page arXiv 2023
[57]

Gomez, [arXiv:2302.14747 [hep-th]]

C. Gomez, [arXiv:2302.14747 [hep-th]]

work page arXiv
[58]

Kudler-Flam, S

J. Kudler-Flam, S. Leutheusser and G. Satishchandran, [arXiv:2406.01669 [hep-th]]

work page arXiv
[59]

C. H. Chen and G. Penington, [arXiv:2406.02116 [hep-th]]

work page arXiv
[60]

R. L. Arnowitt, S. Deser and C. W. Misner, Gen. Rel. Grav.40, 1997-2027 (2008) [arXiv:gr- qc/0405109 [gr-qc]]

work page arXiv 1997
[61]

Gravitation,

C. W. Misner, K. S. Thorne and J. A. Wheeler, “Gravitation,” W. H. Freeman, 1973

work page 1973
[62]

Witten,Gravity and the crossed product,JHEP10(2022) 008 [2112.12828]

E. Witten, JHEP10, 008 (2022) [arXiv:2112.12828 [hep-th]]

work page arXiv 2022
[63]

Chandrasekaran, G

V. Chandrasekaran, G. Penington and E. Witten, JHEP04, 009 (2023) [arXiv:2209.10454 [hep- th]]

work page arXiv 2023
[64]

Green, K

D. Green, K. Gupta and Y. Huang, JHEP09, 117 (2024) [arXiv:2403.05274 [hep-th]]

work page arXiv 2024
[65]

W. H. Kinney, Phys. Rev. Lett.122, no.8, 081302 (2019) [arXiv:1811.11698 [astro-ph.CO]]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[66]

Brahma and S

S. Brahma and S. Shandera, JHEP11, 016 (2019) [arXiv:1904.10979 [hep-th]]

work page arXiv 2019
[67]

Rudelius,Conditions for (No) Eternal Inflation,JCAP08(2019) 009, [1905.05198]

T. Rudelius, JCAP08, 009 (2019) [arXiv:1905.05198 [hep-th]]

work page arXiv 2019
[68]

Z. Wang, R. Brandenberger and L. Heisenberg, Eur. Phys. J. C80, no.9, 864 (2020) [arXiv:1907.08943 [hep-th]]

work page arXiv 2020
[69]

M. S. Seo, JCAP11, 005 (2022) [arXiv:2206.05857 [hep-th]]. 15

work page arXiv 2022
[70]

J. M. Maldacena, JHEP04, 021 (2003) [arXiv:hep-th/0106112 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2003
[71]

A. V. Frolov and L. Kofman, JCAP05, 009 (2003) [arXiv:hep-th/0212327 [hep-th]]

work page internal anchor Pith review Pith/arXiv arXiv 2003
[72]

J. T. Galvez Ghersi, G. Geshnizjani, F. Piazza and S. Shandera, JCAP06, 005 (2011) [arXiv:1103.0783 [gr-qc]]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[73]

G. W. Gibbons and S. W. Hawking, Phys. Rev. D15, 2738-2751 (1977)

work page 1977
[74]

Vilenkin and L

A. Vilenkin and L. H. Ford, Phys. Rev. D26, 1231 (1982)

work page 1982
[75]

A. D. Linde, Phys. Lett. B116, 335-339 (1982)

work page 1982
[76]

A. A. Starobinsky, Phys. Lett. B117, 175-178 (1982)

work page 1982
[77]

A. D. Linde, Phys. Lett. B175, 395-400 (1986) 16

work page 1986