We investigate the effect of superposition of states on local conversion of pure bipartite states under deterministic LOCC. We also investigate the entanglement behaviour of such classes of states, specifically their monotone nature. Finally we are able to construct some counterintuitive situations, on the bounds of different measures of entanglement, emphasis on the idea of comparability and incomparability under deterministic LOCC.

1. Introduction

Quantum entanglement is one of the most puzzling, useful yet experimentally verified feature of quantum states. Quantum entanglement is also useful for performing many informational and computational tasks like teleportation, dense coding, and so forth [13], which are otherwise impossible. Now, to understand behaviour of quantum entanglement better, we need to probe different aspects of entanglement properly [4, 5]. Physicists have tried to observe the underline physics of quantum entanglement [6, 7] and suggested many algorithms and concepts to prove some new results.

In the paper [8], Linden et al. have raised the following problem: suppose a bipartite quantum state and a certain decomposition of it as a superposition of two other states are given. In what is the relation between the entanglement of and those of the two constituent states in the superposition? They also considered the following two examples to illustrate the above problem. One is and the other is , where are two common Bell states. The first one clearly explains that is a maximally entangled state but each constituent state is fully separable [9, 10]. That is, superposition of fully separable states may form a maximally entangled state and the second example shows exactly the opposite to that of the first; that is, is separable but each constituent state is maximally entangled. Therefore, through superposition of states one can find new physical insights as well as differently correlated states. In [8], Linden et al. employed von-Neumann entropy of the reduced system as the entanglement measure (ER) and found some upper bound on ER of the superposed state in terms of those of the states being superposed. This problem has been actively and extensively studied. Yu et al. [11] have studied the concurrence of superposition and presented both upper bound and lower bound on the concurrence of superposition. Ou and Fan [12] given an upper bound on the negativity of superposition. Niset and Cerf [13] gave lower and upper bounds simpler form. Many people have considered the problem of two superposed coherent states. Cavalcanti et al. [14], Song et al. [15], and Yu et al. [16] have investigated the entanglement of superpositions for multipartite quantum states by employing different entanglement measures. Gour [17] reconsidered the question in [8] and presented tighter upper and lower bounds. Finally, we have observed some new bounds of some different entanglement measures like negativity (), logarithmic negativity (LN), Reyni entropy () and also the entanglement of the superposed states , and as a direct function of Schmidt’s coefficients as well as functions of different measures of the component of states.

This paper is organized as follows: firstly, in Section 2, we will discuss some useful notions regarding superposition of states and entanglement. In Section 3, we will discuss the concept of incomparability. Sections 4 and 5 are devoted to discuss the main results and some nice illustrations on the bounds of different measures of entanglement. The paper is ended with a brief conclusion of our results.

2. Superposition of States and Different Entanglement Measures

Quantum mechanics is inherently a linear theory and superposition is deeply related to this linear structure of quantum systems. Entanglement is a manifestation of quantum superposition whenever one deals with composite systems. Superposition of two pure product state may could give rise to an entangled state and quite contrary to this fact one could find pure product states with the superposition of entangled states only. It is clear that if someone tries to explain superposition of states as a physical process, then it should not be local, as entanglement may be created or increased in this process.

Now to understand the structural complexity of the class of equally entangled states we try to search for a suitable measure that may discriminate all the states of one equi-entangled class. It leads us to the search for different measures that discriminates such states. Here we consider some of well-known correlation measures like concurrence, linear entropy, logarithmic negativity, and so forth. Any pure bipartite state of the joint Hilbert space , has the Schmidt representation form: where and are orthonormal bases of the local Hilbert spaces and , respectively. The set of real numbers , for , known as Schmidt coefficients of the state, are just the square-root of eigenvalues of reduced density matrices of the state, satisfying and . The number of Schmidt coefficients is known as the Schmidt rank of the pure bipartite state. The Schmidt coefficients remain invariant under any local unitary transformations on the pure bipartite state. Thus they are expected to serve well as ingredients of any good measure of entanglement. Concurrence is an important measure to quantify entanglement, functionally related to entanglement of formation [18] in systems. For any pure bipartite state in the Hilbert space of two subsystems , it is defined by , where is the reduced density matrix of , after tracing out the subsystem . The entanglement of formation for a general state of two-qubit system can be expressed by [19] where the function is defined as . For higher dimensional pure bipartite state (say , for ), concurrence is given by [20] which varies smoothly from for product states to for maximally entangled pure states of Schmidt rank . For mixed bipartite states it is defined by convex roof extension.

Logarithmic negativity is a computable measure of entanglement. It has functional relation with another important quantification scheme, known as negativity. Negativity is defined from the Peres-Horodecki criteria [21, 22] by where denote the trace norms of , partial transpose of the bipartite mixed state with respect to the subsystem , which corresponds to the absolute value of the sum of the negative eigenvalues of and will vanish for unentangled states. For a pure state negativity is . Logarithmic negativity is defined by It is an entanglement monotone [23], related to the PPT entanglement cost, of the state , defined as the cost of exact preparing under PPT preserving operations. For pure bipartite states this measure is calculated by It is found that negativity is a convex function [24] of the state, though logarithmic negativity is not.

A series of correlation measures known as Réyni entropy [25] or Alpha entropy are proposed by generalizing the concept of von-Neumann entropy All the alpha entropy measures (naturally excluding the von-Neumann entropy function itself) are suitable to discriminate between any class of incomparable states with same entanglement. Here we only consider the Linear entropy () and alpha entropy for .

Linear entropy measure for the pure bipartite state in the form (2.1) is given by Giampaolo and Elluminati show that [26], for all nonmaximally entangled states of system, there exists a range of values of linear entropy with same entanglement.

Alpha entropy for , that is, () of the state (2.1), is computed by the formula

Concurrence hierarchy [27] is a series of correlation measures generalized from the concept of concurrence, in finite dimensional bipartite pure states. For a general bipartite pure state of rank in the Schmidt form (2.1), the precise definition of the concurrence hierarchy is For system, there is only one concurrence hierarchy for , that is, .

The maximum fidelity is a convex function of the generalized entropy, , where is the Rényi entropy for . Maximum fidelity for a pure state of the form (2.1) is given by

The correlation measure robustness of entanglement [28], denoted by , examines how much mixing can take place between an entangled state and any other state, so that the convex combination of these two states is separable. In the characterization of the state space in terms of entangled and separable states, we observe some interesting properties of this measure. Robustness is convex function of , that is, for any two states and we have the following inequality . Robustness of entanglement remains unchanged under unitary transformation of state, that is, , where is a local unitary transformation of the form . Now for the pure state (2.1), we can define robustness of entanglement as follows:

Now, for pure bipartite states apart from the entropy of entanglement calculated by the von-Neumann entropy of the reduced density matrices, there is an useful measure of entanglement, called generalized concurrence (). For a separable state it is zero. For a two-qubit state it is calculated by , where ’s, are the square root of the eigenvalues of in decreasing order where and denotes conjugate operation. For higher order systems generalized concurrence is defined by where is the reduced density matrix, obtained by tracing out the subsystem . For a pure bipartite state of system with Schmidt form where are nonnegative Schmidt coefficients and , the orthonormal bases for subsystems and , respectively, the generalized concurrence turns out to be varies smoothly from for pure product states to for maximally entangled pure bipartite states of Schmidt rank .

3. Notion of Incomparability

Now before going to present our results we first mention the condition for a pair of pure bipartite states to be incomparable with each other. The notion of incomparability of a pair of bipartite pure states is a consequence of Nielsen’s [2, 29] famous majorization criterion. To illustrate it, we consider the deterministic local conversion of the pure bipartite state to shared between two parties, say, Alice and Bob. We write the pair , in their Schmidt bases with decreasing order of Schmidt coefficients: , . The Schmidt vectors corresponding to the states and are and . From Nielsen’s criterion is possible with certainty under LOCC if and only if is majorized by , (denoted by ), that is,

The above result has a direct consequence in the entanglement behaviour of the states involved. If is possible under deterministic LOCC, then (where is the entropy of entanglement). Now in case of failure of the above criterion, we denote it as . But it may happen that under deterministic LOCC. If both and hold, we denote it as and call as a pair of incomparable states. The existence of incomparable pair of states starts from systems. For our purpose, we require explicitly the criterion of incomparability for a pair of pure bipartite states , of system. Suppose the Schmidt vectors corresponding to the two states are and , respectively, where , , . Then , are incomparable whenever [30] either of the following relations hold:

4. Main Results: Observations on the Bounds of Superposed States

Consider the states shared between two parties, say, and , where and , are nonnegative real number, and also consider the state where with nonnegative real , and further assume that ; . Explicitly, suppose , , and may be expressed as follows: We will now discuss the entanglement behaviour of the superposed states imposing some restrictions on , , , , and also on , , , for all , case by case.

In this section, our purpose is to find some new bounds of some different entangle measures like negativity , logarithmic negativity (LN), Reyni entropy () and also the entanglement of the superposed states , and . Here we find some tight bounds and also observe the behaviour of the bounds of the corresponding measures in the notion of incomparability under deterministic LOCC.

In this work, according to the basic restrictions of the states and is that their components states are orthogonal, that is, . For negativity we found the following forms of upper and lower bounds of the superposed state in terms of those states (i.e., and ) being superposed and also in terms Schmidt coefficients of the states.

Theorem 4.1. .

Proof. From definition, we have So, Again, we have These equations directly claim the result.

Theorem 4.2. , where and denote, respectively, the least and greatest of the numbers .

Proof. , where are according to the definitions:
Now we have also observed the behaviour of bounds for another two measures, logarithmic negativity (LN) and Réyni entropy ().

Theorem 4.3. .

Proof. We have, , , .
Hence, we have .

Theorem 4.4. where .

Proof. According to the definition of , we have .
Hence we have .

Corollary 4.5. .

Proof is same like the just above these theorems.

Theorem 4.6. .

Proof. By the definition of Réyni entropy (), we have .

Theorem 4.7. , where   and  .

Proof. We use the following inequality to prove the result, and using simple algebra we have the theorem.
In [31] Gour and Roy derive bounds on the entanglement of the superposed state as a function of the entanglement of the components and von-Neumann entropy of the reduced state of either party is taken as the measure of entanglement. In their work, we find the following upper and lower bounds.

Theorem 4.8. . with .

In this context we have also found some upper bounds in two different forms; one is as a function of entanglement and other has a direct relation with the Schmidt coefficients of the states.

Theorem 4.9. .

Theorem 4.10. where .

We skip the proof of the above theorems. Now we concentrate ourselves on the motivations and physical interpretations of our results that is helpful for understanding the basic structure of the state space. In our paper, we have considered the pairs (, )  and , almost all the possible combinations in the notion of comparability and incomparability under deterministic sense. The above theorems show that based on the upper and lower bounds of different entangle measures and these results we illustrate some counterintuitive examples which will be enough to establish the importance of the idea, comparability, and incomparability under deterministic LOCC that plays the crucial role in making the structure of the state space. Let the pairs (, )  and (, ) have same entanglement, that is, and . This fact clearly indicates that both of the pairs (, )  and (, ) are incomparable to each other or in other word we can construct infinitely many incomparable pairs of (, )  and (, ). For specifically and   Theorem 4.8 establishes the fact that both and have the same upper bounds, but in the same environment Theorem 4.10 indicates some interesting features of the upper bounds. As the pairs (, )  and (, ) are incomparable to each other, so we have either and or and and for the first case we have upper bound () Upper Bound ()  and for the latter case upper bound Upper Bound ().

Same features would be found for considering the same entanglements of the pairs (, ) and (, ) and other combinations of choice of the pairs (, ) and (, ) with respect to the idea of comparability and incomparability under deterministic LOCC for any arbitrary choice of , , , and .

Again we are employing the notion of incomparability in a different view point for constructing some new bounds of these different measures. Let the pairs (, ) and (, )  be incomparable to each other. So negativity of the both pairs have the following relations: and . Now if we consider the following cases only and or and , then using Theorem 4.1 we found some tight upper and lower bounds of and for any arbitrary choice of , , , and with assuming the other restrictions. In this environment with and we found the following relations:


Some bounds like the previous can be observed for logarithmic negativity and Reyni entropy employing the above theorems and the comparability and incomparability relations with arbitrary choice of , , , and .

5. Conclusion

In conclusion we have observed that superposition of states may lead to pairs of incomparable states to a pair of comparable states under deterministic LOCC. Therefore, through the superposition of states we have succeeded in making a connection between two classes of states, that is, comparable and incomparable. This technique would be useful in many aspects where we have some definite kind of states which are incomparable in nature; however, we could find a new pair that are comparable in nature. Since incomparability may be used as a detection of unphysical operations [32], therefore through the superposition we could form new classes of incomparable states and use them as detector of unphysical operations.