417 research outputs found
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
- …