Fu-Gang Zhang

School of Mathematics and Information Science, Nanchang Hangkong University, Nanchang 330063,China

Abstract In this paper, we discuss quantum uncertainty relations of Tsallis relative α entropy coherence for a single qubit system based on three mutually unbiased bases.For∪(1 , 2],the upper and lower bounds of sums of coherence are obtained.However, the above results cannot be verified directly for anyHence, we only consider the special case ofwhere n is a positive integer,and we obtain the upper and lower bounds.By comparing the upper and lower bounds, we find that the upper bound is equal to the lower bound for the specialand the differences between the upper and the lower bounds will increase as α increases.Furthermore, we discuss the tendency of the sum of coherence, and find that it has the same tendency with respect to the different θ or φ,which is opposite to the uncertainty relations based on the Rényi entropy and Tsallis entropy.

Keywords: quantum uncertainty relation, Tsallis relative α entropy of coherence, the upper and lower bounds, single qubit state, MUB

1.Introduction

Quantum coherence derived from quantum superposition is one of the fundamental features of quantum mechanics.Quantum coherence resource theory plays an important role not only in the quantum theory but also in the practical application [1–4].Quantifying the coherence of quantum states is one of the core tasks of quantum coherence resource theory.Baumgratz et al proposed a rigorous framework to quantify coherence [5].The framework stipulated that a well coherence measure must fulfil several conditions.

Based on the framework, many suitable measures were put forward with respect to the fixed orthonormal basis[6–13].The relative entropy of coherence (REOC) and l1-norm of coherence are two typical quantum coherence measures which have been proven to satisfy these conditions[5].The author of [12] proposed a coherence measure in terms of Tsallis relative α-entropy.The author proved that the above coherence measure satisfies the conditions of (C1),(C2a) and (C3), but it violates the condition of (C2b), i.e.monotonicity under incoherent selective measurements.Whereas, the coherence measure satisfies a generalized monotonicity for average coherence under subselection based on measurement [12].In order to link Tsallis relative α entropy with the strong monotonicity which is the most crucial criterion, Zhao et al proposed a modified coherence measure based on the above work, and proved it satisfies strong monotonicity[13].Recently,more considerable efforts have been made to put toward quantifying quantum coherence from a resource theoretic perspective [14–22].

Uncertainty relation is also one of the basic characteristics of quantum world distinguished from classical world.Heisenberg gave the original formulation of this concept in 1927[23],Robertson extended it to two arbitrary observables in 1929 [24].Such an uncertainty relation based on variance generally relies on the definition of observables.Moreover,the researchers proposed some entropic uncertainty relations which play some important roles in quantum information processing.Deutsch[25]and Maassen et al[26]proposed an uncertainty relation based on the Shannon entropy of measurement outcomes.Uncertainty relations based on the Rényi entropy and Tsallis entropy of the measurement outcomes were considered[27–29].Rastegin studied uncertainty relation with respect to mutually unbiased bases (MUB) in terms of Tsallis entropy[30].Several other discussions on the uncertainty relation have been published [31–38].

Due to the fact that quantum coherence is a basisdependent notion, a concept of quantum uncertainty relation of quantum coherence was proposed [39–42], the sum of quantum coherence based on two or more measurement bases was called as quantum uncertainty of quantum coherence,which was seen as quantum part of an uncertainty.For the qubit case, quantum uncertainty relations based on two measurement bases were considered by using REOC,l1norm of coherence, and coherence of formation [39, 40].In [42],we discussed the uncertainty relations of Tsallis relative entropy of coherence (TREOC) and Rényi REOC based on two measurement bases.Moreover, uncertainty relations of quantum coherence with respect to MUB were researched by using the REOC and the geometric coherence [43].

In the paper, we study the quantum uncertainty relation of quantum coherence based on three MUBs for single qubit system.The coherence measure we studied is TREOC [13].The upper and lower bounds of sums of coherence are obtained forThe results cannot be proved directly for anyHence, we consider the special case ofwhere n is a positive integer, and we obtain the upper and lower bounds of sums of coherence.We consider the variation of the upper and lower bounds with respect to α,the upper bound is equal to the lower bound for the specialthe differences between the upper and lower bounds will increase as α increases.We discuss the tendency of the sum of coherence,and find it is different from uncertainty relations based on the Rényi entropy and Tsallis entropy, which have been discussed in [29].

This paper is organized as follows.In section 2, we briefly recall some notions we are going to use in our analyses.In section 3, we discuss the quantum uncertainty relation of quantum coherence based on three MUBs for single qubit system.In section 4, we compare the upper bound and lower bounds, and discuss the tendency of the sum of coherence.In section 5, we summarize our results.

2.Preliminaries

In accordance with the criterion, several coherence measures have been put forward.Baumgratz et al showed that the REOC satisfies these four conditions[5].The REOC[5]is defined as

The Tsallis relative α entropy is a one-parameter generalization of the quantum relative entropy.It plays an important role in the quantum information theory.Rastegin[12] proposed a coherence measure in terms of the Tsallis relative α entropy.It has been proved that the above measure satisfies the conditions of (C1), (C2a), and (C3) for all α ?(0, 1)∪(1, 2] but it violates (C2b) in some situations.

In order to link Tsallis relative α entropy with the strong monotonicity,Zhao et al modified the coherence measure based on the above work, and proved that it satisfies strong monotonicity.In the paper, we mainly aim at the Tsallis relative α entropy of coherence (TEROC) in [13], which is defined as

Let us consider orthonormal bases X={|xi〉} and Y={|yj〉}in the d-dimensional Hilbert space H.They are said to be MUB if and only if for all i and j,

Several orthonormal bases form a set of MUBs when each pair in them are MUBs.MUBs have important application in quantum information processing.In general, the maximal number of MUBs in a d dimensions Hilbert space is an open problem.For a prime power d, we can certainly construct d+1 MUBs.

In the present paper, we will consider quantum uncertainty relations of Tsallis relative α entropy of coherence in a qubit system.In this case, one can construct three MUBs at most.The following three typical MUBs form a complete set of MUBs in a qubit system.

Measurements in these bases have important applications in cryptographic protocols[44].In fact,the above three bases are respectively eigenvectors of three complementary observables, which are usually represented by the Pauli matrices σx, σy, σz, namely

these matrices were introduced in describing spin-1/2 observables.Each of the matrices has the eigenvalues ±1.

3.Quantum uncertainty relations of quantum coherence

Given a qubit state ρ with spectral decomposition

Substituting the state ρ into equation (2), one obtains Tsallis relative α entropy of coherence in the fixed reference bases K=X, Y, Z as follows:

where

Based on the above preliminaries, we consider the lower and upper bounds of sum of coherence for three MUBs,X,Y,and Z.

Theorem 1.For anyand qubit state equation (8), with respect to the bases X, Y, and Z, the coherence sum satisfies

where Uminand Umaxare related to maximum eigenvalue ρ.

Proof.LetF(θ,φ) =rX+rY+rZ.Considering the partial derivation ofF(θ,φ) with respect to φ.

Using generalized binomial theorem, for anyl?R, one has

Theorem 2.For anyand qubit state equation (8),wherenis a positive integer.With respect to the bases X, Y,and Z, the coherence sum satisfies

where

where Umaxand Uminare as follows

Proof.After a simple calculation, one has

Theorem 4.Given a qubit state equation (8).With respect to the bases ofX,Y,Z, the coherence sum satisfies

where Uminand Umaxare related to maximum eigenvalue ρ.

According to Taylor epansion formula of logarithmic function

For any single qubit state, one can find a Bloch vector corresponding to it in the Bloch sphere [2, 45].We can explain the upper and lower bounds of sums of coherence using the Bloch sphere representation of qubit state.For orthogonal basis X(Y, Z), the set of incoherent states can be described by the set of Bloch vectors on the x axis (y axis,z axis).Tsallis relative α entropy of coherence can be described by the distance between the corresponding Bloch vector from the particular axis.The distance mentioned above between two Bloch vectors can be measured by the Tsallis relative α entropy of their corresponding quantum states.Therefore, Umaxand Umincan be explained as maximum and minimum values of the sum of the distance between the corresponding Bloch vector to the three triple axes.

4.The variation of the upper and lower bounds

In this section, we consider the variation of the upper and lower bounds we have obtained.In the case ofα=After a direct calculation, one obtains the following equation,

That is to say, for any single qubit state ρ, the sum of coherence measures is only related to the maximum eigenvalue of state ρ, and the lower bound is equal to the upper bound.

Figure 1.For he comparison between lower and upper bounds,(a),(b),(c)and(d)represent,respectively,the cases of λ=0.9, p=0.8, p=0.7 and p=0.6.

? We can find the differences between the upper and lower bounds increase with increase of the degree α.

? We can find the differences between the upper and lower bounds increase with increase of the maximum eigenvalue of the state ρ.

Figure 2.For where n is a positive integer, the comparison between lower and upper bounds, (a), (b), (c) and (d) represent,respectively, the cases of λ=0.9, λ=0.8, λ=0.7 and λ=0.6.

? We can find the differences between the upper and lower bounds increase with increase of the positive integer value n.

? We can find the differences between the upper and lower bounds increase with increase of the maximum eigenvalue of the state ρ.

In the following, we compare the tendency of U(ρ) with respect to θ or φ for the different degree α.In figure 3, we plot U(ρ) as functions of θ or φ for several values of α, onecan find the tendency of U(ρ) with respect to θ or φ are the same.The conclusions are opposite to uncertainty relations based on the Rényi entropy and Tsallis entropy.In fact,Alfredo Luis found that the minimum joint uncertainty states for some fluctuation measures are the maximum joint uncertainty states of other fluctuation measures, and vice versa [29].

Figure 3.For the different degrees α, plots of U(ρ) with respect to θ or φ.

5.Conclusion

In the paper, we researched the quantum uncertainty relations of quantum coherence based on three MUBs for the single qubit system.MUBs are eigenvector of Pauli matrices σx, σy, and σz.The coherence measure we studied is TREOC.The upper and lower bounds of sums of coherence were obtained for α ?[0, 1)∪(1, 2].By considering the variations of upper and lower bounds with respect to α, the upper bound is equal to the lower bound for the specialα=and the differences between the upper and lower bounds will increase as α increases.We discussed the tendency of the sum of coherence, and find it is different from the uncertainty relations based on the Rényi entropy and Tsallis entropy [29].

There are many further issues need to be solved.For other coherence measures, we can discuss the quantum uncertainty relations of coherence.And for high-dimensional quantum systems, the quantum uncertainty relation of coherence is also an interesting subject for the future work.

Acknowledgments

This paper is supported by Startup Foundation for Doctors of Nanchang Hangkong University (No.EA201907210).