11,318 research outputs found
Bisimulation for quantum processes
In this paper we introduce a novel notion of probabilistic bisimulation for
quantum processes and prove that it is congruent with respect to various
process algebra combinators including parallel composition even when both
classical and quantum communications are present. We also establish some basic
algebraic laws for this bisimulation. In particular, we prove uniqueness of the
solutions to recursive equations of quantum processes, which provides a
powerful proof technique for verifying complex quantum protocols.Comment: Journal versio
Unambiguous discrimination between quantum mixed states
We prove that the states secretly chosen from a mixed state set can be
perfectly discriminated if and only if these states are orthogonal. The
sufficient and necessary condition when nonorthogonal quantum mixed states can
be unambiguously discriminated is also presented. Furthermore, we derive a
series of lower bounds on the inconclusive probability of unambiguous
discrimination of states from a mixed state set with \textit{a prior}
probabilities.Comment: 4 pages, journal versio
Catalyst-assisted Probabilistic Entanglement Transformation
We are concerned with catalyst-assisted probabilistic entanglement
transformations. A necessary and sufficient condition is presented under which
there exist partial catalysts that can increase the maximal transforming
probability of a given entanglement transformation. We also design an algorithm
which leads to an efficient method for finding the most economical partial
catalysts with minimal dimension. The mathematical structure of
catalyst-assisted probabilistic transformation is carefully investigated.Comment: 12 page
- …