We employ a basic formalism from convex analysis to show a simple relation between the entanglement of formation $E_F$ and the conjugate function $E^*$ of the entanglement function $E(ρ)=S(\trace_Aρ)$. We then consider the conjectured strong superadditivity of the entanglement of formation $E_F(ρ) \ge E_F(ρ_I)+E_F(ρ_{II})$, where $ρ_I$ and $ρ_{II}$ are the reductions of $ρ$ to the different Hilbert space copies, and prove that it is equivalent with subadditivity of $E^*$. As an application, we show that strong superadditivity would follow from multiplicativity of the maximal channel output purity for all non-trace-preserving quantum channels, when purity is measured by Schatten $p$-norms for $p$ tending to 1.
From Shor's [Comm. Math. Phys. 246(3), 453 (2004)] and Hastings's [Nature Phys. 5, 255 (2009)] studies, the strong superadditivity of entanglement of formation is, in general, not true. In this paper, we provide conditions for strong superadditivity of entanglement of formation, and consequently identify classes of states that are strongly superadditive.
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.
Employing the quantum Rényi $α$-entropies as a measure of entanglement, we numerically find the violation of the strong superadditivity inequality for a system composed of four qubits and $α>1$. This violation gets smaller as $α\rightarrow 1$ and vanishes for $α=1$ when the measure corresponds to the Entanglement of Formation (EoF). We show that the Rényi measure aways satisfies the standard monogamy of entanglement for $α= 2$, and only violates a high order monogamy inequality, in the rare cases in which the strong superadditivity is also violated. The sates numerically found where the violat…
We address the question as to whether an entangled state that satisfies local realism will give a violation of the same, after entanglement swapping in a suitable scenario. We consider such possibility as a kind of superadditivity in nonclassicality. Importantly, it will indicate that checking for violation of local realism, in the state obtained after entanglement swapping, can be a method for detecting entanglement in the input state of the swapping procedure. We investigate various entanglement swapping schemes, which involve mixed initial states. The strength of violation of local realism …
We show that the phenomenon of superadditivity of distillable entanglement observed in multipartite quantum systems results from the consideration of states created during the execution of the standard end-to-end quantum teleportation protocol (and a few additional local operations and classical communication (LOCC) steps) on a linear chain of singlets. Some of these intermediate states are tensor products of bound-entangled (BE) states, and hence, by construction possess distillable entanglement, which can be unlocked by simply completing the rest of the LOCC operations required by the underl…
Entanglement indcued non--additivity of classical communication capacity in networks consisting of quantum channels is considered. Communication lattices consisiting of butterfly-type entanglement breaking channels augmented, with some probability, by identity channels are analyzed. The capacity superadditivity in the network is manifested in directed correlated bond percolation which we consider in two flavours: simply directed and randomly oriented. The obtained percolation properties show that high capacity information transfer sets in much faster in the regime of superadditive communicatio…
Coherent information quantifies the achievable rate of the reliable quantum information transmission through a communication channel. Use of the correlated quantum states instead of the factorized ones may result in an increase in the coherent information, a phenomenon known as superadditivity. However, even for simple physical models of channels it is rather difficult to detect the superadditivity and find the advantageous multipartite states. Here we consider the case of polarization dependent losses and propose some physically motivated multipartite entangled states which outperform all fac…
We show that for a particular class of quantum channels, which we call heralded channels, monogamy of squashed entanglement limits the superadditivity of Holevo capacity. Heralded channels provide a means to understand the quantum erasure channel composed with an arbitrary other quantum channel, as well as common situations in experimental quantum information that involve frequent loss of qubits or failure of trials. We also show how entanglement monogamy applies to non-classicality in quantum games, and we consider how faithful, monogamous entanglement measures may bound other entanglement-de…
Finding the optimal encoding strategies can be challenging for communication using quantum channels, as classical and quantum capacities may be superadditive. Entanglement assistance can often simplify this task, as the entanglement-assisted classical capacity for any channel is additive, making entanglement across channel uses unnecessary. If the entanglement assistance is limited, the picture is much more unclear. Suppose the classical capacity is superadditive, then the classical capacity with limited entanglement assistance could retain superadditivity by continuity arguments. If the class…
Superadditivity effects in the classical capacity of discrete multi-access channels (MACs) and continuous variable (CV) Gaussian MACs are analysed. New examples of the manifestation of superadditivity in the discrete case are provided including, in particular, a channel which is fully symmetric with respect to all senders. Furthermore, we consider a class of channels for which {\it input entanglement across more than two copies of the channels is necessary} to saturate the asymptotic rate of transmission from one of the senders to the receiver. The 5-input entanglement of Shor error correction…
The design of error-correcting codes used in modern communications relies on information theory to quantify the capacity of a noisy channel to send information [1]. This capacity can be expressed using the mutual information between input and output for a single use of the channel: although correlations between subsequent input bits are used to correct errors, they cannot increase the capacity. For quantum channels, it has been an open question whether entangled input states can increase the capacity to send classical information [2]. The additivity conjecture [3,4] states that entanglement do…
Superadditivity for Entanglement-Assisted Communication
National Taiwan University（台湾大学）；National Center for Theoretical Sciences（国家理论科学中心）；Hon Hai (Foxconn) Quantum Computing Center（鸿海（富士康）量子计算中心）；RWTH Aachen University（亚琛工业大学）
Communication rates over quantum channels can be boosted by entanglement, via superadditivity phenomena or entanglement assistance. Superadditivity refers to the capacity improvement from entangling inputs across multiple channel uses. Nevertheless, when unlimited entanglement assistance is available, the entanglement between channel uses becomes unnecessary -- the entanglement-assisted (EA) capacity of a single-sender and single-receiver channel is additive. We generalize the additivity of EA capacity to general multiple-access channels (MACs) for the total communication rate. Furthermore, fo…
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 analyze quantum network primitives which are entanglement-breaking. We show superadditivity of quantum and classical capacity regions for quantum multiple-access channel and quantum butterfly network. Since the effects are especially visible at high noise they suggest that quantum information effects may be particularly helpful in the case of the networks with occasional high noise rates. To our knowledge the present effects provide the first qualitative borderline between superadditivities of bipartite and multipartite systems.
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…
We describe two quantum channels that individually cannot send any information, even classical, without some chance of decoding error. But together a single use of each channel can send quantum information perfectly reliably. This proves that the zero-error classical capacity exhibits superactivation, the extreme form of the superadditivity phenomenon in which entangled inputs allow communication over zero capacity channels. But our result is stronger still, as it even allows zero-error quantum communication when the two channels are combined. Thus our result shows a new remarkable way in whic…
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…
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…
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…
Entanglement distribution is key to the success of secure communication schemes based on quantum mechanics, and there is a strong need for an ultimate architecture able to overcome the limitations of recent proposals such as those based on entanglement percolation or quantum repeaters. In this work we provide broad theoretical background for the development of such technologies. In particular, we investigate the question of whether entanglement distribution is more efficient if some amount of entanglement -- or some amount of correlations in general -- is available prior to the transmission st…
We define the coherence non-generating channel as the completely positive trace-preserving map which does not generate quantum coherence from an incoherent state. The incoherent operations are the strict subset of the coherence non-generating channels. We prove that the relative entropy of coherence is monotonically decreasing under the coherence non-generating channels, while the coherence of formation may increase under such channels. Interestingly, by combining mathematically the coherence of formation to the entanglement of formation, we show that the coherence of formation of a single-qub…
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.
We study the entanglement of formation for arbitrary dimensional bipartite mixed unknown states. Experimentally measurable lower and upper bounds for entanglement of formation are derived.
Entanglement of formation is an important measure of quantum entanglement. We present an experimental way to measure the entanglement of formation for arbitrary dimensional pure states. The measurement only evolves local quantum mechanical observables.
Quantum capacities are fundamental quantities that are notoriously hard to compute and can exhibit surprising properties such as superadditivity. Thus, a vast amount of literature is devoted to finding tight and computable bounds on these capacities. We add a new viewpoint by giving operationally motivated bounds on several capacities, including the quantum capacity and private capacity of a quantum channel and the one-way distillable entanglement and private key of a quantum state. These bounds are generally phrased in terms of capacity quantities involving the complementary channel or state.…
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.
We provide analytical lower and upper bounds for entanglement of formation for bipartite systems, which give a direct relation between the bounds of entanglement of formation and concurrence, and improve the previous results. Detailed examples are presented.
The upper and lower bounds of entanglement of formation are given for two mode squeezed thermal state. The bounds are compared with other entanglement measure or bounds. The entanglement distillation and the relative entropy of entanglement of infinitive squeezed state are obtained at the postulation of hashing inequality.
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 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.
Currently the entanglement of formation can be calculated analytically for mixed states in a $(2\otimes2)$-dimensional Hilbert space. For states in higher dimensional Hilbert space a closed formula for quantifying entanglement does not exist. In this regard only entanglement bounds has been found for estimating it. In this work, we find an analytical expression for evaluating the entanglement of formation for bipartite ($2\otimes d$)-dimensional mixed states.
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 discuss a kind of generalized concurrence for a class of high dimensional quantum pure states such that the entanglement of formation is a monotonically increasing convex function of the generalized concurrence. An analytical expression of the entanglement of formation for a class of high dimensional quantum mixed states is obtained.
We give an explicit tight lower bound for the entanglement of formation for arbitrary bipartite mixed states by using the convex hull construction of a certain function. This is achieved by revealing a novel connection among the entanglement of formation, the well-known Peres-Horodecki and realignment criteria. The bound gives a quite simple and efficiently computable way to evaluate quantitatively the degree of entanglement for any bipartite quantum state.
We establish tight upper and lower bounds for the Entanglement of Formation of an arbitrary two-mode Gaussian state employing necessary properties of Gaussian channels. Both bounds are strictly given by the Entanglement of Formation of symmetric Gaussian states, which are simply constructed from the reduced states obtained by partial trace of the original one.
Dynamical formation of entanglement is studied for quantum chaotic bi-particle systems. We find that statistical properties of the Schmidt eigenvalues for strong chaos are well described by the random matrix theory of the Laguerre ensemble. This implies that entanglement formation for quantum chaos has universal properties, and does not depend on specific aspects of the systems.
We consider entanglement for quantum states defined in vector spaces over the real numbers. Such real entanglement is different from entanglement in standard quantum mechanics over the complex numbers. The differences provide insight into the nature of entanglement in standard quantum theory. Wootters [Phys. Rev. Lett. 80, 2245 (1998)] has given an explicit formula for the entanglement of formation of two qubits in terms of what he calls the concurrence of the joint density operator. We give a contrasting formula for the entanglement of formation of an arbitrary state of two ``rebits,'' a rebi…
We derive bounds on the entanglement of formation of states of a 4xN bipartite system using two entanglement monotones constructed from operational separability criteria. The bounds are used simultaneously as constraints on the entanglement of formation. One monotone is the negativity, which is based on the Peres positive-partial-transpose criterion. For the other, we formulate a monotone based on a separability criterion introduced by Breuer (H.-P. Breuer, e-print quant-ph/0605036).
We present a general method to find the upper and lower bounds on the generalized entanglement of formation for multi-party systems. The upper and lower bounds can be expressed in terms of the bi-partite entanglements of formation and/or entropies of various subsystems. The examples for tri- and four-party systems in the both pure states and mixed states are given. We also suggest a little modified definition of generalized entanglement of formation for multi-party systems if EPR pairs are thought of belonging to the set of maximally entangled states.
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.
By investigating the convex property of the function R, appeared in computing the entanglement of formation for isotropic states in Phys. Rev. Lett. 85, 2625 (2000), and a tight lower bound of entanglement of formation for arbitrary bipartite mixed states in Phys. Rev. Lett. 95, 210501 (2005), we show analytically that the very nice results in these papers are valid not only for dimensions 2 and 3 but any dimensions.
We prove exactly that the squared entanglement of formation, which quantifies the bipartite entanglement, obeys a general monogamy inequality in an arbitrary multiqubit mixed state. Based on this kind of exotic monogamy relation, we are able to construct two sets of useful entanglement indicator: the first one can detect all genuine multiqubit entangled states even in the case of the two-qubit concurrence and $n$-tangles being zero, while the second one can be calculated via quantum discord and applied to multipartite entanglement dynamics. Moreover, we give a computable and nontrivial lower b…
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…
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…
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.
It is well known that a particle cannot freely share entanglement with two or more particles. This restriction is generally called monogamy. However the formal quantification of such restriction is only known for some measures of entanglement and for two-level systems. The first and broadly known monogamy relation was established by Coffman, Kundu, and Wootters for the square of the concurrence. Since then, it is usually said that the entanglement of formation is not monogamous, as it does not obey the same relation. We show here that despite that, the entanglement of formation cannot be freel…
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.
Computing the entanglement of formation of a bipartite state is generally difficult, but special symmetries of a state can simplify the problem. For instance, this allows one to determine the entanglement of formation of Werner states and isotropic states. We consider a slightly more general class of states, rotationally symmetric states, also known as SU(2)-invariant states. These states are invariant under global rotations of both subsystems, and one can examine entanglement in cases where the subsystems have different dimensions. We derive an analytic expression for the entanglement of form…
The entanglement of a pure state of a pair of quantum systems is defined as the entropy of either member of the pair. The entanglement of formation of a mixed state is defined as the minimum average entanglement of an ensemble of pure states that represents the given mixed state. An earlier paper [Phys. Rev. Lett. 78, 5022 (1997)] conjectured an explicit formula for the entanglement of formation of a pair of binary quantum objects (qubits) as a function of their density matrix, and proved the formula to be true for a special class of mixed states. The present paper extends the proof to arbitra…
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…
We give an explicit expression for the entanglement of formation for isotropic density matrices in arbitrary dimensions in terms of the convex hull of a simple function. For two qutrit isotropic states we determine the convex hull and we have strong evidence for its exact form for arbitrary dimension. Unlike for two qubits, the entanglement of formation for two qutrits or more is found to be a nonanalytic function of the maximally entangled fraction in the regime where the density matrix is entangled.
We show that any measure of entanglement that on pure bipartite states is given by a strictly concave function of the reduced density matrix is monogamous on pure tripartite states. This includes the important class of bipartite measures of entanglement that reduce to the (von Neumann) entropy of entanglement. Moreover, we show that the convex roof extension of such measures (e.g., entanglement of formation) are monogamous also on \emph{mixed} tripartite states. To prove our results, we use the definition of monogamy without inequalities, recently put forward[Gour and Guo, Quantum \textbf{2}, …
We compare some recent computations of the entanglement of formation in quantum information theory and of the entropy of a subalgebra in quantum ergodic theory. Both notions require optimization over decompositions of quantum states. We show that both functionals are strongly related for some highly symmetric density matrices. We discuss the presence of broken symmetries in relation with the structure of the optimal decompositions.
We investigate the monogamy relations related to the concurrence and the entanglement of formation. General monogamy inequalities given by the αth power of concurrence and entanglement of formation are presented for N-qubit states. The monogamy relation for entanglement of assistance is also established. Based on these general monogamy relations, the residual entanglement of concurrence and entanglement of formation are studied. Some relations among the residual entanglement, entanglement of assistance, and three tangle are also presented.
We define an EPR-like uncertainty by using the Duan et al.'s inequality which gives a necessary and sufficient condition for the separability of any two-mode Gaussian state. We show that for a given amount of entanglement, the uncertainty is minimized by pure two-mode squeezed states. Using this fact, we write the optimal pure-state decomposition and derive a compact form for the entanglement of formation of two-mode Gaussian states. For illustration purposes, we consider symmetric and squeezed thermal states as special cases and evaluate their entanglement of formation explicitly. For the sym…
In this paper we explore the non-monotonic nature of entanglement of formation with respect to concurrence for pure bipartite states. For pure bipartite system, one of the basic physical reason of this non-monotonicity character is due to the existence of incomparable states, i.e., the pure bipartite states which are not convertible to each other by LOCC with certainty.
