1. Introduction
As an indispensable resource in quantum nonlocality [
1,
2,
3], quantum entanglement is generally used in quantum dense coding [
4,
5,
6], quantum teleportation [
7,
8], quantum distillation purification [
9,
10,
11] and so on. Verifying specific kinds of quantum entanglement is of importance for quantum information processing. Basically speaking, if the measurement devices are fully trusted, one can direct access to the quantum state and perform quantum state tomography to reconstitute the density matrix, which contains all the information of the quantum state. However, with the increase in dimension, the number of projective measurement basis required is exponential growth. It is difficult to perform quantum state tomography under a large dimension and fewer copies of a quantum state. Moreover, in practical tasks, it happens frequently that the devices are untrusted. Thus in the aforesaid circumstances, quantum state tomography may not be the best choice to verify the entanglement of an unknown state.
In general, there are many ways to identify entanglement, such as Bell-like inequality violations [
12,
13], local uncertainty relations [
14,
15,
16], entropic uncertainty relations [
17,
18,
19], entanglement witnesses [
20,
21], monotones over local operations and classical communication [
22] and so on. Different from these studies, in this article, we focus on the entanglement verification by means of classical correlations for complementary properties [
23,
24,
25]. The term “complementarity”, as a physical concept, is first introduced by Niels Bohr to reveal his own thinking about “duality” [
26,
27]. He said,
“…evidence obtained under different conditions cannot be comprehended within a single picture, but must be regarded as complementary in the sense that only the totality of the phenomena exhausts the possible information about the objects” [
28]. Finally, Bohr had concluded the famous principle of physics, duality, as: the close observation of any quantum object will reveal either wave-like or particle-like behavior, one or the other of two fundamental and complementary features. Uncertainty relation is an illustrative explanation of complementarity. For two non-commutative physical observables describing a quantum system in the evolution, the complementarity tells that if the value of one observable is precisely observed, then all the possible values of the other observable are equiprobable.
In this work, we report an experimental investigation of the relationship between quantum entanglement and the classical correlations of complementary observables, which are quantified in terms of the mutual information, Pearson correlation coefficient and mutual predictability. The remainder of this article is organized as follows. In
Section 2, we give a brief introduction of complementary obvservables and different types of classical correlations. Then we show the theoretical quantum entanglement criteria of classical correlations for complementary observables. In
Section 3 we experimentally demonstrate the entanglement criteria of different families of quantum states, such as two-qubit pure states and Werner states, by linear optical elements. In
Section 4 we discuss and summarize our results.
2. Entanglement Criterions of Classical Correlations for Complementary Observables
In quantum mechanics, strictly speaking, a nondegenerate observable
can be decomposed by its own eigenstates in the form of
, where
are the eigenstates with
and
d is the Hilbert space dimension of
.
is an arbitrary bijective function. Similarly we define another nondegenerate observable
. When the equality
holds for all
i,
j, the two nondegenerate observables are complementary. Obviously complementarity reveals
and
are two mutually unbiased bases [
29].
It is clearly known that if
d is a power of a prime, there exist
mutually unbiased bases for a system [
29,
30]. When
, the set of three mutually unbiased bases can be directly obtained from the eigenvectors of the three Pauli matrices, namely
for
,
for
and
for
. These three bases constitute a complete set since it is impossible to find an additional basis that is mutually unbiased to all of them. Of course, one can obtain the different forms of the complete set through transformation of coordinates.
Consider Alice and Bob share a two-qubit quantum state in which the subscript represents the subsystem of Alice (Bob). Here for a two-qubit system, there exists a set of three complementary observables in each side. We first consider the case Alice and Bob successively carry out two measurement observables and on their own systems respectively. Here and , and are corresponding to the complementary properties. By labeling the measurement results as a and b for Alice and Bob respectively, we can quantify different classical correlations between the two complementary observables by means of joint measurement. In this article, we focus on the mutual information, Pearson correlations and mutual predictability. Note that the values of a and b are dichotomic in assemble .
Mutual information is a typical correlation which quantifies the information obtained about one random variable by observing the other one. In physics, it defines the common information contained in two measurements observables. The form of mutual information is given by
where
is the Shannon entropy of the probabilities of the measurement outcomes
a and
is the conditional entropy, while the joint entropy
is a measure of the uncertainty associated with observables
.
is the joint probability of obtaining the outcome
a when Alice performs
on system A and Bob obtains the outcome
b by performing
on system B. For the two complementary observables case, we define the classical correlation as
. In the two-qubit system (i.e., the Hilbert space dimension of measurement in each side is
), the relation between quantum entanglement and complementary correlation is illustrated by [
23]
Equation (
2) gives a sufficient condition for entanglement, which means that state
is entangled when the mutual information inequality of complementary observables is postulated. The maximum value of the left-hand side of Equation (
2) is 2 if, and only if, the two-qubit quantum system is maximally entangled.
Here we take into account another correlation, the Pearson correlation coefficient. The Pearson correlation coefficient is essentially a normalised measurement of the covariance of two variables, and has been applied extensively in different areas of statistical applications. Given a pair of observables
, the Pearson correlation coefficient is defined as
where
is the expectation value of joint measurement on the quantum state
, in which ⊕ is addition modulo two.
is the expectation value of Alice applying measurement
on her own system with a
identity matrix applied on Bob’s system. The same definition is appropriate for
. The denominator of the right-hand side in Equation (
3) is the product of standard deviations of the observables, in which
since
and
are unitary operators. Clearly, the Pearson correlation coefficient cannot be applied to the eigenstates of observables [
23]. In physics, the Pearson correlation coefficient is widely used to quantify the quantum synchronization in the context of temporal dynamics of local observables [
31] and formulate Bell-CHSH type inequalities [
32]. Here we introduce the Pearson correlation coefficient of complementary observables as a measure of correlations to witness entanglement of quantum states. Ref. [
23] provides a conjecture to certify the entanglement for bipartite systems
The state
is conjectured to be entangled when Equation (
4) is valid. Similarly to mutual information inequality of complementary observables,
is maximally entangled if, and only if, the sum of the Pearson correlation coefficient is 2.
Now we focus on the mutual predictability which is written as
The mutual predictability quantifies the probability of predicting the measurement results
a if the outcome
b is known, and vice versa. At present, the mutual predictability has attracted broad attention since it can be used for deriving quantum steering inequality [
33] and self-testing two-qubit entangled pure states [
34,
35]. In Ref. [
25], Spengler et al. brought forward a quantum criterion to verify entanglement, that is
in which
m is the permitted number of mutually unbiased bases applied to the states. Equation (
6) holds for all separable states, namely,
is entangled when Equation (
6) is violated. Evidently quantum criterion becomes
when Alice and Bob carry out two groups of complementary observables on the two-qubit system.
Note that the sufficient condition for the entanglement criteria above still holds even if one adds a third complementary observable for each Alice’s and Bob’s side, which is labeled by
here. Now the measurement operators constitute a set of complete complementary observables. It is easy to infer that sufficient condition for entanglement of the two-qubit system can be made stronger in three complementary observables case since the information extracted from the quantum state grows with the increase of measurement basis. For instance, using
m mutually unbiased bases for Alice and Bob, one can obtain the ultimate bound to verify the
d-dimensional isotropic states [
25].
In next section we will show the experimental investigation of the relation between quantum entanglement and classical complementary correlations of different families of states. Here we give a traditional method to verify the entanglement of a state theoretically, namely the quantum concurrence, which is defined for a two-qubit state as [
36,
37]
in the above equation represent the eigenvalues in descending order of the Hermitian rotation matrix
with
, in which * is complex conjugation to
. The concurrence shows that the state
is entangled when
. It is easily calculated that for the family of two-qubit pure state
the concurrence
when
or 1. Here
p is a adjustable state parameter and
is the maximally entangled state
when
. Without loss of generality, we define
p is real and use Equation (
9) to stand for all two-qubit pure entangled states since the whole states can be translated into Equation (
9) via certain unitary operations which do not change the degree of quantum correlation.
For Werner states, in order to reveal the comparison of different states intuitively, we use the same symbol
p to write the form of the density matrices of states, that is
where
is the
identity matrix and
p denotes the decoherence parameter which controls the ratio of the white noise here. Note that
when
, which implies that Werner states are entangled for
.
Note that the measurement bases which maximize the complementary correlations above of the two families of states are the eigenvectors of three Pauli matrixes exactly. So the measurement observables of Alice are
in this article. The corresponding to Bob are
. The global phase
is added to
on Bob’s side, due to the fact that the mutual predictability is associated with diagonal elements of the density matrix of a state, since the observable
seems like a bit flipping operator and we only need to consider the outcomes
. Meanwhile, the two eigenvalues corresponding to the same eigenstates of 2-dimensional
are exchanged with each other after adding to the global phase
. Thus, it can be assumed that the outcomes on Bob’s side need to translate from
into
in the process of calculating the mutual predictability. One can easily obtain that the maximum is achieved when applying the observables
to the states
. Therefore, up to local isometries, for
, the corresponding observables which, maximizing the mutual predictability, are
[
35,
38].
3. Experimental Demonstration and Results
In this section, we first introduce the generation of two types of two-qubit states. The whole setup in our experiment, which is represented via linear optical elements, is divided into two modules: the state preparation part and the measurement device (
Figure 1). The computational basis states
and
are encoded by the horizontal and vertical polarization of a photon, and the entangled photon pairs are generated through type-I spontaneous parametric down-conversion process [
39,
40]. The polarization of the pump beam, which is from a semiconductor laser with 400.8 nm, is controlled by a half-wave plate (HWP)
. After passing through a pair of glued nonlinear
-barium-borate (BBO) crystals whose optic axes are normal to each other, the signal photons are associated with the idle photons. By rotating the angle of
as
, photon pairs are prepared into a family of two-qubit pure states
. The following pair of
-BBO crystals in each photon paths after optical fiber coupler (FC) are used to modulate the phase difference between two photons.
For Werner states, decoherence should be introduced to the maximally entangled state
. In this cases, we fix the setting angle of
to
. The schematic diagram is illustrated in the dotted line framed insert in
Figure 1. In the lower path, the photons are separated into two ways via a 50/50 beam splitter (BS). In the reflected way, three quartz crystals with sufficient thickness and a HWP
with
are applied to dephase the state
into a completely mixed state [
41]. In the transmission way, there exists a tilted HWP
to compensate the phase of the two-photon state. The two adjustable apertures in the reflected and transmission ways are used for controlling the proportion of
and the white noise. After mixing at the output port of the second BS, arbitrary Werner state
is generated. Note that no compensated crystal is required in the transmission way since the optical path difference between the two ways is large enough for incoherent superposition. In the lower path, the photons directly travel to the measurement device.
For a linear optical system, any
unitary measurement operators can be constructed via certain HWPs and QWPs [
42,
43,
44]. In our measurement setup, all of the mutually unbiased bases can be realized by a quarter-wave plate (QWP), a HWP and a polarization beam splitter (PBS). All the joint probabilities which are used to calculate the correlations can be read out from the coincidence between certain single-photon avalanche photodiodes (APDs). Here, in order to obtain the higher purities of the initial calibrated states, we set the time window of APD as 7ns. For each measurement, we record the clicks for 20 s and the total coincidence counts between APDs of Alice and Bob are about 10,000.
As a theoretical contrast, we first calculate the concurrence
by the density matrices of the post selected initial states, which are reconstructed through quantum state tomography. The fidelities of the initial states in our experiment are all higher than 0.982. From
Figure 2a we see that for any two-qubit pure state
, the concurrence
except
or 1 which shows that arbitrary
is entangled (
). The maximal
is achieved when is achieved when
indicates the initial state is the maximally entangled state. For Werner states, the concurrence
when
tells us the states are entangled, which agrees well with theoretical prediction.
Next we calculate the different classical correlations for two groups of complementary observables based on the joint measurement between Alice and Bob. For simplicity, we choose the measurement choices as simultaneously. The former can be realized by a QWP and a HWP with the setting angles and and a following PBS on Alice’s side, and the corresponding on Bob’s side, the setting angles of QWP and HWP are and as well. The latter observables can be realized by a similar setup by rotating and to . The response of and characterizes the measurement results of Alice are and , respectively. Meanwhile, the counts of and correspond to and for Bob, respectively. Thus the coincidence counting of APDs represents for the measurement result simultaneously, similarly, for and , for and , for . Therefore, we can directly calculate the joint probabilities by the photon counts.
To obtain the mutual information, the Shannon entropy of the probabilities of the outcomes
and
are required to measure. As a typical instance, we give the method to calculate the probability
, namely
where the numerator of the right-hand side is the coincidence counting photon numbers of result
in Alice’s side and the denominator is the total photon numbers. Other probabilities can be obtained via the similar way.
Figure 2b shows the experimental mutual information of two types of states. For the two-qubit pure states
, the quantum verification Equation (
2) holds when
. The classical correlations of the two critical states are
and
, which matches with the theoretical prediction. However, compared to the concurrence in
Figure 2a, we find that Equation (
2) has limitation to identify the two-qubit pure states. A similar situation also occurs in Werner states
. The mutual information of state
is
, which means that Werner states are entangled when
, since the complementary correlation is monotonically increasing with decoherence coefficient
p.
In
Figure 2c we show the experimental results of complementary correlation based on the Pearson correlation coefficient as a function of the state coefficient
p for different states. It is clearly seen that for any two-qubit pure states, the conjecture Equation (
4) provides a precise bound to certify the entanglement. Even for Werner states, the linear increasing of complementary correlation with
p implies that Werner states
are entangled for
since the experimental value is
at the critical point
. Compared to the entanglement criterion based on the mutual information, we could obtain that the one based on Pearson correlation coefficient is stronger. The conclusion is surprising because less information is extracted in the Pearson correlation coefficient indeed, since the mutual information measures all types of correlations, whereas the Pearson correlation coefficient only measures linear correlation. The reason is there exists probability distribution that has maximal Pearson correlation but negligible mutual information basically [
45].
Different from the above two correlations, we only need calculate the joint probabilities for the measurement results
in the mutual predictability. The experimental data are illustrated in
Figure 2d. We find that the ability of the quantum criterion to verify entanglement for two-qubit pure states and Werner states is the same as the one based on Pearson correlation coefficient. Note that only two complementary observables are needed for detecting entanglement of Werner states up to a threshold of 50% noise. In comparison, Bell inequalities, by using two measurement settings for each party, merely reach a maximal noise threshold between 29.289% and 32.656%, depending on the dimension [
46]. Regardless, the three complementary correlations are optimized only for maximally entangled states, namely, a state is maximally entangled if, and only if, there exist two complementary bases maximizing the above classical correlations.
Now we expand the above criterion to a complete set of three complementary observables. The measurement and calculation methods of the criterion with the additional observables
are analogous to the previous case. Here, the setting angles of QWPs and HWPs are
and
. In order to add the global phase
to Bob’s measurement, we insert an additional HWP
with
before the PBS.
Figure 3 gives the experimental results of complementary correlations based on mutual information and Pearson correlation coefficient for two types of states. From an overall perspective, the resolution capability of the two criterions has improved significantly by adding a new group of complementary observables. In fact, this phenomenon is easy to understand since the more numbers of complementary observables within the allowable range (
for
d-dimensional systems), the more information is extracted from a state. In the case of the mutual information, the resolution capability for two-qubit pure states upgrades to
, since the experimental results are
and
, respectively (
Figure 3a). Similarly to Werner states, the resolution capability promotes to
since the experimental result is
, which agrees well with the theoretical one. In
Figure 3b, one can surprisingly find that the Pearson correlation coefficients are now suitable to detect all types of states. For Werner states in particular, they signify the presence of entanglement for
since the classical correlation still varies linearly with the decoherence coefficient
p, and the value is
at the special point.
Finally, we discuss the complementary correlation based on the mutual predictability with a complete set of three complementary observables. Here, by plugging
in Equation (
6), the upper bound of the quantum certification becomes
[
25], that is to say the states are entangled if the left-hand side of Equation (
6) is greater than 2.
Figure 4 shows the experimental results of two-qubit pure states and Werner states. We can obtain that the resolution capability of complementary correlation has improved significantly as well. All experimental violations are greater than 2 for pure states, which indicates that the whole two-qubit pure states are entangled (of course except
or 1). For Werner states, compared to
Figure 2d, the resolution capability of the complementary correlation is promoted to
since the violation is
when
, which verifies that, for a complete set of mutually unbiased bases, the complementary correlation based on the mutual predictability is necessary and sufficient for Werner states.