Backbone Fragility and the Local Search Cost Peak

The local search algorithm WSat is one of the most successful algorithms for solving the satisfiability (SAT) problem. It is notably effective at solving hard Random 3-SAT instances near the so-called `satisfiability threshold', but still shows a peak in search cost near the threshold and large variations in cost over different instances. We make a number of significant contributions to the analysis of WSat on high-cost random instances, using the recently-introduced concept of the backbone of a SAT instance. The backbone is the set of literals which are entailed by an instance. We find that the number of solutions predicts the cost well for small-backbone instances but is much less relevant for the large-backbone instances which appear near the threshold and dominate in the overconstrained region. We show a very strong correlation between search cost and the Hamming distance to the nearest solution early in WSat's search. This pattern leads us to introduce a measure of the backbone fragility of an instance, which indicates how persistent the backbone is as clauses are removed. We propose that high-cost random instances for local search are those with very large backbones which are also backbone-fragile. We suggest that the decay in cost beyond the satisfiability threshold is due to increasing backbone robustness (the opposite of backbone fragility). Our hypothesis makes three correct predictions. First, that the backbone robustness of an instance is negatively correlated with the local search cost when other factors are controlled for. Second, that backbone-minimal instances (which are 3-SAT instances altered so as to be more backbone-fragile) are unusually hard for WSat. Third, that the clauses most often unsatisfied during search are those whose deletion has the most effect on the backbone. In understanding the pathologies of local search methods, we hope to contribute to the development of new and better techniques

Magnetic friction due to vortex fluctuation

We use Monte Carlo and molecular dynamics simulation to study a magnetic tip-sample interaction. Our interest is to understand the mechanism of heat dissipation when the forces involved in the system are magnetic in essence. We consider a magnetic crystalline substrate composed of several layers interacting magnetically with a tip. The set is put thermally in equilibrium at temperature T by using a numerical Monte Carlo technique. By using that configuration we study its dynamical evolution by integrating numerically the equations of motion. Our results suggests that the heat dissipation in this system is closed related to the appearing of vortices in the sample.Comment: 6 pages, 41 figure

Complete curvature homogeneous pseudo-Riemannian manifolds

We exhibit 3 families of complete curvature homogeneous pseudo-Riemannian manifolds which are modeled on irreducible symmetric spaces and which are not locally homogeneous. All of the manifolds have nilpotent Jacobi operators; some of the manifolds are, in addition, Jordan Osserman and Jordan Ivanov-Petrova.Comment: Update paper to fix misprints in original versio

Statistical properties of a free-electron laser revealed by the Hanbury Brown and Twiss interferometry

We present a comprehensive experimental analysis of statistical properties of the self-amplified spontaneous emission (SASE) free-electron laser (FEL) FLASH at DESY in Hamburg by means of Hanbury Brown and Twiss (HBT) interferometry. The experiments were performed at the FEL wavelengths of 5.5 nm, 13.4 nm, and 20.8 nm. We determined the 2-nd order intensity correlation function for all wavelengths and different operation conditions of FLASH. In all experiments a high degree of spatial coherence (above 50%) was obtained. Our analysis performed in spatial and spectral domains provided us with the independent measurements of an average pulse duration of the FEL that were below 60 fs. To explain complicated behaviour of the 2-nd order intensity correlation function we developed advanced theoretical model that includes the presence of multiple beams and external positional jitter of the FEL pulses. By this analysis we determined that in most experiments several beams were present in radiating field and in one of the experiments external positional jitter was about 25% of the beam size. We envision that methods developed in our study will be used widely for analysis and diagnostics of the FEL radiation.Comment: 29 pages, 14 figures, 3 table

Beyond Speculative Robot Ethics

In this article we develop a dialogue model for robot technology experts and designated users to discuss visions on the future of robotics in long-term care. Our vision assessment study aims for more distinguished and more informed visions on future robots. Surprisingly, our experiment also lead to some promising co-designed robot concepts in which jointly articulated moral guidelines are embedded. With our model we think to have designed an interesting response on a recent call for a less speculative ethics of technology by encouraging discussions about the quality of positive and negative visions on the future of robotics.

Inverse moment problem for elementary co-adjoint orbits

We give a solution to the inverse moment problem for a certain class of Hessenberg and symmetric matrices related to integrable lattices of Toda type.Comment: 13 page

Distributing the burdens of climate change

Global climate change raises many questions for environmental political theorists. This article focuses on the question of identifying the agents that should bear the financial burden of preventing dangerous climate change. Identifying in a fair way the agents that should take the lead in climate mitigation and adaptation, as well as the precise burdens that these parties must bear, will be a key aspect of the next generation of global climate policies. After a critical review of a number of rival approaches to burden sharing, the paper argues that only a principled and philosophically robust reconciliation of three approaches to burden sharing (‘contribution to problem’, ‘ability to pay’ and ‘beneficiary pays’) can generate a satisfactory mix of theoretical coherence and practical application

Cosmology, cohomology, and compactification

Ashtekar and Samuel have shown that Bianchi cosmological models with compact spatial sections must be of Bianchi class A. Motivated by general results on the symmetry reduction of variational principles, we show how to extend the Ashtekar-Samuel results to the setting of weakly locally homogeneous spaces as defined, e.g., by Singer and Thurston. In particular, it is shown that any m-dimensional homogeneous space G/K admitting a G-invariant volume form will allow a compact discrete quotient only if the Lie algebra cohomology of G relative to K is non-vanishing at degree m.Comment: 6 pages, LaTe