The proof of additivity of entanglement of formation for some special cases is given. The strong concavity of von Neumann entropy due to strong subadditivity of von Neumann entropy is presented. Some general relations concerning about the entanglement of formation are proposed.
The additivity of both the entanglement of formation and the classical channel capacity is known to be a consequence of the strong superadditivity conjecture. We show that, conversely, the strong superadditivity conjecture follows from the additivity of the entanglement of formation; this means that the two conjectures are equivalent and that the additivity of the classical channel capacity is a consequence of them.
Quantum entanglement is the quantum information processing resource. Thus it is of importance to understand how much of entanglement particular quantum states have, and what kinds of laws entanglement and also transformation between entanglement states subject to. Therefore, it is essentialy important to use proper measures of entanglement which have nice properties. One of the major candidates of such measures is "entanglement of formation", and whether this measurement is additive or not is an important open problem. We aim at certain states so-called "antisymmetric states" for which the add…
We prove the strong super-additivity of the entanglement of formation for stabilizer pure states, and the set of mixed states which minimize their average entropy of entanglement as a mixture of stabilizer pure states sharing the same stabilizer group up to phases. The implications of the result on the additivity of the Holevo capacity of a quantum channel transmitting stabilizer states with Pauli noise is discussed.
We present a general strategy that allows a more flexible method for the construction of fully additive multipartite entanglement monotones than the ones so far reported in the literature of axiomatic entanglement measures. Within this framework we give a proof of a conjecture of outstanding implications in information theory: the full additivity of the Entanglement of Formation.
We analyse the relationship between the full additivity of the entanglement cost and its full monotonicity under local operations and classical communication. We show that the two properties are equivalent for the entanglement cost. The proof works for the regularization of any convex, subadditive, and asymptotically continuous entanglement monotone, and hence also applies to the asymptotic relative entropy of entanglement.
We study the entanglement cost of the states in the contragredient space, which consists of $(d-1)$ $d$-dimensional systems. The cost is always $\log_2 (d-1)$ ebits when the state is divided into bipartite $\C^d \otimes (\C^d)^{d-2}$. Combined with the arguments in \cite{Matsumoto02}, additivity of channel capacity of some quantum channels is also shown.
We study the additivity property of three multipartite entanglement measures, i.e. the geometric measure of entanglement (GM), the relative entropy of entanglement and the logarithmic global robustness. First, we show the additivity of GM of multipartite states with real and non-negative entries in the computational basis. Many states of experimental and theoretical interests have this property, e.g. Bell diagonal states, maximally correlated generalized Bell diagonal states, generalized Dicke states, the Smolin state, and the generalization of Dür's multipartite bound entangled states. We als…
The purpose of these notes is to discuss the relation between the additivity questions regarding the quantities (Holevo) capacity of a quantum channel T and entanglement of formation of a given bipartite state. In particular, using the Stinespring dilation theorem, we give a formula for the channel capacity involving entanglement of formation. This can be used to show that additivity of the latter for some states can be inferred from the additivity of capacity for certain channels. We demonstrate this connection for a family of group--covariant channels, allowing us to calculate the entangleme…
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.
We study the entanglement-breaking (EB) space, such that the entanglement of formation (EOF) of a bipartite quantum state is additive when its range is an EB subspace. We systematically construct the EB spaces in the Hilbert space $\bbC^m\otimes\bbC^3$, and the $2$-dimensional EB space in $\bbC^2\otimes\bbC^n$. We characterize the expression of two-qubit states of rank two with nonadditive EOF, if they exist. We further apply our results to construct EB spaces of an arbitrarily given dimensions. We show that the example in [PRL 89,027901(2002)] is a special case of our results. We further work…
It is known that the additivity conjecture of Holevo capacity, output minimum entoropy, and the entanglement of formation (EoF), are equivalent with each other. Among them, the output minimum entropy is simplest, and hence many researchers are focusing on this quantity. Here, we suggest yet another entanglement measure, whose strong superadditivity and additivity are equivalent to the additivity of the quantities mentioned above. This quantity is as simple as the output minimum entropy, and in existing proofs of additivity conjecture of the output minimum entropy for the specific examples, the…
We study whether the entanglement of formation is additive over tensor products and derive a necessary and sufficient condition for optimality of vector states that enables us to show additivity in two special cases.
An elementary introduction into algebraic approach to unified quantum information theory and operational approach to quantum entanglement as generalized encoding is given. After introducing compound quantum state and two types of informational divergences, namely, Araki-Umegaki (a-type) and of Belavkin-Staszewski (b-type) quantum relative entropic information, this paper treats two types of quantum mutual information via entanglement and defines two types of corresponding quantum channel capacities as the supremum via the generalized encodings. It proves the additivity property of quantum chan…
We point out a contrasting role the entanglement plays in communication and estimation scenarios. In the first case it brings noticeable benefits at the measurement stage (output super-additivity), whereas in the latter it is the entanglement of the input probes that enables significant performance enhancement (input super-additivity). We identify a weak estimation regime where a strong connection between concepts crucial to the two fields is demonstrated; the accessible information and the Holevo quantity on one side and the quantum Fisher information related quantities on the other. This all…
Recently Hastings proved the existence of random unitary channels which violate the additivity conjecture. In this paper we use Hastings' method to derive new bounds for the entanglement of random subspaces of bipartite systems. As an application we use these bounds to prove the existence of non-unital channels which violate additivity of minimal output entropy.
Recently Shor proved equivalence of several open (sub)additivity problems related to the Holevo capacity and the entanglement of formation [15]. In our previous note [6] equivalence of these to the additivity of the Holevo capacity for channels with arbitrary linear constraints was shown. This note is the development of the previous one in the direction of channels with general constraints. Introducing input constraints provides greater flexibility in the treatment of the additivity conjecture. The Holevo capacity of arbitrarily constrained channel is considered and the characteristic property…
We demonstrate the convexity of the difference between the regularized entanglement of purification and the entropy, as a function of the state. This is proved by means of a new asymptotic protocol to prepare a state from pre-shared entanglement and by local operations only. We go on to employ this convexity property in an investigation of the additivity of the (single-copy) entanglement of purification: using numerical results for two-qubit Werner states we find strong evidence that the entanglement of purification is different from its regularization, hence that entanglement of purification …
Quantum information theory determines the maximum rates at which information can be transmitted through physical systems described by quantum mechanics. Here we consider the communication protocol known as quantum reading. Quantum reading is a protocol for retrieving the information stored in a digital memory by using a quantum probe, e.g., shining quantum states of light to read an optical memory. In a variety of situations using a quantum probe enhances the performances of the reading protocol in terms of fidelity, data density and energy dissipation. Here we review and characterize the quan…
Based on the idea of measuring the factorizability of a given density matrix, we propose a pairwise analysis strategy for quantifying and understanding multipartite entanglement. The methodology proves very effective as it immediately guarantees, in addition to the usual entanglement properties, additivity and strong super additivity. We give a specific set of quantities that fulfill the protocol and which, according to our numerical calculations, make the entanglement measure an LOCC non-increasing function. The strategy allows a redefinition of the structural concept of global entanglement.
We establish relations between tripartite pure state entanglement and additivity properties of the bipartite relative entropy of entanglement. Our results pertain to the asymptotic limit of local manipulations on a large number of copies of the state. We show that additivity of the relative entropy would imply that there are at least two inequivalent types of asymptotic tripartite entanglement. The methods used include the application of some useful lemmas that enable us to analytically calculate the relative entropy for some classes of bipartite states.
In this paper we obtain new bounds for the minimum output entropies of random quantum channels. These bounds rely on random matrix techniques arising from free probability theory. We then revisit the counterexamples developed by Hayden and Winter to get violations of the additivity equalities for minimum output Rényi entropies. We show that random channels obtained by randomly coupling the input to a qubit violate the additivity of the $p$-Rényi entropy. For some sequences of random quantum channels, we compute almost surely the limit of their Schatten $S_1 \to S_p$ norms.
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.
Non-additivity is one of the distinctive traits of Quantum Information Theory: the combined use of quantum objects may be more advantageous than the sum of their individual uses. Non-additivity effects have been proven, for example, for quantum channel capacities, entanglement distillation or state estimation. In this work, we consider whether non-additivity effects can be found in Classical Information Theory. We work in the secret-key agreement scenario in which two honest parties, having access to correlated classical data that are also correlated to an eavesdropper, aim at distilling a sec…
We write the optimal pure-state decomposition of any two-mode Gaussian state and show that its entanglement of formation coincides with the Gaussian one. This enables us to develop an insightful approach of evaluating the exact entanglement of formation. Its additivity is finally proven.
We derive quantitative relations among several naturally defined measures of classical and nonclassical correlations in a bipartite quantum state. We also obtain an upper bound of entanglement irreversibility and a sufficient condition for reversible entanglement. The additivity of entanglement of formation is directly related to the additivity of quantum discord as well as a certain measure of classical correlation.
We argue that one of the following statements must be true: (a) extensive violations of quantum information theory's additivity conjectures exist or (b) there exists a set of `disentangled' black hole microstates that can account for the entire Bekenstein-Hawking entropy, up to at most a subleading $O(1)$ correction. Possibility (a) would be a significant result in quantum communication theory, demonstrating that entanglement can enhance the ability to transmit information much more than has currently been established. Option (b) would provide new insight into the microphysics of black holes. …
Whenever a physical quantity becomes essential to the realization of useful tasks, it is desirable to define proper measures or monotones to quantify it. In quantum mechanics, coherence, entanglement, and Bell nonlocality are examples of such quantities. Given a quantum state $\varrho$ and a quantifier ${\cal E}(\varrho)$, both arbitrary, it is a hard task to determine ${\cal E}(\varrho^{\otimes N})$. However, if the figure of merit $\cal{E}$ turns out to be additive, we simply have ${\cal E}(\varrho^{\otimes N})=N e$, with $e={\cal E}(\varrho)$. In this work we generalize this useful notion t…
We present a new method of analytically deriving the entanglement of formation of the bipartite mixed state. The method realizes the optimal decomposition families of states. Our method can lead to many new results concerning entanglement of formation, its additivity and entanglement cost. We illustrate it by investigating the two-qubit state, the separable state, the maximally correlated state, the isotropic state and the Werner state.
We present a constructive example of violation of additivity of minimum output Rényi entropy for each p>2. The example is provided by antisymmetric subspace of a suitable dimension. We discuss possibility of extension of the result to go beyond p>2 and obtain additivity for p=0 for a class of entanglement breaking channels.
From Permutation Symmetry to Communication Bounds and Additivity
Perimeter Institute for Theoretical Physics(Perimeter理论物理研究所);University of Waterloo(滑铁卢大学);Institute for Quantum Computing, University of Waterloo(滑铁卢大学量子计算研究所)
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.
It is known that the minimal output entropy is additive for any product of entanglement breaking (EB) channels. The same is true for the Renyi entropy, where additivity is equivalent to multiplicativity of the $1 \rightarrow q$ norm for all $q \ge 1$. In this paper we consider the related question of multiplicativity of the $2 \rightarrow q$ norm for entanglement breaking channels. We prove that multiplicativity holds in this case for certain classes of EB channels, including both the CQ and QC channels.
Rényi Entanglement of Purification Is Non-additive
University of Waterloo(滑铁卢大学);Institute for Quantum Computing, University of Waterloo(滑铁卢大学量子计算研究所);Perimeter Institute for Theoretical Physics(理论物理珀蒂默研究所)
We show that not all 4-party pure states are GHZ reducible (i.e., can be generated reversibly from a combination of 2-, 3- and 4-party maximally entangled states by local quantum operations and classical communication asymptotically) through an example, we also present some properties of the relative entropy of entanglement for those 3-party pure states that are GHZ reducible, and then we relate these properties to the additivity of the relative entropy of entanglement.
We provide a sufficient condition for the monogamy inequality of multi-party quantum entanglement of arbitrary dimensions in terms of entanglement of formation. Based on the classical-classical-quantum(ccq) states whose quantum parts are obtained from the two-party reduced density matrices of a three-party quantum state, we show the additivity of the mutual information of the ccq states guarantees the monogamy inequality of the three-party pure state in terms of EoF. After illustrating the result with some examples, we generalize our result of three-party systems into any multi-party systems o…
Regarding the strange properties of quantum entropy and entanglement, e.g., the negative quantum conditional entropy, we revisited the foundations of quantum entropy, namely, von Neumann entropy, and raised the new method of quantum fine-grained entropy. With the applications in entanglement theory, quantum information processing, and quantum thermodynamics, we demonstrated the capability of quantum fine-grained entropy to resolve some notable confusions and problems, including the measure of entanglement and quantumness, the additivity conjecture of entanglement of formation etc, and the defi…
We study the geometric measure of entanglement (GM) of pure symmetric states related to rank-one positive-operator-valued measures (POVMs) and establish a general connection with quantum state estimation theory, especially the maximum likelihood principle. Based on this connection, we provide a method for computing the GM of these states and demonstrate its additivity property under certain conditions. In particular, we prove the additivity of the GM of pure symmetric multiqubit states whose Majorana points under Majorana representation are distributed within a half sphere, including all pure …
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 consi…
This article provides an elementary introduction to Gaussian channels and their capacities. We review results on the classical, quantum, and entanglement assisted capacities and discuss related entropic quantities as well as additivity issues. Some of the known results are extended. In particular, it is shown that the quantum conditional entropy is maximized by Gaussian states and that some implications for additivity problems can be extended to the Gaussian setting.
We prove an entropic uncertainty relation for two quantum channels, extending the work of Frank and Lieb for quantum measurements. This is obtained via a generalized strong super-additivity (SSA) of quantum entropy. Motivated by Petz's algebraic SSA inequality, we also obtain a generalized SSA for quantum relative entropy. As a special case, it gives an improved data processing inequality.
The continuity properties of the convex closure of the output entropy of infinite dimensional channels and their applications to the additivity problem are considered. The main result of this paper is the statement that the superadditivity of the convex closure of the output entropy for all finite dimensional channels implies the superadditivity of the convex closure of the output entropy for all infinite dimensional channels, which provides the analogous statements for the strong superadditivity of the EoF and for the additivity of the minimal output entropy. The above result also provides in…
We compute the entanglement entropy of a wide class of exactly solvable models which may be characterized as describing matter coupled to gauge fields. Our principle result is an entanglement sum rule which states that entropy of the full system is the sum of the entropies of the two components. In the context of the exactly solvable models we consider, this result applies to the full entropy, but more generally it is a statement about the additivity of universal terms in the entropy. We also prove that the Renyi entropy is exactly additive and hence that the entanglement spectrum factorizes. …
In this article, we investigate the additivity phenomenon in the dynamic capacity of a quantum channel for trading classical communication, quantum communication and entanglement. Understanding such additivity property is important if we want to optimally use a quantum channel for general communication purpose. However, in a lot of cases, the channel one will be using only has an additive single or double resource capacity, and it is largely unknown if this could lead to an superadditive double or triple resource capacity. For example, if a channel has an additive classical and quantum capacit…
The newfound importance of ``entanglement as a resource'' in quantum computation and quantum communication compels us to quantify it in as many distinct ways as possible. Here we explore a new measure of entanglement for mixed quantum states of bipartite systems, which we name the Entanglement of Assistance. We show it to be the maximum average entanglement of all pure-state ensembles consistent with the given density matrix. In this sense, the Entanglement of Assistance is a quantity directly dual to the more standard Entanglement of Formation. With the help of lower and upper bounds, we calc…
The long-standing problem of finding a closed formula for the relative entropy of entanglement (REE) for two qubits is addressed. A compact-form solution to the inverse problem, which characterizes an entangled state for a given closest separable state, is obtained. Analysis of the formula for a large class of entangled states strongly suggests that a compact analytical solution of the original problem, which corresponds to finding the closest separable state for a given entangled state, can be given only in some special cases. A few applications of the compact-form formula are given to show a…
We make a number of simplifications in Gour and Friedland's proof of local additivity of minimum output entropy of a quantum channel. We follow them in reframing the question as one about entanglement entropy of bipartite states associated with a $d_B \times d_E $ matrix. We use a different approach to reduce the general case to that of a square positive definite matrix. We use the integral representation of the log to obtain expressions for the first and second derivatives of the entropy, and then exploit the modular operator and functional calculus to streamline the proof following their und…
By using of a special reduction way of density matrices, in this Letter we find the entanglement between two bunches of particles, its measure can be represented by the entanglement of formation.
Although entropy is a necessary and sufficient quantity to characterize the order of work content for equal energetic (EE) states in the asymptotic limit, for the finite quantum systems, the relation is not so linear and requires detail investigation. Toward this, we have considered a resource theoretic framework taking the energy preserving operations (EPO) as free, to compare the amount of extractable work from two different quantum states. Under EPO, majorization becomes a necessary criterion for state transformation. It is also shown that the passive state energy is a concave function and …
We present a kind of construction for a class of special matrices with at most two different eigenvalues, in terms of some interesting multiplicators which are very useful in calculating eigenvalue polynomials of these matrices. This class of matrices defines a special kind of quantum states -- $d$-computable states. The entanglement of formation for a large class of quantum mixed states is explicitly presented.
Quantum entanglements are of fundamental importance in quantum physics ranging from the quantum information processing to the physics of black hole. Here, we show that the quantum entanglement is not invariant in special relativity. This suggests that nearly all aspects of quantum information processing would be affected significantly when relativistic effects are considered because present schemes are based on the general assumption that entanglement is invariant. There should be additional protocols to compensate the variances of entanglement in in quantum information processing. Furthermore…
We investigate sharing of bipartite entanglement in a scenario where half of an entangled pair is possessed and projectively measured by one observer, called Alice, while the other half is subjected to measurements performed sequentially, independently, and unsharply, by multiple observers, called Bobs. We find that there is a limit on the number of observers in this entanglement distribution scenario. In particular, for a two-qubit maximally entangled initial shared state, no more than twelve Bobs can detect entanglement with a single Alice for arbitrary -- possibly unequal -- sharpness param…
Within a special multi-coin quantum walk scheme we analyze the effect of the entanglement of the initial coin state. For states with a special entanglement structure it is shown that this entanglement can be meausured with the mean value of the walk, which depends on the i-concurrence of the initial coin state. Further on the entanglement evolution is investigated and it is shown that the symmetry of the probability distribution is reflected by the symmetry of the entanglement distribution.