arxiv: v2 [quant-ph] 20 Apr 2016

Transcription

1 Average distance of random pure states from the maximally entangled and coherent states Kaifeng Bu,, Uttam Singh,, Lin Zhang, 3, and Junde Wu, School of Mathematical Sciences, Zhejiang University, Hangzhou 3007, PR hina Harish-handra Research Institute, Allahabad, 09, India 3 Institute of Mathematics, Hangzhou Dianzi University, Hangzhou 3008, PR hina arxiv: v [quant-ph] 0 Apr 06 It is well known that random bipartite pure states are typically maximally entangled within an arbitrarily small error. Showing that the marginals of random bipartite pure states are typically extremely close to the maximally mixed state, is a way to prove the above. However, a more direct way to prove the above is to estimate the distance of random bipartite pure states from the set of maximally entangled states. Here, we find the average distance between a random bipartite pure state and the set of maximally entangled states as quantified by three different quantifiers of the distance and investigate the typical properties of the same. We then consider random pure states of a single quantum system and give an account of the typicality of the average l norm of coherence for these states scaled by the maximum value of the l norm of coherence. We also calculate the variance of the l norm of coherence of random pure states to elaborate more on the typical nature of the scaled average l norm of coherence. Moreover, We compute the distance of a random pure state from the set of maximally coherent states and obtain the average distance. I. ITRODUTIO The typicality of various quantities such as the quantum entanglement [ 3] and the diagonal entropy (the entropy of the diagonal part of a density matrix in a fixed basis [4] has been proved very fruitful. In particular, the existence of typicality helps in the reduction of computational complexity of these quantities which is extremely relevant for the systems having higher dimensional Hilbert spaces. Also, the typicality of quantum entanglement of random bipartite pure states sampled from the uniform Haar measure provides a satisfactory explanation to the equal a priori postulate of the statistical physics [5, 6]. Recently, in the context of metrology [7 0], it has been proved that random pure states sampled from the uniform Haar measure typically do not lead to the superclassical scaling of precision, however, random states from the symmetric subspace typically lead to the optimal Heisenberg scaling []. The key ingredient in the proof of all these results is the concentration of measure phenomenon, in particular Lévy s lemma []. The remarkable result that random bipartite pure states are typically maximally entangled within vanishingly small error has been obtained by proving that the reduced density matrices corresponding to random bipartite pure states are typically very close to the maximally mixed state. However, here we present a direct way to investigate this feature of random bipartite pure states by finding the distance of Haar distributed bipartite pure states from the set of maximally entangled states. This results in various finer details of the problem of the typicality of quantum entanglement. We also find a complementarity type relationship between this distance and the negativity a computable measure of entanglement of Haar distributed bipartite pure states and further delineate the typicality of negativity. bkf@zju.edn.cn uttamsingh@hri.res.in linyz@zju.edu.cn wjd@zju.edn.cn Recent advances in the fields of quantum thermodynamics [3 3] and quantum biology [4 9] suggest the crucial role of quantum superposition in various physical processes and have led to the development of various resource theories of quantum coherence [30 34]. This has ignited a great deal of interest towards proposing various measures of quantum coherence[3, 35 4], establishing its connection to the other characteristic traits of quantum physics such as entanglement [43] and providing operational meaning to the quantifiers of coherence [44, 45]. In the spirit of finding the typical coherence content of random quantum states, the average relative entropy of coherence of random pure and mixed quantum states sampled from various probability measures has been calculated and shown to be typical [46, 47]. The immense importance of these results has been shown explicitly in estimating analytically the typical entanglement content of a specific class of random bipartite mixed states, which is an extremely difficult task for higher dimensional quantum systems [47]. However, not much is known of the typicality of the l norm of coherence, which is one of the computable measures of quantum coherence [3], of the Haar-distributed pure quantum states. In this work, we calculate the expected value and the variance of l norm of coherence of Haar distributed pure sates of a single quantum system and show that the average l norm of coherence does not show the typicality, however, the average l norm of coherence scaled by its maximum value does show the typicality. In particular, we find that the ratio of the average l norm of coherence and its maximum value for most of the Haar distributed pure quantum states is concentrated around the fixed value π/4. Furthermore, similar to the entanglement case, we investigate the average distance between a random pure state and the set of the maximally coherent states with respect to three different distance measures. The paper is organized as follows. We start with giving an exposition of the quantum coherence and other preliminaries in Sec. II. In Sec. III we prove the concentration of negativity and calculate the average distance between random pure states and the set of maximally entangled states employing three different distance measures. We calculate the expected value and variance of the l norm of coherence for Haar distributed pure

2 quantum states in Sec. IV. In Sec. V we find the average value of the distance between Haar distributed pure quantum states and the set of maximally coherent states. Furthermore, we calculate the average value of the α-classical purity and show its typicality in Sec. VI. Finally, we conclude in Sec. VII with a discussion on the results presented in this work. II. PRELIMIARIES Here we present the relevant basic tools and concepts that are required for presenting our main results. Quantum coherence. In the pursuit of finding natural restricted class of operations (allowed operations for an operationally motivated resource theory of coherence, various resource theories of coherence have been developed very recently [30 34]. We consider here a measure of coherence, namely, the l norm of coherence introduced in the resource theory of coherence based on the incoherent operations [3]. For a d dimensional quantum system in a state ρ and a fixed reference basis { i }, the l norm of coherence l (ρ is defined as l (ρ := d i ρ j. ( i,j= We emphasize that the notion of coherence is intrinsically basis dependent and applicable to finite dimensional systems. Lévy s lemma (see [] and []. Let G : S k R be a Lipschitz continuous function from the k-sphere to the real line with a Lipschitz constant η (with respect to the Euclidean norm. Let a point z S k is chosen uniformly at random. Then for any ε > 0, (k + ε Pr { G(z EG > ε } exp ( 9π 3 η, ( ln where EG is the expected value of G. Measures of distance (see [48]. We consider three different distance measures, namely, the trace distance, the Hilbert- Schmidt distance and the Bures distance for our purposes. ( The trace distance between two quantum states ρ and σ is defined as [ ] ρ σ := Tr (ρ σ. (3 ( The Hilbert-Schmidt distance between two quantum states ρ and σ, induced by the Hilbert-Schmidt scalar product, is defined as ρ σ := Tr [(ρ σ ]. (4 (3 The Bures distance between two quantum states ρ and σ is defined as D B (ρ, σ = ( Tr [ (ρ / σρ / /]. (5 The Dirichlet integral. The Dirichlet distribution [49] of order with parameters α = (α, α,..., α, denoted by Dir( α, has a probability density function on the simplex = { (x,..., x p(x,..., x ; α = (α x αi i (6 x i =, x i 0 for i }. i Γ(αi The normalization constant (α = Γ( αi comes from the Dirichlet integral [50] on the simplex, which is given by III. x α x α dx dx = ( Γ(α i.(7 Γ α i DISTAE OF A RADOM PURE STATE FROM THE SET OF MAXIMALLY ETAGLED STATES onsider a bipartite quantum system H A H B (dimh A = dimh B = in a state ψ AB. The state admits the Schmidt decomposition as ψ AB = λi φ i A ϕ i B. If all λ i =, then such a state is called maximally entangled state. Denote by M E, the set of alimally entangled pure states. ow, we consider the distance between a pure state ψ AB = ψ AB ψ AB and the set M E of the maximally entanglement states. Using the distance measures, given in Eqs. (3, (4 and (5, we have D Tr (ψ AB, M E := inf ψ AB φ AB φ AB M E ( = λi. (8 D HS (ψ AB, M E := inf ψ AB φ AB φ AB M E = ( λi = D T r (ψ AB, M E. (9 D B (ψ AB, M E := inf D B (ψ AB, φ AB φ AB M E = ( λi. (0 The above distances show complementarity with a computable measure of entanglement, namely, the negativity [5].

3 3 For a bipartite state ρ AB, the negativity across the bipartition A : B is defined as ρ T B AB (ρ AB =, ( where T B denotes the partial transpose with respect to the subsystem B. For a pure state ψ AB = λi φ i A ϕ i B, the negativity is given by (ψ AB = ( λi. ( The maximum value of negativity, denoted by max, is equal. ow, we have (see also [5] to D Tr (ψ AB, M E + (ψ AB = max ; 8 (3 D HS (ψ AB, M E + (ψ AB = max. 4 (4 The meaning of the complementary relations (Eqs. (3 and (4 is easy to grasp: the larger the negativity of a state ψ AB, the closer it is to the maximally entangled state and vice versa. ext we discuss the concentration of measure phenomenon for the negativity of random bipartite pure quantum states. A. oncentration of the negativity around its average value The average value of negativity E ψab = (ψab dψ AB over Haar distributed pure quantum states has been calculated in Ref. [53] and it is demonstrated numerically that in the limit it is a constant multiple of the maximal negativity, i.e., E ψab max. (5 Moreover, in Ref. [53], the numerical evidence of concentration of (scaled negativity around its average value is provided. Here we give an analytical proof of the concentration of (scaled negativity based on the concentration of measure phenomenon []. But before we proceed further, we find the Lipschitz constant for the negativity in the following. Proposition. Let ψ AB H A H B with dimh A = = dimh B. Then, the Lipschitz constant for the function : ψ AB (ψ AB is less than /, i.e., for two states ψ AB H A H B and φ AB H A H B (ψ AB (φ AB ψ AB φ AB. (6 Proof. Suppose the Schmidt coefficients of ψ AB = ψ AB ψ AB and φ AB = φ AB φ AB are { λ i } and { µ i }, respectively. Based on the definition of negativity, we have (ψ AB (φ AB = [Tr ρ A ] [Tr σ A ] = [Tr ρ A ] [Tr Uσ A U ], where ρ A and σ A are the reduced states of ψ AB and φ AB, respectively, and U is a unitary operator. ote that F (ρ, I/ = Tr( ρ, where F (ρ, σ := Tr( ρσ ρ is the fidelity between states ρ and σ. This implies that (ψ AB (φ AB = F (ρa, I/ F (Uσ A U, I/ F (ρ A, Uσ A U, (7 where the last inequality follows from the fact that [54, 55] F (ρ, τ F (σ, τ F (ρ, σ, for any states ρ, σ and τ. From Lemma of Ref. [56] and Uhlmann s theorem [57, 58], we have max U F (ρ A, Uσ A U = ψ AB φ AB λ i µ i, λ i µ i, where λ i and µ i denote that { λ i } and { µ i } are listed in the decreasing order. Thus, there exists a unitary operator U such that F (ρ A, Uσ A U ψ AB φ AB. Therefore, using Eq. (7 and the fact that ψ AB φ AB = ψab φ AB, we have (ψ AB (φ AB ψ AB φ AB. (8 This completes the proof of the proposition. ow, applying Lévy s lemma (see Eq. ( to the function s : ψ AB (ψ AB / max := s (ψ AB and using the above proposition, we have Pr { s (ψ AB E ψab s > ε } exp ( 6( ε 9π 3. (9 ln The above equation is a statement of concentration of (scaled negativity around its average value. Together with Eq. (5 we have that for large values of, most of the random bipartite pure states have (scaled negativity equal to within an arbitrarily small error. ext, we compute the average values of distances given by Eqs. (8, (9 and (0.

4 4 B. Typicality of the average values of D Tr(ψ AB, M E, D HS(ψ AB, M E and D B(ψ AB, M E The average values of the distances E ψab D Tr (ψ AB, M E and E ψab D HS (ψ AB, M E can be obtained by integrating the complementarity relations (3 and (4, respectively. ow using Eq. (5, we have E ψab D Tr(ψ AB, M E.85, E ψab D HS(ψ AB, M E To establish typicality of E ψab D Tr (ψ AB, M E and E ψab D HS (ψ AB, M E, we need Lipschitz constants for the functions G : ψ AB D Tr (ψ AB, M E := G (ψ AB and G : ψ AB D HS (ψ AB, M E := G (ψ AB, respectively. Let us consider two bipartite pure states ψ AB and φ AB. ote that G (ψ AB G (φ AB = 8 (ψ AB (φ AB ψ AB φ AB. (0 Here in first line, we have used the complementarity relation given by Eq. (3 and in the second line we have used Proposition. Similarly, G (ψ AB G (φ AB = 4 (ψ AB (φ AB ψ AB φ AB. ( Having found the Lipschitz constants for the functions G (ψ AB and G (ψ AB, we apply Lévy s lemma to the functions G (ψ AB and G (ψ AB. This establishes that DTr (ψ AB, M E and DHS (ψ AB, M E concentrate around their respective average values as. As it is a proven fact that Haar distributed bipartite states are maximally entangled states [], it is a bit surprising that in most of the states maintain a finite nonzero distance from the set of maximally entangled states in contrast to our expectations that most states should have this distance very close to zero. However, the point that in most of the states maintain a finite nonzero distance from the set of maximally entangled state makes sense in the view that for most of the random bipartite pure states (scaled negativity doesn t tend to one. This may mean that the distances cons idered i n this work explains the entanglement features as seen by the negativity. ow, we compute the expected value of DB (ψ AB, M E. The joint distribution of Schmidt coefficients Λ = (λ,..., λ for a bipartite system with subsystems being of equal dimensions is given by [59] P (ΛdΛ = δ( λ i (λ i λ j dλ k, i<j k= where is the normalization constant, δ is the Dirac delta function and dλ = [ k= dλ k. Since DB (ψ AB, M E = ( ] λi, we only need to calculate λi P (ΛdΛ. ( We introduce new variables q i = tλ i such that [53, 60, 6] Q(qdq i<j (q i q j e qm dq m m= = e t t P (ΛdΛdt, (3 where q i [0, and t = q i. Integrating both sides of Eq. (3, we obtain that the normalization constant is equal to Q/Γ(, where Q Q(qdq =! m= Γ(m [53, 6]. Thus, qi Q(qdq = Q Γ( + / Γ( λi P (ΛdΛ. (4 The product i<j (q i q j is the square of the Van der Monde determinant [53, 60, 6] q q (q i q j =. i<j.... q q Γ(L 0 (q Γ(L 0 (q Γ(L (q Γ(L (q = c..... (5. Γ(L (q Γ(L (q The second determinant in Eq. (5 is due to the fact that the determinant does not change when we add a multiple of one row to another. The factor c = ± depends on. The polynomials L k (x are Laguerre polynomials [50], defined as L k (x := ex d k k! dx k (e x x k, for k 0. (6 The Laguerre polynomials satisfy 0 dxe x L i (xl j (x = δ ij. (7 ow, we are ready to compute the following integral: qi Q(qdq qi = = i<j σ,τ S ( sgn(σ+sgn(τ (q i q j dq m m= Γ(σ(iΓ(τ(i dq i qi e qi L σ(i (q i L τ(i (q i m i = Γ(σ(mΓ(τ(m σ S m= = (! dq m e qm L σ(m (q m L τ(m (q m Γ(σ(m dq i qi e qi L σ(i (q i L σ(i (q i ( Γ(m m= k= I (/,

5 5 where S is the permutation group on {,..., } and I (α ij is defined as [53, 6] Thus, It implies that I (α ij = 0 qi Q(qdq =! λi P (ΛdΛ = e x x α L i (xl j (xdx. (8 = Q where I (/ is given by [53] I (/ = ( k k! Γ(m ( I (/ m= ( k= I (/ k= ( Γ( Γ( I (/, (9 + / k= k n=0 ( k n [Γ(n + 3/] n!γ(n k + 3/. (30 Thus, the average value of DB (ψ AB, M E over Haardistributed pure states is given by [ ( Γ( ] Γ( I (/. (3 + / k= onsider the map G : ψ AB D B (ψ AB, M E := G(ψ AB. Then, similar to the reasoning as in the proof of Proposition, we have D B (ψ AB, M E D B(φ AB, M E = F (ρ A, I/ F (Uσ A U, I/ F (ρ A, Uσ A U ψ AB φ AB. (3 Thus, the Lipschitz constant for the function G : ψ AB DB (ψ AB, M E can be taken to be. ow, using Lévy s lemma we establish that DB (ψ AB, M E concentrates around its expected value as. Again the average distance E ψab DB (ψ AB, M E is finite and nonzero in contrast to our expectations (see Figure. Furthermore, we ask how close the reduced state ρ A of ψ AB to the maximally mixed state. Let H be a complex Hilbert space, then for any two positive semidefinite operators ρ and σ in H [6], we have ρ σ ρ σ. (33 ow, taking ρ = ρ A where ρ A is the reduced state of ψ AB and σ = I, we obtain ρ A I DB(ψ AB, M E.. Average Bures distance κ FIG.. The plot of the average Bures distance of random bipartite pure states from the set of maximally entangled states as a function of κ such that = κ. It shows that as we increase, the Bures distance approaches to a fixed value which is close to (see Eq. 3. Thus, E ψab ρ A I E ψab DB(ψ AB, M E. The average value of DB (ψ AB, M E over Haar-distributed pure states approaches to a fixed value which is close to. Thus, we see that the average value of ρa I will not tend to zero in limit. IV. TYPIALITY OF THE AVERAGE l ORM OF OHEREE OF RADOM PURE STATES For a random pure state ψ = ( λ e iθ,..., λ e iθ T, the joint distribution of { λ i } will be the uniform {( distribution on a simplex := λ,..., λ } λ i =, λ i 0 for i and is given by [46] ( p c (ΛdΛ = Γ(δ λ i dλ i. (34 where dλ = k= dλ k. This distribution is a special Dirichlet distribution [49]. Moreover, moments of such uniform Dirichlet-distributed random variables can be written as [49] [ ] Γ( E λ αi i = Γ( + α i Γ( + α i. (35 This will be crucial for our calculations. The l norm of coherence for the pure state ψ = ( λ e iθ,..., λ e iθ T is given by l (ψ = ( λi λ j = λi. (36 Here and in the rest parts of the paper we have ψ = ψ ψ. The average value of the l norm of coherence over all pure

6 6 states, denoted by E ψ l (ψ, is defined as E ψ l (ψ := d(ψl (ψ, which can be easily calculated as E ψ l (ψ = d(ψ l (ψ = Γ( λi λj δ( λ i dλ i ( π =, 4 where we have made use of the Dirichlet s integral (cf. [5]. In the dimensional case, the maximum value of the l norm of coherence is given by. Therefore, E ψ l (ψ = π , (37 4 which holds for any dimension. However, the expected value of the relative entropy of coherence over all pure states has been shown to be [46] E ψ r (ψ = /k. (38 k= When is very large, k= /k ln( + γ, where γ is Euler s constant [50]. Besides the maximal relative entropy of coherence of an dimensional quantum system is r max = ln(. Thus, E ψ r (ψ max r as, (39 which is very different from the case of l norm of coherence. In Ref.[46], the authors have shown the concentration of measure phenomenon for relative entropy coherence based on the Levy s Lemma. In the following, we show that l norm of coherence does not show the concentration phenomenon. Theorem (o concentration for the l norm of coherence. Let ψ be a random pure state in dimensional Hilbert space, then the probability that l (ψ is not close to π 4 ( is nonzero even for very large, i.e., for any ε > 0 { l Pr (ψ π } 4 ( > ε exp ( 4ε 9π 3. ln (40 Proof. We use Lévy s lemma (Eq. ( to prove the theorem. For this, we need to find the Lipschitz constant for the l norm of coherence, i.e., l : ψ l (ψ, where ψ H. Let ψ = ψ i i and φ = φ i i. ow, similar to Proposition, it can be shown that l (ψ l (φ ψ φ. (4 Thus, the Lipschitz constant η for the l norm of coherence, i.e., l : ψ l (ψ, where ψ H, is less than. Take ψ = and φ = i, then l (ψ l (φ = and ψ φ =. Then η, when is large. Thus, η can be taken to be, as is very large. Having obtained the Lipschitz constant and the average value of the l norm of coherence, we are ready to use Lévy s lemma (Eq. (, which for any ε > 0 reads as { l Pr (ψ π } 4 ( > ε exp ( 4ε 9π 3. ln This completes the proof of the theorem. Theorem tells that the probability that the l norm of coherence does not concentrate around ( π/4 is nonvanishing in the limit. Thus, based on Levy s Lemma, we proved that the l norm of coherence does not show the concentration phenomenon. However, in the following we show that the scaled l norm of coherence l (ψ concentrates around π/4 for very large values of. This is consequence of the following corollary to the above theorem. orollary 3. Let ψ be a random pure state in an dimensional Hilbert space, then the probability that l (ψ is not close to π 4 is bounded from above by an exponentially small number when is large, i.e., for any ε > 0 { } l (ψ Pr π 4 > ε exp ( 4( ε 9π 3. ln (4 Proof. From Theorem, the Lipschitz constant for the function l (ψ is given by ( as for any two pure states ψ and φ, we have l (ψ (φ l ψ φ. (43 ( ow, applying Lévy s lemma to the function l (ψ, the proof follows. orollary 3 shows that the probability that l (ψ is not close to π 4 is close to zero for sufficiently large. Therefore, l (ψ max l shows concentration phenomenon, although l (ψ does not show the same. This point can also be seen from the calculation of the variance D ψ l (ψ of the l norm of coherence of Haar distributed pure states, where D ψ l (ψ = E ψ l (ψ (E ψ l (ψ. (44 ( 4 Based on the following formula [53], λi = + ( i,j,k= i,j= λi λ j + λ i λ j + 4 λ i λj λ k + k

7 7 i,j,k,l= k l λi λ j λ k λ l, we have [ l (ψ = ( λi = λ i λ j + 4 i,j= i,j,k= k ] Thus, E ψ l (ψ = d(ψl (ψ λ i λj λ k + i,j,k,l= k l λi λ j λ k λ l. will concentrate around its average value as increases to infinity. In fact, let Y be a random variable with expected value EY and variance DY, then the hebyshev s inequality [63], implies Pr ( l (ψ max l Pr( Y EY > ε DY ε E ψ l (ψ max l > ε D ψ l (ψ max l ε. (45 The right hand side will tend to zero as increases to infinity. This is in agreement with orollary 3. = Γ( [ = = + i,j,k,l= k l + λ i λ j + 4 i,j= i,j,k= k λi λ j λ k λ l ] δ( Γ( Γ( k l k Γ( Γ( + (Γ(3 4 ( ( ( 3 π + 6( + + Also, we have ( +. (E ψ l (ψ = Using above equations, we have λ i λj λ k λ i dλ i Γ( Γ( + Γ(3 ( ( π + ( π. 6 D ψ l (ψ = E ψ l (ψ (E ψ l (ψ = 6( + [ (6 5π + (7π 3π + 3 ]. The variance of the l norm of coherence D ψ l (ψ O( and therefore will tend to infinity as increases to infinity. The variance of l (ψ is given by l (ψ D ψ = ( D ψ l (ψ = 6( [ (6 5π + (7π 3π + 3 ]. For, D l (ψ ψ goes to zero. As the variance measures the spread of a set of data around the average (mean value, the l norm of coherence will not concentrate around its average value while the scaled l norm of coherence l (ψ V. DISTAE OF A RADOM PURE STATE FROM THE SET OF MAXIMALLY OHERET STATES AD ITS TYPIALITY Given a state ψ = λi e iθi i, we ask how far this state is from the set M of maximally coherent states. The maximally coherent states are given by φ = j= j in the resource theory of coherence [3, eiθj 4]. We first consider the trace distance and the Hilbert- Schmidt distance and then the Bures distance as the distance measures. A. The trace distance and the Hilbert-Schmidt distance From Eqs. (3 and (4, we have Tr (ψ, M := inf ψ φ φ M ( = λi ; HS (ψ, M := inf ψ φ φ M = ( λi. Since HS (ψ, M is equivalent to Tr (ψ, M up to a factor, we only need to consider Tr (ψ, M here. From l (ψ = ( Thus, we have λi, we have Tr (ψ, M = ( l (ψ + = l (ψ. (46 Tr (ψ, M + l (ψ = 4. (47 Similarly for Hilbert-Schmidt norm we have HS (ψ, M + l (ψ =. (48

8 8 ow, integrating both sides of Eq. (47, we get d(ψ 4 Tr(ψ, M + d(ψ l (ψ =. Defining RMS Tr = d(ψ Tr (ψ, M, we have RMS Tr = (4 π, which for approaches to 4 π In the following, we show the concentration of the distance Tr (ψ, M around its average value. Proposition 4. Let ψ be a random pure state in H with dimh =. Then, the probability that Tr (ψ, M is not close to (4 π is bounded from above by an exponentially small number when is large, i.e., for any ε > 0 P Tr exp ( ε 36π 3, (49 ln where P Tr = Pr { Tr (ψ, M (4 π > ε }. Proof. onsider the functional G : ψ G(ψ = Tr (ψ, M. Then, Tr(ψ, M Tr(φ, M = 4 l (ψ l (φ ψ φ, where in the last line, we have used Eq. (4. Then, Lipschitz constant for Tr (ψ, M is η. ow, from Lévy s lemma, the proof of the proposition follows. B. Bures distance The Bures distance between a random pure state ψ = λi e iθi i and the set M of maximally coherent states is given by B (ψ, M : = inf D B(ψ, φ φ M = ( λi. (50 Let us calculate E ψ B (ψ, M = d(ψ B (ψ, M. d(ψ B(ψ, M = Γ(( λi δ( λ i dλ i = λi Γ( δ( λ i dλ i = Γ( Γ( 3 Γ( + = ( B,, where the beta function B(x, y is defined as B(x, y := 0 tx ( t y dt for Re x > 0 and Re y > 0 [50]. Moreover, B(x, y can be written as B(x, y = Γ(xΓ(y Γ(x+y [50]. In the limit, Γ( π / e [50]. Then B(, π, which implies E ψ B (ψ, M π 0.75 as. Moreover, similar to Proposition 4, we have the following proposition. Proposition 5. Let ψ be random pure state in H with dimh =. Then, the probability that B (ψ, M is not close to B(, is bounded from above by an exponentially small number when is large, i.e., for any ε > 0 P B exp ( ε 9π 3, (5 ln { where P B = Pr B (ψ, M ( } B(, > ε. Proof. onsider the map G : ψ B (ψ, M. Then, similar to the DB (ψ AB, M E case, B(ψ, M B(φ, M ψ φ. Thus, the Lipschitz constant for the function G : ψ B (ψ, M can be taken to be. ow, applying Lévy s Lemma to the function G : ψ B (ψ, M, the proof of the proposition follows. While it is natural to consider the distance between a random pure state ψ and the set M of maximally coherent states, the distance between the diagonal part of a random pure state and the maximally mixed state can also be viewed as a quantifier to measure how far ψ is away from the maximally coherent state. Here, the diagonal part of a random pure state ψ = λi e iθi i is denoted by ψ (d = diag { λ, λ,..., λ }. In Ref. [46], an explicit formula for the average trace distance between the diagonal part ψ (d of a random pure state ψ and the maximally mixed state I is obtained, and is given by E ψ ψ (d I ( =. (5 In limit, E ψ ψ (d I e. We wonder if there is any connection between the quantity ψ (d I and the three distances that we have defined in the preceding paragraphs. Similar to the entanglement case, we find that B (ψ, M is a lower bound of ψ (d I. Using Eq. (33 with ρ = ψ (d and σ = I, we obtain ψ(d I B(ψ, M. Thus, E ψ ψ (d I E ψ B(ψ, M. As we have elaborated, the average distances between a random pure state and the set of the maximally coherent

9 9 states, namely, RMS Tr (similarly RMS HS and RMS B and E ψ ψ (d I do not tend to zero in the limit. This is consistent with the fact that E ψ l (ψ = π 4 for any dimension. VI. AVERAGE α-lassial PURITY AD ITS TYPIALITY The classical purity P cl (ρ with respect to a fixed measurement basis { i } i of a state ρ is defined as P cl (ρ := Tr[(ρ (d ], where ρ (d = i i ρ i i i is the diagonal part of ρ in the basis { i } i. The classical purity has been shown to be related to the l norm of coherence [64]. Moreover, in catalytic coherence transformations as in Ref. [65] the functions of the form Pcl α(ρ := Tr[(ρ(d α ] appear naturally. We call Pcl α (ρ α-classical purity of ρ and it can be seen as a generalization of the classical purity. Here we calculate the expected value of the α-classical purity of pure states for α (0, (, +. Let ψ (d = {λ,... λ } denotes the diagonal part of the pure state ψ in a fixed basis, then the expected α-classical purity is given by E ψ Tr[(ψ (d α ] = p c (Λλ α i dλ = Γ(α + Γ( +. (53 Γ(α + Here p c (ΛdΛ is given by Eq. (34. For α >, E ψ Tr[(ψ (d α ] tends to zero as increases to infinity. Moreover, amazingly, we will show that Tr[(ψ (d α ] will concentrate to 0 for α > as. First, the variance of Tr[(ψ (d α ] can be expressed as ( D ψ Tr[(ψ (d α ] = E ψ (Tr[(ψ (d α ] E ψ Tr[(ψ (d ] α, It is easy to see that for α >, D ψ Tr[(ψ (d α ] 0, as. Thus, by the hebyshev inequality [63], Tr[(ψ (d α ] concentrates to 0 as. However, for 0 < α < D ψ Tr[(ψ (d α ] as. Thus, as the variance measures the spread of a set of data around the average (mean value, it seems that there is no concentration phenomenon for α-classical purity in α (0,. VII. OLUSIO In this work, we have investigated the average distance of Haar distributed pure quantum states from the set of maximally entangled and coherent states in order to delineate the typical properties of the average entanglement and average l norm of coherence. The average distance of Haar distributed bipartite pure quantum states from the set of maximally entangled states is typically nonzero in the limit of larger Hilbert space dimensions which is unexpected. We further demonstrate the typicality of l norm of coherence scaled by the maximum value of the l norm of coherence by finding E ψ l (ψ/ = π 4 and utilizing Lévy s lemma. This is in contrast to the case of relative entropy of coherence for which E ψ r (ψ/r max as, where r (ψ = Tr ( ψ (d ln ψ (d with ψ (d being the diagonal part of ψ i n the gi ven reference basis. Here we have obtained the average l norm of coherence of random pure states, however, the average l norm of coherence for random mixed states is still unknown and it will be interesting to obtain it. Also, for pure states, we have following relationship l (ψ max { r (ψ, r(ψ } [66] between the l norm of coherence and the relative entropy of coherence, but we don t know whether this relationship holds in the case of mixed states too. It will be insightful to pursue this problem in future. and E ψ (Tr[(ψ (d α ] = p c (Λλ α i dλ + i p c (Λλ α i λ α j dλ AKOWLEDGMETS Thus = Γ( + Γ( + α [Γ(α + + ( Γ(α + ]. D ψ Tr[(ψ (d α ] = Γ( + Γ( + α [Γ(α + + ( Γ(α + ] Γ(α + Γ( + Γ(α + U.S. acknowledges a research fellowship of Department of Atomic Energy, Government of India. L.Z. acknowledges the ational atural Science Foundation of hina (o.304 for support. J.W. is supported by the atural Science Foundations of hina (Grants o.730 and o and the Doctoral Programs Foundation of the Ministry of Education of hina (Grant o. J [] P. Hayden, D. Leung, P. W. Shor, and A. Winter, ommun. Math. Phys. 50, 37 (004. [] P. Hayden, D. W. Leung, and A. Winter, ommun. Math. Phys. 65, 95 (006.

10 0 [3] B. ollins and I. echita, J. Math. Phys. 57, 055 (06. [4] O. Giraud and I. García-Mata, arxiv: [5] S. Popescu, A. J. Short, and A. Winter, at. Phys., 754 (006. [6] S. Goldstein, J. L. Lebowitz, R. Tumulka, and. Zanghì, Phys. Rev. Lett. 96, (006. [7] V. Giovannetti, S. Lloyd, and L. Maccone, Science 306, 330 (004. [8] V. Giovannetti, S. Lloyd, and L. Maccone, Phys. Rev. Lett. 96, 0040 (006. [9] V. Giovannetti, S. Lloyd, and L. Maccone, at. Photon. 5, (0. [0] G. Tóth and I. Apellaniz, J. Phys. A: Math. Theor. 47, (04. [] M. Oszmaniec, R. Augusiak,. Gogolin, J. Kołodyński, A. Acín, and M. Lewenstein, arxiv: [] M. Ledoux, The oncentration of Measure Phenomenon (American Mathematical Society, 005. [3]. A. Rodríguez-Rosario, T. Frauenheim, and A. Aspuru- Guzik, arxiv: [4] M. Horodecki and J. Oppenheim, at. ommun. 4, 059 (03. [5] P. Skrzypczyk, A. J. Short, and S. Popescu, at. ommun. 5, 485 (04. [6] V. arasimhachar and G. Gour, at. ommun. 6, 7689 (05. [7] F. Brandão, M. Horodecki,. g, J. Oppenheim, and S. Wehner, Proc. atl. Acad. Sci. U.S.A., 375 (05. [8] M. Lostaglio, D. Jennings, and T. Rudolph, at. ommun. 6, 6383 (05. [9] M. Lostaglio, K. Korzekwa, D. Jennings, and T. Rudolph, Phys. Rev. X 5, 000 (05. [0] P. Ćwikliński, M. Studziński, M. Horodecki, and J. Oppenheim, Phys. Rev. Lett. 5, 0403 (05. [] B. Gardas and S. Deffner, Phys. Rev. E 9, 046 (05. [] A. Misra, U. Singh, M.. Bera, and A. K. Rajagopal, Phys. Rev. E 9, 046 (05. [3] J. Goold, M. Huber, A. Riera, L. del Rio, and P. Skrzypczyk, arxiv: [4] M. B. Plenio and S. F. Huelga, ew J. Phys. 0, 309 (008. [5] F. Levi and F. Mintert, ew J. Phys. 6, (04. [6] P. Rebentrost, M. Mohseni, and A. Aspuru-Guzik, J. Phys. hem. B 3, 994 (009. [7] S. Lloyd, J. Phys.: onf. Ser. 30, 0037 (0. [8].-M. Li,. Lambert, Y.-. hen, G.-Y. hen, and F. ori, Sci. Rep., 885 (0. [9] S. Huelga and M. Plenio, ontemp. Phys. 54, 8 (03. [30] G. Gour and R. W. Speens, ew J. Phys. 0, (008. [3] I. Marvian and R. W. Speens, Phys. Rev. A 90, 060 (04. [3] T. Baumgratz, M. ramer, and M. B. Plenio, Phys. Rev. Lett. 3, 4040 (04. [33] A. Streltsov, arxiv: [34] E. hitambar and G. Gour, arxiv: [35]. apoli, T. R. Bromley, M. ianciaruso, M. Piani,. Johnston, and G. Adesso, arxiv: [36] M. Piani, M. ianciaruso, T. R. Bromley,. apoli,. Johnston, and G. Adesso, arxiv: [37]. Killoran, F. E. S. Steinhoff, and M. B. Plenio, Phys. Rev. Lett. 6, (06. [38] D. Girolami, Phys. Rev. Lett. 3, 7040 (04. [39] E. hitambar, A. Streltsov, S. Rana, M.. Bera, G. Adesso, and M. Lewenstein, Phys. Rev. Lett. 6, (06. [40] A. Streltsov, S. Rana, M. ath Bera, and M. Lewenstein, arxiv: [4] E. hitambar and M.-H. Hsieh, arxiv: [4] Y. Peng, Y. Jiang, and H. Fan, Phys. Rev. A 93, 0336 (06. [43] A. Streltsov, U. Singh, H. S. Dhar, M.. Bera, and G. Adesso, Phys. Rev. Lett. 5, (05. [44] A. Winter and D. Yang, arxiv: [45] U. Singh, M.. Bera, A. Misra, and A. K. Pati, arxiv: [46] U. Singh, L. Zhang, and A. K. Pati, Phys. Rev. A 93, 035 (06. [47] L. Zhang, U. Singh, and A. K. Pati, arxiv: [48] M. M. Wilde, Quantum Information Theory (ambridge University Press, 03. [49] B. A. Frigyik, A. Kapila, and M. R. Gupta, Department of Electrical Engineering, University of Washignton, UWEETR (00. [50] G. E. Andrews, R. Askey, and R. Roy, Special Functions (ambridge University Press, 999. [5] G. Vidal and R. F. Werner, Phys. Rev. A 65, 0334 (00. [5] Z. Puchała, Ł. Pawela, and K. Życzkowski, arxiv: [53] A. Datta, Phys. Rev. A 8, 053 (00. [54] A. E. Rastegin, J. Opt. B: Quantum Semiclass. Opt. 5, S647 (003. [55] L. Zhang, L. hen, and K. Bu, Quantum Inf. Process. 4, 475 (05. [56] G. Vidal, D. Jonathan, and M. A. ielsen, Phys. Rev. A 6, 0304 (000. [57] A. Uhlmann, Rep. Math. Phys. 9, 73 (976. [58] R. Jozsa and B. Schumacher, J. Mod. Opt. 4, 343 (994. [59] S. Lloyd and H. Pagels, Annals of Physics 88, 86 (988. [60] S. Sen, Phys. Rev. Lett. 77, (996. [6] A. J. Scott and. M. aves, J. Phys. A: Math. Gen. 36, 9553 (003. [6] J. Watrous, Theory of quantum information (Unpublished, 0. [63] O. Kallenberg, Foundations of modern probability (Springer Science & Business Media, 006. [64] S. heng and M. J. W. Hall, Phys. Rev. A 9, 040 (05. [65] K. Bu, U. Singh, and J. Wu, Phys. Rev. A 93, 0436 (06. [66] S. Rana, P. Parashar, and M. Lewenstein, Phys. Rev. A 93, 00 (06.