Abstract
In this paper we develop an approach for detecting entanglement, which is based on measuring quantum correlations and constructing a correlation matrix. The correlation matrix is then used for defining a family of parameters, named Correlation Minor Norms, which allow one to detect entanglement. This approach generalizes the computable cross-norm or realignment (CCNR) criterion, and moreover requires measuring a state-independent set of operators. Furthermore, we illustrate a scheme which yields for each Correlation Minor Norm a separable state that maximizes it. The proposed entanglement detection scheme is believed to be advantageous in comparison to other methods because correlations have a simple, intuitive meaning and in addition they can be directly measured in experiment. Moreover, it is demonstrated to be stronger than the CCNR criterion. We also illustrate the relation between the Correlation Minor Norm and entanglement entropy for pure states. Finally, we discuss the relation between the Correlation Minor Norm and quantum discord. We demonstrate that the CMN may be used to define a new measure for quantum discord.
Similar content being viewed by others
Introduction
The last three decades have seen significant advancement in development of promising quantum technologies, both from theoretical and practical aspects. These technologies often utilize quantum entanglement in order to gain advantage compared to classical technologies. Thus, the practical ability to detect entanglement is essential for the advancement of quantum technologies. Entanglement detection in many-body quantum systems is also of major interest1,2,3,4, as well as quantum correlations in various physical settings such as those occurring in quantum optics5,6,7,8, solid-state physics9,10,11 and atomic physics12,13,14,15,16,17.
This has led researchers to seek simple ways to detect entanglement, preferably, ones which may be used in practice. For example, the Peres–Horodecki criterion18 is a necessary condition for a state to be separable; however, it is sufficient only in the \(2 \times 2\) and \(2 \times 3\) dimensional cases19,20.
Another important concept is an entanglement witness, which is a measurable quantum property (i.e. a bounded Hermitian operator), such that its expectation value is always non-negative for separable states19. For any entangled state, there is at least one entanglement witness which would achieve a negative expectation value in this state. Alas, to use an entanglement witness in order to detect entanglement, one must measure a specific operator tailored to the state. An approach to quantify entanglement using entanglement witnesses can be found in21.
In22,23,24,25,26,27, a construction of a quantum correlation matrix was demonstrated, and it was shown that this matrix may be utilized to detect entanglement. In28,29, a quantum correlation matrix has allowed the authors to derive generalized uncertainty relations, as well as a novel approach for finding bounds on nonlocal correlations. This matrix is the correlation matrix of a vector of quantum observables; thus, it may have complex entries. In30 it was demonstrated that such a matrix allows one to construct new Bell parameters and find their Tsirelson bounds. Another approach for Bell parameters based on covariance can be found in31.
Indeed, quantum correlations are subtly related to entanglement, e.g. pure product states are always uncorrelated. This is not true for mixed states: separable mixed states may admit quantum correlations between remote parties32. These correlations are due to noncommutativity of quantum operators; hence, they allude to a different quantum property aside of entanglement, known as quantum discord32,33,34,35,36,37. Since quantum discord is generally hard to compute when using its original definition, researchers have examined other discord measures which are more computationally tractable—most notably, geometric quantum discord38,39.
In40,41, an approach for detecting entanglement using symmetric polynomials of the state’s Schimdt coefficients has been studied. It was shown to be a generalization of the well-known CCNR criterion (computable cross-norm or realignment; first defined in42,43), according to which the sum of all Schmidt coefficients is no greater than 1 for any separable state. The symmetric polynomial approach equips each one of these polynomials with some upper bound, and if the polynomial exceeds its bound then it follows that the state is entangled. Therefore, the sum of all Schmidt coefficients with the upper bound 1 is a special case of this approach.
In this paper, we construct for a given quantum state its quantum correlation matrix, and examine the norms of its compound matrices. Since the compound matrix in our case is constructed from minors of a certain correlation matrix, we call the proposed entanglement detectors “Correlation Minor Norms”. Seeing that these norms are invariant under orthogonal transformations of the observables, they can be regarded as a family of physical scalars which can be readily derived from bipartite correlations. Next, for each Correlation Minor Norm (CMN) we find an upper bound, such that if the CMN exceeds this bound it is implied that the state is entangled. Our proposed method is shown to generalize the symmetric polynomial approach. We also provide results and conjectures regarding the states that saturate the bounds. Moreover, we explore how the CMN relates to entanglement entropy. Next, we construct a novel measure for quantum discord based on the CMN. In a particular case, it is identical to geometric quantum discord. We conclude by discussing possible generalizations for multipartite scenarios.
Construction of the correlation matrix
Let two remote parties, Alice and Bob, share a quantum system in \({\mathscr {H}}_A \otimes {\mathscr {H}}_B\), the tensor product of Hilbert spaces. Denote \(d_A :=\dim {\mathscr {H}}_A , d_B :=\dim {\mathscr {H}}_B\), and let \({\varvec{A}} :=\left\{ A_i \right\} _{i=1}^{d_A^2}\) be an orthonormal basis of the (real) vector space of \(d_A \times d_A\) Hermitian operators, w.r.t. the Hilbert-Schmidt inner product. Similarly, \({\varvec{B}} :=\left\{ B_j \right\} _{j=1}^{d_B^2}\) is an orthonormal basis of the \(d_B \times d_B\) Hermitian matrices. Note that such a basis always exists, since the real vector space of \(n \times n\) Hermitian matrices is simply the real Lie algebra \({\mathfrak {u}} \left( n \right)\), which is known to have dimension \(n^2\). Here we regard \({\mathfrak {u}} \left( d_{A} \right) , {\mathfrak {u}} \left( d_{B} \right)\) simply as inner product spaces, ignoring their Lie algebraic properties. Consequentially, we require the normalization \(\mathrm {tr}\left( A_i A_j\right) = \delta _{ij}\) (and similarly for Bob)—without the factor of 2, which is normally taken to make the structure constants more convenient. For example, for \(d = 3\) one could take \(A_9 = \frac{1}{\sqrt{3}} \mathbb {1}\) and \(A_i = \frac{1}{\sqrt{2}} \gamma _i\) for all \(i=1, \ldots , 8\), where \(\gamma _i\) are the (“standard-normalization”) Gell–Mann matrices.
The (cross-)correlation matrix of \({\varvec{A}}, {\varvec{B}}\), denoted by \({\mathscr {C}}\), is defined by:
where \(\rho\) is the density matrix shared by Alice and Bob.
As we shall see in the next section, the information contained in \({\mathscr {C}}\) regarding the strength of nonlocal correlations is encoded entirely in its singular values. An equivalent characterization is provided by a noteworthy relation between the singular value decomposition (SVD) of \({\mathscr {C}}\) and the operator-Schmidt decomposition of the underlying state, which we describe hereinafter. The operator-Schmidt decomposition of any state \(\rho\) is defined as its unique decomposition of the form:
where each \(\lambda _k \ge 0\) is a real scalar, and the sets \(\left\{ G_k \right\}\) and \(\left\{ H_k \right\}\) are orthonormal sets of \(d_{A} \times d_{A}, d_{B} \times d_{B}\) Hermitian matrices respectively. It can be shown that the singular values of \({\mathscr {C}}\) are precisely the Schmidt coefficients \(\lambda _k\); moreover, the sets \(\left\{ G_k \right\}\) and \(\left\{ H_k \right\}\) are related to the sets \(\left\{ A_i \right\}\) and \(\left\{ B_j \right\}\) through the orthogonal matrices U, V of the SVD, respectively. Extended definitions and proof may be found in Section I.A of the supplementary information.
Correlation minor norm
The goal of this work is to produce physical scalars from \({\mathscr {C}}\) that would allow for entanglement detection. In the context of this paper, a scalar is considered to be physical if it is invariant under a transformation of the set of measurements. Such a transformation is described by a pair of orthogonal matrices (see discussion in Section I.B of the supplementary information):
Introducing into (3) the SVD of \({\mathscr {C}}\), written as \({\mathscr {C}} = {\mathscr {V}}_A \Sigma \mathscr {V_B}^T\), yields:
Since \({\mathscr {U}}_{A}\) and \({\mathscr {V}}_{A}\) are elements of \(\mathrm {O} \left( d_{A}^2 \right)\) (and similarly for the matrices with the subscript B), we may observe that a general orthogonal transformation of \({\mathscr {C}} = {\mathscr {V}}_A \Sigma \mathscr {V_B}^T\) reduces to the substitution of \({\mathscr {V}}_A\) and \({\mathscr {V}}_B\) by any other elements of their respective orthogonal groups. Thus, it is clear that any physical scalar derived from \({\mathscr {C}}\) should depend on its singular values, i.e. the operator-Schmidt coefficients.
The simplest candidates for scalars produced by a matrix are its trace, determinant, and any type of matrix norm. However, \(\mathrm {tr}\left( {\mathscr {C}}\right)\) is not a physical scalar in the sense described above; and a broad class of matrix norms are given as special cases of the scalars constructed in this section. Thus, for now we wish to consider \(\det {\mathscr {C}}\) (where the discussion is restricted to \(d_A = d_B\)). The determinant of a quantum cross-correlation matrix can help detect entanglement, and may also serve as a measure of entanglement for two-qubit pure states (see Section I.D of the supplementary information) and two-mode Gaussian states44,45,46.
However, in more general scenarios, there are states in which the mutual information between Alice and Bob stems from specific subspaces of their respective vector spaces (in pure states, the dimension of these subspaces is given by the Schmidt rank). To accommodate these cases, one should go over all possible subspaces of some given dimension and consider the determinant of the matrix comprised of correlations between their basis elements. Then, one could construct a measure as some function of all those determinants. One way of doing so is treat them as entries of a matrix and take its norm.
In light of the observations above, we define the Correlation Minor Norm with parameters h and \(p=2\):
where \(\left( {\begin{array}{c} \left[ a \right] \\ b\end{array}}\right)\) denotes the set of b-combinations of \(\left[ a\right]\) (this notation is common in the Cauchy–Binet formula), \({\mathscr {C}}_{R,S}\) is the matrix whose rows are the rows of \({\mathscr {C}}\) at indices from R and whose columns are the columns of \({\mathscr {C}}\) at indices from S, and \(1 \le h \le \min \left\{ d_A^2, d_B^2 \right\}\). The meaning of the parameter p will become clear shortly, when the above definition is generalized.
Note that \({\mathscr {M}}_{h,2}\) is the Frobenius norm of a matrix \({\mathscr {N}}\) of size \(\left( {\begin{array}{c} d_A^2 \\ h \end{array}}\right) \times \left( {\begin{array}{c} d_B^2 \\ h \end{array}}\right)\), defined by:
where we have numbered the sets’ elements:
Such a matrix \({\mathscr {N}}\) is known as the h-th compound matrix of \({\mathscr {C}}\), and is denoted by \(C_h \left( {\mathscr {C}} \right)\). Now, recall the Schatten p-norm of any matrix M is defined by \(\left|M\right|_p :=\left| \vec {\sigma } \left( M \right) \right|_p\), i.e. the vector p-norm of the vector composed of the singular values of M. Schatten p-norms lead to a generalization of the definition (5): for \(p \in \left[ 1 , \infty \right)\), define the Correlation Minor Norm with parameters h and p as:
i.e., it is the Schatten p-norm of the h-th compound matrix of the correlation matrix \({\mathscr {C}}\). Substituting the known relation between the singular values of any matrix and its compound matrix (see Section II of the supplementary information), one obtains the following formula for computing the Correlation Minor Norm (CMN):
where \(d = \min \left\{ d_A, d_B \right\}\), and \(\sigma _k \left( {\mathscr {C}} \right)\) denotes the k-th singular value of \({\mathscr {C}}\). This implies that \({\mathscr {M}}_{h,p}\) is indeed a physical scalar. Note that the Schatten p-norm of \({\mathscr {C}}\) itself is obtained as a special case, for \(h=1\). Another thing to note is that for \(h = d^2\), the CMN \({\mathscr {M}}_{h,p}\) is equal to the product of all singular values, irregardless of p; in this case we denote it by \({\mathscr {M}}_{h=d^2}\). If \(d_A=d_B\), this is simply \(\det {\mathscr {C}}\).
Entanglement detection using the correlation minor norm
For general mixed states, there are a few known links between Schmidt coefficients and entanglement detection; the best-known is probably the CCNR criterion: If \(\sum _{k=1}^{d^2} \lambda _k > 1\), then \(\rho\) is entangled47. The Correlation Minor Norm allows for an equivalent formulation: if \({\mathscr {M}}_{h=1,p=1} >1\), then \(\rho\) is entangled.
The CCNR criterion has an additional immediate consequence regarding the CMN: since \({\mathscr {M}}_{h,p}\) is a monotonically increasing function of the operator-Schmidt coefficients \(\lambda _k\), there is an upper bound for the value it may obtain without violating the inequality \(\sum _{k=1}^{d^2} \lambda _k \le 1\). Thus, for all h and p, there exists some positive number \(B = B \left( d_A, d_B, h, p \right)\) with the property: if \(\rho\) is separable, then \({\mathscr {M}}_{h,p} \le B \left( d_A, d_B, h, p \right)\). This implies the Correlation Minor Norm can be used to detect entanglement by the following procedure: given a state \(\rho\), the corresponding correlation matrix \({\mathscr {C}}\) is obtained - either by computation or by direct measurement; then, the SVD of \({\mathscr {C}}\) is used to find the singular values, and these are substituted in (8) to compute the desired CMN, \({\mathscr {M}}_{h,p}\); and finally, \({\mathscr {M}}_{h,p}\) is compared with \(B \left( d_A, d_B, h, p \right)\). If \({\mathscr {M}}_{h,p} \le B \left( d_A, d_B, h, p \right)\), we cannot deduce anything. However, if \({\mathscr {M}}_{h,p} > B \left( d_A, d_B, h, p \right)\), we infer the state \(\rho\) is entangled. The remainder of this section deals with results regarding the upper bounds \(B \left( d_A, d_B, h, p \right)\). A technical treatment of the operator-Schmidt decomposition for separable states appears in Section III of the supplementary information.
In40, Lupo et al. generalize the CCNR criterion in the following way: they construct all elementary symmetric polynomials of the Schmidt coefficients \(\lambda _k\) of \(\rho\), and find bounds on these assuming \(\rho\) is separable. The h-th elementary symmetric polynomial of n variables is defined as follows:
i.e., the sum of all distinct products of h distinct variables. Clearly, \({\mathscr {M}}_{h,p=1} = S_h \left( \sigma _1, \ldots , \sigma _{d^2} \right)\).
A more recent work41 which cites40, makes the following important claim: assuming \(d_A = d_B\), they find a tight bound on the h-th symmetric polynomial (for separable states), and prove that as an entanglement detector it is no stronger than the CCNR criterion. Since the conjectures presented in this section imply this is true for the CMN with \(p = \infty\) as well, it seems likely that for \(d_A = d_B\) and any value of p, the CMN is no stronger than the CCNR criterion as an entanglement detector.
However, in the case where \(d_A \ne d_B\), it seems the CMN may detect entanglement in cases where CCNR does not. Let us define following48,49,50, a state in Filter Normal Form (FNF) as a state \(\rho\) for which any traceless Alice-observable A and any traceless Bob-observable B have vanishing expectation values; i.e., \(\left\langle A \otimes \mathbb {1}\right\rangle _\rho = \left\langle \mathbb {1} \otimes B\right\rangle _\rho = 0\). Then, we have the following result:
Theorem 1
Assume \(D :=\max \left\{ d_A, d_B \right\} \le d^3\) and \(h >1\). Then, for any separable state in Filter Normal Form:
where \(\alpha :=1/\sqrt{Dd}\), \(\beta :=\sqrt{ \frac{D-1}{D \left( d^2-1\right) } \frac{d-1}{d \left( d^2-1\right) } }\), and \(S_h\) is the h-th elementary symmetric polynomial in \(d^2\) variables.
Proof may be found in Section IV.B of the supplementary information. Moreover, we conjecture the following theorem still holds with the assumption of the state being in FNF removed. If proven, this conjecture would have explained the upper bounds presented in40 for \(d_A \ne d_B\), which had been found numerically.
Before presenting the next result, let us introduce quantum designs51. A quantum design in dimension b with v elements is simply a set of v orthogonal projections \(\left\{ P_k \right\} _{k=1}^v\) on \({\mathbb {C}}^b\). A quantum design is regular with \(r=1\) if all projections are pure (i.e. one-dimensional); it is coherent if the sum \(\sum _k P_k\) is proportional to the identity operator; and it has degree 1 if there exists \(\mu \in {\mathbb {R}}\) such that \(\forall k \ne l, \mathrm {tr}\left( P_k P_l\right) = \mu\). If a quantum design has all three qualities, then \(\mu = \frac{v -b }{b \left( v-1 \right) }\).
A regular, coherent, degree-1 quantum design with \(r = 1\) having v elements, is simply a set of v “equally spaced” pure states in the same space. For example, such a quantum design in dimension d containing \(d^2\) elements is known as a symmetric, informationally complete, positive operator-valued measure (SIC-POVM)52.
The following theorem tells us how to construct a separable state saturating (10) using quantum designs.
Theorem 2
Let \(\left\{ P_k^A \right\} _{k=1}^{d^2}\), \(\left\{ P_k^B \right\} _{k=1}^{d^2}\) be sets of pure projections comprising regular, coherent, degree-1 quantum designs with \(r = 1\), in dimensions \(d_A, d_B\) respectively and having \(d^2\) elements each. Define a state:
Then, the operator-Schmidt coefficients of \(\rho\) are \(\alpha\) with multiplicity one and \(\beta\) with multiplicity \(d^2-1\).
The proof appears in Section IV.C of the supplementary information. Note the last two theorems have the following special case: for \(h=d^2\), they imply that the above state maximizes the product of all Schmidt coefficients; i.e., it maximizes \({\mathscr {M}}_{h=d^2,p}\) for all p.
Furthermore, we have similar claims for \(p=\infty\).
Theorem 3
Let \(\rho\) be a separable state in FNF, and \(h \ge \sqrt{Dd}\). Then:
Proof may be found in Section IV.D of the supplementary information. As in Theorem 1, we conjecture this theorem still holds without the assumption that \(\rho\) is in FNF. Evidence for why we believe this conjecture to be true may be found in Section IV.E of the supplementary information. The following theorem yields a way of saturating the bound (12):
Theorem 4
Let \(\left\{ P_k^A \right\} _{k=1}^{h}\), \(\left\{ P_k^B \right\} _{k=1}^{h}\) be sets of pure projections comprising regular, coherent, degree-1 quantum designs with \(r = 1\), in dimensions \(d_A, d_B\) respectively and having h elements each. Define a state:
Then, the operator-Schmidt coefficients of \(\rho\) are \(\alpha\) with multiplicity one and \(\beta ' = \sqrt{ \frac{D-1}{D \left( h-1\right) } \frac{d-1}{d \left( h-1\right) } }\) with multiplicity \(h-1\).
The proof appears in in Section IV.F of the supplementary information. Note the coherence of \(\left\{ P_k^{A/B} \right\}\) ensures the state (13) is in FNF. Moreover, the constants \(\mu _{A/B} :=\frac{h -d_{A/B} }{d_{A/B} \left( h-1 \right) }\) enter the operator-Schmidt coefficients (and thus the upper bound (12)) elegantly: \(\beta ' = \sqrt{ \frac{1-\mu _A}{h} \frac{1-\mu _B}{h} }\).
We hypothesize that upper bounds over \({\mathscr {M}}_{h,p}\) for any value of p may be characterized using quantum designs. If this hypothesis is proven, then separable states built using such quantum designs are, in a way, on the “edges” of the convex separable set. However, one should note that quantum designs in a given dimension with a given number of elements do not always exist; the above theorems hold only in the cases where they do exist.
Further results and examples
Relation to entanglement entropy for pure states
Let \(\left| \psi \right\rangle\) be a pure state, and let \(s_1,\ldots ,s_d\) denote its “pure-state-Schmidt coefficients” (i.e., the ones arising when writing the Schmidt decomposition for pure states of \(\left| \psi \right\rangle\)). Then, its operator-Schmidt coefficients are \(s_k s_l\), i.e. all the pairwise products of pure-state-Schmidt coefficients (if \(k \ne l\), \(s_k s_l\) appears as an operator-Schmidt coefficient with multiplicity 2; for proof please refer to in Section I.C of the supplementary information.
For pure states, the Correlation Minor Norm is linked to the state’s Schmidt rank by the following observation: for all \(t \in \left[ d \right]\), \({\mathscr {M}}_{h=t^2,p} \ne 0\) iff the state’s pure-state-Schmidt rank is at least t. Thus, the Correlation Minor Norm may be used to find the Schmidt rank in pure states. Figure 1 illustrates a comparison between \({\mathscr {M}}_{h=t^2, p}\) and entanglement entropy for all two-qutrit pure states.
Moreover, for any pure state of dimension \(2 \times D\), the CMN and entanglement entropy are only functions of \(s_1^2\), and both functions have the same monotonicity w.r.t. this parameter (i.e. they increase / decrease in the same domains). This may be demonstrated by noting that effectively, the qubit is only correlated with a two-dimensional subsystem of Bob’s system. Using the same reasoning that appears in Section I.D of the supplementary information, it could be argued that \({\mathscr {M}}_{h=4}\) may indeed quantify entanglement in this scenario.
However, it is clear that not all Correlation Minor Norms are useful for this purpose; in fact, the relation between operator-Schmidt coefficients and pure-state-Schmidt coefficients implies:
Thus, \({\mathscr {M}}_{h=1,p=2} = 1\) for any pure state, be it separable or entangled.
Improving on the CCNR criterion
In this section, we shall present an entangled state which may be detected by the CMN, but cannot be detected by the CCNR criterion. First, let \(\rho _0\) be the state (11) for \(d_A = 3, d_B = 2\); and let \(\rho _1 :=\left| \psi \right\rangle \left\langle \psi \right|\), where \(\psi :=\left( \left| 11\right\rangle + \left| 20\right\rangle \right) /\sqrt{2}\). The state is constructed as follows:
For \(q=0.295\) the state is entangled (easily verifiable by the PPT criterion). However, it is not detected by the CCNR criterion: \({\mathscr {M}}_{h=1,p=1} = 0.9981 < 1\); and it is detected by the CMN: \({\mathscr {M}}_{h=2,p=1} = 0.3509\), exceeding the bound \(\frac{2+ 3 \sqrt{2} }{18} \approx 0.3468\).
Relation to quantum discord
Since the CMN seems to capture some value related to quantum correlations, it is intriguing to ask whether it may somehow be be used to measure their strength. The geometric measure for quantum discord (GQD) with respect to Alice’s subsystem is defined38 as:
i.e. the shortest squared Euclidean distance between \(\rho\) and any classical-quantum state (the expression for discord w.r.t. Bob’s subsystem is defined similarly, where the minimization goes over all quantum-classical states).
Motivated by this definition and by the expression for GQD derived in39, we suggest the following measure for discord w.r.t. Alice’s subsystem, based on the CMN:
where the maximization goes over all projective measurements on Alice’s subsystem \(\Pi ^A = \left\{ \Pi _i \right\} _{i=1}^{d_A}\), and \(\Pi ^A \left[ \rho \right]\) is the state obtained from \(\rho\) by performing the measurement \(\Pi ^A\) and obtaining the appropriate ensemble of the projections \(\Pi _i\) (i.e., the state is measured but not “collapsed”). The following result suggests that \({\mathscr {D}}^A_{h,p}\) may be thought of as a measure for discord:
Theorem 5
For any state \(\rho\) and for any value of h, p, \({\mathscr {D}}^A_{h,p} \left( \rho \right) \ge 0\); and \({\mathscr {D}}^A_{h\le 2,p} \left( \rho \right) = 0\) iff \({\mathscr {D}}_G^A \left( \rho \right) = 0\).
Moreover, for any state \(\rho\), we have \({\mathscr {D}}_G^A \left( \rho \right) = {\mathscr {D}}^A_{h=1,p=2}\). The proof for this fact, as well as for the theorem above, appears in Section V of the supplementary information. As evident in the proof, \({\mathscr {D}}_G^A \left( \rho \right) = 0 \; \Rightarrow \; {\mathscr {D}}^A_{h,p} \left( \rho \right) = 0\) for \(h>2\) as well.
Figure 2 illustrates several of the measures \({\mathscr {D}}^A_{h,p} \left( \rho \right)\) for a two-parameter family of states given in53. The states appear in Section V of the supplementary information. It is also worth noting in this context, that the two-qubit separable state with maximal discord has the same operator-Schmidt coefficients as the Werner state with \(c=1/3\)37,54 (hence they are unitarily equivalent); and it is precisely the state maximizing the CMNs with \(p=1\). In other words—the entanglement, discord and CMNs for the two-qubit Werner states are all monotonically increasing functions of the parameter \(c \in \left[ 0, 1 \right]\), and for the critical value of c (above which the states are entangled) the Werner state is precisely the one for which the CMN obtains its separable upper bound. This situation occurs for the two-qutrit Werner state as well, where the critical value of c is 1/4 (when constructed as in55).
Conclusions
The task of entanglement detection is important for basic quantum science, as well as various quantum technologies. The current work was motivated by the following question: since bipartite entanglement can be characterized by correlations between all of the parties’ observables, can it also be detected via some norm of these correlations? As demonstrated by our results, the answer is likely to be affirmative.
We have defined the Correlation Minor Norm and explored its characteristics. This has allowed us to propose an approach for detecting entanglement both in pure and mixed states. Furthermore, it was shown that for pure states, the Correlation Minor Norm allows one to determine the Schmidt rank, and in some cases also quantify the strength of quantum correlations. Given the dimensions of the two parties’ respective systems, one may choose a single set of operators which can be used for detecting entanglement in any state, be it pure or mixed.
Additionally, we have shown that the CMN with \(h=1,p=2\) admits a natural relation to geometric quantum discord. This affinity motivated a definition of a more general measure for quantum discord which is based on the CMN. Some of these measures might mitigate the known issues with existing discord measures56,57,58,59.
One optional direction for future research may include development of dynamical equations for the Correlation Minor Norm. This may be interesting, as the correlation matrix contains exactly the same information as the density matrix.
Another possible generalization is considering multipartite systems. In60, the authors consider detection of genuine multipartite entanglement and non-full-separability using correlation tensors. Specifically, they consider tensors comprising all multipartite correlations between orthonormal bases to the traceless observables; and they find upper bounds on norms of matricizations of these tensors, such that exceeding these bounds implies the state is genuine multipartite entangled, or non-fully-separable.
This paper may hint as to how our work may be generalized to the multipartite case: one could consider the full correlation tensor (i.e. correlations between bases to the entire space of observables, not just the traceless ones); then, the CMN with parameters h, p may be defined as the Schatten p-norm of the hth compound matrix of a certain matricization of this tensor. The bounds shown in60 could then be utilized to find two upper bounds on each of the CMNs—one for non-genuinely-entangled states, and another for fully-separable states. The question of which matricization should be used remains to be determined. Moreover, further work is required to find the states saturating these bounds.
References
Islam, R. et al. Measuring entanglement entropy in a quantum many-body system. Nature 528, 77 (2015).
Amico, L., Fazio, R., Osterloh, A. & Vedral, V. Entanglement in many-body systems. Rev. Mod. Phys. 80, 517 (2008).
Jurcevic, P. et al. Quasiparticle engineering and entanglement propagation in a quantum many-body system. Nature 511, 202–205 (2014).
Kaufman, A. M. et al. Quantum thermalization through entanglement in an isolated many-body system. Science 353, 794–800 (2016).
Braunstein, S. L. & Van Loock, P. Quantum information with continuous variables. Rev. Mod. Phys. 77, 513 (2005).
Bello, L., Michael, Y., Rosenbluh, M., Cohen, E. & Pe’er, A. Complex two-mode quadratures—a unified formalism for continuous-variable quantum optics. arXiv preprintarXiv:2011.08099 (2020).
Berrada, K. & Abdel-Khalek, S. Entanglement of atom-field interaction for nonlinear optical fields. Phys. E Low Dimens. Syst. Nanostruct. 44, 628–634 (2011).
Abdel-Khalek, S., Berrada, K. & Ooi, C. R. Beam splitter entangler for nonlinear bosonic fields. Laser Phys. 22, 1449–1454 (2012).
Chtchelkatchev, N. M., Blatter, G., Lesovik, G. B. & Martin, T. Bell inequalities and entanglement in solid-state devices. Phys. Rev. B 66, 161320 (2002).
Wieśniak, M., Vedral, V. & Brukner, Č. Magnetic susceptibility as a macroscopic entanglement witness. New J. Phys. 7, 258 (2005).
González-Tudela, A. & Porras, D. Mesoscopic entanglement induced by spontaneous emission in solid-state quantum optics. Phys. Rev. Lett. 110, 080502 (2013).
Tichy, M. C., Mintert, F. & Buchleitner, A. Essential entanglement for atomic and molecular physics. J. Phys. B 44, 192001 (2011).
Sackett, C. A. et al. Experimental entanglement of four particles. Nature 404, 256–259 (2000).
Jaksch, D., Briegel, H.-J., Cirac, J., Gardiner, C. & Zoller, P. Entanglement of atoms via cold controlled collisions. Phys. Rev. Lett. 82, 1975 (1999).
Yönaç, M., Yu, T. & Eberly, J. Sudden death of entanglement of two Jaynes-cummings atoms. J. Phys. B 39, S621 (2006).
Berrada, K., Fanchini, F. F. & Abdel-Khalek, S. Quantum correlations between each qubit in a two-atom system and the environment in terms of interatomic distance. Phys. Rev. A 85, 052315 (2012).
Mohamed, A.-B., Eleuch, H. & Ooi, C. R. Non-locality correlation in two driven qubits inside an open coherent cavity: Trace norm distance and maximum bell function. Sci. Rep. 9, 1–10 (2019).
Peres, A. Separability criterion for density matrices. Phys. Rev. Lett. 77, 1413 (1996).
Horodecki, M., Horodecki, P. & Horodecki, R. Separability of mixed states: Necessary and sufficient conditions. Phys. Lett. A 223, 1–8 (1996).
Horodecki, P. Separability criterion and inseparable mixed states with positive partial transposition. Phys. Lett. A 232, 333–339 (1997).
Brandao, F. G. Quantifying entanglement with witness operators. Phys. Rev. A 72, 022310 (2005).
Gühne, O. Characterizing entanglement via uncertainty relations. Phys. Rev. Lett. 92, 117903 (2004).
Gühne, O., Hyllus, P., Gittsovich, O. & Eisert, J. Covariance matrices and the separability problem. Phys. Rev. Lett. 99, 130504 (2007).
Gühne, O., Mechler, M., Tóth, G. & Adam, P. Entanglement criteria based on local uncertainty relations are strictly stronger than the computable cross norm criterion. Phys. Rev. A 74, 010301 (2006).
Gittsovich, O., Gühne, O., Hyllus, P. & Eisert, J. Unifying several separability conditions using the covariance matrix criterion. Phys. Rev. A 78, 052319 (2008).
Li, J.-L. & Qiao, C.-F. A necessary and sufficient criterion for the separability of quantum state. Sci. Rep. 8, 1442 (2018).
de Vicente, J. I. Separability criteria based on the Bloch representation of density matrices. Quantum Inf. Comput. 7, 624–638 (2007).
Carmi, A. & Cohen, E. On the significance of the quantum mechanical covariance matrix. Entropy 20, 500 (2018).
Carmi, A. & Cohen, E. Relativistic independence bounds nonlocality. Sci. Adv. 5, eaav8370 (2019).
Te’eni, A., Peled, B. Y., Cohen, E. & Carmi, A. Multiplicative bell inequalities. Phys. Rev. A 99, 040102 (2019).
Pozsgay, V., Hirsch, F., Branciard, C. & Brunner, N. Covariance bell inequalities. Phys. Rev. A 96, 062128 (2017).
Ollivier, H. & Zurek, W. H. Quantum discord: A measure of the quantumness of correlations. Phys. Rev. Lett. 88, 017901 (2001).
Zurek, W. H. Einselection and decoherence from an information theory perspective. Ann. Phys. 9, 855–864 (2000).
Henderson, L. & Vedral, V. Classical, quantum and total correlations. J. Phys. A 34, 6899 (2001).
Giorda, P. & Paris, M. G. Gaussian quantum discord. Phys. Rev. Lett. 105, 020503 (2010).
Luo, S. Quantum discord for two-qubit systems. Phys. Rev. A 77, 042303 (2008).
Bera, A. et al. Quantum discord and its allies: A review of recent progress. Rep. Prog. Phys. 81, 024001 (2017).
Dakić, B., Vedral, V. & Brukner, Č. Necessary and sufficient condition for nonzero quantum discord. Phys. Rev. Lett. 105, 190502 (2010).
Luo, S. & Fu, S. Geometric measure of quantum discord. Phys. Rev. A 82, 034302 (2010).
Lupo, C., Aniello, P. & Scardicchio, A. Bipartite quantum systems: On the realignment criterion and beyond. J. Phys. A 41, 415301 (2008).
Li, C.-K., Poon, Y.-T. & Sze, N.-S. A note on the realignment criterion. J. Phys. A 44, 315304 (2011).
Chen, K. & Wu, L.-A. A matrix realignment method for recognizing entanglement. Quantum Inf. Comput. 3, 193–202 (2002).
Rudolph, O. Further results on the cross norm criterion for separability. Quantum Inf. Process. 4, 219–239 (2005).
Simon, R. Peres–Horodecki separability criterion for continuous variable systems. Phys. Rev. Lett. 84, 2726 (2000).
Dodonov, A., Dodonov, V. & Mizrahi, S. Separability dynamics of two-mode gaussian states in parametric conversion and amplification. J. Phys. A 38, 683 (2004).
De Castro, A. & Dodonov, V. Purity and squeezing exchange between coupled bosonic modes. Phys. Rev. A 73, 065801 (2006).
Gühne, O. & Tóth, G. Entanglement detection. Phys. Rep. 474, 1–75 (2009).
Kent, A., Linden, N. & Massar, S. Optimal entanglement enhancement for mixed states. Phys. Rev. Lett. 83, 2656 (1999).
Verstraete, F., Dehaene, J. & De Moor, B. Normal forms and entanglement measures for multipartite quantum states. Phys. Rev. A 68, 012103 (2003).
Leinaas, J. M., Myrheim, J. & Ovrum, E. Geometrical aspects of entanglement. Phys. Rev. A 74, 012313 (2006).
Zauner, G. Quantum designs: Foundations of a noncommutative design theory. Int. J. Quantum Inf. 9, 445–507 (2011).
Renes, J. M., Blume-Kohout, R., Scott, A. J. & Caves, C. M. Symmetric informationally complete quantum measurements. J. Math. Phys. 45, 2171–2180 (2004).
Virzì, S. et al. Optimal estimation of entanglement and discord in two-qubit states. Sci. Rep. 9, 1–9 (2019).
Galve, F., Giorgi, G. L. & Zambrini, R. Maximally discordant mixed states of two qubits. Phys. Rev. A 83, 012102 (2011).
Ye, B., Liu, Y., Chen, J., Liu, X. & Zhang, Z. Analytic expressions of quantum correlations in qutrit Werner states. Quantum Inf. Process. 12, 2355–2369 (2013).
Piani, M. Problem with geometric discord. Phys. Rev. A 86, 034101 (2012).
Tufarelli, T., Girolami, D., Vasile, R., Bose, S. & Adesso, G. Quantum resources for hybrid communication via qubit-oscillator states. Phys. Rev. A 86, 052326 (2012).
Paula, F., de Oliveira, T. R. & Sarandy, M. Geometric quantum discord through the Schatten 1-norm. Phys. Rev. A 87, 064101 (2013).
Roga, W., Spehner, D. & Illuminati, F. Geometric measures of quantum correlations: Characterization, quantification, and comparison by distances and operations. J. Phys. A 49, 235301 (2016).
de Vicente, J. I. & Huber, M. Multipartite entanglement detection from correlation tensors. Phys. Rev. A 84, 062306 (2011).
Acknowledgements
We thank Aharon Brodutch for insightful discussions. B.P. and A.T. also thank Ebrahim Karimi for their hospitality at the University of Ottawa and Elie Wolfe for their hospitality in Perimeter Institute. Both visits have been fruitful and advanced this work. This research was supported by grant number (FQXi-RFP-CPW-2006) from the Foundational Questions Institute and Fetzer Franklin Fund, a donor advised fund of Silicon Valley Community Foundation. E.C. acknowledges support from the Israel Innovation Authority under projects 70002 and 73795, from the Pazy Foundation and from the Quantum Science and Technology Program of the Israeli Council of Higher Education.
Author information
Authors and Affiliations
Contributions
B.P. and A.T. constructed the Correlation Minor Norms and proved the results; A.C. and E.C. supervised the project; all authors wrote the manuscript together.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Peled, B.Y., Te’eni, A., Carmi, A. et al. Correlation minor norms, entanglement detection and discord. Sci Rep 11, 2849 (2021). https://doi.org/10.1038/s41598-021-82303-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-021-82303-3
- Springer Nature Limited
This article is cited by
-
Multipartite entanglement detection via correlation minor norm
Quantum Information Processing (2023)