An official website of the United States government
A<sc>bstract</sc> We construct a Type II∞von Neumann algebra that describes the largeNphysics of single-trace operators in AdS/CFT in the microcanonical ensemble, where there is no need to include perturbative 1/Ncorrections. Using only the extrapolate dictionary, we show that the entropy of semiclassical states on this algebra is holographically dual to the generalized entropy of the black hole bifurcation surface. From a boundary perspective, this constitutes a derivation of a special case of the QES prescription without any use of Euclidean gravity or replicas; from a purely bulk perspective, it is a derivation of the quantum-corrected Bekenstein-Hawking formula as the entropy of an explicit algebra in theG →0 limit of Lorentzian effective field theory quantum gravity. In a limit where a black hole is first allowed to equilibrate and then is later potentially re-excited, we show that the generalized second law is a direct consequence of the monotonicity of the entropy of algebras under trace-preserving inclusions. Finally, by considering excitations that are separated by more than a scrambling time we construct a “free product” von Neumann algebra that describes the semiclassical physics of long wormholes supported by shocks. We compute Rényi entropies for this algebra and show that they are equal to a sum over saddles associated to quantum extremal surfaces in the wormhole. Surprisingly, however, the saddles associated to “bulge” quantum extremal surfaces contribute with a negative sign.
more »
« less
Analytic States in Quantum Field Theory on Curved Spacetimes
Abstract We discuss high energy properties of states for (possibly interacting) quantum fields in curved spacetimes. In particular, if the spacetime is real analytic, we show that an analogue of the timelike tube theorem and the Reeh–Schlieder property hold with respect to states satisfying a weak form of microlocal analyticity condition. The former means the von Neumann algebra of observables of a spacelike tube equals the von Neumann algebra of observables of a significantly bigger region that is obtained by deforming the boundary of the tube in a timelike manner. This generalizes theorems by Araki (Helv Phys Acta 36:132–139, 1963) and Borchers (Nuovo Cim (10) 19:787–793, 1961) to curved spacetimes.
more »
« less
- Award ID(s):
- 2207584
- PAR ID:
- 10545405
- Publisher / Repository:
- INSPIRE
- Date Published:
- Journal Name:
- Annales Henri Poincaré
- Volume:
- 25
- Issue:
- 10
- ISSN:
- 1424-0637
- Page Range / eLocation ID:
- 4543 to 4590
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
A bstract 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 gen = ( A/ 4 G N ) + S out . An arbitrary additive constant is present because of the renormalization that is involved in defining entropy for a Type II 1 algebra.more » « less
-
Trace inequalities are general techniques with many applications in quantum information theory, often replacing the classical functional calculus in noncommutative settings. The physics of quantum field theory and holography, however, motivates entropy inequalities in type III von Neumann algebras that lack a semifinite trace. The Haagerup and Kosaki Lp spaces enable re-expressing trace inequalities in non-tracial von Neumann algebras. In particular, we show this for the generalized Araki–Lieb–Thirring and Golden–Thompson inequalities from the work of Sutter et al. [Commun. Math. Phys. 352(1), 37 (2017)]. Then, using the Haagerup approximation method, we prove a general von Neumann algebra version of universal recovery map corrections to the data processing inequality for relative entropy. We also show subharmonicity of a logarithmic p-fidelity of recovery. Furthermore, we prove that the non-decrease of relative entropy is equivalent to the existence of an L1-isometry implementing the channel on both input states.more » « less
-
We study the relationship between the dynamics of the action $$\alpha$$ of a discrete group $$G$$ on a von Neumann algebra $$M$$, and structural properties of the associated crossed product inclusion $$L(G) \subseteq M \rtimes_\alpha G$$, and its intermediate subalgebras. This continues a thread of research originating in classical structural results for ergodic actions of discrete, abelian groups on probability spaces. A key tool in the setting of a noncommutative dynamical system is the set of quasinormalizers for an inclusion of von Neumann algebras. We show that the von Neumann algebra generated by the quasinormalizers captures analytical properties of the inclusion $$L(G) \subseteq M \rtimes_\alpha G$$ such as the Haagerup Approximation Property, and is essential to capturing ``almost periodic" behavior in the underlying dynamical system. Our von Neumann algebraic point of view yields a new description of the Furstenberg-Zimmer distal tower for an ergodic action on a probability space, and we establish new versions of the Furstenberg-Zimmer structure theorem for general, tracial $W^*$-dynamical systems. We present a number of examples contrasting the noncommutative and classical settings which also build on previous work concerning singular inclusions of finite von Neumann algebras.more » « less
-
Abstract We extract a precise internal description of the sequential commutation equivalence relation introduced in [14] for tracial von Neumann algebras. As an application we, prove that if a tracial von Neumann algebra $$N$$ is generated by unitaries $$\{u_{i}\}_{i\in \mathbb{N}}$$ such that $$u_{i}\sim u_{j}$$ (i.e., there exists a finite set of Haar unitaries $$\{w_{i}\}_{i=1}^{n}$$ in $$N^{\mathcal{U}}$$ such that $$[u_{i}, w_{1}]= [w_{k}, w_{k+1}]=[w_{n},u_{j}]=0$$ for all $$1\leq k< n$$), then $$N$$ is singly generated. This generalizes and recovers several known single generation phenomena for II$$_{1}$$ factors in the literature with a unified proof.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/s00023-024-01419-0
