Some inequalities for operators

MINISTRY OF EDUCATION AND TRAINING HANOI PEDAGOGICAL UNIVERSITY ——————–o0o——————— NGUYEN THI TUYET SOME INEQUALITIES FOR OPERATORS GRADUATION THESIS HA NOI, 2019 MINISTRY OF EDUCATION AND TRAINING HANOI PEDAGOGICAL UNIVERSITY ——————–o0o——————— NGUYEN THI TUYET SOME INEQUALITIES FOR OPERATORS GRADUATION THESIS Major: Analysis Supervisor: HO MINH TOAN HA NOI, 2019 Thesis Assurance I assure that the data and the results of this thesis are true and not indentical to other topics I also assure that all the help for this thesis has been acknowledged and that the results presented in the thesis has been indentified clearly Ha Noi, May 5, 2019 Student Nguyen Thi Tuyet Bachelor thesis NGUYEN THI TUYET Thesis Acknowledgement This thesis is conducted at the Department of Mathematics, HANOI PEDAGOGICAL UNIVERSITY The lecturers have imparted valuable knowledge and facilitated for me to complete the course and the thesis I would like to express my deep respect and gratitude to PhD Ho Minh Toan, who has direct guidance, help me to complete this thesis Due to time, capacity and conditions are limited, so the thesis can not avoid errors So I am looking forward to receiving valuable comments from teachers and friends Ha Noi, May 5, 2019 Student Nguyen Thi Tuyet i Contents Thesis Assurance Thesis Acknowledgement i Notation Preface 1 PRELIMINARIES SOME CAUCHY INEQUALITIES OF LINEAR OPERATORS 10 2.1 Introduction to Cauchy inequalities 10 2.2 Unitarily Invariant Norms on Operators 13 2.3 Proof of Cauchy inequality for operators 20 A REVERSE CAUCHY INEQUALITY FOR OPERATORS 26 3.1 Operator monotone and operator convex funtions 27 3.2 Main results 31 3.3 Characterizations of the trace property 36 ii Bachelor thesis NGUYEN THI TUYET References 40 iii Bachelor thesis NGUYEN THI TUYET NOTATION AGM : Arithmetic-Geometric mean inequality |||T ||| : Unitarily invariant norm of T Φ: symmetric gauge function Mn : square matrices n × n on the complex field Mn+ : positive semidefinite matrices n × n matrices A∗ : Conjugate operator of A Diag(α1 , , αn ): Diagonal matrix with th element α1 , , αn if ly on the diagonal I: identity matrix Re(A) : the real part of complex A Im(A) : The image part of complex A λj (T ): the set of eigenvalues T Bachelor thesis NGUYEN THI TUYET Preface Inequalities is an important topic in mathematics and have various applications In particular, operator inequalities of Cauchy - type has attracted much attention Applications of that inequalities in diverse fields of mathematics have contributed to ones importance After its discovery, the numerous authors studied, who either reproved it using various techniques, or applying and generalizing it by many different ways Given the need for practicality, especially for students, I choose the topic ”Some inequalities for operator ” to provide a relatively complete basis for the basic theory of some inequalities moreover, the basic knowledge of some operator on the matrixs Chapter PRELIMINARIES Linear Operators Let V, W be vector spaces over a filed k (k, in this thesis, is just the real or complex numbers) A linear map is a map T : V −→ W that satisfies the folowing properties for all u, v in V and for any number c • T (u + v) = T u + T v • T (cu) = cT u Let u and v be vectors in a vector space V and let c be any scalar An inner product on V is a map that associates a real number u, v with each pair of vectors u and v and satisfies the following axioms u, v = u, v u, v + w = u, v + u, w cu, v = c u, v u, u ≥ and u, u = if and only if u = A vector space V with an inner product is called an inner product space A linear map from V to itself is also called a linear operator or Bachelor thesis NGUYEN THI TUYET simply, an operator In this thesis, we study some (Cauchy, Cauchy-type) inequalities of operator on V, where dimension of V is finite The fact is that an n-dimensional vector space is isomorphic to k n Therefore, we can assume that V = k n In this case, any linear operator on V is continuous (hence, it is bouned) Let us denote by L(V) the set of all linear operator on V Then L(V) is a ring the usual addition and composition If T is an operator on V, the adjoint of T , denoted by T ∗ , is defined by x, T y = T ∗ x, y , ∀x, y ∈ V Fix a standard orthonormal basis E for V There is a natural one-toone and onto correspondence: Θ : L(V) →Mn T →(tij )ni,j=1 , where (tij ) is an n×n-matrix which is the (standard) matrix of T relative to the basis E and Mn is the ring of squares matrices of order n with coefficients in k The map Θ is a ring isomorphism and Θ(T ∗ ) = (tji ) Hence, instead of study the inequalities of operators in L(V), we study that in Mn Matrix Operations Let A = [aij ] and B = [bij ] be matrices of size m × n, and let C = [cij ] Bachelor thesis NGUYEN THI TUYET matrices B −A is positive The relation is a partial order on Hermitian matrices A function f is said to be matrix monotone of order n if it is monotone with respect to this order on nxn Hermitian matrices, i,e if A B implies f (A) f (B) If f is a matrix monotone of order n for all n we say f is operator monotone A function f is said to be matrix convex of order n if for all nxn Hermitian matrices A and B for all real numbers f ((1 − λ) A + λB) λ (1 − λ) f (A) + λf (B) 1, (3.2) If f is matrix convex of all orders, we say that f is matrix convex or operator convex (Note that if the eigenvalues of A and B are all in an interval I, then the eigenvalues of any convex combination of A, B are also in I This is an easy consequence of result in chappter III-[2].) We will consider continuous function only In this case, the condition (3.2) can be replaced by the more special condition f A+B f (A) + f (B) (3.3) (Function satifying (3.3) are called midpoint operator convex, and if they are continuous, then they are convex.) A function f is call operator concave if the function f is operator convex It is clear that the set of operator monotone functions and the set of operator convex functions are both closed under positive linear combina- 28 Bachelor thesis NGUYEN THI TUYET tions and also under (pointwise) limits In other words, if f, g are operator monotone, and if α,β are positive real numbers, then αf + βg is also operator monotone If fn are operator monotone, and if fn (x) → f (x), then f is also operator monotone The same is true for operator convex functions Example 3.1.1 The function f (t) = α + βt is operator monotone (on every interval) for every α ∈ R and β It is operator convex for all α, β ∈ R The first surprise is in the following example Example 3.1.2 The function f (t) = t2 on [0, ∞) is not operator monotone In other words, there exist positive matrices A,B such that B − A is positive but B − A2 is not To see this, take  A= Lemma 3.1.3 If B 1 1   ,B =  1   A, then for every operator X we have X ∗ BX X ∗ AX Proof For every vector u we have, u, X ∗ BXu = Xu, BXu Bu, AXu = u, X ∗ AXu (3.4) This prove the lemma An equally brief proof goes as follows let C be the positive square root of the positive operator B − A Then X ∗ (B − A) X = X ∗ CCX = (CX)∗ CX 29 Bachelor thesis NGUYEN THI TUYET Proposition 3.1.4 The functione f (t) = − 1t is operator monotone on (0, ∞) Proof Let B A > Then by Lemma (3.1.3), I B −1/2 AB −1/2 Since the map T → T −1 is order-reversing on commuting positive opB 1/2 A−1 B 1/2 Again, using lemma (3.1.3) we get erators, we have I from this B −1 A−1 Lemma 3.1.5 If B Proof If B A A and B is invertible , then A1/2 B −1/2 then I hence A1/2 B −1/2 ∗ B −1/2 AB −1/2 = A1/2 B −1/2 A1/2 B −1/2 , Proposition 3.1.6 The function f (t) = t1/2 is operator monotone on (0, ∞] Proof Let B A A1/2 B −1/2 Suppose B is invertible Then by Lemma (3.1.5), spr A1/2 B −1/2 = spr B −1/4 A1/2 B −2/4 Since B −1/4 A1/2 B −1/4 is positive, this imples that I Hence, by Lemma (3.1.3), B 1/2 B −1/4 A1/2 B −1/4 A1/2 This proves the proposition un- der the assumption that B is invertible.If B is not stricly positive, then for every ε > 0, B + εI is strictly positive So,(B + εI)1/2 ε → This shows that B 1/2 A1/2 Let A1/2 Theorem 3.1.7 The function f (t) = tr is operator monotone on [0, ∞) for r 30 Bachelor thesis 3.2 NGUYEN THI TUYET Main results Let n ∈ N and Mn be the algebra of n × n matrices let I be an interval in R and f : I −→ R be a continuous function We call a function f matrix monotone of order n or n-monotone in short whenever the inequality A B =⇒ f (A) f (B) for an arbitrary self-adjoint matrices A, B ∈ Mn such that A B and all eigenvalues of A and B are contained in I Let H be a separable infinite dimensional Hilbert space and B(H) be the set of all bounded linear operators on H We call a function f operator monotone whenever the inequality A B =⇒ f (A) f (B) for an arbitrary self-adjoint matrices A, B ∈ B(H) such that A B and all eigenvalues of A and B are contained in I We denote the space of operator monotone functions by P∞ (I) The space for n-monotone functions are written as Pn (I) We have then P1 (I) ⊇ ⊇ Pn−1 (I) ⊇ Pn (I) ⊇ Pn+1 (I) ⊇ ⊇ P∞ (I) Here we note that ∩∞ n=1 Pn (I) = P∞ (I) and each inclusion is proper [12,13] The following result is proved in [11] Lemma 3.2.1 Let f be a strictly positive, continuous function on [0, ∞) If the function f is 2n-monotone, then for any positive semi-definite A 31 Bachelor thesis NGUYEN THI TUYET and a contraction C in Mn we have C ∗ f (A)C f (C ∗ AC) The following result is essentially proved i.n [14,Theorem 2.4], but for the reader’s convenience we will include a proof Proposition 3.2.2 Let f be a strictly positive, continuous function on t [0, ∞) If the function f is 2n-monotone, the function g(t) = is f (t) n-monotone on [0, ∞) Proof Let A, B be positive matrices in Mn such that < A −1 C = B − A− Then C B Let Since f is 2n-monotone, −f satisfies the Jensen type inequality from Lemma 3.2.1, that is, −f (A) = −f (C ∗ BC) −f (A) −A−1/2 f (A)A−1/2 −A−1 f (A) −C ∗ f (B)C −A1/2 B −1/2 f (B)B −1/2 A1/2 −B −1/2 f (B)B −1/2 −B −1 f (B) Therefore, since −1/t is operator monotone, −1/(−f (t)t) = t/f (t) is n-monotone Remark 3.2.3 The condition of 2n-monotonicity of f is needed to guarantee the n-monotonicity of g Indeed, it is well-known that t3 is 1 monotone, but not 2-monotone In this case the function g(t) = = t t is obviously not 1-monotone Corollary 3.2.4 Let f be a 2n-monotone, continuous function on [0, ∞) such that f ((0, ∞)) ⊂ (0, ∞), and let g be a Borel function on [0, ∞) 32 Bachelor thesis NGUYEN THI TUYET defined by g(t) =   t f (t) (t ∈ (0, ∞)) Then for any pair of positive  (t = 0) matrices A, B ∈ Mn with A B, g(A) g(B) Proof Since f is 2n-monotone, continuous function on [0, ∞) such that f ((0, ∞)) ⊂ (0, ∞), from Proposition 3.2.4 g is n-monotone on (0, ∞) Since g(A + ε) function g that g(A) g(B + ε) for ε > it follows by continuity of the g(B) Theorem 3.2.5 Let T r be a canonical trace on Mn and f be a 2nmonotone function on [0, ∞) such that f ((0, ∞)) ⊂ (0, ∞) Then for any pair of positive matrices A, B ∈ Mn T r(A) + T r(B) − T r(|A − B|) where g(t) =   t f (t)  2T r f (A) g(B)f (A) , (3.5) (t ∈ (0, ∞)) (t = 0) Proof let A, B be any positive matrices in Mn For operator (A-B) let us denote by P = (A − B)− its positive and negative part, respectively The we have A − B = P − Q and |A − B| = P + Q, (3.6) from that it follows that A + Q = B + P (3.7) On account of (3.7) the inequality (3.5) is equivalent to the following 1 T r(A) − T r f (A) g(B)f (A) 33 T r(P ) Bachelor thesis Since B + P g(A) NGUYEN THI TUYET B and B + P A+Q A 0, we have g(B + P ) by Corollary 3.2.4 and 1 T r(A) − T r f (A) g(B)f (A) 1 1 = T r f (A) g(A)f (A) − T r f (A) g(B)f (A) 1 1 T r f (A) g(B + P )f (A) − T r f (A) g(B)f (A) 1 = T r f (A) (g(B + P ) − g(B))f (A) 1 T r f (B + P ) (g(B + P ) − g(B))f (B + P ) 1 = T r f (B + P ) g(B + P )f (B + P ) 1 − T r f (B + P ) g(B)f (B + P ) 1 T r(B + P ) − T r f (B) g(B)f (B) = T r(B + P ) − T r(B) = T r(P ) Hence, we have the conclusion Remark 3.2.6 (i) When given positive matrices A, B in Mn satisfies the condition A B, the inequality (3.5) becomes T r(A) T r f (A) g(B)f (A) (ii) As pointed in Proposition 3.2.2, 2-monotonicity of f is needed to guarantee the inequality (3.5) Indeed, let f (t) = t3 and n = Then, for any a, b ∈ (0, ∞), the inequality 3.5 would imply a 1 f (a) g(b)f (a) , 34 Bachelor thesis NGUYEN THI TUYET that is, a f (a) b f (b) t is, however, not 1-monotone, the later inequality is imf (t) possible As an application we get Powers-Stormer’s inequality Since Corollary 3.2.7 (6,Theorem1) Let A and B be positive matrices, then for all s ∈ [0, 1] T r(A + B − |A − B|) T r As B 1−s Proof Let f (t) = ts (s ∈ [0, 1]) Then f is operator monotone with f (0, ∞) ⊂ (0, ∞) and g(t) = t1−s Hence, we have the conclusion from Theorem 3.2.5 Remark 3.2.8 For matrices A, B ∈ Mn+ let us denote Q(A, B) = T r A(1−s)/2 B s A(1−s)/2 (3.8) s∈[0,1] and 1 QF2n (A, B) = inf T r f (A) g(B)f (A) , f ∈F2n (3.9) where F2n is the set of all 2n-monotone functions on [0, +∞) satisfy condition of the Theorem 3.2.5 and g(t) = tf (t)−1 (t ∈ [0, +∞)) Note that the function f (t) = ts (s ∈ [0, +∞)) satisfies the condition of the Theorem 3.2.5 Since the class of 2n-monotone functions is large enough [13], we know that QF2n (A, B) < Q(A, B) Hence, we hope on 35 Bachelor thesis NGUYEN THI TUYET finding another 2n-monotone function f on [0, +∞) such that 1 T r f (A) g(B)f (A) < Q(A, B) (3.10) If we can find such a function, the we may get smaller upper bound than what is used in quantum hypothesis testing [1] For example, conT r(|A − B|) sidering the trace distance T (A, B) = , we might have the following better estimate T r(A+B)−QF2n (A, B) T (A, B) T r(A + B) −QF2n (A, B)2 (See the estimate (3.2.8) in [1].) 3.3 Characterizations of the trace property In this section the generalized Powers-Stormer inequality in the previous section implies the trace property for a positive linear functional on operator algebras Lemma 3.3.1 Let ϕ be a positive linear funtional on Mn and f be a contiuous function on [0, ∞) such that f (0) = and f ((0, ∞)) ⊂ (0.∞) If the following inequality ϕ(A + B) − ϕ(|A − B|) 1 2ϕ f (A) g(B)f (A) (3.11) holds true for all A, B ∈ Mn+ , then ϕ should be  a positive scalar multiple  t (t ∈ (0, ∞)) f (t) of the canonical trace Tr on Mn , where g(t) =  (t = 0) Proof As is well known, every positive linear functional ϕ on Mn can 36 Bachelor thesis NGUYEN THI TUYET be represented in the form ϕ(.) = T r(Sϕ ) for some Sϕ ∈ M+ n It is easily seen that without loss of generality we can assume that Sϕ = diag(α1 , α2 , , αn ), and we have to prove that αi = αj for all i, j = 1, , n Clearly, it is sufficient to prove that α1 = α2 By assumption, the inequality (3.11) holds true , in particular, for any positive matrices X = [Xij ]ni,j=1 , Y = [Yij ]ni,j=1 from M+ n such that = xij = yij if or j i n n Thus, it suffices to consider the case n = Assume that Sϕ = diag(d, 1)(d ∈ [0, 1]) and ϕ(D) = T r(Sϕ D), ∀D ∈ M2 We show that d = For arbitrary positive numbers λ, µ such that λ < µ we consider the following matrices  λ A=√ λµ and √ λµ µ    √ λ − λµ  A= √ − λµ µ  It is clear that these are positive scalar multiple of projections of rank one In addition, µ−λ µ+λ µ−λ =2 µ+λ µ−λ =2 µ+λ 2 f (A) g(B)f (A) = A We have 2ϕ f (A) g(B)f (A) 37 T r(Sϕ A) (dλ + µ) Bachelor thesis NGUYEN THI TUYET By direct calculation,   √ λu |A − B| =  √  λu Consequently, ϕ(A + B) − ϕ(|A − B|) = d 2λ − λµ + 2µ − λµ Then the inequality (3.11) becomes µ−λ µ+λ (dλ + µ) Dividing two side by √ d+ √ λ √ µ− d λ− √ λµ + µ − λµ λ , we get √ √ √ µ− λ µ+ λ √ √ √ λ µ+ λ µ λ (dλ + µ) Tending λ to µ from the left we obtain d Since d ∈ [0, 1], d = This means that ϕ is a positive scalar multiple of the canonical trace T r on Mn Remark 3.3.2 Let ϕ be a positive linear functional on Mn and s ∈ [0, 1] From Lemma 3.3.1 it is clear that if the following inequality ϕ(A + B) − ϕ(|A − B|) ≤ 2ϕ A 1−s B sA 1−s (3.12) holds true for any A, B ∈ Mn+ , then ϕ is a tracial In particular, when 38 Bachelor thesis NGUYEN THI TUYET s = the following inequality characterizes the trace property ϕ(B) − ϕ(A) ≤ ϕ(|A − B|) (A, B ∈ Mn+ ) (3.13) Corollary 3.3.3 Let ϕ be a positive linear functional on Mn and the following inequality ϕ(A + B) ≤ ϕ(|A|) + ϕ(|B|) (3.14) holds true for any self-adjoint matrices A, B ∈ Mn Then ϕ is a tracial Proof From the assumption we have ϕ(|B − A|) ϕ(|B|) − ϕ(|A|) for any pair of self-adjoint matrices A, B in Mn Moreover, for any pair of positive matrices A, B ∈ Mn we have ϕ(|B − A|) ϕ(B) − ϕ(A) On account of Remark 3.3.2 , it follows that ϕ should be a tracial Corollary 3.3.4 Let ϕ be a positive linear functional on Mn and the following inequality |ϕ(A)| ϕ(|A|) (3.15) holds true for any self-adjoint matrix A ∈ Mn Then ϕ is a tracial Proof Let A, B ∈ Mn be a arbitrary positive matrices Then C = B −A is a self-adjoint matrix Since A, B 39 0, the value ϕ(A) and ϕ(B) are Bachelor thesis NGUYEN THI TUYET real From the assumption, we have ϕ(B) − ϕ(A) ≤ |ϕ(B) − ϕ(A)| = |ϕ(B − A)| ≤ ϕ(|B − A|) On account of Remark 3.3.2 , it follows that ϕ should be a tracial 40 Bibliography [1] F.Hansen, G.K Pedersen, Jensen’s inequality for operator and Lowner’s theorem, Math.Ann.258(1982)299-241 [2] R.Bhatia, Matrix Analysis, Springer, New York, 1997 [3] R Bhatia, C Davis, More matrix forms of the arithmetic- geometric mean inequality SIAM J.Matrix Anal 14(1993) 132-136 [4] R Bhatia, F Kittaneh, On the singular values of product of operators, SIAM J Matrix Anal, 11(1990) 272-277 [5] F Kittaneh, A note on the arithmetic- geometric mean inequality for matrices, Linear Algebra Appl, 171(1992) 1-8 [6] K.M.R Audenaert, J Calsamiglia, L.I Masanes, R Munoz-Tapia, A Acin, E Bagan, F Verstraete he quantum Chernoff bound Phys Rev Lett 98(2007) 16050 [7] V Jaksic, Y Ogata, C-A Pillet, R Seiringer, Quantum hypothesis testing and non- equilibrium statistical mechanics, arViv: 1109.3804v1 [8] Y Ogat, A generalization of Power-Stormer inequality, Lett Math Phys 97(3)(2011) 339-346 41 Bachelor thesis NGUYEN THI TUYET [9] R.V Kadison, J.R Ringrose, Fundamentals of the Theory of Operator Algebras, vo;s I,II Academic Press ,1983,1986 [10] R.T Powers, E Stormer, Free states of the canonical anticommutation relations, Commun Math Phys 16(1970) 1-33 [11] F Hansen An operator inequality, Math Ann 246(3)(1979/80)1322-1328 [12] F Hansen, G.Ji,J Tomiyama, Gaps between classes of matrix monotone functions, Bull London Mtath Soc 36(2004) 53-58 [13] H.Osaka, S Silvestrov, J Tomiyama, Monotone operatoe functions, gaps and power moment problem, Math Scand.100(1)(2007) 161183 [14] Dinh Trung Hoa, H.Osaka, H.M.Toan, On generalized PowersStørmer’s Inequality Linear Algebra Appl 438(1) (2013) 242-249 42 ... Given the need for practicality, especially for students, I choose the topic Some inequalities for operator ” to provide a relatively complete basis for the basic theory of some inequalities moreover,... PRELIMINARIES SOME CAUCHY INEQUALITIES OF LINEAR OPERATORS 10 2.1 Introduction to Cauchy inequalities 10 2.2 Unitarily Invariant Norms on Operators 13 2.3 Proof of Cauchy inequality for. .. Ani Bin Tr i=1 Chapter SOME CAUCHY INEQUALITIES OF LINEAR OPERATORS For positive semi-definite n × n matrices, the inequality 4|||AB||| |||(A + B)2 ||| is shown to hold for every unitarily invariant