681 research outputs found
Recombination and Population Mosaic of a Multifunctional Viral Gene, Adeno-Associated Virus cap
Homologous recombination is a dominant force in evolution and results in genetic mosaics. To detect evidence of recombination events and assess the biological significance of genetic mosaics, genome sequences for various viral populations of reasonably large size are now available in the GenBank. We studied a multi-functional viral gene, the adeno-associated virus (AAV) cap gene, which codes for three capsid proteins, VP1, VP2 and VP3. VP1-3 share a common C-terminal domain corresponding to VP3, which forms the viral core structure, while the VP1 unique N-terminal part contains an enzymatic domain with phospholipase A2 activity. Our recombinant detection program (RecI) revealed five novel recombination events, four of which have their cross-over points in the N-terminal, VP1 and VP2 unique region. Comparison of phylogenetic trees for different cap gene regions confirmed discordant phylogenies for the recombinant sequences. Furthermore, differences in the phylogenetic tree structures for the VP1 unique (VP1u) region and the rest of cap highlighted the mosaic nature of cap gene in the AAV population: two dominant forms of VP1u sequences were identified and these forms are linked to diverse sequences in the rest of cap gene. This observation together with the finding of frequent recombination in the VP1 and 2 unique regions suggests that this region is a recombination hot spot. Recombination events in this region preserve protein blocks of distinctive functions and contribute to convergence in VP1u and divergence of the rest of cap. Additionally the possible biological significance of two dominant VP1u forms is inferred
Thermodynamic graph-rewriting
We develop a new thermodynamic approach to stochastic graph-rewriting. The
ingredients are a finite set of reversible graph-rewriting rules called
generating rules, a finite set of connected graphs P called energy patterns and
an energy cost function. The idea is that the generators define the qualitative
dynamics, by showing which transformations are possible, while the energy
patterns and cost function specify the long-term probability of any
reachable graph. Given the generators and energy patterns, we construct a
finite set of rules which (i) has the same qualitative transition system as the
generators; and (ii) when equipped with suitable rates, defines a
continuous-time Markov chain of which is the unique fixed point. The
construction relies on the use of site graphs and a technique of `growth
policy' for quantitative rule refinement which is of independent interest. This
division of labour between the qualitative and long-term quantitative aspects
of the dynamics leads to intuitive and concise descriptions for realistic
models (see the examples in S4 and S5). It also guarantees thermodynamical
consistency (AKA detailed balance), otherwise known to be undecidable, which is
important for some applications. Finally, it leads to parsimonious
parameterizations of models, again an important point in some applications
Determinism in the one-way model
We introduce a flow condition on open graph states (graph states with inputs
and outputs) which guarantees globally deterministic behavior of a class of
measurement patterns defined over them. Dependent Pauli corrections are derived
for all such patterns, which equalize all computation branches, and only depend
on the underlying entanglement graph and its choice of inputs and outputs.
The class of patterns having flow is stable under composition and
tensorization, and has unitary embeddings as realizations. The restricted class
of patterns having both flow and reverse flow, supports an operation of
adjunction, and has all and only unitaries as realizations.Comment: 8 figures, keywords: measurement based quantum computing,
deterministic computing; Published version, including a new section on
circuit decompositio
Which graph states are useful for quantum information processing?
Graph states are an elegant and powerful quantum resource for measurement
based quantum computation (MBQC). They are also used for many quantum protocols
(error correction, secret sharing, etc.). The main focus of this paper is to
provide a structural characterisation of the graph states that can be used for
quantum information processing. The existence of a gflow (generalized flow) is
known to be a requirement for open graphs (graph, input set and output set) to
perform uniformly and strongly deterministic computations. We weaken the gflow
conditions to define two new more general kinds of MBQC: uniform
equiprobability and constant probability. These classes can be useful from a
cryptographic and information point of view because even though we cannot do a
deterministic computation in general we can preserve the information and
transfer it perfectly from the inputs to the outputs. We derive simple graph
characterisations for these classes and prove that the deterministic and
uniform equiprobability classes collapse when the cardinalities of inputs and
outputs are the same. We also prove the reversibility of gflow in that case.
The new graphical characterisations allow us to go from open graphs to graphs
in general and to consider this question: given a graph with no inputs or
outputs fixed, which vertices can be chosen as input and output for quantum
information processing? We present a characterisation of the sets of possible
inputs and ouputs for the equiprobability class, which is also valid for
deterministic computations with inputs and ouputs of the same cardinality.Comment: 13 pages, 2 figure
Reversing Single Sessions
Session-based communication has gained a widespread acceptance in practice as
a means for developing safe communicating systems via structured interactions.
In this paper, we investigate how these structured interactions are affected by
reversibility, which provides a computational model allowing executed
interactions to be undone. In particular, we provide a systematic study of the
integration of different notions of reversibility in both binary and multiparty
single sessions. The considered forms of reversibility are: one for completely
reversing a given session with one backward step, and another for also
restoring any intermediate state of the session with either one backward step
or multiple ones. We analyse the costs of reversing a session in all these
different settings. Our results show that extending binary single sessions to
multiparty ones does not affect the reversibility machinery and its costs
Batalin-Vilkovisky Integrals in Finite Dimensions
The Batalin-Vilkovisky method (BV) is the most powerful method to analyze
functional integrals with (infinite-dimensional) gauge symmetries presently
known. It has been invented to fix gauges associated with symmetries that do
not close off-shell. Homological Perturbation Theory is introduced and used to
develop the integration theory behind BV and to describe the BV quantization of
a Lagrangian system with symmetries. Localization (illustrated in terms of
Duistermaat-Heckman localization) as well as anomalous symmetries are discussed
in the framework of BV.Comment: 35 page
Reversibility in the Extended Measurement-based Quantum Computation
When applied on some particular quantum entangled states, measurements are
universal for quantum computing. In particular, despite the fondamental
probabilistic evolution of quantum measurements, any unitary evolution can be
simulated by a measurement-based quantum computer (MBQC). We consider the
extended version of the MBQC where each measurement can occur not only in the
(X,Y)-plane of the Bloch sphere but also in the (X,Z)- and (Y,Z)-planes. The
existence of a gflow in the underlying graph of the computation is a necessary
and sufficient condition for a certain kind of determinism. We extend the
focused gflow (a gflow in a particular normal form) defined for the (X,Y)-plane
to the extended case, and we provide necessary and sufficient conditions for
the existence of such normal forms
Distribution-based bisimulation for labelled Markov processes
In this paper we propose a (sub)distribution-based bisimulation for labelled
Markov processes and compare it with earlier definitions of state and event
bisimulation, which both only compare states. In contrast to those state-based
bisimulations, our distribution bisimulation is weaker, but corresponds more
closely to linear properties. We construct a logic and a metric to describe our
distribution bisimulation and discuss linearity, continuity and compositional
properties.Comment: Accepted by FORMATS 201
Canny Algorithm: A New Estimator for Primordial Non-Gaussianities
We utilize the Canny edge detection algorithm as an estimator for primordial
non-Gaussianities. In preliminary tests on simulated sky patches with a window
size of 57 degrees and multipole moments up to 1024, we find a
distinction between maps with local non-Gaussianity (or
) and Gaussian maps. We present evidence that high resolution CMB
studies will strongly enhance the sensitivity of the Canny algorithm to
non-Gaussianity, making it a promising technique to estimate primordial
non-Gaussianity.Comment: 4 pages, 4 figures; v2. 5pp, as submitted to PRD; v3. 5pp, minor
clarifications and added discussion of negative fNL value
- âŠ