arXiv subjects

Emanuel Knill

Publications and source records attributed to Emanuel Knill.

At least 73 records · Page 4Linked to original sources

arXiv2003

Quantum Simulations of Physics Problems

If a large Quantum Computer (QC) existed today, what type of physical problems could we efficiently simulate on it that we could not simulate on a classical Turing machine? In this paper we argue that a QC could solve some relevant physical "questions" more efficiently. The existence of one-to-one mappings between different algebras of observables or between different Hilbert spaces allow us to represent and imitate any physical system by any other one (e.g., a bosonic system by a spin-1/2 system). We explain how these mappings can be performed showing quantum networks useful for the efficient evaluation of some physical properties, such as correlation functions and energy spectra.

quant-ph↗

arXiv2003

A note on verification procedures for quantum noiseless subsystems

We establish conditions under which the experimental verification of quantum error-correcting behavior against a linear set of error operators $\ce$ suffices for the verification of noiseless subsystems of an error algebra $\ca$ contained in $\ce$. From a practical standpoint, our results imply that the verification of a noiseless subsystem need not require the explicit verification of noiseless behavior for all possible initial states of the syndrome subsystem.

quant-ph↗

arXiv2002

Exploring Noiseless Subsystems via Nuclear Magnetic Resonance

Noiseless subsystems offer a general and efficient method for protecting quantum information in the presence of noise that has symmetry properties. A paradigmatic class of error models displaying non-trivial symmetries emerges under collective noise behavior, which implies a permutationally-invariant interaction between the system and the environment. We describe experiments demonstrating the preservation of a bit of quantum information encoded in a three qubit noiseless subsystem for general collective noise. A complete set of input states is used to determine the super-operator for the implemented one-qubit process and to confirm that the fidelity of entanglement is improved for a large, non-commutative set of engineered errors. To date, this is the largest set of error operators that has been successfully corrected for by any quantum code.

quant-ph↗

arXiv2002

Robust dynamical decoupling with bounded controls

We propose a general procedure for implementing dynamical decoupling without requiring arbitrarily strong, impulsive control actions. This is accomplished by designing continuous decoupling propagators according to Eulerian paths in the decoupling group for the system. Such Eulerian decoupling schemes offer two important advantages over their impulsive counterparts: they are able to enforce the same dynamical symmetrization but with more realistic control resources and, at the same time, they are intrinsically tolerant against a large class of systematic implementation errors.

quant-ph↗

arXiv2001

Constructing Qubits in Physical Systems

The notion of a qubit is ubiquitous in quantum information processing. In spite of the simple abstract definition of qubits as two-state quantum systems, identifying qubits in physical systems is often unexpectedly difficult. There are an astonishing variety of ways in which qubits can emerge from devices. What essential features are required for an implementation to properly instantiate a qubit? We give three typical examples and propose an operational characterization of qubits based on quantum observables and subsystems.

quant-ph↗

arXiv2000

Nonbinary Quantum Stabilizer Codes

We define and show how to construct nonbinary quantum stabilizer codes. Our approach is based on nonbinary error bases. It generalizes the relationship between selforthogonal codes over $GF_{4}$ and binary quantum codes to one between selforthogonal codes over $GF_{q^2}$ and $q$-ary quantum codes for any prime power $q$.

quant-ph↗

arXiv2000

A Study of Quantum Error Correction by Geometric Algebra and Liquid-State NMR Spectroscopy

Quantum error correcting codes enable the information contained in a quantum state to be protected from decoherence due to external perturbations. Applied to NMR, quantum coding does not alter normal relaxation, but rather converts the state of a ``data'' spin into multiple quantum coherences involving additional ancilla spins. These multiple quantum coherences relax at differing rates, thus permitting the original state of the data to be approximately reconstructed by mixing them together in an appropriate fashion. This paper describes the operation of a simple, three-bit quantum code in the product operator formalism, and uses geometric algebra methods to obtain the error-corrected decay curve in the presence of arbitrary correlations in the external random fields. These predictions are confirmed in both the totally correlated and uncorrelated cases by liquid-state NMR experiments on 13C-labeled alanine, using gradient-diffusion methods to implement these idealized decoherence models. Quantum error correction in weakly polarized systems requires that the ancilla spins be prepared in a pseudo-pure state relative to the data spin, which entails a loss of signal that exceeds any potential gain through error correction. Nevertheless, this study shows that quantum coding can be used to validate theoretical decoherence mechanisms, and to provide detailed information on correlations in the underlying NMR relaxation dynamics.

quant-ph↗

arXiv2000

Dynamical Generation of Noiseless Quantum Subsystems

We present control schemes for open quantum systems that combine decoupling and universal control methods with coding procedures. By exploiting a general algebraic approach, we show how appropriate encodings of quantum states result in obtaining universal control over dynamically-generated noise-protected subsystems with limited control resources. In particular, we provide an efficient scheme for performing universal encoded quantum computation in a wide class of systems subjected to linear non-Markovian quantum noise and supporting Heisenberg-type internal Hamiltonians.

quant-ph↗

arXiv1999

Theory of Quantum Error Correction for General Noise

Quantum error correction protects quantum information against environmental noise. When using qubits, a measure of quality of a code is the maximum number of errors that it is able to correct. We show that a suitable notion of ``number of errors'' e makes sense for any system in the presence of arbitrary environmental interactions. In fact, the notion is directly related to the lowest order in time with which uncorrectable errors are introduced, and this in turn is derived from a grading of the algebra generated by the interaction operators. As a result, e-error-correcting codes are effective at protecting quantum information without requiring the usual assumptions of independence and lack of correlation. We prove the existence of large codes for both quantum and classical information. By viewing error-correcting codes as subsystems, we relate codes to irreducible representations of certain operator algebras and show that noiseless subsystems are infinite-distance error-correcting codes. An explicit example involving collective interactions is discussed.

quant-ph↗

arXiv1999

Quantum Error Detection I: Statement of the Problem

I. This paper is devoted to the problem of error detection with quantum codes. In the first part we examine possible problem settings for quantum error detection. Our goal is to derive a functional that describes the probability of undetected error under natural physical assumptions concerning transmission with error detection over the depolarizing channel. We discuss possible transmission protocols with stabilizer and unrestricted quantum codes. The set of results proved in Part I shows that in all the cases considered the average probability of undetected error for a given code is essentially given by one and the same function of its weight enumerators. This enables us to give a consistent definition of the undetected error event.

quant-ph↗

arXiv1999

Universal Control of Decoupled Quantum Systems

It is shown that if one can perform a restricted set of fast manipulations on a quantum system, one can implement a large class of dynamical evolutions by effectively removing or introducing selected Hamiltonians. The procedure can be used to achieve universal noise-tolerant control based on purely unitary open-loop transformations of the dynamics. As a result, it is in principle possible to perform noise-protected universal quantum computation using no extra space resources.

quant-ph↗

arXiv1999

Dynamical Decoupling of Open Quantum Systems

We propose a novel dynamical method for beating decoherence and dissipation in open quantum systems. We demonstrate the possibility of filtering out the effects of unwanted (not necessarily known) system-environment interactions and show that the noise-suppression procedure can be combined with the capability of retaining control over the effective dynamical evolution of the open quantum system. Implications for quantum information processing are discussed.

quant-ph↗

arXiv1999

Hidden Subgroup States are Almost Orthogonal

It is well known that quantum computers can efficiently find a hidden subgroup $H$ of a finite Abelian group $G$. This implies that after only a polynomial (in $\log |G|$) number of calls to the oracle function, the states corresponding to different candidate subgroups have exponentially small inner product. We show that this is true for noncommutative groups also. We present a quantum algorithm which identifies a hidden subgroup of an arbitrary finite group $G$ in only a linear (in $\log |G|$) number of calls to the oracle function. This is exponentially better than the best classical algorithm. However our quantum algorithm requires an exponential amount of time, as in the classical case.

quant-ph↗

arXiv1997

Effective Pure States for Bulk Quantum Computation

In bulk quantum computation one can manipulate a large number of indistinguishable quantum computers by parallel unitary operations and measure expectation values of certain observables with limited sensitivity. The initial state of each computer in the ensemble is known but not pure. Methods for obtaining effective pure input states by a series of manipulations have been described by Gershenfeld and Chuang (logical labeling) and Cory et al. (spatial averaging) for the case of quantum computation with nuclear magnetic resonance. We give a different technique called temporal averaging. This method is based on classical randomization, requires no ancilla qubits and can be implemented in nuclear magnetic resonance without using gradient fields. We introduce several temporal averaging algorithms suitable for both high temperature and low temperature bulk quantum computing and analyze the signal to noise behavior of each.

quant-ph↗

arXiv1997

Resilient Quantum Computation: Error Models and Thresholds

Recent research has demonstrated that quantum computers can solve certain types of problems substantially faster than the known classical algorithms. These problems include factoring integers and certain physics simulations. Practical quantum computation requires overcoming the problems of environmental noise and operational errors, problems which appear to be much more severe than in classical computation due to the inherent fragility of quantum superpositions involving many degrees of freedom. Here we show that arbitrarily accurate quantum computations are possible provided that the error per operation is below a threshold value. The result is obtained by combining quantum error-correction, fault tolerant state recovery, fault tolerant encoding of operations and concatenation. It holds under physically realistic assumptions on the errors.

quant-ph↗

arXiv1996

Concatenated Quantum Codes

One of the main problems for the future of practical quantum computing is to stabilize the computation against unwanted interactions with the environment and imperfections in the applied operations. Existing proposals for quantum memories and quantum channels require gates with asymptotically zero error to store or transmit an input quantum state for arbitrarily long times or distances with fixed error. In this report a method is given which has the property that to store or transmit a qubit with maximum error $ε$ requires gates with error at most $cε$ and storage or channel elements with error at most $ε$, independent of how long we wish to store the state or how far we wish to transmit it. The method relies on using concatenated quantum codes with hierarchically implemented recovery operations. The overhead of the method is polynomial in the time of storage or the distance of the transmission. Rigorous and heuristic lower bounds for the constant $c$ are given.

quant-ph↗

arXiv1996

A Theory of Quantum Error-Correcting Codes

Quantum Error Correction will be necessary for preserving coherent states against noise and other unwanted interactions in quantum computation and communication. We develop a general theory of quantum error correction based on encoding states into larger Hilbert spaces subject to known interactions. We obtain necessary and sufficient conditions for the perfect recovery of an encoded state after its degradation by an interaction. The conditions depend only on the behavior of the logical states. We use them to give a recovery operator independent definition of error-correcting codes. We relate this definition to four others: The existence of a left inverse of the interaction, an explicit representation of the error syndrome using tensor products, perfect recovery of the completely entangled state, and an information theoretic identity. Two notions of fidelity and error for imperfect recovery are introduced, one for pure and the other for entangled states. The latter is more appropriate when using codes in a quantum memory or in applications of quantum teleportation to communication. We show that the error for entangled states is bounded linearly by the error for pure states. A formal definition of independent interactions for qubits is given. This leads to lower bounds on the number of qubits required to correct $e$ errors and a formal proof that the classical bounds on the probability of error of $e$-error-correcting codes applies to $e$-error-correcting quantum codes, provided that the interaction is dominated by an identity component.

quant-ph↗

arXiv1995

An analysis of Bennett's pebble game

Bennett's pebble game was introduced to obtain better time/space tradeoffs in the simulation of standard Turing machines by reversible ones. So far only upper bounds for the tradeoff based on the pebble game have been published. Here we give a recursion for the time optimal solution of the pebble game given a space bound. We analyze the recursion to obtain an explicit asymptotic expression for the best time-space product.

math.CO↗