Energy extremality in the presence of a black hole

We derive the so-called first law of black hole mechanics for variations about stationary black hole solutions to the Einstein--Maxwell equations in the absence of sources. That is, we prove that $\delta M=\kappa\delta A+\omega\delta J+VdQ$ where the black hole parameters $M, \kappa, A, \omega, J, V$ and $Q$ denote mass, surface gravity, horizon area, angular velocity of the horizon, angular momentum, electric potential of the horizon and charge respectively. The unvaried fields are those of a stationary, charged, rotating black hole and the variation is to an arbitrary `nearby' black hole which is not necessarily stationary. Our approach is 4-dimensional in spirit and uses techniques involving Action variations and Noether operators. We show that the above formula holds on any asymptotically flat spatial 3-slice which extends from an arbitrary cross-section of the (future) horizon to spatial infinity.(Thus, the existence of a bifurcation surface is irrelevant to our demonstration. On the other hand, the derivation assumes without proof that the horizon possesses at least one of the following two (related)properties: ($i$) it cannot be destroyed by arbitrarily small perturbations of the metric and other fields which may be present, ($ii$) the expansion of the null geodesic generators of the perturbed horizon goes to zero in the distant future.)Comment: 30 pages, latex fil

Large Fluctuations in the Horizon Area and what they can tell us about Entropy and Quantum Gravity

We evoke situations where large fluctuations in the entropy are induced, our main example being a spacetime containing a potential black hole whose formation depends on the outcome of a quantum mechanical event. We argue that the teleological character of the event horizon implies that the consequent entropy fluctuations must be taken seriously in any interpretation of the quantal formalism. We then indicate how the entropy can be well defined despite the teleological character of the horizon, and we argue that this is possible only in the context of a spacetime or ``histories'' formulation of quantum gravity, as opposed to a canonical one, concluding that only a spacetime formulation has the potential to compute --- from first principles and in the general case --- the entropy of a black hole. From the entropy fluctuations in a related example, we also derive a condition governing the form taken by the entropy, when it is expressed as a function of the quantal density-operator.Comment: 35 pages, plain Tex, needs mathmacros.tex and msmacros.te

Stable non-uniform black strings below the critical dimension

The higher-dimensional vacuum Einstein equation admits translationally non-uniform black string solutions. It has been argued that infinitesimally non-uniform black strings should be unstable in 13 or fewer dimensions and otherwise stable. We construct numerically non-uniform black string solutions in 11, 12, 13, 14 and 15 dimensions. Their stability is investigated using local Penrose inequalities. Weakly non-uniform solutions behave as expected. However, in 12 and 13 dimensions, strongly non-uniform solutions appear to be stable and can have greater horizon area than a uniform string of the same mass. In 14 and 15 dimensions all non-uniform black strings appear to be stable.Comment: 26 pages, 11 figures. V2: reference added, matches published versio

Compactness of the space of causal curves

We prove that the space of causal curves between compact subsets of a separable globally hyperbolic poset is itself compact in the Vietoris topology. Although this result implies the usual result in general relativity, its proof does not require the use of geometry or differentiable structure.Comment: 15 page

Causal Sets: Quantum gravity from a fundamentally discrete spacetime

In order to construct a quantum theory of gravity, we may have to abandon certain assumptions we were making. In particular, the concept of spacetime as a continuum substratum is questioned. Causal Sets is an attempt to construct a quantum theory of gravity starting with a fundamentally discrete spacetime. In this contribution we review the whole approach, focusing on some recent developments in the kinematics and dynamics of the approach.Comment: 10 pages, review of causal sets based on talk given at the 1st MCCQG conferenc

A Classical Sequential Growth Dynamics for Causal Sets

Starting from certain causality conditions and a discrete form of general covariance, we derive a very general family of classically stochastic, sequential growth dynamics for causal sets. The resulting theories provide a relatively accessible ``half way house'' to full quantum gravity that possibly contains the latter's classical limit (general relativity). Because they can be expressed in terms of state models for an assembly of Ising spins living on the relations of the causal set, these theories also illustrate how non-gravitational matter can arise dynamically from the causal set without having to be built in at the fundamental level. Additionally, our results bring into focus some interpretive issues of importance for causal set dynamics, and for quantum gravity more generally.Comment: 28 pages, 9 figures, LaTeX, added references and a footnote, minor correction

A Causal Order for Spacetimes with C0C^0 Lorentzian Metrics: Proof of Compactness of the Space of Causal Curves

We recast the tools of ``global causal analysis'' in accord with an approach to the subject animated by two distinctive features: a thoroughgoing reliance on order-theoretic concepts, and a utilization of the Vietoris topology for the space of closed subsets of a compact set. We are led to work with a new causal relation which we call $K^+$, and in terms of it we formulate extended definitions of concepts like causal curve and global hyperbolicity. In particular we prove that, in a spacetime \M which is free of causal cycles, one may define a causal curve simply as a compact connected subset of \M which is linearly ordered by $K^+$. Our definitions all make sense for arbitrary $C^0$ metrics (and even for certain metrics which fail to be invertible in places). Using this feature, we prove for a general $C^0$ metric, the familiar theorem that the space of causal curves between any two compact subsets of a globally hyperbolic spacetime is compact. We feel that our approach, in addition to yielding a more general theorem, simplifies and clarifies the reasoning involved. Our results have application in a recent positive energy theorem, and may also prove useful in the study of topology change. We have tried to make our treatment self-contained by including proofs of all the facts we use which are not widely available in reference works on topology and differential geometry.Comment: Two small revisions to accomodate errors brought to our attention by R.S. Garcia. No change to chief results. 33 page

Why do we observe a small but non zero cosmological constant ?

The current observations seem to suggest that the universe has a positive cosmological constant of the order of $H_0^2$ while the most natural value for the cosmological constant will be $L_P^{-2}$ where $L_P = (G\hbar/c^3)^{1/2}$ is the Planck length. This reduction of the cosmological constant from $L_P^{-2}$ to $L_P^{-2}(L_PH_0)^2$ may be interpreted as due to the ability of quantum micro structure of spacetime to readjust itself and absorb bulk vacuum energy densities. Being a quantum mechanical process, such a cancellation cannot be exact and the residual quantum fluctuations appear as the ``small'' cosmological constant. I describe the features of a toy model for the spacetime micro structure which could allow for the bulk vacuum energy densities to be canceled leaving behind a small residual value of the the correct magnitude. Some other models (like the ones based on canonical ensemble for the four volume or quantum fluctuations of the horizon size) lead to an insignificantly small value of $H_0^2(L_PH_0)^n$ with $n=0.5-1$ showing that obtaining the correct order of magnitude for the residual fluctuations in the cosmological constant is a nontrivial task, becaue of the existence of the small dimensionless number $H_0L_P$ .Comment: couple of references added; matches with published versio

Hilbert Spaces from Path Integrals

It is shown that a Hilbert space can be constructed for a quantum system starting from a framework in which histories are fundamental. The Decoherence Functional provides the inner product on this "History Hilbert space". It is also shown that the History Hilbert space is the standard Hilbert space in the case of non-relativistic quantum mechanics.Comment: 22 pages. Minor updates to match published versio

Spacelike distance from discrete causal order

Any discrete approach to quantum gravity must provide some prescription as to how to deduce continuum properties from the discrete substructure. In the causal set approach it is straightforward to deduce timelike distances, but surprisingly difficult to extract spacelike distances, because of the unique combination of discreteness with local Lorentz invariance in that approach. We propose a number of methods to overcome this difficulty, one of which reproduces the spatial distance between two points in a finite region of Minkowski space. We provide numerical evidence that this definition can be used to define a `spatial nearest neighbor' relation on a causal set, and conjecture that this can be exploited to define the length of `continuous curves' in causal sets which are approximated by curved spacetime. This provides evidence in support of the ``Hauptvermutung'' of causal sets.Comment: 32 pages, 16 figures, revtex4; journal versio