54 research outputs found
Quantum Inequalities for the Electromagnetic Field
A quantum inequality for the quantized electromagnetic field is developed for
observers in static curved spacetimes. The quantum inequality derived is a
generalized expression given by a mode function expansion of the four-vector
potential, and the sampling function used to weight the energy integrals is
left arbitrary up to the constraints that it be a positive, continuous function
of unit area and that it decays at infinity. Examples of the quantum inequality
are developed for Minkowski spacetime, Rindler spacetime and the Einstein
closed universe.Comment: 19 pages, 1 table and 1 figure. RevTex styl
Scalar Field Quantum Inequalities in Static Spacetimes
We discuss quantum inequalities for minimally coupled scalar fields in static
spacetimes. These are inequalities which place limits on the magnitude and
duration of negative energy densities. We derive a general expression for the
quantum inequality for a static observer in terms of a Euclidean two-point
function. In a short sampling time limit, the quantum inequality can be written
as the flat space form plus subdominant correction terms dependent upon the
geometric properties of the spacetime. This supports the use of flat space
quantum inequalities to constrain negative energy effects in curved spacetime.
Using the exact Euclidean two-point function method, we develop the quantum
inequalities for perfectly reflecting planar mirrors in flat spacetime. We then
look at the quantum inequalities in static de~Sitter spacetime, Rindler
spacetime and two- and four-dimensional black holes. In the case of a
four-dimensional Schwarzschild black hole, explicit forms of the inequality are
found for static observers near the horizon and at large distances. It is show
that there is a quantum averaged weak energy condition (QAWEC), which states
that the energy density averaged over the entire worldline of a static observer
is bounded below by the vacuum energy of the spacetime. In particular, for an
observer at a fixed radial distance away from a black hole, the QAWEC says that
the averaged energy density can never be less than the Boulware vacuum energy
density.Comment: 27 pages, 2 Encapsulated Postscript figures, uses epsf.tex, typeset
in RevTe
Quantum Inequalities and Singular Energy Densities
There has been much recent work on quantum inequalities to constrain negative
energy. These are uncertainty principle-type restrictions on the magnitude and
duration of negative energy densities or fluxes. We consider several examples
of apparent failures of the quantum inequalities, which involve passage of an
observer through regions where the negative energy density becomes singular. We
argue that this type of situation requires one to formulate quantum
inequalities using sampling functions with compact support. We discuss such
inequalities, and argue that they remain valid even in the presence of singular
energy densities.Comment: 18 pages, LaTex, 2 figures, uses eps
Vacuum Polarization and Energy Conditions at a Planar Frequency Dependent Dielectric to Vacuum Interface
The form of the vacuum stress-tensor for the quantized scalar field at a
dielectric to vacuum interface is studied. The dielectric is modeled to have an
index of refraction that varies with frequency. We find that the stress-tensor
components, derived from the mode function expansion of the Wightman function,
are naturally regularized by the reflection and transmission coefficients of
the mode at the boundary. Additionally, the divergence of the vacuum energy
associated with a perfectly reflecting mirror is found to disappear for the
dielectric mirror at the expense of introducing a new energy density near the
surface which has the opposite sign. Thus the weak energy condition is always
violated in some region of the spacetime. For the dielectric mirror, the mean
vacuum energy density per unit plate area in a constant time hypersurface is
always found to be positive (or zero) and the averaged weak energy condition is
proven to hold for all observers with non-zero velocity along the normal
direction to the boundary. Both results are found to be generic features of the
vacuum stress-tensor and not necessarily dependent of the frequency dependence
of the dielectric.Comment: 16 pages, 4 figures, Revtex style Minor typographic corrections to
equations and tex
Massive Schwinger model and its confining aspects on curved space-time
Using a covariant method to regularize the composite operators, we obtain the
bosonized action of the massive Schwinger model on a classical curved
background. Using the solution of the bosonic effective action, the energy of
two static external charges with finite and large distance separation on a
static curved space-time is obtained. The confining behavior of this model is
also explicitly discussed.Comment: A disscussion about the infrared regularization and also two
references are added. Accepted for publication in Phys. Rev. D (2001
An Improved Implementation and Abstract Interface for Hybrid
Hybrid is a formal theory implemented in Isabelle/HOL that provides an
interface for representing and reasoning about object languages using
higher-order abstract syntax (HOAS). This interface is built around an HOAS
variable-binding operator that is constructed definitionally from a de Bruijn
index representation. In this paper we make a variety of improvements to
Hybrid, culminating in an abstract interface that on one hand makes Hybrid a
more mathematically satisfactory theory, and on the other hand has important
practical benefits. We start with a modification of Hybrid's type of terms that
better hides its implementation in terms of de Bruijn indices, by excluding at
the type level terms with dangling indices. We present an improved set of
definitions, and a series of new lemmas that provide a complete
characterization of Hybrid's primitives in terms of properties stated at the
HOAS level. Benefits of this new package include a new proof of adequacy and
improvements to reasoning about object logics. Such proofs are carried out at
the higher level with no involvement of the lower level de Bruijn syntax.Comment: In Proceedings LFMTP 2011, arXiv:1110.668
Quantum Inequalities on the Energy Density in Static Robertson-Walker Spacetimes
Quantum inequality restrictions on the stress-energy tensor for negative
energy are developed for three and four-dimensional static spacetimes. We
derive a general inequality in terms of a sum of mode functions which
constrains the magnitude and duration of negative energy seen by an observer at
rest in a static spacetime. This inequality is evaluated explicitly for a
minimally coupled scalar field in three and four-dimensional static
Robertson-Walker universes. In the limit of vanishing curvature, the flat
spacetime inequalities are recovered. More generally, these inequalities
contain the effects of spacetime curvature. In the limit of short sampling
times, they take the flat space form plus subdominant curvature-dependent
corrections.Comment: 18 pages, plain LATEX, with 3 figures, uses eps
Quantization of the Maxwell field in curved spacetimes of arbitrary dimension
We quantize the massless p-form field that obeys the generalized Maxwell
field equations in curved spacetimes of dimension n > 1. We begin by showing
that the classical Cauchy problem of the generalized Maxwell field is well
posed and that the field possess the expected gauge invariance. Then the
classical phase space is developed in terms of gauge equivalent classes, first
in terms of the Cauchy data and then reformulated in terms of Maxwell
solutions. The latter is employed to quantize the field in the framework of
Dimock. Finally, the resulting algebra of observables is shown to satisfy the
wave equation with the usual canonical commutation relations.Comment: 17 pages, 1 figure, typset in RevTeX4. This version contains
substantial revisions in the discussion of the Cauchy problem for the
generalized Maxwell field equatio
- …