arXiv Science⌕ Search

arXiv subjects

Ko Sanders

Publications and source records attributed to Ko Sanders.

At least 19 recordsLinked to original sources
arXiv2026

Bounds on relative modular Hamiltonians in general QFT

The relative entropy between two states is a key concept in quantum information theory and quantum field theory. In the setting of quantum field theory, its computation requires the handling of relative modular Hamiltonians, which are typically very difficult to compute explicitly. In this paper, we exploit locality properties of general algebraic QFTs to estimate relative modular Hamiltonians between two states, $\omega$ and $\tilde{\omega}$, and hence also their relative entropy, in terms of the modular Hamiltonian of a reference state $\hat{\omega}$, which might be better understood. For suitable pairs of states we can estimate the relative modular Hamiltonian for the algebra of a region $V_2$ from above, resp. from below, in terms of the modular Hamiltonian of $\hat{\omega}$ on a larger region $V_3$, resp. a smaller region $V_1$. Pairs of states and choices of regions which are susceptible to our scheme are related to the presence of superluminal signalling in the sense of Sorkin's paradox. If $\omega=\hat{\omega}$, then there exists a unitary that maps $\omega$ to $\tilde{\omega}$ on $V_3$ and that does not allow superluminal signalling from the spacelike complement $V_3'$ to $V_2$, resp. from $V_1$ to $V_2'$, if our upper, resp. lower, bound applies. To investigate the strength of our estimates we consider coherent states for CCR systems, focussing particularly on free scalar fields. Our estimates apply even if the relative modular Hamiltonian cannot be computed exactly. For sufficiently regular excitations we recover an exact result by squeezing. Our method thus yields an independent proof for the relative entropy formula in cases where the relative modular Hamiltonian cannot be computed exactly. For massless fields we establish the analogous result also for double cone regions. These results indicate that our estimates do not lose too much information.

math-ph↗
arXiv2025

Quasi-equivalence of Gaussian states and energy estimates for functions of modular Hamiltonians

To compare two Gaussian states of the Weyl-CCR algebra of a free scalar QFT we study three closely related perspectives: (i) quasi-equivalence of the GNS-representations, (ii) differences of the total energy (on some Cauchy surface), and (iii) differences between functions of the modular Hamiltonians. (For perspective (ii) we will only consider real linear free scalar quantum fields on ultrastatic spacetimes.) These three perspectives are known to be related qualitatively, due to work of Araki and Yamagami, Verch and Longo. Our aim is to investigate quantitative relations, including in particular estimates of differences between functions of modular Hamiltonians in terms of energy differences.

math-ph↗
arXiv2023

Stress tensor bounds on quantum fields

The singular behaviour of quantum fields in Minkowski space can often be bounded by polynomials of the Hamiltonian $H$. These so-called $H$-bounds and related techniques allow us to handle pointwise quantum fields and their operator product expansions in a mathematically rigorous way. A drawback of this approach, however, is that the Hamiltonian is a global rather than a local operator and, moreover, it is not defined in generic curved spacetimes. In order to overcome this drawback we investigate the possibility of replacing $H$ by a component of the stress tensor, essentially an energy density, to obtain analogous bounds. For definiteness we consider a massive, minimally coupled free Hermitean scalar field. Using novel results on distributions of positive type we show that in any globally hyperbolic Lorentzian manifold $M$ for any $f,F\in C_0^{\infty}(M)$ with $F\equiv 1$ on $\mathrm{supp}(f)$ and any timelike smooth vector field $t^{\mu}$ we can find constants $c,C>0$ such that $\omega(\phi(f)^*\phi(f))\le C(\omega(T^{\mathrm{ren}}_{\mu\nu}(t^{\mu}t^{\nu}F^2))+c)$ for all (not necessarily quasi-free) Hadamard states $\omega$. This is essentially a new type of quantum energy inequality that entails a stress tensor bound on the smeared quantum field. In $1+1$ dimensions we also establish a bound on the pointwise quantum field, namely $|\omega(\phi(x))|\le C(\omega(T^{\mathrm{ren}}_{\mu\nu}(t^{\mu}t^{\nu}F^2))+c)$, where $F\equiv 1$ near $x$.

math-ph↗
arXiv2023

On separable states in relativistic quantum field theory

We initiate an investigation into separable, but physically reasonable, states in relativistic quantum field theory. In particular we will consider the minimum amount of energy density needed to ensure the existence of separable states between given spacelike separated regions. This is a first step towards improving our understanding of the balance between entanglement entropy and energy (density), which is of great physical interest in its own right and also in the context of black hole thermodynamics. We will focus concretely on a linear scalar quantum field in a topologically trivial, four-dimensional globally hyperbolic spacetime. For rather general spacelike separated regions $A$ and $B$ we prove the existence of a separable quasi-free Hadamard state. In Minkowski spacetime we provide a tighter construction for massive free scalar fields: given any $R>0$ we construct a quasi-free Hadamard state which is stationary, homogeneous, spatially isotropic and separable between any two regions in an inertial time slice $t=\mathrm{const.}$ all of whose points have a distance $>R$. We also show that the normal ordered energy density of these states can be made $\le 10^{31}\frac{m^4}{(mR)^8}e^{-\frac14mR}$ (in Planck units). To achieve these results we use a rather explicit construction of test-functions $f$ of positive type for which we can get sufficient control on lower bounds on $\hat{f}$.

gr-qc↗
arXiv2020

Static symmetric solutions of the semi-classical Einstein-Klein-Gordon system

We consider solutions of the semi-classical Einstein-Klein-Gordon system with a cosmological constant $\Lambda\in\mathbb{R}$, where the spacetime is given by Einstein's static metric on $\mathbb{R}\times\mathbb{S}^3$ with a round sphere of radius $a>0$ and the state of the scalar quantum field has a two-point distribution $\omega_2$ that respects all the symmetries of the metric. We assume that the mass $m\ge0$ and scalar curvature coupling $\xi\in\mathbb{R}$ of the field satisfy $m^2+\xi R>0$, which entails the existence of a ground state. We do not require states to be Hadamard or quasi-free, but the quasi-free solutions are characterised in full detail. The set of solutions of the semi-classical Einstein-Klein-Gordon system depends on the choice of the parameters $(a,\Lambda,m,\xi)$ and on the renormalisation constants in the renormalised stress tensor of the scalar field. We show that the set of solutions is either (i) the empty set, or (ii) the singleton set containing only the ground state, or (iii) a set with infinitely many elements. We characterise the ranges of the parameters and renormalisation constants where each of these alternatives occur. We also show that all quasi-free solutions are given by density matrices in the ground state representation and we show that in cases (ii) and (iii) there is a unique quasi-free solution which minimises the von Neumann entropy. When $m=0$ this unique state is a $\beta$-KMS state. We argue that all these conclusions remain valid in the reduced order formulation of the semi-classical Einstein equation.

math-ph↗
arXiv2020

Energy conditions in general relativity and quantum field theory

This review summarizes the current status of the energy conditions in general relativity and quantum field theory. We provide a historical review and a summary of technical results and applications, complemented with a few new derivations and discussions. We pay special attention to the role of the equations of motion and to the relation between classical and quantum theories. Pointwise energy conditions were first introduced as physically reasonable restrictions on matter in the context of general relativity. They aim to express e.g. the positivity of mass or the attractiveness of gravity. Perhaps more importantly, they have been used as assumptions in mathematical relativity to prove singularity theorems and the non-existence of wormholes and similar exotic phenomena. However, the delicate balance between conceptual simplicity, general validity and strong results has faced serious challenges, because all pointwise energy conditions are systematically violated by quantum fields and also by some rather simple classical fields. In response to these challenges, weaker statements were introduced, such as quantum energy inequalities and averaged energy conditions. These have a larger range of validity and may still suffice to prove at least some of the earlier results. One of these conditions, the achronal averaged null energy condition, has recently received increased attention. It is expected to be a universal property of the dynamics of all gravitating physical matter, even in the context of semiclassical or quantum gravity.

gr-qc↗
arXiv2018

Local incompatibility of the microlocal spectrum condition with the KMS property along spacelike directions in quantum field theory on curved spacetime

States of a generic quantum field theory on a curved spacetime are considered which satisfy the KMS condition with respect to an evolution associated with a complete (Killing) vector field. It is shown that at any point where the vector field is spacelike, such states cannot satisfy a certain microlocal condition which is weaker than the microlocal spectrum condition in the case of asymptotically free fields.

math-ph↗
arXiv2017

Relative entanglement entropy for widely separated regions in curved spacetime

We give an upper bound of the relative entanglement entropy of the ground state of a massive Dirac-Majorana field across two widely separated regions $A$ and $B$ in a static slice of an ultrastatic Lorentzian spacetime. Our bound decays exponentially in $dist (A, B)$, at a rate set by the Compton wavelength and the spatial scalar curvature. The physical interpretation our result is that, on a manifold with positive spatial scalar curvature, one cannot use the entanglement of the vacuum state to teleport one classical bit from $A$ to $B$ if their distance is of the order of the maximum of the curvature radius and the Compton wave length or greater.

math-ph↗
arXiv2017

The Proca Field in Curved Spacetimes and its Zero Mass Limit

We investigate the classical and quantum Proca field (a massive vector potential) of mass $m>0$ in arbitrary globally hyperbolic spacetimes and in the presence of external sources. We motivate a notion of continuity in the mass for families of observables $\left\{O_m\right\}_{m>0}$ and we investigate the massless limit $m\to0$. Our limiting procedure is local and covariant and it does not require a choice of reference state. We find that the limit exists only on a subset of observables, which automatically implements a gauge equivalence on the massless vector potential. For topologically non-trivial spacetimes, one may consider several inequivalent choices of gauge equivalence and our procedure selects the one which is expected from considerations involving the Aharonov-Bohm effect and Gauss' law. We note that the limiting theory does not automatically reproduce Maxwell's equation, but it can be imposed consistently when the external current is conserved. To recover the correct Maxwell dynamics from the limiting procedure would require an additional control on limits of states. We illustrate this only in the classical case, where the dynamics is recovered when the Lorenz constraint remains well behaved in the limit.

math-ph↗
arXiv2017

Entanglement measures and their properties in quantum field theory

An entanglement measure for a bipartite quantum system is a state functional that vanishes on separable states and that does not increase under separable (local) operations. It is well-known that for pure states, essentially all entanglement measures are equal to the v. Neumann entropy of the reduced state, but for mixed states, this uniqueness is lost. In quantum field theory, bipartite systems are associated with causally disjoint regions. There are no separable (normal) states to begin with when the regions touch each other, so one must leave a finite "safety-corridor". Due to this corridor, the normal states of bipartite systems are necessarily mixed, and the v. Neumann entropy is not a good entanglement measure in the above sense. In this paper, we study various entanglement measures which vanish on separable states, do not increase under separable (local) operations, and have other desirable properties. In particular, we study the relative entanglement entropy, defined as the minimum relative entropy between the given state and an arbitrary separable state. We establish rigorous upper and lower bounds in various quantum field theoretic (QFT) models, as well as also model-independent ones. The former include free fields on static spacetime manifolds in general dimensions, or integrable models with factorizing $S$-matrix in 1+1 dimensions. The latter include bounds on ground states in general conformal QFTs, charged states (including charges with braid-group statistics) or thermal states in theories satisfying a "nuclearity condition". Typically, the bounds show a divergent behavior when the systems get close to each other--sometimes of the form of a generalized "area law"--and decay when the systems are far apart. Our main technical tools are of operator algebraic nature.

quant-ph↗
arXiv2016

Local vs. global temperature under a positive curvature condition

For a massless free scalar field in a globally hyperbolic space-time we compare the global temperature T, defined for the KMS states $\omega^T$, with the local temperature $T_{\omega}(x)$ introduced by Buchholz and Schlemmer. We prove the following claims: (1) Whenever $T_{\omega^T}(x)$ is defined, it is a continuous, monotonically increasing function of T at every point x. (2) $T_{\omega}(x)$ is defined when the space-time is ultra-static with compact Cauchy surface and non-trivial scalar curvature $R\ge 0$, $\omega$ is stationary and a few other assumptions are satisfied. Our proof of (2) relies on the positive mass theorem. We discuss the necessity of its assumptions, providing counter-examples in an ultra-static space-time with non-compact Cauchy surface and R<0 somewhere. We interpret the result in terms of a violation of the weak energy condition in the background space-time.

math-ph↗
arXiv2015

Modular nuclearity: A generally covariant perspective

A quantum field theory in its algebraic description may admit many irregular states. So far, selection criteria to distinguish physically reasonable states have been restricted to free fields (Hadamard condition) or to flat spacetimes (e.g. Buchholz-Wichmann nuclearity). We propose instead to use a modular l^p-condition, which is an extension of a strengthened modular nuclearity condition to generally covariant theories. The modular nuclearity condition was previously introduced in Minkowski space, where it played an important role in constructive two dimensional algebraic QFT's. We show that our generally covariant extension of this condition makes sense for a vast range of theories, and that it behaves well under causal propagation and taking mixtures. In addition we show that our modular l^p-condition holds for every quasi-free Hadamard state of a free scalar quantum field (regardless of mass or scalar curvature coupling). However, our condition is not equivalent to the Hadamard condition.

math-ph↗
arXiv2013

On the construction of Hartle-Hawking-Israel states across a static bifurcate Killing horizon

We consider a linear scalar quantum field propagating in a space-time with a static bifurcate Killing horizon and a wedge reflection. We prove the existence of a Hadamard state which is pure, quasi-free, invariant under the Killing flow and which restricts to a double KMS state at the inverse Hawking temperature on the union of the exterior wedge regions. The existence of such a state was first conjectured by Hartle and Hawking (1976) and Israel (1976) for stationary black hole space times. Our result complements a uniqueness result of Kay and Wald (1991), who considered a general bifurcate Killing horizon and proved that a certain (large) subalgebra of the free field algebra admits at most one Hadamard state which is invariant under the Killing flow. In the presence of a wedge reflection this state reduces to a pure, quasi-free KMS state on the smaller subalgebra associated to one of the exterior wedge regions. Our result establishes the existence of such a state on the full algebra in the static case. Our proof follows the arguments of Sewell (1982) and Jacobson (1994), exploiting a Wick rotation in the Killing time coordinate to construct a corresponding Euclidean theory. Because the Killing time coordinate is ill-defined on the bifurcation surface we systematically replace it by a Gaussian normal coordinate. A crucial part of our proof is to establish that the Euclidean ground state satisfies the necessary analogs of analyticity and reflection positivity with respect to this coordinate.

gr-qc↗
arXiv2012

Electromagnetism, local covariance, the Aharonov-Bohm effect and Gauss' law

We quantise the massless vector potential A of electromagnetism in the presence of a classical electromagnetic (background) current, j, in a generally covariant way on arbitrary globally hyperbolic spacetimes M. By carefully following general principles and procedures we clarify a number of topological issues. First we combine the interpretation of A as a connection on a principal U(1)-bundle with the perspective of general covariance to deduce a physical gauge equivalence relation, which is intimately related to the Aharonov-Bohm effect. By Peierls' method we subsequently find a Poisson bracket on the space of local, affine observables of the theory. This Poisson bracket is in general degenerate, leading to a quantum theory with non-local behaviour. We show that this non-local behaviour can be fully explained in terms of Gauss' law. Thus our analysis establishes a relationship, via the Poisson bracket, between the Aharonov-Bohm effect and Gauss' law (a relationship which seems to have gone unnoticed so far). Furthermore, we find a formula for the space of electric monopole charges in terms of the topology of the underlying spacetime. Because it costs little extra effort, we emphasise the cohomological perspective and derive our results for general p-form fields A (p < dim(M)), modulo exact fields. In conclusion we note that the theory is not locally covariant, in the sense of Brunetti-Fredenhagen-Verch. It is not possible to obtain such a theory by dividing out the centre of the algebras, nor is it physically desirable to do so. Instead we argue that electromagnetism forces us to weaken the axioms of the framework of local covariance, because the failure of locality is physically well-understood and should be accommodated.

math-ph↗
arXiv2012

A note on spacelike and timelike compactness

When studying the causal propagation of a field in a globally hyperbolic spacetime M, one often wants to express the physical intuition that it has compact support in spacelike directions, or that its support is a spacelike compact set. We compare a number of logically distinct formulations of this idea, and of the complementary idea of timelike compactness, and we clarify their interrelations. E.g., a closed subset A of M has a compact intersection with all Cauchy surfaces if and only if A is contained in J(K) for some compact set K. (However, it does not suffice to consider only those Cauchy surfaces that partake in a given foliation of M.) Similarly, a closed subset A of M is contained in a region between two Cauchy surfaces if and only if the intersection of A with J(K) is compact for all compact K. We also treat future and past compact sets in a similar way.

math-ph↗
arXiv2012

Thermal equilibrium states of a linear scalar quantum field in stationary spacetimes

The linear scalar quantum field, propagating in a globally hyperbolic spacetime, is a relatively simple physical model that allows us to study many aspects in explicit detail. In this review we focus on the theory of thermal equilibrium (KMS) states of such a field in a stationary spacetime. Our presentation draws on several existing sources and aims to give a unified exposition. We also take the opportunity to weaken some of the technical assumptions of the earlier literature. In particular, we completely drop any assumptions on the behaviour of the norm and lapse of the Killing field. This is especially important for physical applications to the exterior region of a stationary black hole. Our review includes results on the existence of a unique ground state and of unique quasi-free KMS states, as well as an evaluation of the evidence that motivates the use of the KMS-condition to characterise thermal equilibrium. We especially draw attention to the poorly understood behaviour of the notion of temperature of a quantum field with respect to locality. If the spacetime is standard static (i.e. if it admits a Cauchy surface that is orthogonal to the Killing field) the analysis can be done even more explicitly. For compact Cauchy surfaces we consider Gibbs states and their properties. For general Cauchy surfaces we give a detailed and rigorous justification of the technique of Wick rotation, including the explicit determination of the Killing-time dependence of the quasi-free KMS states.

math-ph↗
arXiv2010

Essential self-adjointness of Wick squares in quasi-free Hadamard representations on curved spacetimes

We investigate whether a second order Wick polynomial T of a free scalar field, including derivatives, is essentially self-adjoint on the natural (Wightman) domain in a quasi-free (i.e. Fock space) Hadamard representation. We restrict our attention to the case where T is smeared with a test-function from a particular class S, namely the class of sums of squares of testfunctions. This class of smearing functions is smaller than the class of all non-negative testfunctions -- a fact which follows from Hilbert's Theorem. Exploiting the microlocal spectrum condition we prove that T is essentially self-adjoint if it is a Wick square (without derivatives). More generally we show that T is essentially self-adjoint if its compression to the one-particle Hilbert space is essentially self-adjoint. For the latter result we use W\"ust's Theorem and an application of Konrady's trick in Fock space. In this more general case we also prove that one has some control over the spectral projections of T, by describing it as the strong graph limit of a sequence of essentially self-adjoint operators.

math-ph↗
arXiv2009

The locally covariant Dirac field

We describe the free Dirac field in a four dimensional spacetime as a locally covariant quantum field theory in the sense of Brunetti, Fredenhagen and Verch, using a representation independent construction. The freedom in the geometric constructions involved can be encoded in terms of the cohomology of the category of spin spacetimes. If we restrict ourselves to the observable algebra the cohomological obstructions vanish and the theory is unique. We establish some basic properties of the theory and discuss the class of Hadamard states, filling some technical gaps in the literature. Finally we show that the relative Cauchy evolution yields commutators with the stress-energy-momentum tensor, as in the scalar field case.

math-ph↗