Separability and entanglement in the Hilbert space reference frames related through the generic unitary transform for four level system
V.I. Man'ko, L.A. Markovich

TL;DR
This paper explores how unitary transformations of the reference frame in a four-level quantum system influence entanglement, analyzing various states and their quantum correlations through geometrical and quantitative measures.
Contribution
It introduces a detailed analysis of entanglement generation via Hilbert space rotations for four-level systems, including pure, X, and Werner states, with explicit characterizations.
Findings
Unitary transformations can generate entanglement from initially separable states.
Entanglement measures vary as functions of the unitary rotation parameters.
Geometrical interpretation of reference frame rotations provides insight into entanglement dynamics.
Abstract
Quantum correlations in the state of four-level atom are investigated by using generic unitary transforms of the classical (diagonal) density matrix. Partial cases of pure state, -state, Werner state are studied in details. The geometrical meaning of unitary Hilbert reference-frame rotations generating entanglement in the initially separable state is discussed. Characteristics of the entanglement in terms of concurrence, entropy and negativity are obtained as functions of the unitary matrix rotating the reference frame.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
∎
11institutetext: V.I. Man’ko 22institutetext: P. N. Lebedev Physical Institute, Russian Academy of Sciences
Leninskii Prospect 53, Moscow 119991, Russia
Moscow Institute of Physics and Technology
Institutskii Per. 9, Dolgoprudny Moscow Region 141700, Russia
22email: [email protected] 33institutetext: L.A. Markovich 44institutetext: Moscow Institute of Physics and Technology
Institutskii Per. 9, Dolgoprudny Moscow Region 141700, Russia
Institute for information transmission problems, Moscow,
Bolshoy Karetny per. 19, build. 1, Moscow 127051, Russia
V. A. Trapeznikov Institute of Control Sciences, Moscow,
Profsoyuznaya 65, 117997 Moscow, Russia
44email: [email protected]
Separability and entanglement in the Hilbert space reference frames related through the generic unitary transform for four level system
V.I. Man’ko
L.A. Markovich
(Received: date / Accepted: date)
Abstract
Quantum correlations in the state of four-level atom are investigated by using generic unitary transforms of the classical (diagonal) density matrix. Partial cases of pure state, -state, Werner state are studied in details. The geometrical meaning of unitary Hilbert reference-frame rotations generating entanglement in the initially separable state is discussed. Characteristics of the entanglement in terms of concurrence, entropy and negativity are obtained as functions of the unitary matrix rotating the reference frame.
Keywords:
Qudit state Entanglement Peres-Horodecki criterion Unitary transform
pacs:
81R05 81R30
1 Introduction
Notions of entanglement and separability are central in quantum information processing and computation Bennett ; DiVincenzo . The entanglement exists due to quantum correlations between physical systems and it cannot be explained in terms of correlations between local classical properties inherent in subsystems. The existence of such correlations were stated in 1935 by Einstein, Podolsky and Rosen (EPR) in their famous paper Einstein and the term ”entanglement” itself was proposed by Schrödinger as a reaction to the EPR contribution schredinger:35 . It is often said, that the entangled composite system state is nonseparable. The strict definition is that the state of the composite system is called separable if it can be written as a decomposition in terms of product states. The separable state has no quantum entanglement and the nonseparable state is entangled.
The notion of the entanglement is not only theoretical. In the end of the last century it was realized that the quantum entanglement can be used in practice. Algorithms based on laws of the quantum mechanics were used to solve hard tasks faster then any known classical computer. Famous examples are the Deutsch’s algorithm Deutsch , the factorization of the prime numbers by Shor’s algorithm Shor and the search Grover’s algorithm Grover . Moreover, the quantum systems have potential in other various kinds of applications and the entanglement plays a key role Feynman . Also the entanglement notion is central in many applications of the quantum information like quantum teleportation or quantum error correction Lo ; Bennett ; Shor ; Steane . It is widely used in quantum key distribution Curty ; Curty2 ; Ekert . The entangled states of more then two subsystems were generated in several set ups in the laboratories Pan ; Pan2 . Recently, the entanglement was used for deep-space communications and cryptography, e.g., NASA’s Lunar Atmosphere Dust and Environment Explorer decided to use the quantum entanglement for uploading and downloading information between the spacecraft and a ground-based receiver LADEE . Furthermore, several works appeared where the entanglement is considered as a crucial phenomenon in biological and chemical systems, e.g., see Rieper . That is why their is no doubts that finding the states entanglement detection method is a crucial task in the quantum information.
1.1 Contributions of this paper
It is known, that the entanglement does not directly depend on spectrum of the state. In other words, solving the entanglement problem is not the solving the density-operator spectral problem. Different states may have the same spectrum, but one can be entangled, and the second one can be separable. In literature, there are several methods for detecting the entanglement Vidal ; Hill:1997 . One of them is the Positive Partial Transpose (PPT) introduced by Peres Peres and Horodecki Horodecki as a necessary condition for the joint density matrix of two quantum systems to be separable. Firstly, the PPT was proposed as a necessary condition for every separable state by Peres in 1996. Hence, every separable state must satisfy this condition, but some entangled states can satisfy it, too. After that, Horodecki proved that the PPT is a necessary and a sufficient condition for separable states of and dimensions. The PPT of the composite density matrix is given by transposing only one of the subsystems of the quantum system. However, there are several other methods of the entanglement detection like negativity and concurrence Zyczkowski2 ; Horodecki2 . The idea of the negativity is that the entanglement of the quantum system depends on the sum of modulus eigenvalues of the PPT density matrix of the state. The concurrence is based on the square roots of the eigenvalues of the special Hermitian matrix formed from the density matrix of the state.
Recently, it was observed in Mancini ; Chernega ; Chernega:14 ; OlgaMankoarxiv that the quantum properties of the systems without subsystems (a single qudit) can be formulated by using an invertible map of integers onto the pairs (triples, etc.) of integers , (or semiintegers). In other words, the single qudit state can be mapped onto the density operator of the system containing the subsystems like the state of two qubits. Using this mapping, the notion of the separability and the entanglement was extended in Markovich3 to the case of the single qudit -state with . Also, the concurrence and the negativity were introduced for such system. Later, the analog of the correlation function for the single qudit and the notion of a quantum steering for the system without subsystems was obtained in Mar9 . Thus, it is necessary to detect the presence of the entanglement both in the systems with the subsystems and without them.
The aim of the paper is to study the dependence of quantum correlations associated with the entanglement phenomenon in composite and indivisible systems on the eigenvectors of the system state density matrices. It is known, that the entanglement is not related directly to eigenvalues of the density matrix Chuang . Also the entanglement properties depend on the reference frame determined by the eigenvectors of observables (Hermitian matrices). We use the fact that the same density operator (the same numerical density matrix) with some spectrum can be interpreted either as the density matrix of the separable state or the entangled state. The density matrix is transformed by the unitary matrix if one changes the reference frame using two different systems of basis vectors. This unitary matrix can be constructed as the set of the normalized eigenvectors of the density matrix organized as a set of the unitary matrix columns. Starting from the diagonal density matrix which determines the separable state and applying all the unitary matrices associated with all the possible eigenvectors to obtain all the density matrices with the same spectrum, we investigate all the possible transformations of the separable states in the entangled states and vise versa.
The paper is organized as follows. In Sec. 2 we briefly remind the notion of the entanglement and the separability for the quantum systems. The Peres-Horodecki criterion, the negativity and the concurrence are discussed in details. In the next section the unitary transformation is applied to the pure state to find such transformations that bring the state to the separable one. In Sec. 4 the general state case is considered. Several examples of special unitary rotation matrices are obtained. The domains of the rotation matrix elements corresponding to the transformations to the separable states are deduced. Finally, in Sec. 5 all the results are illustrated on the examples. The mixed state is firstly transformed to the Werner state with the known entanglement domain. Then, with the second unitary transformation, the Werner state with the parameter domain corresponding to the entangled state is transformed to the state, where this domain corresponds to the separable state.
2 Entanglement
The entanglement is an important phenomenon of the quantum system. Thus, it is crucial to understand the nature of the entanglement and methods of its detection. By definition, the pure state is called separable if it can be written as a single tensor product of states in subsystems and
[TABLE]
otherwise it is called entangled and has the following form
[TABLE]
where are some complex coefficients. The well known example of the pure and separable state is . As the example of the pure and the entangled states the Bell states can be given, e.g. singlet .
A mixed state is called separable if it can be written as
[TABLE]
where and are the state-vectors corresponding to the subsystems and , defined on the Hilbert spaces and , respectively. The and are density matrices of subsystems and the are probabilities. If the mixed state cannot be represented in the latter form it is entangled. In contrast to the pure state, the form of the entangled mixed state cannot be explicitly formulated. Thus, it is a challenging problem to decide if a given state is separable or entangled.
In modern science, the entanglement is mostly studied for the bipartite systems. The reduced density matrix for the subsystem is
[TABLE]
where is the density matrix of the bipartite system. Similarly, represents the partial trace over the second subsystem . It is known, that the state is entangled if the reduced density matrix represents the mixed state and is separable if the reduced density matrix remains the pure state. Unfortunately we can use the partial trace entanglement criteria only for the pure states.
2.1 The Peres-Horodecki criterion
There are various ways in which entanglement can be detected. One of them is the Peres-Horodecki criterion. Unlike the partial trace method, this criterion can be used for both pure and mixed states. The idea of the method in the following. If we have the general state that acts on the Hilbert space
[TABLE]
then its partial transpose with respect to the second party is the following
[TABLE]
If there is no entanglement, then the eigenvalues of the transposed matrix are positive Horodecki .
Let the quantum state in the four-dimensional Hilber space be described by the density matrix
[TABLE]
such that , and its eigenvalues are nonnegative. For the system of two qubits and qubit-qutrit system the PPT criterion is both necessary and sufficient condition for separability. In higher dimensions the latter method is sufficient but not necessary condition for the entanglement. If the original quantum system is entangled, then the eigenvalues of the density matrix can be negative. For example, if the two-qubit system is described by the - matrix
[TABLE]
then the PPT matrix has the form
[TABLE]
where are positive reals and are complex quantities. The eigenvalues of the latter matrix are the following
[TABLE]
where we introduced the notations
[TABLE]
The latter matrix has the unit trace and it is nonnegative if , hold. Then, from the Peres-Horodecki criterion we can conclude that
[TABLE]
Note, that we did not specify what kind of the system describes the density matrix (5). Diagonal elements of (5) can be considered as components of the probability vector , , . Let us use the invertible mapping of indices ; ; ; . For example, we formally recall the element as . In the new notation (5) can describe the two-qubit state. On the other hand, applying the invertible map of indices , , , , the latter density matrix can be rewritten as
[TABLE]
and can describe the noncomposite system of the single qudit with the spin Markovich3 . The matrix keeps the standard properties of the density matrix, e.g., , and its eigenvalues are nonnegative. It means that all equalities and inequalities known for (5) (the two-qubit system) are valid for (27) (the single qudit system). In future, we will not indicate what system the density matrix (5) describes: the two-qubit or the single qudit one, but all the results obtained are valid for both quantum systems.
2.2 Unitary matrix rotation
Let us call the diagonal matrix with elements equal to the eigenvalues of (5). Next, we introduce the transformation , where the unitary transform have the following matrix
[TABLE]
Since the matrix is unitary, the special conditions on its entries
[TABLE]
hold. For the matrix the partial density matrices can be defined as
[TABLE]
and we can write purity parameters for the latter subsystems as
[TABLE]
It is known, that for the pure state .
Conditions (2.2) are quite complicated, especially with the increasing of the dimensionality of the density matrix. Hence, sometimes it is convenient to use the parametrization of the unitary matrices introduced in Diji that takes into account all the latter conditions, e.g., for the unitary matrix the following parametrization for the elements of the first column of the rotation unitary matrix
[TABLE]
hold. The other matrix elements are given in Appendix. The latter parametrization can be introduced for the matrix of any dimension. That can be very useful for the unitary transformation of the high-order density matrices. The matrix can transform the matrix to any matrix we like depending on the matrix entries. This unitary matrix can be constructed as the set of the normalized eigenvectors of the density matrix organized as a set of the unitary matrix columns. We will start from the diagonal matrix constructed from the eigenvalues of the density matrix which determines the separable state. Then, applying all the unitary matrices associated with all the possible eigenvectors we will obtain all the density matrices with the same spectrum. It is interesting to find such domains of the parameters of the rotation matrix (or the domains of the parameters (36)), where the Peres-Horodecki criterion breaks and the transformed state becomes entangled.
2.3 Negativity and concurrence
There exist other methods of the entanglement detection in the system called the concurrence and the negativity. Both of these methods are in some way connected with the eigenvalues of the density matrix of the state. Obviously, the eigenvalues of (14) are
[TABLE]
where we use notations (21). In case where the following inequality
[TABLE]
holds, the sum in the left hand side of this inequality is called the negativity parameter characterizing the quantum state with the density matrix . The state with the density matrix satisfying the latter inequality is entangled. It is known, that the -state of two qubits is entangled if either or hold. Both conditions cannot be fulfilled simultaneously Mazhar . For the single qudit state with the spin the similar conditions are introduced in Markovich3 .
The concurrence is defined as
[TABLE]
where are the square-roots of the eigenvalues of matrix in decreasing order. If , then the system displays the pairwise entanglement. The matrix is obtained by spin flip operation on the density matrix (14)
[TABLE]
where is a Pauli matrix and
[TABLE]
Hence, (39) is
[TABLE]
Multiplying matrices (14) and (45) we get the matrix
[TABLE]
which has the following eigenvalues
[TABLE]
Hence, it can be deduced that the concurrence (38) is determined by
[TABLE]
see for example Hedemann . Note that the concurrence works only for dimensional systems, while the negativity being based on the PPT criterion is not able to capture all entanglement for systems of dimension greater than . The negativity and the concurrence can be written for and provide different conditions on the rotation matrix .
3 The pure state case
First, we investigate the case when is the diagonal matrix with and other matrix elements are zero, namely, the pure state. Using (32) we can write the transformed matrix as
[TABLE]
depending only on the first column of the rotation matrix. Next, after the PPT of the latter matrix, we can find its eigenvalues, namely,
[TABLE]
The latter eigenvalues are nonnegative if
[TABLE]
hold. Using the parametrization (36) of the unitary matrix, we can find the domain of parameters of the unitary transformation matrix, where it does the transition to the separable state. Substituting (36) into (53), we can deduce that
[TABLE]
Finally, from the latter condition we can conclude that
[TABLE]
The latter inequality holds if
[TABLE]
For all the other parameters the rotation matrix transfers the state to the entangled one.
4 General state case
Let be the diagonal matrix with the elements , , where are the eigenvalues of the density matrix (5). After the transformation and the PPT, the matrix is the following
[TABLE]
where are given in Appendix. The latter matrix is Hermitian and the equation on the eigenvalues of the PPT matrix is
[TABLE]
where the coefficients depend on (119). Since the eigenvalues of the latter matrix are rather big we shall illustrate our idea on examples.
Let us select the matrix (32) of the following type
[TABLE]
Hence, from the unitary conditions we can write
[TABLE]
Thus, it is easy to verify that
[TABLE]
The latter matrix transforms into the following one
[TABLE]
where are given in Appendix. If the latter matrix is the density matrix, then it always corresponds to the separable state. From the definition of the density matrix one can deduce the following constrains on its elements
[TABLE]
Hence, we can write the following conditions
[TABLE]
and
[TABLE]
Let us sum up the two latter inequalities and, taking into account the condition (68), we can write the following extra condition to conditions (68) on the elements of the unitary matrix defined by (79)
[TABLE]
The next example is the unitary matrix in the block form
[TABLE]
From the unitary condition
[TABLE]
hold. Hence, we can deduce the following constrains on the elements of the unitary matrix
[TABLE]
The following matrix can be written
[TABLE]
where are given in Appendix. Similar to the previous case, we can conclude the following condition on the matrix elements of the unitary rotation matrix
[TABLE]
Obviously, there exists the unitary matrix such that
[TABLE]
Let us select the matrix (32) of the following -type
[TABLE]
Since the matrix is unitary, we can conclude that
[TABLE]
[TABLE]
and we can conclude the following constrains
[TABLE]
The latter matrix transforms into the -matrix
[TABLE]
where are given in Appendix. Similarly to the previous examples, we can write the following inequality
[TABLE]
From the Peres-Horodecki criterium the latter state is separable if (22) holds, e.g.,
[TABLE]
The latter inequalities provide an extra condition to (92) on the rotation unitary matrix defined by (79) under which it transforms the matrix to the separable -state.
5 Examples
In this section we illustrate the results obtained by several examples. First, we select the pure state described in Sec. 3 by the matrix with the diagonal elements . The rotation matrix (98) of the special view
[TABLE]
transforms into the following matrix
[TABLE]
After the PPT of the latter matrix it has four eigenvalues
[TABLE]
From the positivity condition the state is separable if or holds. For the other matrix elements of the pure state is transformed into the entangled state. In the special case, when the rotation matrix depends only on one parameter , e.g.,
[TABLE]
the eigenvalues (103) can be written explicitly as
[TABLE]
Hence, the state is separable if , i.e.
[TABLE]
It is visible that the first and the third matrix correspond to the separable states, but the second matrix not. The negativity parameter (37) depending on the rotation angle is shown in Fig. 1.
It is visible, that the negativity is positive for all angles except of . That means that the matrix (108) transforms the pure state in the separable state for only two angles . All the other rotations transfer the state in the entangled ones.
More generally, for (51) the negativity against is shown in Fig. 2 for different values of parameters in the case when .
As it is shown in (56), in this case the matrix transforms the pure state in the separable one only for and .
Now, let us turn to the mixed state described in Sec. 4 with the diagonal elements , . As the rotation matrix we select the -type (90) with
[TABLE]
The other matrix elements are equal to zero. The latter matrix elements have to satisfy (93) and (4). Hence, the elements are , and the rotation matrix with elements (110) transforms the mixed state to the following one
[TABLE]
The latter matrix describes the Werner state Werner and the parameter satisfies the inequality . It is known, that the parameter domain corresponds to the entangled state. Hence, we have shown that the rotation matrix with (110) can transform the mixed state to the state that can be either entangled one or the separable one depending on the parameter domain.
Next, let us take the rotation matrix (108). After the transformation of the Werner state (115) the PPT matrix is
[TABLE]
Its eigenvalues are the following
[TABLE]
From there positivity condition the following condition on the rotation matrix elements
[TABLE]
hold. Hence, the eigenvalues are nonnegative in the parameter domain (118). Since the argument of must be it can be deduced that . The first and the second eigenvalues (117) against for are shown in Fig. 3. We select from the parameter domain, where the Werner state is entangled. The matrix can translate this entangled state into the separable one. In Fig. 3 this domain is .
Thereby, taking a mixed state , we first transfer it to the Werner state, where the parameter domains corresponding to the entanglement and the separability are known. Next, using the second unitary transformation, we transfer the entangled Werner state in the new separable state.
6 Conclusion
Let us summarize the results obtained. The results of the paper demonstrate the connection of the quantum correlations associated with the entanglement phenomenon in the composite and the indivisible systems with the eigenvectors of the system state density matrices. Using the known fact, that the entanglement properties depend on the reference frame determined by the eigenvectors of observables, we introduced the unitary matrix constructed as the set of the normalized eigenvectors of the density matrix organized as a set of the unitary matrix columns. Using the special parametrization of the unitary matrices introduced in Diji we find the domain of parameters of the transformation matrix that transforms the pure states density matrix into the separable state. For the general case of the mixed states the latter domains were found for the special types of the rotation matrices like the cellular-matrix, the block-matrix and the -matrix. All the results are illustrated on the examples of the special pure and mixed states and the rotation matrices of the different types. It would be interesting to extend the presented results to continuous variable (Gaussian) systems Simon and going far afield to hybrid systems (continuous variable and discrete systems) ManciniMankoMankoTombesi .
Acknowledgements.
The study in section 3 and 4 by Markovich L.A. was supported by the Russian Science Foundation grant (14-50-00150).
7 Appendix
7.1 Appendix 1
The parametrization of the unitary matrices (32) introduced in Diji
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
where the parameters are the following
[TABLE]
7.2 Appendix 2
The elements of the matrix (61) are the following
[TABLE]
The elements of the matrix (74) are the following
[TABLE]
The elements of the matrix (85) are the following
[TABLE]
The elements of the matrix (98) are the following
[TABLE]
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) C.H. Bennett, Phys. Today 48(10) , 24 (1995)
- 2(2) D.P. Di Vincenzo, Science 270 , 255 (1995)
- 3(3) A. Einstein, Y. Podolsky, N. Rosen, Phys. Rev. 47 , 777 (1935)
- 4(4) E. Schrödinger, Naturwissenschaften 23 , 807 (1935)
- 5(5) D. Deutsch, Proc. Roy. Soc. 400 , 1818 (1985)
- 6(6) P.W. Shor, Phys. Rev. A 52 , R 2493 (1995)
- 7(7) L.K. Grover, Phys. Rev. Lett. 79 , 325 (1997)
- 8(8) R. Feynman, Int. J. Theor. Phys. 21(6/7) , 467 (1982)
