One Parameter Family of N-Qudit Werner-Popescu States: Bipartite Separability Using Conditional Quantum Relative Tsallis Entropy ()
1. Introduction
Entropic characterization of separability [1] - [21] in mixed composite states has witnessed a considerable interest in recent years [17] - [21] . The identification of a non-commuting generalization of Abe-Rajagopal (AR) q-conditional Tsallis entropy [10] in the form of conditional version of sandwiched Tsallis relative entropy (CSTRE) [19] and its usefulness in identifying a separability range stricter than the separability criterion using AR q-conditional entropy (the so-called AR-criterion) [10] , has given more impetus to this study [19] [20] [21] . It has been established that negative values of CSTRE imply entanglement in chosen bipartitions of any composite state [20] . In noisy one-parameter families of symmetric [20] and non-symmetric [21] multiqubit states the separability range obtained through CSTRE, in addition to being stricter than that through AR-criterion, is shown to match with the separability range obtained through Peres’ Partial Transpose (PPT) criterion [22] [23] . While AR-criterion [10] [11] [12] [17] [18] relies upon the local versus global disorder thus exhibiting its spectral nature, the CSTRE criterion is illustrated to have non-spectral features [19] .
Quite similar to the definition of sandwiched Rényi relative entropy [24] [25] [26] , the sandwiched form of the Tsallis relative entropy is identified to be [19]
(1)
Equation (1) reduces to traditional relative Tsallis entropy
(2)
when r and s commute with each other.
The conditional forms of
are defined as [19]
(3)
and
(4)
with
,
being respectively given by
(5)
(6)
In Ref. [20] , it has been proved that negative values of
,
indicate entanglement in the bipartite state
. When the subsystems
or
are maximally mixed, Equations (3), (4) reduce to Abe-Rajagopal (AR) q-conditional Tsallis entropies [10]
,
respectively:
(7)
(8)
Quite like the AR q-conditional entropies
,
, both the conditional versions of sandwiched Tsallis relative entropy
,
reduce to the respective von-Neumann entropies
,
in the limit
.
Both AR- and CSTRE-criteria have been employed in Refs. [19] [20] to find the
separability range of the noisy one parameter families of symmetric N-qubit states involving either W or GHZ states. In Ref. [21] , the
separability ranges in two different non-symmetric one-parameter families of N-qubit states are obtained using AR-, CSTRE-criteria and a comparative analysis of these separability ranges is carried out.
The investigation of separability range in one parameter families of mixed states through AR- and CSTRE-criteria has revealed that whenever the marginal is not maximally mixed and hence does not commute with the global density matrix, the CSTRE criterion yields stricter separability range than its commuting version, the AR-criterion [6] [7] [19] [20] [21] . If the marginal is maximally mixed thus commuting with its density matrix, both AR-, CSTRE-criteria are found to yield identical separability ranges [19] [20] [21] . The supremacy of CSTRE criterion over AR-criterion, in the cases where non-maximal marginals occur, is illustrated for symmetric [19] [20] and non-symmetric one-parameter families of multiqubit states [21] . In this work, we wish to examine whether CSTRE criterion remains superior to AR-criterion even for composite states containing qudits. For this purpose, we have considered N-qudit Werner-Popescu states [12] , a special one parameter family of states and examine its
separability range using CSTRE criterion. Both AR-, CSTRE-criteria are seen to result in the necessary and sufficient condition for separability in the
partition of these states. Further we compare the convergence of the parameter x, obtained through CSTRE criterion with that obtained through AR criterion, with respect to q. It has been observed that the parameter x converges rapidly in the case of AR criterion, in comparison with that in the case of CSTRE criterion, even for finite values of q thus implying the better stochasticity of CSTRE criterion over the AR-criterion.
This article is organized in four sections including the introductory section (Section 1) in which we recall the non-additive entropic separability criteria such as AR-, CSTRE-criteria and discuss the motivation behind this work. Section 2 introduces the N-qudit Werner-Popescu state as a generalization of noisy one-parmeter family of N-qubit GHZ states to its qudit counterpart. Section 3 examines the
separability range of one parameter family of N-qudit Werner-Popescu states using different separability criteria. A comparison of the results obtained through AR-, CSTRE criteria is carried out and the superiority of CSTRE criterion is illustrated through the implicit plots of x versus q in both AR-, CSTRE methods (Section 3). Finally Section 4 provides a summary of the results.
2. N-Qudit Werner-Popescu States
The Werner-Popescu state with N-qudits [12] is defined as
Here
and
are
unit matrices belonging to the subsystem space of each qudit
. The pure state
is given by
(9)
and it is an analogue of GHZ state to d-level systems. Notice that when
, i.e., for qubits,
and Equation (9) reduces to the N-qubit GHZ state
The eigenvalues of
are given by
(10)
The focus here is to find the
separability range of
using CSTRE criterion.
3. Bipartite Separability of
in Its
Partition
Denoting the first qubit as subsystem A and the remaining
qubits as subsystem B, the density matrix of the
qubit marginal is given by
It can be seen that the eigenvalues
of the
qubit marginal
of
, obtained by reducing over the first qubit, are given by
(11)
Also, the subsystem
, the single qudit marginal of
, corresponds to the maximally mixed state
,
being
unit matrix.
In order to find the separability range of the state
in its
partition using CSTRE criterion, one needs to evaluate the eigenvalues
of the sandwiched matrix
(12)
so that
(13)
can be evaluated. Thus, in the evaluation of
, the non-negative eigenvalues
play a crucial role. In order to obtain the form of the eigenvalues
for arbitrary N, an analysis of their form for different
and
is carried out to arrive at a generalization for any N, d. Table 1 provides the explicitly evaluated non-zero eigenvalues of the sandwiched matrix G for different values of N and d.
It can be readily seen from Table 1 that, there are only three distinct non-zero eigenvalues for the sandwiched matrix G. A careful observation of the eigenvalues
in Table 1 leads towards the generalization of the eigenvalues of sandwiched matrix G for
. The generalized eigenvalues
of the sandwiched matrix G for any
are given in the following:
(14)
The
separability range of
, for each combination of
and
obtained using CSTRE approach allows us to generalize this range to any N and d. Table 2 gives the values of x below which the state
, (
and
) is separable.
Using Table 2, the following
separability range is conjectured for the one parameter family of N-qudit Werner-Popescu-states.
(15)
One can note that the
separability range given in Eq.(15) is the same as that obtained in Ref. [12] , using the AR-criterion. In fact, the existence of maximally mixed single qudit density matrix is the reason behind the equivalence of separability ranges in CSTRE and AR-criteria. Such a situation occurs in the case of symmetric one parameter family of noisy GHZ states [20] , psuedopure family containing GHZ states and Werner-like family of states containing GHZ states [21] , while determining their
separability range.
Table 1. The non-zero eigenvalues
of the sandwiched matrix
.
Table 2. The comparison of the
separability range of the state
, for various compositions of d and N obtained through CSTRE criterion.
In all these states, the single qudit density matrix turns out to be
thus commuting with the corresponding density matrix implying that the in general non-commutative CSTRE approach yields the results equivalent to commutative AR-approach [20] . It is important to notice here that, using algebraic methods [27] [28] it has been shown that Equation (15) is actually the necessary and sufficient condition for separability.
Figure 1 gives an illustration of the monotonic decrease of
with increasing x in the limit
.
It can be seen that
is negative for
when
implying that
is the separability range through Von-Neumann conditional entropy, whereas it is negative for
in the limit
leading to
as the separability range through CSTRE-criterion.
Even though the separability range of
, obtained using both CSTRE and AR-conditional entropy are same, there is a difference in the way the parameter x converges to the value
, the value of x for which
,
. Table 3 provides the values of the parameter x at which CSTRE, AR q-conditional entropy becomes zero, when
, for different d and N. From Table 3 one can easily note that the
Figure 1. Gives an illustration of the monotonic decrease of
with increasing x in the limit
.
Table 3. The comparison of the value of x for
, obtained through AR-, CSTRE criteria.
parameter x is rapidly decreasing in AR method even for
thus confirming its relatively rapid convergence in comparison with that of CSTRE in the limit
.
The rapid convergence of the parameter x with increasing values of q in the case of AR q-conditional entropy is illustrated in Figure 2, Figure 3.
It is also evident from Table 3 that the separability range decreases with the number of subsystems i.e., with the increase of N for any given d. This feature is illustrated in Figure 4, Figure 5.
Similarly a comparison of Figure 4, Figure 5 illustrates that for any given N, the separability range decreases with increasing d. Thus a state of the Werner-Popescu family is entangled throughout the parameter range x if its constituents are qudits with larger d. More qudits in the state implies a single qudit remains entangled with the remaining
qudits in the whole parameter range.
4. Summary
In this article, the CSTRE criterion is employed to find out the
separability range of N-qudit Werner-Popescu states. It is observed that the
separability range obtained through both CSTRE and AR q-conditional entropy criteria match with each other for these states. The maximally mixed and hence commuting nature of the single qudit density matrix with the
Figure 2. The comparison between implicit plots of
and
, as a function of q in the
partition of the 5-qutrit (
,
) state
. A rapid decrease in the value of x, in comparison with
, can be observed in the case of
.
Figure 3. The comparison between implicit plots of
and
, as a function of q for 4-partite (
), 5-level (
) Werner-Popescu states
.
Figure 4. The graph of CSTRE
versus x for different values of N when
. The decrease of the separability range with N, for any given d is clearly seen.
Figure 5. The graph of CSTRE
versus x for different values of N when
.
Werner-Popescu state is found to be the reason behind the matching of the
separability ranges due to commutative AR-criterion and non-commutative CSTRE criterion. The relatively smoother convergence of the parameter x with respect to increasing q is observed in the case of implicit plots of CSTRE in comparison with the convergence in the case of AR q-conditional entropy thus establishing the supremacy of CSTRE criterion over the AR-criterion. The
separability range obtained for N-qudit Werner Popescu states using entropic criteria is seen to match with that obtained using an algebraic necessary and sufficient condition for separability.
Acknowledgements
Anantha S. Nayak acknowledges the support of Department of Science and Technology (DST), Govt. of India through the award of INSPIRE fellowship; A. R. Usha Devi is supported under the University Grants Commission (UGC), India (Grant No. MRP-MAJOR-PHYS-2013-29318).