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

A ferromagnet with a glass transition

We introduce a finite-connectivity ferromagnetic model with a three-spin interaction which has a crystalline (ferromagnetic) phase as well as a glass phase. The model is not frustrated, it has a ferromagnetic equilibrium phase at low temperature which is not reached dynamically in a quench from the high-temperature phase. Instead it shows a glass transition which can be studied in detail by a one step replica-symmetry broken calculation. This spin model exhibits the main properties of the structural glass transition at a solvable mean-field level.Comment: 7 pages, 2 figures, uses epl.cls (included

Cauchy Horizons, Thermodynamics and Closed Time-like Curves in Planar Supersymmetric Space-times

We study geodesically complete, singularity free space-times induced by supersymmetric planar domain walls interpolating between Minkowski and anti-de Sitter ($AdS_4$) vacua. A geodesically complete space-time without closed time-like curves includes an infinite number of semi-infinite Minkowski space-times, separated from each other by a region of $AdS_4$ space-time. These space-times are closely related to the extreme Reissner Nordstr\" om (RN) black hole, exhibiting Cauchy horizons with zero Hawking temperature, but in contrast to the RN black hole there is no entropy. Another geodesically complete extension with closed time-like curves involves space-times connecting a finite number of semi-infinite Minkowski space-times.Comment: 11 pages, 1 figure appended, phyzz

A Century of Cosmology

In the century since Einstein's anno mirabilis of 1905, our concept of the Universe has expanded from Kapteyn's flattened disk of stars only 10 kpc across to an observed horizon about 30 Gpc across that is only a tiny fraction of an immensely large inflated bubble. The expansion of our knowledge about the Universe, both in the types of data and the sheer quantity of data, has been just as dramatic. This talk will summarize this century of progress and our current understanding of the cosmos.Comment: Talk presented at the "Relativistic Astrophysics and Cosmology - Einstein's Legacy" meeting in Munich, Nov 2005. Proceedings will be published in the Springer-Verlag "ESO Astrophysics Symposia" series. 10 pages Latex with 2 figure

Third order perturbations of a zero-pressure cosmological medium: Pure general relativistic nonlinear effects

We consider a general relativistic zero-pressure irrotational cosmological medium perturbed to the third order. We assume a flat Friedmann background but include the cosmological constant. We ignore the rotational perturbation which decays in expanding phase. In our previous studies we discovered that, to the second-order perturbation, except for the gravitational wave contributions, the relativistic equations coincide exactly with the previously known Newtonian ones. Since the Newtonian second-order equations are fully nonlinear, any nonvanishing third and higher order terms in the relativistic analyses are supposed to be pure relativistic corrections. In this work we derive such correction terms appearing in the third order. Continuing our success in the second-order perturbations we take the comoving gauge. We discover that the third-order correction terms are of $\phi_v$-order higher than the second-order terms where $\phi_v$ is a gauge-invariant combination related to the three-space curvature perturbation in the comoving gauge; compared with the Newtonian potential we have $\delta \Phi \sim {3 \over 5} \phi_v$ to the linear order. Therefore, the pure general relativistic effects are of $varphi_v$-order higher than the Newtonian ones. The corrections terms are independent of the horizon scale and depend only on the linear order gravitational potential perturbation strength. From the temperature anisotropy of cosmic microwave background we have ${\delta T \over T} \sim {1 \over 3} \delta \Phi \sim {1 \over 5} \phi_v \sim 10^{-5}$. Therefore, our present result reinforces our previous important practical implication that near current era one can use the large-scale Newtonian numerical simulation more reliably even as the simulation scale approaches near the horizon.Comment: 9 pages, no figur

Orbifold Singularities, Lie Algebras of the Third Kind (LATKes), and Pure Yang-Mills with Matter

We discover the unique, simple Lie Algebra of the Third Kind, or LATKe, that stems from codimension 6 orbifold singularities and gives rise to a kind of Yang-Mills theory which simultaneously is pure and contains matter. The root space of the LATKe is 1-dimensional and its Dynkin diagram consists of one point. The uniqueness of the LATKe is a vacuum selection mechanism.Comment: 42 pages; version appearing in JM

A measure on the set of compact Friedmann-Lemaitre-Robertson-Walker models

Compact, flat Friedmann-Lemaitre-Robertson-Walker (FLRW) models have recently regained interest as a good fit to the observed cosmic microwave background temperature fluctuations. However, it is generally thought that a globally, exactly-flat FLRW model is theoretically improbable. Here, in order to obtain a probability space on the set F of compact, comoving, 3-spatial sections of FLRW models, a physically motivated hypothesis is proposed, using the density parameter Omega as a derived rather than fundamental parameter. We assume that the processes that select the 3-manifold also select a global mass-energy and a Hubble parameter. The inferred range in Omega consists of a single real value for any 3-manifold. Thus, the obvious measure over F is the discrete measure. Hence, if the global mass-energy and Hubble parameter are a function of 3-manifold choice among compact FLRW models, then probability spaces parametrised by Omega do not, in general, give a zero probability of a flat model. Alternatively, parametrisation by the injectivity radius r_inj ("size") suggests the Lebesgue measure. In this case, the probability space over the injectivity radius implies that flat models occur almost surely (a.s.), in the sense of probability theory, and non-flat models a.s. do not occur.Comment: 19 pages, 4 figures; v2: minor language improvements; v3: generalisation: m, H functions of

Topological Lensing in Spherical Spaces

This article gives the construction and complete classification of all three-dimensional spherical manifolds, and orders them by decreasing volume, in the context of multiconnected universe models with positive spatial curvature. It discusses which spherical topologies are likely to be detectable by crystallographic methods using three-dimensional catalogs of cosmic objects. The expected form of the pair separation histogram is predicted (including the location and height of the spikes) and is compared to computer simulations, showing that this method is stable with respect to observational uncertainties and is well suited for detecting spherical topologies.Comment: 32 pages, 26 figure

Second-order perturbations of cosmological fluids: Relativistic effects of pressure, multi-component, curvature, and rotation

We present general relativistic correction terms appearing in Newton's gravity to the second-order perturbations of cosmological fluids. In our previous work we have shown that to the second-order perturbations, the density and velocity perturbation equations of general relativistic zero-pressure, irrotational, single-component fluid in a flat background coincide exactly with the ones known in Newton's theory. Here, we present the general relativistic second-order correction terms arising due to (i) pressure, (ii) multi-component, (iii) background curvature, and (iv) rotation. In case of multi-component zero-pressure, irrotational fluids under the flat background, we effectively do not have relativistic correction terms, thus the relativistic result again coincides with the Newtonian ones. In the other three cases we generally have pure general relativistic correction terms. In case of pressure, the relativistic corrections appear even in the level of background and linear perturbation equations. In the presence of background curvature, or rotation, pure relativistic correction terms directly appear in the Newtonian equations of motion of density and velocity perturbations to the second order. In the small-scale limit (far inside the horizon), relativistic equations including the rotation coincide with the ones in Newton's gravity.Comment: 41 pages, no figur

Influence of Surface Passivation on the Friction and Wear Behavior of Ultrananocrystalline Diamond and Tetrahedral Amorphous Carbon Thin Films

Highly sp3-bonded, nearly hydrogen-free carbon-based materials can exhibit extremely low friction and wear in the absence of any liquid lubricant, but this physical behavior is limited by the vapor environment. The effect of water vapor on friction and wear is examined as a function of applied normal force for two such materials in thin film form: one that is fully amorphous in structure (tetrahedral amorphous carbon, or ta-C) and one that is polycrystalline with sp3 to disordered sp2 bonding is observed, no crystalline graphite formation is observed for either film. Rather, the primary solid-lubrication mechanism is the passivation of dangling bonds by OH and H from the dissociation of vapor-phase H2O. This vapor-phase lubrication mechanism is highly effective, producing friction coefficients as low as 0.078 for ta-C and 0.008 for UNCD, and wear rates requiring thousands of sliding passes to produce a few nanometers of wear