-
How to correct small quantum errors
Authors:
M. Keyl,
R. F. Werner
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 June, 2002;
originally announced June 2002.
-
Entanglement Properties of the Harmonic Chain
Authors:
K. Audenaert,
J. Eisert,
M. B. Plenio,
R. F. Werner
Abstract:
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 log…
▽ More
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.
△ Less
Submitted 4 December, 2002; v1 submitted 6 May, 2002;
originally announced May 2002.
-
Asymptotic Relative Entropy of Entanglement for Orthogonally Invariant States
Authors:
K. Audenaert,
B. De Moor,
K. G. H. Vollbrecht,
R. F. Werner
Abstract:
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…
▽ More
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$.
△ Less
Submitted 24 April, 2002;
originally announced April 2002.
-
Hiding classical data in multi-partite quantum states
Authors:
T. Eggeling,
R. F. Werner
Abstract:
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 qua…
▽ More
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.
△ Less
Submitted 22 July, 2002; v1 submitted 1 March, 2002;
originally announced March 2002.
-
Counterexample to an additivity conjecture for output purity of quantum channels
Authors:
R. F. Werner,
A. S. Holevo
Abstract:
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 m…
▽ More
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.
△ Less
Submitted 1 March, 2002;
originally announced March 2002.
-
The Quantum Monty Hall Problem
Authors:
G. M. D'Ariano,
R. D. Gill,
M. Keyl,
B. Kuemmerer,
H. Maassen,
R. F. Werner
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 February, 2002;
originally announced February 2002.
-
Bell inequalities and Entanglement
Authors:
Reinhard F. Werner,
Michael M. Wolf
Abstract:
We discuss general Bell inequalities for bipartite and multipartite systems, emphasizing the connection with convex geometry on the mathematical side, and the communication aspects on the physical side. Known results on families of generalized Bell inequalities are summarized. We investigate maximal violations of Bell inequalities as well as states not violating (certain) Bell inequalities. Fina…
▽ More
We discuss general Bell inequalities for bipartite and multipartite systems, emphasizing the connection with convex geometry on the mathematical side, and the communication aspects on the physical side. Known results on families of generalized Bell inequalities are summarized. We investigate maximal violations of Bell inequalities as well as states not violating (certain) Bell inequalities. Finally, we discuss the relation between Bell inequality violations and entanglement properties currently discussed in quantum information theory.
△ Less
Submitted 6 November, 2001; v1 submitted 18 July, 2001;
originally announced July 2001.
-
Distillability via protocols respecting the positivity of partial transpose
Authors:
Tilo Eggeling,
Karl Gerd H. Vollbrecht,
Reinhard F. Werner,
Michael M. Wolf
Abstract:
We show that all quantum states that do not have a positive partial transpose are distillable via channels, which preserve the positivity of the partial transpose. The question whether NPT bound entanglement exist is therefore closely related to the connection between the set of separable superoperators and PPT-preserving maps.
We show that all quantum states that do not have a positive partial transpose are distillable via channels, which preserve the positivity of the partial transpose. The question whether NPT bound entanglement exist is therefore closely related to the connection between the set of separable superoperators and PPT-preserving maps.
△ Less
Submitted 14 May, 2001; v1 submitted 19 April, 2001;
originally announced April 2001.
-
Semicausal operations are semilocalizable
Authors:
T. Eggeling,
D. Schlingemann,
R. F. Werner
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 April, 2001;
originally announced April 2001.
-
A computable measure of entanglement
Authors:
G. Vidal,
R. F. Werner
Abstract:
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 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.
△ Less
Submitted 22 February, 2001;
originally announced February 2001.
-
Estimating the spectrum of a density operator
Authors:
M. Keyl,
R. F. Werner
Abstract:
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 eigenvalu…
▽ More
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.
△ Less
Submitted 5 February, 2001;
originally announced February 2001.
-
All multipartite Bell correlation inequalities for two dichotomic observables per site
Authors:
R. F. Werner,
M. M. Wolf
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 February, 2001;
originally announced February 2001.
-
Quantum Information Theory - an Invitation
Authors:
R. F. Werner
Abstract:
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 telep…
▽ More
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.
△ Less
Submitted 15 January, 2001;
originally announced January 2001.
-
Quantum error-correcting codes associated with graphs
Authors:
D. Schlingemann,
R. F. Werner
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 December, 2000;
originally announced December 2000.
-
Separability properties of tripartite states with UxUxU-symmetry
Authors:
T. Eggeling,
R. F. Werner
Abstract:
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) t…
▽ More
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.
△ Less
Submitted 27 October, 2000;
originally announced October 2000.
-
Entanglement Measures under Symmetry
Authors:
K. G. H. Vollbrecht,
R. F. Werner
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 1 March, 2001; v1 submitted 27 October, 2000;
originally announced October 2000.
-
Bound entangled Gaussian states
Authors:
R. F. Werner,
M. M. Wolf
Abstract:
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 impl…
▽ More
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.
△ Less
Submitted 28 September, 2000;
originally announced September 2000.
-
A counterexample to a conjectured entanglement inequality
Authors:
R. F. Werner,
K. G. H. Vollbrecht
Abstract:
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.
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.
△ Less
Submitted 13 June, 2000; v1 submitted 9 June, 2000;
originally announced June 2000.
-
All Teleportation and Dense Coding Schemes
Authors:
R. F. Werner
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 March, 2000;
originally announced March 2000.
-
Separability properties of tripartite states with UxUxU-symmetry
Authors:
T. Eggeling,
R. F. Werner
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 2 March, 2000;
originally announced March 2000.
-
On some additivity problems in quantum information theory
Authors:
G. G. Amosov,
A. S. Holevo,
R. F. Werner
Abstract:
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 addi…
▽ More
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.
△ Less
Submitted 13 May, 2000; v1 submitted 4 March, 2000;
originally announced March 2000.
-
Evaluating capacities of Bosonic Gaussian channels
Authors:
A. S. Holevo,
R. F. Werner
Abstract:
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 ex…
▽ More
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.
△ Less
Submitted 14 December, 1999;
originally announced December 1999.
-
The Rate of Optimal Purification procedures
Authors:
M. Keyl,
R. F. Werner
Abstract:
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 in…
▽ More
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.
△ Less
Submitted 1 November, 1999;
originally announced October 1999.
-
EPR states for von Neumann algebras
Authors:
R. F. Werner
Abstract:
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, a…
▽ More
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.
△ Less
Submitted 17 October, 1999;
originally announced October 1999.
-
Why Two Qubits Are Special
Authors:
K. G. H. Vollbrecht,
R. F. Werner
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 October, 1999;
originally announced October 1999.
-
Bell's inequalities for states with positive partial transpose
Authors:
Reinhard F. Werner,
Michael M. Wolf
Abstract:
We study violations of n particle Bell inequalities (as developed by Mermin and Klyshko) under the assumption that suitable partial transposes of the density operator are positive. If all transposes with respect to a partition of the system into p subsystems are positive, the best upper bound on the violation is 2^((n-p)/2). In particular, if the partial transposes with respect to all subsystems…
▽ More
We study violations of n particle Bell inequalities (as developed by Mermin and Klyshko) under the assumption that suitable partial transposes of the density operator are positive. If all transposes with respect to a partition of the system into p subsystems are positive, the best upper bound on the violation is 2^((n-p)/2). In particular, if the partial transposes with respect to all subsystems are positive, the inequalities are satisfied. This is supporting evidence for a recent conjecture by Peres that positivity of partial transposes could be equivalent to existence of local classical models.
△ Less
Submitted 14 October, 1999;
originally announced October 1999.
-
Optimal Cloning of Pure States, Judging Single Clones
Authors:
M. Keyl,
R. F. Werner
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 July, 1998;
originally announced July 1998.
-
Optimal Cloning of Pure States
Authors:
R. F. Werner
Abstract:
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 σ.
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 σ.
△ Less
Submitted 1 April, 1998;
originally announced April 1998.
-
Pure states on O_d
Authors:
Ola Bratteli,
Palle E. T. Jorgensen,
Akitaka Kishimoto,
Reinhard F. Werner
Abstract:
We study representations of the Cuntz algebras O_d and their associated decompositions. In the case that these representations are irreducible, their restrictions to the gauge-invariant subalgebra UHF_d have an interesting cyclic structure. If S_i, 1 \leq i \leq d, are representatives of the Cuntz relations on a Hilbert space H, special attention is given to the subspaces which are invariant und…
▽ More
We study representations of the Cuntz algebras O_d and their associated decompositions. In the case that these representations are irreducible, their restrictions to the gauge-invariant subalgebra UHF_d have an interesting cyclic structure. If S_i, 1 \leq i \leq d, are representatives of the Cuntz relations on a Hilbert space H, special attention is given to the subspaces which are invariant under S_i^*. The applications include wavelet multiresolutions corresponding to wavelets of compact support (to appear in the later paper \cite{BEJ97}), and finitely correlated states on one-dimensional quantum spin chains.
△ Less
Submitted 21 November, 1997;
originally announced November 1997.
-
The classical limit of quantum theory
Authors:
R. F. Werner
Abstract:
For a quantum observable $A_\hbar$ depending on a parameter $\hbar$ we define the notion ``$A_\hbar$ converges in the classical limit''. The limit is a function on phase space. Convergence is in norm in the sense that $A_\hbar\to0$ is equivalent with $\Vert A_\hbar\Vert\to0$. The $\hbar$-wise product of convergent observables converges to the product of the limiting phase space functions.…
▽ More
For a quantum observable $A_\hbar$ depending on a parameter $\hbar$ we define the notion ``$A_\hbar$ converges in the classical limit''. The limit is a function on phase space. Convergence is in norm in the sense that $A_\hbar\to0$ is equivalent with $\Vert A_\hbar\Vert\to0$. The $\hbar$-wise product of convergent observables converges to the product of the limiting phase space functions. $\hbar^{-1}$ times the commutator of suitable observables converges to the Poisson bracket of the limits. For a large class of convergent Hamiltonians the $\hbar$-wise action of the corresponding dynamics converges to the classical Hamiltonian dynamics. The connections with earlier approaches, based on the WKB method, or on Wigner distribution functions, or on the limits of coherent states are reviewed.
△ Less
Submitted 24 April, 1995;
originally announced April 1995.
-
Boundary conditions for quantum lattice systems
Authors:
M. Fannes,
R. F. Werner
Abstract:
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 evalua…
▽ More
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.
△ Less
Submitted 24 April, 1995;
originally announced April 1995.
-
Quantum spin chains with quantum group symmetry
Authors:
M. Fannes,
B. Nachtergaele,
R. F. Werner
Abstract:
We consider actions of quantum groups on lattice spin systems. We show that if an action of a quantum group respects the local structure of a lattice system, it has to be an ordinary group. Even allowing weakly delocalized (quasi-local) tails of the action, we find that there are no actions of a properly quantum group commuting with lattice translations. The non-locality arises from the ordering…
▽ More
We consider actions of quantum groups on lattice spin systems. We show that if an action of a quantum group respects the local structure of a lattice system, it has to be an ordinary group. Even allowing weakly delocalized (quasi-local) tails of the action, we find that there are no actions of a properly quantum group commuting with lattice translations. The non-locality arises from the ordering of factors in the quantum group C*-algebra, and can be made one-sided, thus allowing semi-local actions on a half chain. Under such actions, localized quantum group invariant elements remain localized. Hence the notion of interactions invariant under the quantum group and also under translations, recently studied by many authors, makes sense even though there is no global action of the quantum group. We consider a class of such quantum group invariant interactions with the property that there is a unique translation invariant ground state. Under weak locality assumptions, its GNS representation carries no unitary representation of the quantum group.
△ Less
Submitted 3 April, 1995;
originally announced April 1995.
-
Ergodicity of quantum cellular automata
Authors:
S. Richter,
R. F. Werner
Abstract:
We define a class of dynamical maps on the quasi-local algebra of a quantum spin system, which are quantum analogues of probabilistic cellular automata. We develop criteria for such a system to be ergodic, i.e., to possess a unique invariant state. Intuitively, ergodicity obtains if the local transition operators exhibit sufficiently large disorder. The ergodicity criteria also imply bounds for…
▽ More
We define a class of dynamical maps on the quasi-local algebra of a quantum spin system, which are quantum analogues of probabilistic cellular automata. We develop criteria for such a system to be ergodic, i.e., to possess a unique invariant state. Intuitively, ergodicity obtains if the local transition operators exhibit sufficiently large disorder. The ergodicity criteria also imply bounds for the exponential decay of correlations in the unique invariant state. The main technical tool is a quantum version of oscillation norms, defined in the classical case as the sum over all sites of the variations of an observable with respect to local spin-flips.
△ Less
Submitted 3 April, 1995;
originally announced April 1995.
-
Ground states of the infinite q-deformed Heisenberg ferromagnet
Authors:
C. -T. Gottstein,
R. F. Werner
Abstract:
We set up a general structure for the analysis of ``frustration-free ground states'', or ``zero-energy states'', i.e., states minimizing each term in a lattice interaction individually. The nesting of the finite volume ground state spaces is described by a generalized inductive limit of observable algebras. The limit space of this inductive system has a state space which is canonically isomorphic…
▽ More
We set up a general structure for the analysis of ``frustration-free ground states'', or ``zero-energy states'', i.e., states minimizing each term in a lattice interaction individually. The nesting of the finite volume ground state spaces is described by a generalized inductive limit of observable algebras. The limit space of this inductive system has a state space which is canonically isomorphic (as a compact convex set) to the set of zero-energy states. We show that for Heisenberg ferromagnets, and for generalized valence bond solid states, the limit space is an abelian C*-algebra, and all zero-energy states are translationally invariant or periodic. For the $q$-deformed spin-$1/2$ Heisenberg ferromagnet in one dimension (i.e., the XXZ-chain with S$_q$U(2)-invariant boundary conditions) the limit space is an extension of the non-commutative algebra of compact operators by two points, corresponding to the ``all spins up'' and the ``all spins down'' states, respectively. These are the only translationally invariant zero-energy states. The remaining ones are parametrized by the density matrices on a Hilbert space, and converge weakly to the ``all up'' (resp.\ ``all down'') state for shifts to $-\infty$ (resp.\ $+\infty$).
△ Less
Submitted 26 January, 1995;
originally announced January 1995.
-
Positive representations of general commutation relations allowing Wick ordering
Authors:
P. E. T. Jorgensen,
L. M. Schmitt,
R. F. Werner
Abstract:
We consider the problem of representing in Hilbert space commutation relations of the form $$ a_ia_j^*=δ_{ij}{\bold1} + \sum_{k\ell}T_{ij}^{k\ell} a_\ell^*a_k \quad,$$ where the $T_{ij}^{k\ell}$ are essentially arbitrary scalar coefficients. Examples comprise the $q$-canonical commutation relations introduced by Greenberg, Bozejko, and Speicher, and the twisted canonical (anti-)commutation relat…
▽ More
We consider the problem of representing in Hilbert space commutation relations of the form $$ a_ia_j^*=δ_{ij}{\bold1} + \sum_{k\ell}T_{ij}^{k\ell} a_\ell^*a_k \quad,$$ where the $T_{ij}^{k\ell}$ are essentially arbitrary scalar coefficients. Examples comprise the $q$-canonical commutation relations introduced by Greenberg, Bozejko, and Speicher, and the twisted canonical (anti-)commutation relations studied by Pusz and Woronowicz, as well as the quantum group S$_ν$U$(2)$. Using these relations, any polynomial in the generators $a_i$ and their adjoints can uniquely be written in ``Wick ordered form'' in which all starred generators are to the left of all unstarred ones. In this general framework we define the Fock representation, as well as coherent representations. We develop criteria for the natural scalar product in the associated representation spaces to be positive definite, and for the relations to have representations by bounded operators in a Hilbert space. We characterize the relations between the generators $a_i$ (not involving $a_i^*$) which are compatible with the basic relations. The relations may also be interpreted as defining a non-commutative differential calculus. For generic coefficients $T_{ij}^{k\ell}$, however, all differential forms of degree 2 and higher vanish. We exhibit conditions for this not to be the case, and relate them to the ideal structure of the Wick algebra, and conditions of positivity. We show that the differential calculus is compatible with the involution iff the coefficients $T$ define a representation of the braid group. This condition is also shown to imply improved bounds for the positivity of the Fock representation. Finally, we study the KMS states of the group of gauge transformations defined by $a_j\mapsto\exp(it)a_j$.
△ Less
Submitted 21 December, 1993;
originally announced December 1993.
-
The Free Quon Gas Suffers Gibbs' Paradox
Authors:
R. F. Werner
Abstract:
We consider the Statistical Mechanics of systems of particles satisfying the $q$-commutation relations recently proposed by Greenberg and others. We show that although the commutation relations approach Bose (resp.\ Fermi) relations for $q\to1$ (resp.\ $q\to-1$), the partition functions of free gases are independent of $q$ in the range $-1<q<1$. The partition functions exhibit Gibbs' Paradox in…
▽ More
We consider the Statistical Mechanics of systems of particles satisfying the $q$-commutation relations recently proposed by Greenberg and others. We show that although the commutation relations approach Bose (resp.\ Fermi) relations for $q\to1$ (resp.\ $q\to-1$), the partition functions of free gases are independent of $q$ in the range $-1<q<1$. The partition functions exhibit Gibbs' Paradox in the same way as a classical gas without a correction factor $1/N!$ for the statistical weight of the $N$-particle phase space, i.e.\ the Statistical Mechanics does not describe a material for which entropy, free energy, and particle number are extensive thermodynamical quantities.
△ Less
Submitted 26 April, 1993;
originally announced April 1993.
-
Coherent States of the q--Canonical Commutation Relations
Authors:
P. E. T. Jørgensen,
R. F. Werner
Abstract:
For the $q$-deformed canonical commutation relations $a(f)a^\dagger(g) = (1-q)\,\langle f,g\rangle{\bf1}+q\,a^\dagger(g)a(f)$ for $f,g$ in some Hilbert space ${\cal H}$ we consider representations generated from a vector $Ω$ satisfying $a(f)Ω=\langle f,φ\rangleΩ$, where $φ\in{\cal H}$. We show that such a representation exists if and only if $\Vertφ\Vert\leq1$. Moreover, for $\Vertφ\Vert<1$ the…
▽ More
For the $q$-deformed canonical commutation relations $a(f)a^\dagger(g) = (1-q)\,\langle f,g\rangle{\bf1}+q\,a^\dagger(g)a(f)$ for $f,g$ in some Hilbert space ${\cal H}$ we consider representations generated from a vector $Ω$ satisfying $a(f)Ω=\langle f,φ\rangleΩ$, where $φ\in{\cal H}$. We show that such a representation exists if and only if $\Vertφ\Vert\leq1$. Moreover, for $\Vertφ\Vert<1$ these representations are unitarily equivalent to the Fock representation (obtained for $φ=0$). On the other hand representations obtained for different unit vectors $φ$ are disjoint. We show that the universal C*-algebra for the relations has a largest proper, closed, two-sided ideal. The quotient by this ideal is a natural $q$-analogue of the Cuntz algebra (obtained for $q=0$). We discuss the Conjecture that, for $d<\infty$, this analogue should, in fact, be equal to the Cuntz algebra itself. In the limiting cases $q=\pm1$ we determine all irreducible representations of the relations, and characterize those which can be obtained via coherent states.
△ Less
Submitted 12 March, 1993;
originally announced March 1993.
