Source author record

Stefan Hollands

Stefan Hollands appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

35works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

35 published item(s)

preprint2022arXiv

Anyonic Chains -- $α$-Induction -- CFT -- Defects -- Subfactors

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.

preprint2022arXiv

The second law of black hole mechanics in effective field theory

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.

preprint2021arXiv

New metric reconstruction scheme for gravitational self-force calculations

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.

preprint2020arXiv

Approximate recovery and relative entropy I. general von Neumann subalgebras

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.

preprint2020arXiv

On the radiation gauge for spin-1 perturbations in Kerr-Newman spacetime

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.

preprint2020arXiv

Quantum Instability of the Cauchy Horizon in Reissner-Nordström-deSitter Spacetime

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.

preprint2020arXiv

Teukolsky formalism for nonlinear Kerr perturbations

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.

preprint2019arXiv

Relative entropy for coherent states in chiral CFT

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.

preprint2016arXiv

All-order bounds for correlation functions of gauge-invariant operators in Yang-Mills theory

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.

preprint2015arXiv

Associativity of the operator product expansion

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 $φ^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.

preprint2015arXiv

Instabilities of extremal rotating black holes in higher dimensions

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.

preprint2015arXiv

Superradiant instabilities of asymptotically anti-de Sitter black holes

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.

preprint2014arXiv

Bondi mass cannot become negative in higher dimensions

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.

preprint2014arXiv

Quantum fields in curved spacetime

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.

preprint2014arXiv

Superconformal quantum field theory in curved spacetime

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.

preprint2014arXiv

The operator product expansion converges in massless $φ_4^4$-theory

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 $φ^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.

preprint2013arXiv

A small cosmological constant due to non-perturbative quantum effects

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.

preprint2013arXiv

Conformal symmetry superalgebras

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.

preprint2013arXiv

Operator product expansion algebra

We establish conceptually important properties of the operator product expansion (OPE) in the context of perturbative, Euclidean $φ^{4}$-quantum field theory. First, we demonstrate, generalizing earlier results and techniques of arXiv:1105.3375, that the 3-point OPE, $< O_{A_1} O_{A_2} O_{A_3} > = \sum_{C} \cal{C}_{A_1 A_2 A_3}^{C} <O_{C}>$, usually interpreted only as an asymptotic short distance expansion, actually converges at finite, and even large, distances. We further show that the factorization identity $\cal{C}_{A_1 A_2 A_3}^{B}=\sum_{C}\cal{C}_{A_1 A_2}^{C} \cal{C}_{C A_3}^{B}$ is satisfied for suitable configurations of the spacetime arguments. Again, the infinite sum is shown to be convergent. Our proofs rely on explicit bounds on the remainders of these expansions, obtained using refined versions, mostly due to Kopper et al., of the renormalization group flow equation method. These bounds also establish that each OPE coefficient is a real analytic function in the spacetime arguments for non-coinciding points. Our results hold for arbitrary but finite loop orders. They lend support to proposals for a general axiomatic framework of quantum field theory, based on such `consistency conditions' and akin to vertex operator algebras, wherein the OPE is promoted to the defining structure of the theory.

preprint2012arXiv

Black hole uniqueness theorems and new thermodynamic identities in eleven dimensional supergravity

We consider stationary, non-extremal black holes in 11-dimensional supergravity having isometry group $\mathbb{R} \times U(1)^8$. We prove that such a black hole is uniquely specified by its angular momenta, its electric charges associated with the various 7-cycles in the manifold, together with certain moduli and vector valued winding numbers characterizing the topological nature of the spacetime and group action. We furthermore establish interesting, non-trivial, relations between the thermodynamic quantities associated with the black hole. These relations are shown to be a consequence of the hidden $E_{8(+8)}$ symmetry in this sector of the solution space, and are distinct from the usual "Smarr-type" formulas that can be derived from the first law of black hole mechanics. We also derive the "physical process" version of this first law applicable to a general stationary black hole spacetime without any symmetry assumptions other than stationarity, allowing in particular arbitrary horizon topologies. The work terms in the first law exhibit the topology of the horizon via the intersection numbers between cycles of various dimensions.

preprint2012arXiv

Black hole uniqueness theorems in higher dimensional spacetimes

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.

preprint2012arXiv

Stability of Black Holes and Black Branes

We establish a new criterion for the dynamical stability of black holes in $D \geq 4$ spacetime dimensions in general relativity with respect to axisymmetric perturbations: Dynamical stability is equivalent to the positivity of the canonical energy, $\E$, on a subspace, $\mathcal T$, of linearized solutions that have vanishing linearized ADM mass, momentum, and angular momentum at infinity and satisfy certain gauge conditions at the horizon. This is shown by proving that---apart from pure gauge perturbations and perturbations towards other stationary black holes---$\E$ is nondegenerate on $\mathcal T$ and that, for axisymmetric perturbations, $\E$ has positive flux properties at both infinity and the horizon. We further show that $\E$ is related to the second order variations of mass, angular momentum, and horizon area by $\E = δ^2 M - \sum_A Ω_A δ^2 J_A - \fracκ{8π} δ^2 A$, thereby establishing a close connection between dynamical stability and thermodynamic stability. Thermodynamic instability of a family of black holes need not imply dynamical instability because the perturbations towards other members of the family will not, in general, have vanishing linearized ADM mass and/or angular momentum. However, we prove that for any black brane corresponding to a thermodynamically unstable black hole, sufficiently long wavelength perturbations can be found with $\E < 0$ and vanishing linearized ADM quantities. Thus, all black branes corresponding to thermodynmically unstable black holes are dynamically unstable, as conjectured by Gubser and Mitra. We also prove that positivity of $\E$ on $\mathcal T$ is equivalent to the satisfaction of a "local Penrose inequality," thus showing that satisfaction of this local Penrose inequality is necessary and sufficient for dynamical stability.

preprint2011arXiv

Horizon area-angular momentum inequality in higher dimensional spacetimes

We consider $n$-dimensional spacetimes which are axisymmetric--but not necessarily stationary (!)--in the sense of having isometry group $U(1)^{n-3}$, and which satisfy the Einstein equations with a non-negative cosmological constant. We show that any black hole horizon must have area $A \ge 8π|J_+ J_-|^\half$, where $J_\pm$ are distinguished components of the angular momentum corresponding to linear combinations of the rotational Killing fields that vanish somewhere on the horizon. In the case of $n=4$, where there is only one angular momentum component $J_+=J_-$, we recover an inequality of 1012.2413 [gr-qc]. Our work can hence be viewed as a generalization of this result to higher dimensions. In the case of $n=5$ with horizon of topology $S^1 \times S^2$, the quantities $J_+=J_-$ are the same angular momentum component (in the $S^2$ direction). In the case of $n=5$ with horizon topology $S^3$, the quantities $J_+, J_-$ are the distinct components of the angular momentum. We also show that, in all dimensions, the inequality is saturated if the metric is a so-called ``near horizon geometry''. Our argument is entirely quasi-local, and hence also applies e.g. to any stably outer marginally trapped surface.

preprint2011arXiv

Massless interacting quantum fields in deSitter spacetime

We generalize key aspects of arXiv:1010.5367 (and also arXiv:1010.5327) to the case of {\em massless} $λϕ^{2n}$ quantum field theory on deSitter spacetime. As in that paper, our key objective is to derive a suitable "Mellin-Barnes-type" representation of deSitter correlation functions in a deSitter-invariant state, which holds to arbitrary orders in perturbation theory, and which incorporates renormalization. The representation is suitable for the study of large distance/time properties of correlation functions. It is arrived at via an analytic continuation from the corresponding objects on the sphere, and, as in the massive case, relies on the use of graph-polynomials and their properties, as well as other tools. However, the perturbation expansion is organized somewhat differently in the massless case, due to the well-known subtleties associated with the "zero-mode" of the quantum field. In particular, the correlation functions do not possess a well-defined limit as the self-coupling constant of the field goes to zero, reflecting the well-known non-existence of a deSitter invariant state in the free massless scalar theory. We establish that generic correlation functions cannot grow more than polynomially in proper time for large time-like separations of the points. Our results thus leave open the possibility of quantum induced IR-instabilities of deSitter spacetime on very large time-scales.

preprint2011arXiv

The operator product expansion converges in perturbative field theory

We show, within the framework of the Euclidean $ϕ^4$-quantum field theory in four dimensions, that the Wilson operator product expansion (OPE) is not only an asymptotic expansion at short distances as previously believed, but even converges at arbitrary finite distances. Our proof rests on a detailed estimation of the remainder term in the OPE, of an arbitrary product of composite fields, inserted as usual into a correlation function with further "spectator fields". The estimates are obtained using a suitably adapted version of the method of renormalization group flow equations. Convergence follows because the remainder is seen to become arbitrarily small as the OPE is carried out to sufficiently high order, i.e. to operators of sufficiently high dimension. Our results hold for arbitrary, but finite, loop orders. As an interesting side-result of our estimates, we can also prove that the "gradient expansion" of the effective action is convergent.

preprint2010arXiv

All Vacuum Near-Horizon Geometries in $D$-dimensions with $(D-3)$ Commuting Rotational Symmetries

We explicitly construct all stationary, non-static, extremal near horizon geometries in $D$ dimensions that satisfy the vacuum Einstein equations, and that have $D-3$ commuting rotational symmetries. Our work generalizes [arXiv:0806.2051] by Kunduri and Lucietti, where such a classification had been given in $D=4,5$. But our method is different from theirs and relies on a matrix formulation of the Einstein equations. Unlike their method, this matrix formulation works for any dimension. The metrics that we find come in three families, with horizon topology $S^2 \times T^{D-4}$, or $S^3 \times T^{D-5}$, or quotients thereof. Our metrics depend on two discrete parameters specifying the topology type, as well as $(D-2)(D-3)/2$ continuous parameters. Not all of our metrics in $D \ge 6$ seem to arise as the near horizon limits of known black hole solutions.

preprint2010arXiv

Correlators, Feynman diagrams, and quantum no-hair in deSitter spacetime

We provide a parametric representation for position-space Feynman integrals of a massive, self-interacting scalar field in deSitter spacetime, for an arbitrary graph. The expression is given as a multiple contour integral over a kernel whose structure is determined by the set of all trees (or forests) within the graph, and it belongs to a class of generalized hypergeometric functions. We argue from this representation that connected deSitter $n$-point vacuum correlation functions have exponential decay for large proper time-separation, and also decay for large spatial separation, to arbitrary orders in perturbation theory. Our results may be viewed as an analog of the so-called cosmic-no-hair theorem in the context of a quantized test scalar field. This work has significant overlap with a paper by Marolf and Morrison, which is being released simultaneously.

preprint2010arXiv

Further restrictions on the topology of stationary black holes in five dimensions

We place further restriction on the possible topology of stationary asymptotically flat vacuum black holes in 5 spacetime dimensions. We prove that the horizon manifold can be either a connected sum of Lens spaces and "handles" $S^1 \times S^2$, or the quotient of $S^3$ by certain finite groups of isometries (with no "handles"). The resulting horizon topologies include Prism manifolds and quotients of the Poincare homology sphere. We also show that the topology of the domain of outer communication is a cartesian product of the time direction with a finite connected sum of $\mathbb R^4,S^2 \times S^2$'s and $CP^2$'s, minus the black hole itself. We do not assume the existence of any Killing vector beside the asymptotically timelike one required by definition for stationarity.

preprint2010arXiv

On the derivation of the Boltzmann equation in quantum field theory: Flat spacetime

In this paper, we analyze in a mathematically rigorous fashion the validity of the Boltzmann transport equation within quantum field theory. We work within the specific model of a hermitian, scalar field with polynomial self-interaction in two-dimensional Minkowski space. Our main results are as follows: Firstly, that one can obtain a non-perturbative, exact integro-differential equation for the number densities, which we called the pre-Boltzmann equation. We secondly take the long-time-dilute-medium limit of this equation, to obtain a simpler equation. This limiting equation is qualitatively similar to the Boltzmann equation, but it involves additional re-scattering terms. These terms disappear if perform a perturbation expansion in the coupling constant and ignore the loop corrections (Born approximation). If loop corrections are included, then we argue that for consistency, one must also keep corresponding rescattering terms which are normally ignored. Our analysis is hence of potential relevance for physical applications of the Boltzmann equation wherein loop effects are essential, such as in the standard scenario of baryogensis in the Early Universe. Our analysis is performed in the context of flat spacetime, but in such a way that the main ingredients can be transferred, straightforwardly to the case of a curved spacetime of Robertson-Walker-type. Our main technical tools are methods from constructive quantum field theory, as well as a general method called "projection technique". This turns out to give convergent expansions, and a rather elegant way of organizing the combinatorics of the various quantum field theoretic expansions in the analysis.

preprint2009arXiv

A uniqueness theorem for stationary Kaluza-Klein black holes

We prove a uniqueness theorem for stationary $D$-dimensional Kaluza-Klein black holes with $D-2$ Killing fields, generating the symmetry group ${\mathbb R} \times U(1)^{D-3}$. It is shown that the topology and metric of such black holes is uniquely determined by the angular momenta and certain other invariants consisting of a number of real moduli, as well as integer vectors subject to certain constraints.

preprint2009arXiv

Perturbative Quantum Field Theory via Vertex Algebras

In this paper, we explain how perturbative quantum field theory can be formulated in terms of (a version of) vertex algebras. Our starting point is the Wilson-Zimmermann operator product expansion (OPE). Following ideas of a previous paper [arXiv:0802.2198], we consider a consistency (essentially associativity) condition satisfied by the coefficients in this expansion. We observe that the information in the OPE coefficients can be repackaged straightforwardly into "vertex operators" and that the consistency condition then has essentially the same form as the key condition in the theory of vertex algebras. We develop a general theory of perturbations of the algebras that we encounter, similar in nature to the Hochschild cohomology describing the deformation theory of ordinary algebras. The main part of the paper is devoted to the question how one can calculate the perturbations corresponding to a given interaction Lagrangian (such as $λφ^4$) in practice, using the consistency condition and the corresponding non-linear field equation. We derive graphical rules, which display the vertex operators (i.e., OPE coefficients) in terms of certain multiple series of hypergeometric type.

preprint2008arXiv

A tale of two superpotentials: Stability and Instability in Designer Gravity

We investigate the stability of asymptotically anti-de Sitter gravity coupled to tachyonic scalar fields with mass at or slightly above the Breitenlohner-Freedman bound. The boundary conditions in these ``designer gravity'' theories are defined in terms of an arbitrary function W. Previous work had suggested that the energy in designer gravity is bounded below if i) W has a global minimum and ii) the scalar potential admits a superpotential P. More recently, however, certain solutions were found (numerically) to violate the proposed energy bound. We resolve the discrepancy by observing that a given scalar potential can admit two possible branches of the corresponding superpotential, P_{\pm}. When there is a P_- branch, we rigorously prove a lower bound on the energy; the P_+ branch alone is not sufficient. Our numerical investigations i) confirm this picture, ii) confirm other critical aspects of the (complicated) proofs, and iii) suggest that the existence of P_- may in fact be necessary (as well as sufficient) for the energy of a designer gravity theory to be bounded below.

preprint2004arXiv

Asymptotic Flatness and Bondi Energy in Higher Dimensional Gravity

We give a general geometric definition of asymptotic flatness at null infinity in $d$-dimensional general relativity ($d$ even) within the framework of conformal infinity. Our definition is arrived at via an analysis of linear perturbations near null infinity and shown to be stable under such perturbations. The detailed fall off properties of the perturbations, as well as the gauge conditions that need to be imposed to make the perturbations regular at infinity, are qualitatively different in higher dimensions; in particular, the decay rate of a radiating solution at null infinity differs from that of a static solution in higher dimensions. The definition of asymptotic flatness in higher dimensions consequently also differs qualitatively from that in $d=4$. We then derive an expression for the generator conjugate to an asymptotic time translation symmetry for asymptotically flat spacetimes in $d$-dimensional general relativity ($d$ even) within the Hamiltonian framework, making use especially of a formalism developed by Wald and Zoupas. This generator is given by an integral over a cross section at null infinity of a certain local expression and is taken to be the definition of the Bondi energy in $d$ dimensions. Our definition yields a manifestly positive flux of radiated energy. Our definitions and constructions fail in odd spacetime dimensions, essentially because the regularity properties of the metric at null infinity seem to be insufficient in that case. We also find that there is no direct analog of the well-known infinite set of angle dependent translational symmetries in more than 4 dimensions.

preprint2002arXiv

An Alternative to Inflation

Inflationary models are generally credited with explaining the large scale homogeneity, isotropy, and flatness of our universe as well as accounting for the origin of structure (i.e., the deviations from exact homogeneity) in our universe. We argue that the explanations provided by inflation for the homogeneity, isotropy, and flatness of our universe are not satisfactory, and that a proper explanation of these features will require a much deeper understanding of the initial state of our universe. On the other hand, inflationary models are spectacularly successful in providing an explanation of the deviations from homogeneity. We point out here that the fundamental mechanism responsible for providing deviations from homogeneity -- namely, the evolutionary behavior of quantum modes with wavelength larger than the Hubble radius -- will operate whether or not inflation itself occurs. However, if inflation did not occur, one must directly confront the issue of the initial state of modes whose wavelength was larger than the Hubble radius at the time at which they were "born". Under some simple hypotheses concerning the "birth time" and initial state of these modes (but without any "fine tuning"), it is shown that non-inflationary fluid models in the extremely early universe would result in the same density perturbation spectrum and amplitude as inflationary models, although there would be no "slow roll" enhancement of the scalar modes.

preprint2001arXiv

The State Space of Perturbative Quantum Field Theory in Curved Spacetimes

The space of continuous states of perturbative interacting quantum field theories in globally hyperbolic curved spacetimes is determined. Following Brunetti and Fredenhagen, we first define an abstract algebra of observables which contains the Wick-polynomials of the free field as well as their time-ordered products, and hence, by the well-known rules of perturbative quantum field theory, also the observables (up to finite order) of interest for the interacting quantum field theory. We then determine the space of continuous states on this algebra. Our result is that this space consists precisely of those states whose truncated n-point functions of the free field are smooth for all n not equal to two, and whose two-point function has the singularity of a Hadamard fundamental form. A crucial role in our analysis is played by the positivity property of states. On the technical side, our proof involves functional analytic methods, in particular the methods of microlocal analysis.