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

Social Learning: A Model for Policy Research

This paper concerns the question of how policy research can be made more useful in practice. Two types of policy research may be distinguished. The first is research on issues in the public realm and not addressed to a specific client. The "consumers" of this type of research -- those whom it stimulates to thought -- are other interested scholars and practitioners, and the arguments proceed from many different quarters and perspectives. Answers given in this context are neither right nor wrong: they merely illuminate an issue of public concern and enhance our understanding of it. In this special sense, policy research resembles, in Cohen and Garet's language, "a discourse about social reality -- a debate about social problems and their solutions". The second type of policy research does have a client and is therefore pitched to an existing social problem that is located within a specific policy environment. Although we recognize that the distinction we are attempting to draw is imprecise, we propose to deal in this paper with only the second type of policy research and further limit ourselves to social policy. Such research is bought and sold, but its results are rarely used in the solution of a problem. Our intention, then, is to find out why and in what circumstances this outcome is highly probable and what, if anything, might be done about it

Birmingham’s Eastside story: making steps towards sustainability?

Sustainability has come to play a dominant discursive role in the UK planning system, particularly relating to urban regeneration. The purpose of this paper is to evaluate the role that sustainability plays in a major regeneration programme, known as Eastside, currently underway in Birmingham, the UK. That this £6 billion redevelopment is now widely talked about by such key players as Birmingham City Council and the Regional Development Agency, Advantage West Midlands, as having a central sustainability agenda points to the growing importance of the ideal of sustainability in planning and regeneration agendas. In this paper, we investigate in detail how and why sustainability has become part of the planning discourse for Eastside and critically evaluate what impact, if any, this is having on public policy decision-making

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

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

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

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

Bulk Scale Factor at Very Early Universe

In this paper we propose a higher dimensional Cosmology based on FRW model and brane-world scenario. We consider the warp factor in the brane-world scenario as a scale factor in 5-dimensional generalized FRW metric, which is called as bulk scale factor, and obtain the evolution of it with space-like and time-like extra dimensions. It is then showed that, additional space-like dimensions can produce exponentially bulk scale factor under repulsive strong gravitational force in the empty universe at a very early stage.Comment: 7 pages, October 201

C-axis resistivity and high Tc superconductivity

Recently we had proposed a mechanism for the normal-state C-axis resistivity of the high-T$_c$ layered cuprates that involved blocking of the single-particle tunneling between the weakly coupled planes by strong intra-planar electron-electron scattering. This gave a C-axis resistivity that tracks the ab-plane T-linear resistivity, as observed in the high-temperature limit. In this work this mechanism is examined further for its implication for the ground-state energy and superconductivity of the layered cuprates. It is now argued that, unlike the single-particle tunneling, the tunneling of a boson-like pair between the planes prepared in the BCS-type coherent trial state remains unblocked inasmuch as the latter is by construction an eigenstate of the pair annihilation operator. The resulting pair-delocalization along the C-axis offers energetically a comparative advantage to the paired-up trial state, and, thus stabilizes superconductivity. In this scheme the strongly correlated nature of the layered system enters only through the blocking effect, namely that a given electron is effectively repeatedly monitored (intra-planarly scattered) by the other electrons acting as an environment, on a time-scale shorter than the inter-planar tunneling time. Possible relationship to other inter-layer pairing mechanisms proposed by several workers in the field is also briefly discussed.Comment: typos in equations corrected, contents unchange