arXiv subjects
Publications and source records attributed to Ognyan Oreshkov.
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.
The idea that events obey a definite causal order is deeply rooted in our understanding of the world and at the basis of the very notion of time. But where does causal order come from, and is it a necessary property of nature? We address these questions from the standpoint of quantum mechanics in a new framework for multipartite correlations which does not assume a pre-defined global causal structure but only the validity of quantum mechanics locally. All known situations that respect causal order, including space-like and time-like separated experiments, are captured by this framework in a unified way. Surprisingly, we find correlations that cannot be understood in terms of definite causal order. These correlations violate a 'causal inequality' that is satisfied by all space-like and time-like correlations. We further show that in a classical limit causal order always arises, which suggests that space-time may emerge from a more fundamental structure in a quantum-to-classical transition.
In Ref. [1], we proved a duality between two optimizations problems. The primary one is, given two quantum channels M and N, to find a quantum channel R such that RN is optimally close to M as measured by the worst-case entanglement fidelity. The dual problem involves the information obtained by the environment through the so-called complementary channels M* and N*, and consists in finding a quantum channel R' such that R'M* is optimally close to N*. It turns out to be easier to find an approximate solution to the dual problem in certain important situations, notably when M is the identity channel---the problem of quantum error correction---yielding a good near-optimal worst-case entanglement fidelity as well as the corresponding near-optimal correcting channel. Here we provide more detailed proofs of these results. In addition, we generalize the main theorem to the case where there are certain constraints on the implementation of R, namely on the number of Kraus operators. We also offer a simple algebraic form for the near-optimal correction channel in the case M=id. For approximate error correction, we show that any epsilon-correctable channel is, up to appending an ancilla, epsilon-close to an exactly correctable one. We also demonstrate an application of our theorem to the problem of minimax state discrimination.
Quantum detectors provide information about quantum systems by establishing correlations between certain properties of those systems and a set of macroscopically distinct states of the corresponding measurement devices. A natural question of fundamental significance is how much information a quantum detector can extract from the quantum system it is applied to. In the present paper we address this question within a precise framework: given a quantum detector implementing a specific generalized quantum measurement, what is the optimal performance achievable with it for a concrete information readout task, and what is the optimal way to encode information in the quantum system in order to achieve this performance? We consider some of the most common information transmission tasks - the Bayes cost problem (of which minimal error discrimination is a special case), unambiguous message discrimination, and the maximal mutual information. We provide general solutions to the Bayesian and unambiguous discrimination problems. We also show that the maximal mutual information has an interpretation of a capacity of the measurement, and derive various properties that it satisfies, including its relation to the accessible information of an ensemble of states, and its form in the case of a group-covariant measurement. We illustrate our results with the example of a noisy two-level symmetric informationally complete measurement, for whose capacity we give analytical proofs of optimality. The framework presented here provides a natural way to characterize generalized quantum measurements in terms of their information readout capabilities.
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.
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.
In [Phys. Rev. Lett. 95, 080502 (2005)], Zheng proposed a scheme for implementing a conditional phase shift via adiabatic passages. The author claims that the gate is "neither of dynamical nor geometric origin" on the grounds that the Hamiltonian does not follow a cyclic change. He further argues that "in comparison with the adiabatic geometric gates, the nontrivial cyclic loop is unnecessary, and thus the errors in obtaining the required solid angle are avoided, which makes this new kind of phase gates superior to the geometric gates." In this Comment, we point out that geometric operations, including adiabatic holonomies, can be induced by noncyclic Hamiltonians, and show that Zheng's gate is geometric. We also argue that the nontrivial loop responsible for the phase shift is there, and it requires the same precision as in any adiabatic geometric gate.
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.
This paper generalizes and expands upon the work [Phys. Rev. Lett. 102, 070502 (2009)] where we introduced a scheme for fault-tolerant holonomic quantum computation (HQC) on stabilizer codes. HQC is an all-geometric strategy based on non-Abelian adiabatic holonomies, which is known to be robust against various types of errors in the control parameters. The scheme we present shows that HQC is a scalable method of computation, and opens the possibility for combining the benefits of error correction with the inherent resilience of the holonomic approach. We show that with the Bacon-Shor code the scheme can be implemented using Hamiltonian operators of weight 2 and 3.
A quantum ensemble $\{(p_x, ρ_x)\}$ is a set of quantum states each occurring randomly with a given probability. Quantum ensembles are necessary to describe situations with incomplete a priori information, such as the output of a stochastic quantum channel (generalized measurement), and play a central role in quantum communication. In this paper, we propose measures of distance and fidelity between two quantum ensembles. We consider two approaches: the first one is based on the ability to mimic one ensemble given the other one as a resource and is closely related to the Monge-Kantorovich optimal transportation problem, while the second one uses the idea of extended-Hilbert-space (EHS) representations which introduce auxiliary pointer (or flag) states. Both types of measures enjoy a number of desirable properties. The Kantorovich measures, albeit monotonic under deterministic quantum operations, are not monotonic under generalized measurements. In contrast, the EHS measures are. We present operational interpretations for both types of measures. We also show that the EHS fidelity between ensembles provides a novel interpretation of the fidelity between mixed states--the latter is equal to the maximum of the fidelity between all pure-state ensembles whose averages are equal to the mixed states being compared. We finally use the new measures to define distance and fidelity for stochastic quantum channels and positive operator-valued measures (POVMs). These quantities may be useful in the context of tomography of stochastic quantum channels and quantum detectors.
We explain how to combine holonomic quantum computation (HQC) with fault tolerant quantum error correction. This establishes the scalability of HQC, putting it on equal footing with other models of computation, while retaining the inherent robustness the method derives from its geometric nature.
This thesis examines seven topics in the areas of deterministic open-quantum-system dynamics, quantum measurements, and quantum error correction (QEC). The first topic concerns weak measurements and their universality as a means of generating quantum operations. It is shown that every generalized measurement can be implemented as a sequence of weak (infinitesimal) measurements. The second topic is an application of this result to the theory of entanglement. Necessary and sufficient differential conditions for entanglement monotones are derived and are used to find a new entanglement monotone for three-qubit states. The third topic is a study of the performance of different master equations for the description of non-Markovian dynamics. The system studied is a qubit coupled to a spin bath via the Ising interaction. The fourth topic investigates continuous QEC in the presence of non-Markovian noise. It is shown that due to the existence of a Zeno regime in non-Markovian dynamics, the performance of continuous QEC exhibits a quadratic improvement for a sufficiently high time resolution of the error-correcting operations. The fifth topic studies the conditions for correctability of subsystem codes under continuous dynamics. Necessary and sufficient conditions on the Lindbladian and the system-environment Hamiltonian are derived. The sixth topic examines the robustness of operator QEC codes against initialization errors. A new measure of fidelity for encoded information is introduced and is used to show that operator codes are robust against imperfect initialization without the need for restriction of the standard operator QEC conditions. The last topic concerns holonomic quantum computation (HQC) and stabilizer codes. A fault-tolerant scheme for HQC is presented, proving the scalability of the holonomic approach.
We study the conditions under which a subsystem code is correctable in the presence of noise that results from continuous dynamics. We consider the case of Markovian dynamics as well as the general case of Hamiltonian dynamics of the system and the environment, and derive necessary and sufficient conditions on the Lindbladian and system-environment Hamiltonian, respectively. For the case when the encoded information is correctable during an entire time interval, the conditions we obtain can be thought of as generalizations of the previously derived conditions for decoherence-free subsystems to the case where the subsystem is time dependent. As a special case, we consider conditions for unitary correctability. In the case of Hamiltonian evolution, the conditions for unitary correctability concern only the effect of the Hamiltonian on the system, whereas the conditions for general correctability concern the entire system-environment Hamiltonian. We also derive conditions on the Hamiltonian which depend on the initial state of the environment, as well as conditions for correctability at only a particular moment of time. We discuss possible implications of our results for approximate quantum error correction.
We discuss two methods to encode one qubit into six physical qubits. Each of our two examples corrects an arbitrary single-qubit error. Our first example is a degenerate six-qubit quantum error-correcting code. We explicitly provide the stabilizer generators, encoding circuit, codewords, logical Pauli operators, and logical CNOT operator for this code. We also show how to convert this code into a non-trivial subsystem code that saturates the subsystem Singleton bound. We then prove that a six-qubit code without entanglement assistance cannot simultaneously possess a Calderbank-Shor-Steane (CSS) stabilizer and correct an arbitrary single-qubit error. A corollary of this result is that the Steane seven-qubit code is the smallest single-error correcting CSS code. Our second example is the construction of a non-degenerate six-qubit CSS entanglement-assisted code. This code uses one bit of entanglement (an ebit) shared between the sender and the receiver and corrects an arbitrary single-qubit error. The code we obtain is globally equivalent to the Steane seven-qubit code and thus corrects an arbitrary error on the receiver's half of the ebit as well. We prove that this code is the smallest code with a CSS structure that uses only one ebit and corrects an arbitrary single-qubit error on the sender's side. We discuss the advantages and disadvantages for each of the two codes.
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.
It is well known that any projective measurement can be decomposed into a sequence of weak measurements, which cause only small changes to the state. Similar constructions for generalized measurements, however, have relied on the use of an ancilla system. We show that any generalized measurement can be decomposed into a sequence of weak measurements without the use of an ancilla, and give an explicit construction for these weak measurements. The measurement procedure has the structure of a random walk along a curve in state space, with the measurement ending when one of the end points is reached. This shows that any measurement can be generated by weak measurements, and hence that weak measurements are universal. This may have important applications to the theory of entanglement.
We study the effect of continuous quantum error correction in the case where each qubit in a codeword is subject to a general Hamiltonian interaction with an independent bath. We first consider the scheme in the case of a trivial single-qubit code, which provides useful insights into the workings of continuous error correction and the difference between Markovian and non-Markovian decoherence. We then study the model of a bit-flip code with each qubit coupled to an independent bath qubit and subject to continuous correction, and find its solution. We show that for sufficiently large error-correction rates, the encoded state approximately follows an evolution of the type of a single decohering qubit, but with an effectively decreased coupling constant. The factor by which the coupling constant is decreased scales quadratically with the error-correction rate. This is compared to the case of Markovian noise, where the decoherence rate is effectively decreased by a factor which scales only linearly with the rate of error correction. The quadratic enhancement depends on the existence of a Zeno regime in the Hamiltonian evolution which is absent in purely Markovian dynamics. We analyze the range of validity of this result and identify two relevant time scales. Finally, we extend the result to more general codes and argue that the performance of continuous error correction will exhibit the same qualitative characteristics.
We study the analytically solvable Ising model of a single qubit system coupled to a spin bath. The purpose of this study is to analyze and elucidate the performance of Markovian and non-Markovian master equations describing the dynamics of the system qubit, in comparison to the exact solution. We find that the time-convolutionless master equation performs particularly well up to fourth order in the system-bath coupling constant, in comparison to the Nakajima-Zwanzig master equation. Markovian approaches fare poorly due to the infinite bath correlation time in this model. A recently proposed post-Markovian master equation performs comparably to the time-convolutionless master equation for a properly chosen memory kernel, and outperforms all the approximation methods considered here at long times. Our findings shed light on the applicability of master equations to the description of reduced system dynamics in the presence of spin-baths.