Extendibility limits the performance of quantum processors

03/28/2018 ∙ by Eneet Kaur, et al. ∙ 0

Resource theories in quantum information science are helpful for the study and quantification of the performance of information-processing tasks that involve quantum systems. These resource theories also find applications in the study of other areas; e.g., the resource theories of entanglement and coherence have found use and implications in the study of quantum thermodynamics and memory effects in quantum dynamics. In this paper, we introduce the resource theory of unextendibility, which is associated to the inability of extending quantum entanglement in a given quantum state to multiple parties. The free states in this resource theory are the k-extendible states, and the free channels are k-extendible channels, which preserve the class of k-extendible states. We make use of this resource theory to derive non-asymptotic, upper bounds on the rate at which quantum communication or entanglement preservation is possible by utilizing an arbitrary quantum channel a finite number of times, along with the assistance of k-extendible channels at no cost. We then show that the bounds we obtain are significantly tighter than previously known bounds for both the depolarizing and erasure channels.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

References

Appendix A Preliminaries

We begin here by establishing some notation and reviewing some definitions needed in the rest of the supplementary material.

a.1 States, channels, isometries, and k-extendibility

Let denote the algebra of bounded linear operators acting on a Hilbert space . For the majority of our developments, we restrict to finite-dimensional Hilbert spaces. However, some of the claims apply to separable, infinite-dimensional Hilbert spaces, and in what follows, we clarify which ones do. The subset of containing all positive semi-definite operators is denoted by . We denote the identity operator as and the identity superoperator as . The Hilbert space of a quantum system is denoted by . The state of a quantum system is represented by a density operator , which is a positive semi-definite operator with unit trace. Let denote the set of density operators, i.e., all elements such that . The Hilbert space for a composite system is denoted as where . The density operator of a composite system is defined as , and the partial trace over gives the reduced density operator for system , i.e., such that . The notation indicates a composite system consisting of subsystems, each of which is isomorphic to Hilbert space . A pure state of a system is a rank-one density operator, and we write it as for

a unit vector in 

. A purification of a density operator is a pure state such that , where is known as a purifying system. denotes the maximally mixed state. The fidelity of is defined as [39], where denotes the trace norm.

The adjoint of a linear map is the unique linear map that satisfies

(8)

where is the Hilbert-Schmidt inner product. An isometry is a linear map such that .

The evolution of a quantum state is described by a quantum channel. A quantum channel is a completely positive, trace-preserving (CPTP) map . Let denote an isometric extension of a quantum channel , which by definition means that

(9)

along with the following conditions for to be an isometry:

(10)

where is a projection onto a subspace of the Hilbert space .

The Choi isomorphism represents a well known duality between channels and states. Let be a quantum channel, and let denote the following maximally entangled vector:

(11)

where , and and are fixed orthonormal bases. We extend this notation to multiple parties with a given bipartite cut as

(12)

The maximally entangled state is denoted as

(13)

where . The Choi operator for a channel is defined as

(14)

where denotes the identity map on . For , the following identity holds

(15)

where . The above identity can be understood in terms of a post-selected variant [67] of the quantum teleportation protocol [68]. Another identity that holds is

(16)

for an operator .

Let denote the set of all separable states , which are states that can be written as

(17)

where is a probability distribution, , and for all . This set is closed under the action of the partial transpose maps or [69, 70]. Generalizing the set of separable states, we can define the set of all bipartite states that remain positive after the action of the partial transpose . A state is also called a PPT (positive under partial transpose) state. We then have the containment .

A local operations and classical communication (LOCC) channel can be written as

(18)

where and are sets of completely positive (CP) maps such that is trace preserving.

A special kind of LOCC channel is a one-way (1W-) LOCC channel from to , in which Alice performs a quantum instrument, sends the classical outcome to Bob, who then performs a quantum channel conditioned on the classical outcome received from Alice. As such, any 1W-LOCC channel takes the form in (18), except that is a set of CP maps such that the sum map is trace preserving, while is a set of quantum channels.

a.2 Entropies and information

The quantum entropy of a density operator is defined as [71]

(19)

The quantum relative entropy of two quantum states is a measure of their distinguishability. For and , it is defined as [72]

(20)

The quantum relative entropy is non-increasing under the action of positive trace-preserving maps [73], which is the statement that for any two density operators and and a positive trace-preserving map (this inequality applies to quantum channels as well [74], since every completely positive map is also a positive map by definition).

a.3 Generalized divergence and relative entropies

Let be a function from to . Then is a generalized divergence [22, 23] if it satisfies the following monotonicity (data-processing) inequality for all density operators and , and quantum channels :

(21)

It is a measure of distinguishability of the states and . As a direct consequence of the above inequality, any generalized divergence satisfies the following two properties for an isometry and a state  [75]:

(22)
(23)

The sandwiched Rényi relative entropy [76, 75] is denoted as and defined for , , and as

(24)

but it is set to for if . The sandwiched Rényi relative entropy obeys the following “monotonicity in ” inequality [76]:

(25)

The following lemma states that the sandwiched Rényi relative entropy is a particular generalized divergence for certain values of .

Lemma 1 ([77, 78])

Let be a quantum channel and let and . Then,

(26)

In the limit , the sandwiched Rényi relative entropy converges to the quantum relative entropy [76, 75]:

(27)

In the limit , the sandwiched Rényi relative entropy converges to the max-relative entropy, which is defined as [29, 30]

(28)

and if then .

Another generalized divergence is the -hypothesis-testing divergence [27, 28], defined as

(29)

for , , and .

The following inequality relates and , where , for and [79, Lemma 5] (see also [80, 81, 82]):

(30)

a.4 Entanglement measures

Let denote an entanglement measure [6] that is evaluated for a bipartite state . The basic property of an entanglement measure is that it should be an LOCC monotone [6], i.e., non-increasing under the action of an LOCC channel. Given such an entanglement measure, one can define the entanglement of a channel in terms of it by optimizing over all pure, bipartite states that can be input to the channel:

(31)

where . Due to the properties of an entanglement measure and the well known Schmidt decomposition theorem, it suffices to optimize over pure states such that (i.e., one does not achieve a higher value of by optimizing over mixed states with an unbounded reference system ). In an information-theoretic setting, the entanglement of a channel  characterizes the amount of entanglement that a sender and a receiver can generate by using the channel if they do not share entanglement prior to its use.

Alternatively, one can consider the amortized entanglement of a channel as the following optimization [42] (see also [83, 84, 85, 86, 87]):

(32)

where for a state , with and reference systems. The supremum is with respect to all input states , and the systems are finite-dimensional but could be arbitrarily large. Thus, in general, need not be computable. The amortized entanglement quantifies the net amount of entanglement that can be generated by using the channel , if the sender and the receiver are allowed to begin with some initial entanglement in the form of the state . That is, quantifies the entanglement of the initial state , and quantifies the entanglement of the final state produced after the action of the channel.

a.5 Channels with symmetry

Consider a finite group . For every , let and be projective unitary representations of acting on the input space and the output space of a quantum channel , respectively. A quantum channel is covariant with respect to these representations if the following relation is satisfied [88, 89, 90]:

(33)

In our paper, we define covariant channels in the following way:

Definition 1 (Covariant channel)

A quantum channel is covariant if it is covariant with respect to a group for which each has a unitary representation acting on , such that is a unitary one-design; i.e., the map always outputs the maximally mixed state for all input states.

The notion of teleportation simulation of a quantum channel first appeared in [5], and it was subsequently generalized in [91, Eq. (11)] to include general LOCC channels in the simulation. It was developed in more detail in [92] and used in the context of private communication in [93] and [61, 94].

Definition 2 (Teleportation-simulable channel [5, 91])

A channel is teleportation-simulable if there exists a resource state such that for all

(34)

where is an LOCC channel (a particular example of an LOCC channel could be a generalized teleportation protocol [95]).

Lemma 2 ([54])

All covariant channels (Definition 1) are teleportation-simulable with respect to the resource state .

Appendix B Framework for the resource theory of -unextendibility

Any quantum resource theory is framed around two ingredients [13]: the free states and the restricted set of free channels. The resource states by definition are those that are not free. The resource states or channels are useful and needed to carry out a given task. Resource states cannot be obtained by the action of the free channels on the free states. Free channels are incapable of increasing the amount of resourcefulness of a given state, whereas free states can be generated for free (without any resource cost).

b.1 -extendible states

To develop a framework for the quantum resource theory of -unextendibility, specified with respect to a fixed subsystem () of a bipartite system (), let us first recall the definition of a -extendible state [10, 11, 12]:

Definition 3 (-extendible state)

For integer , a state is -extendible if there exists a state that satisfies the following two criteria:

  1. The state is permutation invariant with respect to the systems, in the sense that

    (35)

    where is the unitary permutation channel associated with .

  2. The state is the marginal of , i.e.,

    (36)

Note that, due to the permutation symmetry, the second condition above is equivalent to

(37)

where , and for all , and .

Definition 4 (Unextendible state)

A state that is not -extendible by Definition 3 is called -unextendible.

For simplicity and throughout this work, if we mention “extendibility,” “extendible,” “unextendibility,” or “extendible,” then these terms should be understood as -extendibility, -extendible, -unextendibility, or -unextendible, respectively, with an implicit dependence on .

Let denote the set of all states that are -extendible with respect to system . A -extendible state is also -extendible, where . This follows trivially from the definition.

b.2 -extendible channels

In order to define -extendible channels, we need to generalize the notions of permutation invariance and marginals of quantum states to quantum channels. First, permutation invariance of a state gets generalized to permutation covariance of a channel. Next, the marginal of a state gets generalized to the marginal of a channel, which includes a no-signaling constraint, in the following sense:

Definition 5 (-extendible channel)

A bipartite channel is -extendible if there exists a quantum channel that satisfies the following two criteria:

  1. The channel is permutation covariant with respect to the systems. That is, and for all states , the following equality holds

    (38)

    where is the unitary permutation channel associated with .

  2. The channel is the marginal of in the following sense:

    (39)

A channel satisfying the above conditions is called a -extension of .

Equivalently, the condition in (39) can be formulated as

(40)

for all such that [96]. The condition in (39) corresponds to a one-way no-signaling (semi-casual) constraint on the extended subsystems to for all (cf., [96, Proposition 7]).

Classical -extendible channels were defined in a somewhat similar way in [63], and so our definition above represents a quantum generalization of the classical notion. We also note here that -extendible channels were defined in a slightly different way in [64], but our definitions reduce to the same class of channels in the case that the input systems through and the output systems are trivial.

We can reformulate the constraints on the -extendible channels in terms of the Choi state of the extension channel of as follows:

(completely positive) (41)
(trace-preserving) (42)
(covariance) (43)
(44)

where is an arbitrary Hermitian operator and the last constraint need only be verified on a Hermitian matrix basis of . The key to deriving these constraints is the following well known “transpose trick”:

(45)

where is the transpose of with respect to the basis in (11).

The following theorem is the key statement that makes the resource theory of unextendibility, as presented above, a consistent resource theory:

Theorem 4

For a bipartite -extendible channel and a -extendible state , the output state is -extendible.

Proof. Let be a -extension of . Let be a channel that extends . Then the following state is a -extension of :

(46)

To verify this statement, consider that , the following holds by applying (38) and the fact that is a -extension of :

(47)
(48)

Due to (39), it follows that is a marginal of .   

With the above framework in place, we note here that postulates I–V of [13] apply to the resource theory of unextendibility. The -extendible channels are the free channels, and the -extendible states are the free states.

An important and practically relevant class of -extendible channels are 1W-LOCC channels:

Example 1 (1w-Locc)

An example of a -extendible channel is a one-way local operations and classical communication (W-LOCC) channel. Consider that a W-LOCC channel can be written as

(49)

where is a collection of completely positive maps such that is a quantum channel and is a collection of quantum channels. A -extension  of the channel can be taken as follows:

(50)

It is then clear that the condition in (38) holds for as chosen above. Furthermore, the condition in (39) holds because each is a channel for .

A W-LOCC channel can also be represented as

(51)

where is an arbitrary channel, is a measurement channel, is a preparation channel, such that is a classical system, and is an arbitrary channel. A measurement channel followed by a preparation channel realizes an entanglement breaking (EB) channel [97].

b.2.1 Subclass of extendible channels

We now define a subclass of -extendible channels. These channels are inspired by 1W-LOCC channels and are realized as follows: Alice performs a quantum channel on her system and obtains systems . Then, Alice sends to Bob over a -extendible channel . This channel is a special case of the bipartite -extendible channel considered in Definition 5, in which we identify the input with of , the output with of and the systems and are trivial. Finally, Bob applies the channel on system and his local system to get . Denoting the overall channel by , it is realized as follows:

(52)

Due to their structure, we can place an upper bound on the distinguishability of a channel in the subclass described above and the set of 1W-LOCC channels, as quantified by the diamond norm [98]. This upper bound allows us to conclude that the subclass of channels discussed above converges to the set of 1W-LOCC channels in the limit . Before stating it, recall that the diamond norm of the difference of two channels and is given by

(53)

where the optimization is with respect to pure-state inputs , with a reference system isomorphic to the channel input system .

Proposition 1

The diamond distance between the channel in (52) and a W-LOCC channel is bounded from above as

(54)

where 1W-LOCC denotes the set of all 1W-LOCC channels acting on input systems and with output systems .

Proof. Letting denote an extension channel for , observe that

(55)
(56)
(57)

The first inequality follows from (52), by choosing a particular W-LOCC and from the monotonicity of trace norm with respect to quantum channels. The first equality follows from the definition of diamond distance. The second inequality follows from the definition of diamond distance, which has an implicit maximization over all the input states. We now observe that

(58)
(59)

where