Showing 1–50 of 91 results for author: Fewster, C J

Quantum reference frames, measurement schemes and the type of local algebras in quantum field theory

Authors: Christopher J. Fewster, Daan W. Janssen, Leon Deryck Loveridge, Kasia Rejzner, James Waldron

Abstract: We develop an operational framework, combining relativistic quantum measurement theory with quantum reference frames (QRFs), in which local measurements of a quantum field on a background with symmetries are performed relative to a QRF. This yields a joint algebra of quantum-field and reference-frame observables that is invariant under the natural action of the group of spacetime isometries. For t… ▽ More We develop an operational framework, combining relativistic quantum measurement theory with quantum reference frames (QRFs), in which local measurements of a quantum field on a background with symmetries are performed relative to a QRF. This yields a joint algebra of quantum-field and reference-frame observables that is invariant under the natural action of the group of spacetime isometries. For the appropriate class of quantum reference frames, this algebra is parameterised in terms of crossed products. Provided that the quantum field has good thermal properties (expressed by the existence of a KMS state at some nonzero temperature), one can use modular theory to show that the invariant algebra admits a semifinite trace. If furthermore the quantum reference frame has good thermal behaviour (expressed by the existence of a KMS weight) at the same temperature, this trace is finite. We give precise conditions for the invariant algebra of physical observables to be a type $\textnormal{II}_1$ factor. Our results build upon recent work of Chandrasekaran, Longo, Penington and Witten [JHEP 2023, 82 (2023)], providing both a significant mathematical generalisation of these findings and a refined operational understanding of their model. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 83 pages including appendices

Measurement in Quantum Field Theory

Authors: Christopher J. Fewster, Rainer Verch

Abstract: The topic of measurement in relativistic quantum field theory is addressed in this article. Some of the long standing problems of this subject are highlighted, including the incompatibility of an instantaneous ``collapse of the wavefunction'' with relativity of simultaneity, and the difficulty of maintaining causality in the rules for measurement highlighted by ``impossible measurement'' scenarios… ▽ More The topic of measurement in relativistic quantum field theory is addressed in this article. Some of the long standing problems of this subject are highlighted, including the incompatibility of an instantaneous ``collapse of the wavefunction'' with relativity of simultaneity, and the difficulty of maintaining causality in the rules for measurement highlighted by ``impossible measurement'' scenarios. Thereafter, the issue is considered from the perspective of mathematical physics. To this end, quantum field theory is described in a model-independent, operator algebraic setting, on generic Lorentzian spacetime manifolds. The process of measurement is modelled by a localized dynamical coupling between a quantum field called the ``system'', and another quantum field, called the ``probe''. The result of the dynamical coupling is a scattering map, whereby measurements carried out on the probe can be interpreted as measurements of induced observables on the system. The localization of the dynamical coupling allows it to derive causal relations for the induced observables. It will be discussed how this approach leads to the concept of selective or non-selective system state updates conditioned on the result of probe measurements, which in turn allows it to obtain conditional probabilities for consecutive probe measurements consistent with relativistic causality and general covariance, without the need for a physical collapse of the wavefunction. In particular, the problem of impossible measurements is resolved. Finally, there is a brief discussion of accelerated detectors and other related work. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Comments: Latex2e, 16 pages. To appear in Encyclopedia of Mathematical Physics

Modified Green-Hyperbolic Operators

Authors: Christopher J. Fewster

Abstract: Green-hyperbolic operators - partial differential operators on globally hyperbolic spacetimes that (together with their formal duals) possess advanced and retarded Green operators - play an important role in many areas of mathematical physics. Here, we study modifications of Green-hyperbolic operators by the addition of a possibly nonlocal operator acting within a compact subset $K$ of spacetime,… ▽ More Green-hyperbolic operators - partial differential operators on globally hyperbolic spacetimes that (together with their formal duals) possess advanced and retarded Green operators - play an important role in many areas of mathematical physics. Here, we study modifications of Green-hyperbolic operators by the addition of a possibly nonlocal operator acting within a compact subset $K$ of spacetime, and seek corresponding '$K$-nonlocal' generalised Green operators. Assuming the modification depends holomorphically on a parameter, conditions are given under which $K$-nonlocal Green operators exist for all parameter values, with the possible exception of a discrete set. The exceptional points occur precisely where the modified operator admits nontrivial smooth homogeneous solutions that have past- or future-compact support. Fredholm theory is used to relate the dimensions of these spaces to those corresponding to the formal dual operator, switching the roles of future and past. The $K$-nonlocal Green operators are shown to depend holomorphically on the parameter in the topology of bounded convergence on maps between suitable Sobolev spaces, or between suitable spaces of smooth functions. An application to the LU factorisation of systems of equations is described. △ Less

Submitted 8 August, 2023; v1 submitted 6 March, 2023; originally announced March 2023.

Journal ref: SIGMA 19 (2023), 057, 27 pages

Quantum Energy Inequalities along stationary worldlines

Authors: Christopher J. Fewster, Jacob Thompson

Abstract: Quantum energy inequalities (QEIs) are lower bounds on the averaged energy density of a quantum field. They have been proved for various field theories in general curved spacetimes but the explicit lower bound is not easily calculated in closed form. In this paper we study QEIs for the massless minimally coupled scalar field in four-dimensional Minkowski spacetime along stationary worldlines - cur… ▽ More Quantum energy inequalities (QEIs) are lower bounds on the averaged energy density of a quantum field. They have been proved for various field theories in general curved spacetimes but the explicit lower bound is not easily calculated in closed form. In this paper we study QEIs for the massless minimally coupled scalar field in four-dimensional Minkowski spacetime along stationary worldlines - curves whose velocity evolves under a 1-parameter Lorentz subgroup -- and find closed expressions for the QEI bound, in terms of curvature invariants of the worldline. Our general results are illustrated by specific computations for the six protoypical stationary worldlines. When the averaging period is taken to infinity, the QEI bound is consistent with a constant energy density along the worldline. For inertial and uniformly linearly accelerated worldlines, this constant value is attained by the Minkowski and Rindler vacuums respectively. It is an open question as to whether the bounds for other stationary worldlines are attained by other states of interest. △ Less

Submitted 21 July, 2023; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: 27 pages, 1 figure. v2 29 pages, 1 figure - additional commentary and references added. Final version to appear in Class Q Grav

Comment on "Backflow in relativistic wave equations"

Authors: Maximilien Barbier, Christopher J. Fewster, Arseni Goussev, Gregory Morozov, Shashi C. L. Srivastava

Abstract: Comment on "Backflow in relativistic wave equations" by I. Bialynicki-Birula, Z. Bialynicka-Birula, and S. Augustynowicz [Journal of Physics A: Mathematical and Theoretical, volume 55, page 255702 (2022)]. Comment on "Backflow in relativistic wave equations" by I. Bialynicki-Birula, Z. Bialynicka-Birula, and S. Augustynowicz [Journal of Physics A: Mathematical and Theoretical, volume 55, page 255702 (2022)]. △ Less

Submitted 11 October, 2022; originally announced October 2022.

Comments: 2 pages, no figures

Journal ref: J. Phys. A: Math. Theor. 56 138003 (2023)

Asymptotic measurement schemes for every observable of a quantum field theory

Authors: Christopher J. Fewster, Ian Jubb, Maximilian H. Ruep

Abstract: In quantum measurement theory, a measurement scheme describes how an observable of a given system can be measured indirectly using a probe. The measurement scheme involves the specification of a probe theory, an initial probe state, a probe observable and a coupling between the system and the probe, so that a measurement of the probe observable after the coupling has ceased reproduces (in expectat… ▽ More In quantum measurement theory, a measurement scheme describes how an observable of a given system can be measured indirectly using a probe. The measurement scheme involves the specification of a probe theory, an initial probe state, a probe observable and a coupling between the system and the probe, so that a measurement of the probe observable after the coupling has ceased reproduces (in expectation) the result of measuring the system observable in the system state. Recent work has shown how local and causal measurement schemes may be described in the context of model-independent quantum field theory (QFT), but has not addressed the question of whether such measurement schemes exist for all system observables. Here, we present two treatments of this question. The first is a proof of principle which provides a measurement scheme for every local observable of the quantized real linear scalar field if one relaxes one of the conditions on a QFT measurement scheme by allowing a non-compact coupling region. Secondly, restricting to compact coupling regions, we explicitly construct asymptotic measurement schemes for every local observable of the quantized theory. More precisely, we show that for every local system observable $A$ there is an associated collection of measurement schemes for system observables that converge to $A$. All the measurement schemes in this collection have the same fixed compact coupling zone and the same processing region. The convergence of the system observables holds, in particular, in GNS representations of suitable states on the field algebra or the Weyl algebra. In this way, we show that every observable can be asymptotically measured using locally coupled probe theories. △ Less

Submitted 26 September, 2022; v1 submitted 17 March, 2022; originally announced March 2022.

Comments: v2: revised version, 37 pages, 1 figure, accepted for publication in Annales Henri Poincaré

A semiclassical singularity theorem

Authors: Christopher J. Fewster, Eleni-Alexandra Kontou

Abstract: Quantum fields do not satisfy the pointwise energy conditions that are assumed in the original singularity theorems of Penrose and Hawking. Accordingly, semiclassical quantum gravity lies outside their scope. Although a number of singularity theorems have been derived under weakened energy conditions, none is directly derived from quantum field theory. Here, we employ a quantum energy inequality s… ▽ More Quantum fields do not satisfy the pointwise energy conditions that are assumed in the original singularity theorems of Penrose and Hawking. Accordingly, semiclassical quantum gravity lies outside their scope. Although a number of singularity theorems have been derived under weakened energy conditions, none is directly derived from quantum field theory. Here, we employ a quantum energy inequality satisfied by the quantized minimally coupled linear scalar field to derive a singularity theorem valid in semiclassical gravity. By considering a toy cosmological model, we show that our result predicts timelike geodesic incompleteness on plausible timescales with reasonable conditions at a spacelike Cauchy surface. △ Less

Submitted 28 August, 2021; originally announced August 2021.

Comments: 28 pages, 5 figures

Relative Cauchy evolution for linear homotopy AQFTs

Authors: Simen Bruinsma, Christopher J. Fewster, Alexander Schenkel

Abstract: This paper develops a concept of relative Cauchy evolution for the class of homotopy algebraic quantum field theories (AQFTs) that are obtained by canonical commutation relation quantization of Poisson chain complexes. The key element of the construction is a rectification theorem proving that the homotopy time-slice axiom, which is a higher categorical relaxation of the time-slice axiom of AQFT,… ▽ More This paper develops a concept of relative Cauchy evolution for the class of homotopy algebraic quantum field theories (AQFTs) that are obtained by canonical commutation relation quantization of Poisson chain complexes. The key element of the construction is a rectification theorem proving that the homotopy time-slice axiom, which is a higher categorical relaxation of the time-slice axiom of AQFT, can be strictified for theories in this class. The general concept is illustrated through a detailed study of the relative Cauchy evolution for the homotopy AQFT associated with linear Yang-Mills theory, for which the usual stress-energy tensor is recovered. △ Less

Submitted 14 April, 2022; v1 submitted 24 August, 2021; originally announced August 2021.

Comments: 33 pages. v3: Final version accepted for publication in Communications in Mathematical Physics

MSC Class: 81Txx; 18N40

Journal ref: Commun. Math. Phys. 392, no. 2, 621-657 (2022)

Integrals of incomplete beta functions, with applications to order statistics, random walks and string enumeration

Authors: Stephen B. Connor, Christopher J. Fewster

Abstract: We study the probability that one beta-distributed random variable exceeds the maximum of two others, allowing all three to have general parameters. This amounts to studying Euler transforms of products of two incomplete beta functions. We provide a closed form for the general problem in terms of Kampé de Fériet functions and a variety of simpler closed forms in special cases. The results are appl… ▽ More We study the probability that one beta-distributed random variable exceeds the maximum of two others, allowing all three to have general parameters. This amounts to studying Euler transforms of products of two incomplete beta functions. We provide a closed form for the general problem in terms of Kampé de Fériet functions and a variety of simpler closed forms in special cases. The results are applied to derive the moments of the maximum of two independent beta-distributed random variables and to find inner products of incomplete beta functions. Restricted to positive integer parameters, our results are applied to determine an expected exit time for a conditioned random walk and also to a combinatorial problem of enumerating strings comprised of three different letters, subject to constraints. △ Less

Submitted 2 November, 2021; v1 submitted 25 April, 2021; originally announced April 2021.

Comments: Accepted for publication in Brazilian Journal of Probability and Statistics

MSC Class: 33C20 (Primary) 05A15; 05A10 (Secondary)

Local Structure of Sprinkled Causal Sets

Authors: Christopher J. Fewster, Eli Hawkins, Christoph Minz, Kasia Rejzner

Abstract: We describe numerical and analytical investigations of causal sets sprinkled into spacetime manifolds. The first part of the paper is a numerical study of finite causal sets sprinkled into Alexandrov subsets of Minkowski spacetime of dimensions $1 + 1$, $1 + 2$ and $1 + 3$. In particular we consider the rank 2 past of sprinkled causet events, which is the set of events that are two links to the pa… ▽ More We describe numerical and analytical investigations of causal sets sprinkled into spacetime manifolds. The first part of the paper is a numerical study of finite causal sets sprinkled into Alexandrov subsets of Minkowski spacetime of dimensions $1 + 1$, $1 + 2$ and $1 + 3$. In particular we consider the rank 2 past of sprinkled causet events, which is the set of events that are two links to the past. Assigning one of the rank 2 past events as `preferred past' for each event yields a `preferred past structure', which was recently proposed as the basis for a causal set d'Alembertian. We test six criteria for selecting rank 2 past subsets. One criterion performs particularly well at uniquely selecting -- with very high probability -- a preferred past satisfying desirable properties. The second part of the paper concerns (infinite) sprinkled causal sets for general spacetime manifolds. After reviewing the construction of the sprinkling process with the Poisson measure, we consider various specific applications. Among other things, we compute the probability of obtaining a sprinkled causal set of a given isomorphism class by combinatorial means, using a correspondence between causal sets in Alexandrov subsets of $1 + 1$ dimensional Minkowski spacetime and 2D-orders. These methods are also used to compute the expected size of the past infinity as a proportion of the total size of a sprinkled causal set. △ Less

Submitted 28 April, 2021; v1 submitted 5 November, 2020; originally announced November 2020.

Journal ref: Phys. Rev. D 103, 086020 (2021)

Impossible measurements require impossible apparatus

Authors: Henning Bostelmann, Christopher J. Fewster, Maximilian H. Ruep

Abstract: A well-recognised open conceptual problem in relativistic quantum field theory concerns the relation between measurement and causality. Naive generalisations of quantum measurement rules can allow for superluminal signalling ('impossible measurements'). This raises the problem of delineating physically allowed quantum measurements and operations. We analyse this issue in a recently proposed framew… ▽ More A well-recognised open conceptual problem in relativistic quantum field theory concerns the relation between measurement and causality. Naive generalisations of quantum measurement rules can allow for superluminal signalling ('impossible measurements'). This raises the problem of delineating physically allowed quantum measurements and operations. We analyse this issue in a recently proposed framework in which local measurements (in possibly curved spacetime) are described physically by coupling the system to a probe. We show that the state-update rule in this setting is consistent with causality provided that the coupling between the system and probe is local. Thus, by establishing a well-defined framework for successive measurements, we also provide a class of physically allowed operations. Conversely, impossible measurements can only be performed using impossible (non-local) apparatus. △ Less

Submitted 26 April, 2021; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 13pp. v2: font issue fixed, minor textual changes, reference added. v3: Expanded and revised version, including a detailed account of measurements by multiple observers. v4: updated to reflect the published version

Journal ref: Phys. Rev. D 103, 025017 (2021)

Probability Distributions for Space and Time Averaged Quantum Stress Tensors

Authors: Christopher J. Fewster, L. H. Ford

Abstract: We extend previous work on quantum stress tensor operators which have been averaged over finite time intervals to include averaging over finite regions of space as well. The space and time averaging can be viewed as describing a measurement process for a stress tensor component, such as the energy density of a quantized field in its vacuum state. Although spatial averaging reduces the probability… ▽ More We extend previous work on quantum stress tensor operators which have been averaged over finite time intervals to include averaging over finite regions of space as well. The space and time averaging can be viewed as describing a measurement process for a stress tensor component, such as the energy density of a quantized field in its vacuum state. Although spatial averaging reduces the probability of large vacuum fluctuations compared to time averaging alone, we find that the probability distribution decreases more slowly than exponentially as the magnitude of the measured energy density increases. This implies that vacuum fluctuations can sometimes dominate over thermal fluctuations and potentially have observable effects. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: 32 pages, 12 figures

Journal ref: Phys. Rev. D 101, 025006 (2020)

Algebraic Classical and Quantum Field Theory on Causal Sets

Authors: Edmund Dable-Heath, Christopher J. Fewster, Kasia Rejzner, Nick Woods

Abstract: The framework of perturbative algebraic quantum field theory (pAQFT) is used to construct QFT models on causal sets. We discuss various discretised wave operators, including a new proposal based on the idea of a `preferred past', which we also introduce, and show how they may be used to construct classical free and interacting field theory models on a fixed causal set; additionally, we describe ho… ▽ More The framework of perturbative algebraic quantum field theory (pAQFT) is used to construct QFT models on causal sets. We discuss various discretised wave operators, including a new proposal based on the idea of a `preferred past', which we also introduce, and show how they may be used to construct classical free and interacting field theory models on a fixed causal set; additionally, we describe how the sensitivity of observables to changes in the background causal set may be encapsulated in a relative Cauchy evolution. These structures are used as the basis of a deformation quantization, using the methods of pAQFT. The SJ state is defined and discussed as a particular quantum state on the free quantum theory. Finally, using the framework of pAQFT, we construct interacting models for arbitrary interactions that are smooth functions of the field configurations. This is the first construction of such a wide class of models achieved in QFT on causal sets. △ Less

Submitted 25 February, 2020; v1 submitted 6 August, 2019; originally announced August 2019.

Comments: 42 pages, 3 figures

Journal ref: Phys. Rev. D 101, 065013 (2020)

Explicit examples of probability distributions for the energy density in two-dimensional conformal field theory

Authors: Matthew C. Anthony, Christopher J. Fewster

Abstract: Measurements of a weighted energy density average taken in the vacuum state of a conformal field theory in $1+1$ dimensions are randomly distributed with vanishing expectation value. The probability distribution is computed in closed form for two infinite families of averaging functions, generalising previously known examples. These examples may be further generalised by restriction to a half-line… ▽ More Measurements of a weighted energy density average taken in the vacuum state of a conformal field theory in $1+1$ dimensions are randomly distributed with vanishing expectation value. The probability distribution is computed in closed form for two infinite families of averaging functions, generalising previously known examples. These examples may be further generalised by restriction to a half-line In all cases the distribution is that of a shifted Gamma distribution. △ Less

Submitted 1 August, 2019; originally announced August 2019.

Comments: 6pp

Journal ref: Phys. Rev. D 101, 025010 (2020)

A new derivation of singularity theorems with weakened energy hypotheses

Authors: Christopher J. Fewster, Eleni-Alexandra Kontou

Abstract: The original singularity theorems of Penrose and Hawking were proved for matter obeying the Null Energy Condition or Strong Energy Condition respectively. Various authors have proved versions of these results under weakened hypotheses, by considering the Riccati inequality obtained from Raychaudhuri's equation. Here, we give a different derivation that avoids the Raychaudhuri equation but instead… ▽ More The original singularity theorems of Penrose and Hawking were proved for matter obeying the Null Energy Condition or Strong Energy Condition respectively. Various authors have proved versions of these results under weakened hypotheses, by considering the Riccati inequality obtained from Raychaudhuri's equation. Here, we give a different derivation that avoids the Raychaudhuri equation but instead makes use of index form methods. We show how our results improve over existing methods and how they can be applied to hypotheses inspired by Quantum Energy Inequalities. In this last case, we make quantitative estimates of the initial conditions required for our singularity theorems to apply. △ Less

Submitted 31 July, 2019; originally announced July 2019.

Comments: 27 pages

A generally covariant measurement scheme for quantum field theory in curved spacetimes

Authors: Christopher J. Fewster

Abstract: We propose and develop a measurement scheme for quantum field theory (QFT) in curved spacetimes, in which the QFT of interest, the "system", is dynamically coupled to another, the "probe", in a compact spacetime region. Measurements of observables in the probe system then serve as proxy measurements of observables in the system, under a correspondence which depends also on a preparation state of t… ▽ More We propose and develop a measurement scheme for quantum field theory (QFT) in curved spacetimes, in which the QFT of interest, the "system", is dynamically coupled to another, the "probe", in a compact spacetime region. Measurements of observables in the probe system then serve as proxy measurements of observables in the system, under a correspondence which depends also on a preparation state of the probe theory. All our constructions are local and covariant, and the conditions may be stated abstractly in the framework of algebraic quantum field theory (AQFT). The induced system observables corresponding to probe observables may be localized in the causal hull of the coupling region and are typically less sharp than the probe observable, but more sharp than the actual measurement on the coupled theory. A formula is given for the post-selected system state, conditioned on measurement outcomes, which is closely related to the notion of an instrument as introduced by Davies and Lewis. This formula has the important property that individual measurements form consistent composites, provided that their coupling regions can be causally ordered and a certain causal factorisation property holds for the dynamics; the composite is independent of the causal order chosen if more than one exists. The general framework is amenable to calculation, as is shown in a specific example. This contribution reports on joint work with R. Verch, arXiv:1810.06512. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Comments: 15pp. Contribution to the proceedings of the conference "Progress and Visions in Quantum Theory in View of Gravity", (Leipzig, October 2018)

Algebraic Quantum Field Theory -- an introduction

Authors: Christopher J. Fewster, Kasia Rejzner

Abstract: We give a pedagogical introduction to algebraic quantum field theory (AQFT), with the aim of explaining its key structures and features. Topics covered include: algebraic formulations of quantum theory and the GNS representation theorem, the appearance of unitarily inequivalent representations in QFT (exemplified by the van Hove model), the main assumptions of AQFT and simple models thereof, the s… ▽ More We give a pedagogical introduction to algebraic quantum field theory (AQFT), with the aim of explaining its key structures and features. Topics covered include: algebraic formulations of quantum theory and the GNS representation theorem, the appearance of unitarily inequivalent representations in QFT (exemplified by the van Hove model), the main assumptions of AQFT and simple models thereof, the spectrum condition, Reeh--Schlieder theorem, split property, the universal type of local algebras, and the theory of superselection sectors. The abstract discussion is illustrated by concrete examples. One of our concerns is to explain various ways in which quantum field theory differs from quantum mechanics, not just in terms of technical detail, but in terms of physical content. The text is supplemented by exercises and appendices that enlarge on some of the relevant mathematical background. These notes are based on lectures given by CJF for the International Max Planck Research School at the Albert Einstein Institute, Golm (October, 2018) and by KR at the Raman Research Institute, Bangalore (January, 2019). △ Less

Submitted 18 November, 2019; v1 submitted 8 April, 2019; originally announced April 2019.

Comments: Some formulations improved; some explanation and figures added. To appear in "Progress and Visions in Quantum Theory in View of Gravity - Bridging Foundations of Physics and Mathematics" (eds. F. Finster, D. Giulini, J. Kleiner, J. Tolksdorf)

Classical and quantum strong energy inequalities and the Hawking singularity theorem

Authors: P. J. Brown, C. J. Fewster, E. -A. Kontou

Abstract: Hawking's singularity theorem concerns matter obeying the strong energy condition (SEC), which means that all observers experience a non-negative effective energy density (EED). The SEC ensures the timelike convergence property. However, for both classical and quantum fields, violations of the SEC can be observed even in the simplest of cases, like the Klein-Gordon field. Therefore there is a need… ▽ More Hawking's singularity theorem concerns matter obeying the strong energy condition (SEC), which means that all observers experience a non-negative effective energy density (EED). The SEC ensures the timelike convergence property. However, for both classical and quantum fields, violations of the SEC can be observed even in the simplest of cases, like the Klein-Gordon field. Therefore there is a need to develop theorems with weaker restrictions, namely energy conditions averaged over an entire geodesic and weighted local averages of energy densities such as quantum energy inequalities (QEIs). We present lower bounds of the EED for both classical and quantum scalar fields allowing nonzero mass and nonminimal coupling to the scalar curvature. In the quantum case these bounds take the form of a set of state-dependent QEIs valid for the class of Hadamard states. We also discuss how these lower bounds are applied to prove Hawking-type singularity theorems asserting that, along with sufficient initial contraction, the spacetime is future timelike geodesically incomplete. △ Less

Submitted 31 March, 2019; originally announced April 2019.

Comments: 15th Marcel Grossmann conference proceedings, 6 pages

Quantum fields and local measurements

Authors: Christopher J. Fewster, Rainer Verch

Abstract: The measurement process is considered for quantum field theory on curved spacetimes. Measurements are carried out on one QFT, the "system", using another, the "probe" via a dynamical coupling of "system" and "probe" in a bounded spacetime region. The resulting "coupled theory" determines a scattering map on the uncoupled combination of the "system" and "probe" by reference to natural "in" and "out… ▽ More The measurement process is considered for quantum field theory on curved spacetimes. Measurements are carried out on one QFT, the "system", using another, the "probe" via a dynamical coupling of "system" and "probe" in a bounded spacetime region. The resulting "coupled theory" determines a scattering map on the uncoupled combination of the "system" and "probe" by reference to natural "in" and "out" spacetime regions. No specific interaction is assumed and all constructions are local and covariant. Given any initial probe state in the "in" region, the scattering map determines a completely positive map from "probe" observables in the "out" region to "induced system observables", thus providing a measurement scheme for the latter. It is shown that the induced system observables may be localized in the causal hull of the interaction coupling region and are typically less sharp than the probe observable, but more sharp than the actual measurement on the coupled theory. Post-selected states conditioned on measurement outcomes are obtained using Davies-Lewis instruments. Composite measurements involving causally ordered coupling regions are also considered. Provided that the scattering map obeys a causal factorization property, the causally ordered composition of the individual instruments coincides with the composite instrument; in particular, the instruments may be combined in either order if the coupling regions are causally disjoint. This is the central consistency property of the proposed framework. The general concepts and results are illustrated by an example in which both "system" and "probe" are quantized linear scalar fields, coupled by a quadratic interaction term with compact spacetime support. System observables induced by simple probe observables are calculated exactly, for sufficiently weak coupling, and compared with first order perturbation theory. △ Less

Submitted 24 July, 2020; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: 36pp, 1 figure. An extended abstract appears in the text. v2: Some material rearranged, new results and references added and typos fixed. v3: Published version. Some results in Sec. 5.1 generalised, minor corrections made

Quantum strong energy inequalities

Authors: Christopher J. Fewster, Eleni-Alexandra Kontou

Abstract: Quantum energy inequalities (QEIs) express restrictions on the extent to which weighted averages of the renormalized energy density can take negative expectation values within a quantum field theory. Here we derive, for the first time, QEIs for the effective energy density (EED) for the quantized non-minimally coupled massive scalar field. The EED is the quantity required to be non-negative in the… ▽ More Quantum energy inequalities (QEIs) express restrictions on the extent to which weighted averages of the renormalized energy density can take negative expectation values within a quantum field theory. Here we derive, for the first time, QEIs for the effective energy density (EED) for the quantized non-minimally coupled massive scalar field. The EED is the quantity required to be non-negative in the strong energy condition (SEC), which is used as a hypothesis of the Hawking singularity theorem. Thus establishing a quantum strong energy inequality is a first step towards a singularity theorem for matter described by quantum field theory. More specifically, we derive a difference QEI, where the local average of the EED is normal-ordered relative to the one in a reference state. Furthermore, the lower bounds we derive over timelike geodesics or spacetime volumes turn out to depend on the state of interest. We analyse the state-dependence of these bounds in Minkowski spacetime for thermal (KMS) states, and show that the lower bounds grow more slowly in magnitude than the EED itself as the temperature increases. The lower bounds are therefore of lower energetic order than the EED, and qualify as nontrivial state-dependent QEIs. △ Less

Submitted 6 February, 2019; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 27 pages

Journal ref: Phys. Rev. D 99, 045001 (2019)

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.

Comments: 31pp, 1 figure. v2 References and discussion added, some typos corrected. Version accepted for publication in Lett Math Phys

A singularity theorem for Einstein-Klein-Gordon theory

Authors: Peter J. Brown, Christopher J. Fewster, Eleni-Alexandra Kontou

Abstract: Hawking's singularity theorem concerns matter obeying the strong energy condition (SEC), which means that all observers experience a nonnegative effective energy density (EED), thereby guaranteeing the timelike convergence property. However, there are models that do not satisfy the SEC and therefore lie outside the scope of Hawking's hypotheses, an important example being the massive Klein-Gordon… ▽ More Hawking's singularity theorem concerns matter obeying the strong energy condition (SEC), which means that all observers experience a nonnegative effective energy density (EED), thereby guaranteeing the timelike convergence property. However, there are models that do not satisfy the SEC and therefore lie outside the scope of Hawking's hypotheses, an important example being the massive Klein-Gordon field. Here we derive lower bounds on local averages of the EED for solutions to the Klein-Gordon equation, allowing nonzero mass and nonminimal coupling to the scalar curvature. The averages are taken along timelike geodesics or over spacetime volumes, and our bounds are valid for a range of coupling constants including both minimal and conformal coupling. Using methods developed by Fewster and Galloway, these lower bounds are applied to prove a Hawking-type singularity theorem for solutions to the Einstein-Klein-Gordon theory, asserting that solutions with sufficient initial contraction at a compact Cauchy surface will be future timelike geodesically incomplete. △ Less

Submitted 29 March, 2018; originally announced March 2018.

Comments: 19 pages

The art of the state

Authors: Christopher J. Fewster

Abstract: Quantum field theory on curved spacetimes lacks an obvious distinguished vacuum state. We review a recent no-go theorem that establishes the impossibility of finding a preferred state in each globally hyperbolic spacetime, subject to certain natural conditions. The result applies in particular to the free scalar field, but the proof is model-independent and therefore of wider applicability. In add… ▽ More Quantum field theory on curved spacetimes lacks an obvious distinguished vacuum state. We review a recent no-go theorem that establishes the impossibility of finding a preferred state in each globally hyperbolic spacetime, subject to certain natural conditions. The result applies in particular to the free scalar field, but the proof is model-independent and therefore of wider applicability. In addition, we critically examine the recently proposed "SJ states", that are determined by the spacetime geometry alone, but which fail to be Hadamard in general. We describe a modified construction that can yield an infinite family of Hadamard states, and also explain recent results that motivate the Hadamard condition without direct reference to ultra-high energies or ultra-short distance structure. △ Less

Submitted 19 March, 2018; originally announced March 2018.

Comments: Expanded version of a talk given at the IV Amazonian Symposium on Physics. To appear in Int J Mod Phys D

Vacuum Quantum Stress Tensor Fluctuations: A Diagonalization Approach

Authors: Enrico D. Schiappacasse, Christopher J. Fewster, L. H. Ford

Abstract: Large vacuum fluctuations of a quantum stress tensor operator can be described by the asymptotic behavior of the probability distribution of the time or spacetime averaged operator. Here we focus on the case of stress tensor operators averaged with a sampling function in time. The Minkowski vacuum state is not an eigenstate of the time-averaged operator, but can be expanded in terms of its eigenst… ▽ More Large vacuum fluctuations of a quantum stress tensor operator can be described by the asymptotic behavior of the probability distribution of the time or spacetime averaged operator. Here we focus on the case of stress tensor operators averaged with a sampling function in time. The Minkowski vacuum state is not an eigenstate of the time-averaged operator, but can be expanded in terms of its eigenstates. We calculate the probability distribution and the cumulative probability distribution for obtaining a given value in a measurement of the time-averaged operator taken in the vacuum state. In these calculations, we use the normal ordered square of the time derivative of a massless scalar field in Minkowski spacetime as an example of a stress tensor operator. We analyze the rate of decrease of the tail of the probability distribution for different temporal sampling functions, such as compactly supported functions and the Lorentzian function. We find that the tails decrease relatively slowly, as exponentials of fractional powers, in agreement with previous work using the moments of the distribution. Our results lead additional support to the conclusion that large vacuum stress tensor fluctuations are more probable than large thermal fluctuations, and may have observable effects. △ Less

Submitted 26 November, 2017; originally announced November 2017.

Comments: 30 pages, 3 figures

Journal ref: Phys. Rev. D 97, 025013 (2018)

Quantum Energy Inequalities in Pre-Metric Electrodynamics

Authors: Christopher J. Fewster, Christian Pfeifer, Daniel Siemssen

Abstract: Pre-metric electrodynamics is a covariant framework for electromagnetism with a general constitutive law. Its lightcone structure can be more complicated than that of Maxwell theory as is shown by the phenomenon of birefringence. We study the energy density of quantized pre-metric electrodynamics theories with linear constitutive laws admitting a single hyperbolicity double-cone and show that aver… ▽ More Pre-metric electrodynamics is a covariant framework for electromagnetism with a general constitutive law. Its lightcone structure can be more complicated than that of Maxwell theory as is shown by the phenomenon of birefringence. We study the energy density of quantized pre-metric electrodynamics theories with linear constitutive laws admitting a single hyperbolicity double-cone and show that averages of the energy density along the worldlines of suitable observers obey a Quantum Energy Inequality (QEI) in states that satisfy a microlocal spectrum condition. The worldlines must meet two conditions: (a) the classical weak energy condition must hold along them, and (b) their velocity vectors have positive contractions with all positive frequency null covectors (we call such trajectories `subluminal'). After stating our general results, we explicitly quantize the electromagnetic potential in a translationally invariant uniaxial birefringent crystal. Since the propagation of light in such a crystal is governed by two nested lightcones, the theory shows features absent in ordinary (quantized) Maxwell electrodynamics. We then compute a QEI bound for worldlines of inertial `subluminal' observers, which generalizes known results from the Maxwell theory. Finally, it is shown that the QEIs fail along trajectories that have velocity vectors which are timelike with respect to only one of the lightcones. △ Less

Submitted 4 October, 2017; v1 submitted 6 September, 2017; originally announced September 2017.

Comments: 36 pages

MSC Class: 35Q60; 70S15; 78A25; 81T20

Journal ref: Phys. Rev. D 97, 025019 (2018)

An analogue of the Coleman-Mandula theorem for quantum field theory in curved spacetimes

Authors: Christopher J. Fewster

Abstract: The Coleman-Mandula (CM) theorem states that the Poincaré and internal symmetries of a Minkowski spacetime quantum field theory cannot combine nontrivially in an extended symmetry group. We establish an analogous result for quantum field theory in curved spacetimes, assuming local covariance, the timeslice property, a local dynamical form of Lorentz invariance, and additivity. Unlike the CM theore… ▽ More The Coleman-Mandula (CM) theorem states that the Poincaré and internal symmetries of a Minkowski spacetime quantum field theory cannot combine nontrivially in an extended symmetry group. We establish an analogous result for quantum field theory in curved spacetimes, assuming local covariance, the timeslice property, a local dynamical form of Lorentz invariance, and additivity. Unlike the CM theorem, our result is valid in dimensions $n\ge 2$ and for free or interacting theories. It is formulated for theories defined on a category of all globally hyperbolic spacetimes equipped with a global coframe, on which the restricted Lorentz group acts, and makes use of a general analysis of symmetries induced by the action of a group $G$ on the category of spacetimes. Such symmetries are shown to be canonically associated with a cohomology class in the second degree nonabelian cohomology of $G$ with coefficients in the global gauge group of the theory. Our main result proves that the cohomology class is trivial if $G$ is the universal cover $\cal S$ of the restricted Lorentz group. Among other consequences, it follows that the extended symmetry group is a direct product of the global gauge group and $\cal S$, all fields transform in multiplets of $\cal S$, fields of different spin do not mix under the extended group, and the occurrence of noninteger spin is controlled by the centre of the global gauge group. The general analysis is also applied to rigid scale covariance. △ Less

Submitted 24 January, 2017; v1 submitted 9 September, 2016; originally announced September 2016.

Comments: v2 25pp. Typos fixed; improved and corrected presentation of the algebra of Wick polynomials. To appear in Communications in Mathematical Physics

Waiting for Unruh

Authors: Christopher J. Fewster, Benito A. Juárez-Aubry, Jorma Louko

Abstract: How long does a uniformly accelerated observer need to interact with a quantum field in order to record thermality in the Unruh temperature? We address this question for a pointlike Unruh-DeWitt detector, coupled linearly to a real Klein-Gordon field of mass $m\ge0$ and treated within first order perturbation theory, in the limit of large detector energy gap $E_{\text{gap}}$. We first show that wh… ▽ More How long does a uniformly accelerated observer need to interact with a quantum field in order to record thermality in the Unruh temperature? We address this question for a pointlike Unruh-DeWitt detector, coupled linearly to a real Klein-Gordon field of mass $m\ge0$ and treated within first order perturbation theory, in the limit of large detector energy gap $E_{\text{gap}}$. We first show that when the interaction duration $ΔT$ is fixed, thermality in the sense of detailed balance cannot hold as $E_{\text{gap}}\to\infty$, and this property generalises from the Unruh effect to any Kubo-Martin-Schwinger state satisfying certain technical conditions. We then specialise to a massless field in four spacetime dimensions and show that detailed balance does hold when $ΔT$ grows as a power-law in $E_{\text{gap}}$ as $E_{\text{gap}}\to\infty$, provided the switch-on and switch-off intervals are stretched proportionally to $ΔT$ and the switching function has sufficiently strong Fourier decay. By contrast, if $ΔT$ grows by stretching a plateau in which the interaction remains at constant strength but kee** the duration of the switch-on and switch-off intervals fixed, detailed balance at $E_{\text{gap}}\to\infty$ requires $ΔT$ to grow faster than any polynomial in $E_{\text{gap}}$, under mild technical conditions. These results also hold for a static detector in a Minkowski heat bath. The results limit the utility of the large $E_{\text{gap}}$ regime as a probe of thermality in time-dependent versions of the Hawking and Unruh effects, such as an observer falling into a radiating black hole. They may also have implications on the design of prospective experimental tests of the Unruh effect. △ Less

Submitted 19 July, 2016; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: 29 pages. v2: minor clarifications, references added, typos corrected

Journal ref: Class. Quantum Grav. 33 (2016) 165003

Locally covariant quantum field theory and the spin-statistics connection

Authors: Christopher J. Fewster

Abstract: The framework of locally covariant quantum field theory, an axiomatic approach to quantum field theory in curved spacetime, is reviewed. As a specific focus, the connection between spin and statistics is examined in this context. A new approach is given, which allows for a more operational description of theories with spin and for the derivation of a more general version of the spin-statistics con… ▽ More The framework of locally covariant quantum field theory, an axiomatic approach to quantum field theory in curved spacetime, is reviewed. As a specific focus, the connection between spin and statistics is examined in this context. A new approach is given, which allows for a more operational description of theories with spin and for the derivation of a more general version of the spin-statistics connection in curved spacetimes than previously available. This part of the text is based on arXiv:1503.05797 and a forthcoming publication; the emphasis here is on the fundamental ideas and motivation. △ Less

Submitted 11 March, 2016; v1 submitted 3 March, 2016; originally announced March 2016.

Comments: 17pp, invited contribution to the Proceedings of the 14th Marcel Grossmann Conference (Rome, 2015). v2 Typos fixed; version to appear in Int J of Mod Phys D

The split property for quantum field theories in flat and curved spacetimes

Authors: Christopher J. Fewster

Abstract: The split property expresses a strong form of independence of spacelike separated regions in algebraic quantum field theory. In Minkowski spacetime, it can be proved under hypotheses of nuclearity. An expository account is given of nuclearity and the split property, and connections are drawn to the theory of quantum energy inequalities. In addition, a recent proof of the split property for quantum… ▽ More The split property expresses a strong form of independence of spacelike separated regions in algebraic quantum field theory. In Minkowski spacetime, it can be proved under hypotheses of nuclearity. An expository account is given of nuclearity and the split property, and connections are drawn to the theory of quantum energy inequalities. In addition, a recent proof of the split property for quantum field theory in curved spacetimes is outlined, emphasising the essential ideas. △ Less

Submitted 14 September, 2016; v1 submitted 26 January, 2016; originally announced January 2016.

Comments: Based on a talk given at the German Mathematical Society annual meeting, Hamburg 2015. Expository article with some new results. v2 Minor changes, typos corrected. Version to appear in Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg

Asymptotically thermal responses for smoothly switched detectors

Authors: Christopher J. Fewster, Benito A. Juárez-Aubry, Jorma Louko

Abstract: Thermal phenomena in quantum field theory can be detected with the aid of particle detectors coupled to quantum fields along stationary worldlines, by testing whether the response of such a detector satisfies the detailed balance version of the KMS condition at a constant temperature. This relation holds when the interaction between the field and the detector has infinite time duration. Operationa… ▽ More Thermal phenomena in quantum field theory can be detected with the aid of particle detectors coupled to quantum fields along stationary worldlines, by testing whether the response of such a detector satisfies the detailed balance version of the KMS condition at a constant temperature. This relation holds when the interaction between the field and the detector has infinite time duration. Operationally, however, detectors interact with fields for a finite amount of time, controlled by a switching function of compact support, and the KMS detailed balance condition cannot hold exactly for finite time interactions at arbitrarily large detector energy gap. In this large energy gap regime, we show that, for an adiabatically switched Rindler detector, the Unruh temperature emerges asymptotically after the detector and the field have interacted for a time that is polynomially long in the large energy. We comment on the significance of the adiabaticity assumption in this result. △ Less

Submitted 31 March, 2016; v1 submitted 30 October, 2015; originally announced November 2015.

Comments: v.2.0. 6 pages. Contributed talk by B.A.J.-A. in the QF2-B session on Quantum Field Theory to the Proceedings of the Fourteenth Marcel Grossmann Meeting

Probability Distributions for Quantum Stress Tensors Measured in a Finite Time Interval

Authors: Christopher J. Fewster, L. H. Ford

Abstract: A meaningful probability distribution for measurements of a quantum stress tensor operator can only be obtained if the operator is averaged in time or in spacetime. This averaging can be regarded as a description of the measurement process. Realistic measurements can be expected to begin and end at finite times, which means that they are described by functions with compact support, which we will a… ▽ More A meaningful probability distribution for measurements of a quantum stress tensor operator can only be obtained if the operator is averaged in time or in spacetime. This averaging can be regarded as a description of the measurement process. Realistic measurements can be expected to begin and end at finite times, which means that they are described by functions with compact support, which we will also take to be smooth. Here we study the probability distributions for stress tensor operators averaged with such functions of time, in the vacuum state of a massless free field. Our primary aim is to understand the asymptotic form of the distribution which describes the probability of large vacuum fluctuations. Our approach involves asymptotic estimates for the high moments of the distribution. These estimates in turn may be used to obtain estimates for the asymptotic form of the probability distribution. Our results show that averaging over a finite interval results in a probability distribution which falls more slowly than for the case of Lorentzian averaging, and both fall more slowly than exponentially. This indicates that vacuum fluctuations effects can dominate over thermal fluctuations in some circumstances. △ Less

Submitted 10 August, 2015; originally announced August 2015.

Comments: 28 pages, 9 figures

Journal ref: Phys. Rev. D 92, 105008 (2015)

Algebraic quantum field theory in curved spacetimes

Authors: Christopher J. Fewster, Rainer Verch

Abstract: This article sets out the framework of algebraic quantum field theory in curved spacetimes, based on the idea of local covariance. In this framework, a quantum field theory is modelled by a functor from a category of spacetimes to a category of ($C^*$)-algebras obeying supplementary conditions. Among other things: (a) the key idea of relative Cauchy evolution is described in detail, and related to… ▽ More This article sets out the framework of algebraic quantum field theory in curved spacetimes, based on the idea of local covariance. In this framework, a quantum field theory is modelled by a functor from a category of spacetimes to a category of ($C^*$)-algebras obeying supplementary conditions. Among other things: (a) the key idea of relative Cauchy evolution is described in detail, and related to the stress-energy tensor; (b) a systematic "rigidity argument" is used to generalise results from flat to curved spacetimes; (c) a detailed discussion of the issue of selection of physical states is given, linking notions of stability at microscopic, mesoscopic and macroscopic scales; (d) the notion of subtheories and global gauge transformations are formalised; (e) it is shown that the general framework excludes the possibility of there being a single preferred state in each spacetime, if the choice of states is local and covariant. Many of the ideas are illustrated by the example of the free Klein-Gordon theory, which is given a new "universal definition". △ Less

Submitted 2 April, 2015; originally announced April 2015.

Comments: 62pp. Expository article with some new results

On the spin-statistics connection in curved spacetimes

Authors: Christopher J. Fewster

Abstract: The connection between spin and statistics is examined in the context of locally covariant quantum field theory. A generalization is proposed in which locally covariant theories are defined as functors from a category of framed spacetimes to a category of $*$-algebras. This allows for a more operational description of theories with spin, and for the derivation of a more general version of the spin… ▽ More The connection between spin and statistics is examined in the context of locally covariant quantum field theory. A generalization is proposed in which locally covariant theories are defined as functors from a category of framed spacetimes to a category of $*$-algebras. This allows for a more operational description of theories with spin, and for the derivation of a more general version of the spin-statistics connection in curved spacetimes than previously available. The proof involves a "rigidity argument" that is also applied in the standard setting of locally covariant quantum field theory to show how properties such as Einstein causality can be transferred from Minkowski spacetime to general curved spacetimes. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: 17pp. Contribution to the proceedings of the conference "Quantum Mathematical Physics" (Regensburg, October 2014)

Locally covariant quantum field theory and the problem of formulating the same physics in all spacetimes

Authors: Christopher J. Fewster

Abstract: The framework of locally covariant quantum field theory is discussed, motivated in part using "ignorance principles". It is shown how theories can be represented by suitable functors, so that physical equivalence of theories may be expressed via natural isomorphisms between the corresponding functors. The inhomogeneous scalar field is used to illustrate the ideas. It is argued that there are two r… ▽ More The framework of locally covariant quantum field theory is discussed, motivated in part using "ignorance principles". It is shown how theories can be represented by suitable functors, so that physical equivalence of theories may be expressed via natural isomorphisms between the corresponding functors. The inhomogeneous scalar field is used to illustrate the ideas. It is argued that there are two reasonable definitions of the local physical content associated with a locally covariant theory; when these coincide, the theory is said to be dynamically local. The status of the dynamical locality condition is reviewed, as are its applications in relation to (a) the foundational question of what it means for a theory to represent the same physics in different spacetimes, and (b) a no-go result on the existence of natural states. △ Less

Submitted 16 February, 2015; originally announced February 2015.

Comments: 21pp. To appear in the themed issue "New Geometric Concepts in the Foundations of Physics" of Philosophical Transactions A of the Royal Society

Journal ref: Phil. Trans. A Roy. Soc. 373:20140238 (2015)

The split property for locally covariant quantum field theories in curved spacetime

Authors: Christopher J. Fewster

Abstract: The split property expresses the way in which local regions of spacetime define subsystems of a quantum field theory. It is known to hold for general theories in Minkowski space under the hypothesis of nuclearity. Here, the split property is discussed for general locally covariant quantum field theories in arbitrary globally hyperbolic curved spacetimes, using a spacetime deformation argument to t… ▽ More The split property expresses the way in which local regions of spacetime define subsystems of a quantum field theory. It is known to hold for general theories in Minkowski space under the hypothesis of nuclearity. Here, the split property is discussed for general locally covariant quantum field theories in arbitrary globally hyperbolic curved spacetimes, using a spacetime deformation argument to transport the split property from one spacetime to another. It is also shown how states obeying both the split and (partial) Reeh-Schlieder properties can be constructed, providing standard split inclusions of certain local von Neumann algebras. Sufficient conditions are given for the theory to admit such states in ultrastatic spacetimes, from which the general case follows. A number of consequences are described, including the existence of local generators for global gauge transformations, and the classification of certain local von Neumann algebras. Similar arguments are applied to the distal split property and circumstances are exhibited under which distal splitting implies the full split property. △ Less

Submitted 28 September, 2015; v1 submitted 12 January, 2015; originally announced January 2015.

Comments: v3 27pp. Some typos and errors fixed. Version published in Lett Math Phys

Journal ref: Letters in Mathematical Physics 105 (2015) 1633-1661

Probability distributions for quantum stress tensors in two and four dimensions

Authors: Christopher J. Fewster, L. H. Ford, Thomas A. Roman

Abstract: The probability distributions for the smeared energy densities of quantum fields, in the two and four-dimensional Minkowski vacuum are discussed. These distributions share the property that there is a lower bound at a finite negative value, but no upper bound. Thus arbitrarily large positive energy density fluctuations are possible. In two dimensions we are able to give an exact unique analytic fo… ▽ More The probability distributions for the smeared energy densities of quantum fields, in the two and four-dimensional Minkowski vacuum are discussed. These distributions share the property that there is a lower bound at a finite negative value, but no upper bound. Thus arbitrarily large positive energy density fluctuations are possible. In two dimensions we are able to give an exact unique analytic form for the distribution. However, in four dimensions, we are not able to give closed form expressions for the probability distribution, but rather use calculations of a finite number of moments to estimate the lower bound, and the asymptotic form of the tail of the distribution. The first 65 moments are used for these purposes. All of our four-dimensional results are subject to the caveat that these distributions are not uniquely determined by the moments. One can apply the asymptotic form of the electromagnetic energy density distribution to estimate the nucleation rates of black holes and of Boltzmann brains. △ Less

Submitted 26 September, 2014; originally announced September 2014.

Comments: 7 pp, talk given by TA Roman at "Relativity and Gravitation: 100 Years After Einstein in Prague," (Prague, June 2012). Contribution to "Relativity and Gravitation: 100 years after Einstein in Prague", eds J Bičák, T Ledvinka, (Springer Verlag 2014)

Pure quasifree states of the Dirac field from the fermionic projector

Authors: Christopher J. Fewster, Benjamin Lang

Abstract: We consider the quantised free Dirac field on oriented and globally hyperbolic ultrastatic slab spacetimes with compact spatial section and demonstrate how a gauge invariant, pure and quasifree state on the C*-completion of the self-dual CAR-algebra can be extracted from the fermionic projector construction of Finster and Reintjes. This state is analogous to the "SJ-state" of the free scalar field… ▽ More We consider the quantised free Dirac field on oriented and globally hyperbolic ultrastatic slab spacetimes with compact spatial section and demonstrate how a gauge invariant, pure and quasifree state on the C*-completion of the self-dual CAR-algebra can be extracted from the fermionic projector construction of Finster and Reintjes. This state is analogous to the "SJ-state" of the free scalar field recently discussed in the literature. We prove that this state generically fails to be Hadamard. However, we also show how a modified version of the construction, inspired by work of Brum and Fredenhagen, yields states which are Hadamard. We also relate the Hadamard condition to the finiteness of fluctuations of Wick polynomials. △ Less

Submitted 26 September, 2014; v1 submitted 7 August, 2014; originally announced August 2014.

Comments: v2 26pp. New results added concerning fluctuations of Wick polynomials

Journal ref: Class. Quantum Grav. 32 (2015) 095001

Dynamical locality of the free Maxwell field

Authors: Christopher J. Fewster, Benjamin Lang

Abstract: We consider the non-interacting source-free Maxwell field, described both in terms of the vector potential and the field strength. Starting from the classical field theory on contractible globally hyperbolic spacetimes, we extend the classical field theory to general globally hyperbolic spacetimes in two ways to obtain a "universal" theory and a "reduced" theory. The quantum field theory in terms… ▽ More We consider the non-interacting source-free Maxwell field, described both in terms of the vector potential and the field strength. Starting from the classical field theory on contractible globally hyperbolic spacetimes, we extend the classical field theory to general globally hyperbolic spacetimes in two ways to obtain a "universal" theory and a "reduced" theory. The quantum field theory in terms of the unital $*$-algebra of the smeared quantum field is then obtained by an application of a suitable quantisation functor. We show that the universal theories fail local covariance and dynamical locality owing to the possibility of having non-trivial radicals in the classical and non-trivial centres in the quantum case. The reduced theories are both locally covariant and dynamically local. These models provide new examples relevant to the discussion of how theories should be formulated so as to describe the same physics in all spacetimes. △ Less

Submitted 9 May, 2014; v1 submitted 27 March, 2014; originally announced March 2014.

Comments: 27pp v3: Some comments added; minor corrections and typos fixed

Journal ref: Annales Henri Poincaré 17 (2016) 401-436

Enumerating Permutations by their Run Structure

Authors: Christopher J. Fewster, Daniel Siemssen

Abstract: Motivated by a problem in quantum field theory, we study the up and down structure of circular and linear permutations. In particular, we count the length of the (alternating) runs of permutations by representing them as monomials and find that they can always be decomposed into so-called `atomic' permutations introduced in this work. This decomposition allows us to enumerate the (circular) permut… ▽ More Motivated by a problem in quantum field theory, we study the up and down structure of circular and linear permutations. In particular, we count the length of the (alternating) runs of permutations by representing them as monomials and find that they can always be decomposed into so-called `atomic' permutations introduced in this work. This decomposition allows us to enumerate the (circular) permutations of a subset of the natural numbers by the length of their runs. Furthermore, we rederive, in an elementary way and using the methods developed here, a result due to Kitaev on the enumeration of valleys. △ Less

Submitted 30 October, 2014; v1 submitted 7 March, 2014; originally announced March 2014.

Comments: 15 pages, presentation improved; compatible with published version

MSC Class: 05A05; 05A15

Journal ref: Elect. J. Comb. 21(4) (2014), P4.18

Quantum fields in curved space-time, semiclassical gravity, quantum gravity phenomenology, and analogue models: Report on session D4 at GR20

Authors: Christopher J Fewster, Stefano Liberati

Abstract: The talks given in parallel session D4 at the 20th International Conference on General Relativity and Gravitation (Warsaw 2013) are summarized. The talks given in parallel session D4 at the 20th International Conference on General Relativity and Gravitation (Warsaw 2013) are summarized. △ Less

Submitted 14 February, 2014; originally announced February 2014.

Comments: 15pp. To appear in the GR20 Proceedings issue of General Relativity and Gravitation

Journal ref: Gen Relativ Gravit (2014) 46: 1707

Locally covariant quantum field theory with external sources

Authors: Christopher J. Fewster, Alexander Schenkel

Abstract: We provide a detailed analysis of the classical and quantized theory of a multiplet of inhomogeneous Klein-Gordon fields, which couple to the spacetime metric and also to an external source term; thus the solutions form an affine space. Following the formulation of affine field theories in terms of presymplectic vector spaces as proposed in [Annales Henri Poincare 15, 171 (2014)], we determine the… ▽ More We provide a detailed analysis of the classical and quantized theory of a multiplet of inhomogeneous Klein-Gordon fields, which couple to the spacetime metric and also to an external source term; thus the solutions form an affine space. Following the formulation of affine field theories in terms of presymplectic vector spaces as proposed in [Annales Henri Poincare 15, 171 (2014)], we determine the relative Cauchy evolution induced by metric as well as source term perturbations and compute the automorphism group of natural isomorphisms of the presymplectic vector space functor. Two pathological features of this formulation are revealed: the automorphism group contains elements that cannot be interpreted as global gauge transformations of the theory; moreover, the presymplectic formulation does not respect a natural requirement on composition of subsystems. We therefore propose a systematic strategy to improve the original description of affine field theories at the classical and quantized level, first passing to a Poisson algebra description in the classical case. The idea is to consider state spaces on the classical and quantum algebras suggested by the physics of the theory (in the classical case, we use the affine solution space). The state spaces are not separating for the algebras, indicating a redundancy in the description. Removing this redundancy by a quotient, a functorial theory is obtained that is free of the above mentioned pathologies. These techniques are applicable to general affine field theories and Abelian gauge theories. The resulting quantized theory is shown to be dynamically local. △ Less

Submitted 18 September, 2014; v1 submitted 11 February, 2014; originally announced February 2014.

Comments: v2: 42 pages; Appendix C on deformation quantization and references added. v3: 47 pages; compatible with version to appear in Annales Henri Poincare

Report number: BUW-IMACM 14/05 MSC Class: 81T20; 81T05

Journal ref: Annales Henri Poincare 16, 2303-2365 (2015)

The Necessity of the Hadamard Condition

Authors: Christopher J Fewster, Rainer Verch

Abstract: Hadamard states are generally considered as the physical states for linear quantized fields on curved spacetimes, for several good reasons. Here, we provide a new motivation for the Hadamard condition: for "ultrastatic slab spacetimes" with compact Cauchy surface, we show that the Wick squares of all time derivatives of the quantized Klein-Gordon field have finite fluctuations only if the Wick-ord… ▽ More Hadamard states are generally considered as the physical states for linear quantized fields on curved spacetimes, for several good reasons. Here, we provide a new motivation for the Hadamard condition: for "ultrastatic slab spacetimes" with compact Cauchy surface, we show that the Wick squares of all time derivatives of the quantized Klein-Gordon field have finite fluctuations only if the Wick-ordering is defined with respect to a Hadamard state. This provides a converse to an important result of Brunetti and Fredenhagen. The recently proposed "S-J (Sorkin-Johnston) states" are shown, generically, to give infinite fluctuations for the Wick square of the time derivative of the field, further limiting their utility as reasonable states. Motivated by the S-J construction, we also study the general question of extending states that are pure (or given by density matrices relative to a pure state) on a double-cone region of Minkowski space. We prove a result for general quantum field theories showing that such states cannot be extended to any larger double-cone without encountering singular behaviour at the spacelike boundary of the inner region. In the context of the Klein-Gordon field this shows that even if an S-J state is Hadamard within the double cone, this must fail at the boundary. △ Less

Submitted 8 August, 2013; v1 submitted 19 July, 2013; originally announced July 2013.

Comments: v2 24pp typos fixed, references added

Journal ref: Class. Quantum Grav. 30 (2013) 235027

Quantum Energy Inequality for the Massive Ising Model

Authors: Henning Bostelmann, Daniela Cadamuro, Christopher J. Fewster

Abstract: A Quantum Energy Inequality (QEI) is derived for the massive Ising model, giving a state-independent lower bound on suitable averages of the energy density; the first QEI to be established for an interacting quantum field theory with nontrivial S-matrix. It is shown that the Ising model has one-particle states with locally negative energy densities, and that the energy density operator is not addi… ▽ More A Quantum Energy Inequality (QEI) is derived for the massive Ising model, giving a state-independent lower bound on suitable averages of the energy density; the first QEI to be established for an interacting quantum field theory with nontrivial S-matrix. It is shown that the Ising model has one-particle states with locally negative energy densities, and that the energy density operator is not additive with respect to combination of one-particle states into multi-particle configurations. △ Less

Submitted 12 August, 2015; v1 submitted 29 April, 2013; originally announced April 2013.

Comments: Slightly extended version, as published in Phys. Rev. D; 6 pages, 2 figures

MSC Class: 81T40

Journal ref: Phys. Rev. D 88, 025019 (2013)

Lectures on quantum energy inequalities

Authors: Christopher J. Fewster

Abstract: Quantum field theory violates all the classical energy conditions of general relativity. Nonetheless, it turns out that quantum field theories satisfy remnants of the classical energy conditions, known as Quantum Energy Inequalities (QEIs), that have been developed by various authors since the original pioneering work of Ford in 1978. These notes provide an introduction to QEIs and also to some of… ▽ More Quantum field theory violates all the classical energy conditions of general relativity. Nonetheless, it turns out that quantum field theories satisfy remnants of the classical energy conditions, known as Quantum Energy Inequalities (QEIs), that have been developed by various authors since the original pioneering work of Ford in 1978. These notes provide an introduction to QEIs and also to some of the techniques of quantum field theory in curved spacetime (particularly, the use of microlocal analysis together with the algebraic formulation of QFT) that enable rigorous and general QEIs to be derived. Specific examples are computed for the free scalar field and their consequences are discussed. QEIs are also derived for the class of unitary, positive energy conformal field theories in two spacetime dimensions. In that setting it is also possible to determine the probability distribution for individual measurements of certain smearings of the stress-energy tensor in the vacuum state. △ Less

Submitted 27 August, 2012; originally announced August 2012.

Comments: 50pp, Lectures given at the Albert Einstein Institute, Golm

On a Recent Construction of "Vacuum-like" Quantum Field States in Curved Spacetime

Authors: Christopher J. Fewster, Rainer Verch

Abstract: Afshordi, Aslanbeigi and Sorkin have recently proposed a construction of a distinguished "S-J state" for scalar field theory in (bounded regions of) general curved spacetimes. We establish rigorously that the proposal is well-defined on globally hyperbolic spacetimes or spacetime regions that can be embedded as relatively compact subsets of other globally hyperbolic spacetimes, and also show that,… ▽ More Afshordi, Aslanbeigi and Sorkin have recently proposed a construction of a distinguished "S-J state" for scalar field theory in (bounded regions of) general curved spacetimes. We establish rigorously that the proposal is well-defined on globally hyperbolic spacetimes or spacetime regions that can be embedded as relatively compact subsets of other globally hyperbolic spacetimes, and also show that, whenever the proposal is well-defined, it yields a pure quasifree state. However, by explicitly considering portions of ultrastatic spacetimes, we show that the S-J state is not in general a Hadamard state. In the specific case where the Cauchy surface is a round 3-sphere, we prove that the representation induced by the S-J state is generally not unitarily equivalent to that of a Hadamard state, and indeed that the representations induced by S-J states on nested regions of the ultrastatic spacetime also fail to be unitarily equivalent in general. The implications of these results are discussed. △ Less

Submitted 31 August, 2012; v1 submitted 7 June, 2012; originally announced June 2012.

Comments: 25pp, LaTeX. v2 References added, typos corrected. To appear in Class Quantum Gravity

Journal ref: Class. Quantum Grav. 29 (2012) 205017

Probability distributions for quantum stress tensors in four dimensions

Authors: Christopher J. Fewster, L. H. Ford, Thomas A. Roman

Abstract: We treat the probability distributions for quadratic quantum fields, averaged with a Lorentzian test function, in four-dimensional Minkowski vacuum. These distributions share some properties with previous results in two-dimensional spacetime. Specifically, there is a lower bound at a finite negative value, but no upper bound. Thus arbitrarily large positive energy density fluctuations are possible… ▽ More We treat the probability distributions for quadratic quantum fields, averaged with a Lorentzian test function, in four-dimensional Minkowski vacuum. These distributions share some properties with previous results in two-dimensional spacetime. Specifically, there is a lower bound at a finite negative value, but no upper bound. Thus arbitrarily large positive energy density fluctuations are possible. We are not able to give closed form expressions for the probability distribution, but rather use calculations of a finite number of moments to estimate the lower bounds, the asymptotic forms for large positive argument, and possible fits to the intermediate region. The first 65 moments are used for these purposes. All of our results are subject to the caveat that these distributions are not uniquely determined by the moments. However, we also give bounds on the cumulative distribution function that are valid for any distribution fitting these moments.We apply the asymptotic form of the electromagnetic energy density distribution to estimate the nucleation rates of black holes and of Boltzmann brains. △ Less

Submitted 16 April, 2012; originally announced April 2012.

Comments: 26 pages, 2 figures

Journal ref: Phys. Rev. D 85, 125038 (2012)

Quantization of linearized gravity in cosmological vacuum spacetimes

Authors: Christopher J. Fewster, David S. Hunt

Abstract: Linearized Einstein gravity (with possibly nonzero cosmological constant) is quantized in the framework of algebraic quantum field theory by analogy with Dimock's treatment of electromagnetism [Rev. Math. Phys. 4 (1992) 223--233]. To achieve this, the classical theory is developed in a full, rigorous and systematic fashion, with particular attention given to the circumstances under which the sympl… ▽ More Linearized Einstein gravity (with possibly nonzero cosmological constant) is quantized in the framework of algebraic quantum field theory by analogy with Dimock's treatment of electromagnetism [Rev. Math. Phys. 4 (1992) 223--233]. To achieve this, the classical theory is developed in a full, rigorous and systematic fashion, with particular attention given to the circumstances under which the symplectic product is weakly non-degenerate and to the related question of whether the space of solutions is separated by the classical observables on which the quantum theory is modelled. △ Less

Submitted 31 January, 2013; v1 submitted 1 March, 2012; originally announced March 2012.

Comments: 41pp, v2&3 typos and errors corrected; references added. v4 Final version to appear in Reviews in Mathematical Physics

Journal ref: Rev. Math. Phys. 25, 1330003 (2013)

Endomorphisms and automorphisms of locally covariant quantum field theories

Authors: Christopher J. Fewster

Abstract: In the framework of locally covariant quantum field theory, a theory is described as a functor from a category of spacetimes to a category of *-algebras. It is proposed that the global gauge group of such a theory can be identified as the group of automorphisms of the defining functor. Consequently, multiplets of fields may be identified at the functorial level. It is shown that locally covariant… ▽ More In the framework of locally covariant quantum field theory, a theory is described as a functor from a category of spacetimes to a category of *-algebras. It is proposed that the global gauge group of such a theory can be identified as the group of automorphisms of the defining functor. Consequently, multiplets of fields may be identified at the functorial level. It is shown that locally covariant theories that obey standard assumptions in Minkowski space, including energy compactness, have no proper endomorphisms (i.e., all endomorphisms are automorphisms) and have a compact automorphism group. Further, it is shown how the endomorphisms and automorphisms of a locally covariant theory may, in principle, be classified in any single spacetime. As an example, the endomorphisms and automorphisms of a system of finitely many free scalar fields are completely classified. △ Less

Submitted 29 May, 2013; v1 submitted 16 January, 2012; originally announced January 2012.

Comments: v2 45pp, expanded to include additional results; presentation improved and an error corrected. To appear in Rev Math Phys

Journal ref: Rev. Math. Phys., 25, 1350008 (2013)

Dynamical locality of the free scalar field

Authors: Christopher J. Fewster, Rainer Verch

Abstract: Dynamical locality is a condition on a locally covariant physical theory, asserting that kinematic and dynamical notions of local physics agree. This condition was introduced in [arXiv:1106.4785], where it was shown to be closely related to the question of what it means for a theory to describe the same physics on different spacetimes. In this paper, we consider in detail the example of the free m… ▽ More Dynamical locality is a condition on a locally covariant physical theory, asserting that kinematic and dynamical notions of local physics agree. This condition was introduced in [arXiv:1106.4785], where it was shown to be closely related to the question of what it means for a theory to describe the same physics on different spacetimes. In this paper, we consider in detail the example of the free minimally coupled Klein--Gordon field, both as a classical and quantum theory (using both the Weyl algebra and a smeared field approach). It is shown that the massive theory obeys dynamical locality, both classically and in quantum field theory, in all spacetime dimensions $n\ge 2$ and allowing for spacetimes with finitely many connected components. In contrast, the massless theory is shown to violate dynamical locality in any spacetime dimension, in both classical and quantum theory, owing to a rigid gauge symmetry. Taking this into account (equivalently, working with the massless current) dynamical locality is restored in all dimensions $n\ge 2$ on connected spacetimes, and in all dimensions $n\ge 3$ if disconnected spacetimes are permitted. The results on the quantized theories are obtained using general results giving conditions under which dynamically local classical symplectic theories have dynamically local quantizations. △ Less

Submitted 8 May, 2012; v1 submitted 30 September, 2011; originally announced September 2011.

Comments: 34pp, LaTeX2e. Version to appear in Annales Henri Poincare

Report number: ESI Preprint 2336

Journal ref: Annales Henri Poincaré 13 (2012) 1675-1709

Dynamical locality and covariance: What makes a physical theory the same in all spacetimes?

Authors: Christopher J. Fewster, Rainer Verch

Abstract: The question of what it means for a theory to describe the same physics on all spacetimes (SPASs) is discussed. As there may be many answers to this question, we isolate a necessary condition, the SPASs property, that should be satisfied by any reasonable notion of SPASs. This requires that if two theories conform to a common notion of SPASs, with one a subtheory of the other, and are isomorphic i… ▽ More The question of what it means for a theory to describe the same physics on all spacetimes (SPASs) is discussed. As there may be many answers to this question, we isolate a necessary condition, the SPASs property, that should be satisfied by any reasonable notion of SPASs. This requires that if two theories conform to a common notion of SPASs, with one a subtheory of the other, and are isomorphic in some particular spacetime, then they should be isomorphic in all globally hyperbolic spacetimes (of given dimension). The SPASs property is formulated in a functorial setting broad enough to describe general physical theories describing processes in spacetime, subject to very minimal assumptions. By explicit constructions, the full class of locally covariant theories is shown not to satisfy the SPASs property, establishing that there is no notion of SPASs encompassing all such theories. It is also shown that all locally covariant theories obeying the time-slice property possess two local substructures, one kinematical (obtained directly from the functorial structure) and the other dynamical (obtained from a natural form of dynamics, termed relative Cauchy evolution). The covariance properties of relative Cauchy evolution and the kinematic and dynamical substructures are analyzed in detail. Calling local covariant theories dynamically local if their kinematical and dynamical local substructures coincide, it is shown that the class of dynamically local theories fulfills the SPASs property. As an application in quantum field theory, we give a model independent proof of the impossibility of making a covariant choice of preferred state in all spacetimes, for theories obeying dynamical locality together with typical assumptions. △ Less

Submitted 8 May, 2012; v1 submitted 23 June, 2011; originally announced June 2011.

Comments: 60 pages, LaTeX. Version to appear in Annales Henri Poincare

Journal ref: Annales Henri Poincaré 13 (2012) 1613-1674