Quantum and random walks as universal generators of probability distributions

Quantum walks and random walks bear similarities and divergences. One of the most remarkable disparities affects the probability of finding the particle at a given location: typically, almost a flat function in the first case and a bell-shaped one in the second case. Here I show how one can impose any desired stochastic behavior (compatible with the continuity equation for the probability function) on both systems by the appropriate choice of time- and site-dependent coins. This implies, in particular, that one can devise quantum walks that show diffusive spreading without loosing coherence, as well as random walks that exhibit the characteristic fast propagation of a quantum particle driven by a Hadamard coin.Comment: 8 pages, 2 figures; revised and enlarged versio

Containerless processing in the European microgravity programme

Reasonable acoustic levitation for undercooled melts in space was obtained, but some residual instabilities in times of high thermal transients need to be eliminated. Electrostatic levitation was developed with the acoustic levitator with similar applications in mind. The system tested used a tetrahedral electrode configuration with unchanged samples. ESA's involvement in electromagnetic levitation is concentrated on accommodation studies for the European Containerless Processing Lab for the Space Station Freedom. The gas film technique is based on the processing of samples confined by porous walls. Air flow through the walls create air cushions which inhibit wall contact. This technique is particularly promising for glasses

High resolution bathymetric survey on the NW slope of Walvis Ridge, offshore Namibia

Expedition 17/1 of the German research vessel R/V MARIA S. MERIAN, carried out geophysical surveys and experiments between November and December 2010 in the area around Walvis Ridge, Southeast Atlantic Ocean. Among the data collected, a high-resolution bathymetric dataset aquired on the northwestern slope of the ridge offers some important preliminary insights into the tectonic evolution of the ridge and the adjoining lower continental slopes and ocean basin. The NE-SW trending Walvis Ridge has a trapezoid shape and is likely built up by thick sequences of plateau basalts, with top of basement rocks inclined to the south. Sediments are almost absent on the NW side of the ridge, preserving a fascinating mountainscape formed early in the tectonic history, most probably on-land. This interpretation is supported by clear denudational features, like steep cliffs up to 150 m high, and deeply incised valleys, defining paleo-drainages. Isolated, flat-topped guyots seaward of the ocean-continent boundary attest to a later history of wave abrasion and progressive subsidence of Walvis Ridge

Model Fractional Chern Insulators

We devise local lattice models whose ground states are model fractional Chern insulators---Abelian and non-Abelian topologically ordered states characterized by exact ground state degeneracies at any finite size and infinite entanglement gaps. Most saliently, we construct exact parent Hamiltonians for two distinct families of bosonic lattice generalizations of the $\mathcal{Z}_k$ parafermion quantum Hall states: (i) color-entangled fractional Chern insulators at band filling fractions $\nu=k/(\mathcal{C}+1)$ and (ii) nematic states at $\nu=k/2$, where $\mathcal{C}$ is the Chern number of the lowest band in our models. In spite of a fluctuating Berry curvature, our construction is partially frustration free: the ground states reside entirely within the lowest band and exactly minimize a local $(k+1)$-body repulsion term by term. In addition to providing the first known models hosting intriguing states such as higher Chern number generalizations of the Fibonacci anyon quantum Hall states, the remarkable stability and finite-size properties make our models particularly well-suited for the study of novel phenomena involving e.g. twist defects and proximity induced superconductivity, as well as being a guide for designing experiments.Comment: 9 pages, 5 figure

Better abstractions for timed automata

We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones. These abstractions preserve underlying simulation relations on the state space of the automaton. For both effectiveness and efficiency reasons, they are parametrized by the maximal lower and upper bounds (LU-bounds) occurring in the guards of the automaton. We consider the aLU abstraction defined by Behrmann et al. Since this abstraction can potentially yield non-convex sets, it has not been used in implementations. We prove that aLU abstraction is the biggest abstraction with respect to LU-bounds that is sound and complete for reachability. We also provide an efficient technique to use the aLU abstraction to solve the reachability problem.Comment: Extended version of LICS 2012 paper (conference paper till v6). in Information and Computation, available online 27 July 201