Microcanonical Action and the Entropy of Hawking Radiation

Extracted source text · arXiv 2111.06912

\documentclass[aps,prl,twocolumn,preprintnumbers,nofootinbib]{revtex4-1}
\usepackage{amsmath, mathrsfs, amssymb,amsfonts,amsthm,graphicx, epsf, dcolumn, yfonts}
\usepackage[utf8]{inputenc}
\usepackage[hyperfootnotes=true]{hyperref}
\usepackage{color}
\usepackage{slashed}
\usepackage{setspace}
\usepackage{cancel}
\usepackage{wasysym}
\usepackage[lofdepth,lotdepth]{subfig}
\usepackage{float}
 
\pdfoutput=1
\parskip = 0.07in

\def\mn{{\mu\nu}}
\def\MN{MN}
\newcommand{\la}[1]{\label{#1}}
\newcommand{\eq}[1]{(\ref{#1})}
\newcommand{\prt}[1]{{\left( {#1} \right)}}
 \newcommand{\be}{\begin{equation}}
 \newcommand{\ee}{\end{equation}}
 \newcommand{\bea}{\begin{eqnarray}}
 \newcommand{\eea}{\end{eqnarray}}
 \newcommand{\cf}{{\cal F}}
\newcommand{\cb}{{\cal B}}
\newcommand{\ch}{{\cal H}}
\def\del{\partial}
\def\pp{\partial}
\newcommand{\ff}{\frac}
\newcommand{\we}{\wedge}
\newcommand{\nn}{\nonumber \\}
\newcommand{\sq}{\sqrt}



\newcommand{\beq}{\begin{equation}}
\newcommand{\eeq}{\end{equation}}

\def\dxi{{\dot\xi}}
\def\dchi{{\dot\chi}}
\def\dphi{{\dot\phi}}
\def\a{\alpha}
\def\da{{\dot\alpha}}
\def\b{\beta}
\def\db{{\dot\beta}}
\def\g{\gamma}
\def\G{\Gamma}  \def\dc{{\dot\gamma}}
\def\d{\delta}  \def\D{\Delta}  \def\ddt{\dot\delta}
\def\e{\epsilon}        \def\vare{\varepsilon}
\def\f{\phi}    \def\F{\Phi}    \def\vvf{\f}
\def\h{\eta}
\def\k{\kappa}
\def\l{\lambda} \def\L{\Lambda}
\def\m{\mu} \def\n{\nu}
\def\o{\omega}
\def\p{\partial} \def\P{\Pi}
\def\r{\rho}
\def\s{\sigma}  \def\S{\Sigma}
\def\t{\tau}
\def\th{\theta} \def\Th{\Theta} \def\vth{\vartheta}
\def\X{\Xeta}
\def\z{\zeta}
\def\mn{{\mu\nu}}
\def\MN{MN}
\def\na{\nabla}
\def\lab{\label}


\newcommand{\MV}[1]{\textcolor{red}{\textsf{[MV: #1]}}}
\newcommand{\AS}[1]{\textcolor{blue}{\textsf{[AS: #1]}}}
\newcommand{\WS[1]}{\textcolor{purple}{\textsf{[WS: #1]}}}
\newcommand{\JP[1]}{\textcolor{green}{\textsf{[JP: #1]}}}





\begin{document}

%\preprint{xxx}

\title{Microcanonical action and the entropy of Hawking radiation} %\vspace{1mm}  \normalfont(or why islands are hot)}


%\title{Page curve for eternal black holes from the microcanonical gravitational path integral\\\vspace{1mm}   \normalfont{(or why islands are hot)}}
 

%Page curve for eternal black holes from  a nonreplicated gravitational path integral
%Island formula from nonreplicated path integral
%Islands are hot
%The Page curve and the on-shell action
\author{Juan F. Pedraza,$^{1}$ Andrew Svesko,$^{2}$ Watse Sybesma$^{3}$ and Manus R. Visser$^{4}$}
\affiliation{$^{1}$Departament de Física Quàntica i Astrofísica and
  Institut de Ciències del Cosmos, Universitat de Barcelona, 08028 Barcelona, Spain\\
$^2$Department of Physics and Astronomy, University College London, London WC1E 6BT, United Kingdom\\
$^3$Science Institute, University of Iceland,\\
Dunhaga 3, 107 Reykjav\'ik, Iceland\\
$^4$Department of Theoretical Physics, University of Geneva,\\
24 quai Ernest-Ansermet, 1211 Gen\`{e}ve 4, Switzerland
}

 

\begin{abstract}\vspace{-2mm} 
\noindent 
 

\noindent The island formula -- an extremization prescription for  generalized entropy -- is known to result in a unitary Page curve for the entropy of Hawking radiation. This semiclassical entropy formula has been    derived for Jackiw-Teitelboim (JT) gravity coupled to conformal matter using the ``replica trick" to evaluate the Euclidean path integral. Alternatively, for eternal Anti-de Sitter black holes, we derive the extremization of generalized entropy from  minimizing the microcanonical action of an entanglement wedge. The   on-shell action is minus the entropy and   arises in the saddle-point approximation of the (nonreplicated) microcanonical path integral. When the black hole is coupled to a bath, islands emerge from maximizing the   entropy   at fixed energy, consistent with the island formula. Our method applies to JT  gravity  as well as other two-dimensional dilaton gravity theories.   

  
\end{abstract}




\renewcommand*{\thefootnote}{\arabic{footnote}}
\setcounter{footnote}{0}

\maketitle

 \setcounter{secnumdepth}{1}

\section{Introduction}

 Hawking's discovery \cite{Hawking:1974rv,Hawking:1974sw} of thermal radiation emitted by black holes has led to a puzzle quantum gravity is expected to resolve: the information paradox~\cite{Hawking:1976ra}. A solution will provide a better understanding of the quantum mechanical evolution of black holes. Either black holes evolve unitarily, such that the von Neumann (vN) entropy of radiation $S_{\text{vN}}^{\text{rad}}$ follows a Page curve \cite{Page:1993wv,Page:2013dx}, or they do not. For  dynamical black holes  formed from gravitational collapse,  the Page curve has the generic feature  that $S_{\text{vN}}^{\text{rad}}$ increases from zero (as the radiation begins in a pure state), until it reaches a maximum at the Page time $t_{\text{P}}$,  and then decreases to zero at late times, thus conserving information. Advances motivated by the Anti-de Sitter/Conformal Field Theory (AdS/CFT) correspondence suggest $S_{\text{vN}}^{\text{rad}}$ indeed evolves unitarily \cite{Penington:2019npb,Almheiri:2019psf,Almheiri:2019yqk,Almheiri:2019hni,Almheiri:2019qdq,Penington:2019kki,Goto:2020wnk,Hollowood:2020kvk,Hollowood:2020cou,Wang:2021mqq}.

 Surprisingly, the unitary Page curve can be derived within semiclassical gravity. Crucial to this derivation are quantum extremal surfaces (QESs) -- codimension-2 surfaces $X$ which extremize the semiclassical generalized entropy $S_{\text{gen}}$ -- and the QES formula %, an extremization prescription of $S_{\text{gen}}$
 \cite{Hubeny:2007xt,Faulkner:2013ana,Engelhardt:2014gca} 
\beq S_{\text{vN}}(\Sigma_X)=\underset{X}{\text{min}}\,\underset{X}{\text{ext}}\left[\frac{\text{Area}(X)}{4G}+S^{\text{sc}}_{\text{vN}}(\Sigma_{X})\right] .\label{eq:QESformula}\eeq
Here, $S_{\text{vN}}(\Sigma_X)$ is the fine-grained vN entropy of $\Sigma_X$ in the full quantum theory, $S^{\text{sc}}_{\text{vN}}$ is the vN entropy of bulk quantum fields including   both  matter fields and the metric in the semiclassical approximation, and $\Sigma_{X}$ is a codimension-1 slice bounded by $X$ and a cutoff surface. The bracketed %term is the generalized entropy
term is the generalized entropy
%quantity inside the brackets
 $S_{\text{gen}}(\Sigma_X)$, 
 and obeys a generalized second law \cite{Bekenstein:1974ax,Wall:2010cj,Wall:2011hj}.
%of a black hole \cite{Bekenstein:1974ax} if $X$ coincides with the black hole  horizon $H$. 

The QES formula (\ref{eq:QESformula}) also holds for the vN entropy of Hawking radiation $S_{\text{vN}}^{\text{rad}}$, where it is known as the ``island formula" \cite{Almheiri:2019hni}. Indeed, applying  (\ref{eq:QESformula}) to evaporating or eternal black holes reveals a Page curve \cite{Penington:2019npb,Almheiri:2019psf,Almheiri:2019yqk}.  In this case $\Sigma_{X}$ may be disconnected, $\Sigma_{X}=\Sigma_{\text{rad}}\cup I$,
where $\Sigma_{\text{rad}}$ is the region outside the black hole 
%bounded by a cutoff surface and a region at infinity containing the radiation,
and $I$ is an ``island" with $X=\partial I$. For evaporating black holes $I$ lies inside the black hole   \cite{Almheiri:2019hni,Hollowood:2020cou,Wang:2021mqq}, while for eternal black holes islands extend outside the classical horizon \cite{Almheiri:2019yqk,Gautason:2020tmk,Hartman:2020swn,Chen:2020hmv,He:2021mst}. 
Motivated by \cite{Lewkowycz:2013nqa,Faulkner:2013ana,Dong:2016hjy,Dong:2016fnf,Dong:2017xht}, the island formula  has been derived using the ``replica trick" in the context of Jackiw-Teitelboim (JT) gravity \cite{Almheiri:2019qdq,Penington:2019kki,Goto:2020wnk}. 
The Page curve  arises from a   competition between two saddle point geometries dominating the Euclidean gravitational path integral (PI). At early times the (replicated)   black hole solution, or ``Hawking saddle'', dominates the PI and is responsible for the rise in $S_{\text{vN}}^{\text{rad}}$. At late times, ``replica wormholes" overtake the black hole leading to the ``island saddle" and, for evaporating black holes, a decrease in $S_{\text{vN}}^{\text{rad}}$.




Working in the microcanonical ensemble   \cite{Brown:1992bq,Banados:1993qp}, here we derive the extremization condition in (\ref{eq:QESformula})    from a (nonreplicated) $\text{AdS}_{2}$ gravitational PI. Indeed, for  black holes with  $U(1)$ Killing symmetry, the replica trick is not necessary to compute gravitational fine-grained entropies \cite{Casini:2011kv}. 
Rather, one may opt to use the standard thermal gravitational partition function \cite{Gibbons:1976ue}. Further,  in this ensemble we show how   islands arise for eternal $\text{AdS}_{2}$ black holes coupled to a bath, a setting with its own information paradox~\cite{Almheiri:2019yqk}.
%and islands arise from a (nonreplicated) gravitational path integral of an eternal $\text{AdS}_{2}$ black hole coupled to a bath, a setting with its own information paradox~\cite{Almheiri:2019yqk}.
 For definiteness, we will focus on semiclassical JT gravity but our methodology applies to more general two-dimensional (2D) dilaton theories of gravity.




\section{Semiclassical JT gravity and the Wald entropy}

 Semiclassical JT gravity is characterized by the action 
\beq I =I_{\text{JT}}+I_{\text{Pol}}\label{eq:totscact}\,,\eeq
where $I_{\text{JT}}=I_{\text{JT}}^{\text{bulk}}+I_{\text{JT}}^{\text{GHY}}+I_{\text{JT}}^{\text{ct}}$ is the classical JT action \cite{Jackiw:1984je,Teitelboim:1983ux} with a Gibbons-Hawking-York (GHY) term, such that the variational principle is well posed  for spacetimes~$M$ with boundary $B$, and a local counterterm to regulate divergences at $B$
\beq 
\begin{split}
&I_{\text{JT}}^{\text{bulk}}=\frac{1}{16\pi G}\int_{M}\hspace{-2mm}d^{2}x\sqrt{-g}\left((\phi_{0}+\phi)R+\frac{2\phi}{L^{2}}\right),\\
&I^{\text{GHY}}_{\text{JT}}+I^{\text{ct}}_{\text{JT}}=\frac{1}{8\pi G}\int_{B}\hspace{-2mm}dt\sqrt{-\gamma}\left((\phi_{0}+\phi)K-\frac{\phi}{L}\right).
\end{split}
\label{eq:JTclassact}\eeq
Here $\phi$ is the dilaton arising from a spherical reduction of the parent theory, $\phi_{0}$ a constant proportional to the extremal  entropy of the higher-dimensional black hole system, $L$ is the $\text{AdS}_{2}$ length scale, and $K$ is the trace of the extrinsic curvature of $B$ with induced metric $\gamma_{\mu\nu}$. The semiclassical contribution $I_{\text{Pol}}=I_{\text{Pol}}^{\text{bulk}}+I^{\text{GHY}}_{\text{Pol}}+I_{\text{Pol}}^{\text{ct}}$ is composed of the Polyakov action localized via an auxiliary massless scalar field $\chi$ of central charge $c$, a GHY term and counterterm \cite{Almheiri:2014cka} 
%\MV{ transparent boundary conditions. Different $B$ now, it's cutoff surface in flat space.}
\beq
\begin{split}
&I_{\text{Pol}}^{\text{bulk}}=-\frac{c}{24\pi}\int_{M}\hspace{-2mm}d^{2}x\sqrt{-g}\left[(\nabla\chi)^{2}+\chi R\right],\\
&I^{\text{GHY}}_{\text{Pol}}+I^{\text{ct}}_{\text{Pol}}=-\frac{c}{12\pi}\int_{B'}\hspace{-2mm}dt\sqrt{-\gamma}\left(\chi K+\frac{1}{2L}\right).
\end{split}
\label{eq:polyakovact}\eeq
Here $B'$ represents a   cutoff surface near infinity in the flat space regions, which are sewn at the $\text{AdS}_{2}$ boundary~$B$  with transparent boundary conditions, as in \cite{Almheiri:2019yqk}. Notably, the Polyakov action arises as the quantum effective action associated to the conformal anomaly of a $\text{CFT}_{2}$  coupled to any 2D theory of gravity \cite{Christensen:1977jc}.

Semiclassical JT gravity  admits eternal $\text{AdS}_{2}$ black holes as a solution, for which the line element of the metric $g_{\mu\nu}$ in Schwarzschild coordinates $(t,r)$ is 
\beq d\ell^{2}=-f(r)dt^{2}+f^{-1}(r)dr^{2},\quad f(r)=\frac{r^{2}}{L^{2}}-\mu,\label{eq:Schwmet}\eeq
with $\mu$ a mass parameter in the classical Arnowitt-Deser-Misner (ADM) energy. The horizon is at $r_{H}=L\sqrt{\mu}$. 
The remaining semiclassical equations of motion may be solved once the state of the quantum matter is specified.  Requiring regularity at the horizon fixes the vacuum state to be the      Hartle-Hawking  state $|\text{HH}\rangle$ \cite{Hartle:1976tp,Spradlin:1999bn},   for which observers in (null) static  coordinates $(u,v)=(t-r_{\ast},t+r_{\ast})$, with tortoise coordinate $r_{\ast}\in[-\infty,0]$,
%$ds^{2}=-e^{2\rho}dudv$, with $e^{2\rho}=\mu \sinh^{-2}[\frac{\sqrt{\mu}}{2L}(v-u)]$, 
see a thermal bath of particles at Hawking temperature $T_{\text{H}}=\frac{\sqrt{\mu}}{2\pi L}$. The expectation value of the normal-ordered  Polyakov stress  tensor   is $\langle \text{HH}|:T^{\chi}_{uu}:|\text{HH}\rangle=\frac{c\pi}{12} T_{\text{H}}^{2}$ (and similarly for $T_{vv}^\chi$). %$\langle T^{\chi}_{\mu\nu}\rangle\equiv-\frac{2}{\sqrt{-g}}\frac{\delta I_{\chi}^{\text{Pol}}}{\delta g^{\mu\nu}}$. 
With respect to $|\text{HH}\rangle$, the semiclassical correction to $\phi$ is just a constant   \cite{Almheiri:2014cka,Pedraza:2021cvx}
\beq \phi(r)=\phi_{r}\frac{r}{L}+\frac{Gc}{3}= \phi_r \sqrt{\mu} \coth \! \left(\!- \frac{\sqrt{\mu}}{L} r_* \!\right)  + \frac{Gc}{3}\;,\label{eq:dilatonsol}\eeq
where the dimensionless parameter $\phi_{r}>0$ is the boundary value of $\phi$, such that at a cutoff $r=\epsilon_{c}^{-1}$ near the boundary $\phi\to\frac{\phi_{r}}{\epsilon_{c}L}$. 
Recently, moreover, we demonstrated $\chi$ is generically time dependent, such that in the Hartle-Hawking state $|\text{HH}\rangle$ \cite{Pedraza:2021cvx}
\beq 
\begin{split}
\chi&=-\frac{1}{2}\log\left[4\mu\left(1+\frac{\mu UV}{L^{2}}\right)^{-2}\right]\\
&+k-\log\left[\left(K_{U}-\frac{\sqrt{\mu} U}{L}\right)\left(K_{V}+\frac{\sqrt{\mu}V}{L}\right)\right],
\end{split}
\label{eq:chi5}\eeq
where  $(U,V)=(-\frac{L}{\sqrt{\mu}}e^{-\frac{\sqrt{\mu} u}{L}},\frac{L}{\sqrt{\mu}} e^{\frac{\sqrt{\mu} v}{L}})$ are  dimensionful Kruskal coordinates, 
%$ds^{2}=-e^{2\rho}dUdV$, with $e^{2\rho}=4\mu(1+\frac{\mu UV}{L^{2}})^{-2}$, 
and $k,K_{U},K_{V}$ are constants. 
%\MV{Perhaps it would be better to define the null static and Kruskal coordinates in terms of $(t,r)$ coordinates, instead of stating the metric in these coordinates. That is more concise and connects everything in a better way, I think. If we have enough space we could do both of course. Another option would be to write the AdS2 metric in conformal gauge in Appendix A, since we need it there.} \AS{We could reference our appendix A of our other paper to see how Schwarzschild coordinates relate to Kruskal etc. It all depends on the space.}

Directly from the action (\ref{eq:totscact}), using the Noether charge formalism \cite{Wald:1993nt}, we can derive the Wald entropy $S_{\text{W}}$   
\beq S_{\text{W}}\equiv - 2\pi \epsilon_{\mu \nu} \epsilon_{\rho \sigma} \frac{\partial \mathcal L}{\partial R^{\mu \nu \rho \sigma}} =\frac{1}{4G}(\phi_{0}+\phi)-\frac{c}{6}\chi,\label{eq:waldent}\eeq
which is generally evaluated on a bifurcate  Killing horizon with binormal $\epsilon_{\mu\nu}$. Remarkably, imposing   a Dirichlet boundary condition  on $\chi$,   consistent with the transparent boundary condition at~$B$, the integration constants $k,K_{U},K_{V}$ may be fixed such that the semiclassical correction to $S_{\text{W}}$ is exactly the vN entropy of a single  interval with endpoints   $(U_{1},V_{1})$ and $(U_{2},V_{2})$ of a $\text{CFT}_{2}$ in $|\text{HH}\rangle$  with UV regulators $\delta_1,\delta_2$ \cite{Pedraza:2021cvx}
%\beq  
\begin{align} 
S_{\text{vN}}^{\text{HH}}&=-\frac{c}{6}\chi=\frac{c}{12}\log\left[\frac{16\mu^{2}}{\left(1+\frac{\mu U_{1}V_{1}}{L^{2}}\right)^{2}\left(1+\frac{\mu U_{2}V_{2}}{L^{2}}\right)^{2}}\right] \nonumber\\
&+\frac{c}{12}\log\left[\frac{1}{\delta_{1}^{2}\delta_{2}^{2}}(U_{2}-U_{1})^{2}(V_{2}-V_{1})^{2}\right].
\label{eq:vnentHH2}   \end{align}
We emphasize that this result simply follows from solving $\chi$ with Dirichlet boundary. Consequently, while the Wald entropy is evaluated on some bifurcation point, the solution $\chi$ describes the entropy associated with an interval. 
Thus, in semiclassical JT gravity the Wald entropy~(\ref{eq:waldent}) equals the  generalized  entropy $S_{\text{gen}}$   \cite{Pedraza:2021cvx}
\beq S_{\text{W}}= S_{\text{BH}} + S_{\text{vN}}^{\text{HH}}=S_{\text{gen}},\label{eq:SWisSgen}\eeq
which is  the sum of the Bekenstein-Hawking entropy $S_{\text{BH}} = \frac{1}{4G}(\phi_0 + \phi)$ -- corresponding to the area term in \eqref{eq:QESformula} in higher dimensions -- and the CFT entropy $S_{\text{vN}}^{\text{HH}} $ \eqref{eq:vnentHH2}.  %In the case of time-reflection symmetry, $t_{L}=t_{R}$, the variation of $S_{\text{W}}$ also features in  the semi-classical first law of AdS-Rindler space \cite{Pedraza:2021cvx}. 
This resolves the discrepancy  found in \cite{Myers:1994sg} between the Wald entropy and generalized entropy in two dimensions.

A key insight of \cite{Pedraza:2021cvx} is that, in the microcanonical ensemble, the generalized entropy is equal to the microcanonical entropy. Further, $S_{\text{gen}}$ is stationary at fixed energy, $\delta S_{\text{gen}}|_{E}=0$, which has the basic elements of the extremization prescription in the QES formula. This observation suggests, at least for backgrounds with $U(1)$ Killing symmetry, that we may compute the generalized entropy and its extremization directly when working with Euclidean path integrals in the microcanonical ensemble. 



\section{Microcanonical action and generalized entropy}

We are interested in deriving the extremization prescription in the QES formula (\ref{eq:QESformula}) from first principles. This was accomplished in \cite{Dong:2017xht} using the replica trick. Now we will show for eternal black holes how to derive the extremization of $S_{\text{gen}}$ from a gravitational Euclidean PI in the microcanonical ensemble.

%The island formula  has been derived for eternal and dynamical $\text{AdS}_{2}$ black holes using the ``replica trick" \cite{Almheiri:2019qdq,Penington:2019kki,Goto:2020wnk}, even in real-time \cite{Colin-Ellerin:2020mva,Colin-Ellerin:2021jev}. 

%Now we show for eternal black holes how to derive the extremization prescription for generalized entropy from a  gravitational Euclidean PI in the microcanonical ensemble. %the two saddles   also follow  from a  gravitational PI in the microcanonical ensemble. %In this set-up the Hawking curve is said to be generated by the ``Hawking saddle", which dominates the PI for $t<t_{\text{P}}$, while the features of the Page curve beyond $t>t_{\text{P}}$ follow from the ``island saddle" where replica wormholes dominate the PI.
We consider  the saddle-point approximation to the microcanonical gravitational partition function \cite{Brown:1992bq,Brown:1994su}
\begin{equation}
    W (E_0) = \int  \mathcal  D \psi e^{-I_{\text E}^{\text{mc}}( \psi)} \approx e^{-I_{\text E}^{\text{mc}} (  \psi_0)}\,,
\label{eq:microcanZ}\end{equation}
where the path integral is taken over all dynamical fields $\psi=(g_{\mu\nu},\phi,\chi)$ with fixed energy $E_0$ (specified below). In the saddle-point approximation  the Euclidean microcanonical action $I_{\text E}^{\text{mc}}$   is  evaluated on the solutions $ \psi_0 $ of the semiclassical field equations. We will compute the action $I_{\text E}^{\text{mc}}$ on the entanglement wedge \cite{Czech:2012bh,Wall:2012uf,Headrick:2014cta} of an interval $\Sigma$ in $\text{AdS}_{2}$, which is the domain of dependence  of any achronal surface with boundary $\partial \Sigma$. 
%$\mathcal{B}\cup P$, where $\mathcal{B}$ is any point in $\text{AdS}_{2}$ and $P$ is any point in the flat space bath region.
The microcanonical boundary condition specifies an  entanglement wedge at fixed energy $E_{0}$ in the  eternal $\text{AdS}_{2}$ black hole background, where the external $\text{CFT}_{2}$ remains in  the Hartle-Hawking vacuum. 

\begin{figure}[t]
%\centering
 \hspace{-.75cm} \includegraphics[width=4.6cm]{Lordiam.pdf}$\quad$\includegraphics[width=4.3
 cm]{euclideandiamond.pdf}
\caption{Lorentzian $\text{AdS}_{2}$ diamond (left) and its Euclidean continuation (right) in Kruskal coordinates $(T,X)=(\frac{1}{2}(V+U),\frac{1}{2}(V-U))$. Lines of constant $x$ (red) and lines of constant $s,s_{\text{E}}$ (blue) are  at equal  intervals of 0.125. 
%Lines of constant $x$ are in red and lines of constant $s,s_{\text{E}}$ (left, right) are in blue.
On the right,
%$s_{\text{E}}$ (blue), constant $x$ (red) and %a singularity at $(x,s_{\text{E}})=(1/4,\pi/2)$ are shown. High
high contour density corresponds to horizon punctures at $x=\pm\infty$. We have set $a=b=1/2$, $\mu=L=\kappa_{a}=\kappa_{b}=1$ and $u_0\neq v_0\neq 0$.
\label{fig:diamonds}}
\end{figure}
 
 The entanglement wedge consists of a rectangular causal diamond (CD)  with null boundaries    at $(u-u_0=\pm a, v-v_0 =\pm b )$, where $a,b>0$   are in principle different   length scales. Since after extremizing $I_{\text{E}}^{\text{mc}}$ the lengths $a$ and $b$ coincide, we set $a=b$ for purposes of clarity.  Such CDs have a conformal isometry generated by a conformal Killing vector  $\zeta$  \cite{Jacobson:2015hqa,Jacobson:2018ahi,Visser:2019muv}, which we  fix uniquely by demanding $\zeta$ becomes the boost Killing vector of $\text{AdS}_{2}$-Rindler when the future and past vertices of the CD both lie on the AdS boundary (see Appendix \ref{appA}). We cover the CD in  ``diamond universe" coordinates $(s,x)$, adapted to the flow of the vector field~$\zeta$ \cite{Jacobson:2018ahi} (left Fig.~\ref{fig:diamonds}). The coordinate $s$ is the conformal Killing time, satisfying $\zeta \cdot ds =1 $. The   line element in these coordinates is   (Appendix \ref{appB})
  \beq d\ell^{2}=C^{2}(s,x)(-ds^{2}+dx^{2}),\label{eq:diamonduni}\eeq
  with $s,x\in[-\infty,\infty]$ and the conformal factor $C^{2}$ given in~(\ref{eq:conffact}).  %With respect to $(s,x)$, $\zeta=\partial_{s}$, such that $s$ is the conformal Killing time obeying $\zeta\cdot ds=1$. 
  The  null boundaries  are conformal Killing horizons with constant surface gravity $\kappa$, defined by $\nabla_{\mu}\zeta^{2}=-2\kappa\zeta_{\mu}$ \cite{Jacobson:1993pf}, which is positive on the future horizon and negative on the past horizon (below we take~$\kappa >0$).  When restricting the HH state to the CD, it becomes a thermal density matrix   with temperature $T = \kappa /2\pi$.
  %The CD has two future (conformal) Killing horizons located along the future null boundaries $u-u_{0}=a$ and $v-v_{0}=b$ for positive length scales $a,b$. 
  Near the  null boundaries  of the causal diamond at $x=\pm\infty$, the metric  (\ref{eq:diamonduni}) is approximately
  \beq d\ell^{2} \approx  4L^{2}\kappa^{2}e^{\mp2\kappa x}(-ds^{2}+dx^{2}).\label{eq:nearhorizonCD}\eeq
This is simply the    Rindler metric $d \ell^2 = -\kappa^{2}\varrho^{2}ds^{2}+d\varrho^{2}$, with     radial coordinate   $\varrho\equiv 2L e^{\mp\kappa x}$ and  surface gravity $ \kappa=\mp C^{-1}\partial_{x}C |_{x\to\pm\infty}$. Hence, $\zeta = \partial_s$ becomes an approximate boost Killing vector near  $x=\pm\infty$.



   

Next, we compute the on-shell microcanonical action of CDs in semiclassical JT gravity following the  Hilbert action surface term  method of \cite{Banados:1993qp,Banks:2020tox}. Concretely, we evaluate the GHY term on the boundary of an infinitesimal   disk $D_\epsilon$ of radius $\epsilon$ orthogonal to the  punctures $ \partial \Sigma:x =\pm \infty $ in the   Euclidean   diamond (right Fig. \ref{fig:diamonds}), 
\begin{equation}
    I_{\text{E}}^{\text{mc}} =-\lim_{\epsilon\to 0} \int_{\partial D_\epsilon \times \partial \Sigma}\hspace{-4mm}ds_E \sqrt{ \gamma} K \!\left[\frac{(\phi_0 + \phi)}{8\pi G} - \frac{c\chi}{12 \pi} \right].
\label{eq:microcanactCD}\end{equation}
 Here Euclidean time $s_{\text{E}}=is$ is periodic, $s_{\text{E}}\sim s_{\text{E}}+\frac{2\pi}{\kappa}$, to remove the conical singularity at $x =\pm \infty $ or $\varrho=0$. Note this regularity condition at the horizon is consistent with our choice of the Hartle-Hawking vacuum state \cite{Jacobson:1994fp}. Further, $\sqrt{\gamma} = C$ is the induced metric on   constant $s_{\text{E}}$ slices and  the extrinsic trace  of these slices is $K= \mp C^{-2}\partial_x C$.   Crucially,  in the limit $x\to\pm\infty$, the fields $\phi$ (\ref{eq:dilatonsol}) and $\chi$ (\ref{eq:chi5})  are independent of $s_{\text{E}}$, and $\sqrt{\gamma}K\to\kappa$, leading to
\beq I^{\text{mc}}_{\text{E}}=-S_{\text{gen}} \big |_{\partial \Sigma}, \label{eq:actionentropy}\eeq
where we used \eqref{eq:waldent} and  the nontrivial fact   $S_{\text{W}}=S_{\text{gen}}$.
%Here we also used that at $P$ ($x=\infty$)  we can set $\phi=0$ (no gravity) and $\chi=0$ (the Dirichlet boundary condition), so only $S_{\text{W}}$ of $\mathcal{B}$ and $\mathcal{B}'$ ($x=-\infty$) is included. 
This is a semiclassical extension of the microcanonical action formula $I_{\text{E}}^{\text{mc}}=-S_{\text{BH}}$ obtained by \cite{Brown:1992bq,Banados:1993qp}, and may be interpreted as a path integral derivation of the generalized entropy of causal diamonds. Note since $\partial \Sigma$  consists of two points, the action is actually twice the entropy.
We further  derive    \eqref{eq:microcanactCD} and  (\ref{eq:actionentropy})   in Appendix \ref{app:Micactfirstlaw} using the Noether charge method \cite{Wald:1993nt,Iyer:1994ys,Iyer:1995kg}, and show that the microcanonical   on-shell action is proportional   to the Noether charge.
Thus,  we find the partition function (\ref{eq:microcanZ}) equals the density of states $W \approx e^{S_{\text{gen}}}$ in the saddle-point approximation, with 
$S_{\text{gen}}$  as the microcanonical entropy.



In   standard thermodynamics the entropy is maximized at fixed energy  in the microcanonical ensemble. Thence, via \eqref{eq:actionentropy}, the microcanonical action $  I^{\text{mc}}_{\text{E}}  $ is minimized at some fixed energy $E_0$. 
%We may infer $E_{0}$ using a result from standard thermodynamics: in the microcanonical ensemble the action is minimized at fixed energy $E$. 
For CDs we can infer $E_{0}$  from the variation of the microcanonical action on the full Euclidean diamond $M_{\text E}^{\text{CD}}$, which has a Euclidean time circle $S^1$ of period $2\pi /\kappa$ . Explicitly, 
%the  variation of $  I^{\text{mc}}_{\text{E}}  $is 
(see Appendix~\ref{app:Micactfirstlaw}) 
\begin{equation}
    \delta I^{\text{mc}}_{\text{E}}   =  \int_{M_{\text E}^{\text{CD}}} ds_{\text{E}}  \wedge \omega (\psi, \delta \psi, \mathcal L_\zeta \psi) = \int_{S^1} ds_{\text{E}}  \delta H_\zeta \,, \label{eq:varactionmain}
\end{equation}
where   $\omega (\psi,\delta  \psi, \mathcal{L}_{\zeta}\psi)$  is the symplectic current 1-form evaluated on the Lie derivative  $\mathcal{L}_{\zeta}\psi$ of $\psi$ along $\zeta$. In the second equality we inserted Hamilton's equations, $\delta H_\zeta=\int_{\Sigma_{s_{\texttt{E}}}} \omega (\psi, \delta \psi, \mathcal L_\zeta \psi)$, where $  H_\zeta$ is  the  Hamiltonian generating evolution along the flow of $\zeta$ and $\Sigma_{s_{\texttt{E}}}$ are   constant $s_{\text E}$ slices that smoothly intersect  $\partial\Sigma$.  Therefore, the action $I^{\text{mc}}_{\text{E}}$ is stationary at fixed  energy   $E_0\sim H_\zeta$. %Note $H_{\zeta}$ cannot be computed explicitly, since only its variation is known.
 
 By way of (\ref{eq:actionentropy}), the variational identity (\ref{eq:varactionmain}) is an integrated version of the  semiclassical first law for $\text{AdS}_{2}$ CDs, $\frac{\kappa}{2\pi} \delta S_{\text{W}}=- \delta H_{\zeta}$, which can be derived using the Noether charge method
%, and is given by  $\frac{\kappa}{2\pi} \delta S_{\text{W}}=- \delta H_{\zeta}$ 
\cite{Jacobson:2018ahi,Pedraza:2021cvx}. Since the CFT is in the HH state,   $T=\frac{\kappa}{2\pi}$ is identified as the temperature of the causal diamond.
 %, imbuing a thermal character onto the island.
 The first law turns into a proper thermodynamic first law $T \delta S_{\text{gen}} = \delta E_0$ if we identify $E_0 = - H_\zeta.$ Alternatively, one may include the minus sign into the temperature $T$ as done in \cite{Jacobson:2018ahi,Jacobson:2019gco}, however, this  negative temperature seems inconsistent with the thermality of the HH state when reduced to the CD, see   \eqref{eq:diamondthermo}. Moreover,  the first law or \eqref{eq:actionentropy}-(\ref{eq:varactionmain})
tells us the thermodynamic potential defining the microcanonical ensemble is $S_{\text{gen}}(E_{0})$, obeying the equilibrium condition $\delta S_{\text{gen}}|_{E_{0}}=0$. This proves Jacobson's entanglement equilibrium hypothesis  for JT gravity \cite{Jacobson:2015hqa,Bueno:2016gnv,Callebaut:2018xfu}, which thus holds in the microcanonical ensemble. %The canonical ensemble is obtained by performing a Legendre transform on the $S_{\text{gen}}(E_{0})$, such that one attains the semi-classical free energy of the CD $F_{\zeta}=E_0-T  S_{\text{gen}} $, satisfying $\delta F_{\zeta}|_{T}=0$. 
%\MV{Say we don't know what the exact expression for $H_\zeta$ is}

\section{Quantum extremal surfaces}

 The extremization prescription in the QES formula (\ref{eq:QESformula}), for eternal AdS$_2$ black holes coupled to a  heat bath, thus arises from extremizing the microcanonical action $I_{\text{E}}^{\text{mc}}$, and will lead to the existence of QESs. Specifically, for $\partial \Sigma$ consisting of one   endpoint in AdS$_2$ and one in flat space near the AdS boundary, the Wald entropy \eqref{eq:waldent} of the latter point vanishes, since there  $\phi=0$ (no gravity) and $\chi=0$ (Dirichlet boundary condition). We can then extremize    $S_{\text{gen}}$ (\ref{eq:SWisSgen}) using (\ref{eq:vnentHH2}) with respect to the first endpoint  $(U_{1},V_{1})$  while holding the second point  $(U_{2},V_{2})$ fixed. Subtracting the extremization conditions   yields $U_1/V_1 = U_2/V_2$ or $t_1 = t_2 $ \cite{Pedraza:2021cvx}. Substituting this into $S_{\text{gen}}$   gives a time-independent result, whereby removing the   divergence near the  boundary ($r_{*,2} \to 0$), yields
\begin{equation}
 S_{\text{gen}} (r_*)=  S_{\text{BH}}(r_*) +\frac{c}{6}\log \left [ 2 \sqrt{\mu} \tanh\left (-\frac{\sqrt{\mu} r_*}{2 L} \right)\right]  %= S_{\phi_0}+ \frac{\phi_r \sqrt{\mu}}{4 G} \coth \left ( - \frac{\sqrt{\mu}}{L}r_* \right) + \frac{c}{12}+\frac{c}{6}\log \left [ 2 \sqrt{\mu} \tanh\left (-\frac{\sqrt{\mu} r_*}{2 L} \right)\right]
    \end{equation}
with $r_{*}=r_{*,1}.$ 
%with $S_{\text{BH}}(r_*) = \frac{1}{4G} (\phi_0 + \phi)(r_*)$. 
Extremizing $S_{\text{gen}}$ with respect to $r_*$ leads to  a QES just outside the  classical    horizon \cite{Almheiri:2019yqk,Pedraza:2021cvx}  
\begin{align} \label{eq:QESloc}
r_{\text{QES}} &=\frac{2}{3} r_{H}  \epsilon \sqrt{1 +  \frac{9}{4 \epsilon^2}} \approx r_{H}\left(1+\frac{2\epsilon^{2}}{9}\right), \quad \text{or}\\
 r_{*,\text{QES}} &=-\frac{L}{\sqrt{\mu} } \text{arcsinh}  \left ( \frac{3}{2 \epsilon}\right)  \approx- \frac{L}{\sqrt{\mu}} \left ( \log\left(\frac{3}{\epsilon}\right) +\frac{\epsilon^2}{9}   \right).\nonumber
\end{align}  
The first equality is an exact expression for the QES location, and in the second equality we expanded in terms of the small parameter $\epsilon\equiv\frac{Gc}{\sqrt{\mu}\phi_{r}}\ll1$, which follows  from the semiclassical   regime of validity  $\phi(r_{H})/G\gg c \gg 1$. 


\begin{figure}[t]
%\centering
 \includegraphics[width=\columnwidth]{penroseads2.pdf}
\caption{Penrose diagram of $\text{AdS}_{2}$ (blue) coupled to a bath (green)  displaying Hawking (left) and island phases (right).  On the right, $Q_{L,R}$ are   quantum extremal surfaces  bounding the island  $I$ (purple). In the Hawking phase the entanglement wedge (yellow) of the black hole  is the Wheeler-deWitt patch and in the island phase it consists of two identical causal diamonds. 
\label{fig:penrosefig}} %\vspace{-2cm}
\end{figure}



\section{Islands and entropy of Hawking radiation} 

 We can adapt our prescription to obtain the island and Hawking saddles corresponding to the island and Hawking phases in the Page curve for eternal $\text{AdS}_{2}$ black holes in equilibrium with a flat space bath at temperature $T_{\text{H}}$ \cite{Almheiri:2019yqk} (see Fig. \ref{fig:penrosefig}). Radiation emitted from the black hole into the bath is modeled by a $\text{CFT}_{2}$ at large central charge~$c$, entirely encoded by the semiclassical Polyakov action, and is in the HH state. To maintain equilibrium, radiation entering the baths is compensated by infalling matter, such that the total entropy $S$ of the system is the sum of the entropies $S_{\text{BH}}$ of the two sides of the black hole, $S=2S_{\text{BH}}$. While our derivation above is in Euclidean signature, we analytically continue to Lorentzian signature below. 


The island formula technically computes the vN entropy of Hawking radiation using the entanglement wedge of the radiation. However, since the HH state is pure, we instead compute the action $I_{\text E}^{\text{mc}}$ on the entanglement wedge of the black hole, as in \cite{Almheiri:2019qdq,Almheiri:2020cfm}. 
The entanglement wedge of the black hole  is the union of   the domain of dependence  of achronal surfaces with boundaries $\partial \Sigma = \mathcal B \cup P_R$ and  $\partial \Sigma' = \mathcal B'\ \cup P_L$, where  $P_{R,L}$ are   points in the flat region   close to the   boundary and $\mathcal B,\mathcal B'$ are   arbitrary  points in AdS$_2$.
After extremization, $\mathcal B$ becomes the QES $Q_R$ and $\mathcal B' $ turns into $Q_L$ for the island saddle, while $\mathcal{B}'=\mathcal B=P_L$ for the Hawking saddle. Thus, in the island phase the entanglement wedge of the black hole is given by two CDs, while in the Hawking phase the entanglement wedge is a single CD. 


In the island phase we compute the on-shell action for the two identical CDs with edges $\partial \Sigma = \mathcal B \cup P_R$  and $\partial \Sigma' = \mathcal B' \cup P_L$ (right Fig. \ref{fig:penrosefig}). We can treat each diamond separately due to large-$c$ factorization \cite{Hartman:2013mia,Rolph:2021nan} or because at times $t\gg t_{\text{P}}\gg \mu^{-1/2}L$    the vN entropy of the two CDs reduces to twice the entropy of one diamond due to an operator product expansion where $P_{R} (P_L)$ and $\mathcal B (\mathcal B')$ are close \cite{Almheiri:2019yqk}.
Focusing on the right CD, extremization of (\ref{eq:actionentropy}) fixes $t_{\mathcal B}=t_{P_{R}}$ (which implies $a=b$) and $\mathcal{B}=Q_{R}$,
%with (\ref{eq:microcanactCD}) evaluated over the two finite CDs (left Fig. \ref{fig:penrosefig}), 
such that  $S_{\text{gen}}$  evaluated at the QES (\ref{eq:QESloc}) is \cite{Pedraza:2021cvx}
\beq S_{\text{gen}}(r_{\text{QES}})\approx S_{\text{BH}}  +\frac{c}{6}\log(2\sqrt{\mu})- \frac{c \epsilon}{9}+\mathcal{O}(\epsilon^{2}).
\label{eq:SgenQES}\eeq
Here we used $S_{\text{gen}}|_{\partial \Sigma}=S_{\text{gen}}   |_{Q_R}$ since at $P_{R}$ ($x=\infty$)  we can set $\phi=0$  and $\chi=0$. A similar discussion holds for the left CD.
%Here we also used that at $P_{R,L}$ ($x=\infty$)  we can set $\phi=0$ (no gravity) and $\chi=0$ (the Dirichlet boundary condition), so only $S_{\text{W}}$ of $\mathcal{B}$ and $\mathcal{B}'$ ($x=-\infty$) is included
Including both CDs, since $\phi_{0}/G\gg\phi_{r}\sqrt{\mu}/G\gg c$, for $t>t_{\text{P}}$ we find $S_{\text{vN}}^{\text{rad}}\approx 2S_{\text{BH}}$, consistent with \cite{Almheiri:2019yqk} and up to small corrections near $t\sim t_{\text P}$ \cite{Akers:2020pmf}. Thus, we have derived the constant island phase in the Page curve, where the island is identified as the interval $[Q_L, Q_R]$. 

 
%We first consider including an island such that $\Sigma_{X}=[\infty_{L},P_{L}]\cup[Q_{L},Q_{R}]\cup[P_{R},\infty_{R}]$. %The vN entropy $S_{\text{vN}}^{\text{rad}}(\Sigma_{X})$ may be found using the QES formula (\ref{eq:QESformula}).
%Practically, since the HH state is pure, one instead computes the entropy of the complement $\bar{\Sigma}_{X}=[P_{L},Q_{L}]\cup[Q_{R},P_{R}]$, and 

The Hawking phase also follows from extremizing  the action (\ref{eq:actionentropy}). However, since gravity is absent in the flat space bath regions, one neglects the dilaton.
%Bekenstein-Hawking entropy contribution to $S_{\text{gen}}$, \emph{i.e.}, the dilaton. 
%In this set-up there is no island such that the entanglement wedge for radiation is $\Sigma_{X}=\Sigma_{\text{rad}}=[\infty_{L},P_{L}]\cup[P_{R},\infty_{R}]$. The vN entropy of the two intervals in the left and right Rindler patches (left Fig. \ref{fig:penrosefig}) is equal to the entropy $S_{\text{vN}}^{\text{HH}}$ in  (\ref{eq:vnentHH2}) of the single interval $[P_{L},P_{R}]$, with endpoints $P_L=(U_{L},V_{L})$ and $P_R=(U_{R},V_{R})$, both near the $\text{AdS}_{2}$ boundary ($r_{\ast}\to0$ or $UV\to-\mu^{-1}L^{2}$). 
Extremizing $S^{\text{HH}}_{\text{vN}}$ with respect to $(U_{L},V_{L})$ results in   $U_L = V_R$ and $V_L= U_R$ (or, $t_{L}=-t_{R}\equiv- t$ and $r_{\ast,L}=r_{\ast,R}\equiv r_{\ast}$) and $r_{\ast}\ll \mu^{-1/2}L$ and $t\gg \mu^{-1/2}L$. This fixes $\mathcal{B}'=\mathcal{B}=P_{L}$ to be close to the left AdS boundary, such that the Polyakov term in $I^{\text{mc}}_{\text{E}}$ (\ref{eq:microcanactCD}) is evaluated over a Wheeler-deWitt CD (left Fig. \ref{fig:penrosefig}). 
Inserting the extremal points into $S_{\text{vN}}^{\text{HH}}$ yields a time-dependent result~\cite{Almheiri:2019yqk}
\beq 
\begin{split}
S_{\text{vN}}^{\text{HH}}&=\frac{c}{3}\log\left[\frac{2L}{  {\delta}   }\frac{\cosh(\sqrt{\mu}t/L)}{\sinh(-\sqrt{\mu}r_{\ast}/L)}\right]\\
&\approx \frac{c}{3}\frac{\sqrt{\mu}}{L}t+...\,, \quad t\gg L/\sqrt{\mu}.
\end{split}
\label{eq:SvnHHt}\eeq
%The divergence at $r_{\ast}\to0$ is removed by the regulator  $\delta =  {\delta}_{L} = {\delta}_{R}$. 
One may interpret the growth in time    as arising from a sequence of Wheeler-deWitt CDs of each time slice. This linear growth   leads to an information paradox~\cite{Almheiri:2019yqk}. 

Combined, we see extremizing (\ref{eq:actionentropy})   yields the Hawking and island phases of $S_{\text{vN}}^{\text{rad}}(t)$.  
%for eternal black holes coupled to a bath \cite{Almheiri:2019yqk}. 
According to the QES formula (\ref{eq:QESformula}) the Page curve follows from a global minimization over the location of the QES, where the turnover between the Hawking and island curves occurs at the Page time $t_{\text{P}}=\frac{6\beta_{\text{H}}}{2\pi c}S_{\text{BH}}\approx\frac{3L\phi_{0}}{2\sqrt{\mu}Gc}\gg1$. This global minimization is not apparent from extremizing $I^{\text{mc}}_\text{E}$ or from the maximization condition on $S_{\text{gen}}$ found here.
%and stands in contrast to the maximization condition on the generalized entropy found here. % Rather, akin to the replica methods of \cite{Almheiri:2019qdq,Penington:2019kki,Goto:2020wnk}, we have shown how a saddle-point analysis of microcanonical gravitational PIs of Euclidean CDs reduces the vN entropy of Hawking radiation, consistent with unitarity. To claim a derivation of the Page curve, it is necessary to have a better understanding of the dynamic exchange in dominance of the WdW and finite CDs relevant for the Hawking and island phases, respectively.  
This is because we are working in a microcanonical ensemble. Our choice of  ensemble is akin to \cite{Marolf:2018ldl} who found the condition of dominance in the microcanonical path integrals of small eternal AdS black holes corresponds to maximizing the holographic entanglement  entropy \cite{Hubeny:2007xt}. Crucially, maximizing $S_{\text{gen}}$ with respect to the solution at fixed $E_{0}$ is consistent with the QES prescription~\eqref{eq:QESformula} of  extremizing $S_{\text{gen}}$ with respect to the location and shape of $X$ \cite{Marolf:2018ldl}.
%To clarify, note we evaluate the Euclidean path integral in a saddle-point approximation, where we are at a fixed saddle, at fixed energy. One then finds the extremal surface with respect to this saddle-point geometry, by varying the endpoints of the diamond (its shape and location), subject to fixed $E_{0}$.  Furthermore, the state of the causal diamond depends on its endpoints $\partial\Sigma$, such that changing the size of the diamond is equivalent to changing the state of the diamond. In this way, extremizing the location and the shape of the diamonds endpoints (the shape and location of the QES) follows from extremizing the microcanonical action with respect to different bulk states and geometries with fixed boundary condtions. Thus, minimizing the action $I^{\text{mc}}_{\text{E}}$ with respect to the choice of extremal surface requires us to choose the surface which minimizes the generalized entropy,
Thus, minimizing $I^{\text{mc}}_{\text{E}}$ is  consistent with the QES or island formula.


Note that maximizing $S_{\text{gen}}$ at fixed energy suggests $S_{\text{vN}}^{\text{rad}}(E_0)$ follows a curve mirroring the Page curve, arising from the global minimization of the microcanonical action. That is, for ``low" energies $E_0$, the entropy $S_{\text{gen}}(E_0)$ is maximal for the Hawking saddle, while at ``higher" energies the entropy is maximal for the island saddle. Deriving such a curve, however, entails a more detailed knowledge of the gravitational energy of CDs. 

%-point   where the maximal $S_{\text{gen}}(E_0)$  corresponds to the radiation entropy yielding the Hawking curve, 
 
 \section{Discussion}

 The island formula was derived for  eternal and dynamical $\text{AdS}_{2}$ black holes in JT gravity using the ``replica trick" \cite{Dong:2017xht,Almheiri:2019qdq,Penington:2019kki,Goto:2020wnk,Colin-Ellerin:2020mva,Colin-Ellerin:2021jev}. It remains an open question how to generalize the derivation for other theories of gravity, including non-JT 2D dilaton theories of gravity, such as deformed JT \cite{Witten:2020ert}, or 2D flat space analogs \cite{Callan:1992rs,Russo:1992ax,Bose:1995bk}. The microcanonical PI may be able to address this problem. Firstly, the above arguments for the microcanonical PI hold for generic 2D dilaton gravity models with Lagrangian density $\mathcal{L}= L_{0}[Z(\phi)R+U(\phi)(\nabla\phi)^{2}-V(\phi)]+\mathcal{L}_{\text{Pol}}$, for which   the microcanonical on-shell action \eqref{eq:microcanactCD} generalizes to %is generally proportional to the Wald entropy,
 \beq \hspace{-3mm}I^{\text{mc}}_{\text{E}} =-\lim_{\epsilon\to0}\int_{\partial D_{\epsilon}\times \partial\Sigma}\hspace{-6mm} ds_{\text{E}}\sqrt{\gamma}K\left[2L_{0}Z(\phi)-\frac{c\chi}{12\pi}\right].\eeq
Following the derivation above, we again find $I^{\text{mc}}_{\text{E}} = - S_{\text{W}}$ with the Wald entropy $ S_{\text{W}}= 4\pi L_{0}Z(\phi)-c \chi / 6 $. Since the Polyakov contribution may always be cast as the vN entropy, this yields $I^{\text{mc}}_{\text{E}}=-S_{\text{gen}}$ for \emph{any} 2D dilaton gravity theory coupled to conformal matter. Then, applying our arguments here would provide a derivation of  the extremization of $S_{\text{gen}}$ for flat eternal black holes \cite{Gautason:2020tmk,Hartman:2020swn} and 2D de Sitter space \cite{Chen:2020tes,Hartman:2020khs,Balasubramanian:2020xqf,Sybesma:2020fxg}, recently accomplished in \cite{Svesko:2022txo}. This is a distinct advantage over current techniques using the replica trick.
 
 Thus far the island formula has not been derived for theories of gravity in higher dimensions. The so-called Hilbert action boundary term method \cite{Banados:1993qp} or the Noether charge formalism \cite{Iyer:1995kg} employed here holds  for arbitrary theories of gravity in general spacetime dimensions \cite{Iyer:1995kg}. In fact, our derivation of the on-shell microcanonical action in Appendix \ref{app:Micactfirstlaw} is valid for causal diamonds in any theory of gravity. Thus, given the correct equivalent of the semiclassical Polyakov action, the microcanonical path integral may be used, in principle, to derive the island formula for higher-dimensional theories of gravity, and, correspondingly, a Page curve. 
 %Alternatively, the  Noether charge method can be adapted to derive the QES formula, which we present in Appendix \ref{app:Micactfirstlaw}. 
 An obstacle to applying our results to higher dimensions, however, is the fact that our arguments here rely on the equivalence between the Wald entropy and the generalized entropy \cite{Pedraza:2021cvx}. This could be due to the fact that the Polyakov action is 1-loop exact in 2D, capturing the full effect of the conformal anomaly, which might not hold in higher dimensions. 
 
% which may not generalize straightforwardly beyond 2D. 
 
 Finally, while the replica trick derives the Page curve of Hawking radiation of dynamical black holes, it is a clear challenge for the microcanonical path integral described here. This is because our results reliably hold in equilibrium since there exists an obvious candidate for (conformal) Killing time, while a dynamical black hole lacks such a symmetry. This problem may be circumvented by instead considering the York time \cite{York:1972sj}, which exists for more general spacetimes, or providing a microcanonical interpretation of dynamical horizon entropy \cite{Iyer:1994ys,Hayward:1998ee,Wall:2015raa}. \\
 %an important challenge for considering dynamical black holes comes from the absence of an obvious candidate as the conformal Killing time, which might be circumvented by adopting York time instead.
 
 %\MV{Add comment on higher dimensions. And about flat space and de Sitter.} \MV{How about dynamical black holes? Use York time?}
 





%%%%%%%%%%%%


\subsection*{Acknowledgements}

We are grateful to B. Banihashemi, T. Banks, P. Draper, R. Emparan, A. Frassino, F. Gautason, T. Jacobson, D. Marolf, J. Sonner, M. Tomasevic, E. Verlinde and A. Wall for useful discussions. A.S. and M.V. acknowledge the University of Barcelona for hospitality while this work was being completed. J.P. is supported by ``la Caixa'' Foundation (ID 100010434), fellowship code LCF/BQ/PI21/11830029, and by the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 847648. A.S. is supported by the Simons Foundation through \emph{It from Qubit: Simons Collaboration on Quantum Fields, Gravity, and Information}. W.S. is supported by the Icelandic Research Fund (IRF) via a Personal Postdoctoral Fellowship Grant (185371-051). M.V. is supported by  the Swiss National Science Foundation, through Project Grants  200020-182513 and  51NF40-141869 The Mathematics of Physics (SwissMAP).


\appendix





\section{Conformal isometry of \\ causal diamonds in AdS$_2$}
\label{appA}

We first derive the conformal isometry that preserves a causal diamond in a generic two-dimensional spacetime, for a line element in conformal gauge $d\ell^2 =- e^{2\rho}dudv$. Afterwards, we specialize to diamonds in  AdS$_2$. %Here we derive the conformal isometry that preserves a causal diamond in two-dimensional AdS space, whose line element  in conformal gauge is
%\begin{equation}
%    ds^2 = - e^{2 \rho} d ud v \quad \text{with} \quad e^{2 \rho} = \frac{\mu}{\sinh^2 [\frac{\sqrt{\mu}}{2L} (v-u)]}\,,
%\end{equation}
%with  $v=t+r_*$ and $u =t-r_* $ being advanced and retarded time coordinates. 
Since the property of a conformal isometry is invariant under a Weyl rescaling of the metric, we can leave off the conformal factor  and study the conformal Killing vectors of the line element $dudv$, which take the general form \cite{Jacobson:2015hqa,Jacobson:2018ahi}
\begin{equation}
    \zeta = A(u) \partial_u + B(v) \partial_v\,.
\end{equation}
  Suppose the causal diamond consists of the intersection of the regions $[u-u_0 = -a,u-u_0= a]$ and $[v-v_0 = -b, v-v_0=b].$ The  maximal spatial slice $\Sigma$ is described by $u-u_0 =  - \sqrt{(v-v_0)^2 +a^2 - b^2}$ and the line between the future and past vertices is given by $u-u_0 =   \sqrt{(v-v_0)^2 +a^2 - b^2}$.   The conformal Killing vector that preserves the diamond is only a function of the distance  $u-u_0$ and $v-v_0$, \emph{i.e.}, $A=A(u-u_0)$ and $B=B(v-v_0)$. To map the diamond onto itself $\zeta$ must be tangent to the null generators on the null boundaries $u =u_0 \pm a$ and $v=v_0 \pm b,$ which implies $A(  \pm a)=0$ and $B(  \pm b)=0$. Hence, $A(y)=g_{a}(y)[h(a)-h(y)]$ and $B(y)= m_{b}(y)[n(b)- n(y)]$, with $h(y)=h(-y)$ and $n(y)=n(-y).$ In addition, the flow of $\zeta$ must respect the reflection symmetries  across the line between the future and past vertices and across $\Sigma$, when $a$ and $b$ are interchanged.  In particular, replacing $u-u_0 \leftrightarrow v-v_0$ and $a\leftrightarrow b$ leaves the vector field unchanged $\zeta \to \zeta$, so $m_{b}(y)=g_{b}(y)$ and $n(y)=h(y)$. Further, if $u-u_0 \leftrightarrow -(v - v_0)$ and $a\leftrightarrow b$  we must have $\zeta \to -\zeta$, yielding $g(y)=g(-y)$. Therefore, the conformal isometry of a  causal  diamond is generated by 
\begin{align} \label{eq:appckv1}
    \zeta &=A_a(u-u_0) \partial_u + A_b(v-v_0) \partial_v \, , \quad \text{with}   \\
   A_a(y)   &= g_{a} (y)[h(a)- h(y)],     \,
   g(y)  = g(-y) , \,  h(y)=h(-y), \nonumber
\end{align}
which holds for a generic two-dimensional spacetime. Further, the past and future null boundaries of the diamond are conformal Killing horizons, since $\zeta$ becomes null on these boundaries. Due to the different length scales $a$ and $b$, there are two (positive) surface gravities %associated to $\zeta$
 \begin{equation}
 	\kappa_{a} =   g_a(a) h'(a) \quad \text{and} \quad \kappa_{b} =g_b(b) h'(b)\,,
 \end{equation}
 defined via $\nabla_\mu \zeta^2 = - 2 \kappa \zeta_\mu$ \cite{Jacobson:1993pf} evaluated on the future null boundaries $u-u_0 =   a$ and $v-v_0=b$, respectively. 

Next we place the causal diamond in AdS$_2$ space, for which the line element  in  null coordinates  $u=t-r_*$ and $v=t+r_*$ reads
\begin{equation} \label{eq:adsmetricinuandv}
    d\ell^2= - e^{2 \rho}dudv\,,\quad e^{2 \rho} = \frac{\mu}{\sinh^2 [\frac{\sqrt{\mu}}{2L} (v-u)]}\,.
\end{equation}
As a special case, we consider a  Rindler wedge in AdS space which 
has the shape of a half causal diamond, and becomes a full diamond when AdS is glued to a Minkowski patch at the conformal boundary.
We require that the conformal isometry of  a generic diamond   becomes  the boost isometry   of AdS-Rindler space, if the future and past vertices of the diamond are both  located on the AdS boundary, \emph{i.e.}, if $b= a$ and $r_{*,0}\equiv\frac{1}{2}(v_0-u_0)=0$ or $t_0 \equiv \frac{1}{2}(v_0 + u_0)= v_0 = u_0$. The boost Killing vector of AdS-Rindler space is \cite{Pedraza:2021cvx}
\begin{align} \label{eq:appboost}
    \xi &=A(u-t_0) \partial_u + A(v-t_0)\partial_v \, , \quad \text{with}   \\
   A(y) &= \frac{L \kappa /\sqrt{\mu}}{\sinh(\sqrt{\mu}a/L)}[\cosh(\sqrt{\mu}a/L)- \cosh(\sqrt{\mu}y/L)] \,,\nonumber
\end{align}
for which the surface gravities coincide $\kappa_{a}=\kappa_{b}=\kappa$. Comparing   \eqref{eq:appckv1} and \eqref{eq:appboost}, we see the requirement $\zeta \to \xi$, as $b\to a$ and $v_0,u_0\to t_0$, restricts the   functions in the conformal Killing vector  \eqref{eq:appckv1}  to be
\begin{equation} \label{eq:functionsckv}
    g_{a}(y)= \frac{L \kappa_{a}/\sqrt{\mu}}{\sinh (\sqrt{\mu}a /L)}\,,\,\, h(y)=\cosh (\sqrt{\mu}y /L)\,,
\end{equation}
and similarly for $g_{b}(y).$ Thus, by the special case of the AdS-Rindler (half) diamond, the conformal isometry of a causal diamond in AdS$_2$ is uniquely fixed to be
\begin{align}
    \zeta &= A_a(u-u_0) \partial_u +A_b(v-v_0) \partial_v\,, \quad \text{with}\\
    A_a(y)&= \frac{L \kappa_a / \sqrt{\mu}}{\sinh(\sqrt{\mu}a/L)} \left[ \cosh (\sqrt{\mu}a/ L) -\cosh (\sqrt{\mu}y/ L)  \right]. \nonumber 
\end{align}
For $a=b$ and $\mu =1$ this is equivalent to the conformal Killing vector of a spherically symmetric causal diamond in higher-dimensional  de Sitter spacetime \cite{Jacobson:2018ahi}. 

%Finally, using $v=t+r_*$ and $u=t-r_*$, where $r_* = -\frac{L}{\sqrt{\mu}} \text{arccoth}\big [ \frac{r}{L \sqrt{\mu}}\big]$ is the tortoise coordinate,  we can express the conformal Killing   field in terms of $(t,r)$ coordinates

% The conformal Killing vector of a causal diamond centered at $(u_0,v_0)$ in a two-dimensional spacetime in conformal gauge $ds^2 =- e^{2 \rho} du dv$ generically takes the form
 %\begin{align}
%     \zeta &= A(u-u_0)\partial_u + A(v-v_0)\partial_v\,, \quad \text{with} \\
%          A(x) &= h(x)[g(R_*) - g(x)], \,  h(x) = h(-x), g(x)=g(-x). \nonumber
% \end{align}
%This vector field is constructed such that it satisfies the following conditions: 1. reflection symmetry across the maximal slice $\Sigma =\{u-u_0 = - (v-v_0) \} $, \emph{i.e.}, if $u-u_0 \leftrightarrow - (v-v_0)$ then $\zeta \to -\zeta$; 2. reflection symmetry across the $pp'$ line $\{ u-u_0 = v-v_0 \}$, \emph{i.e.}, if $u-u_0  \leftrightarrow  v-v_0$ then $\zeta \to \zeta$; and 3. the flow of $\zeta$ preserves the causal diamond, \emph{i.e.}, $A(\pm R_*)=0.$ An interesting corollary  of these three conditions  is that $\zeta$ becomes approximately a boost Killing vector near     the bifurcation surface $\partial \Sigma$ of the horizon
 %\begin{equation}
% 	\zeta  \approx  h(R_*) g'(R_*) \left [ \tilde v \partial_{\tilde v} - \tilde u \partial_{\tilde u}  \right]  , \, \, \text{at}  \,\, \partial \Sigma=\{ \tilde u, \tilde v =0\},
% \end{equation} 
% with $\tilde u = u-u_0-R_*$ and $\tilde v = v -v_0+ R_*$. The  normalization   is equal to   the (positive) surface gravity of the conformal Killing horizon, whose Weyl invariant definition  is given by $\nabla_\mu \zeta^2 = -2 \kappa \zeta_\mu$ evaluated at the future null boundary, i.e.
 %\begin{equation}
 %	\kappa =   h(R_*) g'(R_*).
% \end{equation}
 
 
\section{Diamond universe coordinates in AdS$_2$}
\label{appB}

We can cover a causal diamond with the inextendible  coordinates ($s,x$), introduced in \cite{Jacobson:2018ahi} (see also \cite{Banks:2020tox}). This coordinate system is adapted to the flow of the conformal Killing vector $\zeta$ that preserves the diamond. In particular, the coordinate $s \in [-\infty,\infty]$ is the conformal Killing time, defined as the function that satisfies $\zeta \cdot ds =1$ and, for $a =b$, $s=0$ on the maximal slice $\Sigma$ ($t=t_0$).
Further, the  coordinate $x \in [-\infty, \infty]$   is a spatial coordinate and satisfies $\zeta \cdot dx =0$ and $|dx| = |ds|$ and, for $a =b$ we have $x=0$   at $r_* = r_{*,0}$. It follows from these conditions that the two-dimensional line element in   ``diamond universe'' coordinates is
\begin{equation} \label{eq:diamondmetric1}
    d\ell^2 = C^2 (s,x) (-ds^2 + dx^2)= -C^2 (\bar u, \bar v)d \bar ud\bar v\,.
\end{equation}
where $\bar u = s-x$ and $\bar v = s+x$ are null coordinates. The null boundaries of the  diamond are   at $\bar u =\pm\infty$ ($u-u_0=\pm a$) and $\bar v = \pm \infty$ ($v-v_0 = \pm b$), where the plus signs corresponds to the future horizon and the minus signs to the past horizon. On any constant $x$ slice the vertices are located at $s = \pm \infty$, and on a constant $s$ slice the   two edges are  at $x= \pm \infty$. Furthermore, in these coordinates $\zeta = \partial_s=\partial_{\bar u} +\partial_{\bar v}$, which should be equivalent to the conformal Killing vector in \eqref{eq:appckv1} where the functions are given by \eqref{eq:functionsckv} in AdS$_2$. From the equality of these two expressions for $\zeta$ we obtain the   transformation from the null coordinates $(u,v)$ to   $(\bar u, \bar v)$    
\begin{equation}
\begin{split}  \label{eq:transfdiamond1}
    e^{\kappa_a \bar u} &= \frac{\sinh \left [\frac{\sqrt{\mu}}{2L}(a + u  - u_0)] \right]}{\sinh \left [\frac{\sqrt{\mu}}{2L} (a - u +u_0) \right]}\,, \\      e^{\kappa_b \bar v} &= \frac{\sinh \left [\frac{\sqrt{\mu}}{2L}(b + v  - v_0)] \right]}{\sinh \left [\frac{\sqrt{\mu}}{2L} (b - v +v_0) \right]} \,,
\end{split}
\end{equation}
and the inverse transformation 
\begin{equation}
\begin{split}  \label{eq:transfdiamond2}
    e^{\sqrt{\mu} (u-u_0)/ L}& = \frac{\cosh \left [ (\sqrt{\mu}a /L + \kappa_a \bar u)/2 \right]}{ \cosh \left [ (\sqrt{\mu} a/L - \kappa_a \bar u)/2\right]} \,,\\
      e^{\sqrt{\mu}( v-v_0)/ L}& = \frac{\cosh \left [ (\sqrt{\mu}b /L + \kappa_b \bar v)/2 \right]}{ \cosh \left [ (\sqrt{\mu} b/L - \kappa_b \bar v)/2\right]}\,. 
\end{split}
\end{equation}
Kruskal coordinates  $(T,X)=(\frac{1}{2}(V+U),\frac{1}{2}(V-U))$, with $(U,V)=(-\frac{L}{\sqrt{\mu}}e^{-\frac{\sqrt{\mu} u}{L}},\frac{L}{\sqrt{\mu}} e^{\frac{\sqrt{\mu} v}{L}})$, are convenient to visualize the Euclideanized diamond \cite{Banks:2020tox}.

By comparing the metrics \eqref{eq:adsmetricinuandv} and \eqref{eq:diamondmetric1}, and using the transformation in \eqref{eq:transfdiamond2}, we find    
\begin{align}
  & C^2(\bar u, \bar v) %=e^{2\rho} \frac{du}{d \bar u}\frac{dv}{d\bar v}
  =4 \kappa_a \kappa_b   L^2  \left(e^{\frac{  \sqrt{\mu }}{L}2 a}-1\right) \left(e^{\frac{  \sqrt{\mu }}{L}2 b}-1\right)   \times \nonumber\\
   &\times e^{ \frac{ \sqrt{\mu }  }{ L}2r_{*,0} + \kappa_a \bar u+\kappa_b \bar v } \Big [  \left(e^{\frac{
   \sqrt{\mu }}{L}b}+e^{\kappa_b  \bar v}\right) \left(e^{\frac{   \sqrt{\mu }}{L}a+\kappa_a \bar u}+1\right) \nonumber\\
   &-e^{\frac{\sqrt{\mu }  }{L} 2r_{*,0}} \left(e^{\frac{   \sqrt{\mu }}{L}a}+e^{\kappa_a  \bar u}\right) \left(e^{\frac{   \sqrt{\mu }}{L}b+\kappa_b  \bar v}+1\right)   \Big]^{-2}\,,
\label{eq:conffact}\end{align}
where $r_{*,0}\equiv \frac{1}{2}(v_0-u_0).$ Note  for  $r_{*,0}=0$ and $a=b$ we recover AdS-Rindler space since the conformal factor becomes  
$
    C^2  =  \kappa^2 L^2 /\sinh^2 [\frac{\kappa}{2}(\bar v - \bar u)]  \,,
$
where $\kappa = \kappa_a= \kappa_a.$ 

%\begin{figure}[t]
%\centering
% \includegraphics[width=.7\columnwidth]{eucdiacoord.pdf}
%\caption{Euclidean $\text{AdS}_{2}$ diamond in Euclideanized Kruskal coordinates $(T_{\text{E}},X)$, where $T_{\text{E}}$ is the Wick rotated time $T\to -iT_{\text{E}}$. Lines of constant $s_{\text{E}}$ (blue), constant $x$ (red) and %a singularity at $(x,s_{\text{E}})=(1/4,\pi/2)$ are shown. High high contour density corresponds to horizon punctures at $x=\pm\infty$. Here we have set $a=b=1/2$ and $\mu=L=\kappa_{a}=\kappa_{b}=1$ and $u_0\neq v_0\neq 0$.
%\label{fig:EucCDfig}} %\vspace{-2cm}
%\end{figure}

For a generic diamond there exist two different surface gravities,   associated to the two parts of the future conformal Killing horizons, $\bar u = \infty$ and $\bar v = \infty$, given by
\begin{equation}\kappa_a = - C^{-2} \partial_{\bar u} C^2 |_{\bar u \to \infty}\,, \quad \kappa_b = - C^{-2} \partial_{\bar v} C^2 |_{\bar v \to \infty}\,,
\end{equation}
where we applied the definition $\nabla_\mu \zeta^2=-2\kappa \zeta_\mu$ \cite{Jacobson:1993pf}.
As shown in \cite{Jacobson:2018ahi}, surface gravities   satisfying this definition are constant on a bifurcate conformal Killing horizon, so $\kappa_a$ and $\kappa_b$ are constant. As usual, these surface gravities can be interpreted as the  temperatures corresponding to the $a$ and $b$ portions of the conformal Killing horizon. This is because the Hartle-Hawking state, satisfying $\langle \text{HH}|:T^{\chi}_{  u   u }:|\text{HH}\rangle  =  \frac{c\pi}{12}T_{\text H}^{2}$ with $T_{\text H} = \frac{\sqrt{\mu}}{2\pi L}$, is also thermal with respect to the $(\bar u, \bar v)$ coordinates
\begin{equation}
\begin{aligned}
    \langle \text{HH}|:T^{\chi}_{\bar u  \bar u }:|\text{HH}\rangle &= \left(\frac{d u }{d \bar u}\right)^{2}\frac{c\pi}{12}T_{\text H}^{2} -\frac{c}{24\pi}\{ u, \bar u\}   \\
    &=\frac{c\pi}{12}\left(\frac{\kappa_a}{2\pi}\right)^{2}= \frac{c\pi}{12} T_a^2\;,
    \label{eq:diamondthermo}
\end{aligned}
\end{equation}
where we used the anomalous transformation law for the normal-ordered stress tensor, and   inserted \eqref{eq:transfdiamond2}. A similar result holds for $:T_{\bar v \bar v}^\chi:$, \emph{i.e.}, its expectation value in $|\text{HH}\rangle$ is thermal with temperature $T_b=\kappa_b/2\pi$.  This was already known for the special case of AdS-Rindler \cite{Pedraza:2021cvx}, but here we showed the HH state in AdS$_2$  is thermal with respect to any causal diamond. The temperature of the CD thus seems positive and finite, in contrast to the negative temperature interpretation in \cite{Jacobson:2018ahi,Jacobson:2019gco} and the infinite temperature claim in \cite{Banks:2020tox}.
 % One can even show that the Hartle-Hawking state $| \text{HH}\rangle$ defined with respect to global Kruskal coordinates $(U,V)$ is equivalent to the Hartle-Hawking state $|\longbar \text{HH}\rangle$ defined with respect to Kruskal coordinates $(\bar U, \bar V)$ adapted to the diamond. This follows from
%\beq \langle \overline{\text{HH}}|:T^{\chi}_{U_{K}U_{K}}:|\overline{\text{HH}}\rangle=-\frac{c}{24\pi}\{\bar{U} ,U \}=0\;,\eeq
%where $\bar{U} =-\frac{1}{\kappa}e^{-\kappa\bar{u}}$ and $U = -\frac{L}{\sqrt{\mu}}e^{-\sqrt{\mu} u/L}$. 

Near the bifurcation points $x = \pm \infty$ of the conformal Killing horizons of the diamond the surface gravity satisfies  the relation $\nabla_\mu \zeta_\nu = \kappa n_{\mu \nu}$ \cite{Jacobson:2018ahi}, where $n_{\mu\nu}=2 u_{[\mu} n_{\nu]}$ is the outward and future pointing binormal, with $u  =C^{-1} \partial_s$ is the future pointing timelike unit normal and $n   =  \pm C^{-1} \partial_x$ is the outward pointing spacelike unit normal at ${x=\pm \infty}$. The surface gravity can be computed to be $\kappa = \mp \frac{1}{2} C^{-2} \partial_x C^2 |_{x=\pm \infty} = (\kappa_a + \kappa_b)/2$. This expression can also be obtained from the periodicity of the Euclidean time. In the Euclideanized diamond spacetime  the conformal Killing horizon maps to punctures at $x\to\pm\infty$. Near $x\to\pm\infty$ 
%In fact, $C(s,x)^{-1}\partial_{x}C(s,x)|_{x\to\pm\infty}=\mp (\kappa_{a}+\kappa_{b})$. It is natural to interpret this quantity as the surface gravity $\kappa$ in a (flat) Rindler spacetime, and hence is associated to Unruh-Davies temperature $T=\kappa/2\pi$. To see this, note that in the near horizon $x\to\pm\infty$ limit 
the  diamond universe line element (\ref{eq:diamondmetric1}) becomes
\beq d\ell^{2}\approx 4L^{2}\kappa_{a}\kappa_{b}e^{\mp(\kappa_{a}+\kappa_{b})x}(-ds^{2}+dx^{2}),\eeq
which is simply flat Rindler space $d\ell^{2}=-\kappa^{2}\varrho^{2}ds^{2}+d\varrho^{2}$ for the  coordinate $\varrho\equiv 4 L\sqrt{\kappa_{a}\kappa_{b}}(\kappa_{a}+\kappa_{b})^{-1}e^{\mp(\kappa_{a}+\kappa_{b})x/2}$, and identifying the surface gravity $\kappa=(\kappa_{a}+\kappa_{b})/2$. Note the null boundaries $x=\pm\infty$ map to the Rindler horizon $\varrho =0$. Upon Wick rotating $s\to -is_{\text{E}}$, removing the conical singularity in the Euclidean spacetime located at the horizon, has us periodically identify $s_{\text{E}}\sim s_{\text{E}}+2 \pi /\kappa$.






%\MV{There are two interesting limits: WdW and AdS-Rindler}

%


%Two interesting limits are: for  $r_{*,0}=0$ and $\alpha =\beta$ we find the conformal factor for AdS-Rindler space
%\begin{equation}
%    C^2  = \frac{\kappa^2 L^2}{\sinh^2 (\kappa x)}
%\end{equation} 
%and for $R_* \to \infty$ the conformal factor becomes
%\begin{equation}
%    C^2  =\frac{ \kappa^2 L^2 }{\sinh^2 \left (\kappa x + \sqrt{\mu} r_{*,0} / L  \right)}
%\end{equation}
% The mean curvature of constant $s$ slices is 
% \begin{align}
%     K &= - \partial_s C^{-1} = \frac{1}{ L} \frac{\sinh (\kappa s)\sinh (\sqrt{\mu}r_{*,0}/L) }{\sinh (\sqrt{\mu} R_*/L)   } \nonumber \\
%     &= \frac{1}{\kappa}\dot \alpha |_{s=0} \sinh (\kappa s)
% \end{align}
%Hence, surfaces of constant $s$ coincide with surfaces of constant mean curvature in the diamond.


\section{Microcanonical action in the \\Noether charge formalism}
\label{app:Micactfirstlaw}

%\noindent \emph{Microcanonical action as Noether charge.} 
In the main text we obtained the  on-shell   microcanonical action (\ref{eq:actionentropy}) using the Hilbert action surface term  method \cite{Banados:1993qp,Banks:2020tox}. However,   the microcanonical action can be derived using various methods. Brown \cite{Brown:1995su} showed an equivalence between the GHY surface action \cite{Banados:1993qp} and the microcanonical action developed by Brown and York \cite{Brown:1992bq}. Later, both actions were expressed in the Noether charge formalism \cite{Wald:1993nt,Iyer:1995kg}, and shown to be equivalent to the Noether charge. These methods are typically applied to black hole spacetimes, but here we use them to define the microcanonical action for causal diamonds.  Specifically, employing the Noether charge formalism,  below we define the off-shell Euclidean microcanonical action of  CDs, and show it equals   (\ref{eq:microcanactCD}) and  \eqref{eq:actionentropy}  on shell. %Let $\psi=\{g_{\mu\nu},\phi,\chi\}$, where $g_{\mu\nu}$ is the metric (\ref{eq:Schwmet}) on the Lorentzian manifold $M$.

We consider generic semiclassical 2D dilaton gravity theories with   Lagrangian 2-form   $L=\epsilon L_{0}[RZ(\phi)+U(\phi)(\nabla\phi)^{2}-V(\phi)]+L_{\text{Pol}}$, with   $\epsilon$ the spacetime  volume form on the Lorentzian CD spacetime $M^{\text{CD}}$. We foliate  the CD with spacelike slices $\Sigma_s$, labeled by the conformal Killing time $s$, which smoothly intersect the bifurcation points $\partial \Sigma$ of the null boundaries. The Euclidean diamond spacetime $M_{\text E}^{\text{CD}}$ is defined by periodically identifying the Euclidean time $s_{\text{E}}=is$ with $2\pi/\kappa$ to avoid a conical singularity at $\partial \Sigma$. Motivated  by \cite{Brown:1992bq,Iyer:1995kg}, we define the off-shell microcanonical Euclidean  action
\beq
\begin{split}
I^{\text{mc}}_{\text{E}}&\equiv-i \left[\int_{  M_{\text E}^{\text{CD}}}\hspace{-1mm}  L-\int_{M_{\text E}^{\text{CD}}}\hspace{-1mm}ds\wedge \theta(\psi,\mathcal{L}_{\zeta}\psi)\right],
\end{split}
\label{eq:Imicrogen}\eeq
where $\theta$ is the symplectic potential 1-form, and the dynamical fields are $\psi=(g_{\mu\nu},\phi,\chi)$. Note  $\theta(\psi, \mathcal L_\zeta \psi) $ here is non-vanishing since $\zeta$ is a conformal Killing vector instead of a Killing vector. Writing $L = ds \wedge \zeta \cdot L$, we see the two terms between brackets combine into an integral over  the   Noether current 1-form $j_{\zeta}\equiv\theta(\psi,\mathcal{L}_{\zeta}\psi)-\zeta\cdot L$ associated with diffeomorphisms generated by~$\zeta$. %is defined as $j_{\zeta}\equiv\theta(\psi,\mathcal{L}_{\zeta}\psi)-\zeta\cdot L$, where $\theta$ is the symplectic potential 1-form, and the dynamical fields are $\psi=\{g_{\mu\nu},\phi,\chi\}$, with $g_{\mu\nu}$ being the metric (\ref{eq:Schwmet}) on Lorentzian $\text{AdS}_{2}$.
%, explicitly on $\Sigma$ (see (C.5) of \cite{Pedraza:2021cvx} and use (\ref{eq:CKVdef})),
%\beq \theta\big|_{\Sigma}=2\dot{\alpha}(u\cdot\epsilon)\left(\frac{\phi_{0}+\phi}{16\pi G}-\frac{c}{24\pi}\chi\right),\label{eq:symppot}\eeq
%where $\epsilon_{\mu}|_{\Sigma}=-u_{\mu}(u\cdot \epsilon)$ is the volume form of $\Sigma$. 
Using the on-shell identity $j_{\zeta}=dQ_{\zeta}$, with $Q_{\zeta}$ the Noether charge 0-form, and applying Stokes' theorem we find  the  on-shell Euclidean microcanonical action for CDs is equal to 
\begin{equation}
     I^{\text{mc}}_{\text{E}} = \int_{\partial M_{\text E}^{\text{CD}}} ds_{\text{E}} \wedge Q_\zeta,
\end{equation} %yields
%\beq \int_{\Sigma}\hspace{-1mm}\theta(\psi,\mathcal{L}_{\zeta}\psi)-\int_{\Sigma}\hspace{-1mm}\zeta\cdot L=\oint_{\partial \Sigma}\hspace{-2mm}Q_{\zeta} =\oint_{P_R}Q_{\zeta}-\oint_{\mathcal B}Q_{\zeta}\,,\label{eq:Waldidentity}\eeq
where the total Noether charge for semiclassical 2D dilaton gravity %with Lagrangian 2-form $L=\epsilon L_{0}[RZ(\phi)+U(\phi)(\nabla\phi)^{2}-V(\phi)]+L_{\text{Pol}}$
is $Q_\zeta = Q_\zeta^{\phi}  + Q_\zeta^{\text{Pol}}$
%$Q_\zeta = Q_\zeta^{\text{JT}}  + Q_\zeta^{\text{Pol}}$ 
with \cite{Pedraza:2021cvx}
\begin{align}
    Q_\zeta^{\phi}   &=-L_{0}\epsilon_{\mu\nu}[ Z(\phi)\nabla^\mu \zeta^\nu + 2 \zeta^\mu \nabla^\nu Z(\phi)] , \nonumber \\
     Q_\zeta^{\text{Pol}}   &=\frac{c}{24\pi} \epsilon_{\mu\nu}[ \chi \nabla^\mu \zeta^\nu + 2 \zeta^\mu \nabla^\nu \chi].
\end{align} 
% \MV{Fix minus signs here.} \AS{I find $n_{\mu\nu}=-\epsilon_{\mu\nu}$.}
where $\epsilon_{\mu \nu}=-n_{\mu\nu}$ is the binormal volume form on   $\partial \Sigma$,   with $n_{\mu\nu}$ as the outward and future pointing binormal. Since $\partial M_{\text E}^{\text{CD}}$ has topology $S^1 \times \partial \Sigma$ we restrict the Noether charge to $\partial \Sigma    $, where $\zeta |_{\partial \Sigma}=0$ and $\nabla_\mu \zeta_\nu |_{\partial \Sigma}= \kappa n_{\mu \nu}$, hence it becomes
$
    Q_\zeta |_{\partial \Sigma} = - \frac{\kappa}{2\pi}\left [  4\pi L_{0}Z(\phi) - \frac{c}{6} \chi\right]% \nonumber%\\
   % + \frac{1}{8 \pi G} \mathcal L_\zeta (\phi_0 + \phi) - \frac{c}{12\pi}\mathcal L_\zeta \chi .
$. 
Importantly, 
  $Q_\zeta |_{\partial \Sigma} $ is independent from $s_{\text{E}}$, because $\phi, \chi$ are constant   in the limit $x \to \pm\infty.$ Thus, we can  integrate out the Euclidean time, and obtain that the on-shell microcanonical action is equal to minus the Wald entropy   
%, with `$\infty$' denoting the point at the asymptotic boundary and $\mathcal{B}$ the bifurcation surface, \emph{i.e.}, the QES
%Following \cite{Wald:1993nt}, we define the canonical ``Euclidean" action  as $I_\text{E}=\frac{2\pi}{\kappa}\int_{\Sigma} \zeta\cdot L$, expressed in Lorentzian signature, which equals the integral of the analytically continued Lagrangian over the Euclidean  black hole, since $\Sigma$ is a moment of time-reflection symmetry.   
%\beq I\equiv-\frac{2\pi}{\kappa}\int_{\Sigma}\hspace{-1mm}\zeta\cdot L_{\text{tot}}=\frac{2\pi}{\kappa}E_{\zeta}-S_{\text{W}}-\int_{\Sigma}\hspace{-1mm}\theta(\psi,\mathcal{L}_{\zeta}\psi),\label{eq:Eucaction}\eeq
%where $\int_{\infty}Q_{\zeta}\equiv E_{\zeta}$ is the asymptotic energy of the CD, $\frac{2\pi}{\kappa}\int_{\mathcal{B}}Q_{\zeta}\equiv S_{\text{W}}$ the Wald entropy (\ref{eq:waldent}) of the QES, and $\kappa$ is the constant surface gravity on $\mathcal{B}$.
%Using  $L = ds \wedge \zeta \cdot L$ and \eqref{eq:Waldidentity}, and defining the Euclidean time as $s_\text{E}=is$, 
%Since $ \lim_{x\to \infty} \mathcal L_\zeta \Phi  =0$, the action is equal to
\begin{equation}
    I^{\text{mc}}_{\text{E}} =   \frac{2\pi}{\kappa}\oint_{\partial \Sigma} Q_\zeta =   - S_{\text{W}} \big |_{ \partial \Sigma}\,, \label{eq:microaction2}
\end{equation}
where $ S_{\text{W}}= 4 \pi L_{0}Z(\phi)-c \chi / 6 $. This shows the microcanonical action is proportional to the Noether charge and it proves \eqref{eq:actionentropy}, given $S_{\text{W}}=S_{\text{gen}}$. %The Noether charge at $P_R$ vanishes, because there is no gravity in the flat region, and without loss of generality we can  set $\chi |_{P_R}=0.$ Therefore, only the Wald entropy at $\mathcal B$ contributes, $I_{\text{E}}^{\text{mc}}=-S_{\text{W}}|_{\mathcal B}$.


In a proper microcanonical ensemble the action is minimized at fixed energy $E_0$. The definition of $E_0$ in our setup  may  therefore be identified from the variation of the on-shell action on $M_{\text E}^{\text{CD}}$
%whose definition follows from computing the variation of  the microcanonical action 
\begin{equation}
    \delta I^{\text{mc}}_{\text{E}}   =  \int_{M_{\text E}^{\text{CD}}} ds_{\text{E}}  \wedge \omega (\psi, \delta \psi, \mathcal L_\zeta \psi) = \int_{S^1} ds_{\text{E}}  \delta H_\zeta \,, \label{eq:varaction}
\end{equation}
 where the symplectic current 1-form is    defined as $\omega (\psi,\delta_1 \psi, \delta_2 \psi) \equiv  \delta_1 \theta (\psi,\delta_2 \psi) - \delta_2 \theta (\psi,\delta_1 \psi) $, and in the second equality we inserted $\delta H_\zeta=\int_{\Sigma_{s_{\texttt{E}}}}\omega (\psi, \delta \psi, \mathcal L_\zeta \psi)$, the variation of the Hamiltonian generating evolution along the flow of $\zeta$. The first equality follows from varying \eqref{eq:Imicrogen} and using $\delta L= E^\psi \delta \psi + d \theta (\psi,\delta \psi)$, where $E^\psi=0$ are the field equations for $\psi$, and inserting  Cartan's magic formula $\zeta \cdot d \theta = \mathcal L_\zeta \theta - d (\zeta \cdot \theta)$. The term $\int_{\partial M_{\text E}^{\text{CD}}} ds \wedge \zeta \cdot \theta$ vanishes because $\zeta$ is zero at the edge~$\partial \Sigma$. Thus, we see from  \eqref{eq:varaction}    the action $I^{\text{mc}}_{\text{E}}$ is minimized at fixed  energy   $E_0\sim H_\zeta$ up to a sign and constant. We set the constant to zero and  the sign is fixed by comparing to the first law $\frac{\kappa}{2\pi} \delta S_{\text{W}}=-\delta H_{\zeta}$ such that $E_0=-H_{\zeta}$. 
 
 
 Lastly, let us comment on the equivalence between the on-shell microcanonical action (\ref{eq:microaction2}) and the GHY surface term used in the main text
 \beq I^{\text{mc}}_{\text{E}}=-\lim_{\epsilon\to0}\int_{\partial D_{\epsilon}\times \mathcal{H}}\hspace{-4mm} ds_{\text{E}}\sqrt{\gamma}K\left[2L_{0}Z(\phi)-\frac{c\chi}{12\pi}\right].\label{eq:microcanactCD2}\eeq
 %\begin{equation}
%    I_{E}^{\text{mc}} =-\lim_{\varepsilon\to 0} \int_{\partial D_\varepsilon \times \mathcal H}\hspace{-4mm}ds_E \sqrt{ \gamma} K \!\left[\frac{(\phi_0 + \phi)}{8\pi G} - \frac{c\chi}{12 \pi} \right],
%\label{eq:microcanactCD2}\end{equation}
where $D_\epsilon$ is an infinitesimal disk of radius $\epsilon$ orthogonal to
the    punctures $\partial \Sigma : x =\pm \infty$
in the Euclideanized diamond. While initially obscure, the equivalence of (\ref{eq:microaction2}) and (\ref{eq:microcanactCD2}) follows from the fact that, on-shell, $H_{\zeta}=0$ on the bifurcation surface and that the GHY boundary term is independent of $s$ on $\partial \Sigma$ \cite{Iyer:1995kg}. More explicitly, the Hamiltonian $H_{\zeta}$ for a theory which fixes the induced metric of the boundary $\partial M$ of a (Lorentzian) manifold $M$ is generically given by an integral over the codimension-2 slices $\mathcal{C}_{s}$ where $\Sigma_{s}$ orthogonally intersects $\partial M$ \cite{Pedraza:2021cvx} (see also \cite{Iyer:1995kg,Harlow:2019yfa})
\beq H_{\zeta}=\int_{\mathcal{C}_{s}}(Q_{\zeta}-\zeta\cdot b)= \oint_{\mathcal{C}_{s}}\epsilon_{\partial\Sigma} N\varepsilon.\eeq
Here $b=\epsilon_{B}K[-2L_{0}Z(\phi)+\frac{c}{12\pi}\chi]$ is the GHY boundary term 1-form,  $\varepsilon=-2L_0 n^\alpha \nabla_\alpha Z(\phi)$ is the quasi-local energy density, and $N=-\zeta^\mu  u_\mu$ is the lapse. Crucially, on bifurcation points $\partial\Sigma$, the lapse $N=0$ such that $H_{\zeta}=0$. %(Eq. (C.32) of \cite{Pedraza:2021cvx}).
Then, for a 1-parameter family of surfaces $(\partial \Sigma)_{\epsilon}$ in $\Sigma_{s_{\text{E}}}$, where $\lim_{\epsilon\to0}(\partial \Sigma)_{\epsilon}\to \partial \Sigma$, we have
\beq \lim_{\epsilon\to0}\int_{(\partial \Sigma)_{\epsilon}}Q_{\zeta}=\lim_{\epsilon\to0}\int_{(\partial \Sigma)_{\epsilon}}\zeta\cdot b.\eeq
Thus, by the  definition $S_{\text{W}}=-\frac{2\pi}{\kappa}\int_{\partial \Sigma }Q_{\zeta}$ of the Wald entropy,   we find 
\begin{align}
 S_{\text{W}}&=-\lim_{\epsilon\to0}\frac{2\pi}{\kappa}\int_{(\partial \Sigma)_{\epsilon}}\zeta\cdot b=-\lim_{\epsilon\to0}\int_{\partial D_{\epsilon}\times \partial \Sigma}\hspace{-4mm}ds_{E}\wedge\zeta\cdot b \nonumber \\
 &=\lim_{\epsilon\to0}\int_{\partial D_{\epsilon}\times \partial \Sigma}\hspace{-4mm} ds_{E}\sqrt{\gamma}K\left[2L_{0}Z(\phi)-\frac{c\chi}{12\pi}\right],
\end{align}
 where $2\pi/\kappa$ was replaced with the integral $\int_{\partial D_{\epsilon}}ds_{\text{E}}$ and we used that the GHY term $b$ is independent of $s_{\text{E}}$ on $(\partial \Sigma)_{\epsilon}$. This shows (\ref{eq:microaction2}) and (\ref{eq:microcanactCD2}) are equal, which establishes the Hilbert  action surface formula \eqref{eq:microcanactCD}.
 
 
 


 
 
\bibliography{nowormshortrefs}






\end{document}







%merlin.mbs apsrev4-1.bst 2010-07-25 4.21a (PWD, AO, DPC) hacked
%Control: key (0)
%Control: author (8) initials jnrlst
%Control: editor formatted (1) identically to author
%Control: production of article title (-1) disabled
%Control: page (0) single
%Control: year (1) truncated
%Control: production of eprint (0) enabled
\begin{thebibliography}{78}%
\makeatletter
\providecommand \@ifxundefined [1]{%
 \@ifx{#1\undefined}
}%
\providecommand \@ifnum [1]{%
 \ifnum #1\expandafter \@firstoftwo
 \else \expandafter \@secondoftwo
 \fi
}%
\providecommand \@ifx [1]{%
 \ifx #1\expandafter \@firstoftwo
 \else \expandafter \@secondoftwo
 \fi
}%
\providecommand \natexlab [1]{#1}%
\providecommand \enquote  [1]{``#1''}%
\providecommand \bibnamefont  [1]{#1}%
\providecommand \bibfnamefont [1]{#1}%
\providecommand \citenamefont [1]{#1}%
\providecommand \href@noop [0]{\@secondoftwo}%
\providecommand \href [0]{\begingroup \@sanitize@url \@href}%
\providecommand \@href[1]{\@@startlink{#1}\@@href}%
\providecommand \@@href[1]{\endgroup#1\@@endlink}%
\providecommand \@sanitize@url [0]{\catcode `\\12\catcode `\$12\catcode
  `\&12\catcode `\#12\catcode `\^12\catcode `\_12\catcode `\%12\relax}%
\providecommand \@@startlink[1]{}%
\providecommand \@@endlink[0]{}%
\providecommand \url  [0]{\begingroup\@sanitize@url \@url }%
\providecommand \@url [1]{\endgroup\@href {#1}{\urlprefix }}%
\providecommand \urlprefix  [0]{URL }%
\providecommand \Eprint [0]{\href }%
\providecommand \doibase [0]{http://dx.doi.org/}%
\providecommand \selectlanguage [0]{\@gobble}%
\providecommand \bibinfo  [0]{\@secondoftwo}%
\providecommand \bibfield  [0]{\@secondoftwo}%
\providecommand \translation [1]{[#1]}%
\providecommand \BibitemOpen [0]{}%
\providecommand \bibitemStop [0]{}%
\providecommand \bibitemNoStop [0]{.\EOS\space}%
\providecommand \EOS [0]{\spacefactor3000\relax}%
\providecommand \BibitemShut  [1]{\csname bibitem#1\endcsname}%
\let\auto@bib@innerbib\@empty
%</preamble>
\bibitem [{\citenamefont {Hawking}(1974)}]{Hawking:1974rv}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.~W.}\ \bibnamefont
  {Hawking}},\ }\href {\doibase 10.1038/248030a0} {\bibfield  {journal}
  {\bibinfo  {journal} {Nature}\ }\textbf {\bibinfo {volume} {248}},\ \bibinfo
  {pages} {30} (\bibinfo {year} {1974})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hawking}(1975)}]{Hawking:1974sw}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.~W.}\ \bibnamefont
  {Hawking}},\ }\href {\doibase 10.1007/BF02345020} {\bibfield  {journal}
  {\bibinfo  {journal} {Commun. Math. Phys.}\ }\textbf {\bibinfo {volume}
  {43}},\ \bibinfo {pages} {199} (\bibinfo {year} {1975})},\ \bibinfo {note}
  {[Erratum: Commun.Math.Phys. 46, 206 (1976)]}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hawking}(1976)}]{Hawking:1976ra}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.~W.}\ \bibnamefont
  {Hawking}},\ }\href {\doibase 10.1103/PhysRevD.14.2460} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {14}},\
  \bibinfo {pages} {2460} (\bibinfo {year} {1976})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Page}(1993)}]{Page:1993wv}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {D.~N.}\ \bibnamefont
  {Page}},\ }\href {\doibase 10.1103/PhysRevLett.71.3743} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {71}},\
  \bibinfo {pages} {3743} (\bibinfo {year} {1993})},\ \Eprint
  {http://arxiv.org/abs/hep-th/9306083} {arXiv:hep-th/9306083} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Page}(2013)}]{Page:2013dx}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {D.~N.}\ \bibnamefont
  {Page}},\ }\href {\doibase 10.1088/1475-7516/2013/09/028} {\bibfield
  {journal} {\bibinfo  {journal} {JCAP}\ }\textbf {\bibinfo {volume} {09}},\
  \bibinfo {pages} {028} (\bibinfo {year} {2013})},\ \Eprint
  {http://arxiv.org/abs/1301.4995} {arXiv:1301.4995 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Penington}(2020)}]{Penington:2019npb}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Penington}},\ }\href {\doibase 10.1007/JHEP09(2020)002} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {09}},\
  \bibinfo {pages} {002} (\bibinfo {year} {2020})},\ \Eprint
  {http://arxiv.org/abs/1905.08255} {arXiv:1905.08255 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Almheiri}\ \emph
  {et~al.}(2019{\natexlab{a}})\citenamefont {Almheiri}, \citenamefont
  {Engelhardt}, \citenamefont {Marolf},\ and\ \citenamefont
  {Maxfield}}]{Almheiri:2019psf}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Almheiri}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
  {Engelhardt}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Marolf}},
  \ and\ \bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Maxfield}},\
  }\href {\doibase 10.1007/JHEP12(2019)063} {\bibfield  {journal} {\bibinfo
  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {12}},\ \bibinfo {pages} {063}
  (\bibinfo {year} {2019}{\natexlab{a}})},\ \Eprint
  {http://arxiv.org/abs/1905.08762} {arXiv:1905.08762 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Almheiri}\ \emph
  {et~al.}(2019{\natexlab{b}})\citenamefont {Almheiri}, \citenamefont
  {Mahajan},\ and\ \citenamefont {Maldacena}}]{Almheiri:2019yqk}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Almheiri}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Mahajan}}, \
  and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Maldacena}},\
  }\href@noop {} {\  (\bibinfo {year} {2019}{\natexlab{b}})},\ \Eprint
  {http://arxiv.org/abs/1910.11077} {arXiv:1910.11077 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Almheiri}\ \emph
  {et~al.}(2020{\natexlab{a}})\citenamefont {Almheiri}, \citenamefont
  {Mahajan}, \citenamefont {Maldacena},\ and\ \citenamefont
  {Zhao}}]{Almheiri:2019hni}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Almheiri}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Mahajan}},
  \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Maldacena}}, \ and\
  \bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {Zhao}},\ }\href {\doibase
  10.1007/JHEP03(2020)149} {\bibfield  {journal} {\bibinfo  {journal} {JHEP}\
  }\textbf {\bibinfo {volume} {03}},\ \bibinfo {pages} {149} (\bibinfo {year}
  {2020}{\natexlab{a}})},\ \Eprint {http://arxiv.org/abs/1908.10996}
  {arXiv:1908.10996 [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Almheiri}\ \emph
  {et~al.}(2020{\natexlab{b}})\citenamefont {Almheiri}, \citenamefont
  {Hartman}, \citenamefont {Maldacena}, \citenamefont {Shaghoulian},\ and\
  \citenamefont {Tajdini}}]{Almheiri:2019qdq}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Almheiri}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Hartman}},
  \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Maldacena}}, \bibinfo
  {author} {\bibfnamefont {E.}~\bibnamefont {Shaghoulian}}, \ and\ \bibinfo
  {author} {\bibfnamefont {A.}~\bibnamefont {Tajdini}},\ }\href {\doibase
  10.1007/JHEP05(2020)013} {\bibfield  {journal} {\bibinfo  {journal} {JHEP}\
  }\textbf {\bibinfo {volume} {05}},\ \bibinfo {pages} {013} (\bibinfo {year}
  {2020}{\natexlab{b}})},\ \Eprint {http://arxiv.org/abs/1911.12333}
  {arXiv:1911.12333 [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Penington}\ \emph {et~al.}(2019)\citenamefont
  {Penington}, \citenamefont {Shenker}, \citenamefont {Stanford},\ and\
  \citenamefont {Yang}}]{Penington:2019kki}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Penington}}, \bibinfo {author} {\bibfnamefont {S.~H.}\ \bibnamefont
  {Shenker}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Stanford}}, \
  and\ \bibinfo {author} {\bibfnamefont {Z.}~\bibnamefont {Yang}},\ }\href@noop
  {} {\  (\bibinfo {year} {2019})},\ \Eprint {http://arxiv.org/abs/1911.11977}
  {arXiv:1911.11977 [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Goto}\ \emph {et~al.}(2021)\citenamefont {Goto},
  \citenamefont {Hartman},\ and\ \citenamefont {Tajdini}}]{Goto:2020wnk}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont
  {Goto}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Hartman}}, \
  and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Tajdini}},\ }\href
  {\doibase 10.1007/JHEP04(2021)289} {\bibfield  {journal} {\bibinfo  {journal}
  {JHEP}\ }\textbf {\bibinfo {volume} {04}},\ \bibinfo {pages} {289} (\bibinfo
  {year} {2021})},\ \Eprint {http://arxiv.org/abs/2011.09043} {arXiv:2011.09043
  [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hollowood}\ \emph {et~al.}(2020)\citenamefont
  {Hollowood}, \citenamefont {Prem~Kumar},\ and\ \citenamefont
  {Legramandi}}]{Hollowood:2020kvk}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.~J.}\ \bibnamefont
  {Hollowood}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
  {Prem~Kumar}}, \ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Legramandi}},\ }\href {\doibase 10.1088/1751-8121/abbc51} {\bibfield
  {journal} {\bibinfo  {journal} {J. Phys. A}\ }\textbf {\bibinfo {volume}
  {53}},\ \bibinfo {pages} {475401} (\bibinfo {year} {2020})},\ \Eprint
  {http://arxiv.org/abs/2007.04877} {arXiv:2007.04877 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Hollowood}\ and\ \citenamefont
  {Kumar}(2020)}]{Hollowood:2020cou}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.~J.}\ \bibnamefont
  {Hollowood}}\ and\ \bibinfo {author} {\bibfnamefont {S.~P.}\ \bibnamefont
  {Kumar}},\ }\href {\doibase 10.1007/JHEP08(2020)094} {\bibfield  {journal}
  {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {08}},\ \bibinfo
  {pages} {094} (\bibinfo {year} {2020})},\ \Eprint
  {http://arxiv.org/abs/2004.14944} {arXiv:2004.14944 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Wang}\ \emph {et~al.}(2021)\citenamefont {Wang},
  \citenamefont {Li},\ and\ \citenamefont {Wang}}]{Wang:2021mqq}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {X.}~\bibnamefont
  {Wang}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Li}}, \ and\
  \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Wang}},\ }\href@noop {}
  {\  (\bibinfo {year} {2021})},\ \Eprint {http://arxiv.org/abs/2104.00224}
  {arXiv:2104.00224 [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hubeny}\ \emph {et~al.}(2007)\citenamefont {Hubeny},
  \citenamefont {Rangamani},\ and\ \citenamefont {Takayanagi}}]{Hubeny:2007xt}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {V.~E.}\ \bibnamefont
  {Hubeny}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Rangamani}}, \
  and\ \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Takayanagi}},\
  }\href {\doibase 10.1088/1126-6708/2007/07/062} {\bibfield  {journal}
  {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {07}},\ \bibinfo
  {pages} {062} (\bibinfo {year} {2007})},\ \Eprint
  {http://arxiv.org/abs/0705.0016} {arXiv:0705.0016 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Faulkner}\ \emph {et~al.}(2013)\citenamefont
  {Faulkner}, \citenamefont {Lewkowycz},\ and\ \citenamefont
  {Maldacena}}]{Faulkner:2013ana}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Faulkner}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Lewkowycz}},
  \ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Maldacena}},\
  }\href {\doibase 10.1007/JHEP11(2013)074} {\bibfield  {journal} {\bibinfo
  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {11}},\ \bibinfo {pages} {074}
  (\bibinfo {year} {2013})},\ \Eprint {http://arxiv.org/abs/1307.2892}
  {arXiv:1307.2892 [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Engelhardt}\ and\ \citenamefont
  {Wall}(2015)}]{Engelhardt:2014gca}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
  {Engelhardt}}\ and\ \bibinfo {author} {\bibfnamefont {A.~C.}\ \bibnamefont
  {Wall}},\ }\href {\doibase 10.1007/JHEP01(2015)073} {\bibfield  {journal}
  {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {01}},\ \bibinfo
  {pages} {073} (\bibinfo {year} {2015})},\ \Eprint
  {http://arxiv.org/abs/1408.3203} {arXiv:1408.3203 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Bekenstein}(1974)}]{Bekenstein:1974ax}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~D.}\ \bibnamefont
  {Bekenstein}},\ }\href {\doibase 10.1103/PhysRevD.9.3292} {\bibfield
  {journal} {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume}
  {9}},\ \bibinfo {pages} {3292} (\bibinfo {year} {1974})}\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Wall}(2010)}]{Wall:2010cj}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~C.}\ \bibnamefont
  {Wall}},\ }\href {\doibase 10.1103/PhysRevD.82.124019} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {82}},\
  \bibinfo {pages} {124019} (\bibinfo {year} {2010})},\ \Eprint
  {http://arxiv.org/abs/1007.1493} {arXiv:1007.1493 [gr-qc]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Wall}(2012)}]{Wall:2011hj}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~C.}\ \bibnamefont
  {Wall}},\ }\href {\doibase 10.1103/PhysRevD.85.104049} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {85}},\
  \bibinfo {pages} {104049} (\bibinfo {year} {2012})},\ \bibinfo {note}
  {[Erratum: Phys.Rev.D 87, 069904 (2013)]},\ \Eprint
  {http://arxiv.org/abs/1105.3445} {arXiv:1105.3445 [gr-qc]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Gautason}\ \emph {et~al.}(2020)\citenamefont
  {Gautason}, \citenamefont {Schneiderbauer}, \citenamefont {Sybesma},\ and\
  \citenamefont {Thorlacius}}]{Gautason:2020tmk}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {F.~F.}\ \bibnamefont
  {Gautason}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont
  {Schneiderbauer}}, \bibinfo {author} {\bibfnamefont {W.}~\bibnamefont
  {Sybesma}}, \ and\ \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont
  {Thorlacius}},\ }\href {\doibase 10.1007/JHEP05(2020)091} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {05}},\
  \bibinfo {pages} {091} (\bibinfo {year} {2020})},\ \Eprint
  {http://arxiv.org/abs/2004.00598} {arXiv:2004.00598 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Hartman}\ \emph
  {et~al.}(2020{\natexlab{a}})\citenamefont {Hartman}, \citenamefont
  {Shaghoulian},\ and\ \citenamefont {Strominger}}]{Hartman:2020swn}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Hartman}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont
  {Shaghoulian}}, \ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Strominger}},\ }\href {\doibase 10.1007/JHEP07(2020)022} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {07}},\
  \bibinfo {pages} {022} (\bibinfo {year} {2020}{\natexlab{a}})},\ \Eprint
  {http://arxiv.org/abs/2004.13857} {arXiv:2004.13857 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Chen}\ \emph {et~al.}(2020)\citenamefont {Chen},
  \citenamefont {Myers}, \citenamefont {Neuenfeld}, \citenamefont {Reyes},\
  and\ \citenamefont {Sandor}}]{Chen:2020hmv}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {H.~Z.}\ \bibnamefont
  {Chen}}, \bibinfo {author} {\bibfnamefont {R.~C.}\ \bibnamefont {Myers}},
  \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Neuenfeld}}, \bibinfo
  {author} {\bibfnamefont {I.~A.}\ \bibnamefont {Reyes}}, \ and\ \bibinfo
  {author} {\bibfnamefont {J.}~\bibnamefont {Sandor}},\ }\href {\doibase
  10.1007/JHEP12(2020)025} {\bibfield  {journal} {\bibinfo  {journal} {JHEP}\
  }\textbf {\bibinfo {volume} {12}},\ \bibinfo {pages} {025} (\bibinfo {year}
  {2020})},\ \Eprint {http://arxiv.org/abs/2010.00018} {arXiv:2010.00018
  [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {He}\ \emph {et~al.}(2021)\citenamefont {He},
  \citenamefont {Sun}, \citenamefont {Zhao},\ and\ \citenamefont
  {Zhang}}]{He:2021mst}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
  {He}}, \bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {Sun}}, \bibinfo
  {author} {\bibfnamefont {L.}~\bibnamefont {Zhao}}, \ and\ \bibinfo {author}
  {\bibfnamefont {Y.-X.}\ \bibnamefont {Zhang}},\ }\href@noop {} {\  (\bibinfo
  {year} {2021})},\ \Eprint {http://arxiv.org/abs/2110.07598} {arXiv:2110.07598
  [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lewkowycz}\ and\ \citenamefont
  {Maldacena}(2013)}]{Lewkowycz:2013nqa}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Lewkowycz}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont
  {Maldacena}},\ }\href {\doibase 10.1007/JHEP08(2013)090} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {08}},\
  \bibinfo {pages} {090} (\bibinfo {year} {2013})},\ \Eprint
  {http://arxiv.org/abs/1304.4926} {arXiv:1304.4926 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Dong}\ \emph {et~al.}(2016)\citenamefont {Dong},
  \citenamefont {Lewkowycz},\ and\ \citenamefont {Rangamani}}]{Dong:2016hjy}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {X.}~\bibnamefont
  {Dong}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Lewkowycz}}, \
  and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Rangamani}},\ }\href
  {\doibase 10.1007/JHEP11(2016)028} {\bibfield  {journal} {\bibinfo  {journal}
  {JHEP}\ }\textbf {\bibinfo {volume} {11}},\ \bibinfo {pages} {028} (\bibinfo
  {year} {2016})},\ \Eprint {http://arxiv.org/abs/1607.07506} {arXiv:1607.07506
  [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Dong}(2016)}]{Dong:2016fnf}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {X.}~\bibnamefont
  {Dong}},\ }\href {\doibase 10.1038/ncomms12472} {\bibfield  {journal}
  {\bibinfo  {journal} {Nature Commun.}\ }\textbf {\bibinfo {volume} {7}},\
  \bibinfo {pages} {12472} (\bibinfo {year} {2016})},\ \Eprint
  {http://arxiv.org/abs/1601.06788} {arXiv:1601.06788 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Dong}\ and\ \citenamefont
  {Lewkowycz}(2018)}]{Dong:2017xht}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {X.}~\bibnamefont
  {Dong}}\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Lewkowycz}},\ }\href {\doibase 10.1007/JHEP01(2018)081} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {01}},\
  \bibinfo {pages} {081} (\bibinfo {year} {2018})},\ \Eprint
  {http://arxiv.org/abs/1705.08453} {arXiv:1705.08453 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Brown}\ and\ \citenamefont
  {York}(1993)}]{Brown:1992bq}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~D.}\ \bibnamefont
  {Brown}}\ and\ \bibinfo {author} {\bibfnamefont {J.~W.}\ \bibnamefont {York},
  \bibfnamefont {Jr.}},\ }\href {\doibase 10.1103/PhysRevD.47.1420} {\bibfield
  {journal} {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume}
  {47}},\ \bibinfo {pages} {1420} (\bibinfo {year} {1993})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9209014} {arXiv:gr-qc/9209014} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Banados}\ \emph {et~al.}(1994)\citenamefont
  {Banados}, \citenamefont {Teitelboim},\ and\ \citenamefont
  {Zanelli}}]{Banados:1993qp}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
  {Banados}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Teitelboim}},
  \ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Zanelli}},\ }\href
  {\doibase 10.1103/PhysRevLett.72.957} {\bibfield  {journal} {\bibinfo
  {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {72}},\ \bibinfo
  {pages} {957} (\bibinfo {year} {1994})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9309026} {arXiv:gr-qc/9309026} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Casini}\ \emph {et~al.}(2011)\citenamefont {Casini},
  \citenamefont {Huerta},\ and\ \citenamefont {Myers}}]{Casini:2011kv}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {H.}~\bibnamefont
  {Casini}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Huerta}}, \
  and\ \bibinfo {author} {\bibfnamefont {R.~C.}\ \bibnamefont {Myers}},\ }\href
  {\doibase 10.1007/JHEP05(2011)036} {\bibfield  {journal} {\bibinfo  {journal}
  {JHEP}\ }\textbf {\bibinfo {volume} {05}},\ \bibinfo {pages} {036} (\bibinfo
  {year} {2011})},\ \Eprint {http://arxiv.org/abs/1102.0440} {arXiv:1102.0440
  [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Gibbons}\ and\ \citenamefont
  {Hawking}(1977)}]{Gibbons:1976ue}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {G.~W.}\ \bibnamefont
  {Gibbons}}\ and\ \bibinfo {author} {\bibfnamefont {S.~W.}\ \bibnamefont
  {Hawking}},\ }\href {\doibase 10.1103/PhysRevD.15.2752} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {15}},\
  \bibinfo {pages} {2752} (\bibinfo {year} {1977})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Jackiw}(1985)}]{Jackiw:1984je}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont
  {Jackiw}},\ }\href {\doibase 10.1016/0550-3213(85)90448-1} {\bibfield
  {journal} {\bibinfo  {journal} {Nucl. Phys. B}\ }\textbf {\bibinfo {volume}
  {252}},\ \bibinfo {pages} {343} (\bibinfo {year} {1985})}\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Teitelboim}(1983)}]{Teitelboim:1983ux}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.}~\bibnamefont
  {Teitelboim}},\ }\href {\doibase 10.1016/0370-2693(83)90012-6} {\bibfield
  {journal} {\bibinfo  {journal} {Phys. Lett. B}\ }\textbf {\bibinfo {volume}
  {126}},\ \bibinfo {pages} {41} (\bibinfo {year} {1983})}\BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Almheiri}\ and\ \citenamefont
  {Polchinski}(2015)}]{Almheiri:2014cka}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Almheiri}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont
  {Polchinski}},\ }\href {\doibase 10.1007/JHEP11(2015)014} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {11}},\
  \bibinfo {pages} {014} (\bibinfo {year} {2015})},\ \Eprint
  {http://arxiv.org/abs/1402.6334} {arXiv:1402.6334 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Christensen}\ and\ \citenamefont
  {Fulling}(1977)}]{Christensen:1977jc}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.~M.}\ \bibnamefont
  {Christensen}}\ and\ \bibinfo {author} {\bibfnamefont {S.~A.}\ \bibnamefont
  {Fulling}},\ }\href {\doibase 10.1103/PhysRevD.15.2088} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {15}},\
  \bibinfo {pages} {2088} (\bibinfo {year} {1977})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hartle}\ and\ \citenamefont
  {Hawking}(1976)}]{Hartle:1976tp}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~B.}\ \bibnamefont
  {Hartle}}\ and\ \bibinfo {author} {\bibfnamefont {S.~W.}\ \bibnamefont
  {Hawking}},\ }\href {\doibase 10.1103/PhysRevD.13.2188} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {13}},\
  \bibinfo {pages} {2188} (\bibinfo {year} {1976})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Spradlin}\ and\ \citenamefont
  {Strominger}(1999)}]{Spradlin:1999bn}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
  {Spradlin}}\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Strominger}},\ }\href {\doibase 10.1088/1126-6708/1999/11/021} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {11}},\
  \bibinfo {pages} {021} (\bibinfo {year} {1999})},\ \Eprint
  {http://arxiv.org/abs/hep-th/9904143} {arXiv:hep-th/9904143} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Pedraza}\ \emph {et~al.}(2021)\citenamefont
  {Pedraza}, \citenamefont {Svesko}, \citenamefont {Sybesma},\ and\
  \citenamefont {Visser}}]{Pedraza:2021cvx}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~F.}\ \bibnamefont
  {Pedraza}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Svesko}},
  \bibinfo {author} {\bibfnamefont {W.}~\bibnamefont {Sybesma}}, \ and\
  \bibinfo {author} {\bibfnamefont {M.~R.}\ \bibnamefont {Visser}},\
  }\href@noop {} {\  (\bibinfo {year} {2021})},\ \Eprint
  {http://arxiv.org/abs/2107.10358} {arXiv:2107.10358 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Wald}(1993)}]{Wald:1993nt}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.~M.}\ \bibnamefont
  {Wald}},\ }\href {\doibase 10.1103/PhysRevD.48.R3427} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {48}},\
  \bibinfo {pages} {R3427} (\bibinfo {year} {1993})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9307038} {arXiv:gr-qc/9307038} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Myers}(1994)}]{Myers:1994sg}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.~C.}\ \bibnamefont
  {Myers}},\ }\href {\doibase 10.1103/PhysRevD.50.6412} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {50}},\
  \bibinfo {pages} {6412} (\bibinfo {year} {1994})},\ \Eprint
  {http://arxiv.org/abs/hep-th/9405162} {arXiv:hep-th/9405162} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Brown}\ and\ \citenamefont
  {York}(1994)}]{Brown:1994su}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~D.}\ \bibnamefont
  {Brown}}\ and\ \bibinfo {author} {\bibfnamefont {J.~W.}\ \bibnamefont {York},
  \bibfnamefont {Jr.}},\ }in\ \href@noop {} {\emph {\bibinfo {booktitle} {{The
  Black Hole 25 Years After}}}}\ (\bibinfo {year} {1994})\ pp.\ \bibinfo
  {pages} {1--24},\ \Eprint {http://arxiv.org/abs/gr-qc/9405024}
  {arXiv:gr-qc/9405024} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Czech}\ \emph {et~al.}(2012)\citenamefont {Czech},
  \citenamefont {Karczmarek}, \citenamefont {Nogueira},\ and\ \citenamefont
  {Van~Raamsdonk}}]{Czech:2012bh}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {B.}~\bibnamefont
  {Czech}}, \bibinfo {author} {\bibfnamefont {J.~L.}\ \bibnamefont
  {Karczmarek}}, \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont
  {Nogueira}}, \ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
  {Van~Raamsdonk}},\ }\href {\doibase 10.1088/0264-9381/29/15/155009}
  {\bibfield  {journal} {\bibinfo  {journal} {Class. Quant. Grav.}\ }\textbf
  {\bibinfo {volume} {29}},\ \bibinfo {pages} {155009} (\bibinfo {year}
  {2012})},\ \Eprint {http://arxiv.org/abs/1204.1330} {arXiv:1204.1330
  [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Wall}(2014)}]{Wall:2012uf}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~C.}\ \bibnamefont
  {Wall}},\ }\href {\doibase 10.1088/0264-9381/31/22/225007} {\bibfield
  {journal} {\bibinfo  {journal} {Class. Quant. Grav.}\ }\textbf {\bibinfo
  {volume} {31}},\ \bibinfo {pages} {225007} (\bibinfo {year} {2014})},\
  \Eprint {http://arxiv.org/abs/1211.3494} {arXiv:1211.3494 [hep-th]}
  \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Headrick}\ \emph {et~al.}(2014)\citenamefont
  {Headrick}, \citenamefont {Hubeny}, \citenamefont {Lawrence},\ and\
  \citenamefont {Rangamani}}]{Headrick:2014cta}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
  {Headrick}}, \bibinfo {author} {\bibfnamefont {V.~E.}\ \bibnamefont
  {Hubeny}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Lawrence}}, \
  and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Rangamani}},\ }\href
  {\doibase 10.1007/JHEP12(2014)162} {\bibfield  {journal} {\bibinfo  {journal}
  {JHEP}\ }\textbf {\bibinfo {volume} {12}},\ \bibinfo {pages} {162} (\bibinfo
  {year} {2014})},\ \Eprint {http://arxiv.org/abs/1408.6300} {arXiv:1408.6300
  [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Jacobson}(2016)}]{Jacobson:2015hqa}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Jacobson}},\ }\href {\doibase 10.1103/PhysRevLett.116.201101} {\bibfield
  {journal} {\bibinfo  {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo
  {volume} {116}},\ \bibinfo {pages} {201101} (\bibinfo {year} {2016})},\
  \Eprint {http://arxiv.org/abs/1505.04753} {arXiv:1505.04753 [gr-qc]}
  \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Jacobson}\ and\ \citenamefont
  {Visser}(2019{\natexlab{a}})}]{Jacobson:2018ahi}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Jacobson}}\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
  {Visser}},\ }\href {\doibase 10.21468/SciPostPhys.7.6.079} {\bibfield
  {journal} {\bibinfo  {journal} {SciPost Phys.}\ }\textbf {\bibinfo {volume}
  {7}},\ \bibinfo {pages} {079} (\bibinfo {year} {2019}{\natexlab{a}})},\
  \Eprint {http://arxiv.org/abs/1812.01596} {arXiv:1812.01596 [hep-th]}
  \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Visser}(2019)}]{Visser:2019muv}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.~R.}\ \bibnamefont
  {Visser}},\ }\emph {\bibinfo {title} {{Emergent gravity in a holographic
  universe}}},\ \href@noop {} {Ph.D. thesis},\ \bibinfo  {school} {Amsterdam
  U.} (\bibinfo {year} {2019}),\ \Eprint {http://arxiv.org/abs/1908.05469}
  {arXiv:1908.05469 [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Jacobson}\ and\ \citenamefont
  {Kang}(1993)}]{Jacobson:1993pf}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Jacobson}}\ and\ \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Kang}},\ }\href {\doibase 10.1088/0264-9381/10/11/002} {\bibfield  {journal}
  {\bibinfo  {journal} {Class. Quant. Grav.}\ }\textbf {\bibinfo {volume}
  {10}},\ \bibinfo {pages} {L201} (\bibinfo {year} {1993})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9307002} {arXiv:gr-qc/9307002} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Banks}\ \emph {et~al.}(2021)\citenamefont {Banks},
  \citenamefont {Draper},\ and\ \citenamefont {Farkas}}]{Banks:2020tox}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Banks}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Draper}}, \
  and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Farkas}},\ }\href
  {\doibase 10.1103/PhysRevD.103.106022} {\bibfield  {journal} {\bibinfo
  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {103}},\ \bibinfo
  {pages} {106022} (\bibinfo {year} {2021})},\ \Eprint
  {http://arxiv.org/abs/2008.03449} {arXiv:2008.03449 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Jacobson}(1994)}]{Jacobson:1994fp}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Jacobson}},\ }\href {\doibase 10.1103/PhysRevD.50.R6031} {\bibfield
  {journal} {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume}
  {50}},\ \bibinfo {pages} {R6031} (\bibinfo {year} {1994})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9407022} {arXiv:gr-qc/9407022} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Iyer}\ and\ \citenamefont
  {Wald}(1994)}]{Iyer:1994ys}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont
  {Iyer}}\ and\ \bibinfo {author} {\bibfnamefont {R.~M.}\ \bibnamefont
  {Wald}},\ }\href {\doibase 10.1103/PhysRevD.50.846} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {50}},\
  \bibinfo {pages} {846} (\bibinfo {year} {1994})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9403028} {arXiv:gr-qc/9403028} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Iyer}\ and\ \citenamefont
  {Wald}(1995)}]{Iyer:1995kg}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont
  {Iyer}}\ and\ \bibinfo {author} {\bibfnamefont {R.~M.}\ \bibnamefont
  {Wald}},\ }\href {\doibase 10.1103/PhysRevD.52.4430} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {52}},\
  \bibinfo {pages} {4430} (\bibinfo {year} {1995})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9503052} {arXiv:gr-qc/9503052} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Jacobson}\ and\ \citenamefont
  {Visser}(2019{\natexlab{b}})}]{Jacobson:2019gco}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Jacobson}}\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont
  {Visser}},\ }\href {\doibase 10.1142/S0218271819440164} {\bibfield  {journal}
  {\bibinfo  {journal} {Int. J. Mod. Phys. D}\ }\textbf {\bibinfo {volume}
  {28}},\ \bibinfo {pages} {1944016} (\bibinfo {year} {2019}{\natexlab{b}})},\
  \Eprint {http://arxiv.org/abs/1904.04843} {arXiv:1904.04843 [gr-qc]}
  \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bueno}\ \emph {et~al.}(2017)\citenamefont {Bueno},
  \citenamefont {Min}, \citenamefont {Speranza},\ and\ \citenamefont
  {Visser}}]{Bueno:2016gnv}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {P.}~\bibnamefont
  {Bueno}}, \bibinfo {author} {\bibfnamefont {V.~S.}\ \bibnamefont {Min}},
  \bibinfo {author} {\bibfnamefont {A.~J.}\ \bibnamefont {Speranza}}, \ and\
  \bibinfo {author} {\bibfnamefont {M.~R.}\ \bibnamefont {Visser}},\ }\href
  {\doibase 10.1103/PhysRevD.95.046003} {\bibfield  {journal} {\bibinfo
  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {95}},\ \bibinfo
  {pages} {046003} (\bibinfo {year} {2017})},\ \Eprint
  {http://arxiv.org/abs/1612.04374} {arXiv:1612.04374 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Callebaut}(2019)}]{Callebaut:2018xfu}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont
  {Callebaut}},\ }\href {\doibase 10.1007/JHEP02(2019)153} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {02}},\
  \bibinfo {pages} {153} (\bibinfo {year} {2019})},\ \Eprint
  {http://arxiv.org/abs/1808.10431} {arXiv:1808.10431 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Almheiri}\ \emph
  {et~al.}(2020{\natexlab{c}})\citenamefont {Almheiri}, \citenamefont
  {Hartman}, \citenamefont {Maldacena}, \citenamefont {Shaghoulian},\ and\
  \citenamefont {Tajdini}}]{Almheiri:2020cfm}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Almheiri}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Hartman}},
  \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Maldacena}}, \bibinfo
  {author} {\bibfnamefont {E.}~\bibnamefont {Shaghoulian}}, \ and\ \bibinfo
  {author} {\bibfnamefont {A.}~\bibnamefont {Tajdini}},\ }\href@noop {} {\
  (\bibinfo {year} {2020}{\natexlab{c}})},\ \Eprint
  {http://arxiv.org/abs/2006.06872} {arXiv:2006.06872 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Hartman}(2013)}]{Hartman:2013mia}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Hartman}},\ }\href@noop {} {\  (\bibinfo {year} {2013})},\ \Eprint
  {http://arxiv.org/abs/1303.6955} {arXiv:1303.6955 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Rolph}(2021)}]{Rolph:2021nan}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Rolph}},\ }\href@noop {} {\  (\bibinfo {year} {2021})},\ \Eprint
  {http://arxiv.org/abs/2107.11385} {arXiv:2107.11385 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Akers}\ and\ \citenamefont
  {Penington}(2021)}]{Akers:2020pmf}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.}~\bibnamefont
  {Akers}}\ and\ \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont
  {Penington}},\ }\href {\doibase 10.1007/JHEP04(2021)062} {\bibfield
  {journal} {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {04}},\
  \bibinfo {pages} {062} (\bibinfo {year} {2021})},\ \Eprint
  {http://arxiv.org/abs/2008.03319} {arXiv:2008.03319 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Marolf}(2018)}]{Marolf:2018ldl}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont
  {Marolf}},\ }\href {\doibase 10.1007/JHEP09(2018)114} {\bibfield  {journal}
  {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {09}},\ \bibinfo
  {pages} {114} (\bibinfo {year} {2018})},\ \Eprint
  {http://arxiv.org/abs/1808.00394} {arXiv:1808.00394 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Colin-Ellerin}\ \emph
  {et~al.}(2021{\natexlab{a}})\citenamefont {Colin-Ellerin}, \citenamefont
  {Dong}, \citenamefont {Marolf}, \citenamefont {Rangamani},\ and\
  \citenamefont {Wang}}]{Colin-Ellerin:2020mva}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
  {Colin-Ellerin}}, \bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Dong}},
  \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Marolf}}, \bibinfo
  {author} {\bibfnamefont {M.}~\bibnamefont {Rangamani}}, \ and\ \bibinfo
  {author} {\bibfnamefont {Z.}~\bibnamefont {Wang}},\ }\href {\doibase
  10.1007/JHEP05(2021)117} {\bibfield  {journal} {\bibinfo  {journal} {JHEP}\
  }\textbf {\bibinfo {volume} {05}},\ \bibinfo {pages} {117} (\bibinfo {year}
  {2021}{\natexlab{a}})},\ \Eprint {http://arxiv.org/abs/2012.00828}
  {arXiv:2012.00828 [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Colin-Ellerin}\ \emph
  {et~al.}(2021{\natexlab{b}})\citenamefont {Colin-Ellerin}, \citenamefont
  {Dong}, \citenamefont {Marolf}, \citenamefont {Rangamani},\ and\
  \citenamefont {Wang}}]{Colin-Ellerin:2021jev}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
  {Colin-Ellerin}}, \bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Dong}},
  \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Marolf}}, \bibinfo
  {author} {\bibfnamefont {M.}~\bibnamefont {Rangamani}}, \ and\ \bibinfo
  {author} {\bibfnamefont {Z.}~\bibnamefont {Wang}},\ }\href@noop {} {\
  (\bibinfo {year} {2021}{\natexlab{b}})},\ \Eprint
  {http://arxiv.org/abs/2105.07002} {arXiv:2105.07002 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Witten}(2020)}]{Witten:2020ert}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont
  {Witten}},\ }\href@noop {} {\  (\bibinfo {year} {2020})},\ \Eprint
  {http://arxiv.org/abs/2006.03494} {arXiv:2006.03494 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Callan}\ \emph {et~al.}(1992)\citenamefont {Callan},
  \citenamefont {Giddings}, \citenamefont {Harvey},\ and\ \citenamefont
  {Strominger}}]{Callan:1992rs}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.~G.}\ \bibnamefont
  {Callan}, \bibfnamefont {Jr.}}, \bibinfo {author} {\bibfnamefont {S.~B.}\
  \bibnamefont {Giddings}}, \bibinfo {author} {\bibfnamefont {J.~A.}\
  \bibnamefont {Harvey}}, \ and\ \bibinfo {author} {\bibfnamefont
  {A.}~\bibnamefont {Strominger}},\ }\href {\doibase 10.1103/PhysRevD.45.R1005}
  {\bibfield  {journal} {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo
  {volume} {45}},\ \bibinfo {pages} {1005} (\bibinfo {year} {1992})},\ \Eprint
  {http://arxiv.org/abs/hep-th/9111056} {arXiv:hep-th/9111056} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Russo}\ \emph {et~al.}(1992)\citenamefont {Russo},
  \citenamefont {Susskind},\ and\ \citenamefont {Thorlacius}}]{Russo:1992ax}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~G.}\ \bibnamefont
  {Russo}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Susskind}}, \
  and\ \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Thorlacius}},\
  }\href {\doibase 10.1103/PhysRevD.46.3444} {\bibfield  {journal} {\bibinfo
  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {46}},\ \bibinfo
  {pages} {3444} (\bibinfo {year} {1992})},\ \Eprint
  {http://arxiv.org/abs/hep-th/9206070} {arXiv:hep-th/9206070} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Bose}\ \emph {et~al.}(1996)\citenamefont {Bose},
  \citenamefont {Parker},\ and\ \citenamefont {Peleg}}]{Bose:1995bk}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont
  {Bose}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Parker}}, \ and\
  \bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {Peleg}},\ }\href
  {\doibase 10.1103/PhysRevLett.76.861} {\bibfield  {journal} {\bibinfo
  {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {76}},\ \bibinfo
  {pages} {861} (\bibinfo {year} {1996})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9508027} {arXiv:gr-qc/9508027} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Chen}\ \emph {et~al.}(2021)\citenamefont {Chen},
  \citenamefont {Gorbenko},\ and\ \citenamefont {Maldacena}}]{Chen:2020tes}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont
  {Chen}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Gorbenko}}, \
  and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Maldacena}},\ }\href
  {\doibase 10.1007/JHEP02(2021)009} {\bibfield  {journal} {\bibinfo  {journal}
  {JHEP}\ }\textbf {\bibinfo {volume} {02}},\ \bibinfo {pages} {009} (\bibinfo
  {year} {2021})},\ \Eprint {http://arxiv.org/abs/2007.16091} {arXiv:2007.16091
  [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hartman}\ \emph
  {et~al.}(2020{\natexlab{b}})\citenamefont {Hartman}, \citenamefont {Jiang},\
  and\ \citenamefont {Shaghoulian}}]{Hartman:2020khs}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont
  {Hartman}}, \bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {Jiang}}, \
  and\ \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Shaghoulian}},\
  }\href {\doibase 10.1007/JHEP11(2020)111} {\bibfield  {journal} {\bibinfo
  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {11}},\ \bibinfo {pages} {111}
  (\bibinfo {year} {2020}{\natexlab{b}})},\ \Eprint
  {http://arxiv.org/abs/2008.01022} {arXiv:2008.01022 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Balasubramanian}\ \emph {et~al.}(2021)\citenamefont
  {Balasubramanian}, \citenamefont {Kar},\ and\ \citenamefont
  {Ugajin}}]{Balasubramanian:2020xqf}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont
  {Balasubramanian}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Kar}}, \ and\ \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Ugajin}},\
  }\href {\doibase 10.1007/JHEP02(2021)072} {\bibfield  {journal} {\bibinfo
  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {02}},\ \bibinfo {pages} {072}
  (\bibinfo {year} {2021})},\ \Eprint {http://arxiv.org/abs/2008.05275}
  {arXiv:2008.05275 [hep-th]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Sybesma}(2021)}]{Sybesma:2020fxg}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {W.}~\bibnamefont
  {Sybesma}},\ }\href {\doibase 10.1088/1361-6382/abff9a} {\bibfield  {journal}
  {\bibinfo  {journal} {Class. Quant. Grav.}\ }\textbf {\bibinfo {volume}
  {38}},\ \bibinfo {pages} {145012} (\bibinfo {year} {2021})},\ \Eprint
  {http://arxiv.org/abs/2008.07994} {arXiv:2008.07994 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Svesko}\ \emph {et~al.}(2022)\citenamefont {Svesko},
  \citenamefont {Verheijden}, \citenamefont {Verlinde},\ and\ \citenamefont
  {Visser}}]{Svesko:2022txo}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont
  {Svesko}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Verheijden}},
  \bibinfo {author} {\bibfnamefont {E.~P.}\ \bibnamefont {Verlinde}}, \ and\
  \bibinfo {author} {\bibfnamefont {M.~R.}\ \bibnamefont {Visser}},\
  }\href@noop {} {\  (\bibinfo {year} {2022})},\ \Eprint
  {http://arxiv.org/abs/2203.00700} {arXiv:2203.00700 [hep-th]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {York}(1972)}]{York:1972sj}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~W.}\ \bibnamefont
  {York}, \bibfnamefont {Jr.}},\ }\href {\doibase 10.1103/PhysRevLett.28.1082}
  {\bibfield  {journal} {\bibinfo  {journal} {Phys. Rev. Lett.}\ }\textbf
  {\bibinfo {volume} {28}},\ \bibinfo {pages} {1082} (\bibinfo {year}
  {1972})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hayward}\ \emph {et~al.}(1999)\citenamefont
  {Hayward}, \citenamefont {Mukohyama},\ and\ \citenamefont
  {Ashworth}}]{Hayward:1998ee}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.~A.}\ \bibnamefont
  {Hayward}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Mukohyama}},
  \ and\ \bibinfo {author} {\bibfnamefont {M.~C.}\ \bibnamefont {Ashworth}},\
  }\href {\doibase 10.1016/S0375-9601(99)00225-X} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Lett. A}\ }\textbf {\bibinfo {volume} {256}},\
  \bibinfo {pages} {347} (\bibinfo {year} {1999})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9810006} {arXiv:gr-qc/9810006} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Wall}(2015)}]{Wall:2015raa}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~C.}\ \bibnamefont
  {Wall}},\ }\href {\doibase 10.1142/S0218271815440149} {\bibfield  {journal}
  {\bibinfo  {journal} {Int. J. Mod. Phys. D}\ }\textbf {\bibinfo {volume}
  {24}},\ \bibinfo {pages} {1544014} (\bibinfo {year} {2015})},\ \Eprint
  {http://arxiv.org/abs/1504.08040} {arXiv:1504.08040 [gr-qc]} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Brown}(1995)}]{Brown:1995su}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~D.}\ \bibnamefont
  {Brown}},\ }\href {\doibase 10.1103/PhysRevD.52.7011} {\bibfield  {journal}
  {\bibinfo  {journal} {Phys. Rev. D}\ }\textbf {\bibinfo {volume} {52}},\
  \bibinfo {pages} {7011} (\bibinfo {year} {1995})},\ \Eprint
  {http://arxiv.org/abs/gr-qc/9506085} {arXiv:gr-qc/9506085} \BibitemShut
  {NoStop}%
\bibitem [{\citenamefont {Harlow}\ and\ \citenamefont
  {Wu}(2020)}]{Harlow:2019yfa}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont
  {Harlow}}\ and\ \bibinfo {author} {\bibfnamefont {J.-Q.}\ \bibnamefont
  {Wu}},\ }\href {\doibase 10.1007/JHEP10(2020)146} {\bibfield  {journal}
  {\bibinfo  {journal} {JHEP}\ }\textbf {\bibinfo {volume} {10}},\ \bibinfo
  {pages} {146} (\bibinfo {year} {2020})},\ \Eprint
  {http://arxiv.org/abs/1906.08616} {arXiv:1906.08616 [hep-th]} \BibitemShut
  {NoStop}%
\end{thebibliography}%