skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: When left and right disagree: entropy and von Neumann algebras in quantum gravity with general AlAdS boundary conditions
A<sc>bstract</sc> Euclidean path integrals for UV-completions ofd-dimensional bulk quantum gravity were recently studied in [1] by assuming that they satisfy axioms of finiteness, reality, continuity, reflection-positivity, and factorization. Sectors$$ {\mathcal{H}}_{\mathcal{B}} $$ H B of the resulting Hilbert space were then defined for any (d− 2)-dimensional surface$$ \mathcal{B} $$ B , where$$ \mathcal{B} $$ B may be thought of as the boundary ∂Σ of a bulk Cauchy surface in a corresponding Lorentzian description, and where$$ \mathcal{B} $$ B includes the specification of appropriate boundary conditions for bulk fields. Cases where$$ \mathcal{B} $$ B was the disjoint unionB⊔Bof two identical (d− 2)-dimensional surfacesBwere studied in detail and, after the inclusion of finite-dimensional ‘hidden sectors,’ were shown to provide a Hilbert space interpretation of the associated Ryu-Takayanagi entropy. The analysis was performed by constructing type-I von Neumann algebras$$ {\mathcal{A}}_L^B $$ A L B ,$$ {\mathcal{A}}_R^B $$ A R B that act respectively at the left and right copy ofBinB⊔B. Below, we consider the case of general$$ \mathcal{B} $$ B , and in particular for$$ \mathcal{B} $$ B =BL⊔BRwithBL,BRdistinct. For anyBR, we find that the von Neumann algebra atBLacting on the off-diagonal Hilbert space sector$$ {\mathcal{H}}_{B_L\bigsqcup {B}_R} $$ H B L B R is a central projection of the corresponding type-I von Neumann algebra on the ‘diagonal’ Hilbert space$$ {\mathcal{H}}_{B_L\bigsqcup {B}_L} $$ H B L B L . As a result, the von Neumann algebras$$ {\mathcal{A}}_L^{B_L} $$ A L B L ,$$ {\mathcal{A}}_R^{B_L} $$ A R B L defined in [1] using the diagonal Hilbert space$$ {\mathcal{H}}_{B_L\bigsqcup {B}_L} $$ H B L B L turn out to coincide precisely with the analogous algebras defined using the full Hilbert space of the theory (including all sectors$$ {\mathcal{H}}_{\mathcal{B}} $$ H B ). A second implication is that, for any$$ {\mathcal{H}}_{B_L\bigsqcup {B}_R} $$ H B L B R , including the same hidden sectors as in the diagonal case again provides a Hilbert space interpretation of the Ryu-Takayanagi entropy. We also show the above central projections to satisfy consistency conditions that lead to a universal central algebra relevant to all choices ofBLandBR more » « less
Award ID(s):
2107939
PAR ID:
10538631
Author(s) / Creator(s):
;
Publisher / Repository:
Springer
Date Published:
Journal Name:
Journal of High Energy Physics
Volume:
2024
Issue:
8
ISSN:
1029-8479
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. A<sc>bstract</sc> A search for the decay$$ {B}_c^{+} $$ B c + → χc1(3872)π+is reported using proton-proton collision data collected with the LHCb detector between 2011 and 2018 at centre-of-mass energies of 7, 8, and 13 TeV, corresponding to an integrated luminosity of 9 fb−1. No significant signal is observed. Using the decay$$ {B}_c^{+} $$ B c + →ψ(2S)π+as a normalisation channel, an upper limit for the ratio of branching fractions$$ {\mathcal{R}}_{\psi (2S)}^{\chi_{c1}(3872)}=\frac{{\mathcal{B}}_{B_c^{+}\to {\chi}_{c1}(3872){\pi}^{+}}}{{\mathcal{B}}_{B_c^{+}\to \psi (2S){\pi}^{+}}}\times \frac{{\mathcal{B}}_{\chi_{c1}(3872)\to J/\psi {\pi}^{+}{\pi}^{-}}}{{\mathcal{B}}_{\psi (2S)\to J/\psi {\pi}^{+}{\pi}^{-}}}<0.05(0.06), $$ R ψ 2 S χ c 1 3872 = B B c + χ c 1 3872 π + B B c + ψ 2 S π + × B χ c 1 3872 J / ψ π + π B ψ 2 S J / ψ π + π < 0.05 0.06 , is set at the 90 (95)% confidence level. 
    more » « less
  2. Abstract LetXbe a compact normal complex space of dimensionnandLbe a holomorphic line bundle onX. Suppose that$$\Sigma =(\Sigma _1,\ldots ,\Sigma _\ell )$$ Σ = ( Σ 1 , , Σ ) is an$$\ell $$ -tuple of distinct irreducible proper analytic subsets ofX,$$\tau =(\tau _1,\ldots ,\tau _\ell )$$ τ = ( τ 1 , , τ ) is an$$\ell $$ -tuple of positive real numbers, and let$$H^0_0(X,L^p)$$ H 0 0 ( X , L p ) be the space of holomorphic sections of$$L^p:=L^{\otimes p}$$ L p : = L p that vanish to order at least$$\tau _jp$$ τ j p along$$\Sigma _j$$ Σ j ,$$1\le j\le \ell $$ 1 j . If$$Y\subset X$$ Y X is an irreducible analytic subset of dimensionm, we consider the space$$H^0_0 (X|Y, L^p)$$ H 0 0 ( X | Y , L p ) of holomorphic sections of$$L^p|_Y$$ L p | Y that extend to global holomorphic sections in$$H^0_0(X,L^p)$$ H 0 0 ( X , L p ) . Assuming that the triplet$$(L,\Sigma ,\tau )$$ ( L , Σ , τ ) is big in the sense that$$\dim H^0_0(X,L^p)\sim p^n$$ dim H 0 0 ( X , L p ) p n , we give a general condition onYto ensure that$$\dim H^0_0(X|Y,L^p)\sim p^m$$ dim H 0 0 ( X | Y , L p ) p m . WhenLis endowed with a continuous Hermitian metric, we show that the Fubini-Study currents of the spaces$$H^0_0(X|Y,L^p)$$ H 0 0 ( X | Y , L p ) converge to a certain equilibrium current onY. We apply this to the study of the equidistribution of zeros inYof random holomorphic sections in$$H^0_0(X|Y,L^p)$$ H 0 0 ( X | Y , L p ) as$$p\rightarrow \infty $$ p
    more » « less
  3. Abstract Let$$(h_I)$$ ( h I ) denote the standard Haar system on [0, 1], indexed by$$I\in \mathcal {D}$$ I D , the set of dyadic intervals and$$h_I\otimes h_J$$ h I h J denote the tensor product$$(s,t)\mapsto h_I(s) h_J(t)$$ ( s , t ) h I ( s ) h J ( t ) ,$$I,J\in \mathcal {D}$$ I , J D . We consider a class of two-parameter function spaces which are completions of the linear span$$\mathcal {V}(\delta ^2)$$ V ( δ 2 ) of$$h_I\otimes h_J$$ h I h J ,$$I,J\in \mathcal {D}$$ I , J D . This class contains all the spaces of the formX(Y), whereXandYare either the Lebesgue spaces$$L^p[0,1]$$ L p [ 0 , 1 ] or the Hardy spaces$$H^p[0,1]$$ H p [ 0 , 1 ] ,$$1\le p < \infty $$ 1 p < . We say that$$D:X(Y)\rightarrow X(Y)$$ D : X ( Y ) X ( Y ) is a Haar multiplier if$$D(h_I\otimes h_J) = d_{I,J} h_I\otimes h_J$$ D ( h I h J ) = d I , J h I h J , where$$d_{I,J}\in \mathbb {R}$$ d I , J R , and ask which more elementary operators factor throughD. A decisive role is played by theCapon projection$$\mathcal {C}:\mathcal {V}(\delta ^2)\rightarrow \mathcal {V}(\delta ^2)$$ C : V ( δ 2 ) V ( δ 2 ) given by$$\mathcal {C} h_I\otimes h_J = h_I\otimes h_J$$ C h I h J = h I h J if$$|I|\le |J|$$ | I | | J | , and$$\mathcal {C} h_I\otimes h_J = 0$$ C h I h J = 0 if$$|I| > |J|$$ | I | > | J | , as our main result highlights: Given any bounded Haar multiplier$$D:X(Y)\rightarrow X(Y)$$ D : X ( Y ) X ( Y ) , there exist$$\lambda ,\mu \in \mathbb {R}$$ λ , μ R such that$$\begin{aligned} \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C})\text { approximately 1-projectionally factors through }D, \end{aligned}$$ λ C + μ ( Id - C ) approximately 1-projectionally factors through D , i.e., for all$$\eta > 0$$ η > 0 , there exist bounded operatorsA, Bso thatABis the identity operator$${{\,\textrm{Id}\,}}$$ Id ,$$\Vert A\Vert \cdot \Vert B\Vert = 1$$ A · B = 1 and$$\Vert \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C}) - ADB\Vert < \eta $$ λ C + μ ( Id - C ) - A D B < η . Additionally, if$$\mathcal {C}$$ C is unbounded onX(Y), then$$\lambda = \mu $$ λ = μ and then$${{\,\textrm{Id}\,}}$$ Id either factors throughDor$${{\,\textrm{Id}\,}}-D$$ Id - D
    more » « less
  4. Abstract Let$$\mathbb {F}_q^d$$ F q d be thed-dimensional vector space over the finite field withqelements. For a subset$$E\subseteq \mathbb {F}_q^d$$ E F q d and a fixed nonzero$$t\in \mathbb {F}_q$$ t F q , let$$\mathcal {H}_t(E)=\{h_y: y\in E\}$$ H t ( E ) = { h y : y E } , where$$h_y:E\rightarrow \{0,1\}$$ h y : E { 0 , 1 } is the indicator function of the set$$\{x\in E: x\cdot y=t\}$$ { x E : x · y = t } . Two of the authors, with Maxwell Sun, showed in the case$$d=3$$ d = 3 that if$$|E|\ge Cq^{\frac{11}{4}}$$ | E | C q 11 4 andqis sufficiently large, then the VC-dimension of$$\mathcal {H}_t(E)$$ H t ( E ) is 3. In this paper, we generalize the result to arbitrary dimension by showing that the VC-dimension of$$\mathcal {H}_t(E)$$ H t ( E ) isdwhenever$$E\subseteq \mathbb {F}_q^d$$ E F q d with$$|E|\ge C_d q^{d-\frac{1}{d-1}}$$ | E | C d q d - 1 d - 1
    more » « less
  5. Abstract Perovskite oxides (ternary chemical formula ABO3) are a diverse class of materials with applications including heterogeneous catalysis, solid-oxide fuel cells, thermochemical conversion, and oxygen transport membranes. However, their multicomponent (chemical formula$${A}_{x}{A}_{1-x}^{\text{'}}{B}_{y}{B}_{1-y}^{\text{'}}{O}_{3}$$ A x A 1 x ' B y B 1 y ' O 3 ) chemical space is underexplored due to the immense number of possible compositions. To expand the number of computed$${A}_{x}{A}_{1-x}^{{\prime} }{B}_{y}{B}_{1-y}^{{\prime} }{O}_{3}$$ A x A 1 x B y B 1 y O 3 compounds we report a dataset of 66,516 theoretical multinary oxides, 59,708 of which are perovskites. First, 69,407$${A}_{0.5}{A}_{0.5}^{{\prime} }{B}_{0.5}{B}_{0.5}^{{\prime} }{O}_{3}$$ A 0.5 A 0.5 B 0.5 B 0.5 O 3 compositions were generated in theab+aGlazer tilting mode using the computationally-inexpensive Structure Prediction and Diagnostic Software (SPuDS) program. Next, we optimized these structures with density functional theory (DFT) using parameters compatible with the Materials Project (MP) database. Our dataset contains these optimized structures and their formation (ΔHf) and decomposition enthalpies (ΔHd) computed relative to MP tabulated elemental references and competing phases, respectively. This dataset can be mined, used to train machine learning models, and rapidly and systematically expanded by optimizing more SPuDS-generated$${A}_{0.5}{A}_{0.5}^{{\prime} }{B}_{0.5}{B}_{0.5}^{{\prime} }{O}_{3}$$ A 0.5 A 0.5 B 0.5 B 0.5 O 3 perovskite structures using MP-compatible DFT calculations. 
    more » « less