[Paper Review] An Algebra of Observables for de Sitter Space

Venkatesa Chandrasekaran, Roberto Longo+2 more|arXiv (Cornell University)|Jun 22, 2022

Quantum Mechanics and Applications4 citations

TL;DR

This paper constructs a von Neumann algebra of Type II₁ for observables in a de Sitter static patch, where operators are gravitationally dressed to an observer's worldline. It shows that the algebra's entropy matches generalized entropy $S_{\mathrm{gen}} = A/(4G_N) + S_{\mathrm{out}}$ up to a state-independent constant, with empty de Sitter space as the maximum entropy state, resolving observer-dependence through a continuous dimension in the Hilbert space of coinvariants.

ABSTRACT

We describe an algebra of observables for a static patch in de Sitter space, with operators gravitationally dressed to the worldline of an observer. The algebra is a von Neumann algebra of Type II$_1$. There is a natural notion of entropy for a state of such an algebra. There is a maximum entropy state, which corresponds to empty de Sitter space, and the entropy of any semiclassical state of the Type II$_1$ algebras agrees, up to an additive constant independent of the state, with the expected generalized entropy $S_{ ext{gen}}=(A/4G_N)+S_{ ext{out}}$. An arbitrary additive constant is present because of the renormalization that is involved in defining entropy for a Type II$_1$ algebra.

Motivation & Objective

• To construct a mathematically rigorous algebra of observables for a static patch in de Sitter space, accounting for gravitational dressing to an observer's worldline.
• To resolve the observer-dependence of cosmological horizons by defining a quantum algebra that encodes causal accessibility and horizon entropy.
• To establish a finite-dimensional Hilbert space interpretation for de Sitter space, where the Bunch-Davies vacuum corresponds to the maximally mixed state.
• To clarify the role of the complementary patch and observer presence in defining the von Neumann algebra structure.
• To reconcile the generalized entropy formula $S_{\mathrm{gen}} = A/(4G_N) + S_{\mathrm{out}}$ with a finite-dimensional quantum description in de Sitter space.

Proposed method

• Construct an algebra $\mathcal{B}_0$ of operators commuting with a constraint $\widehat{H} = H + q - k$, where $H$ generates time translations in the static patch, $q$ is the observer's Hamiltonian, and $k$ acts on a Hilbert space $K$ for the complementary patch.
• Complete $\mathcal{B}_0$ to a von Neumann algebra $\mathcal{B}$ by defining a Hilbert space $\widehat{\mathcal{H}}$ of coinvariants under the constraint.
• Use group averaging and BRST cohomology techniques to define the constraint-imposed Hilbert space, particularly for the compact $\mathrm{SO}(D-1)$ and abelian $\mathbb{R}_t$ symmetry groups.
• Introduce a continuous dimension $d$ in the Hilbert space $\widehat{\mathcal{H}}$ via the range of $q'$, which depends on the presence of an observer in the complementary patch $P'$.
• Show that when $K = L^2(\mathbb{R})'$, $\mathcal{B}$ is a Type II₁ algebra with continuous dimension $d$, while for $K = \mathbb{C}$, the algebra degenerates to Type I, which is inconsistent with observer independence.
• Argue that the $G_N \to 0$ limit is ill-defined unless $d \sim G_N^{1/2}$, implying that the absence of a complementary observer leads to a singular limit, and thus the Type II₁ structure is physically necessary.

Experimental results

Research questions

• RQ1 How can a consistent algebra of observables be defined for a static patch in de Sitter space, accounting for gravitational dressing to an observer's worldline?
• RQ2 Why does the presence or absence of an observer in the complementary patch affect the resulting von Neumann algebra, and how can this be resolved to preserve physical consistency?
• RQ3 Can the generalized entropy $S_{\mathrm{gen}} = A/(4G_N) + S_{\mathrm{out}}$ be derived from a finite-dimensional quantum algebra, and does it match the entropy of the algebra's states?
• RQ4 What is the role of the continuous dimension $d$ in the Hilbert space of coinvariants, and how does it relate to Newton's constant $G_N$?
• RQ5 How does the Type II₁ structure of the algebra resolve the paradox of a maximum entropy state in de Sitter space?

Key findings

• The algebra of observables for a static patch in de Sitter space is a von Neumann algebra of Type II₁, constructed via constraint quantization and group averaging.
• The entropy of any state in this algebra agrees with the generalized entropy $S_{\mathrm{gen}} = A/(4G_N) + S_{\mathrm{out}}$ up to an additive constant independent of the state.
• Empty de Sitter space corresponds to the maximum entropy state, with entropy $A_{\mathrm{dS}}/(4G_N)$, and is described by the maximally mixed state on a finite-dimensional Hilbert space.
• The continuous dimension $d$ of the Hilbert space $\widehat{\mathcal{H}}$ of coinvariants is finite and positive when a complementary observer is present, but becomes ill-defined in the absence of such an observer.
• The $G_N \to 0$ limit is not physically valid unless the continuous dimension scales as $d \sim G_N^{1/2}$, implying that the Type II₁ structure is essential and cannot be reduced to Type I.
• The algebra is independent of the presence of a complementary observer in $P'$ at the level of $\mathcal{B}_0$, but the completion to $\mathcal{B}$ depends on $K$, showing that the full quantum structure is observer-dependent in a consistent way.