Automorphisms and a Cartography of the Solution Space for Vacuum Bianchi Cosmologies: The Type III Case

The theory of symmetries of systems of coupled, ordinary differential equations (ODE's) is used to develop a concise algorithm for cartographing the space of solutions to vacuum Bianchi Einstein's Field Equations (EFE). The symmetries used are the well known automorphisms of the Lie algebra for the corresponding isometry group of each Bianchi Type, as well as the scaling and the time eparameterization symmetry. Application of the method to Type III results in: a) the recovery of all known solutions without prior assumption of any extra symmetry, b) the enclosure of the entire unknown part of the solution space into a single, second order ODE in terms of one dependent variable and c) a partial solution to this ODE. It is also worth-mentioning the fact that the solution space is seen to be naturally partitioned into three distinct, disconnected pieces: one consisting of the known Siklos (pp-wave) solution, another occupied by the Type III member of the known Ellis-MacCallum family and the third described by the aforementioned ODE in which an one parameter subfamily of the known Kinnersley geometries resides. Lastly, preliminary results reported show that the unknown part of the solution space for other Bianchi Types is described by a strikingly similar ODE, pointing to a natural operational unification as far as the problem of solving the cosmological EFE's is concerned.Comment: 19 pages, LatTex source file, no figures, accepted in JM

Canonical Quantization of the BTZ Black Hole using Noether Symmetries

The well-known BTZ black hole solution of (2+1) Einstein's gravity, in the presence of a cosmological constant, is treated both at the classical and quantum level. Classically, the imposition of the two manifest local Killing fields of the BTZ geometry at the level of the full action results in a mini-superspace constraint action with the radial coordinate playing the role of the independent dynamical variable. The Noether symmetries of this reduced action are then shown to completely determine the classical solution space, without any further need to solve the dynamical equations of motion. At a quantum mechanical level, all the admissible sets of the quantum counterparts of the generators of the above mentioned symmetries are utilized as supplementary conditions acting on the wave-function. These additional restrictions, in conjunction with the Wheeler-DeWitt equation, help to determine (up to constants) the wave-function which is then treated semiclassically, in the sense of Bohm. The ensuing space-times are, either identical to the classical geometry, thus exhibiting a good correlation of the corresponding quantization to the classical theory, or are less symmetric but exhibit no Killing or event horizon and no curvature singularity, thus indicating a softening of the classical conical singularity of the BTZ geometry.Comment: 24 pages, no figures, LaTeX 2e source fil

Dynamic trust models for ubiquitous computing environments

A significant characteristic of ubiquitous computing is the need for interactions of highly mobile entities to be secure: secure both for the entity and the environment in which the entity operates. Moreover, ubiquitous computing is also characterised by partial views over the state of the global environment, implying that we cannot guarantee that an environment can always verify the properties of the mobile entity that it has just received. Secure in this context encompasses both the need for cryptographic security and the need for trust, on the part of both parties, that the interaction is functioning as expected. In this paper we make a broad assumption that trust and cryptographic security can be considered as orthogonal concerns (i.e. an entity might encrypt a deliberately incorrect answer to a legitimate request). We assume the existence of reliable encryption techniques and focus on the characteristics of a model that supports the management of the trust relationships between two entities during an interaction in a ubiquitous environment