A Note on Hartle-Hawking Vacua

The purpose of this note is to establish the basic properties--- regularity at the horizon, time independence, and thermality--- of the generalized Hartle-Hawking vacua defined in static spacetimes with bifurcate Killing horizon admitting a regular Euclidean section. These states, for free or interacting fields, are defined by a path integral on half the Euclidean section. The emphasis is on generality and the arguments are simple but formal.Comment: 5 pages, LaTe

Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy

We consider a general, classical theory of gravity with arbitrary matter fields in $n$ dimensions, arising from a diffeomorphism invariant Lagrangian, \bL. We first show that \bL always can be written in a ``manifestly covariant" form. We then show that the symplectic potential current $(n-1)$-form, $\th$, and the symplectic current $(n-1)$-form, \om, for the theory always can be globally defined in a covariant manner. Associated with any infinitesimal diffeomorphism is a Noether current $(n-1)$-form, \bJ, and corresponding Noether charge $(n-2)$-form, \bQ. We derive a general ``decomposition formula" for \bQ. Using this formula for the Noether charge, we prove that the first law of black hole mechanics holds for arbitrary perturbations of a stationary black hole. (For higher derivative theories, previous arguments had established this law only for stationary perturbations.) Finally, we propose a local, geometrical prescription for the entropy, $S_{dyn}$, of a dynamical black hole. This prescription agrees with the Noether charge formula for stationary black holes and their perturbations, and is independent of all ambiguities associated with the choices of \bL, $\th$, and \bQ. However, the issue of whether this dynamical entropy in general obeys a ``second law" of black hole mechanics remains open. In an appendix, we apply some of our results to theories with a nondynamical metric and also briefly develop the theory of stress-energy pseudotensors.Comment: 30 pages, LaTe

Partial and Complete Observables for Hamiltonian Constrained Systems

We will pick up the concepts of partial and complete observables introduced by Rovelli in order to construct Dirac observables in gauge systems. We will generalize these ideas to an arbitrary number of gauge degrees of freedom. Different methods to calculate such Dirac observables are developed. For background independent field theories we will show that partial and complete observables can be related to Kucha\v{r}'s Bubble Time Formalism. Moreover one can define a non-trivial gauge action on the space of complete observables and also state the Poisson brackets of these functions. Additionally we will investigate, whether it is possible to calculate Dirac observables starting with partially invariant partial observables, for instance functions, which are invariant under the spatial diffeomorphism group.Comment: 38 page

Black Hole Entropy without Brick Walls

We present evidence which confirms a suggestion by Susskind and Uglum regarding black hole entropy. Using a Pauli-Villars regulator, we find that 't Hooft's approach to evaluating black hole entropy through a statistical-mechanical counting of states for a scalar field propagating outside the event horizon yields precisely the one-loop renormalization of the standard Bekenstein-Hawking formula, S=\A/(4G). Our calculation also yields a constant contribution to the black hole entropy, a contribution associated with the one-loop renormalization of higher curvature terms in the gravitational action.Comment: 15 pages, plain LaTex minor additions including some references; version accepted for publicatio

Unitarity Restoration in the Presence of Closed Timelike Curves

A proposal is made for a mathematically unambiguous treatment of evolution in the presence of closed timelike curves. In constrast to other proposals for handling the naively nonunitary evolution that is often present in such situations, this proposal is causal, linear in the initial density matrix and preserves probability. It provides a physically reasonable interpretation of invertible nonunitary evolution by redefining the final Hilbert space so that the evolution is unitary or equivalently by removing the nonunitary part of the evolution operator using a polar decomposition.Comment: LaTeX, 17pp, Revisions: Title change, expanded and clarified presentation of original proposal, esp. with regard to Heisenberg picture and remaining in original Hilbert spac

Lodged in the throat: Internal infinities and AdS/CFT

In the context of AdS3/CFT2, we address spacetimes with a certain sort of internal infinity as typified by the extreme BTZ black hole. The internal infinity is a null circle lying at the end of the black hole's infinite throat. We argue that such spacetimes may be described by a product CFT of the form CFT-L * CFT-R, where CFT-R is associated with the asymptotically AdS boundary while CFT-L is associated with the null circle. Our particular calculations analyze the CFT dual of the extreme BTZ black hole in a linear toy model of AdS3/CFT2. Since the BTZ black hole is a quotient of AdS3, the dual CFT state is a corresponding quotient of the CFT vacuum state. This state turns out to live in the aforementioned product CFT. We discuss this result in the context of general issues of AdS/CFT duality and entanglement entropy.Comment: 11 pages, 2 figures; v2 - some typos corrected, minor revision

Black Hole Entropy is Noether Charge

We consider a general, classical theory of gravity in $n$ dimensions, arising from a diffeomorphism invariant Lagrangian. In any such theory, to each vector field, $\xi^a$, on spacetime one can associate a local symmetry and, hence, a Noether current $(n-1)$-form, ${\bf j}$, and (for solutions to the field equations) a Noether charge $(n-2)$-form, ${\bf Q}$. Assuming only that the theory admits stationary black hole solutions with a bifurcate Killing horizon, and that the canonical mass and angular momentum of solutions are well defined at infinity, we show that the first law of black hole mechanics always holds for perturbations to nearby stationary black hole solutions. The quantity playing the role of black hole entropy in this formula is simply $2 \pi$ times the integral over $\Sigma$ of the Noether charge $(n-2)$-form associated with the horizon Killing field, normalized so as to have unit surface gravity. Furthermore, we show that this black hole entropy always is given by a local geometrical expression on the horizon of the black hole. We thereby obtain a natural candidate for the entropy of a dynamical black hole in a general theory of gravity. Our results show that the validity of the ``second law" of black hole mechanics in dynamical evolution from an initially stationary black hole to a final stationary state is equivalent to the positivity of a total Noether flux, and thus may be intimately related to the positive energy properties of the theory. The relationship between the derivation of our formula for black hole entropy and the derivation via ``Euclidean methods" also is explained.Comment: 16 pages, EFI 93-4

Linking the trans-Planckian and the information loss problems in black hole physics

The trans-Planckian and information loss problems are usually discussed in the literature as separate issues concerning the nature of Hawking radiation. Here we instead argue that they are intimately linked, and can be understood as "two sides of the same coin" once it is accepted that general relativity is an effective field theory.Comment: 10 pages, 2 figures. Replaced with the version to be published in General Relativity and Gravitatio

Black Hole Evaporation in the Presence of a Short Distance Cutoff

A derivation of the Hawking effect is given which avoids reference to field modes above some cutoff frequency $\omega_c\gg M^{-1}$ in the free-fall frame of the black hole. To avoid reference to arbitrarily high frequencies, it is necessary to impose a boundary condition on the quantum field in a timelike region near the horizon, rather than on a (spacelike) Cauchy surface either outside the horizon or at early times before the horizon forms. Due to the nature of the horizon as an infinite redshift surface, the correct boundary condition at late times outside the horizon cannot be deduced, within the confines of a theory that applies only below the cutoff, from initial conditions prior to the formation of the hole. A boundary condition is formulated which leads to the Hawking effect in a cutoff theory. It is argued that it is possible the boundary condition is {\it not} satisfied, so that the spectrum of black hole radiation may be significantly different from that predicted by Hawking, even without the back-reaction near the horizon becoming of order unity relative to the curvature.Comment: 35 pages, plain LaTeX, UMDGR93-32, NSF-ITP-93-2

The Volume of the Past Light-Cone and the Paneitz Operator

We study a conjecture involving the invariant volume of the past light-cone from an arbitrary observation point back to a fixed initial value surface. The conjecture is that a 4th order differential operator which occurs in the theory of conformal anomalies gives $8\pi$ when acted upon the invariant volume of the past light-cone. We show that an extended version of the conjecture is valid for an arbitrary homogeneous and isotropic geometry. First order perturbation theory about flat spacetime reveals a violation of the conjecture which, however, vanishes for any vacuum solution of the Einstein equation. These results may be significant for constructing quantum gravitational observables, for quantifying the back-reaction on spacetime expansion and for alternate gravity models which feature a timelike vector field.Comment: 22 pages, no figures, 5 tables. Version 2 substantially extended to cover nonzero spatial curvature, and with simplified derivation