Heun equation, Teukolsky equation, and type-D metrics

Starting with the whole class of type-D vacuum backgrounds with cosmological constant we show that the separated Teukolsky equation for zero rest-mass fields with spin $s=\pm 2$ (gravitational waves), $s=\pm 1$ (electromagnetic waves) and $s=\pm 1/2$ (neutrinos) is an Heun equation in disguise.Comment: 27 pages, corrected typo in eq. (1

Gravity anomaly detection: Apollo/Soyuz

The Goddard Apollo-Soyuz Geodynamics Experiment is described. It was performed to demonstrate the feasibility of tracking and recovering high frequency components of the earth's gravity field by utilizing a synchronous orbiting tracking station such as ATS-6. Gravity anomalies of 5 MGLS or larger having wavelengths of 300 to 1000 kilometers on the earth's surface are important for geologic studies of the upper layers of the earth's crust. Short wavelength Earth's gravity anomalies were detected from space. Two prime areas of data collection were selected for the experiment: (1) the center of the African continent and (2) the Indian Ocean Depression centered at 5% north latitude and 75% east longitude. Preliminary results show that the detectability objective of the experiment was met in both areas as well as at several additional anomalous areas around the globe. Gravity anomalies of the Karakoram and Himalayan mountain ranges, ocean trenches, as well as the Diamantina Depth, can be seen. Maps outlining the anomalies discovered are shown

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness

Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT, as it allows for almost linear decidability of equivalence. In this paper, we study the (co)algebraic properties of GKAT. Our initial focus is on the fragment that can distinguish between unsuccessful programs performing different actions, by omitting the so-called early termination axiom. We develop an operational (coalgebraic) and denotational (algebraic) semantics and show that they coincide. We then characterize the behaviors of GKAT expressions in this semantics, leading to a coequation that captures the covariety of automata corresponding to these behaviors. Finally, we prove that the axioms of the reduced fragment are sound and complete w.r.t. the semantics, and then build on this result to recover a semantics that is sound and complete w.r.t. the full set of axioms

Two-State Migration of DNA in a structured Microchannel

DNA migration in topologically structured microchannels with periodic cavities is investigated experimentally and with Brownian dynamics simulations of a simple bead-spring model. The results are in very good agreement with one another. In particular, the experimentally observed migration order of Lambda- and T2-DNA molecules is reproduced by the simulations. The simulation data indicate that the mobility may depend on the chain length in a nonmonotonic way at high electric fields. This is found to be the signature of a nonequilibrium phase transition between two different migration states, a slow one and a fast one, which can also be observed experimentally under appropriate conditions.Comment: Revised edition corresponding to the comments by the referees, submitted to Physical Review

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

We introduce Probabilistic Guarded Kleene Algebra with Tests (ProbGKAT), an extension of GKAT that allows reasoning about uninterpreted imperative programs with probabilistic branching. We give its operational semantics in terms of special class of probabilistic automata. We give a sound and complete Salomaa-style axiomatisation of bisimilarity of ProbGKAT expressions. Finally, we show that bisimilarity of ProbGKAT expressions can be decided in O(n3 log n) time via a generic partition refinement algorithm