34 research outputs found
Holonomic quantum computation in subsystems
We introduce a generalized method of holonomic quantum computation (HQC)
based on encoding in subsystems. As an application, we propose a scheme for
applying holonomic gates to unencoded qubits by the use of a noisy ancillary
qubit. This scheme does not require initialization in a subspace since all
dynamical effects factor out as a transformation on the ancilla. We use this
approach to show how fault-tolerant HQC can be realized via 2-local
Hamiltonians with perturbative gadgets.Comment: Improved presentation, references adde
Robustness of operator quantum error correction with respect to initialization errors
In the theory of operator quantum error correction (OQEC), the notion of
correctability is defined under the assumption that states are perfectly
initialized inside a particular subspace, a factor of which (a subsystem)
contains the protected information. If the initial state of the system does not
belong entirely to the subspace in question, the restriction of the state to
the otherwise correctable subsystem may not remain invariant after the
application of noise and error correction. It is known that in the case of
decoherence-free subspaces and subsystems (DFSs) the condition for perfect
unitary evolution inside the code imposes more restrictive conditions on the
noise process if one allows imperfect initialization. It was believed that
these conditions are necessary if DFSs are to be able to protect imperfectly
encoded states from subsequent errors. By a similar argument, general OQEC
codes would also require more restrictive error-correction conditions for the
case of imperfect initialization. In this study, we examine this requirement by
looking at the errors on the encoded state. In order to quantitatively analyze
the errors in an OQEC code, we introduce a measure of the fidelity between the
encoded information in two states for the case of subsystem encoding. A major
part of the paper concerns the definition of the measure and the derivation of
its properties. In contrast to what was previously believed, we obtain that
more restrictive conditions are not necessary neither for DFSs nor for general
OQEC codes. This is because the effective noise that can arise inside the code
as a result of imperfect initialization is such that it can only increase the
fidelity of an imperfectly encoded state with a perfectly encoded one.Comment: 8 pages, no figure
Adiabatic Markovian Dynamics
We propose a theory of adiabaticity in quantum Markovian dynamics based on a
decomposition of the Hilbert space induced by the asymptotic behavior of the
Lindblad semigroup. A central idea of our approach is that the natural
generalization of the concept of eigenspace of the Hamiltonian in the case of
Markovian dynamics is a noiseless subsystem with a minimal noisy cofactor.
Unlike previous attempts to define adiabaticity for open systems, our approach
deals exclusively with physical entities and provides a simple, intuitive
picture at the underlying Hilbert-space level, linking the notion of
adiabaticity to the theory of noiseless subsystems. As an application of our
theory, we propose a framework for decoherence-assisted computation in
noiseless codes under general Markovian noise. We also formulate a
dissipation-driven approach to holonomic computation based on adiabatic
dragging of subsystems that is generally not achievable by non-dissipative
means.Comment: 4+3 page
General conditions for approximate quantum error correction and near-optimal recovery channels
We derive necessary and sufficient conditions for the approximate
correctability of a quantum code, generalizing the Knill-Laflamme conditions
for exact error correction. Our measure of success of the recovery operation is
the worst-case entanglement fidelity of the overall process. We show that the
optimal recovery fidelity can be predicted exactly from a dual optimization
problem on the environment causing the noise. We use this result to obtain an
easy-to-calculate estimate of the optimal recovery fidelity as well as a way of
constructing a class of near-optimal recovery channels that work within twice
the minimal error. In addition to standard subspace codes, our results hold for
subsystem codes and hybrid quantum-classical codes.Comment: minor clarifications, typos edited, references added
The Multi-round Process Matrix
We develop an extension of the process matrix (PM) framework for correlations
between quantum operations with no causal order that allows multiple rounds of
information exchange for each party compatibly with the assumption of
well-defined causal order of events locally. We characterise the higher-order
process describing such correlations, which we name the multi-round process
matrix (MPM), and formulate a notion of causal nonseparability for it that
extends the one for standard PMs. We show that in the multi-round case there
are novel manifestations of causal nonseparability that are not captured by a
naive application of the standard PM formalism: we exhibit an instance of an
operator that is both a valid PM and a valid MPM, but is causally separable in
the first case and can violate causal inequalities in the second case due to
the possibility of using a side channel.Comment: 24 pages with 6 figures, various improvements and corrections,
accepted in Quantu
Operational formulation of time reversal in quantum theory
The symmetry of quantum theory under time reversal has long been a subject of
controversy because the transition probabilities given by Born's rule do not
apply backward in time. Here, we resolve this problem within a rigorous
operational probabilistic framework. We argue that reconciling time reversal
with the probabilistic rules of the theory requires a notion of operation that
permits realizations via both pre- and post-selection. We develop the
generalized formulation of quantum theory that stems from this approach and
give a precise definition of time-reversal symmetry, emphasizing a previously
overlooked distinction between states and effects. We prove an analogue of
Wigner's theorem, which characterizes all allowed symmetry transformations in
this operationally time-symmetric quantum theory. Remarkably, we find larger
classes of symmetry transformations than those assumed before. This suggests a
possible direction for search of extensions of known physics.Comment: 17 pages, 5 figure
Fault tolerance for holonomic quantum computation
We review an approach to fault-tolerant holonomic quantum computation on
stabilizer codes. We explain its workings as based on adiabatic dragging of the
subsystem containing the logical information around suitable loops along which
the information remains protected.Comment: 16 pages, this is a chapter in the book "Quantum Error Correction",
edited by Daniel A. Lidar and Todd A. Brun, (Cambridge University Press,
2013), at
http://www.cambridge.org/us/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/quantum-error-correctio
Infinitesimal local operations and differential conditions for entanglement monotones
Much of the theory of entanglement concerns the transformations that are
possible to a state under local operations with classical communication (LOCC);
however, this set of operations is complicated and difficult to describe
mathematically. An idea which has proven very useful is that of the {\it
entanglement monotone}: a function of the state which is invariant under local
unitary transformations and always decreases (or increases) on average after
any local operation. In this paper we look on LOCC as the set of operations
generated by {\it infinitesimal local operations}, operations which can be
performed locally and which leave the state little changed. We show that a
necessary and sufficient condition for a function of the state to be an
entanglement monotone under local operations that do not involve information
loss is that the function be a monotone under infinitesimal local operations.
We then derive necessary and sufficient differential conditions for a function
of the state to be an entanglement monotone. We first derive two conditions for
local operations without information loss, and then show that they can be
extended to more general operations by adding the requirement of {\it
convexity}. We then demonstrate that a number of known entanglement monotones
satisfy these differential criteria. Finally, as an application, we use the
differential conditions to construct a new polynomial entanglement monotone for
three-qubit pure states. It is our hope that this approach will avoid some of
the difficulties in the theory of multipartite and mixed-state entanglement.Comment: 21 pages, RevTeX format, no figures, three minor corrections,
including a factor of two in the differential conditions, the tracelessness
of the matrix in the convexity condition, and the proof that the local purity
is a monotone under local measurements. The conclusions of the paper are
unaffecte