Entropy-area law and temperature of de Sitter horizons from modular theory
Extracted source text · arXiv 2311.13990
\documentclass[pteplogo,letterpaper]{ptephy_v1}
\Year{2024}
\pdfoutput=1
\usepackage[utf8]{inputenc}
\usepackage[colorlinks=true,urlcolor=blue,anchorcolor=blue,citecolor=blue,filecolor=blue,linkcolor=blue,menucolor=blue,linktocpage=true,bookmarksopen,pdfa=true,unicode]{hyperref}
% extends amsmath
\usepackage{mathtools}
% fonts
\usepackage{lmodern}
\usepackage[T1]{fontenc}
\usepackage{bbm}
\DeclareMathAlphabet{\mathbfi}{OML}{cmm}{b}{it}
\usepackage{mathrsfs}
% spacing of \left and \right
\let\originalleft\left
\let\originalright\right
\renewcommand{\left}{\mathopen{}\mathclose\bgroup\originalleft}
\renewcommand{\right}{\aftergroup\egroup\originalright}
% bigger manual bracket sizes
\makeatletter
\newcommand{\biggg}{\bBigg@\thr@@}
\newcommand{\Biggg}{\bBigg@{3.5}}
\makeatother
% new environments
\makeatletter
\newenvironment{equations}[1][]{\subequations\ifx\relax#1\relax\else\label{#1}\fi\align\ignorespaces}{\endalign\ignorespacesafterend\endsubequations}
\def\@spliteq#1{\begin{equation}\begin{split}#1\end{split}\end{equation}}
\def\@spliteqstar#1{\begin{equation*}\begin{split}#1\end{split}\end{equation*}}
\def\splitequation{\collect@body\@spliteq}
\expandafter\def\csname splitequation*\endcsname{\collect@body\@spliteqstar}
\def\endsplitequation{\ignorespacesafterend}
\expandafter\def\csname endsplitequation*\endcsname{\ignorespacesafterend}
\makeatother
% center figures
\makeatletter
\g@addto@macro\@floatboxreset\centering
\makeatother
% new commands
\renewcommand{\vec}[1]{{\ifnum9<1#1\mathbf{#1}\else\ifcat\noexpand#1\relax\boldsymbol{#1}\else\mathbfi{#1}\fi\fi}}
\newcommand{\mathe}{\mathrm{e}}
\newcommand{\mathi}{\mathrm{i}}
\newcommand{\total}{\mathop{}\!\mathrm{d}}
\newcommand{\abs}[1]{{\left\lvert{#1}\right\rvert}}
\newcommand{\eqend}[1]{\,#1}
\newcommand{\bra}[1]{\left\langle{#1}\right\vert}
\newcommand{\ket}[1]{\left\vert{#1}\right\rangle}
% double angle brackets
\makeatletter
\newsavebox{\@brx}
\newcommand{\llangle}[1][]{\savebox{\@brx}{\(\m@th{#1\langle}\)}%
\mathopen{\copy\@brx\kern-0.5\wd\@brx\usebox{\@brx}}}
\newcommand{\rrangle}[1][]{\savebox{\@brx}{\(\m@th{#1\rangle}\)}%
\mathclose{\copy\@brx\kern-0.5\wd\@brx\usebox{\@brx}}}
\makeatother
% to draw double cone symbols
\usepackage{tikz}
\protected\def\doublecone{\tikz[baseline=0.5pt]{\draw (0,4pt) arc(190:350:5pt and 1.5pt); \draw (0,4pt) -- (5pt,9pt) -- (10pt,4pt) -- (5pt,-1pt) -- cycle; \draw[densely dotted] (0,4pt) arc(170:10:5pt and 1.5pt);}}
\protected\def\smalldoublecone{\tikz[baseline=0pt,very thin,scale=0.5]{\draw (0,4pt) arc(190:350:5pt and 1.5pt); \draw (0,4pt) -- (5pt,9pt) -- (10pt,4pt) -- (5pt,-1pt) -- cycle; \draw[dash pattern=on \pgflinewidth off 0.5pt] (0,4pt) arc(170:10:5pt and 1.5pt);}}
% spacing
\frenchspacing
% formulas can span pages
\allowdisplaybreaks
% proper year in copyright statement
\makeatletter
\renewcommand{\titlepagefootline}{%
\fontsize{6.5}{8.5}\selectfont
\vbox{\vspace*{12pt}
\hbox to 436.9pt{\hspace*{-1.9pt}\hspace*{-1.4pt}}
\hbox to \textwidth{$\copyright$ The Author(s) 2023. Published by Oxford University Press on behalf of the Physical Society of Japan.\hfill}
\hbox to \textwidth{This is an Open Access article distributed under the terms of the Creative Commons Attribution License\hfill}
\hbox to \textwidth{(http://creativecommons.org/licenses/by-nc/3.0), which permits unrestricted use,\hfill}
\hbox to \textwidth{distribution, and reproduction in any medium, provided the original work is properly cited.\hfill}
\vspace*{12pt}}}
\makeatother
% email-s
%\newcommand{\aemail}[2]{\affil[#1]{E-Mail: \href{mailto:#2}{#2}}}
\newcommand{\aemail}[3][]{\affil[#2]{\if #1\empty\else#1 \fi E-Mail: \href{mailto:#3}{#3}}}
\begin{document}
\title{Entropy-area law and temperature of de Sitter horizons from modular theory}
% authors
\author[1,2,$\ast$]{Edoardo D'Angelo}
\author[3,$\dagger$]{Markus B. Fr\"ob}
\author[1,$\ddag$]{Stefano Galanda}
\author[4,5,$\S$]{Paolo Meda}
\author[3,$\P$]{Albert Much}
\author[6,$\parallel$]{Kyriakos Papadopoulos}
% affiliations
\affil[1]{Dipartimento di Matematica, Dipartimento di Eccellenza 2023-2027, Universit{\`a} di Genova, Italy, Via Dodecaneso 35, 16146 Genova, Italy}
\affil[2]{Istituto Nazionale di Fisica Nucleare, Sezione di Genova, Via Dodecaneso 33, 16146 Genova, Italy}
\affil[3]{Institut f{\"u}r Theoretische Physik, Universit{\"a}t Leipzig, Br{\"u}derstra{\ss}e 16, 04103 Leipzig, Germany}
\affil[4]{Dipartimento di Matematica, Universit{\`a} degli Studi di Trento, Via Sommarive 14, 38123 Povo, Italy}
\affil[5]{Trento Institute for Fundamental Physics and Applications (TIFPA-INFN), Via Sommarive 14, 38123 Povo, Italy}
\affil[6]{Department of Mathematics, Faculty of Science, Kuwait University, Safat 13060, Kuwait}
% e-mails
\aemail{$\ast$}{edoardo.dangelo@edu.unige.it}
\aemail{$\dagger$}{mfroeb@itp.uni-leipzig.de}
\aemail{$\ddag$}{stefano.galanda@dima.unige.it}
\aemail{$\S$}{paolo.meda@unitn.it}
\aemail{$\P$}{much@itp.uni-leipzig.de}
\aemail[Corresponding author,]{$\parallel$}{kyriakos@sci.kuniv.edu.kw}
\begin{abstract}
We derive an entropy-area law for the future horizon of an observer in diamonds inside the static patch of de Sitter spacetime, taking into account the backreaction of quantum matter fields. We prove positivity and convexity of the relative entropy for coherent states using Tomita--Takesaki modular theory, from which the QNEC for diamonds follows. Furthermore, we show that the generalized entropy conjecture holds. Finally, we reveal that the local temperature which is measured by an observer at rest exhibits subleading quantum corrections with respect to the well-known cosmological horizon temperature $H/(2\pi)$.
\end{abstract}
\maketitle
\section{Introduction}
Since Bekenstein and Hawking's discovery of black hole entropy \cite{bekenstein1972,hawking1975}, the connection between entropy and geometry provided fundamental insights into the nature of quantum gravity \cite{jacobson2016}. Moreover, considerations motivated by quantum gravity fostered the study of information-theoretic quantities and new entropic measures, providing sometimes surprising results in Quantum Field Theory (QFT). One example is the introduction of entanglement entropy, as a measure of entanglement between quantum degrees of freedom in spatially separated regions, motivated by the search of a microscopic explanation of black hole entropy \cite{bombelli1986,srednicki1993,solodukhin2011}. From its introduction in the context of black hole thermodynamics, entanglement entropy found numerous applications in QFT, in particular in Conformal Field Theory in low dimensions; see e.g. \cite{holzheylarsenwilczek1994,calabresecardy2004,calabresecardy2009, wall2011,wall2017,casinihuerta2023,buenocasiniandinomoreno2023, bostelmanncadamurodelvecchio2020}. However, the entanglement entropy in QFT suffers from universal UV divergences; physically, they arise from the entanglement of modes with arbitrary high energies. Mathematically, they arise because the typical operator algebras describing observables in QFT are von Neumann factors of type III that do not admit a trace, such that a reduced density matrix does not exist \cite{buchholzfredenhagendantoni1987,borchers2000,yngvason2005,witten2018}.
A more suitable notion of entropy for the algebras of QFT is the \emph{relative entropy}, also known as \emph{Kullback--Leibler divergence} in information theory. The relative entropy measures the distinguishability between two states. It is defined for any von Neumann algebra, and so in particular it is a well-defined notion for the type III factors of QFT; in the case of Quantum Mechanics it reduces to the entanglement entropy with a vacuum-subtracted contribution. Using the Tomita--Takesaki theory of modular automorphisms \cite{tomita1967,takesaki1970}, the relative entropy can be obtained from the \emph{Araki--Uhlmann formula} \cite{araki1975,araki1976,uhlmann1977}, employing the \emph{relative modular Hamiltonian}.
In the most general setting, Tomita--Takesaki modular theory considers a von Neumann algebra $\mathfrak{A}$ acting on a Hilbert space $\mathscr{H}$, and a cyclic and separating vector $\ket{\Omega} \in \mathscr{H}$. The \emph{Tomita--Takesaki theorem} states that there exists a self-adjoint operator called \emph{modular Hamiltonian} $\mathcal{H}$, which defines an automorphism of the algebra via the \emph{modular flow} $\sigma_\tau \colon \mathfrak{A} \to \mathe^{\mathi \mathcal{H} \tau} \, \mathfrak{A} \, \mathe^{-\mathi \mathcal{H} \tau}$. Tomita--Takesaki theory thus provides a natural notion of time evolution along the modular parameter $\tau$, for which the state $\ket{\Omega}$ is thermal (KMS). Generalizing to two cyclic and separating vectors $\Omega$ and $\Phi$, the modular theory also defines a relative modular Hamiltonian $\mathcal{H}_{\Omega \vert \Phi}$. The Araki--Uhlmann formula then defines the relative entropy as~\cite{araki1976,uhlmann1977}
\begin{equation}
\label{eq:araki}
\mathcal{S}(\Omega \Vert \Phi) = - \bra{\Omega} \mathcal{H}_{\Omega \vert \Phi} \ket{\Omega} \eqend{.}
\end{equation}
Recently, relative entropy found applications in the context of semi-classical gravity, generalizing the results obtained using entanglement entropy and establishing them rigorously in QFT. For coherent states, obtained as a unitary excitation of the vacuum, the relative entropy can be computed from the \emph{modular Hamiltonian} of the vacuum alone, greatly simplifying the computations and allowing for a more direct evaluation of the entropy \cite{longo2019,casinigrillopontello2019,hollands2019,galandamuchverch2023}. It has been used to rigorously formulate and prove the Bekenstein bound \cite{bousso2003,casini2008,idaokamotosaito2013,longoxu2018}, and the Quantum Null Energy Inequality (QNEC) \cite{ceyhanfaulkner2018,ciollilongoranalloruzzi2022}, to derive the Bekenstein--Hawking formula for Schwarzschild \cite{hollands2019}, prove singularity theorems~\cite{boussoetal2022}, and to define an entropy \cite{dangelo2021} and temperature \cite{kurpiczpinamontiverch2021} for dynamical black holes.
Finally, the relative entropy between coherent states has been recently studied in de Sitter (dS) spacetime by three of the authors \cite{froebmuchpapadopoulos2023}.
De Sitter spacetime also plays an important role as testbed for quantum gravity approaches, and in particular for the \emph{generalized entropy conjecture}. The generalized entropy $\mathcal{S}_\text{gen}$ is defined as the sum of matter entropy $\mathcal{S}_\text{M}$ and the rescaled area $A_\text{dS}/(4 G_\text{N})$ of the de~Sitter horizon, and it has been conjectured that $\mathcal{S}_\text{gen}$ can only decrease when adding any type of matter~\cite{maeda1997, bousso2000, giddingsmarolf2007,banihashemijacobsonsveskovisser2023,balasubramaniannomuraugajin2023,chandrasekaranlongopeningtonwitten2023}. While the horizon entropy has been studied extensively in a holographic context~\cite{boussoengelhardt2015, nguyen2017,narayan2018,dongsilversteintorroba2018,narayan2019,genggrieningerkarch2019,ariasdiazsundell2020,geng2020,geng2021,arenashenriquezetal2022}, the conjecture itself does not make any reference to holography. It can thus be understood (and possibly proven) in a purely QFT context, taking into account the backreaction of the matter on the geometry. Here, we tackle this problem in the context of modular theory.
Concretely, we consider the relative entropy between coherent states for a massless real scalar field in dS diamonds. This is made possible by the results of Ref.~\cite{froeb2023}, where the modular Hamiltonian for these regions was derived. We show that the relative entropy is convex if we shrink the diamond in the null direction, thus proving furthermore the \emph{Quantum Null Energy Condition} (QNEC)~\cite{boussoetal2016} for \emph{finite} regions in de Sitter space.
We then associate the relative entropy to the geometric area of the cosmological horizon. In this way, we derive a conservation law for the generalized entropy, using the back-reaction of the entropy of matter fields on the classical geometry. Our result holds for the relative entropy between the vacuum and a coherent perturbation in a von Neumann algebras of type III, coupled with classical gravity through Einstein's equations. The computation can be connected with recent results based on von Neumann algebras of type II, obtained by adding to the algebra of observables for the scalar field linear, classical gravitational perturbations, coupled via the Raychaudhuri equation \cite{chandrasekaranlongopeningtonwitten2023}. However, our construction relies on the relative entropy, which is always well-defined, while the methods based on von Neumann entropies require divergent quantities at intermediate steps \cite{chandrasekaranpeningtonwitten2022,kudler-flam2023}.
Finally, we define a local notion of temperature for observers at rest inside a dS diamond. In the limit where the diamonds become large and coincide with the full static patch, we recover the well-known temperature of the cosmological horizon~\cite{figarietal1975,gibbonshawking1977}, while for finite-size diamonds we find exponentially suppressed corrections.
\section{Relative entropy}
The relevant part of dS is the expanding Poincaré patch with metric $g_{\mu\nu} = \mathe^{2 \omega} \eta_{\mu\nu}$ with the conformal factor $\omega = - \ln(-H \eta)$, where $\eta \in (-\infty,0)$ is the conformal time. However, not all of this is accessible to a single observer. The corresponding region (for an observer at rest at $r = 0$) is the static patch with metric
\begin{equation}
\label{eq:metric-static-coordinates}
\total s^2 = - (1 - H^2 R^2) \total T^2 + (1 - H^2 R^2)^{-1} \total R^2 + R^2 \total \Omega^2
\end{equation}
in spherical coordinates; both regions are shown in Fig.~\ref{fig:desitter}.
\begin{figure}[ht]
\includegraphics{fig-desitter}
\caption{Geometry of the patches of de~Sitter space relevant for our universe. On the left, the expanding Poincaré patch in conformally flat coordinates $(\eta,\vec{x})$ with $r = \abs{\vec{x}}$; on the right, the static patch in static coordinates $(T,\vec{X})$ with $R = \abs{\vec{X}}$. The cosmological horizon is situated at $R = H^{-1}$.}
\label{fig:desitter}
\end{figure}
The dS diamonds that we consider, centered at $(\chi,\vec{0})$ and of size $\ell$, are the regions
\begin{equation}
\label{eq:desitter_diamond}
\doublecone = \left\{ (\eta,\vec{x})\colon r = \abs{\vec{x}} \in [0, \ell), \eta \in (\chi - \ell + r, \chi + \ell - r) \right\} \eqend{.}
\end{equation}
The modular Hamiltonian for conformal scalar fields $\Phi$ of dimension $\Delta$ in the conformal vacuum $\ket{\Omega}$ is given via a surface integral of the quantum stress tensor $\hat{T}_{\mu\nu}$ on a Cauchy surface $\Sigma$~\cite{froeb2023}, which we take to be the surface $\Sigma = \{ \eta = \chi \}$. It is useful to perform a conformal rescaling, writing $\Phi(f) = \phi(f_\omega)$ with the conformally rescaled test function $f_\omega(x) \equiv \mathe^{(4-\Delta) \omega(x)} f(x)$ and the flat-space massless scalar field $\phi$. The modular Hamiltonian then reads \cite{froeb2023}
\begin{equation}
\label{eq:modular-hamiltonian}
\mathcal{H}_{\chi,\ell} = \int_\Sigma \hat{T}_{\mu\nu}[\phi] \xi^\mu n^\nu \total^3 \Sigma \eqend{,}
\end{equation}
where the flat-space stress tensor $\hat{T}_{\mu\nu}[\phi]$ is contracted with the conformal Killing vector
\begin{equation}
\label{eq:conformal_killing}
\xi^\mu = \frac{\pi}{\ell} \left[ \left( \ell^2 - \tau^2 \right) \delta^\mu_0 + 2 (\tau-\eta) x^\mu - x^2 \delta^\mu_0 \right] \eqend{.}
\end{equation}
From the modular Hamiltonian we can provide an explicit formula for the relative entropy between coherent states in dS diamonds. For coherent states $\mathe^{\mathi \Phi(f)} \ket{\Omega}$, the Araki--Uhlmann formula \eqref{eq:araki} reduces to~\cite{casinigrillopontello2019,longo2019,lashkariliurajagopal2021}
\begin{equation}
\label{eq:araki-uhlmann}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = - \bra{\Omega} \mathe^{\mathi \Phi(f)} \, \mathcal{H}_{\chi,\ell} \, \mathe^{- \mathi \Phi(f)} \ket{\Omega} \eqend{.}
\end{equation}
Since $\mathcal{H}_{\chi,\ell}$ is quadratic in the fields, the above conformal rescaling and the Baker--Campbell--Haussdorf formula~\cite{achillesbonfiglioli2012} give
\begin{splitequation}
\label{eq:relative-entropy-modular-hamiltonian}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) &= \frac{1}{2} \bra{\Omega} \big[ \phi(f_\omega), \big[ \phi(f_\omega), \mathcal{H}_{\chi,\ell} \big] \, \big] \ket{\Omega} \\
&= - \frac{1}{2} \iint \frac{\delta^2 \mathcal{H}_{\chi,\ell}}{\delta \phi(x) \delta \phi(y)} (\Delta f_\omega)(x) (\Delta f_\omega)(y) \total^4 x \total^4 y \eqend{,}
\end{splitequation}
where $(\Delta f_\omega)(x) \equiv \int \Delta(x,y) f_\omega(y) \total^4 y$ with the commutator function $\Delta(x,y) = - \mathi [ \phi(x), \phi(y) ]$.
Since a coherent excitation of the vacuum can also be interpreted as a classical wave, it is not surprising that we can reformulate the relative entropy as an integral over the corresponding classical stress tensor. Namely, we have
\begin{equation}
\iint\! \frac{\delta^2 \hat{T}_{\mu\nu}}{\delta \phi(x) \delta \phi(y)} (\Delta f_\omega)(x) (\Delta f_\omega)(y) \total^4 x \total^4 y = 2 T_{\mu\nu}(\Delta f_\omega)
\end{equation}
with the classical (improved) stress tensor~\cite{froeb2023}
\begin{equation}
\label{eq:SET-coherent}
T_{\mu\nu}(f) = \frac{2}{3} \partial_\mu f \partial_\nu f - \frac{1}{3} f \partial_\mu \partial_\nu f - \frac{1}{6} \eta_{\mu\nu} \partial_\rho f \partial^\rho f \eqend{,}
\end{equation}
and thus
\begin{equation}
\label{eq:relative-entropy-stress}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = \int_\Sigma T_{\mu\nu}(\Delta f_\omega) \xi^\mu n^\nu \total^3 \Sigma \eqend{.}
\end{equation}
With the Cauchy hypersurface $\Sigma = \{ \eta = \chi \}$, using the fact that $\Delta$ satisfies the Klein--Gordon equation, using the result~\eqref{eq:SET-coherent} and integrating spatial derivatives by parts, we find that the relative entropy is given by the relatively simple expression
\begin{equation}
\label{eq:entropy-diamond}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = \frac{\pi}{2 \ell} \int_{\eta = \chi} \Big[ \left( \ell^2 - \vec{x}^2 \right) ( \partial_\eta (\Delta f_\omega) \partial_\eta (\Delta f_\omega) + \partial_i (\Delta f_\omega) \partial^i (\Delta f_\omega) ) + 2 (\Delta f_\omega)^2 \Big] \total^3 \vec{x} \eqend{.}
\end{equation}
This expression of the relative entropy is manifestly positive, as required from general considerations \cite{hollandssanders2017}.
\section{Half-sided modular inclusions and QNEC}
Apart from positivity, the relative entropy given by the Araki--Uhlmann formula~\eqref{eq:araki-uhlmann} satisfies many other important properties such as monotonicity under completely positive maps and joint convexity in both arguments \cite{hollandssanders2017}. It also provides a basis to rigorously formulate and prove entropy inequalities in QFT. In particular, it is known that the relative entropy between coherent states is convex under half-sided modular inclusions, which is a sufficient condition to prove the QNEC on any half-invariant \emph{wedge} on a globally hyperbolic spacetime \cite{ciollilongoranalloruzzi2022}.
Here, we prove that the relative entropy is convex also under inclusions for dS \emph{diamonds}, by explicit computation. In this context, half-sided modular inclusions are realized geometrically by shrinking diamonds towards the future, keeping the future tip fixed. For illustration, consider a diamond of size $\ell_0$ with center at $(\chi_0,\vec{0})$, and a diamond of size $\ell < \ell_0$ with center at $(\chi_0 + \ell_0 - \ell,\vec{0})$, see Fig.~\ref{fig:diamonds-inclusion}. The modular flow for the modular Hamiltonian of the bigger diamond then satisfies
\begin{equation}
\mathe^{\mathi \tau \mathcal{H}_{\chi,\ell_0}} \, \mathfrak{A}_\text{sub} \, \mathe^{- \mathi \tau \mathcal{H}_{\chi,\ell_0}} \subset \mathfrak{A}_\text{sub} \eqend{,} \quad \tau \geq 0 \eqend{,}
\end{equation}
where $\mathfrak{A}_\text{sub}$ is the subalgebra of fields with support inside the smaller diamond. This is exactly the condition for a half-sided modular inclusion \cite{borchers2000,ciollilongoranalloruzzi2022}.
\begin{figure}[ht]
\includegraphics{fig-diamonds-inclusion}
\caption{The diamonds relevant for the half-sided modular inclusion. Note that their future boundary coincides, and that we take a test function $f$ whose support is inside the smaller diamond.}
\label{fig:diamonds-inclusion}
\end{figure}
To show that the entropy is convex under these inclusions, we take a Cauchy surface at $\eta = \chi = \chi_0 + \ell_0 - \ell$, and assume that $\Delta f_\omega$ has compact support on this Cauchy surface. Then the relative entropy is given by Eq.~\eqref{eq:entropy-diamond} with $\chi = \chi_0 + \ell_0 - \ell$, and a short computation results in
\begin{equation}
\partial_\ell^2 \mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = - \frac{2}{\ell} \partial_\ell \mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) \eqend{.}
\end{equation}
This expression is easily integrated, resulting in
\begin{equation}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = \frac{\mathcal{S}_1}{\ell} + \mathcal{S}_2
\end{equation}
with two expressions $\mathcal{S}_i$ independent of $\ell$.\footnote{This form also follows from the explicit expression of the action of the modular operator $\mathcal{H}_{\chi,\ell}$ in static coordinates~\cite{froeb2023}.}
Since the relative entropy is positive for any $\ell$, it must be that both $\mathcal{S}_1, \mathcal{S}_2 > 0$. Thus it follows that
\begin{equation}
\label{eq:entropy-convexity}
\partial_\ell^2 \mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) \geq 0 \eqend{,}
\end{equation}
proving convexity for the relative entropy of dS diamonds. Since the geometric transformation is a shrinking of the dS diamond in the null direction, formula~\eqref{eq:entropy-convexity} is sufficient to prove the QNEC \cite{ciollilongoranalloruzzi2022} for these regions.
\section{Entropy-area law from the modular flow and backreaction}
It has been known for a long time that it is possible to associate an entropy to cosmological horizons \cite{gibbonshawking1977}, similarly to the Bekenstein-Hawking entropy of black holes \cite{hawking1975}. We now show that the backreaction of the matter perturbation on the classical geometry leads to a change in the cosmological horizon area consistent with the generalized entropy conjecture for dS.
Analogously to the computations for Schwarzschild \cite{hollands2019} and dynamical black holes \cite{dangelo2021}, we employ the Raychaudhuri equation to relate the backreaction of the relative entropy to the variation of the horizon area. Consider the diamond \eqref{eq:desitter_diamond} centered at $\chi = - \ell$, and introduce null coordinates $u = \eta-r$, $v = \eta+r$. The metric becomes
\begin{equation}
\total s^2 = \frac{4}{H^2 (u+v)^2} \left[ - \total u \total v + \frac{(v-u)^2}{4} \total \Omega^2 \right] \eqend{,}
\end{equation}
and the future cosmological horizon is the surface $v = 0$, $u \in [-2\ell,0]$, see Fig.~\ref{fig:diamonds-area}. The horizon is described by intrinsic coordinates $u,\theta,\phi$, and the normal vector $n_\mu = \partial_\mu v = \delta_\mu^v$, or $n^\mu = - 2 \delta^\mu_u$. After a conformal rescaling, the induced cross-sectional metric of the horizon is the one of the unit two-sphere with integration measure $\total \Omega = \sin \theta \total \theta \total \phi$, and the conformal Killing vector~\eqref{eq:conformal_killing} inducing the modular flow reads
\begin{equation}
\xi^\mu \partial_\mu = - \frac{\pi}{\ell} \big[ u (u+2\ell) \partial_u + v (v+2\ell) \partial_v \big] \eqend{.}
\end{equation}
\begin{figure}[ht]
\includegraphics{fig-diamonds-area}
\caption{De Sitter diamond of size $2\ell$ whose future coincides with the cosmological horizon at $v = 0$. Since we are considering massless fields in even dimensions, the horizon is perturbed only for some null time $u \in [u_0,u_1] \subset [-2\ell,0]$.}
\label{fig:diamonds-area}
\end{figure}
Since the formula for the relative entropy is independent on the choice of the Cauchy surface $\Sigma$ on which the surface integral is computed \cite{froeb2023}, we can consider the limit in which $\Sigma$ coincides with the cosmological horizon. Eq.~\eqref{eq:relative-entropy-stress} for the relative entropy, evaluated on the horizon, then simplifies to
\begin{equation}
\label{eq:relative-entropy-stress-horizon}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = - \frac{2 \pi}{\ell} \int_{-2\ell}^0 \int T_{uu} \big\rvert_{v = 0} u (u+2\ell) \total \Omega \total u \eqend{.}
\end{equation}
To determine the change of the horizon area to leading order in perturbations, we compute the backreaction of the matter on the geometry analogously to the case of black holes \cite{hollandsishibashi2019}. The leading correction to the metric under the influence of the stress tensor $T_{\mu\nu}(\Delta f_\omega)$~\eqref{eq:SET-coherent} is quadratic in $f_\omega$. Hence, the leading-order correction to the Raychaudhuri equation, in null coordinates, determines the backreaction on the background geometry,
\begin{equation}
\left. \frac{\total \delta \Theta}{\total u} \right\rvert_{v = 0} = - 32 \pi G_\text{N} T_{uu} \eqend{,}
\end{equation}
where $\delta \Theta$ denotes the geodesic expansion of the cosmological horizon due to the coherent perturbation. Both the shear and vorticity tensors, as well as the contribution quadratic in $\Theta$, do not contribute to the right-hand side of the Raychaudhuri equation when evaluated at second order in perturbations \cite{hollandsishibashi2019}.
Multiplying the Raychaudhuri equation with $u(u+2\ell)$ and integrating over $u$ and $\Omega$, Eq.~\eqref{eq:relative-entropy-stress} can be written as
\begin{equation}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = \int_{-2\ell}^0 \frac{u (u+2\ell)}{16 G_\text{N} \ell} \int \left. \frac{\total \delta \Theta}{\total u} \right\rvert_{v = 0} \total \Omega \total u \eqend{.}
\end{equation}
Since on the background we have $\total \Theta/\total u = 0$, to leading order in perturbations we can replace $\delta \Theta$ by the complete geodesic expansion $\Theta + \delta \Theta = \tilde{\Theta}$. In the same way, $\total \Omega$ is substituted by the complete line element $\total \tilde{\Omega} = \sqrt{\gamma} \total \theta \total \phi$. Then we use the definition of the expansion as the logarithmic derivative of the cross-sectional area of the geodesic congruence \cite{wald1984}, $\tilde{\Theta} \equiv \total (\ln \sqrt{\gamma})/\total u$, and integrate by parts. This results in
\begin{equation}
\label{eq:entropy_area_average}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = \frac{1}{4 G_\text{N}} \llangle A_\text{H} \rrangle - \frac{A_\text{H}(0) + A_\text{H}(-2\ell)}{8 G_\text{N}} \eqend{,}
\end{equation}
where the cross-sectional area of the perturbed cosmological horizon is given by
\begin{equation}
A_\text{H}(u) \equiv \int \sqrt{\gamma(u)} \total \theta \total \phi \eqend{,}
\end{equation}
and we defined the null average
\begin{equation}
\llangle A \rrangle = \frac{1}{2 \ell} \int_{-2\ell}^0 A(u) \total u \eqend{.}
\end{equation}
Since the background area of the cosmological horizon is constant, in Eq.~\eqref{eq:entropy_area_average} only the perturbations contribute. Moreover, the fields are massless and conformally coupled and thus propagate along null geodesics in the conformally flat de~Sitter spacetime~\cite{friedlander1975}, see Fig.~\ref{fig:diamonds-area}. It follows that the area perturbations at future infinity (i.e., at $u = v = 0$) and at the rim of the diamond (i.e., at $u = - 2 \ell$, $v = 0$) vanish, $\delta A_\text{H}(0) = 0 = \delta A_\text{H}(-2\ell)$, and thus only the average of the perturbation of the area remains:
\begin{equation}
\mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) = \frac{1}{4 G_\text{N}} \llangle[\big] \delta A_\text{H} \rrangle[\big] \eqend{.}
\end{equation}
It follows that to leading order in matter perturbations, the perturbation of generalized entropy $\delta \mathcal{S}_\text{gen} = - \mathcal{S}\left( \Omega \Vert \mathe^{\mathi \Phi(f)} \Omega \right) + \frac{1}{4 G_\text{N}} \llangle \delta A_\text{H} \rrangle$ vanishes for dS diamonds. We note that the minus sign in the generalized entropy, which gave raise to some subtle interpretations \cite{banihashemijacobsonsveskovisser2023}, naturally arises in this context. Hence the generalized entropy conjecture, according to which $\mathcal{S}_\text{gen}$ does not increase when perturbing dS, holds in our case, and we expect that it decreases when we take into account also the backreaction of quantized metric perturbations.
\section{Local temperature}
Finally, the thermodynamic relation between entropy and energy provides a notion of local temperature. Consider an observer with proper time $t$ and four-velocity $v^\mu = - g^{\mu\nu} \partial_\nu t$ inside a diamond, who crosses some Cauchy surface $\Sigma$ normally such that $v_\mu \big\rvert_\Sigma = n_\mu$ with the normal vector $n_\mu$. The relative entropy measured by this observer is given by Eq.~\eqref{eq:relative-entropy-stress}, and the entropy density $s$ by the integrand in this formula. On the other hand, the observer measures the energy density $e \equiv v^\mu v^\nu T_{\mu\nu}$, and the first law of thermodynamics results in a local temperature: $\delta s = \beta \delta e$. Comparing the two expressions for $s$ and $e$, we find that $\beta = \partial t/\partial (-\tau)$ where $\tau$ is the parameter of the modular flow generated by the modular Hamiltonian~\eqref{eq:modular-hamiltonian}, i.e., $\xi^\mu \partial_\mu = \partial_\tau$ with the conformal Killing vector $\xi^\mu$~\eqref{eq:conformal_killing}. This is, in fact, the temperature arising from the thermal time hypothesis \cite{connesrovelli1994,martinettirovelli2003,longomartinettirehren2010}.
To obtain an explicit expression for the (inverse) temperature $\beta$, we switch to static coordinates. In those, the diamonds of Fig.~\ref{fig:diamonds-area} read
\begin{equation}
\doublecone = \left\{ (T,\vec{X})\colon H R < 1, H T > - \ln\left( 2 H \ell \sqrt{\frac{1 - H R}{1 + H R}} \right) \right\}
\end{equation}
with $R = \abs{\vec{X}}$. An observer at rest passing through the point $(T,\vec{0})$ at $\tau = 0$ follows the trajectory $(T,\vec{X})(\tau) = (T_\tau,\vec{0})$ with~\cite{froeb2023}
\begin{equation}
\label{eq:desitter_doublecone_flow_coords_static}
T_\tau = T_\text{min} + \frac{1}{H} \ln\left[ 1 + \mathe^{- 2 \pi \tau} \left( 2 \mathe^{H T} H \ell - 1 \right) \right] \eqend{.}
\end{equation}
Since
\begin{equation}
\lim_{\tau \to \infty} T_\tau = T_\text{min} \equiv - \frac{1}{H} \ln(2 H \ell)
\end{equation}
is the static time of the lower tip of the diamond, and $\lim_{\tau \to -\infty} T_\tau = \infty$ the one of the upper tip, the observer traverses the whole diamond.
Computing $\beta = \partial T_\tau/\partial (-\tau)$, we obtain
\begin{equation}
\beta = \frac{2 \pi}{H} \frac{2 \mathe^{H T} H \ell - 1}{2 \mathe^{H T} H \ell - 1 + \mathe^{2 \pi \tau}} = \frac{2 \pi}{H} \left[ 1 - \mathe^{- H ( T_\tau - T_\text{min} )} \right] \eqend{.}
\end{equation}
The first term recovers the well-known temperature associated with cosmological horizons~\cite{gibbonshawking1977}, but the second one is a subleading correction, which in fact decays exponentially fast with time. However, in the limit $\ell \to \infty$ where the diamond becomes large and coincides with the full static patch, we have $T_\text{min} \to -\infty$ and recover $\beta \to 2 \pi/H$ for all times.
\section{Conclusion and outlook}
We determined the (Araki--Uhlmann) relative entropy for coherent excitations of the vacuum inside dS diamonds. We have shown that the relative entropy is convex when shrinking the diamond in a null direction, which proves the QNEC~\cite{boussoetal2016} for diamonds in dS. Considering then the backreaction of the coherent excitation on the geometry via the Raychaudhuri equation, we proved that the change in the area of the future horizon exactly compensates the relative entropy, such that the generalized entropy remains constant. Finally, we showed that an observer inside a diamond measures a local temperature which is different from the dS temperature $H/(2\pi)$, but that the corrections decay exponentially fast.
The viewpoint assumed in this work provides a framework for more general backreaction problems, that can be explored in future works. In particular, it is important to study relative entropy for quantum gravitational perturbations, and the induced perturbations of the cosmological horizon. Including these corrections should decrease the horizon area, verifying thus the generalized entropy conjecture. To address the issue of gauge invariance, it will be necessary to employ relational observables~\cite{dittrich2006,gieselthiemann2015,brunfredhackpinrej2016,froeblima2023}.
\section*{Acknowledgment}
\
We are grateful to Nicola Pinamonti and Rainer Verch for useful discussions. M.B.F. thanks the University of Genova, and E.D., S.G., and P.M. thank Daniela Cadamuro and the ITP Leipzig for their kind hospitality. M.B.F. is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) --- project no. 396692871 within the Emmy Noether grant CA1850/1-1. E.D. is supported by a PhD scholarship of the University of Genoa and by the project GNFM-INdAM Progetto Giovani \emph{Non-linear sigma models and the Lorentzian Wetterich equation}, CUP\textunderscore E53C22001930001. E.D., S.G., and P.M. are grateful for the support of the National Group of Mathematical Physics (GNFM-INdAM). The research performed by E.D. and S.G. was supported in part by the MIUR Excellence Department Project 2023-2027 awarded to the Dipartimento di Matematica of the University of Genova, CUP\textunderscore D33C23001110001.
%\bibliographystyle{ptephy}
\bibliographystyle{JHEP-for-ptep}
\bibliography{literature}
\end{document}
\providecommand{\href}[2]{#2}\begingroup\raggedright\begin{thebibliography}{10}
\bibitem{bekenstein1972}
J.D.~Bekenstein, \emph{{Black holes and the second law}},
\href{https://doi.org/10.1007/BF02757029}{\emph{Lett. Nuovo Cim.} {\bfseries
4} (1972) 737}.
\bibitem{hawking1975}
S.W.~Hawking, \emph{{Particle Creation by Black Holes}},
\href{https://doi.org/10.1007/BF02345020}{\emph{Commun. Math. Phys.}
{\bfseries 43} (1975) 199}.
\bibitem{jacobson2016}
T.~Jacobson, \emph{Entanglement equilibrium and the einstein equation},
\href{https://doi.org/10.1103/PhysRevLett.116.201101}{\emph{Phys. Rev. Lett.}
{\bfseries 116} (2016) 201101}.
\bibitem{bombelli1986}
L.~Bombelli, R.K.~Koul, J.~Lee and R.D.~Sorkin, \emph{{A Quantum Source of
Entropy for Black Holes}},
\href{https://doi.org/10.1103/PhysRevD.34.373}{\emph{Phys. Rev. D} {\bfseries
34} (1986) 373}.
\bibitem{srednicki1993}
M.~Srednicki, \emph{Entropy and area},
\href{https://doi.org/10.1103/PhysRevLett.71.666}{\emph{Phys. Rev. Lett.}
{\bfseries 71} (1993) 666}.
\bibitem{solodukhin2011}
S.N.~Solodukhin, \emph{Entanglement entropy of black holes},
\href{https://doi.org/10.12942/lrr-2011-8}{\emph{Living Rev. Relativ.}
{\bfseries 14} (2011) }.
\bibitem{holzheylarsenwilczek1994}
C.~Holzhey, F.~Larsen and F.~Wilczek, \emph{{Geometric and renormalized entropy
in conformal field theory}},
\href{https://doi.org/10.1016/0550-3213(94)90402-2}{\emph{Nucl. Phys. B}
{\bfseries 424} (1994) 443}
[\href{https://arxiv.org/abs/hep-th/9403108}{{\ttfamily hep-th/9403108}}].
\bibitem{calabresecardy2004}
P.~Calabrese and J.L.~Cardy, \emph{{Entanglement entropy and quantum field
theory}}, \href{https://doi.org/10.1088/1742-5468/2004/06/P06002}{\emph{J.
Stat. Mech.} {\bfseries 0406} (2004) P06002}
[\href{https://arxiv.org/abs/hep-th/0405152}{{\ttfamily hep-th/0405152}}].
\bibitem{calabresecardy2009}
P.~Calabrese and J.~Cardy, \emph{{Entanglement entropy and conformal field
theory}}, \href{https://doi.org/10.1088/1751-8113/42/50/504005}{\emph{J.
Phys. A} {\bfseries 42} (2009) 504005}
[\href{https://arxiv.org/abs/0905.4013}{{\ttfamily 0905.4013}}].
\bibitem{wall2011}
A.C.~Wall, \emph{{A proof of the generalized second law for rapidly changing
fields and arbitrary horizon slices}},
\href{https://doi.org/10.1103/PhysRevD.85.104049}{\emph{Phys. Rev. D}
{\bfseries 85} (2012) 104049}
[\href{https://arxiv.org/abs/1105.3445}{{\ttfamily 1105.3445}}].
\newblock [Erratum: \href{https://doi.org/10.1103/PhysRevD.87.069904}{Phys.
Rev. D \textbf{87} (2013) 069904}].
\bibitem{wall2017}
A.C.~Wall, \emph{{Lower Bound on the Energy Density in Classical and Quantum
Field Theories}},
\href{https://doi.org/10.1103/PhysRevLett.118.151601}{\emph{Phys. Rev. Lett.}
{\bfseries 118} (2017) 151601}
[\href{https://arxiv.org/abs/1701.03196}{{\ttfamily 1701.03196}}].
\bibitem{casinihuerta2023}
H.~Casini and M.~Huerta, \emph{{Lectures on entanglement in quantum field
theory}}, \href{https://doi.org/10.22323/1.403.0002}{\emph{PoS} {\bfseries
TASI2021} (2023) 002} [\href{https://arxiv.org/abs/2201.13310}{{\ttfamily
2201.13310}}].
\bibitem{buenocasiniandinomoreno2023}
P.~Bueno, H.~Casini, O.L.~Andino and J.~Moreno, \emph{{Conformal Bounds in
Three Dimensions from Entanglement Entropy}},
\href{https://doi.org/10.1103/PhysRevLett.131.171601}{\emph{Phys. Rev. Lett.}
{\bfseries 131} (2023) 171601}
[\href{https://arxiv.org/abs/2307.05164}{{\ttfamily 2307.05164}}].
\bibitem{bostelmanncadamurodelvecchio2020}
H.~Bostelmann, D.~Cadamuro and S.~Del~Vecchio, \emph{{Relative Entropy of
Coherent States on General CCR Algebras}},
\href{https://doi.org/10.1007/s00220-021-04249-x}{\emph{Commun. Math. Phys.}
{\bfseries 389} (2022) 661}
[\href{https://arxiv.org/abs/2012.14401}{{\ttfamily 2012.14401}}].
\bibitem{buchholzfredenhagendantoni1987}
D.~Buchholz, C.~D'Antoni and K.~Fredenhagen, \emph{{The Universal Structure of
Local Algebras}}, \href{https://doi.org/10.1007/BF01239019}{\emph{Commun.
Math. Phys.} {\bfseries 111} (1987) 123}.
\bibitem{borchers2000}
H.J.~Borchers, \emph{{On revolutionizing quantum field theory with Tomita's
modular theory}}, \href{https://doi.org/10.1063/1.533323}{\emph{J. Math.
Phys.} {\bfseries 41} (2000) 3604}.
\bibitem{yngvason2005}
J.~Yngvason, \emph{{The Role of type III factors in quantum field theory}},
\href{https://doi.org/10.1016/S0034-4877(05)80009-6}{\emph{Rept. Math. Phys.}
{\bfseries 55} (2005) 135}
[\href{https://arxiv.org/abs/math-ph/0411058}{{\ttfamily math-ph/0411058}}].
\bibitem{witten2018}
E.~Witten, \emph{{APS Medal for Exceptional Achievement in Research: Invited
article on entanglement properties of quantum field theory}},
\href{https://doi.org/10.1103/RevModPhys.90.045003}{\emph{Rev. Mod. Phys.}
{\bfseries 90} (2018) 045003}
[\href{https://arxiv.org/abs/1803.04993}{{\ttfamily 1803.04993}}].
\bibitem{tomita1967}
M.~Tomita, \emph{{On canonical forms of von Neumann algebras (in Japanese)}},
in \emph{Fifth Functional Analysis Symposium, T{\^o}hoku Univ., Sendai},
(Sendai, Japan), pp.~101--102, T{\^o}hoku Univ., Math. Inst., 1967.
\bibitem{takesaki1970}
M.~Takesaki, \emph{{Tomita's Theory of Modular Hilbert Algebras and its
Applications }}, vol.~128 of \emph{Lecture Notes in Mathematics},
Springer-Verlag, Berlin, Heidelberg, Germany (1970),
\href{https://doi.org/10.1007/BFb0065832}{10.1007/BFb0065832}.
\bibitem{araki1975}
H.~Araki, \emph{{Inequalities in von Neumann algebras}},
\href{http://www.numdam.org/item/RCP25_1975__22__A1_0/}{\emph{Rencontr.
phys.-math. de Strasbourg -RCP25} {\bfseries 22} (1975) 1}.
\bibitem{araki1976}
H.~Araki, \emph{{Relative Entropy of States of von Neumann Algebras}},
\href{https://doi.org/10.2977/prims/1195191148}{\emph{Publ. RIMS, Kyoto
Univ.} {\bfseries 11} (1976) 809}.
\bibitem{uhlmann1977}
A.~Uhlmann, \emph{{Relative entropy and the Wigner-Yanase-Dyson-Lieb concavity
in an interpolation theory}},
\href{https://doi.org/10.1007/BF01609834}{\emph{Commun. Math. Phys.}
{\bfseries 54} (1977) 21}.
\bibitem{longo2019}
R.~Longo, \emph{{Entropy of coherent excitations}},
\href{https://doi.org/10.1007/s11005-019-01196-6}{\emph{Lett. Math. Phys.}
{\bfseries 109} (2019) 2587}
[\href{https://arxiv.org/abs/1901.02366}{{\ttfamily 1901.02366}}].
\bibitem{casinigrillopontello2019}
H.~Casini, S.~Grillo and D.~Pontello, \emph{{Relative entropy for coherent
states from Araki formula}},
\href{https://doi.org/10.1103/PhysRevD.99.125020}{\emph{Phys. Rev. D}
{\bfseries 99} (2019) 125020}
[\href{https://arxiv.org/abs/1903.00109}{{\ttfamily 1903.00109}}].
\bibitem{hollands2019}
S.~Hollands, \emph{{Relative entropy for coherent states in chiral CFT}},
\href{https://doi.org/10.1007/s11005-019-01238-z}{\emph{Lett. Math. Phys.}
{\bfseries 110} (2020) 713}
[\href{https://arxiv.org/abs/1903.07508}{{\ttfamily 1903.07508}}].
\bibitem{galandamuchverch2023}
S.~Galanda, A.~Much and R.~Verch, \emph{{Relative Entropy of Fermion Excitation
States on the CAR Algebra}},
\href{https://doi.org/10.1007/s11040-023-09464-7}{\emph{Math. Phys. Anal.
Geom.} {\bfseries 26} (2023) 21}
[\href{https://arxiv.org/abs/2305.02788}{{\ttfamily 2305.02788}}].
\bibitem{bousso2003}
R.~Bousso, \emph{Light sheets and bekenstein's entropy bound},
\href{https://doi.org/10.1103/PhysRevLett.90.121302}{\emph{Phys. Rev. Lett.}
{\bfseries 90} (2003) 121302}.
\bibitem{casini2008}
H.~Casini, \emph{{Relative entropy and the Bekenstein bound}},
\href{https://doi.org/10.1088/0264-9381/25/20/205021}{\emph{Class. Quant.
Grav.} {\bfseries 25} (2008) 205021}
[\href{https://arxiv.org/abs/0804.2182}{{\ttfamily 0804.2182}}].
\bibitem{idaokamotosaito2013}
D.~Ida, T.~Okamoto and M.~Saito, \emph{{Modular theory for operator algebra in
a bounded region of space-time and quantum entanglement}},
\href{https://doi.org/10.1093/ptep/ptt061}{\emph{PTEP} {\bfseries 2013}
(2013) 083E03} [\href{https://arxiv.org/abs/1211.3525}{{\ttfamily
1211.3525}}].
\bibitem{longoxu2018}
R.~Longo and F.~Xu, \emph{{Comment on the Bekenstein bound}},
\href{https://doi.org/10.1016/j.geomphys.2018.03.004}{\emph{J. Geom. Phys.}
{\bfseries 130} (2018) 113}
[\href{https://arxiv.org/abs/1802.07184}{{\ttfamily 1802.07184}}].
\bibitem{ceyhanfaulkner2018}
F.~Ceyhan and T.~Faulkner, \emph{{Recovering the QNEC from the ANEC}},
\href{https://doi.org/10.1007/s00220-020-03751-y}{\emph{Commun. Math. Phys.}
{\bfseries 377} (2020) 999}
[\href{https://arxiv.org/abs/1812.04683}{{\ttfamily 1812.04683}}].
\bibitem{ciollilongoranalloruzzi2022}
F.~Ciolli, R.~Longo, A.~Ranallo and G.~Ruzzi, \emph{{Relative entropy and
curved spacetimes}},
\href{https://doi.org/10.1016/j.geomphys.2021.104416}{\emph{J. Geom. Phys.}
{\bfseries 172} (2022) 104416}
[\href{https://arxiv.org/abs/2107.06787}{{\ttfamily 2107.06787}}].
\bibitem{boussoetal2022}
R.~Bousso and A.~Shahbazi-Moghaddam, \emph{Singularities from entropy},
\href{https://doi.org/10.1103/PhysRevLett.128.231301}{\emph{Phys. Rev. Lett.}
{\bfseries 128} (2022) 231301}.
\bibitem{dangelo2021}
E.~D'Angelo, \emph{{Entropy for spherically symmetric, dynamical black holes
from the relative entropy between coherent states of a scalar quantum
field}}, \href{https://doi.org/10.1088/1361-6382/ac13b8}{\emph{Class. Quant.
Grav.} {\bfseries 38} (2021) 175001}
[\href{https://arxiv.org/abs/2105.04303}{{\ttfamily 2105.04303}}].
\bibitem{kurpiczpinamontiverch2021}
F.~Kurpicz, N.~Pinamonti and R.~Verch, \emph{{Temperature and entropy-area
relation of quantum matter near spherically symmetric outer trapping
horizons}}, \href{https://doi.org/10.1007/s11005-021-01445-7}{\emph{Lett.
Math. Phys.} {\bfseries 111} (2021) 110}
[\href{https://arxiv.org/abs/2102.11547}{{\ttfamily 2102.11547}}].
\bibitem{froebmuchpapadopoulos2023}
M.B.~Fr{\"o}b, A.~Much and P.~Kyriakos, \emph{{Relative entropy in de Sitter
spacetime is a Noether charge}},
\href{https://doi.org/10.1103/PhysRevD.108.105004}{\emph{Phys. Rev. D}
{\bfseries 108} (2023) 105004}
[\href{https://arxiv.org/abs/2310.12185}{{\ttfamily 2310.12185}}].
\bibitem{maeda1997}
K.~Maeda, T.~Koike, M.~Narita and A.~Ishibashi, \emph{{Upper bound for entropy
in asymptotically de Sitter space-time}},
\href{https://doi.org/10.1103/PhysRevD.57.3503}{\emph{Phys. Rev. D}
{\bfseries 57} (1998) 3503}
[\href{https://arxiv.org/abs/gr-qc/9712029}{{\ttfamily gr-qc/9712029}}].
\bibitem{bousso2000}
R.~Bousso, \emph{{Positive vacuum energy and the N bound}},
\href{https://doi.org/10.1088/1126-6708/2000/11/038}{\emph{JHEP} {\bfseries
11} (2000) 038} [\href{https://arxiv.org/abs/hep-th/0010252}{{\ttfamily
hep-th/0010252}}].
\bibitem{giddingsmarolf2007}
S.B.~Giddings and D.~Marolf, \emph{{A Global picture of quantum de Sitter
space}}, \href{https://doi.org/10.1103/PhysRevD.76.064023}{\emph{Phys. Rev.
D} {\bfseries 76} (2007) 064023}
[\href{https://arxiv.org/abs/0705.1178}{{\ttfamily 0705.1178}}].
\bibitem{banihashemijacobsonsveskovisser2023}
B.~Banihashemi, T.~Jacobson, A.~Svesko and M.~Visser, \emph{{The minus sign in
the first law of de Sitter horizons}},
\href{https://doi.org/10.1007/JHEP01(2023)054}{\emph{JHEP} {\bfseries 01}
(2023) 054} [\href{https://arxiv.org/abs/2208.11706}{{\ttfamily
2208.11706}}].
\bibitem{balasubramaniannomuraugajin2023}
V.~Balasubramanian, Y.~Nomura and T.~Ugajin, \emph{{de Sitter space is
sometimes not empty}}, \href{https://arxiv.org/abs/2308.09748}{{\ttfamily
2308.09748}}.
\bibitem{chandrasekaranlongopeningtonwitten2023}
V.~Chandrasekaran, R.~Longo, G.~Penington and E.~Witten, \emph{{An algebra of
observables for de Sitter space}},
\href{https://doi.org/10.1007/JHEP02(2023)082}{\emph{JHEP} {\bfseries 02}
(2023) 082} [\href{https://arxiv.org/abs/2206.10780}{{\ttfamily
2206.10780}}].
\bibitem{boussoengelhardt2015}
R.~Bousso and N.~Engelhardt, \emph{New area law in general relativity},
\href{https://doi.org/10.1103/PhysRevLett.115.081301}{\emph{Phys. Rev. Lett.}
{\bfseries 115} (2015) 081301}.
\bibitem{nguyen2017}
K.~Nguyen, \emph{{De Sitter-invariant states from holography}},
\href{https://doi.org/10.1088/1361-6382/aae86b}{\emph{Class. Quant. Grav.}
{\bfseries 35} (2017) 225006}
[\href{https://arxiv.org/abs/1710.04675}{{\ttfamily 1710.04675}}].
\bibitem{narayan2018}
K.~Narayan, \emph{{On extremal surfaces and de Sitter entropy}},
\href{https://doi.org/10.1016/j.physletb.2018.02.010}{\emph{Phys. Lett. B}
{\bfseries 779} (2018) 214}
[\href{https://arxiv.org/abs/1711.01107}{{\ttfamily 1711.01107}}].
\bibitem{dongsilversteintorroba2018}
X.~Dong, E.~Silverstein and G.~Torroba, \emph{{De Sitter holography and
entanglement entropy}},
\href{https://doi.org/10.1007/JHEP07(2018)050}{\emph{JHEP} {\bfseries 07}
(2018) 050} [\href{https://arxiv.org/abs/1804.08623}{{\ttfamily
1804.08623}}].
\bibitem{narayan2019}
K.~Narayan, \emph{{de Sitter entropy as entanglement}},
\href{https://doi.org/10.1142/S021827181944019X}{\emph{Int. J. Mod. Phys. D}
{\bfseries 28} (2019) 1944019}
[\href{https://arxiv.org/abs/1904.01223}{{\ttfamily 1904.01223}}].
\bibitem{genggrieningerkarch2019}
H.~Geng, S.~Grieninger and A.~Karch, \emph{{Entropy, entanglement and swampland
bounds in DS/dS}}, \href{https://doi.org/10.1007/JHEP06(2019)105}{\emph{JHEP}
{\bfseries 06} (2019) 105}
[\href{https://arxiv.org/abs/1904.02170}{{\ttfamily 1904.02170}}].
\bibitem{ariasdiazsundell2020}
C.~Arias, F.~Diaz and P.~Sundell, \emph{{De Sitter space and entanglement}},
\href{https://doi.org/10.1088/1361-6382/ab5b78}{\emph{Class. Quant. Grav.}
{\bfseries 37} (2020) 015009}
[\href{https://arxiv.org/abs/1901.04554}{{\ttfamily 1901.04554}}].
\bibitem{geng2020}
H.~Geng, \emph{{Some information theoretic aspects of de-Sitter holography}},
\href{https://doi.org/10.1007/JHEP02(2020)005}{\emph{JHEP} {\bfseries 02}
(2020) 005} [\href{https://arxiv.org/abs/1911.02644}{{\ttfamily
1911.02644}}].
\bibitem{geng2021}
H.~Geng, \emph{{Non-local entanglement and fast scrambling in de-Sitter
holography}}, \href{https://doi.org/10.1016/j.aop.2021.168402}{\emph{Annals
Phys.} {\bfseries 426} (2021) 168402}
[\href{https://arxiv.org/abs/2005.00021}{{\ttfamily 2005.00021}}].
\bibitem{arenashenriquezetal2022}
G.~Arenas-Henriquez, F.~Diaz and P.~Sundell, \emph{{Logarithmic corrections,
entanglement entropy, and UV cutoffs in de Sitter spacetime}},
\href{https://doi.org/10.1007/JHEP08(2022)261}{\emph{JHEP} {\bfseries 08}
(2022) 261} [\href{https://arxiv.org/abs/2206.10427}{{\ttfamily
2206.10427}}].
\bibitem{froeb2023}
M.B.~Fr{\"o}b, \emph{{Modular Hamiltonian for de Sitter diamonds}},
\href{https://doi.org/10.1007/JHEP12(2023)074}{\emph{JHEP} {\bfseries 12}
(2023) 074} [\href{https://arxiv.org/abs/2308.14797}{{\ttfamily
2308.14797}}].
\bibitem{boussoetal2016}
R.~Bousso, Z.~Fisher, J.~Koeller, S.~Leichenauer and A.C.~Wall, \emph{{Proof of
the Quantum Null Energy Condition}},
\href{https://doi.org/10.1103/PhysRevD.93.024017}{\emph{Phys. Rev. D}
{\bfseries 93} (2016) 024017}
[\href{https://arxiv.org/abs/1509.02542}{{\ttfamily 1509.02542}}].
\bibitem{chandrasekaranpeningtonwitten2022}
V.~Chandrasekaran, G.~Penington and E.~Witten, \emph{{Large $N$ algebras and
generalized entropy}},
\href{https://doi.org/10.1007/JHEP04(2023)009}{\emph{JHEP} {\bfseries 04}
(2023) 009} [\href{https://arxiv.org/abs/2209.10454}{{\ttfamily
2209.10454}}].
\bibitem{kudler-flam2023}
J.~Kudler-Flam, S.~Leutheusser and G.~Satishchandran, \emph{{Generalized Black
Hole Entropy is von Neumann Entropy}},
\href{https://arxiv.org/abs/2309.15897}{{\ttfamily 2309.15897}}.
\bibitem{figarietal1975}
R.~Figari, R.~H{\"o}egh-Krohn and C.R.~Nappi, \emph{{Interacting relativistic
boson fields in the De Sitter universe with two space-time dimensions}},
\href{https://doi.org/10.1007/BF01609830}{\emph{Commun. Math. Phys.}
{\bfseries 44} (1975) 265}.
\bibitem{gibbonshawking1977}
G.W.~Gibbons and S.W.~Hawking, \emph{{Cosmological event horizons,
thermodynamics, and particle creation}},
\href{https://doi.org/10.1103/PhysRevD.15.2738}{\emph{Phys. Rev. D}
{\bfseries 15} (1977) 2738}.
\bibitem{lashkariliurajagopal2021}
N.~Lashkari, H.~Liu and S.~Rajagopal, \emph{{Modular flow of excited states}},
\href{https://doi.org/10.1007/JHEP09(2021)166}{\emph{JHEP} {\bfseries 09}
(2021) 166} [\href{https://arxiv.org/abs/1811.05052}{{\ttfamily
1811.05052}}].
\bibitem{achillesbonfiglioli2012}
R.~Achilles and A.~Bonfiglioli, \emph{{The early proofs of the theorem of
Campbell, Baker, Hausdorff, and Dynkin}},
\href{https://doi.org/10.1007/s00407-012-0095-8}{\emph{Arch. Hist. Exact
Sci.} {\bfseries 66} (2012) 295}.
\bibitem{hollandssanders2017}
S.~Hollands and K.~Sanders, \emph{{Entanglement measures and their properties
in quantum field theory}}, vol.~34 of \emph{SpringerBriefs in Mathematical
Physics}, Springer Cham (2, 2017),
\href{https://doi.org/10.1007/978-3-319-94902-4}{10.1007/978-3-319-94902-4},
[\href{https://arxiv.org/abs/1702.04924}{{\ttfamily 1702.04924}}].
\bibitem{hollandsishibashi2019}
S.~Hollands and A.~Ishibashi, \emph{{News versus information}},
\href{https://doi.org/10.1088/1361-6382/ab3c1e}{\emph{Class. Quant. Grav.}
{\bfseries 36} (2019) 195001}
[\href{https://arxiv.org/abs/1904.00007}{{\ttfamily 1904.00007}}].
\bibitem{wald1984}
R.M.~Wald, \emph{{General Relativity}}, Chicago Univ. Pr., Chicago, USA (1984),
\href{https://doi.org/10.7208/chicago/9780226870373.001.0001}{10.7208/chicago/9780226870373.001.0001}.
\bibitem{friedlander1975}
F.G.~Friedlander, \emph{{The Wave Equation on a Curved Space-Time}}, vol.~2 of
\emph{Cambridge Monographs on Mathematical Physics}, Cambridge University
Press, Cambridge, UK (1975).
\bibitem{connesrovelli1994}
A.~Connes and C.~Rovelli, \emph{Von neumann algebra automorphisms and
time-thermodynamics relation in generally covariant quantum theories},
\href{https://doi.org/10.1088/0264-9381/11/12/007}{\emph{Class. Quant. Grav.}
{\bfseries 11} (1994) 2899–2917}.
\bibitem{martinettirovelli2003}
P.~Martinetti and C.~Rovelli, \emph{{Diamond's temperature: Unruh effect for
bounded trajectories and thermal time hypothesis}},
\href{https://doi.org/10.1088/0264-9381/20/22/015}{\emph{Class. Quant. Grav.}
{\bfseries 20} (2003) 4919}
[\href{https://arxiv.org/abs/gr-qc/0212074}{{\ttfamily gr-qc/0212074}}].
\bibitem{longomartinettirehren2010}
R.~Longo, P.~Martinetti and K.-H.~Rehren, \emph{{Geometric modular action for
disjoint intervals and boundary conformal field theory}},
\href{https://doi.org/10.1142/S0129055X10003977}{\emph{Rev. Math. Phys.}
{\bfseries 22} (2010) 331} [\href{https://arxiv.org/abs/0912.1106}{{\ttfamily
0912.1106}}].
\bibitem{dittrich2006}
B.~Dittrich, \emph{{Partial and complete observables for canonical general
relativity}}, \href{https://doi.org/10.1088/0264-9381/23/22/006}{\emph{Class.
Quant. Grav.} {\bfseries 23} (2006) 6155}
[\href{https://arxiv.org/abs/gr-qc/0507106}{{\ttfamily gr-qc/0507106}}].
\bibitem{gieselthiemann2015}
K.~Giesel and T.~Thiemann, \emph{{Scalar Material Reference Systems and Loop
Quantum Gravity}},
\href{https://doi.org/10.1088/0264-9381/32/13/135015}{\emph{Class. Quant.
Grav.} {\bfseries 32} (2015) 135015}
[\href{https://arxiv.org/abs/1206.3807}{{\ttfamily 1206.3807}}].
\bibitem{brunfredhackpinrej2016}
R.~Brunetti, K.~Fredenhagen, T.-P.~Hack, N.~Pinamonti and K.~Rejzner,
\emph{{Cosmological perturbation theory and quantum gravity}},
\href{https://doi.org/10.1007/JHEP08(2016)032}{\emph{JHEP} {\bfseries 08}
(2016) 032} [\href{https://arxiv.org/abs/1605.02573}{{\ttfamily
1605.02573}}].
\bibitem{froeblima2023}
M.B.~Fr{\"o}b and W.C.C.~Lima, \emph{{Synchronous coordinates and
gauge-invariant observables in cosmological spacetimes}},
\href{https://doi.org/10.1088/1361-6382/acf98a}{\emph{Class. Quant. Grav.}
{\bfseries 40} (2023) 215006}
[\href{https://arxiv.org/abs/2303.16218}{{\ttfamily 2303.16218}}].
\end{thebibliography}\endgroup