arXiv subjects

Peter W. Shor

Publications and source records attributed to Peter W. Shor.

At least 55 records · Page 3Linked to original sources

arXiv2006

Error correcting codes for adiabatic quantum computation

Recently, there has been growing interest in using adiabatic quantum computation as an architecture for experimentally realizable quantum computers. One of the reasons for this is the idea that the energy gap should provide some inherent resistance to noise. It is now known that universal quantum computation can be achieved adiabatically using 2-local Hamiltonians. The energy gap in these Hamiltonians scales as an inverse polynomial in the problem size. Here we present stabilizer codes which can be used to produce a constant energy gap against 1-local and 2-local noise. The corresponding fault-tolerant universal Hamiltonians are 4-local and 6-local respectively, which is the optimal result achievable within this framework.

quant-ph↗

arXiv2006

Optimum Quantum Error Recovery using Semidefinite Programming

Quantum error correction (QEC) is an essential element of physical quantum information processing systems. Most QEC efforts focus on extending classical error correction schemes to the quantum regime. The input to a noisy system is embedded in a coded subspace, and error recovery is performed via an operation designed to perfectly correct for a set of errors, presumably a large subset of the physical noise process. In this paper, we examine the choice of recovery operation. Rather than seeking perfect correction on a subset of errors, we seek a recovery operation to maximize the entanglement fidelity for a given input state and noise model. In this way, the recovery operation is optimum for the given encoding and noise process. This optimization is shown to be calculable via a semidefinite program (SDP), a well-established form of convex optimization with efficient algorithms for its solution. The error recovery operation may also be interpreted as a combining operation following a quantum spreading channel, thus providing a quantum analogy to the classical diversity combining operation.

quant-ph↗

arXiv2004

Randomizing quantum states: Constructions and applications

The construction of a perfectly secure private quantum channel in dimension d is known to require 2 log d shared random key bits between the sender and receiver. We show that if only near-perfect security is required, the size of the key can be reduced by a factor of two. More specifically, we show that there exists a set of roughly d log d unitary operators whose average effect on every input pure state is almost perfectly randomizing, as compared to the d^2 operators required to randomize perfectly. Aside from the private quantum channel, variations of this construction can be applied to many other tasks in quantum information processing. We show, for instance, that it can be used to construct LOCC data hiding schemes for bits and qubits that are much more efficient than any others known, allowing roughly log d qubits to be hidden in 2 log d qubits. The method can also be used to exhibit the existence of quantum states with locked classical correlations, an arbitrarily large amplification of the correlation being accomplished by sending a negligibly small classical key. Our construction also provides the basic building block for a method of remotely preparing arbitrary d-dimensional pure quantum states using approximately log d bits of communication and log d ebits of entanglement.

quant-ph↗

arXiv2004

Inequalities and separations among assisted capacities of quantum channels

We exhibit discrete memoryless quantum channels whose quantum capacity assisted by two-way classical communication, $Q_2$, exceeds their unassisted one-shot Holevo capacity $C_H$. These channels may be thought of as having a data input and output, along with a control input that partly influences, and a control output that partly reveals, which of a set of unitary evolutions the data undergoes en route from input to output. The channel is designed so that the data's evolution can be exactly inferred by a classically coordinated processing of 1) the control output, and 2) a reference system entangled with the control input, but not from either of these resources alone. Thus a two-way classical side channel allows the otherwise noisy evolution of the data to be corrected, greatly increasing the capacity. The same family of channels provides examples where the classical capacity assisted by classical feedback, $C_B$, and the quantum capacity assisted by classical feedback $Q_B$, both exceed $C_H$. A related channel, whose data input undergoes dephasing before interacting with the control input, has a classical capacity $C=C_H$ strictly less than its $C_2$, the classical capacity assisted by independent classical communication.

quant-ph↗

arXiv2004

Remote preparation of quantum states

Remote state preparation is the variant of quantum state teleportation in which the sender knows the quantum state to be communicated. The original paper introducing teleportation established minimal requirements for classical communication and entanglement but the corresponding limits for remote state preparation have remained unknown until now: previous work has shown, however, that it not only requires less classical communication but also gives rise to a trade-off between these two resources in the appropriate setting. We discuss this problem from first principles, including the various choices one may follow in the definitions of the actual resources. Our main result is a general method of remote state preparation for arbitrary states of many qubits, at a cost of 1 bit of classical communication and 1 bit of entanglement per qubit sent. In this "universal" formulation, these ebit and cbit requirements are shown to be simultaneously optimal by exhibiting a dichotomy. Our protocol then yields the exact trade-off curve for arbitrary ensembles of pure states and pure entangled states (including the case of incomplete knowledge of the ensemble probabilities), based on the recently established quantum-classical trade-off for quantum data compression. The paper includes an extensive discussion of our results, including the impact of the choice of model on the resources, the topic of obliviousness, and an application to private quantum channels and quantum data hiding.

quant-ph↗

arXiv2004

The classical capacity achievable by a quantum channel assisted by limited entanglement

We give the trade-off curve showing the capacity of a quantum channel as a function of the amount of entanglement used by the sender and receiver for transmitting information. The endpoints of this curve are given by the Holevo-Schumacher-Westmoreland capacity formula and the entanglement-assisted capacity, which is the maximum over all input density matrices of the quantum mutual information. The proof we give is based on the Holevo-Schumacher-Westmoreland formula, and also gives a new and simpler proof for the entanglement-assisted capacity formula.

quant-ph↗

arXiv2003

Entanglement assisted capacity of the broadband lossy channel

We calculate the entanglement assisted capacity of a multimode bosonic channel with loss. As long as the efficiency of the channel is above 50%, the superdense coding effect can be used to transmit more bits than those that can be stored in the message sent down the channel. Bounds for the other capacities of the multimode channel are also provided.

quant-ph↗

arXiv2003

Broadband channel capacities

We study the communication capacities of bosonic broadband channels in the presence of different sources of noise. In particular we analyze lossy channels in presence of white noise and thermal bath. In this context, we provide a numerical solution for the entanglement assisted capacity and upper and lower bounds for the classical and quantum capacities.

quant-ph↗

arXiv2003

Equivalence of Additivity Questions in Quantum Information Theory

We reduce the number of open additivity problems in quantum information theory by showing that four of them are equivalent. We show that the conjectures of additivity of the minimum output entropy of a quantum channel, additivity of the Holevo expression for the classical capacity of a quantum channel, additivity of the entanglement of formation, and strong superadditivity of the entanglement of formation, are either all true or all false.

quant-ph↗

arXiv2003

General Entanglement Breaking Channels

This paper studies the class of stochastic maps, or channels, whose action (when tensored with the identity) on an entangled state always yields a separable state. Such maps have a canonical form introduced by Holevo. Such maps are called entanglement breaking, and can always be written in a canonical form introduced by Holevo. Some special classes of these maps are considered and several equivalent characterizations given. Since the set of entanglement-breaking trace-preserving maps is convex, it can be described by its extreme points. The only extreme points of the set of completely positive trace preserving maps which are also entanglement breaking are those known as classical quantum or CQ. However, for d > 2 the set of entanglement breaking maps has additional extreme points which are not extreme CQ maps.

quant-ph↗

arXiv2003

The Adaptive Classical Capacity of a Quantum Channel, or Information Capacities of Three Symmetric Pure States in Three Dimensions

We investigate the capacity of three symmetric quantum states in three real dimensions to carry classical information. Several such capacities have already been defined, depending on what operations are allowed in the sending and receiving protocols. These include the C_{1,1} capacity, which is the capacity achievable if separate measurements must be used for each of the received states, and the C_{1,infinity} capacity, which is the capacity achievable if joint measurements are allowed on the tensor product of all the received states. We discover a new classical information capacity of quantum channels, the adaptive capacity C_{1,A}, which lies strictly between the C_{1,1} and the C_{1,infinity} capacities. The adaptive capacity requires each of the signals to be measured by a separate apparatus, but allows the quantum states of these signals to be measured in stages, with the first stage partially reducing their quantum states, and where measurements in subsequent stages which further reduce the quantum states may depend on the results of a classical computation taking as input the outcomes of the first round of measurements.

quant-ph↗

arXiv2002

On the Sum-of-Squares Algorithm for Bin Packing

In this paper we present a theoretical analysis of the deterministic on-line {\em Sum of Squares} algorithm ($SS$) for bin packing introduced and studied experimentally in \cite{CJK99}, along with several new variants. $SS$ is applicable to any instance of bin packing in which the bin capacity $B$ and item sizes $s(a)$ are integral (or can be scaled to be so), and runs in time $O(nB)$. It performs remarkably well from an average case point of view: For any discrete distribution in which the optimal expected waste is sublinear, $SS$ also has sublinear expected waste. For any discrete distribution where the optimal expected waste is bounded, $SS$ has expected waste at most $O(\log n)$. In addition, we discuss several interesting variants on $SS$, including a randomized $O(nB\log B)$-time on-line algorithm $SS^*$, based on $SS$, whose expected behavior is essentially optimal for all discrete distributions. Algorithm $SS^*$ also depends on a new linear-programming-based pseudopolynomial-time algorithm for solving the NP-hard problem of determining, given a discrete distribution $F$, just what is the growth rate for the optimal expected waste. This article is a greatly expanded version of the conference paper \cite{sumsq2000}.

cs.DS↗

arXiv2002

Additivity of the Classical Capacity of Entanglement-Breaking Quantum Channels

We show that for the tensor product of an entanglement-breaking quantum channel with an arbitrary quantum channel, both the minimum entropy of an output of the channel and the Holevo-Schumacher-Westmoreland capacity are additive. In addition, for the tensor product of two arbitrary quantum channels, we give a bound involving entanglement of formation for the amount of subadditivity (for minimum entropy output) or superadditivity (for channel capacity) that can occur.

quant-ph↗

arXiv2002

Superactivation of Bound Entanglement

We show that, in a multi-party setting, two non-distillable (bound-entangled) states tensored together can make a distillable state. This is an example of true superadditivity of distillable entanglement. We also show that unlockable bound-entangled states cannot be asymptotically unentangled, providing the first proof that some states are truly bound-entangled in the sense of being both non-distillable and non-separable asymptotically.

quant-ph↗

arXiv2002

Entanglement-assisted capacity of a quantum channel and the reverse Shannon theorem

The entanglement-assisted classical capacity of a noisy quantum channel is the amount of information per channel use that can be sent over the channel in the limit of many uses of the channel, assuming that the sender and receiver have access to the resource of shared quantum entanglement, which may be used up by the communication protocol. We show that this capacity is given by an expression parallel to that for the capacity of a purely classical channel: i.e., the maximum, over channel inputs $ρ$, of the entropy of the channel input plus the entropy of the channel output minus their joint entropy, the latter being defined as the entropy of an entangled purification of $ρ$ after half of it has passed through the channel. We calculate entanglement-assisted capacities for two interesting quantum channels, the qubit amplitude damping channel and the bosonic channel with amplification/attenuation and Gaussian noise. We discuss how many independent parameters are required to completely characterize the asymptotic behavior of a general quantum channel, alone or in the presence of ancillary resources such as prior entanglement. In the classical analog of entanglement assisted communication--communication over a discrete memoryless channel (DMC) between parties who share prior random information--we show that one parameter is sufficient, i.e., that in the presence of prior shared random information, all DMC's of equal capacity can simulate one another with unit asymptotic efficiency.

quant-ph↗

arXiv2001

Remote State Preparation

Quantum teleportation uses prior entanglement and forward classical communication to transmit one instance of an unknown quantum state. Remote state preparation (RSP) has the same goal, but the sender knows classically what state is to be transmitted. We show that the asymptotic classical communication cost of RSP is one bit per qubit - half that of teleportation - and becomes even less when transmitting part of a known entangled state. We explore the tradeoff between entanglement and classical communication required for RSP, and discuss RSP capacities of general quantum channels.

quant-ph↗

arXiv2001

Introduction to Quantum Algorithms

These notes discuss the quantum algorithms we know of that can solve problems significantly faster than the corresponding classical algorithms. So far, we have only discovered a few techniques which can produce speed up versus classical algorithms. It is not clear yet whether the reason for this is that we do not have enough intuition to discover more techniques, or that there are only a few problems for which quantum computers can significantly speed up the solution.

quant-ph↗

arXiv2001

Nonadditivity of Bipartite Distillable Entanglement follows from Conjecture on Bound Entangled Werner States

Assuming the validity of a conjecture in quant-ph/9910026 and quant-ph/9910022 we show that the distillable entanglement for two bipartite states, each of which individually has zero distillable entanglement, can be nonzero. We show that this also implies that the distillable entanglement is not a convex function. Our example consists of the tensor product of a bound entangled state based on an unextendible product basis with a Werner state which lies in the class of conjectured undistillable states.

quant-ph↗