Liouville Black Holes

The dynamics of Liouville fields coupled to gravity are investigated by applying the principle of general covariance to the Liouville action in the context of a particular form of two-dimensional dilaton gravity. The resultant field equations form a closed system for the Liouville/gravity interaction. A large class of asymptotically flat solutions to the field equations is obtained, many of which can be interpreted as black hole solutions. The temperature of such black holes is proportional to their mass-parameters. An exact solution to the back reaction problem is obtained to one-loop order, both for conformally coupled matter fields and for the quantized metric/Liouville system. Quantum effects are shown to map the space of classical solutions into one another. A scenario for the end-point of black-hole radiation is discussed.Comment: 32 pgs., WATPHYS-TH93/03 (Latex plus two postscript figures appended

Towards sharing in lazy computation systems

Work on proving congruence of bisimulation in functional programming languages often refers to [How89,How96], where Howe gave a highly general account on this topic in terms of so-called lazy computation systems . Particularly in implementations of lazy functional languages, sharing plays an eminent role. In this paper we will show how the original work of Howe can be extended to cope with sharing. Moreover, we will demonstrate the application of our approach to the call-by-need lambda-calculus lambda-ND which provides an erratic non-deterministic operator pick and a non-recursive let. A definition of a bisimulation is given, which has to be based on a further calculus named lambda-~, since the na1ve bisimulation definition is useless. The main result is that this bisimulation is a congruence and contained in the contextual equivalence. This might be a step towards defining useful bisimulation relations and proving them to be congruences in calculi that extend the lambda-ND-calculus

Apocalypse and recuperation: Blake and the maw of commerce

The paper is a "materialist" reading of Blake's illuminated works. It examines the copperplate method itself as the main theme of Blake's work, and also as a potentially practical means of conveying Blake's art to its intended audience. The question of audience must be at the center of any avowedly prophetic project. Did Blakean production actually facilitate reception? Are we the audience it sought? What forms of supplementary reproduction are necessary for modern discourse on Blake, and what are the effects of such mediation? To what extent does reproduction undermine. sublate, cancel or recuperate Blakean priorities even as it seeks to represent them? What do we actually read when we read a reproduction? The paper also thinks through the Blakean problem to a broader consideration of artistic projects operating marginally to the predominant cultural economy. and of their relation to criticism

Statistical Mechanics of Relativistic One-Dimensional Self-Gravitating Systems

We consider the statistical mechanics of a general relativistic one-dimensional self-gravitating system. The system consists of $N$-particles coupled to lineal gravity and can be considered as a model of $N$ relativistically interacting sheets of uniform mass. The partition function and one-particle distitrubion functions are computed to leading order in $1/c$ where $c$ is the speed of light; as $c\to\infty$ results for the non-relativistic one-dimensional self-gravitating system are recovered. We find that relativistic effects generally cause both position and momentum distribution functions to become more sharply peaked, and that the temperature of a relativistic gas is smaller than its non-relativistic counterpart at the same fixed energy. We consider the large-N limit of our results and compare this to the non-relativistic case.Comment: latex, 60 pages, 22 figure

Families of exact solutions of a 2D gravity model minimally coupled to electrodynamics

Three families of exact solutions for 2-dimensional gravity minimally coupled to electrodynamics are obtained in the context of ${\cal R}=T$ theory. It is shown, by supersymmetric formalism of quantum mechanics, that the quantum dynamics of a neutral bosonic particle on static backgrounds with both varying curvature and electric field is exactly solvable.Comment: 13 pages, LaTeX, to be published in JM