arxiv: v2 [math-ph] 22 Nov 2013

Transcription

1 Geometry behind Robertson type uncertainty principles arxiv:3.5069v [math-ph] Nov 03 Attila Lovas, Attila Andai Department for Mathematical Analysis, Budapest University of Technology and Economics, H-5 Budapest XI. Sztoczek u., Hungary November 0, 03 Abstract A nontrivial lower bound for the determinant of the covariance matrix of quantum mechanical observables has previously been presented by Gibilisco and Andai. In that inequality the Riemannian metric occurred just in the lower bound. We endow the state space with special Riemannian metrics, such that both sides of the uncertainty relation can be derived only from the metric and we prove an uncertainty relation for these metrics. From our result the relation between the quantum covariance, the metric dependent symmetric and antisymmetric covariances follows easily furthermore we give a better lower bound for the determinant of the covariance matrix. Introduction The states of an n-level system are identified with the set of n n self adjoint positive semidefinite matrices with trace, and the physical observables are identified with n n self adjoint matrices. The concept of uncertainty was introduced by Heisenberg in 97 [7], who demonstrated the impossibility of simultaneous measurement of position q and momentum p. He considered Gaussian distributions fq, and defined uncertainty of f as its width D f. If the width of the Fourier transform of f is denoted by D Ff then the first formalization of the uncertainty principle can be written as D f D Ff = constant. In 97 Kennard generalized Heisenberg s result [0], he proved the inequality Var D AVar D B 4 for observables A,B which satisfy the relation [A,B] = i, for every state D, where Var D A = TrDA TrDA. In 99Robertson[8] extended Kennard sresult forarbitrarytwoobservables A,B Var D AVar D B 4 TrD[A,B]. keywords: uncertainty principle, quantum Fisher information; MSC: 6B0, 94A7 lovas@math.bme.hu andaia@math.bme.hu

2 In 930 Scrödinger [0] improved this relation including the correlation between observables A, B Var D AVar D B Cov D A,B 4 TrD[A,B], where for a given state D the symmetrized covariance of the observables A and B is defined as Cov D A,B = TrDAB + TrDBA TrDATrDB. The Schrödinger uncertainty principle can be formulated as [ CovD A,A Cov det D A,B det i ] TrD[A,A] TrD[A,B]. Cov D B,A Cov D B,B TrD[B,A] TrD[A,A] For the set of observables A i,...,n this inequality was generalized by Robertson in 934 [9] as [ det [Cov D A h,a j ] h,j=,...,n det i ] TrD[A h,a j ]. h,j=,...,n Gibilisco and Isola in 006 conjectured that [f0 ] det [Cov D A h,a j ] h,j=,...,n det i[d,a h],i[d,a j ] D,f h,j=,...,n, holds [5], where the scalar product, D,f is induced by an operator monotone function f, according to Petz classification theorem [7]. We note that if the density matrix is not strictly positive, then the scalar product, D,f is not defined. The inequality was studied first only in the case N = for special functions f. The cases fx = f SLD x = +x and fx = f WY x = 4 x + were proved by Luo in [] and [3]. The general case of the Conjecture was been proven by Hansen in [6] and shortly after by Gibilisco et al. with a different technique in [3]. In the case N = the inequality was proved for f = f WY by Luo, Q. Zhang and Z. Zhang [6] [4] [5]. The case of Wigner Yanase Dyson metric, where f β x = β βx β [,]\{0,} x β x β was proved independently by Kosaki [] and by Yanagi, Furuichi and Kuriyama []. The general case is due to Gibilisco, Imparato and Isola [5] [3]. For arbitrary N the conjecture was proved by Andai [] and Gibilisco, Imparato and Isola [4]. In inequality the Riemannian metric occurs on right hand side of the equation only, while the left hand side is just the quantum covariance. In this paper we endow the state space with special Riemannian metrics, such that both sides of the inequality can be derived alone from the metric and we prove an uncertainty relation for these metrics. From our result the relation between the quantum covariance, the metric dependent symmetric and antisymmetric covariances follows easily. Riemannian metrics on the state space Let us denote by M n the set of n n self adjoint positive definite matrices and by M n the interior of the n-level quantum mechanical state space i.e. the set of n n self adjoint positive definite trace one matrices. Let M n,sa be the set of observables of the n-level quantum system, namely the set of n n self adjoint matrices, and let M n,sa 0 be the set observables with zero trace. Spaces M n and M n are form convex sets in the space of self adjoint matrices, and they are obviously differentiable manifolds [8]. The tangent space of M n at a given state D can be identified with M n,sa and the tangent space of M n with M0 n,sa.

3 Let K m m N be family of Riemannian metrics on M n. This family of metrics is said to be monotone if K m TD TX,TX Kn D X,X holdsforeverycompletelypositive, tracepreservinglinearmapt : M n C M m C suchamapping is called a stochastic mapping, for every D M n and for all X M n,sa 0 and m,n N. Let us denote by F op the set of operator monotone functions f : R + R with the property fx = xfx for every positive argument x and with the normalization condition f =. Theorem. Petz classification theorem [7]. There exists a bijective correspondence between the monotone family of metrics K n n N and functions f F op. The metric is given by K n D X,Y = Tr X R n,d fl n,d R n,d R n,d Y for all n N where L n,d X = DX, R n,d X = XD for all D,X M n C. Equation may be considered as a scalar product, D,f. For operator monotone functions f F op we also introduce the notation x m f : R + R + R + x,y yf. y The metric defined in Theorem can be extended to the space M n. For every D M n and matrices A,B M n,sa let us define A,B D,f = Tr X R n,d fl n,d R n,d R Y n,d, with this notion the pair M n,,,f will be a Riemannian manifold for every operator monotone function f F op. Using these symbols we have the following Theorem, the proof of which will be given after Theorem 3. Theorem. For every D M n, A,B M n,sa and f F op we have A,B D,f = k,l= A lk B kl m f λ k,λ l. After this Theorem, one can see, that,,f is a Riemannian metric, since the function m f is symmetric and smooth. This observation led us to the following definition. Definition. Introduce the notation { } C M = g : R + R + R + g is asymmetric smooth function, with analytical extension defined on a neighborhood of R + R + implicating the correspondence with Cencov-Morozova functions. Fix a function g C M. Define for every D M n and for every A,B M n,sa A,B D,g = Tr AgL n,d,r n,d B. 3

4 Theorem 3. For every D M n, A,B M n,sa and g C M we have A,B D,g = A lk B kl gλ k,λ l. k,l= For every g C M the function,,g is a Riemannian metric on M n. Proof. Note, that the operators L n,d and R n,d are self adjoint and positive definite with respect to the Hermitian form X,Y TrX Y. For an analytical function f the operators fl n,d and fr n,d are well defined, and by the Riesz-Dunford operator calculus we have fl n,d = πi fξξid Mn,sa L n,d dξ, where we integrate once around the spectrum D. The operators L n,d and R n,d commute, therefore a similar reasoning gives the following formula gl n,d,r n,d = πi gξ,ηξid L n,d ηid L n,d dξdη or equivalently gl n,d,r n,d B = πi gξ,ηξ D Bη D dξdη. Assuming the matrix D to be the form of D = Diagλ,...,λ n for matrix units E ij and E kl we have E ij,e kl D,g = Tr πi gξ,ηe ij ξ D E kl η D dξdη = δ kj δ li gλ j,λ i. Since for arbitrary matrices A,B M n,sa we have A = n i,j= A ije ij and B = n therefore A,B D,g = δ kj δ li A ij B kl gλ j,λ i = A lk B kl gλ k,λ l. i,j,k,l= k,l= k,l= B kle kl For every g C M and D M n the function A,B A,B D,g is a positive bilinear map, and for every smooth vector field γ : M n M n,sa the function M n R D γd,γd D,g is smooth, therefore,,g defines a Riemannian metric on M n. Proof. To prove Theorem assume that f F op, D M n and A,B M n,sa. If we define then we have gx,y = m f x,y and Applying Theorem 3 we have which prooves Theorem g : R + R + R + x,y yfxy y, A,B D,g = A,B D,f = A,BD,g. A lk B kl gλ k,λ l = k,l= k,l= A lk B kl m f λ k,λ l, 4

5 Covariances derived from the metric For observable A M n,sa and a state D M n we define A 0 = A TrDAI, where I is the n n identity matrix. Using this transformation we have TrDA 0 = 0. Definition. For observables A,B M n,sa, state D M n and function f Fn op we define the quantum covariance of A and B the asymmetric quantum covariance as qcov D A,B = TrDAB+TrDBA TrDATrDB qcov as f0 D,f A,B = i[d,a],i[d,b] D,f and the symmetric quantum covariance as qcov s f0 D,f A,B = {D,A},{D,B} D,f. Theorem 4. Assume that the state D M n is of the form D = Diagλ,...,λ n. For every A,B M n,sa and f F op we have Cov D A,B = k,l= qcov as f0 D,f A,B = qcov s D,fA,B = f0 qcov s D,fA,B = f0 λ k +λ l A lk B kl TrDATrDB = k,l= k,l= k,l= λ k λ l m f λ k,λ l A lkb kl = f0 λ k +λ l m f λ k,λ l A lkb kl k,l= k,l= λ k +λ l [A 0 ] lk [B 0 ] kl λ k λ l m f λ k,λ l [A 0] lk [B 0 ] kl λ k +λ l m f λ k,λ l [A 0] lk [B 0 ] kl +f0trdatrdb. Proof. Simple matrix computation, we show the case of asymmetric quantum covariance. qcov as f0 D,f A,B = DA AD,DB BD D,f = f0 k,l= m f λ k,λ l DA AD lkdb BD kl Since DA AD lk = λ l λ k A lk we immediately have the formula in the Theorem. All of the covariances in the Theorem have the form of α kl A kl B kl, k,l= where α is a symmetric function. Since [A 0 ] kl = A kl δ kl TrDA we have the equality n α kl [A 0 ] kl [B 0 ] kl = α kl A kl B kl + α kk TrDATrDB k,l= k,l= k= n n α kk A kk TrDB α kk B kk TrDA. k= Using this equation one can express n k,l= α kla kl B kl in terms of normalised observables. 5 k=

6 It is worth noting that for operator monotone function f 0 x = +x we have Cov D A 0,B 0 = qcov s D,f 0 A 0,B 0. Definition 3. For an operator monotone function f F op let us define the following R + R + R + functions g cl x,y = x+y, g as f x,y = f0x y xf y, gfx,y s = f0x+y x xf y. x A simple combination of Theorems 4 and 3 gives the following Corollary. Corollary. For every f F op, D M n and for every matrices A,B M n,sa the following equalities hold. A 0,B 0 D,gcl = Cov D A 0,B 0 A 0,B 0 D,g as f 3 Uncertainty relations = qcov as D,f A 0,B 0 = qcov as D,f A,B A 0,B 0 D,g s f = qcov s D,fA 0,B 0 Theorem 5. Consider a density matrix D M n, functions g,g C M such that g x,y g x,y x,y R + holds and an N-tuple of nonzero matrices A k k=,...,n M n,sa. Define the N N matrices Cov D,g and Cov D,g with entries [Cov D,gk ] ij = A i 0,Aj 0 D,g k k =,. We have where detcov D,g detcov D,g +detcov D,g Cov D,g +RD,g,g,N, 3 RD,g,g,N = N k= N [detcov D,g ] k N [detcov D,g Cov D,g ] N k N. k Proof. We can assume that the density matrix D is diagonal, D = Diagλ,...,λ n. The matrix Cov D,gk k =, is obviously real and symmetric. First we prove that for every g C M the matrix Cov D,g is positive definite. Consider a vector x C N and define an n n matrix as C = N a= x aa a 0. Then we have x,cov D,g x = = = = N a,b= N a,b=h,j= h,j= h,j= x a x b Cov D,f A a,a b 4 gλ h,λ j x a x b [A a 0 ] hj [ ] A b 0 jh N [ N ] gλ h,λ j x a A a 0 x ]jh b [A b 0 a= gλ h,λ j C hj 0. b= jh 6

7 WecanrepeatourargumentsprovidingEquation4forthematrixCov D,g Cov D,g usingg g instead of g. This leads us to the conclusion that Cov D,g Cov D,g is a real, symmetric, positive definite matrix. Using the Minkowski determinant inequality see for example [] p. 70. or [9] for real symmetric positive matrices Cov D,g and Cov D,g Cov D,g we have {detcov D,g +Cov D,g Cov D,g } N {detcov D,g } N +{detcov D,g Cov D,g } N, which gives the inequality stated in the Theorem. Using the inequality 3 in the previous Theorem one can compare the different covariances. Theorem 6. Consider a density matrix D M n, functions f,f F op such that f 0 f t f 0 f t t R + holds and an N-tuple of nonzero matrices A k k=,...,n M n,sa. Define the N N matrices Cov D, qcov as D,f k and qcov s D,f k k =, with entries We have Proof. If for functions f,f F op [Cov D ] ij = Cov D A i 0,Aj 0 [ ] qcov as D,f = k ij qcovas D,f k A i 0,Aj 0 k =, [ qcov s D,fk ]ij = qcovs D,f k A i 0,Aj 0 k =,. detcov D detqcov as D,f k k =, detcov D detqcov s D,f k k =, detqcov s D,f k detqcov as D,f k k =, detqcov as D,f detqcov as D,f detqcov s D,f detqcov as D,f f 0 f t f 0 f t t R + holds then we have the following inequalities for all x,y R +. g cl x,y gf as k x,y k =, g cl x,y gf s k x,y k =, gf s k x,y gf as k x,y k =, gf as x,y gf as x,y gf s x,y gf as x,y Applying Theorem 5 for these inequalities we have the inequalities for different covariance matrices stated in the Theorem. 7

8 Corollary. Using the same notation as in the previous theorem for any operator monotone function f F op we have detcov D detqcov s D,f detqcov as D,f. The generalised form of the uncertainty relation mentioned in the Introduction see Equation in these terms is detcov D detqcov as D,f. Theorem 7. With same notation as above let us consider operator monotone functions f,f F op. If f 0 f t f 0 f t t+ t t R + holds, then If holds, then Proof. If for functions f,f F op detqcov as D,f detqcov s D,f. f 0 f t f 0 f t t+ t t R + detqcov s D,f detqcov as D,f. f 0 f t f 0 f t t+ t t R + holds then we have the following inequalities for all x,y R +. g as f x,y g as f x,y Theorem 5 provides the desired inequality for asymmetric and symmetric covariance matrices in this case. The second inequality can be proved similarly. References [] A. Andai. Uncertainty principle with quantum Fisher information. J. Math. Phys., 49, JAN 008. [] E.F. Beckenbach, R. Bellman, and R.E. Bellman. Inequalities. Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, 96. [3] P. Gibilisco, D. Imparato, and T. Isola. Uncertainty principle and quantum fisher information. ii. J. Math. Phys., 487:, 007. [4] P. Gibilisco, D. Imparato, and T. Isola. A robertson-type uncertainty principle and quantum fisher information. Linear Algebra Appl., 487:706 74, 008. [5] P. Gibilisco and T. Isola. Uncertainty principle and quantum fisher information. Ann. Inst. Statist. Math., 59:47 59, 007. [6] F. Hansen. Metric adjusted skew information. Proc. Natl. Acad. Sci. USA, 059: ,

9 [7] W. Heisenberg. Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik. Z. Phys., 433:7 98, 97. [8] F. Hiai, D. Petz, and G. Toth. Curvature in the geometry of canonical correlation. Studia Sci. Math. Hungar., 3-:35 49, 996. [9] R. A. Horn and C. R. Johnson. Matrix Analysis. Cambridge University Press, 990. [0] E.H. Kennard. Zur quantenmechanik einfacher bewegungstypen. Z. für Phys., 444-5:36 35, 97. [] H. Kosaki. Matrix trace inequalities related to uncertainty principle. Int. J. Math., 606:69 645, 005. [] S. Luo. Quantum fisher information and uncertainty relations. Lett. Math. Phys., 533:43 5, 000. [3] S. Luo. Wigner-yanase skew information and uncertainty relations. Phys. Rev. Lett., 9:80403, Oct 003. [4] S. Luo and Q. Zhang. On skew information. IEEE Trans. Inf. Theory, 508:778 78, 004. [5] S. Luo and Q. Zhang. Correction to on skew information. IEEE Trans. Inf. Theory, 5: , 005. [6] S. Luo and Z. Zhang. An informational characterization of schrödinger s uncertainty relations. J. Stat. Phys., 45-6: , 004. [7] D. Petz and Cs. Sudár. Geometries of quantum states. J. Math. Phys., 376:66 673, 996. [8] H. P. Robertson. The uncertainty principle. Phys. Rev., 34:63 64, Jul 99. [9] H. P. Robertson. An indeterminacy relation for several observables and its classical interpretation. Phys. Rev., 46:794 80, Nov 934. [0] E. Schrödinger. About heisenberg uncertainty relation. In Proc.Prussian Acad.Sci.,Phys.Math. Section,Vol.XIX,pp [] K. Yanagi, S. Furuichi, and K. Kuriyama. A generalized skew information and uncertainty relation. IEEE Trans. Inf. Theory, 5: ,