Entanglement Cost Research Articles

Bounds on Instantaneous Nonlocal Quantum Computation

Instantaneous nonlocal quantum computation refers to a process in which spacelike separated parties simulate a nonlocal quantum operation on their joint systems through the consumption of pre-shared entanglement. To prevent a violation of causality, this simulation succeeds up to local errors that can only be corrected after the parties communicate classically with one another. However, this communication is non-interactive, and it involves just the broadcasting of local measurement outcomes. We refer to this operational paradigm as local operations and broadcast communication (LOBC) to distinguish it from the standard local operations and (interactive) classical communication (LOCC). In this paper, we show that an arbitrary two-qubit gate can be implemented by LOBC with $\epsilon$-error using $O(\log(1/\epsilon))$ entangled bits (ebits). This offers an exponential improvement over the best known two-qubit protocols, whose ebit costs behave as $O(1/\epsilon)$. We also consider the family of binary controlled gates on dimensions $d_A\otimes d_B$. We find that any hermitian gate of this form can be implemented by LOBC using a single shared ebit. In sharp contrast, a lower bound of $\log d_B$ ebits is shown in the case of generic (i.e. non-hermitian) gates from this family, even when $d_A=2$. This demonstrates an unbounded gap between the entanglement costs of LOCC and LOBC gate implementation. Whereas previous lower bounds on the entanglement cost for instantaneous nonlocal computation restrict the minimum dimension of the needed entanglement, we bound its entanglement entropy. To our knowledge this is the first such lower bound of its kind.

The zero-error entanglement cost is highly non-additive

The Schmidt number is an entanglement measure whose logarithm quantifies the zero-error entanglement cost of generating a given quantum state using local operations and classical communication (LOCC). %However, the Schmidt number is a notoriously difficult quantity to compute, and its relationship to other entanglement measures is largely unknown. In this paper we show that the Schmidt number is highly non-multiplicative in the sense that for any integer $n$, there exists states whose Schmidt number remains constant when taking $n$ copies of the given state. These states also provide a rare instance in which the regularized zero-error entanglement cost can be computed exactly. We then explore the question of increasing the Schmidt number by quantum operations. We describe a class of bipartite quantum operations that preserve the Schmidt number for pure state transformations, and yet they can increase the Schmidt number by an arbitrarily large amount when generating mixed states. Our results are obtained by making connections to the resource theory of quantum coherence and generalizing the class of dephasing-covariant incoherent operations (DIO) to the bipartite setting.

One-shot quantum state exchange

The quantum state exchange is a quantum communication task in which two users exchange their respective quantum information in the asymptotic setting. In this work, we consider a one-shot version of the quantum state exchange task, in which the users hold a single copy of the initial state, and they exchange their parts of the initial state by means of entanglement-assisted local operations and classical communication. We first derive lower bounds on the least amount of entanglement required for carrying out this task, and provide conditions on the initial state such that the protocol succeeds with zero entanglement cost. Based on these results, we reveal two counter-intuitive phenomena in this task, which make it different from a conventional SWAP operation. One tells how the users deal with their symmetric information in order to reduce the entanglement cost. The other shows that it is possible for the users to gain extra shared entanglement after this task.

Entanglement fluctuation theorems

Pure state entanglement transformations have been thought of as irreversible, with reversible transformations generally only possible in the limit of many copies. Here, we show that reversible entanglement transformations do not require processing on the many copy level, but can instead be undertaken on individual systems, provided the amount of entanglement which is produced or consumed is allowed to fluctuate. We derive necessary and sufficient conditions for entanglement manipulations in this case. As a corollary, we derive an equation which quantifies the fluctuations of entanglement, which is formally identical to the Jarzynski fluctuation equality found in thermodynamics. One can also relate a forward entanglement transformation to its reverse process in terms of the entanglement cost of such a transformation, in a manner equivalent to the Crooks relation. We show that a strong converse theorem for entanglement transformations is formally related to the second law of thermodynamics, while the fact that the Schmidt rank of an entangled state cannot increase is related to the third law of thermodynamics. Achievability of the protocols is done by introducing an entanglement battery, a device which stores entanglement and uses an amount of entanglement that is allowed to fluctuate but with an average cost which is still optimal. This allows us to also solve the problem of partial entanglement recovery, and in fact, we show that entanglement is fully recovered. Allowing the amount of consumed entanglement to fluctuate also leads to improved and optimal entanglement dilution protocols.

Quantum State Merging for Arbitrarily Small-Dimensional Systems

Recent advances in quantum technology facilitate the realization of information processing using quantum computers at least on the small and intermediate scales of up to several dozens of qubits. We investigate entanglement cost required for one-shot quantum state merging, aiming at quantum state transformation on these scales. In contrast to existing coding algorithms achieving nearly optimal approximate quantum state merging on a large scale, we construct algorithms for exact quantum state merging so that the algorithms are applicable to any given state of an arbitrarily small-dimensional system. In the algorithms, entanglement cost can be reduced depending on a structure of the given state derived from the Koashi-Imoto decomposition. We also provide improved converse bounds for exact quantum state merging achievable for qubits but not necessarily achievable in general. As for approximate quantum state merging, we obtain algorithms and improved converse bounds by applying smoothing to those for exact state merging. Our results are applicable to distributed quantum information processing and multipartite entanglement transformation on small and intermediate scales.

Complexity of Causal Order Structure in Distributed Quantum Information Processing: More Rounds of Classical Communication Reduce Entanglement Cost

We prove a trade-off relation between the entanglement cost and classical communication round complexity of a protocol in implementing a class of two-qubit unitary gates by two distant parties, a key subroutine in distributed quantum information processing. The task is analyzed in an information theoretic scenario of asymptotically many input pairs with a small error that is required to vanish sufficiently quickly. The trade-off relation is shown by (i)one ebit of entanglement per pair is necessary for implementing the unitary by any two-round protocol, and (ii)the entanglement cost by a three-round protocol is strictly smaller than one ebit per pair. We also provide an example of bipartite unitary gates for which there is no such trade-off.

Additivity of entanglement of formation via an entanglement-breaking space

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 out the entanglement cost of a qubit-qutrit state in terms of the two-atom system of the .

State Exchange with Quantum Side Information.

We consider a quantum communication task between two users Alice and Bob, in which Alice and Bob exchange their respective quantum information by means of local operations and classical communication assisted by shared entanglement. Here, we assume that Alice and Bob may have quantum side information, not transferred, and classical communication is free. In this work, we derive general upper and lower bounds for the least amount of entanglement which is necessary to perfectly perform this task, called the state exchange with quantum side information. Moreover, we show that the optimal entanglement cost can be negative when Alice and Bob make use of their quantum side information. We finally provide conditions on the initial state for the state exchange with quantum side information which give the exact optimal entanglement cost.

Distributed Encoding and Decoding of Quantum Information over Networks

AbstractEncoding and decoding quantum information in a multipartite quantum system are indispensable for quantum error correction and also play crucial roles in multiparty tasks in distributed quantum information processing such as quantum secret sharing. To quantitatively characterize nonlocal properties of multipartite quantum transformations for encoding and decoding, we analyze the entanglement costs of encoding and decoding quantum information in a multipartite quantum system distributed among spatially separated parties connected by a network. This analysis generalizes previous studies of entanglement costs for preparing bipartite and multipartite quantum states and implementing bipartite quantum transformations by entanglement‐assisted local operations and classical communication (LOCC). We identify conditions for the parties being able to encode or decode quantum information in the distributed quantum system deterministically and exactly, when inter‐party quantum communication is restricted to a tree‐topology network. In our analysis, we reduce the multiparty tasks of implementing the encoding and decoding to sequential applications of one‐shot zero‐error quantum state splitting and merging for two parties. While encoding and decoding are inverse tasks of each other, our results suggest that a quantitative difference in entanglement cost between encoding and decoding arises due to the difference between quantum state merging and splitting.

The Conditional Common Information in Classical and Quantum Secret Key Distillation

In this paper, we consider two extensions of the Gacs–Korner common information to three variables, the conditional common information (cCI) and the coarse-grained conditional common information (ccCI). Both quantities are shown to be useful technical tools in the study of classical and quantum resource transformations. In particular, the ccCI is shown to have an operational interpretation as the optimal rate of secret key extraction from an eavesdropped classical source $p_{XYZ}$ when Alice ( $X$ ) and Bob ( $Y$ ) are unable to communicate but share common randomness with the eavesdropper Eve ( $Z$ ). Moving to the quantum setting, we consider two different ways of generating a tripartite quantum state from classical correlations $p_{XYZ}$ : 1) coherent encodings $\sum _{xyz}\sqrt {p_{xyz}} |xyz\rangle $ and 2) incoherent encodings $\sum _{xyz}p_{xyz} |xyz\rangle \langle xyz|$ . We study how well can Alice and Bob extract secret key from these quantum sources using quantum operations compared with the extraction of key from the underlying classical sources $p_{XYZ}$ using classical operations. While the power of quantum mechanics increases Alice and Bob’s ability to generate shared randomness, it also equips Eve with a greater arsenal of eavesdropping attacks. Therefore, it is not obvious who gains the greatest advantage for distilling secret key when replacing a classical source with a quantum one. We first demonstrate that the classical key rate of $p_{XYZ}$ is equivalent to the quantum key rate for an incoherent quantum encoding of the distribution. For coherent encodings, we next show that the classical and quantum rates are generally incomparable, and in fact, their difference can be arbitrarily large in either direction. Finally, we introduce a “zoo” of entangled tripartite states all characterized by the conditional common information of their encoded probability distributions. Remarkably, for these states almost all entanglement measures, such as Alice and Bob’s entanglement cost, squashed entanglement, and relative entropy of entanglement, can be sharply bounded or even exactly expressed in terms of the conditional common information. In the latter case, we thus present a rare instance in which the various entropic entanglement measures of a quantum state can be explicitly calculated.

Entanglement cost and quantum channel simulation

This paper proposes a revised definition for the entanglement cost of a quantum channel $\mathcal{N}$. In particular, it is defined here to be the smallest rate at which entanglement is required, in addition to free classical communication, in order to simulate $n$ calls to $\mathcal{N}$, such that the most general discriminator cannot distinguish the $n$ calls to $\mathcal{N}$ from the simulation. The most general discriminator is one who tests the channels in a sequential manner, one after the other, and this discriminator is known as a quantum tester [Chiribella et al., Phys. Rev. Lett., 101, 060401 (2008)] or one who is implementing a quantum co-strategy [Gutoski et al., Symp. Th. Comp., 565 (2007)]. As such, the proposed revised definition of entanglement cost of a quantum channel leads to a rate that cannot be smaller than the previous notion of a channel's entanglement cost [Berta et al., IEEE Trans. Inf. Theory, 59, 6779 (2013)], in which the discriminator is limited to distinguishing parallel uses of the channel from the simulation. Under this revised notion, I prove that the entanglement cost of certain teleportation-simulable channels is equal to the entanglement cost of their underlying resource states. Then I find single-letter formulas for the entanglement cost of some fundamental channel models, including dephasing, erasure, three-dimensional Werner--Holevo channels, epolarizing channels (complements of depolarizing channels), as well as single-mode pure-loss and pure-amplifier bosonic Gaussian channels. These examples demonstrate that the resource theory of entanglement for quantum channels is not reversible. Finally, I discuss how to generalize the basic notions to arbitrary resource theories.

A new class of states of reversible entanglement manipulation under positive partial transpose operations**Project supported by the National Natural Science Foundation of China (Grant No. 11671244).

We first study the reversibility for a class of states under the operations which completely preserve the positivity of partial transpose (PPT) and show that the entanglement cost is equal to the distillable entanglement for a rank-two mixed state on the 4⊗4 antisymmetric subspace under PPT operations. By using a similar method in finding the irreversibility, we also find that the value of a new efficiently computable additive lower bound Eη(ρ) for the asymptotic PPT-relative entropy of entanglement presented in [Phys. Rev. Lett.119, 180506 (2017)] is equal to the regularized Rains’ bound and an upper bound EN(ρ) for distillable entanglement for these states. Furthermore, we find states on the symmetric subspace satisfying the relation mentioned above, generalize the antisymmetric states and symmetric states in higher dimensions, and give a specific value for distillable entanglement and entanglement cost for these states under the PPT operations.

Parallel remote state preparation of arbitrary single-qubit states via linear-optical elements by using hyperentangled Bell states as the quantum channel

It is well known that transmitting quantum states remotely is one of central tasks in quantum information processing. Until now, there are some important works in remote state preparation, the efficient method to transmit quantum states remotely. However, most of them are focused on remote state preparation via one degree of freedom (DOF) of quantum systems. In this article, we investigate the possibility of performing parallel quantum remote state preparation based on two DOFs of photons. We proposed a protocol for parallel remote preparation of arbitrary single-qubit states via hyperentangled photons which are entangled in both spatial-mode DOF and polarization DOF simultaneously. The sender performs unitary operations on his hyperentangled photon according to his knowledge of prepared states; the receiver can reconstruct the original states on his hyperentangled photon if he cooperates with the sender. The scheme has the advantage of having less quantum entanglement cost and classical communication. Moreover, we also discuss the scheme for recursive remote preparation of arbitrary single-qubit states via partially hyperentangled Bell states.

Axiomatic and operational connections between the l1 -norm of coherence and negativity

Quantum coherence plays a central role in various research areas. The $l_1$-norm of coherence is one of the most important coherence measures that are easily computable, but it is not easy to find a simple interpretation. We show that the $l_1$-norm of coherence is uniquely characterized by a few simple axioms, which demonstrates in a precise sense that it is the analog of negativity in entanglement theory and sum negativity in the resource theory of magic-state quantum computation. We also provide an operational interpretation of the $l_1$-norm of coherence as the maximum entanglement, measured by the negativity, produced by incoherent operations acting on the system and an incoherent ancilla. To achieve this goal, we clarify the relation between the $l_1$-norm of coherence and negativity for all bipartite states, which leads to an interesting generalization of maximally correlated states. Surprisingly, all entangled states thus obtained are distillable. Moreover, their entanglement cost and distillable entanglement can be computed explicitly for a qubit-qudit system.

Irreversibility of Asymptotic Entanglement Manipulation Under Quantum Operations Completely Preserving Positivity of Partial Transpose.

We demonstrate the irreversibility of asymptotic entanglement manipulation under quantum operations that completely preserve the positivity of partial transpose (PPT), resolving a major open problem in quantum information theory. Our key tool is a new efficiently computable additive lower bound for the asymptotic relative entropy of entanglement with respect to PPT states, which can be used to evaluate the entanglement cost under local operations and classical communication (LOCC). We find that for any rank-two mixed state supporting on the 3⊗3 antisymmetric subspace, the amount of distillable entanglement by PPT operations is strictly smaller than one entanglement bit (ebit) while its entanglement cost under PPT operations is exactly one ebit. As a by-product, we find that for this class of states, both the Rains's bound and its regularization are strictly less than the asymptotic relative entropy of entanglement. So, in general, there is no unique entanglement measure for the manipulation of entanglement by PPT operations. We further show a computable sufficient condition for the irreversibility of entanglement distillation by LOCC (or PPT) operations.

Graph-associated entanglement cost of a multipartite state in exact and finite-block-length approximate constructions

We introduce and analyze graph-associated entanglement cost, a generalization of the entanglement cost of quantum states to multipartite settings. We identify a necessary and sufficient condition for any multipartite entangled state to be constructible when quantum communication between the multiple parties is restricted to a quantum network represented by a tree. The condition for exact state construction is expressed in terms of the Schmidt ranks of the state defined with respect to edges of the tree. We also study approximate state construction and provide a second-order asymptotic analysis.

Nonadditivity of Rains' bound for distillable entanglement

Rains' bound is arguably the best known upper bound of the distillable entanglement by operations completely preserving positivity of partial transpose (PPT) and was conjectured to be additive and coincide with the asymptotic relative entropy of entanglement. We disprove both conjectures by explicitly constructing a special class of mixed two-qubit states. We then introduce an additive semidefinite programming lower bound ($E_M$) for the asymptotic Rains' bound, and it immediately becomes a computable lower bound for entanglement cost of bipartite states. Furthermore, $E_M$ is also proved to be the best known upper bound of the PPT-assisted deterministic distillable entanglement and gives the asymptotic rates for all pure states and some class of genuinely mixed states.

Controlled Remote Implementation of an Arbitrary Single-Qubit Operation with Partially Entangled Quantum Channel

We present a scheme for controlled remote implementation of an arbitrary single-qubit operation by using partially entangled states as the quantum channel. The sender can remote implement an arbitrary single-qubit operation on the remote receiver’s quantum system via partially entangled states under the controller’s control. The success probability for controlled remote implementation of quantum operation can achieve 1 if the sender and the controller perform proper projective measurements on their entangled particles. Moreover, we also discuss the scheme for remote sharing the partially unknown operations via partially entangled quantum channel. It is shown that the quantum entanglement cost and classical communication can be reduced if the implemented operation belongs to the restrict sets.

Strong converse theorems using Rényi entropies

We use a Rényi entropy method to prove strong converse theorems for certain information-theoretic tasks which involve local operations and quantum (or classical) communication between two parties. These include state redistribution, coherent state merging, quantum state splitting, measurement compression with quantum side information, randomness extraction against quantum side information, and data compression with quantum side information. The method we employ in proving these results extends ideas developed by Sharma [preprint arXiv:1404.5940 [quant-ph] (2014)], which he used to give a new proof of the strong converse theorem for state merging. For state redistribution, we prove the strong converse property for the boundary of the entire achievable rate region in the (e, q)-plane, where e and q denote the entanglement cost and quantum communication cost, respectively. In the case of measurement compression with quantum side information, we prove a strong converse theorem for the classical communication cost, which is a new result extending the previously known weak converse. For the remaining tasks, we provide new proofs for strong converse theorems previously established using smooth entropies. For each task, we obtain the strong converse theorem from explicit bounds on the figure of merit of the task in terms of a Rényi generalization of the optimal rate. Hence, we identify candidates for the strong converse exponents for each task discussed in this paper. To prove our results, we establish various new entropic inequalities, which might be of independent interest. These involve conditional entropies and mutual information derived from the sandwiched Rényi divergence. In particular, we obtain novel bounds relating these quantities, as well as the Rényi conditional mutual information, to the fidelity of two quantum states.

Rooted-tree network for optimal non-local gate implementation

A general quantum network for implementing non-local control-unitary gates, between remote parties at minimal entanglement cost, is shown to be a rooted-tree structure. Starting from a five party scenario, we demonstrate the local implementation of simultaneous control-Hermitian and multiparty control-unitary gates in an arbitrary n-party network. Previously established networks are shown to be special cases of this general construct.