arXiv subjects

D. A. Lidar

Publications and source records attributed to D. A. Lidar.

At least 37 records · Page 2Linked to original sources

arXiv2009

Quantum Adiabatic Brachistochrone

We formulate a time-optimal approach to adiabatic quantum computation (AQC). A corresponding natural Riemannian metric is also derived, through which AQC can be understood as the problem of finding a geodesic on the manifold of control parameters. This geometrization of AQC is demonstrated through two examples, where we show that it leads to improved performance of AQC, and sheds light on the roles of entanglement and curvature of the control manifold in algorithmic performance.

quant-ph↗

arXiv2009

Adiabatic approximation with exponential accuracy for many-body systems and quantum computation

We derive a version of the adiabatic theorem that is especially suited for applications in adiabatic quantum computation, where it is reasonable to assume that the adiabatic interpolation between the initial and final Hamiltonians is controllable. Assuming that the Hamiltonian is analytic in a finite strip around the real time axis, that some number of its time-derivatives vanish at the initial and final times, and that the target adiabatic eigenstate is non-degenerate and separated by a gap from the rest of the spectrum, we show that one can obtain an error between the final adiabatic eigenstate and the actual time-evolved state which is exponentially small in the evolution time, where this time itself scales as the square of the norm of the time-derivative of the Hamiltonian, divided by the cube of the minimal gap.

quant-ph↗

arXiv2009

Maps for general open quantum systems and a theory of linear quantum error correction

We show that quantum subdynamics of an open quantum system can always be described by a Hermitian map, irrespective of the form of the initial total system state. Since the theory of quantum error correction was developed based on the assumption of completely positive (CP) maps, we present a generalized theory of linear quantum error correction, which applies to any linear map describing the open system evolution. In the physically relevant setting of Hermitian maps, we show that the CP-map based version of quantum error correction theory applies without modifications. However, we show that a more general scenario is also possible, where the recovery map is Hermitian but not CP. Since non-CP maps have non-positive matrices in their range, we provide a geometric characterization of the positivity domain of general linear maps. In particular, we show that this domain is convex, and that this implies a simple algorithm for finding its boundary.

quant-ph↗

arXiv2009

Vanishing quantum discord is necessary and sufficient for completely positive maps

Two long standing open problems in quantum theory are to characterize the class of initial system-bath states for which quantum dynamics is equivalent to (1) a map between the initial and final system states, and (2) a completely positive (CP) map. The CP map problem is especially important, due to the widespread use of such maps in quantum information processing and open quantum systems theory. Here we settle both these questions by showing that the answer to the first is "all", with the resulting map being Hermitian, and that the answer to the second is that CP maps arise exclusively from the class of separable states with vanishing quantum discord.

quant-ph↗

arXiv2008

Entanglement, fidelity and topological entropy in a quantum phase transition to topological order

We present a numerical study of a quantum phase transition from a spin-polarized to a topologically ordered phase in a system of spin-1/2 particles on a torus. We demonstrate that this non-symmetry-breaking topological quantum phase transition (TOQPT) is of second order. The transition is analyzed via the ground state energy and fidelity, block entanglement, Wilson loops, and the recently proposed topological entropy. Only the topological entropy distinguishes the TOQPT from a standard QPT, and remarkably, does so already for small system sizes. Thus the topological entropy serves as a proper order parameter. We demonstrate that our conclusions are robust under the addition of random perturbations, not only in the topological phase, but also in the spin polarized phase and even at the critical point.

quant-ph↗

arXiv2008

Rigorous Bounds on the Performance of a Hybrid Dynamical Decoupling-Quantum Computing Scheme

We study dynamical decoupling in a multi-qubit setting, where it is combined with quantum logic gates. This is illustrated in terms of computation using Heisenberg interactions only, where global decoupling pulses commute with the computation. We derive a rigorous error bound on the trace distance or fidelity between the desired computational state and the actual time-evolved state, for a system subject to coupling to a bounded-strength bath. The bound is expressed in terms of the operator norm of the effective Hamiltonian generating the evolution in the presence of decoupling and logic operations. We apply the bound to the case of periodic pulse sequences and find that in order maintain a constant trace distance or fidelity, the number of cycles -- at fixed pulse interval and width -- scales in inverse proportion to the square of the number of qubits. This sets a scalability limit on the protection of quantum computation using periodic dynamical decoupling.

quant-ph↗

arXiv2008

Distance Bounds on Quantum Dynamics

We derive rigorous upper bounds on the distance between quantum states in an open system setting, in terms of the operator norm between the Hamiltonians describing their evolution. We illustrate our results with an example taken from protection against decoherence using dynamical decoupling.

quant-ph↗

arXiv2008

Quantum Process Tomography: Resource Analysis of Different Strategies

Characterization of quantum dynamics is a fundamental problem in quantum physics and quantum information science. Several methods are known which achieve this goal, namely Standard Quantum Process Tomography (SQPT), Ancilla-Assisted Process Tomography (AAPT), and the recently proposed scheme of Direct Characterization of Quantum Dynamics (DCQD). Here, we review these schemes and analyze them with respect to some of the physical resources they require. Although a reliable figure-of-merit for process characterization is not yet available, our analysis can provide a benchmark which is necessary for choosing the scheme that is the most appropriate in a given situation, with given resources. As a result, we conclude that for quantum systems where two-body interactions are not naturally available, SQPT is the most efficient scheme. However, for quantum systems with controllable two-body interactions, the DCQD scheme is more efficient than other known QPT schemes in terms of the total number of required elementary quantum operations.

quant-ph↗

arXiv2007

Robust Quantum Error Correction via Convex Optimization

We present a semidefinite program optimization approach to quantum error correction that yields codes and recovery procedures that are robust against significant variations in the noise channel. Our approach allows us to optimize the encoding, recovery, or both, and is amenable to approximations that significantly improve computational cost while retaining fidelity. We illustrate our theory numerically for optimized 5-qubit codes, using the standard [5,1,3] code as a benchmark. Our optimized encoding and recovery yields fidelities that are uniformly higher by 1-2 orders of magnitude against random unitary weight-2 errors compared to the [5,1,3] code with standard recovery. We observe similar improvement for a 4-qubit decoherence-free subspace code.

quant-ph↗

arXiv2007

Direct Characterization of Quantum Dynamics: General Theory

The characterization of the dynamics of quantum systems is a task of both fundamental and practical importance. A general class of methods which have been developed in quantum information theory to accomplish this task is known as quantum process tomography (QPT). In an earlier paper [M. Mohseni and D. A. Lidar, Phys. Rev. Lett. 97, 170501 (2006)] we presented a new algorithm for Direct Characterization of Quantum Dynamics (DCQD) of two-level quantum systems. Here we provide a generalization by developing a theory for direct and complete characterization of the dynamics of arbitrary quantum systems. In contrast to other QPT schemes, DCQD relies on quantum error-detection techniques and does not require any quantum state tomography. We demonstrate that for the full characterization of the dynamics of n d-level quantum systems (with d a power of a prime), the minimal number of required experimental configurations is reduced quadratically from d^{4n} in separable QPT schemes to d^{2n} in DCQD.

quant-ph↗

arXiv2007

Direct Characterization of Quantum Dynamics

The characterization of quantum dynamics is a fundamental and central task in quantum mechanics. This task is typically addressed by quantum process tomography (QPT). Here we present an alternative "direct characterization of quantum dynamics" (DCQD) algorithm. In contrast to all known QPT methods, this algorithm relies on error-detection techniques and does not require any quantum state tomography. We illustrate that, by construction, the DCQD algorithm can be applied to the task of obtaining partial information about quantum dynamics. Furthermore, we argue that the DCQD algorithm is experimentally implementable in a variety of prominent quantum information processing systems, and show how it can be realized in photonic systems with present day technology.

quant-ph↗

arXiv2007

Linking entanglement and quantum phase transitions via density functional theory

Density functional theory (DFT) is shown to provide a novel conceptual and computational framework for entanglement in interacting many-body quantum systems. DFT can, in particular, shed light on the intriguing relationship between quantum phase transitions and entanglement. We use DFT concepts to express entanglement measures in terms of the first or second derivative of the ground state energy. We illustrate the versatility of the DFT approach via a variety of analytically solvable models. As a further application we discuss entanglement and quantum phase transitions in the case of mean field approximations for realistic models of many-body systems.

quant-ph↗

arXiv2006

Abelian and non-Abelian geometric phases in adiabatic open quantum systems

We introduce a self-consistent framework for the analysis of both Abelian and non-Abelian geometric phases associated with open quantum systems, undergoing cyclic adiabatic evolution. We derive a general expression for geometric phases, based on an adiabatic approximation developed within an inherently open-systems approach. This expression provides a natural generalization of the analogous one for closed quantum systems, and we prove that it satisfies all the properties one might expect of a good definition of a geometric phase, including gauge invariance. A striking consequence is the emergence of a finite time interval for the observation of geometric phases. The formalism is illustrated via the canonical example of a spin-1/2 particle in a time-dependent magnetic field. Remarkably, the geometric phase in this case is immune to dephasing and spontaneous emission in the renormalized Hamiltonian eigenstate basis. This result positively impacts holonomic quantum computing.

quant-ph↗

arXiv2006

Reply to M. Ziman's "Notes on optimality of direct characterization of quantum dynamics"

Recently M. Ziman [quant-ph/0603151] criticized our approach for quantifying the required physical resources in the theory of Direct Characterization of Quantum Dynamics (DCQD) [quant-ph/0601033, quant-ph/0601034] in comparison to other quantum process tomography (QPT) schemes. Here we argue that Ziman's comments regarding optimality, quantumness, and the novelty of DCQD are inaccurate. Specifically, we demonstrate that DCQD is optimal with respect to both the required number of experimental configurations and the number of possible outcomes over all known QPT schemes in the 2^{2n} dimensional Hilbert space of n system and n ancilla qubits. Moreover, we show DCQD is more efficient than all known QPT schemes in the sense of overall required number of quantum operations. Furthermore, we argue that DCQD is a new method for characterizing quantum dynamics and cannot be considered merely as a subclass of previously known QPT schemes.

quant-ph↗

arXiv2006

Internal Consistency of Fault-Tolerant Quantum Error Correction in Light of Rigorous Derivations of the Quantum Markovian Limit

We critically examine the internal consistency of a set of minimal assumptions entering the theory of fault-tolerant quantum error correction for Markovian noise. These assumptions are: fast gates, a constant supply of fresh and cold ancillas, and a Markovian bath. We point out that these assumptions may not be mutually consistent in light of rigorous formulations of the Markovian approximation. Namely, Markovian dynamics requires either the singular coupling limit (high temperature), or the weak coupling limit (weak system-bath interaction). The former is incompatible with the assumption of a constant and fresh supply of cold ancillas, while the latter is inconsistent with fast gates. We discuss ways to resolve these inconsistencies. As part of our discussion we derive, in the weak coupling limit, a new master equation for a system subject to periodic driving.

quant-ph↗

arXiv2005

Adiabatic Quantum Computation in Open Systems

We analyze the performance of adiabatic quantum computation (AQC) under the effect of decoherence. To this end, we introduce an inherently open-systems approach, based on a recent generalization of the adiabatic approximation. In contrast to closed systems, we show that a system may initially be in an adiabatic regime, but then undergo a transition to a regime where adiabaticity breaks down. As a consequence, the success of AQC depends sensitively on the competition between various pertinent rates, giving rise to optimality criteria.

quant-ph↗

arXiv2005

Entanglement Observables and Witnesses for Interacting Quantum Spin Systems

We discuss the detection of entanglement in interacting quantum spin systems. First, thermodynamic Hamiltonian-based witnesses are computed for a general class of one-dimensional spin-1/2 models. Second, we introduce optimal bipartite entanglement observables. We show that a bipartite entanglement measure can generally be associated to a set of independent two-body spin observables whose expectation values can be used to witness entanglement. The number of necessary observables is ruled by the symmetries of the model. Illustrative examples are presented.

quant-ph↗

arXiv2005

Fault-Tolerant Quantum Dynamical Decoupling

Dynamical decoupling pulse sequences have been used to extend coherence times in quantum systems ever since the discovery of the spin-echo effect. Here we introduce a method of recursively concatenated dynamical decoupling pulses, designed to overcome both decoherence and operational errors. This is important for coherent control of quantum systems such as quantum computers. For bounded-strength, non-Markovian environments, such as for the spin-bath that arises in electron- and nuclear-spin based solid-state quantum computer proposals, we show that it is strictly advantageous to use concatenated, as opposed to standard periodic dynamical decoupling pulse sequences. Namely, the concatenated scheme is both fault-tolerant and super-polynomially more efficient, at equal cost. We derive a condition on the pulse noise level below which concatenated is guaranteed to reduce decoherence.

quant-ph↗