Regular operator mappings and multivariate geometric means
|
|
- Dinah Rogers
- 6 years ago
- Views:
Transcription
1 arxiv: v3 [math.fa] 1 Apr 2014 Regular operator mappings and multivariate geometric means Fran Hansen March 15, 2014 Abstract We introduce the notion of regular operator mappings of several variables generalising the notion of spectral functions. This setting is convenient for studying maps more general than what can be obtained from the functional calculus, and it allows for Jensen type inequalities and multivariate non-commutative perspectives. As a main application of the theory we consider geometric means of operator variables that extends the geometric mean of commuting operators and the geometric mean of two arbitrary positive definite matrices. We propose an updating condition that seems natural in many applications and prove that this condition, together with a few other natural axioms, uniquely defines the geometric mean for any number of operator variables. The means defined in this way are given by explicit formulas and are computationally tractable. 1 Introduction The geometric mean of two positive definite operators was introduced by Pusz and Woronowic [13], and their definition was soon put into the context of the axiomatic approach to operator means developed by Kubo and Ando [9]. Subsequently a number of authors [8, 1, 12, 2, 11, 10] have suggested several ways of defining means of operators for several variables as extensions of the geometric mean of two operators. 1
2 There is no satisfactory definition of a geometric mean of several operator variables that is both computationally tractable and satisfies a number of natural conditions put forward in the influential paper by Ando, Li, and Mathias [1]. We put the emphasis on methods to extend a geometric mean of variables to a mean of +1 variables, and in the process we challenge one of the requirements to a geometric mean put forward by Ando, Li, and Mathias. The symmetry condition of a geometric mean is mathematically very appealing, but the condition maes no sense in a number of applications. If for example positive definite matrices A 1,A 2,...,A correspond to measurements made at times t 1 < t 2 < t then there is no way of permuting the matrices since time only goes forward. It maes more sense to impose an updating condition 1) G A 1,...,A,1) = G A 1,...,A ) /) when moving from a mean G of variables to a mean G of + 1 variables. The condition corresponds to taing the geometric mean of copies of G A 1,...,A ) and one copy of the unit matrix. A variant condition would be to impose the equality 2) G A 1,...,A,1) = G A /) 1,...,A /) ) when updating from to variables. It is an easy exercise to realise that if we set G 1 A) = A, then either of the conditions 1) or 2) together with homogeneity uniquely defines the geometric mean of commuting operators. We prove that by setting G 1 A) = A and demanding homogeneity and a few more natural conditions, then either of the updating conditions 1) or 2) leads to unique but different solutions to the problem of defining a geometric mean of operators. The means defined in this way are given by explicit formulas, and they are computationally tractable. They possess all of the attractive properties associated with geometric operator means discussed in [1] with the notable exception of symmetry. If one emphasises either of the updating conditions 1) or 2) we are thus forced to abandon symmetry. Efficient averaging techniques of positive definite matrices are important in many practical applications; for example in radar imaging, medical imaging, and the analysis of financial data. 2
3 2 Regular operator mappings 2.1 Spectral functions Let BH) denote the set of bounded linear operators on a Hilbert space H. A function F : D BH) defined in a convex domain D of self-adjoint operators in BH) is called a spectral function, if it can be written on the form Fx) = fx) for some function f defined in a real interval I, where fx) is obtained by applying the functional calculus. The definition contains some hidden assumptions. The domain D should be invariant under unitary transformations and 3) Fu xu) = u Fx)u x D for every unitary transformation u on H. Furthermore, to pairs of mutually orthogonal projections p and q acting on H, the element pxp + qxq should be in D and the equality 4) Fpxp+qxq) = pfpxp)p+qfqxq)q hold for any x BH) such that pxp and qxq are in D. An operator function is a spectral function if and only if 3) and 4) are satisfied, cf. [3, 7]. The notion of spectral function is not immediately extendable to functions of several variables. However, we may consider the two properties of spectral functions noticed by C. Davis as a ind of regularity conditions, and they are readily extendable to functions of more than one variable. The notion of a regular map of two operator variables were studied by Effros and the author in [4], cf. also [6]. Definition 2.1. Let F : D BH) be a mapping of variables defined in a convex domain D BH) BH). We say that F is regular if i) The domain D is invariant under unitary transformations of H and Fu x 1 u,...,u x u) = u Fx 1,...,x )u for every x = x 1,...,x ) D and every unitary u on H. ii) Let p and q be mutually orthogonal projections acting on H and tae arbitrary -tuples x 1,...,x ) and y 1,...,y ) of operators in BH) such that the compressed tuples px 1 p,...,px p) and qy 1 q,...,qy p) 3
4 are in the domain D. Then the -tuple of diagonal bloc matrices is also in the domain D and px 1 p+qx 1 q,...,px p+qx q) Fpx 1 p+qx 1 q,...,px p+qx q) = pfpx 1 p,...,px p)p+qfqx 1 q,...,qx q)q. By choosing q as the zero projection in the second condition in the above definition we obtain Fpx 1 p...,px p) = pfpx 1 p,...,p p)p, which shows that F for any orthogonal projection p on H may be considered as a regular operator mapping where the compressed domain D p = {x 1,...,x ) F : D p BpH), BpH) x 1 01 p),...,x 01 p) ) D}. m=1 With this interpretation we may unambiguously calculate bloc matrices by the formula ) )) ) x1 0 x 0 Fx1,...,x F,..., = ) 0 0 y 1 0 y 0 Fy 1,...,y ) which is well-nown from mappings generated by the functional calculus. 2.2 Jensen s inequality for regular operator mappings Theorem 2.2. Consider the domain D = {A 1,...,A ) A 1,...,A 0} of -tuples of positive semi-definite operators on a Hilbert space H, and let F : D BH) sa be a convex regular mapping of D into self-adjoint operators acting on H. 4
5 i) Let C be a contraction on H. If F0,...,0) 0 then the inequality FC A 1 C,...,C A C) C FA 1,...,A )C holds for -tuples A 1,...,A ) in D. ii) Let X and Y be operators acting on H with X X+Y Y = 1. Then the inequality F ) X A 1 X +Y B 1 Y,...,X A X +Y B Y X FA 1,...,A )X +Y FB 1,...,B )Y holds for -tuples A 1,...,A ) and B 1,...,B ) in D. Proof. By setting T = 1 C C) 1/2 and S = 1 CC ) 1/2 we obtain that the bloc matrices ) ) C S C S U = T C and V = T C are unitary operators on H H. Furthermore, ) 1 A 0 2 U U + 1 ) ) A 0 C V V = AC SAS for any operator A BH). By using that F is a convex regular map we 5
6 obtain FC A 1 C,...,C A C) 0 ) 0 FSA 1 S,...,SA S) ) )) C = F A 1 C 0 C,..., A C 0 0 SA 1 S 0 SA S ) ) ) ) ) 1 A1 0 = F 2 U U V A1 0 V,..., A 0 2 U U V A 0 V ) ) 2 F U A1 0 U,...,U A 0 U )+ 12 ) ) ) F V A1 0 V,...,V A 0 V = 1 ) )) A1 0 A 0 2 U F,..., U + 1 ) )) V A1 0 A 0 F,..., V = 1 ) FA1,...,A ) 0 2 U U + 1 ) 0 F0,...,0) 2 V FA1,...,A ) 0 V 0 F0,...,0) 1 ) FA1,...,A ) 0 2 U U + 1 ) V FA1,...,A ) 0 V 0 0 ) C = FA 1,...,A )C 0, 0 SFA 1,...,A )S where we used convexity in the first inequality, and in the second inequality used F0,...,0) 0. The first statement now follows. In order to prove ii) we define the map GA 1,...,A ) = FA 1,...,A ) F0,...,0) A 1,...,A ) D. Unitary invariance of F implies that F0,...,0) is a multiple of the unit operator and thus commutes with all projections. Therefore G is regular and convex with G0,..., 0) = 0. We then define bloc matrices ) ) X 0 Am 0 C = and Z Y 0 m =, m = 1,..., 0 B m and notice that C Z m C = ) X A m X +Y B m Y
7 for m = 1,...,. Finally we use i) to obtain G ) X A 1 X +Y B 1 Y,...,X A X +Y B Y 0 0 ) 0 G ) ) X = A 1 X +Y B 1 Y,...,X A X +Y B Y 0 0 G0,...,0) = G C Z 1 C,...,C Z C ) ) C GZ 1,...,Z )C = C GA1,...,A ) 0 C 0 GB 1,...,B ) = ) X GA 1,...,A )X +Y GB 1,...,B )Y from which we deduce that F ) X A 1 X +Y B 1 Y,...,X A X +Y B Y = G ) X A 1 X +Y B 1 Y,...,X A X +Y B Y +F0,...,0) X GA 1,...,A )X +Y GB 1,...,B )Y +F0,...,0) = X FA 1,...,A )X +Y FB 1,...,B )Y X F0,...,0)X Y F0,...,0)Y +F0,...,0). Since as above F0,...,0) = c 1 for some real constant c we obtain X F0,...,0)X Y F0,...,0)Y +F0,...,0) = cx X +Y Y)+c 1 = 0, and the statement of the theorem follows. QED We shall for = 1,2,... consider the convex domain D + = {A 1,...,A ) A 1,...,A > 0} of positive definite and invertible operators acting on a Hilbert space H. 7
8 Proposition 2.3. Let F be a regular map of D+ into self-adjoint operators acting on H. We assume that i) F is convex ii) FtA 1,...,tA ) = tfa 1,...,A ) t > 0, A 1,...,A ) D +. Then FC A 1 C,...,C A C) = C FA 1,...,A )C for any invertible operator C on H and A 1,...,A ) D +. Proof. Assume first that C is an invertible contraction on H. Jensen s subhomogeneous inequality is only available for regular mappings defined in D. To ε > 0 we therefore consider the mapping F ε : D BH) by setting F ε A 1,...,A ) = Fε+A 1,...,ε+A ) Fε,...,ε). By unitary invariance of F we realise that Fε,...,ε) is a multiple of the unity. Therefore, F ε is regular and convex with F ε 0,...,0) = 0. We may thus use Jensen s sub-homogeneous inequality for regular mappings and obtain F ε C A 1 C,...,C A C) C F ε A 1,...,A )C, where we now restrict A 1,...,A ) to the domain D+ inequality to and rearrange the Fε+C A 1 C,...,ε+C A C) C FA 1 +ε,...,a +ε)c +Fε,...,ε) C Fε,...,ε)C. Since F is positively homogeneous the term Fε,...,ε) = εf1,...,1) is vanishing for ε 0 and we obtain 5) FC A 1 C,...,C A C) C FA 1,...,A )C for invertible C. Again using homogeneousness we obtain inequality 5) also for arbitrary invertible C. Then by repeated application of 5) we obtain FA 1,...,A ) C 1 FC A 1 C,...,C A C)C 1 FA 1,...,A ) and the statement follows. QED 8
9 3 The perspective of a regular map Definition 3.1. Let F: D+ BH) be a regular mapping. The perspective map P F is the mapping defined in the domain D+ by setting P F A 1,...,A,B) = B 1/2 FB 1/2 A 1 B 1/2,...,B 1/2 A B 1/2 )B 1/2 for positive invertible operators A 1,...,A and B acting on H. It is a small exercise to prove that the perspective P F is a regular mapping which is positively homogeneous in the sense that P F ta 1,...,tA,tB) = tp F A 1,...,A,B) for arbitrary A 1,...,A,B) D + and real numbers t > 0. The following theorem generalises a result of Effros [5, Theorem 2.2] for functions of one variable. Theorem 3.2. The perspective P F of a convex regular map F : D + BH) is convex. Proof. Consider tuples A 1,...,A ) and B 1,...,B ) in D + and tae λ [0, 1]. We define the operators and calculate that and C = λa +1 λ)b X = λ 1/2 A 1/2 C 1/2 Y = 1 λ) 1/2 B 1/2 C 1/2 X X +Y Y = C 1/2 λa C 1/2 +C 1/2 1 λ)b C 1/2 = 1 X A 1/2 A ia 1/2 X +Y B 1/2 B ib 1/2 Y = C 1/2 λ 1/2 A 1/2 A 1/2 A ia 1/2 λ1/2 A 1/2 C 1/2 +C 1/2 1 λ) 1/2 B 1/2 B 1/2 B ib 1/2 1 λ)1/2 B 1/2 C 1/2 = C 1/2 λa i +1 λ)b i )C 1/2 9
10 for i = 1,...,. We thus obtain P F λa 1 +1 λ)b 1,...,λA +1 λ)b ) = C 1/2 F C 1/2 λa 1 +1 λ)b 1 )C 1/2,..., C 1/2 λa +1 λ)b )C 1/2) C 1/2 = C 1/2 F X A 1/2 A 1A 1/2 X +Y B 1/2 B 1B 1/2 Y,..., X A 1/2 A A 1/2 X +Y B 1/2 B B 1/2 Y) C 1/2 C 1/2 X FA 1/2 A 1A 1/2,...,A 1/2 A A 1/2 )X +Y FB 1/2 B 1B 1/2,...,B 1/2 B B 1/2 )Y) C 1/2 = λa 1/2 FA 1/2 A 1A 1/2,...,A 1/2 A A 1/2 )A1/2 +1 λ)b 1/2 FB 1/2 B 1B 1/2,...,B 1/2 B B 1/2 )B1/2 = λp F A 1,...,A )+1 λ)p F B 1,...,B ), where we used Jensen s inequality for regular mappings. QED Proposition 3.3. Let F : D + BH) be a convex and positively homogeneous regular mapping. Then F is the perspective of its restriction G to D + given by GA 1,...,A ) = FA 1,...,A,1) for positive invertible operators A 1,...,A acting on H. Proof. Since F is a convex and positively homogeneous regular mapping we may apply Proposition 2.3. Then by setting C = A 1/2 we obtain A 1/2 FA 1,...,A,A )A 1/2 = FA 1/2 A 1A 1/2,...,A 1/2 A A 1/2,1). By rearranging this equation we obtain FA 1,...,A,A ) = A 1/2 GA 1/2 A 1A 1/2,...,A 1/2 A A 1/2 )A1/2 which is the statement to be proved. QED The result in the above proposition may be reformulated in the following way: The perspective P G of a convex regular mapping G: D+ BH) is the unique extension of G to a positively homogeneous convex regular mapping F : D+ BH). 10
11 4 The construction of geometric means We construct a sequence of multivariate geometric means G 1,G 2,... by the following general procedure. i) We begin by setting G 1 A) = A for each positive definite invertible operator A. ii) To each geometric mean G of variables we associate an auxiliary mapping F : D+ BH) such that a) F is a regular map, b) F is concave, c) F t 1,...,t ) = t 1 t ) 1/) for positive numbers t1,...,t. iii) We define the geometric mean G : D + BH) of +1 variables as the perspective of the auxiliary map F. G A 1,...,A ) = P F A 1,...,A ) Geometric means defined by this very general procedure are concave and positively homogeneous regular mappings by Theorem 3.2 and the preceding remars. They also satisfy 6) G A 1,...,A ) = A 1 A ) 1/ for commuting operators. Indeed, since G is the perspective of F and this map satisfies b) in condition ii), we obtain G t 1,...,t ) = ) 1/ t 1 t for positive numbers. Equality 6) then follows since G is regular. The geometric mean of two variables 7) G 2 A 1,A 2 ) = A 1/2 2 1/2 A 2 A 1 A 1/2 ) 1/2A 1/2 2 2 coincides with the geometric mean of two variables A 1 #A 2 introduced by Pusz and Woronowic. This is so since G 2 is the perspective of F 1 and F 1 A) = A 1/2. The last statement is obtained since F 1 is a regular mapping and satisfies F 1 t) = t 1/2 for positive numbers by b) in condition ii). There are many ways to associate the auxiliary map F in the above procedure, so we should not in general expect much similarity between the geometric means for different number of variables. 11
12 4.1 The inductive geometric mean We define the auxiliary mapping F : D + BH) by setting for = 1,2,... F A 1,...,A ) = G A 1,...,A ) /) Theorem 4.1. The means G constructed in section 4 have the following properties: i) G : D + BH) + is a regular map for each = 1,2,... ii) G ta 1,...,tA ) = tg A 1,...,A ) for t > 0, A 1,...,A ) D + and = 1,2,... iii) G : D+ BH) is concave for each = 1,2,... iv) G A 1,...,A,1) = G A 1,...,A ) /) for A 1,...,A ) D + and = 1,2,... Any sequence of mappings G beginning with G 1 A) = A and satisfying the above conditions coincide with the means G for = 1,2,... Proof. Each map G is for = 2,3,... the perspective of a regular map and this implies i) and ii). The assertion of concavity for G 1 is immediate. Suppose now G is concave for some. Since the map t t p is both operator monotone and operator concave for 0 p 1, we realise that the auxiliary mapping F A 1,...,A ) = G A 1,...,A ) /) is concave, and sinceg is the perspective off we then obtain by Theorem 3.2 that also G is concave. Since the first map G 1 is concave we have thus proved by induction that G is concave for all = 1,2... The last property iv) follows since G is the perspective of G /). Let finally G be a sequence of mappings satisfying i) to iv). Since each G is concave and homogeneous it follows by Proposition 3.3 that G is the perspective of its restriction G A 1,...,A,1). Because of iv) we then realise that G is the perspective of the map F A 1,...,A ) = G A 1,...,A ) /) 12
13 constructed from G. The G mappings are thus constructed by the same algorithm as the mappings G for every 2, and since G 1 = G 1 they must all coincide. QED In addition to the properties listed in the above theorem the means G enjoy a number of other properties that we list below. Theorem 4.2. The means G constructed in section 4 have the following additional properties: i) The means G are increasing in each variable for = 1,2... ii) The means G are congruence invariant. For any invertible operator C on H the identity G C A 1 C,...,C A C) = C G A 1,...,A )C holds for A 1,...,A ) D + and = 1,2,... iii) The means G are jointly homogeneous in the sense that G t 1 A 1,...,t A ) = t 1 t ) 1/ GA 1,...,A ) for scalars t 1,...,t > 0, operators A 1,...,A ) D + and = 1,2,... iv) The means G are self-dual in the sense that G A 1 1,...,A 1 ) = G A 1,...,A ) 1 for A 1,...,A ) D + and = 1,2,... v) When restricted to positive definite matrices the determinant identity holds for = 1,2... detg A 1,...,A ) = deta 1 deta ) 1/ Proof. The first property follows by the following standard argument for positive concave mappings. Consider positive definite invertible operators A m B m for m = 1,...,. By first assuming that the difference B m A m is invertible we may tae λ 0,1) and write λb m = λa m +1 λ)c m m = 1,...,, 13
14 where C m = λ1 λ) 1 B m A m ) is positive definite and invertible. By using concavity we then obtain G λb 1,...,λB ) λga 1,...,A )+1 λ)g C 1,...,C ) λga 1,...,A ). Letting λ 1 we obtain G B 1,...,B ) G A 1,...,A ) by continuity. In the general case we choose 0 < µ < 1 such that µa m < A m B m m = 1,..., and obtain G µa 1,...,µA ) G B 1,...,B ). By letting µ 1 we then obtain G A 1,...,A ) G B 1,...,B ) which shows i). Since G is concave and homogeneous we obtainii) from Proposition 2.3. Property iii) is immediate for = 1 and = 2. Suppose the property is verified for, then G t 1 A 1,...,t A,t A ) = t A 1/2 F = t A 1/2 G t1 t 1 A 1/2 A 1A 1/2,...,t t 1 A 1/2 A A 1/2 t1 t 1 A 1/2 A 1A 1/2,...,t t 1 A 1/2 A A 1/2 By using the induction assumption we obtain G t 1 A 1,...,t A,t A ) ) A 1/2 = t t 1 t1/ 1 t 1/ ) /) G A 1,...,A,A ) = t 1 t t ) 1/) G A 1,...,A,A ) ) /)A 1/2. which shows iii). Property iv) is immediate for = 1 and = 2. Suppose the property is verified for, then G A 1 1,...,A 1,A 1 = A 1/2 F = A 1/2 G ) 1/2 A A 1 1 A 1/2,...,A1/2 A 1 A1/2 A 1/2 A 1 1 A1/2,...,A1/2 A 1 A1/2 ) A 1/2 ) /) A 1/2. 14
15 By using the induction assumption we obtain G A 1 1,...,A 1 = A 1/2 G = A 1/2 G,A 1 ) 1/2 A A 1A 1/2,...,A 1/2 A A 1/2 1/2 A A 1A 1/2,...,A 1/2 A A 1/2 = G A 1,...,A,A ) 1 ) /)A 1/2 ) /) A 1/2 ) 1 which shows iv). Notice that since deta = exptr loga) for positive definite A, we have deta p = deta) p for all real exponents p. Property v) is easy to calculate for = 1 and = 2. Suppose the property is verified for. Since as above we obtain G A 1,...,A,A ) = A 1/2 G 1/2 A A 1A 1/2,...,A 1/2 A A 1/2 detg A 1,...,A,A ) = deta deta 1 deta 1 deta 1 deta = deta 1 deta deta ) 1/ which shows v). QED ) /) A 1/2 ) 1/) Theorem 4.3. The geometric means G are for = 1,2,... bounded between the symmetric harmonic and arithmetic means. That is, A A 1 G A 1,...,A ) A 1 + +A for arbitrary A 1,...,A ) D + and = 1,2,... Proof. The upper bound holds with equality for = 1. Suppose that we have verified the inequality for. Since by classical analysis X /) 1+ X 1) +1 15
16 for positive definite X, we obtain F A 1,...,A ) = GA 1,...,A ) /) GA 1,...,A ) 1) 1+ A1 + +A ) 1 = A 1 + +A By taing perspectives we now obtain G A 1,...,A,B) = P F A 1,...,A,B) = B 1/2 F B 1/2 A 1 B 1/2,...,B 1/2 A B 1/2 )B 1/2 B 1/2B 1/2 A 1 B 1/2 + +B 1/2 A B 1/2 +1 B 1/2 = A 1 + A +B which proves the upper bound by induction. We next use the upper bound to obtain G A 1 1,...,A 1 ) A A 1. By inversion we then obtain A A 1 G A 1 1,...,A 1 ) 1 = G A 1,...,A ), where we in the last equation used self-duality of the geometric mean, cf. property iv) in Theorem 4.2. QED The means studied in this section are nown in the literature as the inductive means of Sagae and Tanabe [14]. By considering the power mean A# t B = B 1/2 A 1/2 BA 1/2) t B 1/2 they established the recursive relation by setting 0 t 1 G A 1,...,A ) = G A 1,...,A )# /) A. The authors did not study the general properties of these means but established the harmonic-geometric-arithmetic mean inequality of Theorem 4.3. It is possible to prove the crucial concavity property iii) in Theorem 4.1 by induction. It can be done without the general theory of perspectives of regular operator mappings, and it only requires the properties of an operator mean of two variables as studied by Kubo and Ando [9]. However, this is a special situation that only applies to the inductive means. 16
17 4.2 Variant geometric means The inductive geometric means are uniquely specified within the general framewor discussed in this paper by choosing the updating condition 1), cf. property iv) in Theorem 4.1. We may instead construct geometric means satisfying updating condition 2) by choosing the auxiliary map F A 1,...,A ) = G A /) 1,...,A /) ) for = 1,2... It is a small exercise to realise that these means satisfy all of the properties listed in Theorem 4.1, Theorem 4.2, and Theorem 4.3 with the only exception that condition iv) in Theorem 4.1 is replaced by updating condition 2). Concavity of these means cannot be reduced to concavity of operator means of two variables but relies on the general theory of regular operator mappings and Theorem The Karcher means The Karcher mean Λ A 1,...,A ) of positive definite invertible operator variables is defined as the unique positive definite solution to the equation 8) log X 1/2 A i X 1/2) = 0, i=1 and it enjoys all of the attractive properties of an operator mean listed by Ando, Li, and Mathias, cf. [10]. The defining equation 8) immediately implies that the Karcher mean Λ : D+ BH) is a regular operator mapping, and it may therefore be understood within the general framewor discussed in this paper by choosing the auxiliary map F A 1,...,A ) = Λ A 1,...,A,1). The problem, however, is that we do not have any explicit expression of F in terms of Λ. References [1] T. Ando, C.-K. Li, and R. Mathias. Geometric means. Linear Algebra Appl., 385: ,
18 [2] R. Bhatia and J. Holbroo. Riemannian geometry and matrix geometric means. Linear Algebra and Its Applications, 413: , [3] C. Davis. A Schwarz inequality for convex operator functions. Proc. Amer. Math. Soc., 8:42 44, [4] E. Effros and F. Hansen. Non-commutative perspectives. Annals of Functional Analysis, 52):74 79, [5] E.G. Effros. A matrix convexity approach to some celebrated quantum inequalities. Proc. Natl. Acad. Sci. USA, 106: , [6] F. Hansen. Means and concave products of positive semi-definite matrices. Math. Ann., 264: , [7] F. Hansen and Pedersen G.K. Jensen s operator inequality. Bull. London Math. Soc., 35: , [8] H. Kosai. Geometric mean of several operators [9] F. Kubo and T. Ando. Means of positive linear operators. Math. Ann., 246: , [10] J. Lawson and Y. Lim. Karcher means and Karcher equations of positive definite operators. Trans. Amer. Math. Soc., Series B, 1:1 22, [11] Y. Lim and M. Pálfia. Matrix power means and the Karcher mean. Journal of Functional Analysis, 262: , [12] M. Moaher. A differential geometric approach to the geometric mean of symmetric positive-definite matrices. SIAM J. Matrix. Anal. Appl., 263): , [13] W. Pusz and S.L. Woronowicz. Functional calculus for sesquilinear forms and the purification map. Rep. Math. Phys., 8: , [14] M. Sagae and K. Tanabe. Upper and lower bounds for the arithmeticgeometric-harmonic means of positive definite matrices. Linear and Multilinear Algebra, 37: , Fran Hansen: Institute of Excellence in Higher Education, Tohou University, Japan. fran.hansen@m.tohou.ac.jp. 18
The Metric Geometry of the Multivariable Matrix Geometric Mean
Trieste, 2013 p. 1/26 The Metric Geometry of the Multivariable Matrix Geometric Mean Jimmie Lawson Joint Work with Yongdo Lim Department of Mathematics Louisiana State University Baton Rouge, LA 70803,
More informationJENSEN S OPERATOR INEQUALITY AND ITS CONVERSES
MAH. SCAND. 100 (007, 61 73 JENSEN S OPERAOR INEQUALIY AND IS CONVERSES FRANK HANSEN, JOSIP PEČARIĆ and IVAN PERIĆ (Dedicated to the memory of Gert K. Pedersen Abstract We give a general formulation of
More informationGaps between classes of matrix monotone functions
arxiv:math/0204204v [math.oa] 6 Apr 2002 Gaps between classes of matrix monotone functions Frank Hansen, Guoxing Ji and Jun Tomiyama Introduction April 6, 2002 Almost seventy years have passed since K.
More informationarxiv: v1 [math.fa] 30 Oct 2011
AROUND OPERATOR MONOTONE FUNCTIONS MOHAMMAD SAL MOSLEHIAN AND HAMED NAJAFI arxiv:111.6594v1 [math.fa] 3 Oct 11 Abstract. We show that the symmetrized product AB + BA of two positive operators A and B is
More informationNorm inequalities related to the matrix geometric mean
isid/ms/2012/07 April 20, 2012 http://www.isid.ac.in/ statmath/eprints Norm inequalities related to the matrix geometric mean RAJENDRA BHATIA PRIYANKA GROVER Indian Statistical Institute, Delhi Centre
More informationCOMMUTATIVITY OF OPERATORS
COMMUTATIVITY OF OPERATORS MASARU NAGISA, MAKOTO UEDA, AND SHUHEI WADA Abstract. For two bounded positive linear operators a, b on a Hilbert space, we give conditions which imply the commutativity of a,
More informationAPPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.
APPENDIX A Background Mathematics A. Linear Algebra A.. Vector algebra Let x denote the n-dimensional column vector with components 0 x x 2 B C @. A x n Definition 6 (scalar product). The scalar product
More informationMixed matrix (operator) inequalities
Linear Algebra and its Applications 341 (2002) 249 257 www.elsevier.com/locate/laa Mixed matrix (operator) inequalities Mitsuru Uchiyama Department of Mathematics, Fukuoka University of Education, Munakata,
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics KANTOROVICH TYPE INEQUALITIES FOR 1 > p > 0 MARIKO GIGA Department of Mathematics Nippon Medical School 2-297-2 Kosugi Nakahara-ku Kawasaki 211-0063
More informationDifferent quantum f-divergences and the reversibility of quantum operations
Different quantum f-divergences and the reversibility of quantum operations Fumio Hiai Tohoku University 2016, September (at Budapest) Joint work with Milán Mosonyi 1 1 F.H. and M. Mosonyi, Different quantum
More informationYONGDO LIM. 1. Introduction
THE INVERSE MEAN PROBLEM OF GEOMETRIC AND CONTRAHARMONIC MEANS YONGDO LIM Abstract. In this paper we solve the inverse mean problem of contraharmonic and geometric means of positive definite matrices (proposed
More informationStability of Adjointable Mappings in Hilbert
Stability of Adjointable Mappings in Hilbert arxiv:math/0501139v2 [math.fa] 1 Aug 2005 C -Modules M. S. Moslehian Abstract The generalized Hyers Ulam Rassias stability of adjointable mappings on Hilbert
More information2. reverse inequalities via specht ratio To study the Golden-Thompson inequality, Ando-Hiai in [1] developed the following log-majorizationes:
ON REVERSES OF THE GOLDEN-THOMPSON TYPE INEQUALITIES MOHAMMAD BAGHER GHAEMI, VENUS KALEIBARY AND SHIGERU FURUICHI arxiv:1708.05951v1 [math.fa] 20 Aug 2017 Abstract. In this paper we present some reverses
More informationSingular Value Inequalities for Real and Imaginary Parts of Matrices
Filomat 3:1 16, 63 69 DOI 1.98/FIL16163C Published by Faculty of Sciences Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Singular Value Inequalities for Real Imaginary
More informationClarkson Inequalities With Several Operators
isid/ms/2003/23 August 14, 2003 http://www.isid.ac.in/ statmath/eprints Clarkson Inequalities With Several Operators Rajendra Bhatia Fuad Kittaneh Indian Statistical Institute, Delhi Centre 7, SJSS Marg,
More information1 Positive and completely positive linear maps
Part 5 Functions Matrices We study functions on matrices related to the Löwner (positive semidefinite) ordering on positive semidefinite matrices that A B means A B is positive semi-definite. Note that
More informationThe matrix arithmetic-geometric mean inequality revisited
isid/ms/007/11 November 1 007 http://wwwisidacin/ statmath/eprints The matrix arithmetic-geometric mean inequality revisited Rajendra Bhatia Fuad Kittaneh Indian Statistical Institute Delhi Centre 7 SJSS
More informationKantorovich type inequalities for ordered linear spaces
Electronic Journal of Linear Algebra Volume 20 Volume 20 (2010) Article 8 2010 Kantorovich type inequalities for ordered linear spaces Marek Niezgoda bniezgoda@wp.pl Follow this and additional works at:
More informationELA MAPS PRESERVING GENERAL MEANS OF POSITIVE OPERATORS
MAPS PRESERVING GENERAL MEANS OF POSITIVE OPERATORS LAJOS MOLNÁR Abstract. Under some mild conditions, the general form of bijective transformations of the set of all positive linear operators on a Hilbert
More informationSpectral Theorem for Self-adjoint Linear Operators
Notes for the undergraduate lecture by David Adams. (These are the notes I would write if I was teaching a course on this topic. I have included more material than I will cover in the 45 minute lecture;
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J Math Anal (009), no, 64 76 Banach Journal of Mathematical Analysis ISSN: 75-8787 (electronic) http://wwwmath-analysisorg ON A GEOMETRIC PROPERTY OF POSITIVE DEFINITE MATRICES CONE MASATOSHI ITO,
More informationNotes on matrix arithmetic geometric mean inequalities
Linear Algebra and its Applications 308 (000) 03 11 www.elsevier.com/locate/laa Notes on matrix arithmetic geometric mean inequalities Rajendra Bhatia a,, Fuad Kittaneh b a Indian Statistical Institute,
More informationRepresentation of doubly infinite matrices as non-commutative Laurent series
Spec. Matrices 217; 5:25 257 Research Article Open Access María Ivonne Arenas-Herrera and Luis Verde-Star* Representation of doubly infinite matrices as non-commutative Laurent series https://doi.org/1.1515/spma-217-18
More informationThis is a submission to one of journals of TMRG: BJMA/AFA EXTENSION OF THE REFINED JENSEN S OPERATOR INEQUALITY WITH CONDITION ON SPECTRA
This is a submission to one of journals of TMRG: BJMA/AFA EXTENSION OF THE REFINED JENSEN S OPERATOR INEQUALITY WITH CONDITION ON SPECTRA JADRANKA MIĆIĆ, JOSIP PEČARIĆ AND JURICA PERIĆ3 Abstract. We give
More informationarxiv: v1 [math.fa] 26 May 2012
EXPONENTIALS OF BOUNDED NORMAL OPERATORS arxiv:1205.5888v1 [math.fa] 26 May 2012 AICHA CHABAN 1 AND MOHAMMED HICHEM MORTAD 2 * Abstract. The present paper is mainly concerned with equations involving exponentials
More informationSpectral inequalities and equalities involving products of matrices
Spectral inequalities and equalities involving products of matrices Chi-Kwong Li 1 Department of Mathematics, College of William & Mary, Williamsburg, Virginia 23187 (ckli@math.wm.edu) Yiu-Tung Poon Department
More informationMoore Penrose inverses and commuting elements of C -algebras
Moore Penrose inverses and commuting elements of C -algebras Julio Benítez Abstract Let a be an element of a C -algebra A satisfying aa = a a, where a is the Moore Penrose inverse of a and let b A. We
More informationExtremal Characterizations of the Schur Complement and Resulting Inequalities
Extremal Characterizations of the Schur Complement and Resulting Inequalities Chi-Kwong Li and Roy Mathias Department of Mathematics College of William & Mary Williamsburg, VA 23187. E-mail: ckli@math.wm.edu
More informationSEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES
SEMI-INNER PRODUCTS AND THE NUMERICAL RADIUS OF BOUNDED LINEAR OPERATORS IN HILBERT SPACES S.S. DRAGOMIR Abstract. The main aim of this paper is to establish some connections that exist between the numerical
More informationInequalities for Modules and Unitary Invariant Norms
Int. J. Contemp. Math. Sciences Vol. 7 202 no. 36 77-783 Inequalities for Modules and Unitary Invariant Norms Loredana Ciurdariu Department of Mathematics Politehnica University of Timisoara P-ta. Victoriei
More informationCONSTRUCTIVE GELFAND DUALITY FOR C*-ALGEBRAS
CONSTRUCTIVE GELFAND DUALITY FOR C*-ALGEBRAS THIERRY COQUAND COMPUTING SCIENCE DEPARTMENT AT GÖTEBORG UNIVERSITY AND BAS SPITTERS DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE, EINDHOVEN UNIVERSITY OF
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationJensen s Operator and Applications to Mean Inequalities for Operators in Hilbert Space
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. 351 01 1 14 Jensen s Operator and Applications to Mean Inequalities for Operators in Hilbert
More informationPRODUCT OF OPERATORS AND NUMERICAL RANGE
PRODUCT OF OPERATORS AND NUMERICAL RANGE MAO-TING CHIEN 1, HWA-LONG GAU 2, CHI-KWONG LI 3, MING-CHENG TSAI 4, KUO-ZHONG WANG 5 Abstract. We show that a bounded linear operator A B(H) is a multiple of a
More informationEigenvalue inequalities for convex and log-convex functions
Linear Algebra and its Applications 44 (007) 5 35 www.elsevier.com/locate/laa Eigenvalue inequalities for convex and log-convex functions Jaspal Singh Aujla a,, Jean-Christophe Bourin b a Department of
More informationWavelets and Linear Algebra
Wavelets and Linear Algebra () (05) 49-54 Wavelets and Linear Algebra http://wala.vru.ac.ir Vali-e-Asr University of Rafsanjan Schur multiplier norm of product of matrices M. Khosravia,, A. Sheikhhosseinia
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationIMPROVED ARITHMETIC-GEOMETRIC AND HEINZ MEANS INEQUALITIES FOR HILBERT SPACE OPERATORS
IMPROVED ARITHMETI-GEOMETRI AND HEINZ MEANS INEQUALITIES FOR HILBERT SPAE OPERATORS FUAD KITTANEH, MARIO KRNIĆ, NEDA LOVRIČEVIĆ, AND JOSIP PEČARIĆ Abstract. The main objective of this paper is an improvement
More informationImprovements on Geometric Means Related to the Tracy-Singh Products of Positive Matrices
MATEMATIKA, 2005, Volume 21, Number 2, pp. 49 65 c Department of Mathematics, UTM. Improvements on Geometric Means Related to the Tracy-Singh Products of Positive Matrices 1 Adem Kilicman & 2 Zeyad Al
More informationRefinements of the operator Jensen-Mercer inequality
Electronic Journal of Linear Algebra Volume 6 Volume 6 13 Article 5 13 Refinements of the operator Jensen-Mercer inequality Mohsen Kian moslehian@um.ac.ir Mohammad Sal Moslehian Follow this and additional
More informationMeans of unitaries, conjugations, and the Friedrichs operator
J. Math. Anal. Appl. 335 (2007) 941 947 www.elsevier.com/locate/jmaa Means of unitaries, conjugations, and the Friedrichs operator Stephan Ramon Garcia Department of Mathematics, Pomona College, Claremont,
More informationarxiv: v4 [math.fa] 19 Apr 2010
SEMIPROJECTIVITY OF UNIVERSAL C*-ALGEBRAS GENERATED BY ALGEBRAIC ELEMENTS TATIANA SHULMAN arxiv:0810.2497v4 [math.fa] 19 Apr 2010 Abstract. Let p be a polynomial in one variable whose roots either all
More informationarxiv: v1 [math.fa] 1 Oct 2015
SOME RESULTS ON SINGULAR VALUE INEQUALITIES OF COMPACT OPERATORS IN HILBERT SPACE arxiv:1510.00114v1 math.fa 1 Oct 2015 A. TAGHAVI, V. DARVISH, H. M. NAZARI, S. S. DRAGOMIR Abstract. We prove several singular
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationRiemannian geometry of positive definite matrices: Matrix means and quantum Fisher information
Riemannian geometry of positive definite matrices: Matrix means and quantum Fisher information Dénes Petz Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences POB 127, H-1364 Budapest, Hungary
More informationarxiv: v1 [math.fa] 13 Oct 2016
ESTIMATES OF OPERATOR CONVEX AND OPERATOR MONOTONE FUNCTIONS ON BOUNDED INTERVALS arxiv:1610.04165v1 [math.fa] 13 Oct 016 MASATOSHI FUJII 1, MOHAMMAD SAL MOSLEHIAN, HAMED NAJAFI AND RITSUO NAKAMOTO 3 Abstract.
More informationNON POSITIVELY CURVED METRIC IN THE SPACE OF POSITIVE DEFINITE INFINITE MATRICES
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 48, Número 1, 2007, Páginas 7 15 NON POSITIVELY CURVED METRIC IN THE SPACE OF POSITIVE DEFINITE INFINITE MATRICES ESTEBAN ANDRUCHOW AND ALEJANDRO VARELA
More informationarxiv: v1 [math.fa] 19 Aug 2017
EXTENSIONS OF INTERPOLATION BETWEEN THE ARITHMETIC-GEOMETRIC MEAN INEQUALITY FOR MATRICES M. BAKHERAD 1, R. LASHKARIPOUR AND M. HAJMOHAMADI 3 arxiv:1708.0586v1 [math.fa] 19 Aug 017 Abstract. In this paper,
More informationGeometric means of matrices: analysis and algorithms. Cor: Happy 60th. D.A. Bini Università di Pisa
Geometric means of matrices: analysis and algorithms D.A. Bini Università di Pisa VDM60 - Nonlinear Evolution Equations and Linear Algebra Cagliari September 2013 Cor: Happy 60th Outline 1 The problem
More informationBuzano Inequality in Inner Product C -modules via the Operator Geometric Mean
Filomat 9:8 (05), 689 694 DOI 0.98/FIL508689F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Buzano Inequality in Inner Product
More informationLecture 4: Purifications and fidelity
CS 766/QIC 820 Theory of Quantum Information (Fall 2011) Lecture 4: Purifications and fidelity Throughout this lecture we will be discussing pairs of registers of the form (X, Y), and the relationships
More information2019 Spring MATH2060A Mathematical Analysis II 1
2019 Spring MATH2060A Mathematical Analysis II 1 Notes 1. CONVEX FUNCTIONS First we define what a convex function is. Let f be a function on an interval I. For x < y in I, the straight line connecting
More information1 Functional Analysis
1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).
More informationOperator convex functions over C -algebras
Proceedings of the Estonian Academy of Sciences, 2010, 59, 1, 48 52 doi: 10.3176/proc.2010.1.08 Available online at www.eap.ee/proceedings Operator convex functions over C -algebras Sergei Silvestrov a,
More informationAnn. Funct. Anal. 5 (2014), no. 2, A nnals of F unctional A nalysis ISSN: (electronic) URL:www.emis.
Ann. Funct. Anal. 5 (2014), no. 2, 147 157 A nnals of F unctional A nalysis ISSN: 2008-8752 (electronic) URL:www.emis.de/journals/AFA/ ON f-connections OF POSITIVE DEFINITE MATRICES MAREK NIEZGODA This
More informationHERMITE-HADAMARD TYPE INEQUALITIES FOR OPERATOR GEOMETRICALLY CONVEX FUNCTIONS
HERMITE-HADAMARD TYPE INEQUALITIES FOR OPERATOR GEOMETRICALLY CONVEX FUNCTIONS A TAGHAVI, V DARVISH, H M NAZARI, S S DRAGOMIR Abstract In this paper, we introduce the concept of operator geometrically
More informationJensen s inequality for spectral order and submajorization
J. Math. Anal. Appl. 331 (2007) 297 307 www.elsevier.com/locate/jmaa Jensen s inequality for spectral order and submajorization Jorge Antezana, Pedro Massey, Demetrio Stojanoff Departamento de Matemática,
More informationarxiv: v1 [math.fa] 6 Nov 2015
CARTESIAN DECOMPOSITION AND NUMERICAL RADIUS INEQUALITIES FUAD KITTANEH, MOHAMMAD SAL MOSLEHIAN AND TAKEAKI YAMAZAKI 3 arxiv:5.0094v [math.fa] 6 Nov 05 Abstract. We show that if T = H + ik is the Cartesian
More informationarxiv: v1 [math.ra] 8 Apr 2016
ON A DETERMINANTAL INEQUALITY ARISING FROM DIFFUSION TENSOR IMAGING MINGHUA LIN arxiv:1604.04141v1 [math.ra] 8 Apr 2016 Abstract. In comparing geodesics induced by different metrics, Audenaert formulated
More informationSPECTRAL PROPERTIES OF JACOBI MATRICES OF CERTAIN BIRTH AND DEATH PROCESSES
J. OPERATOR THEORY 56:2(2006), 377 390 Copyright by THETA, 2006 SPECTRAL PROPERTIES OF JACOBI MATRICES OF CERTAIN BIRTH AND DEATH PROCESSES JAOUAD SAHBANI Communicated by Şerban Strătilă ABSTRACT. We show
More informationBrownian Motion and Stochastic Calculus
ETHZ, Spring 17 D-MATH Prof Dr Martin Larsson Coordinator A Sepúlveda Brownian Motion and Stochastic Calculus Exercise sheet 6 Please hand in your solutions during exercise class or in your assistant s
More informationAN EXTENDED MATRIX EXPONENTIAL FORMULA. 1. Introduction
Journal of Mathematical Inequalities Volume 1, Number 3 2007), 443 447 AN EXTENDED MATRIX EXPONENTIAL FORMULA HEESEOP KIM AND YONGDO LIM communicated by J-C Bourin) Abstract In this paper we present matrix
More informationCourse 224: Geometry - Continuity and Differentiability
Course 224: Geometry - Continuity and Differentiability Lecture Notes by Prof. David Simms L A TEXed by Chris Blair 1 Continuity Consider M, N finite dimensional real or complex vector spaces. What does
More informationGROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION
Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations
More informationTHE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS
THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a
More informationLecture 3 - Tuesday July 5th
Lecture 3 - Tuesday July 5th jacques@ucsd.edu Key words: Identities, geometric series, arithmetic series, difference of powers, binomial series Key concepts: Induction, proofs of identities 3. Identities
More informationarxiv:math/ v1 [math.oa] 9 May 2005
arxiv:math/0505154v1 [math.oa] 9 May 2005 A GENERALIZATION OF ANDÔ S THEOREM AND PARROTT S EXAMPLE DAVID OPĚLA Abstract. Andô s theorem states that any pair of commuting contractions on a Hilbert space
More informationMATH 217A HOMEWORK. P (A i A j ). First, the basis case. We make a union disjoint as follows: P (A B) = P (A) + P (A c B)
MATH 217A HOMEWOK EIN PEASE 1. (Chap. 1, Problem 2. (a Let (, Σ, P be a probability space and {A i, 1 i n} Σ, n 2. Prove that P A i n P (A i P (A i A j + P (A i A j A k... + ( 1 n 1 P A i n P (A i P (A
More informationAbstract. In this article, several matrix norm inequalities are proved by making use of the Hiroshima 2003 result on majorization relations.
HIROSHIMA S THEOREM AND MATRIX NORM INEQUALITIES MINGHUA LIN AND HENRY WOLKOWICZ Abstract. In this article, several matrix norm inequalities are proved by making use of the Hiroshima 2003 result on majorization
More informationA generalization of Araki s log-majorization
A generalization of Araki s log-majorization Fumio Hiai 1 arxiv:1601.01715v2 [math.ra] 14 Jan 2016 1 Tohoku University Emeritus), Hakusan 3-8-16-303, Abiko 270-1154, Japan Abstract We generalize Araki
More informationNumerical Ranges and Dilations. Dedicated to Professor Yik-Hoi Au-Yeung on the occasion of his retirement
Numerical Ranges and Dilations Dedicated to Professor Yik-Hoi Au-Yeung on the occasion of his retirement Man-Duen Choi Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 3G3.
More informationInequalities among quasi-arithmetic means for continuous field of operators
Filomat 26:5 202, 977 99 DOI 0.2298/FIL205977M Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Inequalities among quasi-arithmetic
More informationSome Inequalities for Commutators of Bounded Linear Operators in Hilbert Spaces
Some Inequalities for Commutators of Bounded Linear Operators in Hilbert Spaces S.S. Dragomir Abstract. Some new inequalities for commutators that complement and in some instances improve recent results
More informationMATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003
MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003 1. True or False (28 points, 2 each) T or F If V is a vector space
More informationLoos Symmetric Cones. Jimmie Lawson Louisiana State University. July, 2018
Louisiana State University July, 2018 Dedication I would like to dedicate this talk to Joachim Hilgert, whose 60th birthday we celebrate at this conference and with whom I researched and wrote a big blue
More informationSome Hermite-Hadamard type integral inequalities for operator AG-preinvex functions
Acta Univ. Sapientiae, Mathematica, 8, (16 31 33 DOI: 1.1515/ausm-16-1 Some Hermite-Hadamard type integral inequalities or operator AG-preinvex unctions Ali Taghavi Department o Mathematics, Faculty o
More informationSingular Value and Norm Inequalities Associated with 2 x 2 Positive Semidefinite Block Matrices
Electronic Journal of Linear Algebra Volume 32 Volume 32 (2017) Article 8 2017 Singular Value Norm Inequalities Associated with 2 x 2 Positive Semidefinite Block Matrices Aliaa Burqan Zarqa University,
More informationOn an operator inequality
Linear Algebra and its Applications 310 (000 3 7 www.elsevier.com/locate/laa On an operator inequality Jaspal Singh Aujla Department of Applied Mathematics, Regional Engineering College, Jalandhar 1011,
More informationCompact operators, the essential spectrum and the essential numerical range
Mathematical Communications (998), 0-08 0 Compact operators, the essential spectrum and the essential numerical range Damir Bakić Abstract. Some properties of bounded operators on Hilbert space concerned
More informationOn (T,f )-connections of matrices and generalized inverses of linear operators
Electronic Journal of Linear Algebra Volume 30 Volume 30 (2015) Article 33 2015 On (T,f )-connections of matrices and generalized inverses of linear operators Marek Niezgoda University of Life Sciences
More informationInequalities involving eigenvalues for difference of operator means
Electronic Journal of Linear Algebra Volume 7 Article 5 014 Inequalities involving eigenvalues for difference of operator means Mandeep Singh msrawla@yahoo.com Follow this and additional works at: http://repository.uwyo.edu/ela
More informationON THE HÖLDER CONTINUITY OF MATRIX FUNCTIONS FOR NORMAL MATRICES
Volume 10 (2009), Issue 4, Article 91, 5 pp. ON THE HÖLDER CONTINUITY O MATRIX UNCTIONS OR NORMAL MATRICES THOMAS P. WIHLER MATHEMATICS INSTITUTE UNIVERSITY O BERN SIDLERSTRASSE 5, CH-3012 BERN SWITZERLAND.
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Math 0 Solutions to homework Due 9//6. An element [a] Z/nZ is idempotent if [a] 2 [a]. Find all idempotent elements in Z/0Z and in Z/Z. Solution. First note we clearly have [0] 2 [0] so [0] is idempotent
More informationarxiv: v1 [math.ca] 7 Jan 2015
Inertia of Loewner Matrices Rajendra Bhatia 1, Shmuel Friedland 2, Tanvi Jain 3 arxiv:1501.01505v1 [math.ca 7 Jan 2015 1 Indian Statistical Institute, New Delhi 110016, India rbh@isid.ac.in 2 Department
More informationThe second dual of a C*-algebra
The second dual of a C*-algebra The main goal is to expose a short proof of the result of Z Takeda, [Proc Japan Acad 30, (1954), 90 95], that the second dual of a C*-algebra is, in effect, the von Neumann
More informationOperators with Compatible Ranges
Filomat : (7), 579 585 https://doiorg/98/fil7579d Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://wwwpmfniacrs/filomat Operators with Compatible Ranges
More informationABELIAN SELF-COMMUTATORS IN FINITE FACTORS
ABELIAN SELF-COMMUTATORS IN FINITE FACTORS GABRIEL NAGY Abstract. An abelian self-commutator in a C*-algebra A is an element of the form A = X X XX, with X A, such that X X and XX commute. It is shown
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationConvergent Iterative Algorithms in the 2-inner Product Space R n
Int. J. Open Problems Compt. Math., Vol. 6, No. 4, December 2013 ISSN 1998-6262; Copyright c ICSRS Publication, 2013 www.i-csrs.org Convergent Iterative Algorithms in the 2-inner Product Space R n Iqbal
More informationNon-commutative Holomorphic Functions on Operator Domains
Non-commutative Holomorphic Functions on Operator Domains Jim Agler Dept of Mathematics UC San Diego 9500 Gilman Drive La Jolla, CA 92093 John E McCarthy Dept of Mathematics Washington University 1 Brookings
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationInterpolating the arithmetic geometric mean inequality and its operator version
Linear Algebra and its Applications 413 (006) 355 363 www.elsevier.com/locate/laa Interpolating the arithmetic geometric mean inequality and its operator version Rajendra Bhatia Indian Statistical Institute,
More informationJENSEN S OPERATOR AND APPLICATIONS TO MEAN INEQUALITIES FOR OPERATORS IN HILBERT SPACE
JENSEN S OPERATOR AND APPLICATIONS TO MEAN INEQUALITIES FOR OPERATORS IN HILBERT SPACE MARIO KRNIĆ NEDA LOVRIČEVIĆ AND JOSIP PEČARIĆ Abstract. In this paper we consider Jensen s operator which includes
More informationComplex symmetric operators
Complex symmetric operators Stephan Ramon Garcia 1 Complex symmetric operators This section is a brief introduction to complex symmetric operators, a certain class of Hilbert space operators which arise
More information5 Constructions of connections
[under construction] 5 Constructions of connections 5.1 Connections on manifolds and the Levi-Civita theorem We start with a bit of terminology. A connection on the tangent bundle T M M of a manifold M
More information1. General Vector Spaces
1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationInequalities for the numerical radius, the norm and the maximum of the real part of bounded linear operators in Hilbert spaces
Available online at www.sciencedirect.com Linear Algebra its Applications 48 008 980 994 www.elsevier.com/locate/laa Inequalities for the numerical radius, the norm the maximum of the real part of bounded
More informationarxiv: v1 [cs.it] 12 Jun 2016
New Permutation Trinomials From Niho Exponents over Finite Fields with Even Characteristic arxiv:606.03768v [cs.it] 2 Jun 206 Nian Li and Tor Helleseth Abstract In this paper, a class of permutation trinomials
More informationarxiv: v1 [math.ca] 31 Jan 2016
ASYMPTOTIC STABILITY OF THE CAUCHY AND JENSEN FUNCTIONAL EQUATIONS ANNA BAHYRYCZ, ZSOLT PÁLES, AND MAGDALENA PISZCZEK arxiv:160.00300v1 [math.ca] 31 Jan 016 Abstract. The aim of this note is to investigate
More information