arXiv subjects
Publications and source records attributed to R. F. Werner.
This article is a snap-shot of a web site, which has been collecting open problems in quantum information for several years, and documenting the progress made on these problems. By posting it we make the complete collection available in one printout. We also hope to draw more attention to this project, inviting every researcher in the field to raise to the challenges, but also to suggest new problems.
We consider the optimal cloning of quantum coherent states with single-clone and joint fidelity as figures of merit. Both optimal fidelities are attained for phase space translation covariant cloners. Remarkably, the joint fidelity is maximized by a Gaussian cloner, whereas the single-clone fidelity can be enhanced by non-Gaussian operations: a symmetric non-Gaussian 1-to-2 cloner can achieve a single-clone fidelity of approximately 0.6826, perceivably higher than the optimal fidelity of 2/3 in a Gaussian setting. This optimal cloner can be realized by means of an optical parametric amplifier supplemented with a particular source of non-Gaussian bimodal states. Finally, we show that the single-clone fidelity of the optimal 1-to-infinity cloner, corresponding to a measure-and-prepare scheme, cannot exceed 1/2. This value is achieved by a Gaussian scheme and cannot be surpassed even with supplemental bound entangled states.
We prove an uncertainty relation, which imposes a bound on any joint measurement of position and momentum. It is of the form $(ΔP)(ΔQ)\geq C\hbar$, where the `uncertainties' quantify the difference between the marginals of the joint measurement and the corresponding ideal observable. Applied to an approximate position measurement followed by a momentum measurement, the uncertainties become the precision $ΔQ$ of the position measurement, and the perturbation $ΔP$ of the conjugate variable introduced by such a measurement. We also determine the best constant $C$, which is attained for a unique phase space covariant measurement.
We define quantum cellular automata as infinite quantum lattice systems with discrete time dynamics, such that the time step commutes with lattice translations and has strictly finite propagation speed. In contrast to earlier definitions this allows us to give an explicit characterization of all local rules generating such automata. The same local rules also generate the global time step for automata with periodic boundary conditions. Our main structure theorem asserts that any quantum cellular automaton is structurally reversible, i.e., that it can be obtained by applying two blockwise unitary operations in a generalized Margolus partitioning scheme. This implies that, in contrast to the classical case, the inverse of a nearest neighbor quantum cellular automaton is again a nearest neighbor automaton. We present several construction methods for quantum cellular automata, based on unitaries commuting with their translates, on the quantization of (arbitrary) reversible classical cellular automata, on quantum circuits, and on Clifford transformations with respect to a description of the single cells by finite Weyl systems. Moreover, we indicate how quantum random walks can be considered as special cases of cellular automata, namely by restricting a quantum lattice gas automaton with local particle number conservation to the single particle sector.
We consider the problem of correcting the errors incurred from sending quantum information through a noisy quantum environment by using classical information obtained from a measurement on the environment. For discrete time Markovian evolutions, in the case of fixed measurement on the environment, we give criteria for quantum information to be perfectly corrigible and characterize the related feedback. Then we analyze the case when perfect correction is not possible and, in the qubit case, we find optimal feedback maximizing the channel fidelity.
We introduce a Gaussian version of the entanglement of formation adapted to bipartite Gaussian states by considering decompositions into pure Gaussian states only. We show that this quantity is an entanglement monotone under Gaussian operations and provide a simplified computation for states of arbitrary many modes. For the case of one mode per site the remaining variational problem can be solved analytically. If the considered state is in addition symmetric with respect to interchanging the two modes, we prove additivity of the considered entanglement measure. Moreover, in this case and considering only a single copy, our entanglement measure coincides with the true entanglement of formation.
We show that for a fixed amount of entanglement, two-mode squeezed states are those that maximize Einstein-Podolsky-Rosen-like correlations. We use this fact to determine the entanglement of formation for all symmetric Gaussian states corresponding to two modes. This is the first instance in which this measure has been determined for genuine continuous variable systems.
We investigate the irreversibility of entanglement distillation for a symmetric d-1 parameter family of mixed bipartite quantum states acting on Hilbert spaces of arbitrary dimension d x d. We prove that in this family the entanglement cost is generically strictly larger than the distillable entanglement, such that the set of states for which the distillation process is asymptotically reversible is of measure zero. This remains true even if the distillation process is catalytically assisted by pure state entanglement and every operation is allowed, which preserves the positivity of the partial transpose. It is shown, that reversibility occurs only in cases where the state is quasi-pure in the sense that all its pure state entanglement can be revealed by a simple operation on a single copy. The reversible cases are shown to be completely characterized by minimal uncertainty vectors for entropic uncertainty relations.
We study the entanglement properties of a closed chain of harmonic oscillators that are coupled via a translationally invariant Hamiltonian, where the coupling acts only on the position operators. We consider the ground state and thermal states of this system, which are Gaussian states. The entanglement properties of these states can be completely characterized analytically when one uses the logarithmic negativity as a measure of entanglement.
For states in infinite dimensional Hilbert spaces entanglement quantities like the entanglement of distillation can become infinite. This leads naturally to the question, whether one system in such an infinitely entangled state can serve as a resource for tasks like the teleportation of arbitrarily many qubits. We show that appropriate states cannot be obtained by density operators in an infinite dimensional Hilbert space. However, using techniques for the description of infinitely many degrees of freedom from field theory and statistical mechanics, such states can nevertheless be constructed rigorously. We explore two related possibilities, namely an extended notion of algebras of observables, and the use of singular states on the algebra of bounded operators. As applications we construct the essentially unique infinite analogue of maximally entangled states, and the singular state used heuristically in the fundamental paper of Einstein, Rosen and Podolsky.
We consider the problem of correcting the errors incurred from sending classical or quantum information through a noisy quantum environment by schemes using classical information obtained from a measurement on the environment. We give a conditions for quantum or classical information (prepared in a specified input basis B) to be corrigible based on a measurement M. Based on these criteria we give examples of noisy channels such that (1) no information can be corrected by such a scheme (2) for some basis B there is a correcting measurement M (3) for all bases B there is an M (4) there is a measurement M which allows perfect correction for all bases B. The last case is equivalent to the possibility of correcting quantum information, and turns out to be equivalent to the channel allowing a representation as a convex combination of isometric channels. Such channels are doubly stochastic but not conversely.
We present a general technique for hiding a classical bit in multipartite quantum states. The hidden bit, encoded in the choice of one of two possible density operators, cannot be recovered by local operations and classical communication without quantum communication. The scheme remains secure if quantum communication is allowed between certain partners, and can be designed for any choice of quantum communication patterns to be secure, but to allow near perfect recovery for all other patterns. The maximal probability of unwanted recovery of the hidden bit, as well as the maximal error for allowed recovery operations can be chosen to be arbitrarily small, given sufficiently high dimensional systems at each site. No entanglement is needed since the hiding states can be chosen to be separable. A single ebit of prior entanglement is not sufficient to break the scheme.
The theory of quantum error correction is a cornerstone of quantum information processing. It shows that quantum data can be protected against decoherence effects, which otherwise would render many of the new quantum applications practically impossible. In this paper we give a self contained introduction to this theory and to the closely related concept of quantum channel capacities. We show, in particular, that it is possible (using appropriate error correcting schemes) to send a non-vanishing amount of quantum data undisturbed (in a certain asymptotic sense) through a noisy quantum channel T, provided the errors produced by T are small enough.
For a special class of bipartite states we calculate explicitly the asymptotic relative entropy of entanglement $E_R^\infty$ with respect to states having a positive partial transpose (PPT). This quantity is an upper bound to distillable entanglement. The states considered are invariant under rotations of the form $O\otimes O$, where $O$ is any orthogonal matrix. We show that in this case $E_R^\infty$ is equal to another upper bound on distillable entanglement, constructed by Rains. To perform these calculations, we have introduced a number of new results that are interesting in their own right: (i) the Rains bound is convex and continuous; (ii) under some weak assumption, the Rains bound is an upper bound to $E_R^\infty$; (iii) for states for which the relative entropy of entanglement $E_R$ is additive, the Rains bound is equal to $E_R$.
A conjecture arising naturally in the investigation of additivity of classical information capacity of quantum channels states that the maximal purity of outputs from a quantum channel, as measured by the p-norm, should be multiplicative with respect to the tensor product of channels. We disprove this conjecture for p>4.79. The same example (with p=infinity) also disproves a conjecture for the multiplicativity of the injective norm of Hilbert space tensor products.
We consider a quantum version of a well-known statistical decision problem, whose solution is, at first sight, counter-intuitive to many. In the quantum version a continuum of possible choices (rather than a finite set) has to be considered. It can be phrased as a two person game between a player P and a quiz master Q. Then P always has a strategy at least as good as in the classical case, while Q's best strategy results in a game having the same value as the classical game. We investigate the consequences of Q storing his information in classical or quantum ways. It turns out that Q's optimal strategy is to use a completely entangled quantum notepad, on which to encode his prior information.
We prove a conjecture by DiVincenzo, which in the terminology of Preskill et al. [quant-ph/0102043] states that ``semicausal operations are semilocalizable''. That is, we show that any operation on the combined system of Alice and Bob, which does not allow Bob to send messages to Alice, can be represented as an operation by Alice, transmitting a quantum particle to Bob, and a local operation by Bob. The proof is based on the uniqueness of the Stinespring representation for a completely positive map. We sketch some of the problems in transferring these concepts to the context of relativistic quantum field theory.
We show how to simplify the computation of the entanglement of formation and the relative entropy of entanglement for states, which are invariant under a group of local symmetries. For several examples of groups we characterize the state spaces, which are invariant under these groups. For specific examples we calculate the entanglement measures. In particular, we derive an explicit formula for the entanglement of formation for UU-invariant states, and we find a counterexample to the additivity conjecture for the relative entropy of entanglement.