Characterising Probabilistic Processes Logically

In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabilistic mu-calculus can be used to characterise these behavioural relations in the sense that two states are equivalent if and only if they satisfy the same set of formulae.Comment: 18 page

Quintessential Maldacena-Maoz Cosmologies

Maldacena and Maoz have proposed a new approach to holographic cosmology based on Euclidean manifolds with disconnected boundaries. This approach appears, however, to be in conflict with the known geometric results [the Witten-Yau theorem and its extensions] on spaces with boundaries of non-negative scalar curvature. We show precisely how the Maldacena-Maoz approach evades these theorems. We also exhibit Maldacena-Maoz cosmologies with [cosmologically] more natural matter content, namely quintessence instead of Yang-Mills fields, thereby demonstrating that these cosmologies do not depend on a special choice of matter to split the Euclidean boundary. We conclude that if our Universe is fundamentally anti-de Sitter-like [with the current acceleration being only temporary], then this may force us to confront the holography of spaces with a connected bulk but a disconnected boundary.Comment: Much improved exposition, exponent in Cai-Galloway theorem fixed, axionic interpretation of scalar explained, JHEP version. 33 pages, 3 eps figure

Serine ADP-ribosylation in Drosophila provides insights into the evolution of reversible ADP-ribosylation signalling

In the mammalian DNA damage response, ADP-ribosylation signalling is of crucial importance to mark sites of DNA damage as well as recruit and regulate repairs factors. Specifically, the PARP1:HPF1 complex recognises damaged DNA and catalyses the formation of serine-linked ADP-ribosylation marks (mono-Ser-ADPr), which are extended into ADP-ribose polymers (poly-Ser-ADPr) by PARP1 alone. Poly-Ser-ADPr is reversed by PARG, while the terminal mono-Ser-ADPr is removed by ARH3. Despite its significance and apparent evolutionary conservation, little is known about ADP-ribosylation signalling in non-mammalian Animalia. The presence of HPF1, but absence of ARH3, in some insect genomes, including Drosophila species, raises questions regarding the existence and reversal of serine-ADP-ribosylation in these species. Here we show by quantitative proteomics that Ser-ADPr is the major form of ADP-ribosylation in the DNA damage response of Drosophila melanogaster and is dependent on the dParp1:dHpf1 complex. Moreover, our structural and biochemical investigations uncover the mechanism of mono-Ser-ADPr removal by Drosophila Parg. Collectively, our data reveal PARP:HPF1-mediated Ser-ADPr as a defining feature of the DDR in Animalia. The striking conservation within this kingdom suggests that organisms that carry only a core set of ADP-ribosyl metabolising enzymes, such as Drosophila, are valuable model organisms to study the physiological role of Ser-ADPr signalling