Combined Error Correction Techniques for Quantum Computing Architectures

Proposals for quantum computing devices are many and varied. They each have unique noise processes that make none of them fully reliable at this time. There are several error correction/avoidance techniques which are valuable for reducing or eliminating errors, but not one, alone, will serve as a panacea. One must therefore take advantage of the strength of each of these techniques so that we may extend the coherence times of the quantum systems and create more reliable computing devices. To this end we give a general strategy for using dynamical decoupling operations on encoded subspaces. These encodings may be of any form; of particular importance are decoherence-free subspaces and quantum error correction codes. We then give means for empirically determining an appropriate set of dynamical decoupling operations for a given experiment. Using these techniques, we then propose a comprehensive encoding solution to many of the problems of quantum computing proposals which use exchange-type interactions. This uses a decoherence-free subspace and an efficient set of dynamical decoupling operations. It also addresses the problems of controllability in solid state quantum dot devices.Comment: Contribution to Proceedings of the 2002 Physics of Quantum Electronics Conference", to be published in J. Mod. Optics. This paper provides a summary and review of quant-ph/0205156 and quant-ph/0112054, and some new result

Encoded Universality for Generalized Anisotropic Exchange Hamiltonians

We derive an encoded universality representation for a generalized anisotropic exchange Hamiltonian that contains cross-product terms in addition to the usual two-particle exchange terms. The recently developed algebraic approach is used to show that the minimal universality-generating encodings of one logical qubit are based on three physical qubits. We show how to generate both single- and two-qubit operations on the logical qubits, using suitably timed conjugating operations derived from analysis of the commutator algebra. The timing of the operations is seen to be crucial in allowing simplification of the gate sequences for the generalized Hamiltonian to forms similar to that derived previously for the symmetric (XY) anisotropic exchange Hamiltonian. The total number of operations needed for a controlled-Z gate up to local transformations is five. A scalable architecture is proposed.Comment: 11 pages, 4 figure

Optimal estimation of two-qubit pure-state entanglement

We present optimal measuring strategies for the estimation of the entanglement of unknown two-qubit pure states and of the degree of mixing of unknown single-qubit mixed states, of which N identical copies are available. The most general measuring strategies are considered in both situations, to conclude in the first case that a local, although collective, measurement suffices to estimate entanglement, a non-local property, optimally.Comment: REVTEX, 9 pages, 1 figur

Entanglement measures and approximate quantum error correction

It is shown that, if the loss of entanglement along a quantum channel is sufficiently small, then approximate quantum error correction is possible, thereby generalizing what happens for coherent information. Explicit bounds are obtained for the entanglement of formation and the distillable entanglement, and their validity naturally extends to other bipartite entanglement measures in between. Robustness of derived criteria is analyzed and their tightness compared. Finally, as a byproduct, we prove a bound quantifying how large the gap between entanglement of formation and distillable entanglement can be for any given finite dimensional bipartite system, thus providing a sufficient condition for distillability in terms of entanglement of formation.Comment: 7 pages, two-columned revtex4, no figures. v1: Deeply revised and extended version: different entanglement measures are separately considered, references are added, and some remarks are stressed. v2: Added a sufficient condition for distillability in terms of entanglement of formation; published versio

Asymptotic entanglement in a two-dimensional quantum walk

The evolution operator of a discrete-time quantum walk involves a conditional shift in position space which entangles the coin and position degrees of freedom of the walker. After several steps, the coin-position entanglement (CPE) converges to a well defined value which depends on the initial state. In this work we provide an analytical method which allows for the exact calculation of the asymptotic reduced density operator and the corresponding CPE for a discrete-time quantum walk on a two-dimensional lattice. We use the von Neumann entropy of the reduced density operator as an entanglement measure. The method is applied to the case of a Hadamard walk for which the dependence of the resulting CPE on initial conditions is obtained. Initial states leading to maximum or minimum CPE are identified and the relation between the coin or position entanglement present in the initial state of the walker and the final level of CPE is discussed. The CPE obtained from separable initial states satisfies an additivity property in terms of CPE of the corresponding one-dimensional cases. Non-local initial conditions are also considered and we find that the extreme case of an initial uniform position distribution leads to the largest CPE variation.Comment: Major revision. Improved structure. Theoretical results are now separated from specific examples. Most figures have been replaced by new versions. The paper is now significantly reduced in size: 11 pages, 7 figure

Three qubits can be entangled in two inequivalent ways

Invertible local transformations of a multipartite system are used to define equivalence classes in the set of entangled states. This classification concerns the entanglement properties of a single copy of the state. Accordingly, we say that two states have the same kind of entanglement if both of them can be obtained from the other by means of local operations and classical communcication (LOCC) with nonzero probability. When applied to pure states of a three-qubit system, this approach reveals the existence of two inequivalent kinds of genuine tripartite entanglement, for which the GHZ state and a W state appear as remarkable representatives. In particular, we show that the W state retains maximally bipartite entanglement when any one of the three qubits is traced out. We generalize our results both to the case of higher dimensional subsystems and also to more than three subsystems, for all of which we show that, typically, two randomly chosen pure states cannot be converted into each other by means of LOCC, not even with a small probability of success.Comment: 12 pages, 1 figure; replaced with revised version; terminology adapted to earlier work; reference added; results unchange

Efficient Algorithms for Universal Quantum Simulation

A universal quantum simulator would enable efficient simulation of quantum dynamics by implementing quantum-simulation algorithms on a quantum computer. Specifically the quantum simulator would efficiently generate qubit-string states that closely approximate physical states obtained from a broad class of dynamical evolutions. I provide an overview of theoretical research into universal quantum simulators and the strategies for minimizing computational space and time costs. Applications to simulating many-body quantum simulation and solving linear equations are discussed

Light scattering from an amplifying medium bounded by a randomly rough surface: A numerical study

We study by numerical simulations the scattering of $s$-polarized light from a rough dielectric film deposited on the planar surface of a semi-infinite perfect conductor. The dielectric film is allowed to be either active or passive, situations that we model by assigning negative and positive values, respectively, to the imaginary part $\epsilon_2$ of the dielectric constant of the film. We study the reflectance ${\cal R}$ and the total scattered energy ${\cal U}$ for the system as functions of both $\epsilon_2$ and the angle of incidence of the light. Furthermore, the positions and widths of the enhanced backscattering and satellite peaks are discussed. It is found that these peaks become narrower and higher when the amplification of the system is increased, and that their widths scale linearly with $\epsilon_2$. The positions of the backscattering peaks are found to be independent of $\epsilon_2$, while we find a weak dependence on this quantity in the positions of the satellite peaks.Comment: Revtex, 9 pages, 9 figure