arXiv subjects
Publications and source records attributed to R. F. Werner.
We present a measure of entanglement that can be computed effectively for any mixed state of an arbitrary bipartite system. We show that it does not increase under local manipulations of the system, and use it to obtain a bound on the teleportation capacity and on the distillable entanglement of mixed states.
We construct a set of 2^(2^n) independent Bell correlation inequalities for n-partite systems with two dichotomic observables each, which is complete in the sense that the inequalities are satisfied if and only if the correlations considered allow a local classical model. All these inequalities can be summarized in a single, albeit non-linear inequality. We show that quantum correlations satisfy this condition provided the state has positive partial transpose with respect to any grouping of the n systems into two subsystems. We also provide an efficient algorithm for finding the maximal quantum mechanical violation of each inequality, and show that the maximum is always attained for the generalized GHZ state.
Given N quantum systems prepared according to the same density operator ρ, we propose a measurement on the N-fold system which approximately yields the spectrum of ρ. The projections of the proposed observable decompose the Hilbert space according to the irreducible representations of the permutations on N points, and are labeled by Young frames, whose relative row lengths estimate the eigenvalues of ρin decreasing order. We show convergence of these estimates in the limit N\to\infty, and that the probability for errors decreases exponentially with a rate we compute explicitly.
We give a non-technical introduction of the basic concepts of Quantum Information Theory along the distinction between possible and impossible machines. We then proceed to describe the mathematical framework of Quantum Information Theory. The capacities of a quantum channel for classical and for quantum information are defined in a unified scheme, and a mathematical characterization of all teleportation and dense coding schemes is given.
We present a construction scheme for quantum error correcting codes. The basic ingredients are a graph and a finite abelian group, from which the code can explicitly be obtained. We prove necessary and sufficient conditions for the graph such that the resulting code corrects a certain number of errors. This allows a simple verification of the 1-error correcting property of fivefold codes in any dimension. As new examples we construct a large class of codes saturating the singleton bound, as well as a tenfold code detecting 3 errors.
We study separability properties in a 5-dimensional set of states of quantum systems composed of three subsystems of equal but arbitrary finite Hilbert space dimension d. These are the states, which can be written as linear combinations of permutation operators, or, equivalently, commute with unitaries of the form UxUxU. We compute explicitly the following subsets and their extreme points: (1) triseparable states, which are convex combinations of triple tensor products, (2) biseparable states, which are separable for a twofold partition of the system, and (3) states with positive partial transpose with respect to such a partition. Tripartite entanglement is investigated in terms of the relative entropy of tripartite entanglement and of the trace norm.
We discuss the entanglement properties of bipartite states with Gaussian Wigner functions. Separability and the positivity of the partial transpose are characterized in terms of the covariance matrix of the state, and it is shown that for systems composed of a single oscillator for Alice and an arbitrary number for Bob, positivity of the partial transpose implies separability. However, this implications fails with two oscillators on each side, as we show by a five parameter family of explicit counterexamples.
We give an explicit counterexample to an entanglement inequality suggested in a recent paper [quant-ph/0005126] by Benatti and Narnhofer. The inequality would have had far-reaching consequences, including the additivity of the entanglement of formation.
A class of problems in quantum information theory, having an elementary formulation but still resisting solution, concerns the additivity properties of various quantities characterizing quantum channels, notably the "classical capacity", and the "maximal output purity". All known results, including extensive numerical work, are consistent with the conjecture that these quantities are indeed additive (resp. multiplicative) with respect to tensor products of channels. A proof of this conjecture would have important consequences in quantum information theory. In particular, according to this conjecture, the classical capacity or the maximal purity of outputs cannot be increased by using entangled inputs of the channel. In this paper we state the additivity/multiplicativity problems, give some relations between them, and prove some new partial results, which also support the conjecture.
We establish a one-to-one correspondence between (1) quantum teleportation schemes, (2) dense coding schemes, (3) orthonormal bases of maximally entangled vectors, (4) orthonormal bases of unitary operators with respect to the Hilbert-Schmidt scalar product, and (5) depolarizing operations, whose Kraus operators can be chosen to be unitary. The teleportation and dense coding schemes are assumed to be ``tight'' in the sense that all Hilbert spaces involved have the same finite dimension d, and the classical channel involved distinguishes d^2 signals. A general construction procedure for orthonormal bases of unitaries, involving Latin Squares and complex Hadamard Matrices is also presented.
We study separability properties in a 5-dimensional set of states of quantum systems composed of three subsystems of equal but arbitrary finite Hilbert space dimension. These are the states, which can be written as linear combinations of permutation operators, or, equivalently, commute with unitaries of the form UxUxU. We compute explicitly the following subsets: (1) triseparable states, which are convex combinations of triple tensor products, (2) biseparable states, which are separable for a twofold partition of the system, and (3) states with positive partial transpose with respect to such a partition.
We show how to compute or at least to estimate various capacity-related quantities for Bosonic Gaussian channels. Among these are the coherent information, the entanglement assisted classical capacity, the one-shot classical capacity, and a new quantity involving the transpose operation, shown to be a general upper bound on the quantum capacity, even allowing for finite errors. All bounds are explicitly evaluated for the case of a one-mode channel with attenuation/amplification and classical noise.
Purification is a process in which decoherence is partially reversed by using several input systems which have been subject to the same noise. The purity of the outputs generally increases with the number of input systems, and decreases with the number of required output systems. We construct the optimal quantum operations for this task, and discuss their asymptotic behaviour as the number of inputs goes to infinity. The rate at which output systems may be generated depends crucially on the type of purity requirement. If one tests the purity of the outputs systems one at a time, the rate is infinite: this fidelity may be made to approach 1, while at the same time the number of outputs goes to infinity arbitrarily fast. On the other hand, if one also requires the correlations between outputs to decrease, the rate is zero: if fidelity with the pure product state is to go to 1, the number of outputs per input goes to zero. However, if only a fidelity close to 1 is required, the optimal purifier achieves a positive rate, which we compute.
In a recent paper [quant-ph/9910066], Arens and Varadarajan gave a characterization of what they call EPR-states on a bipartite composite quantum system. By definition, such states imply perfect correlation between suitable pairs of observables in the two subsystems, and the task is to determine all such correlated pairs for a given state. In this note the argument is shortened and simplified, and at the same time extended to observables in general von Neumann algebras, which naturally arise in quantum field theory.
We analyze some special properties of a system of two qubits, and in particular of the so-called Bell basis for this system, which have played an important role in recent papers on entanglement of qubits. In particular, we show which of these properties may be generalized to higher dimension. We give a general construction for bases of maximally entangled vectors in any dimension, but show that none of the properties related to complex conjugation in Bell basis can be realized for higher dimensional analogs.
We consider quantum devices for turning a finite number N of d-level quantum systems in the same unknown pure state σinto M>N systems of the same kind, in an approximation of the M-fold tensor product of the state σ. In a previous paper it was shown that this problem has a unique optimal solution, when the quality of the output is judged by arbitrary measurements, involving also the correlations between the clones. We show in this paper, that if the quality judgement is based solely on measurements of single output clones, there is again a unique optimal cloning device, which coincides with the one found previously.
We construct the unique optimal quantum device for turning a finite number of d-level quantum systems in the same unknown pure state σinto M systems of the same kind, in an approximation of the M-fold tensor product of the state σ.
For classical lattice systems, the Dobrushin-Lanford-Ruelle theory of boundary conditions states that the restriction of a global equilibrium state to a subsystem can be obtained as an integral over equilibrium states of the subsystem alone. The Hamiltonians for the subsystem are obtained by fixing a configuration for the variables in the complement of the subsystem, or more generally, by evaluating the full interaction Hamiltonian with respect to a state for the complement. We provide examples showing that the quantum mechanical version of this statement is false. It fails even if the subsystem is classical, but embedded into a quantum environment. We suggest an alternative characterization of the local restrictions of global equilibrium states by inequalities involving only local data.