Endolithic microbial model for Martian exobiology: The road to extinction

Martian exobiology is based on the assumption that on early Mars, liquid water was present and that conditions were suitable for the evolution of life. The cause for life to disappear from the surface and the recognizable fingerprints of past microbial activity preserved on Mars are addressed. The Antarctic cryptoendolithic microbial ecosystem as a model for extinction in the deteriorating Martian environment is discussed

Trace fossils of microbial colonization on Mars: Criteria for search and for sample return

The recent discovery of microbial trace-fossil formation in the frigid Ross Desert of Antarctica suggests that early primitive life on Mars may have left behind similar signatures. These trace fossils are apparent as chemical or physical changes in rock (or sediment) structure (or chemistry) caused by the activity of organisms. Life on Mars, if it ever existed, almost certainly did not evolve above the level of microorganisms, and this should be considered in search for fossil life. For the reasons detailed here, microbial trace fossils seem to be a better and more realistic target for search than would be true microbial fossils (remnants of cellular structures)

Microbial trace fossils in Antarctica and the search for evidence of early life on Mars

It is possible to hypothesize that, if microbial life evolved on early Mars, fossil remnants of these organisms may be preserved on the surface. However, the cooling and drying of Mars probably resembled a cold desert and such an environment is not suitable for the process of fossilization. The frigid Ross Desert of Antarctica is probably the closest terrestrial analog to conditions that may have prevailed on the surface of the cooling and drying Mars. In this desert, cryptoendolithic microbial communities live in the airspaces of porous rocks, the last habitable niche in a hostile outside environment. The organisms produce characteristic chemical and physical changes in the rock substrate. Environmental changes (deterioration of conditions) may result in the death of the community. Although no cellular structures are fossilized, the conspicuous changes in the rock substrate are preserved as trace fossils. Likewise, microbial trace fossils (without cellular structures) may also be preserved on Mars: Discontinuities in structure or chemistry of the rock that are independent of physical or chemical gradients may be of biological origin. Ross Desert trace fossils can be used as a model for planning search strategies and for instrument design to find evidence of past Martian life

Local Strategy Improvement for Parity Game Solving

The problem of solving a parity game is at the core of many problems in model checking, satisfiability checking and program synthesis. Some of the best algorithms for solving parity game are strategy improvement algorithms. These are global in nature since they require the entire parity game to be present at the beginning. This is a distinct disadvantage because in many applications one only needs to know which winning region a particular node belongs to, and a witnessing winning strategy may cover only a fractional part of the entire game graph. We present a local strategy improvement algorithm which explores the game graph on-the-fly whilst performing the improvement steps. We also compare it empirically with existing global strategy improvement algorithms and the currently only other local algorithm for solving parity games. It turns out that local strategy improvement can outperform these others by several orders of magnitude

Multidimensional perfect fluid cosmology with stable compactified internal dimensions

Multidimensional cosmological models in the presence of a bare cosmological constant and a perfect fluid are investigated under dimensional reduction to 4-dimensional effective models. Stable compactification of the internal spaces is achieved for a special class of perfect fluids. The external space behaves in accordance with the standard Friedmann model. Necessary restrictions on the parameters of the models are found to ensure dynamical behavior of the external (our) universe in agreement with observations.Comment: 11 pages, Latex2e, uses IOP packages, submitted to Class.Quant.Gra

Heterotic Cosmic Strings

We show that all three conditions for the cosmological relevance of heterotic cosmic strings, the right tension, stability and a production mechanism at the end of inflation, can be met in the strongly coupled M-theory regime. Whereas cosmic strings generated from weakly coupled heterotic strings have the well known problems posed by Witten in 1985, we show that strings arising from M5-branes wrapped around 4-cycles (divisors) of a Calabi-Yau in heterotic M-theory compactifications, solve these problems in an elegant fashion.Comment: 25 pages, v2: section and references adde

Gaussian coordinate systems for the Kerr metric

We present the whole class of Gaussian coordinate systems for the Kerr metric. This is achieved through the uses of the relationship between Gaussian observers and the relativistic Hamilton-Jacobi equation. We analyze the completeness of this coordinate system. In the appendix we present the equivalent JEK formulation of General Relativity -- the so-called quasi-Maxwellian equations -- which acquires a simpler form in the Gaussian coordinate system. We show how this set of equations can be used to obtain the internal metric of the Schwazschild solution, as a simple example. We suggest that this path can be followed to the search of the internal Kerr metric