-
Modular Time Evolution and the QNEC
Authors:
Stefan Hollands
Abstract:
We establish an inequality restricting the evolution of states in quantum field theory with respect to the modular flow of a wedge, $Δ^{is}$, for large $|s|$. Our bound is related to the quantum null energy condition, QNEC. In one interpretation, it can be seen as providing a ``chaos-bound'' $\le 2π$ on the Lyapunov exponent with respect to Rindler time, $s$. Mathematically, our inequality is a st…
▽ More
We establish an inequality restricting the evolution of states in quantum field theory with respect to the modular flow of a wedge, $Δ^{is}$, for large $|s|$. Our bound is related to the quantum null energy condition, QNEC. In one interpretation, it can be seen as providing a ``chaos-bound'' $\le 2π$ on the Lyapunov exponent with respect to Rindler time, $s$. Mathematically, our inequality is a statement about half-sided modular inclusions of von Neumann algebras.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
A New Proof of the QNEC
Authors:
Stefan Hollands,
Roberto Longo
Abstract:
We give a simplified proof of the quantum null energy condition (QNEC). Our proof is based on an explicit formula for the shape derivative of the relative entropy, with respect to an entangling cut. It allows bypassing the analytic continuation arguments of a previous proof by Ceyhan and Faulkner and can be used e.g., for defining entropy current fluctuations.
We give a simplified proof of the quantum null energy condition (QNEC). Our proof is based on an explicit formula for the shape derivative of the relative entropy, with respect to an entangling cut. It allows bypassing the analytic continuation arguments of a previous proof by Ceyhan and Faulkner and can be used e.g., for defining entropy current fluctuations.
△ Less
Submitted 6 March, 2025;
originally announced March 2025.
-
Bekenstein Bound for Approximately Local Charged States
Authors:
Stefan Hollands,
Roberto Longo
Abstract:
We generalize the energy-entropy ratio inequality in quantum field theory (QFT) established by one of us from localized states to a larger class of states. The states considered in this paper can be in a charged (non-vacuum) representation of the QFT or may be only approximately localized in the region under consideration. Our inequality is…
▽ More
We generalize the energy-entropy ratio inequality in quantum field theory (QFT) established by one of us from localized states to a larger class of states. The states considered in this paper can be in a charged (non-vacuum) representation of the QFT or may be only approximately localized in the region under consideration. Our inequality is $S(Ψ|\!| Ω) \le 2πR \, ( Ψ, H_ρΨ) + \log d(ρ) + \varepsilon$, where $S$ is the relative entropy, where $R$ is a "radius" (width) characterizing the size of the region, $d(ρ)$ is the statistical (quantum) dimension of the given charged sector $ρ$ hosting the quantum state $Ψ$, $Ω$ is the vacuum state, $H_ρ$ is the Hamiltonian in the charged sector, and $\varepsilon$ is a tolerance measuring the deviation of $Ψ$ from the vacuum according to observers in the causal complement of the region.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
Extremal Black Hole Weather
Authors:
Claudio Iuliano,
Stefan Hollands,
Stephen R. Green,
Peter Zimmerman
Abstract:
We consider weakly non-linear gravitational perturbations of a near-extremal Kerr black hole governed by the second order vacuum Einstein equation. Using the GHZ formalism [Green et al., Class. Quant. Grav. 7(7):075001, 2020], these are parameterized by a Hertz potential. We make an ansatz for the Hertz potential as a series of zero-damped quasinormal modes with time-dependent amplitudes, and deri…
▽ More
We consider weakly non-linear gravitational perturbations of a near-extremal Kerr black hole governed by the second order vacuum Einstein equation. Using the GHZ formalism [Green et al., Class. Quant. Grav. 7(7):075001, 2020], these are parameterized by a Hertz potential. We make an ansatz for the Hertz potential as a series of zero-damped quasinormal modes with time-dependent amplitudes, and derive a non-linear dynamical system for them. We find that our dynamical system has a time-independent solution within the near horizon scaling limit. This equilibrium solution is supported on axisymmetric modes, with amplitudes scaling as $c_\ell \sim C^{\rm low} 2^{-\ell/2} \ell^{-\frac{7}{2}}$ for large polar angular momentum mode number $\ell$, where $C^{\rm low}$ is a cumulative amplitude of the low $\ell$ modes. We interpret our result as evidence that the dynamical evolution will approach, for a parametrically long time as extremality is approached, a distribution of mode amplitudes dyadically exponentially suppressed in $\ell$, hence as the endpoint of an inverse cascade. It is reminiscent of weather-like phenomena in certain models of atmospheric dynamics of rotating bodies. During the timescale considered, the decay of the QNMs themselves plays no role given their parametrically long half-life. Hence, our result is due entirely to weakly non-linear effects.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Metric Reconstruction in Kerr Spacetime
Authors:
Stefan Hollands,
Vahid Toomani
Abstract:
Metric reconstruction is the general problem of parameterizing GR in terms of its two ``true degrees of freedom'', e.g., by a complex scalar ``potential'' -- in practice mostly with the aim of simplifying the Einstein equation (EE) within perturbative approaches. In this paper, we re-analyze the metric reconstruction procedure by Green, Hollands, and Zimmerman (GHZ) [Class. Quant. Grav. \textbf{37…
▽ More
Metric reconstruction is the general problem of parameterizing GR in terms of its two ``true degrees of freedom'', e.g., by a complex scalar ``potential'' -- in practice mostly with the aim of simplifying the Einstein equation (EE) within perturbative approaches. In this paper, we re-analyze the metric reconstruction procedure by Green, Hollands, and Zimmerman (GHZ) [Class. Quant. Grav. \textbf{37}, 075001 (2020)], which is a generalization of the Chrzanowski-Cohen-Kegeles (CCK) approach. Contrary to the CCK method, that by GHZ is applicable not only to the vacuum, but also to the sourced linearized Einstein equation (EE). Our main innovation is a version of the GHZ method giving an efficient integration scheme for the initial value problem of the sourced linear EE. By iteration, our scheme gives the metric to as high an order in perturbation theory around Kerr as one might wish, in principle. At each order, the metric perturbation is a sum of a corrector, obtained by solving a triangular system of transport equations, a reconstructed piece, obtained from a Hertz potential as in the CCK approach, and an algebraically special perturbation, determined by the ADM quantities. As a by-product, we determine the precise relations between the asymptotic tail of the Hertz potential in the GHZ and CCK schemes, and the quantities relevant for gravitational radiation, namely, the energy flux, news- and memory tensors, and their associated BMS-supertranslations. We also discuss ways of transforming the metric perturbation to Lorenz gauge.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Spin-2 Green's Functions on Kerr in Radiation Gauge
Authors:
Marc Casals,
Stefan Hollands,
Adam Pound,
Vahid Toomani
Abstract:
We construct retarded and advanced Green's functions for gravitational perturbations in Kerr in an ingoing radiation gauge. Our Green's functions have a frequency domain piece that has previously been obtained by Ori [Phys. Rev. D 67 (2003)] based on the Chrzanowski-Cohen-Kegeles metric reconstruction method. As is well known, this piece by itself is not sufficient to obtain an actual Green's func…
▽ More
We construct retarded and advanced Green's functions for gravitational perturbations in Kerr in an ingoing radiation gauge. Our Green's functions have a frequency domain piece that has previously been obtained by Ori [Phys. Rev. D 67 (2003)] based on the Chrzanowski-Cohen-Kegeles metric reconstruction method. As is well known, this piece by itself is not sufficient to obtain an actual Green's function. We show how to complete it with a piece based on a method by Green et al. [Class. Quant. Grav. 37 (2020)]. The completion piece has a completely explicit form in the time-domain and is supported on pairs of points on the same outgoing principal null geodesic which are in the appropriate causal order. We expect our Green's functions to be useful for gravitational self-force calculations and other perturbation problems on Kerr spacetime.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Infinite quantum twisting at the Cauchy horizon of rotating black holes
Authors:
Christiane Klein,
Mojgan Soltani,
Marc Casals,
Stefan Hollands
Abstract:
We present a numerical calculation of the expectation value of the quantum angular-momentum current flux density for a scalar field in the Unruh state near the inner horizon of a Kerr-de Sitter black hole. Our results indicate that this flux diverges as $V_-^{-1}$ in a suitable Kruskal coordinate such that $V_-=0$ at the inner horizon. Depending on the parameter values of the scalar field and blac…
▽ More
We present a numerical calculation of the expectation value of the quantum angular-momentum current flux density for a scalar field in the Unruh state near the inner horizon of a Kerr-de Sitter black hole. Our results indicate that this flux diverges as $V_-^{-1}$ in a suitable Kruskal coordinate such that $V_-=0$ at the inner horizon. Depending on the parameter values of the scalar field and black hole that we consider, and depending on the polar angle (latitude), this flux can have different signs. In the near extremal cases considered, the angle average of the expectation value of the quantum angular momentum current flux is of the opposite sign as the angular momentum of the background itself, suggesting that, in the cases considered, quantum effects tend to decrease the total angular momentum of the spheres away from the extremal value. We also numerically calculate the energy flux component, which provides the leading order divergence of the quantum stress energy tensor, dominant over the classical stress energy tensor, at the inner horizon. Taking our expectation value of the quantum stress tensor as the source in the semiclassical Einstein equation, our analysis suggests that the spheres approaching the inner horizon can undergo an infinite twisting due to quantum effects along latitudes separating regions of infinite expansion and contraction.
△ Less
Submitted 25 March, 2024; v1 submitted 21 February, 2024;
originally announced February 2024.
-
The Entropy of Dynamical Black Holes
Authors:
Stefan Hollands,
Robert M. Wald,
Victor G. Zhang
Abstract:
We propose a new formula for the entropy of a dynamical black hole$-$valid to leading order for perturbations off of a stationary black hole background$-$in an arbitrary classical diffeomorphism covariant Lagrangian theory of gravity in $n$ dimensions. In stationary eras, this formula agrees with the usual Noether charge formula, but in nonstationary eras, we obtain a nontrivial correction term. I…
▽ More
We propose a new formula for the entropy of a dynamical black hole$-$valid to leading order for perturbations off of a stationary black hole background$-$in an arbitrary classical diffeomorphism covariant Lagrangian theory of gravity in $n$ dimensions. In stationary eras, this formula agrees with the usual Noether charge formula, but in nonstationary eras, we obtain a nontrivial correction term. In general relativity, our formula for the entropy of a dynamical black hole is $1/4$ of the horizon area plus a term involving the integral of the expansion of the null generators of the horizon, which we show is $1/4$ of the area of the apparent horizon to leading order. Our formula for entropy in a general theory of gravity obeys a "local physical process version" of the first law of black hole thermodynamics. For first order perturbations sourced by external matter that satisfies the null energy condition, our entropy obeys the second law of black hole thermodynamics. For vacuum perturbations, the second law is obeyed at leading order if and only if the "modified canonical energy flux" is positive (as is the case in general relativity but presumably would not hold in general theories). We obtain a general relationship between our formula for the entropy of a dynamical black hole and a formula proposed independently by Dong and by Wall. We then consider the generalized second law in semiclassical gravity for first order perturbations of a stationary black hole. We show that the validity of the quantum null energy condition (QNEC) on a Killing horizon is equivalent to the generalized second law using our notion of black hole entropy but using a modified notion of von Neumann entropy for matter. On the other hand, the generalized second law for the Dong-Wall entropy is equivalent to an integrated version of QNEC, using the unmodified von Neumann entropy for the entropy of matter.
△ Less
Submitted 31 March, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
The Operator Product Expansion in Quantum Field Theory
Authors:
Stefan Hollands,
Robert M. Wald
Abstract:
Operator product expansions (OPEs) in quantum field theory (QFT) provide an asymptotic relation between products of local fields defined at points $x_1, \dots, x_n$ and local fields at point $y$ in the limit $x_1, \dots, x_n \to y$. They thereby capture in a precise way the singular behavior of products of quantum fields at a point as well as their ``finite trends.'' In this article, we shall revi…
▽ More
Operator product expansions (OPEs) in quantum field theory (QFT) provide an asymptotic relation between products of local fields defined at points $x_1, \dots, x_n$ and local fields at point $y$ in the limit $x_1, \dots, x_n \to y$. They thereby capture in a precise way the singular behavior of products of quantum fields at a point as well as their ``finite trends.'' In this article, we shall review the fundamental properties of OPEs and their role in the formulation of interacting QFT in curved spacetime, the ``flow relations'' in coupling parameters satisfied by the OPE coefficients, the role of OPEs in conformal field theories, and the manner in which general theorems -- specifically, the PCT theorem -- can be formulated using OPEs in a curved spacetime setting.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
Relativistic perturbation theory for black-hole boson clouds
Authors:
Enrico Cannizzaro,
Laura Sberna,
Stephen R. Green,
Stefan Hollands
Abstract:
We develop a relativistic perturbation theory for scalar clouds around rotating black holes. We first introduce a relativistic product and corresponding orthogonality relation between modes, extending a recent result for gravitational perturbations. We then derive the analog of time-dependent perturbation theory in quantum mechanics, and apply it to calculate self-gravitational frequency shifts. T…
▽ More
We develop a relativistic perturbation theory for scalar clouds around rotating black holes. We first introduce a relativistic product and corresponding orthogonality relation between modes, extending a recent result for gravitational perturbations. We then derive the analog of time-dependent perturbation theory in quantum mechanics, and apply it to calculate self-gravitational frequency shifts. This approach supersedes the non-relativistic "gravitational atom" approximation, brings close agreement with numerical relativity, and has practical applications for gravitational-wave astronomy.
△ Less
Submitted 3 January, 2024; v1 submitted 18 September, 2023;
originally announced September 2023.
-
Complexity in algebraic QFT
Authors:
Stefan Hollands,
Alessio Ranallo
Abstract:
We consider a notion of complexity of quantum channels in relativistic continuum quantum field theory (QFT) defined by the distance to the trivial (identity) channel. Our distance measure is based on a specific divergence between quantum channels derived from the Belavkin-Staszewski (BS) divergence. We prove in the prerequisite generality necessary for the algebras in QFT that the corresponding co…
▽ More
We consider a notion of complexity of quantum channels in relativistic continuum quantum field theory (QFT) defined by the distance to the trivial (identity) channel. Our distance measure is based on a specific divergence between quantum channels derived from the Belavkin-Staszewski (BS) divergence. We prove in the prerequisite generality necessary for the algebras in QFT that the corresponding complexity has several reasonable properties: (i) the complexity of a composite channel is not larger than the sum of its parts, (ii) it is additive for channels localized in spacelike separated regions, (iii) it is convex, (iv) for an $N$-ary measurement channel it is $\log N$, (v) for a conditional expectation associated with an inclusion of QFTs with finite Jones index it is given by $\log (\text{Jones Index})$. The main technical tool in our work is a new variational principle for the BS divergence.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
A stationary black hole must be axisymmetric in effective field theory
Authors:
Stefan Hollands,
Akihiro Ishibashi,
Harvey S. Reall
Abstract:
The black hole rigidity theorem asserts that a rotating stationary black hole must be axisymmetric. This theorem holds for General Relativity with suitable matter fields, in four or more dimensions. We show that the theorem can be extended to any diffeomorphism invariant theory of vacuum gravity, assuming that this is interpreted in the sense of effective field theory, with coupling constants dete…
▽ More
The black hole rigidity theorem asserts that a rotating stationary black hole must be axisymmetric. This theorem holds for General Relativity with suitable matter fields, in four or more dimensions. We show that the theorem can be extended to any diffeomorphism invariant theory of vacuum gravity, assuming that this is interpreted in the sense of effective field theory, with coupling constants determined in terms of a ``UV scale'', and that the black hole solution can locally be expanded as a power series in this scale.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Conserved currents for Kerr and orthogonality of quasinormal modes
Authors:
Stephen R. Green,
Stefan Hollands,
Laura Sberna,
Vahid Toomani,
Peter Zimmerman
Abstract:
We introduce a bilinear form for Weyl scalar perturbations of Kerr. The form is symmetric and conserved, and we show that, when combined with a suitable renormalization prescription involving complex r integration contours, quasinormal modes are orthogonal in the bilinear form for different (l, m, n). These properties are apparently not evident consequences of standard properties for the radial an…
▽ More
We introduce a bilinear form for Weyl scalar perturbations of Kerr. The form is symmetric and conserved, and we show that, when combined with a suitable renormalization prescription involving complex r integration contours, quasinormal modes are orthogonal in the bilinear form for different (l, m, n). These properties are apparently not evident consequences of standard properties for the radial and angular solutions to the decoupled Teukolsky relations and rely on the Petrov type D character of Kerr and its t-$φ$ reflection isometry. We show that quasinormal mode excitation coefficients are given precisely by the projection with respect to our bilinear form. These properties can make our bilinear form useful to set up a framework for nonlinear quasinormal mode coupling in Kerr. We also provide a general discussion on conserved local currents and their associated local symmetry operators for metric and Weyl perturbations, identifying a collection containing an increasing number of derivatives.
△ Less
Submitted 19 February, 2024; v1 submitted 28 October, 2022;
originally announced October 2022.
-
GGI Lectures on Entropy, Operator Algebras and Black Holes
Authors:
Stefan Hollands
Abstract:
These are extended notes for my lectures at the workshop ``Reconstructing the Gravitational Hologram'' held at Galileo-Galilei Institute, Florence, in June 2022.
These are extended notes for my lectures at the workshop ``Reconstructing the Gravitational Hologram'' held at Galileo-Galilei Institute, Florence, in June 2022.
△ Less
Submitted 7 March, 2025; v1 submitted 12 September, 2022;
originally announced September 2022.
-
The second law of black hole mechanics in effective field theory
Authors:
Stefan Hollands,
Áron D. Kovács,
Harvey S. Reall
Abstract:
We investigate the second law of black hole mechanics in gravitational theories with higher derivative terms in the action. Wall has described a method for defining an entropy that satisfies the second law to linear order in perturbations around a stationary black hole. We show that this can be extended to define an entropy that satisfies the second law to quadratic order in perturbations, provide…
▽ More
We investigate the second law of black hole mechanics in gravitational theories with higher derivative terms in the action. Wall has described a method for defining an entropy that satisfies the second law to linear order in perturbations around a stationary black hole. We show that this can be extended to define an entropy that satisfies the second law to quadratic order in perturbations, provided that one treats the higher derivative terms in the sense of effective field theory. We also address some outstanding issues with Wall's method, in particular, its gauge invariance and its relation to the Iyer-Wald entropy.
△ Less
Submitted 26 August, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Anyonic Chains -- $α$-Induction -- CFT -- Defects -- Subfactors
Authors:
Stefan Hollands
Abstract:
Given a unitary fusion category, one can define the Hilbert space of a so-called ``anyonic spin-chain'' and nearest neighbor Hamiltonians providing a real-time evolution. There is considerable evidence that suitable scaling limits of such systems can lead to $1+1$-dimensional conformal field theories (CFTs), and in fact, can be used potentially to construct novel classes of CFTs. Besides the Hamil…
▽ More
Given a unitary fusion category, one can define the Hilbert space of a so-called ``anyonic spin-chain'' and nearest neighbor Hamiltonians providing a real-time evolution. There is considerable evidence that suitable scaling limits of such systems can lead to $1+1$-dimensional conformal field theories (CFTs), and in fact, can be used potentially to construct novel classes of CFTs. Besides the Hamiltonians and their densities, the spin chain is known to carry an algebra of symmetry operators commuting with the Hamiltonian, and these operators have an interesting representation as matrix-product-operators (MPOs). On the other hand, fusion categories are well-known to arise from a von Neumann algebra-subfactor pair. In this work, we investigate some interesting consequences of such structures for the corresponding anyonic spin-chain model. One of our main results is the construction of a novel algebra of MPOs acting on a bi-partite anyonic chain. We show that this algebra is precisely isomorphic to the defect algebra of $1+1$ CFTs as constructed by Fr\" ohlich et al. and Bischoff et al., even though the model is defined on a finite lattice. We thus conjecture that its central projections are associated with the irreducible vertical (transparent) defects in the scaling limit of the model. Our results partly rely on the observation that MPOs are closely related to the so-called ``double triangle algebra'' arising in subfactor theory. In our subsequent constructions, we use insights into the structure of the double triangle algebra by B\" ockenhauer et al. based on the braided structure of the categories and on $α$-induction. The introductory section of this paper to subfactors and fusion categories has the character of a review.
△ Less
Submitted 24 June, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
New metric reconstruction scheme for gravitational self-force calculations
Authors:
Vahid Toomani,
Peter Zimmerman,
Andrew Spiers,
Stefan Hollands,
Adam Pound,
Stephen R. Green
Abstract:
Inspirals of stellar-mass objects into massive black holes will be important sources for the space-based gravitational-wave detector LISA. Modelling these systems requires calculating the metric perturbation due to a point particle orbiting a Kerr black hole. Currently, the linear perturbation is obtained with a metric reconstruction procedure that puts it in a "no-string" radiation gauge which is…
▽ More
Inspirals of stellar-mass objects into massive black holes will be important sources for the space-based gravitational-wave detector LISA. Modelling these systems requires calculating the metric perturbation due to a point particle orbiting a Kerr black hole. Currently, the linear perturbation is obtained with a metric reconstruction procedure that puts it in a "no-string" radiation gauge which is singular on a surface surrounding the central black hole. Calculating dynamical quantities in this gauge involves a subtle procedure of "gauge completion" as well as cancellations of very large numbers. The singularities in the gauge also lead to pathological field equations at second perturbative order. In this paper we re-analyze the point-particle problem in Kerr using the corrector-field reconstruction formalism of Green, Hollands, and Zimmerman (GHZ). We clarify the relationship between the GHZ formalism and previous reconstruction methods, showing that it provides a simple formula for the "gauge completion". We then use it to develop a new method of computing the metric in a more regular gauge: a Teukolsky puncture scheme. This scheme should ameliorate the problem of large cancellations, and by constructing the linear metric perturbation in a sufficiently regular gauge, it should provide a first step toward second-order self-force calculations in Kerr. Our methods are developed in generality in Kerr, but we illustrate some key ideas and demonstrate our puncture scheme in the simple setting of a static particle in Minkowski spacetime.
△ Less
Submitted 10 December, 2021; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Quantum (dis)charge of black hole interiors
Authors:
Christiane Klein,
Jochen Zahn,
Stefan Hollands
Abstract:
We analyze the "vacuum" polarization induced by a quantum charged scalar field near the inner horizon of a charged (Reissner-Nordström-de Sitter) black hole in quantum states that start out as regular states near an initial Cauchy surface. Contrary to the outer (i.e. event-) horizon, where polarization effects lead to a discharge, we find that near an inner horizon, the transversal component of th…
▽ More
We analyze the "vacuum" polarization induced by a quantum charged scalar field near the inner horizon of a charged (Reissner-Nordström-de Sitter) black hole in quantum states that start out as regular states near an initial Cauchy surface. Contrary to the outer (i.e. event-) horizon, where polarization effects lead to a discharge, we find that near an inner horizon, the transversal component of the expected current density can have either sign depending on the black hole and field parameters. Thus, the inner horizon can be charged or discharged. But we find that it is always discharged close to extremality thus driving the black hole interior away from this critical point. Furthermore, we find that quantum effects dominate in that the strength of the blow up of the quantum current at the inner horizon is state-independent and stronger than that of the current of a classical solution.
△ Less
Submitted 7 December, 2021; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Trace- and improved data processing inequalities for von Neumann algebras
Authors:
Stefan Hollands
Abstract:
We prove a version of the data-processing inequality for the relative entropy for general von Neumann algebras with an explicit lower bound involving the measured relative entropy. The inequality, which generalizes previous work by Sutter et al. on finite dimensional density matrices, yields a bound how well a quantum state can be recovered after it has been passed through a channel. The natural a…
▽ More
We prove a version of the data-processing inequality for the relative entropy for general von Neumann algebras with an explicit lower bound involving the measured relative entropy. The inequality, which generalizes previous work by Sutter et al. on finite dimensional density matrices, yields a bound how well a quantum state can be recovered after it has been passed through a channel. The natural applications of our results are in quantum field theory where the von Neumann algebras are known to be of type III. Along the way we generalize various multi-trace inequalities to general von Neumann algebras.
△ Less
Submitted 22 February, 2021; v1 submitted 15 February, 2021;
originally announced February 2021.
-
Approximate recoverability and relative entropy II: 2-positive channels of general v. Neumann algebras
Authors:
Thomas Faulkner,
Stefan Hollands
Abstract:
We generalize our results in paper I in this series to quantum channels between general v. Neumann algebras, proving the approximate recoverability of states which undergo a small change in relative entropy through the channel. To this end, we derive a strengthened form of the quantum data processing inequality for the change in relative entropy of two states under a channel between two v. Neumann…
▽ More
We generalize our results in paper I in this series to quantum channels between general v. Neumann algebras, proving the approximate recoverability of states which undergo a small change in relative entropy through the channel. To this end, we derive a strengthened form of the quantum data processing inequality for the change in relative entropy of two states under a channel between two v. Neumann algebras. Compared to the usual inequality, there is an explicit lower bound involving the fidelity between the original state and a recovery channel.
△ Less
Submitted 12 October, 2020;
originally announced October 2020.
-
Variational approach to relative entropies (with application to QFT)
Authors:
Stefan Hollands
Abstract:
We define a new divergence of von Neumann algebras using a variational expression that is similar in nature to Kosaki's formula for the relative entropy. Our divergence satisfies the usual desirable properties, upper bounds the sandwiched Renyi entropy and reduces to the fidelity in a limit. As an illustration, we use the formula in quantum field theory to compute our divergence between the vacuum…
▽ More
We define a new divergence of von Neumann algebras using a variational expression that is similar in nature to Kosaki's formula for the relative entropy. Our divergence satisfies the usual desirable properties, upper bounds the sandwiched Renyi entropy and reduces to the fidelity in a limit. As an illustration, we use the formula in quantum field theory to compute our divergence between the vacuum in a bipartite system and an "orbifolded" -- in the sense of conditional expectation -- system in terms of the Jones index. We take the opportunity to point out entropic certainty relation for arbitrary von Neumann subalgebras of a factor related to the relative entropy. This certainty relation has an equivalent formulation in terms of error correcting codes.
△ Less
Submitted 13 October, 2020; v1 submitted 10 September, 2020;
originally announced September 2020.
-
On the radiation gauge for spin-1 perturbations in Kerr-Newman spacetime
Authors:
Stefan Hollands,
Vahid Toomani
Abstract:
We extend previous work [arXiv:1908.09095] to the case of Maxwell's equations with a source. Our work shows how to construct a retarded vector potential for the Maxwell field on the Kerr-Newman background in a radiation gauge. As in our previous work, the vector potential has a "reconstructed" term obtained from a Hertz potential solving Teukolsky's equation with a source, and a "correction" term…
▽ More
We extend previous work [arXiv:1908.09095] to the case of Maxwell's equations with a source. Our work shows how to construct a retarded vector potential for the Maxwell field on the Kerr-Newman background in a radiation gauge. As in our previous work, the vector potential has a "reconstructed" term obtained from a Hertz potential solving Teukolsky's equation with a source, and a "correction" term which is obtainable by a simple integration along outgoing principal null rays. The singularity structure of our vector potential is discussed in the case of a point particle source.
△ Less
Submitted 4 September, 2020; v1 submitted 19 August, 2020;
originally announced August 2020.
-
Quantum stress tensor at the Cauchy horizon of Reissner-Nordström-deSitter spacetime
Authors:
Stefan Hollands,
Christiane Klein,
Jochen Zahn
Abstract:
The strong cosmic censorship conjecture proposes that starting from generic initial data on some Cauchy surface, the solutions of the Einstein equation should not be extendable across the boundary of the domain of dependence of that surface. For the case of the Reissner-Nordström-de Sitter spacetime this means that any perturbation should blow up sufficiently badly when approaching this boundary,…
▽ More
The strong cosmic censorship conjecture proposes that starting from generic initial data on some Cauchy surface, the solutions of the Einstein equation should not be extendable across the boundary of the domain of dependence of that surface. For the case of the Reissner-Nordström-de Sitter spacetime this means that any perturbation should blow up sufficiently badly when approaching this boundary, called the Cauchy horizon. However, recent results indicate that for highly charged black holes classical scalar perturbations allow for a violation of strong cosmic censorship. In a recent paper arXiv:1912.06047, two of us have argued that quantum effects will restore censorship for generic values of the black hole parameters. But, due to practical limitations, the precise form of the divergence was only calculated for a small number of parameters. Here we perform a thorough parameter scan using an alternative, more efficient semi-analytic method. Our analysis confirms arXiv:1912.06047 in the sense that the quantum stress tensor is found to diverge badly generically. However, the sign of the divergence can be changed by changing the mass of the field or the spacetime parameters, leading to a drastically different type of singularity on the Cauchy horizon.
△ Less
Submitted 14 October, 2020; v1 submitted 19 June, 2020;
originally announced June 2020.
-
Approximate recovery and relative entropy I. general von Neumann subalgebras
Authors:
Thomas Faulkner,
Stefan Hollands,
Brian Swingle,
Yixu Wang
Abstract:
We prove the existence of a universal recovery channel that approximately recovers states on a v. Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our result is a generalization of previous results that applied to type-I v. Neumann algebras by Junge at al. [arXiv:1509.07127]. We broadly follow their proof strategy but consider here arbitrar…
▽ More
We prove the existence of a universal recovery channel that approximately recovers states on a v. Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our result is a generalization of previous results that applied to type-I v. Neumann algebras by Junge at al. [arXiv:1509.07127]. We broadly follow their proof strategy but consider here arbitrary v. Neumann algebras, where qualitatively new issues arise. Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki-Masuda $L_p$ norms. We comment on applications to the quantum null energy condition.
△ Less
Submitted 14 June, 2020;
originally announced June 2020.
-
Quantum Instability of the Cauchy Horizon in Reissner-Nordström-deSitter Spacetime
Authors:
Stefan Hollands,
Robert M. Wald,
Jochen Zahn
Abstract:
In classical General Relativity, the values of fields on spacetime are uniquely determined by their values at an initial time within the domain of dependence of this initial data surface. However, it may occur that the spacetime under consideration extends beyond this domain of dependence, and fields, therefore, are not entirely determined by their initial data. This occurs, for example, in the we…
▽ More
In classical General Relativity, the values of fields on spacetime are uniquely determined by their values at an initial time within the domain of dependence of this initial data surface. However, it may occur that the spacetime under consideration extends beyond this domain of dependence, and fields, therefore, are not entirely determined by their initial data. This occurs, for example, in the well-known (maximally) extended Reissner-Nordström or Reissner-Nordström-deSitter (RNdS) spacetimes. The boundary of the region determined by the initial data is called the "Cauchy horizon." It is located inside the black hole in these spacetimes. The strong cosmic censorship conjecture asserts that the Cauchy horizon does not, in fact, exist in practice because the slightest perturbation (of the metric itself or the matter fields) will become singular there in a sufficiently catastrophic way that solutions cannot be extended beyond the Cauchy horizon. Thus, if strong cosmic censorship holds, the Cauchy horizon will be converted into a "final singularity," and determinism will hold. Recently, however, it has been found that, classically this is not the case in RNdS spacetimes in a certain range of mass, charge, and cosmological constant. In this paper, we consider a quantum scalar field in RNdS spacetime and show that quantum theory comes to the rescue of strong cosmic censorship. We find that for any state that is nonsingular (i.e., Hadamard) within the domain of dependence, the expected stress-tensor blows up with affine parameter, $V$, along a radial null geodesic transverse to the Cauchy horizon as $T_{VV} \sim C/V^2$ with $C$ independent of the state and $C \neq 0$ generically in RNdS spacetimes. This divergence is stronger than in the classical theory and should be sufficient to convert the Cauchy horizon into a strong curvature singularity.
△ Less
Submitted 18 May, 2020; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Teukolsky formalism for nonlinear Kerr perturbations
Authors:
Stephen R. Green,
Stefan Hollands,
Peter Zimmerman
Abstract:
We develop a formalism to treat higher order (nonlinear) metric perturbations of the Kerr spacetime in a Teukolsky framework. We first show that solutions to the linearized Einstein equation with nonvanishing stress tensor can be decomposed into a pure gauge part plus a zero mode (infinitesimal perturbation of the mass and spin) plus a perturbation arising from a certain scalar ("Debye-Hertz") pot…
▽ More
We develop a formalism to treat higher order (nonlinear) metric perturbations of the Kerr spacetime in a Teukolsky framework. We first show that solutions to the linearized Einstein equation with nonvanishing stress tensor can be decomposed into a pure gauge part plus a zero mode (infinitesimal perturbation of the mass and spin) plus a perturbation arising from a certain scalar ("Debye-Hertz") potential, plus a so-called "corrector tensor." The scalar potential is a solution to the spin $-2$ Teukolsky equation with a source. This source, as well as the tetrad components of the corrector tensor, are obtained by solving certain decoupled ordinary differential equations involving the stress tensor. As we show, solving these ordinary differential equations reduces simply to integrations in the coordinate $r$ in outgoing Kerr-Newman coordinates, so in this sense, the problem is reduced to the Teukolsky equation with source, which can be treated by a separation of variables ansatz. Since higher order perturbations are subject to a linearized Einstein equation with a stress tensor obtained from the lower order perturbations, our method also applies iteratively to the higher order metric perturbations, and could thus be used to analyze the nonlinear coupling of perturbations in the near-extremal Kerr spacetime, where weakly turbulent behavior has been conjectured to occur. Our method could also be applied to the study of perturbations generated by a pointlike body traveling on a timelike geodesic in Kerr, which is relevant to the extreme mass ratio inspiral problem.
△ Less
Submitted 14 September, 2020; v1 submitted 24 August, 2019;
originally announced August 2019.
-
On the modular operator of mutli-component regions in chiral CFT
Authors:
Stefan Hollands
Abstract:
We introduce a new approach to find the Tomita-Takesaki modular flow for multi-component regions in general chiral conformal field theory. Our method is based on locality and analyticity of primary fields as well as the so-called Kubo-Martin-Schwinger (KMS) condition. These features can be used to transform the problem to a Riemann-Hilbert problem on a covering of the complex plane cut along the r…
▽ More
We introduce a new approach to find the Tomita-Takesaki modular flow for multi-component regions in general chiral conformal field theory. Our method is based on locality and analyticity of primary fields as well as the so-called Kubo-Martin-Schwinger (KMS) condition. These features can be used to transform the problem to a Riemann-Hilbert problem on a covering of the complex plane cut along the regions, which is equivalent to an integral equation for the matrix elements of the modular Hamiltonian. Examples are considered.
△ Less
Submitted 21 December, 2019; v1 submitted 17 April, 2019;
originally announced April 2019.
-
News vs Information
Authors:
S. Hollands,
A. Ishibashi
Abstract:
We consider the relative entropy between the vacuum state and a coherent state in linearized quantum gravity around a stationary black hole spacetime. Combining recent results by Casini et al. and Longo with the Raychaudhuri equation, the following result is obtained: Let $\frak A$ be the algebra of observables assoiciated with a region that is the causal future of some compact set in the interior…
▽ More
We consider the relative entropy between the vacuum state and a coherent state in linearized quantum gravity around a stationary black hole spacetime. Combining recent results by Casini et al. and Longo with the Raychaudhuri equation, the following result is obtained: Let $\frak A$ be the algebra of observables assoiciated with a region that is the causal future of some compact set in the interior of the spacetime. Let $S$ be the relative entropy with respect to this algebra, $A$ the area of the horizon cross section defined by the region, computed to second order in the gravitational perturbation. If the region is time-translated by the Killing parameter $t$, then $\frac{d}{d t}(S+A/4)= 2πF$, with $F$ the flux of the gravitational/matter radiation (integrated squared news tensor) emitted towards the future of the region.
△ Less
Submitted 17 April, 2019; v1 submitted 31 March, 2019;
originally announced April 2019.
-
Relative entropy for coherent states in chiral CFT
Authors:
Stefan Hollands
Abstract:
We consider the relative entropy between the vacuum state and a state obtained by applying an exponentiated stress tensor to the vacuum of a chiral conformal field theory on the lightray. The smearing function of the stress tensor can be viewed as a vector field on the real line generating a diffeomorphism. We show that the relative entropy is equal to $c$ times the so-called Schwarzian action of…
▽ More
We consider the relative entropy between the vacuum state and a state obtained by applying an exponentiated stress tensor to the vacuum of a chiral conformal field theory on the lightray. The smearing function of the stress tensor can be viewed as a vector field on the real line generating a diffeomorphism. We show that the relative entropy is equal to $c$ times the so-called Schwarzian action of the diffeomorphism. As an application of this result, we obtain a formula for the relative entropy between the vacuum and a solitonic state.
△ Less
Submitted 15 May, 2019; v1 submitted 18 March, 2019;
originally announced March 2019.
-
Relative entropy close to the edge
Authors:
Stefan Hollands
Abstract:
We show that the relative entropy between the reduced density matrix of the vacuum state in some region $A$ and that of an excited state created by a unitary operator localized at a small distance $\ell$ of a boundary point $p$ is insensitive to the global shape of $A$, up to a small correction. This correction tends to zero as $\ell/R$ tends to zero, where $R$ is a measure of the curvature of…
▽ More
We show that the relative entropy between the reduced density matrix of the vacuum state in some region $A$ and that of an excited state created by a unitary operator localized at a small distance $\ell$ of a boundary point $p$ is insensitive to the global shape of $A$, up to a small correction. This correction tends to zero as $\ell/R$ tends to zero, where $R$ is a measure of the curvature of $\partial A$ at $p$, but at a rate necessarily slower than $\sim \sqrt{\ell/R}$ (in any dimension). Our arguments are mathematically rigorous and only use model-independent, basic assumptions about quantum field theory such as locality and Poincare invariance.
△ Less
Submitted 25 May, 2018;
originally announced May 2018.
-
Probability distributions for the stress tensor in conformal field theories
Authors:
Christopher J. Fewster,
Stefan Hollands
Abstract:
The vacuum state -- or any other state of finite energy -- is not an eigenstate of any smeared (averaged) local quantum field. The outcomes (spectral values) of repeated measurements of that averaged local quantum field are therefore distributed according to a non-trivial probability distribution. In this paper, we study probability distributions for the smeared stress tensor in two dimensional co…
▽ More
The vacuum state -- or any other state of finite energy -- is not an eigenstate of any smeared (averaged) local quantum field. The outcomes (spectral values) of repeated measurements of that averaged local quantum field are therefore distributed according to a non-trivial probability distribution. In this paper, we study probability distributions for the smeared stress tensor in two dimensional conformal quantum field theory. We first provide a new general method for this task based on the famous conformal welding problem in complex analysis. Secondly, we extend the known moment generating function method of Fewster, Ford and Roman. Our analysis provides new explicit probability distributions for the smeared stress tensor in the vacuum for various infinite classes of smearing functions. All of these turn out to be given in the end by a shifted Gamma distribution, pointing, perhaps, at a distinguished role of this distribution in the problem at hand.
△ Less
Submitted 29 August, 2018; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Relative entanglement entropy for widely separated regions in curved spacetime
Authors:
Stefan Hollands,
Onirban Islam,
Ko Sanders
Abstract:
We give an upper bound of the relative entanglement entropy of the ground state of a massive Dirac-Majorana field across two widely separated regions $A$ and $B$ in a static slice of an ultrastatic Lorentzian spacetime. Our bound decays exponentially in $dist (A, B)$, at a rate set by the Compton wavelength and the spatial scalar curvature. The physical interpretation our result is that, on a mani…
▽ More
We give an upper bound of the relative entanglement entropy of the ground state of a massive Dirac-Majorana field across two widely separated regions $A$ and $B$ in a static slice of an ultrastatic Lorentzian spacetime. Our bound decays exponentially in $dist (A, B)$, at a rate set by the Compton wavelength and the spatial scalar curvature. The physical interpretation our result is that, on a manifold with positive spatial scalar curvature, one cannot use the entanglement of the vacuum state to teleport one classical bit from $A$ to $B$ if their distance is of the order of the maximum of the curvature radius and the Compton wave length or greater.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Action principle for OPE
Authors:
Stefan Hollands
Abstract:
We formulate an "action principle" for the operator product expansion (OPE) describing how a given OPE coefficient changes under a deformation induced by a marginal or relevant operator. Our action principle involves no ad-hoc regulator or renormalization and applies to general (Euclidean) quantum field theories. It implies a natural definition of the renormalization group flow for the OPE coeffic…
▽ More
We formulate an "action principle" for the operator product expansion (OPE) describing how a given OPE coefficient changes under a deformation induced by a marginal or relevant operator. Our action principle involves no ad-hoc regulator or renormalization and applies to general (Euclidean) quantum field theories. It implies a natural definition of the renormalization group flow for the OPE coefficients and of coupling constants. When applied to the case of conformal theories, the action principle gives a system of coupled dynamical equations for the conformal data. The last result has also recently been derived (without considering tensor structures) independently by Behan (arXiv:1709.03967) using a different argument. Our results were previously announced and outlined at the meetings "In memoriam Rudolf Haag" in September 2016 and the "Wolfhart Zimmermann memorial symposium" in May 2017.
△ Less
Submitted 5 December, 2017; v1 submitted 16 October, 2017;
originally announced October 2017.
-
Entanglement measures and their properties in quantum field theory
Authors:
Stefan Hollands,
Ko Sanders
Abstract:
An entanglement measure for a bipartite quantum system is a state functional that vanishes on separable states and that does not increase under separable (local) operations. It is well-known that for pure states, essentially all entanglement measures are equal to the v. Neumann entropy of the reduced state, but for mixed states, this uniqueness is lost. In quantum field theory, bipartite systems a…
▽ More
An entanglement measure for a bipartite quantum system is a state functional that vanishes on separable states and that does not increase under separable (local) operations. It is well-known that for pure states, essentially all entanglement measures are equal to the v. Neumann entropy of the reduced state, but for mixed states, this uniqueness is lost. In quantum field theory, bipartite systems are associated with causally disjoint regions. There are no separable (normal) states to begin with when the regions touch each other, so one must leave a finite "safety-corridor". Due to this corridor, the normal states of bipartite systems are necessarily mixed, and the v. Neumann entropy is not a good entanglement measure in the above sense.
In this paper, we study various entanglement measures which vanish on separable states, do not increase under separable (local) operations, and have other desirable properties. In particular, we study the relative entanglement entropy, defined as the minimum relative entropy between the given state and an arbitrary separable state. We establish rigorous upper and lower bounds in various quantum field theoretic (QFT) models, as well as also model-independent ones. The former include free fields on static spacetime manifolds in general dimensions, or integrable models with factorizing $S$-matrix in 1+1 dimensions. The latter include bounds on ground states in general conformal QFTs, charged states (including charges with braid-group statistics) or thermal states in theories satisfying a "nuclearity condition". Typically, the bounds show a divergent behavior when the systems get close to each other--sometimes of the form of a generalized "area law"--and decay when the systems are far apart. Our main technical tools are of operator algebraic nature.
△ Less
Submitted 14 May, 2018; v1 submitted 16 February, 2017;
originally announced February 2017.
-
The Memory Effect for Particle Scattering in Even Spacetime Dimensions
Authors:
David Garfinkle,
Stefan Hollands,
Akihiro Ishibashi,
Alexander Tolish,
Robert M. Wald
Abstract:
We explicitly calculate the gravitational wave memory effect for classical point particle sources in linearized gravity off of an even dimensional Minkowski background. We show that there is no memory effect in $d>4$ dimensions, in agreement with the general analysis of Hollands, Ishibashi, and Wald (2016).
We explicitly calculate the gravitational wave memory effect for classical point particle sources in linearized gravity off of an even dimensional Minkowski background. We show that there is no memory effect in $d>4$ dimensions, in agreement with the general analysis of Hollands, Ishibashi, and Wald (2016).
△ Less
Submitted 30 June, 2017; v1 submitted 31 January, 2017;
originally announced February 2017.
-
BMS Supertranslations and Memory in Four and Higher Dimensions
Authors:
Stefan Hollands,
Akihiro Ishibashi,
Robert M. Wald
Abstract:
We consider the memory effect in even dimensional spacetimes of dimension $d \ge 4$ arising from a burst of gravitational radiation. When $d=4$, the natural frames in the stationary eras before and after the burst differ by the composition of a boost and supertranslation, and this supertranslation characterizes the "memory effect," i.e., the permanent displacement of test particles near infinity p…
▽ More
We consider the memory effect in even dimensional spacetimes of dimension $d \ge 4$ arising from a burst of gravitational radiation. When $d=4$, the natural frames in the stationary eras before and after the burst differ by the composition of a boost and supertranslation, and this supertranslation characterizes the "memory effect," i.e., the permanent displacement of test particles near infinity produced by the radiation burst. However, we show that when $d > 4$, this supertranslation and the corresponding memory effect vanish. Consequently, when $d >4$, it is natural to impose stronger asymptotic conditions at null infinity that reduce the asymptotic symmetry group to the Poincare group. Conversely, when $d=4$, the asymptotic symmetry group at null infinity must be taken to be the BMS group.
△ Less
Submitted 10 December, 2016;
originally announced December 2016.
-
Non-Equilibrium Thermodynamics and Conformal Field Theory
Authors:
Stefan Hollands,
Roberto Longo
Abstract:
We present a model independent, operator algebraic approach to non-equilibrium quantum thermodynamics within the framework of two-dimensional Conformal Field Theory. Two infinite reservoirs in equilibrium at their own temperatures and chemical potentials are put in contact through a defect line, possibly by inserting a probe. As time evolves, the composite system then approaches a non-equilibrium…
▽ More
We present a model independent, operator algebraic approach to non-equilibrium quantum thermodynamics within the framework of two-dimensional Conformal Field Theory. Two infinite reservoirs in equilibrium at their own temperatures and chemical potentials are put in contact through a defect line, possibly by inserting a probe. As time evolves, the composite system then approaches a non-equilibrium steady state that we describe. In particular, we re-obtain recent formulas of Bernard and Doyon.
△ Less
Submitted 7 September, 2016; v1 submitted 5 May, 2016;
originally announced May 2016.
-
SO(d,1)-invariant Yang-Baxter operators and the dS/CFT correspondence
Authors:
Stefan Hollands,
Gandalf Lechner
Abstract:
We propose a model for the dS/CFT correspondence. The model is constructed in terms of a "Yang-Baxter operator" $R$ for unitary representations of the deSitter group $SO(d,1)$. This $R$-operator is shown to satisfy the Yang-Baxter equation, unitarity, as well as certain analyticity relations, including in particular a crossing symmetry. With the aid of this operator we construct: a) A chiral (ligh…
▽ More
We propose a model for the dS/CFT correspondence. The model is constructed in terms of a "Yang-Baxter operator" $R$ for unitary representations of the deSitter group $SO(d,1)$. This $R$-operator is shown to satisfy the Yang-Baxter equation, unitarity, as well as certain analyticity relations, including in particular a crossing symmetry. With the aid of this operator we construct: a) A chiral (light-ray) conformal quantum field theory whose internal degrees of freedom transform under the given unitary representation of $SO(d,1)$. By analogy with the $O(N)$ non-linear sigma model, this chiral CFT can be viewed as propagating in a deSitter spacetime. b) A (non-unitary) Euclidean conformal quantum field theory on ${\mathbb R}^{d-1}$, where $SO(d,1)$ now acts by conformal transformations in (Euclidean) spacetime. These two theories can be viewed as dual to each other if we interpret ${\mathbb R}^{d-1}$ as conformal infinity of deSitter spacetime. Our constructions use semi-local generator fields defined in terms of $R$ and abstract methods from operator algebras.
△ Less
Submitted 30 May, 2017; v1 submitted 18 March, 2016;
originally announced March 2016.
-
Superradiant instabilities of asymptotically anti-de Sitter black holes
Authors:
Stephen R. Green,
Stefan Hollands,
Akihiro Ishibashi,
Robert M. Wald
Abstract:
We study the linear stability of asymptotically anti-de Sitter black holes in general relativity in spacetime dimension $d\ge4$. Our approach is an adaptation of the general framework of Hollands and Wald, which gives a stability criterion in terms of the sign of the canonical energy, $\mathcal{E}$. The general framework was originally formulated for static or stationary and axisymmetric black hol…
▽ More
We study the linear stability of asymptotically anti-de Sitter black holes in general relativity in spacetime dimension $d\ge4$. Our approach is an adaptation of the general framework of Hollands and Wald, which gives a stability criterion in terms of the sign of the canonical energy, $\mathcal{E}$. The general framework was originally formulated for static or stationary and axisymmetric black holes in the asymptotically flat case, and the stability analysis for that case applies only to axisymmetric perturbations. However, in the asymptotically anti-de Sitter case, the stability analysis requires only that the black hole have a single Killing field normal to the horizon and there are no restrictions on the perturbations (apart from smoothness and appropriate behavior at infinity). For an asymptotically anti-de Sitter black hole, we define an ergoregion to be a region where the horizon Killing field is spacelike; such a region, if present, would normally occur near infinity. We show that for black holes with ergoregions, initial data can be constructed such that $\mathcal{E}<0$, so all such black holes are unstable. To obtain such initial data, we first construct an approximate solution to the constraint equations using the WKB method, and then we use the Corvino-Schoen technique to obtain an exact solution. We also discuss the case of charged asymptotically anti-de Sitter black holes with generalized ergoregions.
△ Less
Submitted 8 December, 2015;
originally announced December 2015.
-
All-order bounds for correlation functions of gauge-invariant operators in Yang-Mills theory
Authors:
Markus B. Fröb,
Jan Holland,
Stefan Hollands
Abstract:
We give a complete, self-contained, and mathematically rigorous proof that Euclidean Yang-Mills theories are perturbatively renormalisable, in the sense that all correlation functions of arbitrary composite local operators fulfil suitable Ward identities. Our proof treats rigorously both all ultraviolet and infrared problems of the theory and provides, in the end, detailed analytical bounds on the…
▽ More
We give a complete, self-contained, and mathematically rigorous proof that Euclidean Yang-Mills theories are perturbatively renormalisable, in the sense that all correlation functions of arbitrary composite local operators fulfil suitable Ward identities. Our proof treats rigorously both all ultraviolet and infrared problems of the theory and provides, in the end, detailed analytical bounds on the correlation functions of an arbitrary number of composite local operators. These bounds are formulated in terms of certain weighted spanning trees extending between the insertion points of these operators. Our proofs are obtained within the framework of the Wilson-Wegner-Polchinski-Wetterich renormalisation group flow equations, combined with estimation techniques based on tree structures. Compared with previous mathematical treatments of massless theories without local gauge invariance [R. Guida and Ch. Kopper, arXiv:1103.5692; J. Holland, S. Hollands, and Ch. Kopper, Commun. Math. Phys. 342 (2016) 385] our constructions require several technical advances; in particular, we need to fully control the BRST invariance of our correlation functions.
△ Less
Submitted 10 December, 2016; v1 submitted 30 November, 2015;
originally announced November 2015.
-
Associativity of the operator product expansion
Authors:
Jan Holland,
Stefan Hollands
Abstract:
We consider a recursive scheme for defining the coefficients in the operator product expansion (OPE) of an arbitrary number of composite operators in the context of perturbative, Euclidean quantum field theory in four dimensions. Our iterative scheme is consistent with previous definitions of OPE coefficients via the flow equation method, or methods based on Feynman diagrams. It allows us to prove…
▽ More
We consider a recursive scheme for defining the coefficients in the operator product expansion (OPE) of an arbitrary number of composite operators in the context of perturbative, Euclidean quantum field theory in four dimensions. Our iterative scheme is consistent with previous definitions of OPE coefficients via the flow equation method, or methods based on Feynman diagrams. It allows us to prove that a strong version of the "associativity" condition holds for the OPE to arbitrary orders in perturbation theory. Such a condition was previously proposed in an axiomatic setting in [1] and has interesting conceptual consequences: 1) One can characterise perturbations of quantum field theories abstractly in a sort of "Hochschild-like" cohomology setting, 2) one can prove a "coherence theorem" analogous to that in an ordinary algebra: The OPE coefficients for a product of two composite operators uniquely determine those for $n$ composite operators. We concretely prove our main results for the Euclidean $\varphi^4_4$ quantum field theory, covering also the massless case. Our methods are rather general, however, and would also apply to other, more involved, theories such as Yang-Mills theories.
△ Less
Submitted 28 July, 2015;
originally announced July 2015.
-
The operator product expansion converges in massless $\varphi_4^4$-theory
Authors:
Jan Holland,
Stefan Hollands,
Christoph Kopper
Abstract:
It has been shown recently that the mathematical status of the operator product expansion (OPE) is better than was expected before: namely considering massive Euclidean $\varphi^4$-theory in the perturbative loop expansion, the OPE converges at any loop order when considering (as is usually done) composite operator insertions into correlation functions. In the present paper we prove the same resul…
▽ More
It has been shown recently that the mathematical status of the operator product expansion (OPE) is better than was expected before: namely considering massive Euclidean $\varphi^4$-theory in the perturbative loop expansion, the OPE converges at any loop order when considering (as is usually done) composite operator insertions into correlation functions. In the present paper we prove the same result for the massless theory. While the short-distance properties of massive and massless theories may be expected to be similar on physical grounds, the proof in the massless case requires entirely new techniques. In our inductive construction we have to control with sufficient precision the exceptional momentum singularities of the massless correlation functions. In fact the bounds we state are expressed in terms of weight factors associated to certain tree graphs. Our proof is again based on the flow equations of the renormalisation group.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
Instabilities of extremal rotating black holes in higher dimensions
Authors:
Stefan Hollands,
Akihiro Ishibashi
Abstract:
Recently, Durkee and Reall have conjectured a criterion for linear instability of rotating, extremal, asymptotically Minkowskian black holes in $d\ge 4$ dimensions, such as the Myers-Perry black holes. They considered a certain elliptic operator, $\cA$, acting on symmetric trace-free tensors intrinsic to the horizon. Based in part on numerical evidence, they suggested that if the lowest eigenvalue…
▽ More
Recently, Durkee and Reall have conjectured a criterion for linear instability of rotating, extremal, asymptotically Minkowskian black holes in $d\ge 4$ dimensions, such as the Myers-Perry black holes. They considered a certain elliptic operator, $\cA$, acting on symmetric trace-free tensors intrinsic to the horizon. Based in part on numerical evidence, they suggested that if the lowest eigenvalue of this operator is less than the critical value $-1/4$ ( called "effective BF-bound"), then the black hole is linearly unstable. In this paper, we prove an extended version of their conjecture. Our proof uses a combination of methods such as (i) the "canonical energy method" of Hollands-Wald, (ii) algebraically special properties of the near horizon geometries associated with the black hole, (iii) the Corvino-Schoen technique, and (iv) semiclassical analysis. Our method of proof is also applicable to rotating, extremal asymptotically Anti-deSitter black holes. In that case, we find additional instabilities for ultra-spinning black holes. Although we explicitly discuss in this paper only extremal black holes, we argue that our results can be generalized to {\em near} extremal black holes.
△ Less
Submitted 30 April, 2015; v1 submitted 4 August, 2014;
originally announced August 2014.
-
Recursive construction of operator product expansion coefficients
Authors:
J. Holland,
S. Hollands
Abstract:
We derive a novel formula for the derivative of operator product expansion (OPE) coefficients with respect to a coupling constant. The formula only involves the OPE coefficients themselves, and no further input, and is in this sense self-consistent. Furthermore, unlike other formal identities of this general nature in quantum field theory (such as the formal expression for the Lagrangian perturbat…
▽ More
We derive a novel formula for the derivative of operator product expansion (OPE) coefficients with respect to a coupling constant. The formula only involves the OPE coefficients themselves, and no further input, and is in this sense self-consistent. Furthermore, unlike other formal identities of this general nature in quantum field theory (such as the formal expression for the Lagrangian perturbation of a correlation function), our formula is completely well-defined from the start, i.e. requires no further UV-renormalization. This feature is a result of a cancelation of UV-divergences between various terms in our identity. Our proof, and an analysis of the features, of our identity is given for the example of massive, Euclidean $\varphi^4$ theory in 4 dimensional Euclidean space, and relies heavily on the framework of the renormalization group flow equations. It is valid to arbitrary, but finite orders in perturbation theory. The final formula, however, makes no explicit reference to the renormalization group flow, nor to perturbation theory, and we conjecture that it also holds non-perturbatively. The identity can be applied constructively because it gives recursive algorithm for the computation of OPE coefficients to arbitrary (finite) perturbation order in terms of the zeroth order coefficients corresponding to the underlying free field theory, which in turn are trivial to obtain. We briefly illustrate the relation of this method to more standard methods for computing the OPE in some simple examples.
△ Less
Submitted 14 January, 2014;
originally announced January 2014.
-
Quantum fields in curved spacetime
Authors:
Stefan Hollands,
Robert M. Wald
Abstract:
We review the theory of quantum fields propagating in an arbitrary, classical, globally hyperbolic spacetime. Our review emphasizes the conceptual issues arising in the formulation of the theory and presents known results in a mathematically precise way. Particular attention is paid to the distributional nature of quantum fields, to their local and covariant character, and to microlocal spectrum c…
▽ More
We review the theory of quantum fields propagating in an arbitrary, classical, globally hyperbolic spacetime. Our review emphasizes the conceptual issues arising in the formulation of the theory and presents known results in a mathematically precise way. Particular attention is paid to the distributional nature of quantum fields, to their local and covariant character, and to microlocal spectrum conditions satisfied by physically reasonable states. We review the Unruh and Hawking effects for free fields, as well as the behavior of free fields in deSitter spacetime and FLRW spacetimes with an exponential phase of expansion. We review how nonlinear observables of a free field, such as the stress-energy tensor, are defined, as well as time-ordered-products. The "renormalization ambiguities" involved in the definition of time-ordered products are fully characterized. Interacting fields are then perturbatively constructed. Our main focus is on the theory of a scalar field, but a brief discussion of gauge fields is included. We conclude with a brief discussion of a possible approach towards a nonperturbative formulation of quantum field theory in curved spacetime and some remarks on the formulation of quantum gravity.
△ Less
Submitted 10 June, 2014; v1 submitted 9 January, 2014;
originally announced January 2014.
-
Bondi mass cannot become negative in higher dimensions
Authors:
Stefan Hollands,
Alexander Thorne
Abstract:
We prove that the Bondi mass of an asymptotically flat, vacuum, spacetime cannot become negative in any even dimension $d \ge 4$. The notion of Bondi mass is more subtle in $d > 4$ dimensions because radiating metrics have a slower decay than stationary ones, and those subtleties are reflected by a considerably more difficult proof of positivity. Our proof holds for the standard spherical infiniti…
▽ More
We prove that the Bondi mass of an asymptotically flat, vacuum, spacetime cannot become negative in any even dimension $d \ge 4$. The notion of Bondi mass is more subtle in $d > 4$ dimensions because radiating metrics have a slower decay than stationary ones, and those subtleties are reflected by a considerably more difficult proof of positivity. Our proof holds for the standard spherical infinities, but also extends to infinities of more general type which are $(d-2)$-dimensional manifolds admitting a real Killing spinor. Such manifolds typically have special holonomy and Sasakian structures. The main technical advance of the paper is an expansion technique based on "conformal Gaussian null coordinates". This expansion helps us to understand the consequences imposed by Einstein's equations on the asymptotic tail of the metric field. As a by-product, we derive a coordinate expression for the geometrically invariant formula for the Bondi mass originally given by Hollands and Ishibashi.
△ Less
Submitted 27 January, 2014; v1 submitted 5 July, 2013;
originally announced July 2013.
-
A small cosmological constant due to non-perturbative quantum effects
Authors:
Jan Holland,
Stefan Hollands
Abstract:
We propose that the expectation value of the stress energy tensor of the Standard Model should be given by $< T_{μν} > = ρ_\vac η_{μν}$, with a vacuum energy $ρ_\vac$ that differs from the usual "dimensional analysis" result by an exponentially small factor associated with non-perturbative effects. We substantiate our proposal by a rigorous analysis of a toy model, namely the 2-dimensional Gross-N…
▽ More
We propose that the expectation value of the stress energy tensor of the Standard Model should be given by $< T_{μν} > = ρ_\vac η_{μν}$, with a vacuum energy $ρ_\vac$ that differs from the usual "dimensional analysis" result by an exponentially small factor associated with non-perturbative effects. We substantiate our proposal by a rigorous analysis of a toy model, namely the 2-dimensional Gross-Neveu model. In particular, we address, within this model, the key question of the renormalization ambiguities affecting the calculation. The stress energy operator is constructed concretely via the operator-product-expansion. The non-perturbative factor in the vacuum energy is seen as a consequence of the facts that a) the OPE-coefficients have an analytic dependence on $g$, b) the vacuum correlations have a non-analytic (=non-perturbative) dependence on $g$, which we propose to be a generic feature of QFT. Extrapolating our result from the Gross-Neveu model to the Standard Model, one would expect to find $ρ_\vac ~ Λ^4 \e^{-O(1)/g^2}$, where $Λ$ is an energy scale such as $Λ= M_{H}$, and $g$ is a gauge coupling such as $g^2/4π= α_{EW}$. The exponentially small factor due to non-perturbative effects could explain the "unnatural" smallness of this quantity.
△ Less
Submitted 22 May, 2013;
originally announced May 2013.
-
Superconformal quantum field theory in curved spacetime
Authors:
Paul de Medeiros,
Stefan Hollands
Abstract:
By conformally coupling vector and hyper multiplets in Minkowski space, we obtain a class of field theories with extended rigid conformal supersymmetry on any Lorentzian four-manifold admitting twistor spinors. We construct the conformal symmetry superalgebras which describe classical symmetries of these theories and derive an appropriate BRST operator in curved spacetime. In the process, we eluci…
▽ More
By conformally coupling vector and hyper multiplets in Minkowski space, we obtain a class of field theories with extended rigid conformal supersymmetry on any Lorentzian four-manifold admitting twistor spinors. We construct the conformal symmetry superalgebras which describe classical symmetries of these theories and derive an appropriate BRST operator in curved spacetime. In the process, we elucidate the general framework of cohomological algebra which underpins the construction. We then consider the corresponding perturbative quantum field theories. In particular, we examine the conditions necessary for conformal supersymmetries to be preserved at the quantum level, i.e. when the BRST operator commutes with the perturbatively defined S-matrix, which ensures superconformal invariance of amplitudes. To this end, we prescribe a renormalization scheme for time-ordered products that enter the perturbative S-matrix and show that such products obey certain Ward identities in curved spacetime. These identities allow us to recast the problem in terms of the cohomology of the BRST operator. Through a careful analysis of this cohomology, and of the renormalization group in curved spacetime, we establish precise criteria which ensure that all conformal supersymmetries are preserved at the quantum level. As a by-product, we provide a rigorous proof that the beta-function for such theories is one-loop exact. We also briefly discuss the construction of chiral rings and the role of non-perturbative effects in curved spacetime.
△ Less
Submitted 1 April, 2014; v1 submitted 2 May, 2013;
originally announced May 2013.
-
Conformal symmetry superalgebras
Authors:
Paul de Medeiros,
Stefan Hollands
Abstract:
We show how the rigid conformal supersymmetries associated with a certain class of pseudo-Riemannian spin manifolds define a Lie superalgebra. The even part of this superalgebra contains conformal isometries and constant R-symmetries. The odd part is generated by twistor spinors valued in a particular R-symmetry representation. We prove that any manifold which admits a conformal symmetry superalge…
▽ More
We show how the rigid conformal supersymmetries associated with a certain class of pseudo-Riemannian spin manifolds define a Lie superalgebra. The even part of this superalgebra contains conformal isometries and constant R-symmetries. The odd part is generated by twistor spinors valued in a particular R-symmetry representation. We prove that any manifold which admits a conformal symmetry superalgebra of this type must generically have dimension less than seven. Moreover, in dimensions three, four, five and six, we provide the generic data from which the conformal symmetry superalgebra is prescribed. For conformally flat metrics in these dimensions, and compact R-symmetry, we identify each of the associated conformal symmetry superalgebras with one of the conformal superalgebras classified by Nahm. We also describe several examples for Lorentzian metrics that are not conformally flat.
△ Less
Submitted 3 June, 2013; v1 submitted 28 February, 2013;
originally announced February 2013.
-
Black hole uniqueness theorems in higher dimensional spacetimes
Authors:
Stefan Hollands,
Akihiro Ishibashi
Abstract:
We review uniqueness theorems as well as other general results about higher dimensional black hole spacetimes. This includes in particular theorems about the topology of higher dimensional spacetimes, theorems about their symmetries (rigidity theorem), and the classification of supersymmetric black holes. We outline the basic ideas underlying the proofs of these statements, and we also indicate wa…
▽ More
We review uniqueness theorems as well as other general results about higher dimensional black hole spacetimes. This includes in particular theorems about the topology of higher dimensional spacetimes, theorems about their symmetries (rigidity theorem), and the classification of supersymmetric black holes. We outline the basic ideas underlying the proofs of these statements, and we also indicate ways to generalize some of these results to more general contexts, such as more complicated theories.
△ Less
Submitted 30 August, 2012; v1 submitted 6 June, 2012;
originally announced June 2012.