Some inequalities involving determinants, eigenvalues, and Schur complements in Euclidean Jordan algebras

positivity manuscript No. (will be inserted by the editor) Some inequalities involving determinants, eigenvalues, and Schur complements in Euclidean Jordan algebras M. Seetharama Gowda Jiyuan Tao February 9, 200, Revised July 8, 200 Abstract In this paper, using Schur complements, we prove various inequalities in Euclidean Jordan algebras. Specifically, we study analogues of the inequalities of Fischer, Hadamard, Bergstrom, Oppenheim, and other inequalities related to determinants, eigenvalues, and Schur complements. Keywords Euclidean Jordan algebras Cauchy interlacing theorem Schur complement Schur interlacing inequalities Mathematics Subject Classification (2000) 5A33 7C20 7C55 Introduction Inequalities abound in matrix theory. A number of them are derived from classical results involving norms, eigenvalues, Schur complements, Schur products, etc. In this paper, we consider some inequalities that arise from Schur complements and study their analogues in the setting of Euclidean Jordan algebras. Given a complex matrix M in the block form [ ] A B M = () C D M. Seetharama Gowda Department of Mathematics and Statistics University of Maryland Baltimore County Baltimore, Maryland 2250, USA, E-mail: gowda@math.umbc.edu Jiyuan Tao Department of Mathematical Sciences Loyola University Maryland Baltimore, Maryland 220, USA, E-mail: jtao@loyola.edu

2 with A invertible, the Schur complement of A in M is M/A = D CA B. The Schur complement enjoys numerous properties such as the Schur determinantal formula, the Haynsworth inertia formula, the Guttman rank formula, etc., and appears in various applications [22]. While the above definition continues to hold for quaternionic matrices, for lack of associativity property, it is not defined for octonionic matrices; lack of a nontrivial multiplicative determinant for matrices over quaternions and octonions [2] is perhaps another reason why Schur complements have not been studied for matrices over such numbers. However, the concept of Schur complement can be studied for square Hermitian matrices (of suitable size) over quaternions and octonions, and more generally over Euclidean Jordan algebras. Consider a Euclidean Jordan algebra V (which is a finite dimensional real inner product space with a compatible Jordan product), an idempotent c V (that is, c 2 = c), and the corresponding Peirce decomposition [5] V = V (c, ) V (c, ) V (c, 0), (2) 2 where V (c, γ) = {x V : x c = γx} and γ {0, 2, }. For any x V, let x = u + v + w, (3) where u V (c, ), v V (c, 2 ), and w V (c, 0). When u is invertible in the Euclidean Jordan (sub)algebra V (c, ), let u denote the inverse of u in V (c, ). In this case, the Schur complement of u in x is defined by x/u := w P v (u ), where, for any element a V, the quadratic representation P a is defined on V by P a (z) = 2a (a z) (a a) z (z V ). (4) The concept of Schur complement was introduced in [5], see also [4], where it was shown that x/u V (c, 0) and det(x) = det(u) det(x/u). (5) Here, the determinants det(x), det(u), and det(x/u) are taken in the algebras V, V (c, ), and V (c, 0) respectively. In a recent article [8], Gowda and Sznajder showed that (i) In(x) = In(u) + In(x/u), (ii) x > 0 ( 0) in V if and only if u > 0 ( 0) in V (c, ) and x/u > 0 ( 0) in V (c, 0), and (iii) rank(x) = rank(u) + rank(x/u),

3 where In(x) and rank(x) denote the inertia and rank of an element x respectively, and x 0 means that x belongs to the symmetric cone in V. With appropriate identification, the above results reduce to the familiar results of matrix theory in the algebras Herm(R n n ) and Herm(C n n ) of all n n Hermitian matrices over real numbers and complex numbers. Items (i) (iii) show that they continue to hold even in Herm(H n n ) (the algebra of all n n Hermitian matrices over quaternions), Herm(O 3 3 ) (the algebra of all 3 3 Hermitian matrices over octonions), and the Jordan spin algebra L n. As we shall see, these items will allow us to extend many of the (real/complex) matrix theory results to Hermitian matrices over quaternions/octonions and to objects in L n. In this paper, we study some inequalities that arise via Schur complements in the setting of Euclidean Jordan algebras. Specifically, we study analogues of inequalities due to Fischer, Hadamard, Bergstrom, Oppenheim, and inequalities related to determinants and eigenvalues. The organization of the paper is as follows. In Section 2, we recall various concepts, results, and notation from Euclidean Jordan algebra theory. Section 3 deals with some inequalities involving quadratic representations and determinants. In Section 4, we study analogues of inequalities of Hadamard, Fischer, and Bergstrom. An inequality involving the sum of two Schur complements is also presented in this section. In Section 5, we consider interlacing inequalities for Schur complements. Section 6 deals with the (new) concept of Schur (or Hadamard) product of two objects in a Euclidean Jordan algebra when their Peirce decompositions with respect to a Jordan frame are given. A generalization of Schur s product theorem and related results are also studied in this section. Finally, in Section 7, we present a converse of the Schur complement interlacing theorem. 2 Preliminaries Throughout this paper, we let (V,,, ) denote a Euclidean Jordan algebra of rank r [5], [9], [8]. The symmetric cone of V is the cone of squares K := {x 2 : x V }. We use the notation x y (x > y) when x y K (respectively, x y interior(k)). As is well known, any Euclidean Jordan algebra is a product of simple Euclidean Jordan algebras and every simple algebra is isomorphic to the Jordan spin algebra L n or to the algebra of all n n real/complex/quaternion Hermitian matrices or to the algebra of all 3 3 octonion Hermitian matrices. Given a Euclidean Jordan algebra V of rank r, for every x V, there exist a Jordan frame {e,..., e r } and unique real numbers λ,...,λ r called the (spectral) eigenvalues of x such that x = λ e + + λ r e r. (6)

4 We remark that these eigenvalues coincide with the real right eigenvalues of matrices in Herm(R n n ), Herm(C n n ), and Herm(H n n ). However, they can be different for matrices in Herm(O 3 3 ), see [3], [7]. Corresponding to the spectral decomposition of x given by (6), the determinant, inertia and rank of x are respectively defined by det(x) := λ λ 2...λ r, (7) In(x) := (π(x), ν(x), δ(x)), and rank(x) = π(x) + ν(x), (8) where π(x), ν(x), and δ(x) are, respectively, the number of eigenvalues of x which are positive, negative, and zero, counting multiplicities. We note that x > 0 (x 0) if and only if all eigenvalues of x are positive (respectively, nonnegative). When all the eigenvalues λ i are nonzero, we define the inverse of x by x := λ e + + λ r e r. Referring to the space V (c, ) defined in (2), if {e, e 2,...,e k } is a Jordan frame in V (c, ) with c = e + e 2 + + e k and u = λ e + λ 2 e 2 + + λ k e k is invertible in V (c, ), we define the (partial) inverse of u in V (c, ) by u = λ e + + λ k e k + 0f k+ + + 0f r, where {f k+, f k+2,...,f r } is any Jordan frame in V (c, 0). Given two elements a and b, we say that a and b operator commute if a (b x) = b (a x) x V. (This is equivalent to saying that a and b have their spectral decompositions with respect to a common Jordan frame.) Let {e, e 2,..., e r } be a Jordan frame in V. For i, j {, 2,..., r}, the Peirce eigenspaces are given by and when i j, V ii := {x V : x e i = x} = Re i V ij := {x V : x e i = 2 x = x e j}. It is well known that V is an orthogonal direct sum of V ij s with i j. In particular, any element x V can be written as an orthogonal sum x = i j r x ij = r x i e i + i= i<j r x ij (9) where x i R and x ij V ij. This expression is the Peirce decomposition of x with respect to {e, e 2,..., e r }. If c = e + e 2 + + e k, the decompositions (3) and (9) are related by u = x ij, w = x ij, and v = x u w. (0) i j k k+ i j r

5 In addition, see Page 64, [5], u = P c (x). We collect below some properties of quadratic representations defined by (4) that are needed in this paper. Proposition For any a, z V, the following hold: (i) P a is linear and self-adjoint. (ii) P a (K) K with equality when a is invertible. (iii) det(p a (z)) = (det(a)) 2 det(z). (iv) P Pa(z) = P a P z P a. (v) P a (z) is invertible if and only if a and z are invertible, in which case, [P a (z)] = P a (z ). (vi) If {e, e 2,..., e r } is a Jordan frame, a = r a ie i and z = i j z ij, then P a (z) = i j a i a j z ij. Regarding Schur complements, we have Theorem ([5], [8]) The following statements hold: (a) x/u V (c, 0). In addition, if x is invertible in V, then the component of x in V (c, 0) is (x/u). (b) x/u = x P x (u ). Given any set of numbers {b, b 2,..., b r }, we denote the decreasing rearrangement by {b, b 2,...,b r}; in particular, for z V, λ i (z) (i =, 2,..., r) denote the eigenvalues of z written in the decreasing order. A consequence of Hirzebruch s min-max theorem, see [], is the following: When V is simple with rank r, for any two elements x, y, we have x y λ i (x) λ i (y) i =, 2...,r. We recall the Cauchy interlacing theorem in Euclidean Jordan algebras [0]: Theorem 2 Let V be simple and {e, e 2,..., e r } be a Jordan frame. For any element z V, let z := P e+e 2+ +e k (z). Then λ i (z) λ i (z) λ r k+i (z) (i =, 2,...,k). We conclude this section by recalling the description of the Jordan spin algebra L n. For the Jordan spin algebra L n, the underlying space is R n, n >. We write any element x in the form [ ] x0 x = x ()

6 with x 0 R and x R n. The inner product in L n is the usual inner product on R n. The Jordan product x y in L n is defined by x y = [ x0 x ] [ y0 ] [ ] x, y y := x 0 y + y 0 x. Then L n is a Euclidean Jordan algebra of rank 2 and for any element x L n, see Example 0 in [8], the eigenvalues and the determinant are given by λ (x) = x 0 + x, λ 2 (x) = x 0 x, (2) and det(x) = x 2 0 x 2. Now consider any Jordan frame {e, e 2 } in L n. Then there exists (see e.g., Lemma 2.3., [20]) a unit vector u R n such that e := 2 [ u ] and e 2 := 2 [ u ]. With respect to this, any x L n given by () has a Peirce decomposition x = [ x0 x ] [ ] [ ] [ ] 0 = x e + x 2 e 2 + x 2 = x 2 u + x 2 2 u + z (3) where z R n with u, z = 0. (This is easy to verify, see e.g., Lemma 2.3.4, [20].) Given the above Peirce decomposition with u := x e 0, we have x/u = x 2 e 2 P x2 (x e ) = x x 2 x 2 2 e 2 = det(x) det(u) e 2. x From now onwards, our setting is that of a (general) Euclidean Jordan algebra. 3 Inequalities involving quadratic representations and determinants In this section, we present a few inequalities involving quadratic representations and determinants. These results, while known, are presented here for completeness, and for the novelty/simplicity of their proofs. We begin with a lemma that will facilitate the proofs of some of our results. Lemma Let x 0 and y 0. Then there exists d > 0 such that a = P d (x) and b = P d (y) operator commute. In particular, if x > 0, we can take a = e.

7 Proof Without loss of generality, we assume that x + y 0. Let the spectral decomposition of x + y be given by where λ i > 0. Now, define Then x + y = d = k k λ i e i + P d (x + y) = λi e i + r 0e i, k+ r e j. k+ k e i =: c. Put a := P d (x) and b := P d (y). Then a 0 and b 0. Since a + b = c V (c, ) K and V (c, ) K is a face of K (see, [7], Theorem 3.), we have a, b V (c, ). As c is the unit element of V (c, ), we see that a and b (= c a) operator commute in V (c, ), and hence in V. Finally, if x > 0, we may choose a d > 0 such that P d (x) = e (which can be seen by putting y = 0 in the previous argument). Hence e = P d (x) operator commutes with P d (y). Corollary (Cf. [6] or [5], Exercise 7, page 59) If x y > 0, then x y. Proof Let x y > 0. When x and y operator commute, we can compare the eigenvalues of x and y, and get the result. In the general case, by Lemma, there exists a d > 0 such that a = P d (x) and b = P d (y) operator commute. Since a b > 0, we have a b and a b [P d (x)] [P d (y)] P d (x ) P d (y ) x y. This completes the proof. Corollary 2 If x 0 and y 0, then det(x + y) det(x) + det(y). Proof For any two sets of nonnegative numbers x i and y i, i =, 2,..., r, r (x i + y i ) r x i + r y i. This inequality proves our result when x and y operator commute (so that they have spectral expansions with respect to a common Jordan frame). Now assume that x 0 and y 0 are arbitrary. Then by Lemma, there exists d > 0 such that a = P d (x) and b = P d (y) operator commute. Since a 0 and b 0, by the previously considered case, we have det(a + b) det(a) + det(b). Thus detp d (x + y) detp d (x) + detp d (y). Since det(p d (x)) = (det(d)) 2 det(x), etc., see Prop., we have det(x + y) det(x) + det(y).

8 Corollary 3 (Cf. [5], Exercise 4, page 59) If x y 0, then det(x) det(y). Proof When x y 0, from the previous Corollary, det(x) = det(x y + y) det(x y) + det(y) det(y). 4 Inequalities involving Schur complements In matrix theory, the well-known Fischer s inequality ([2], Theorem 7.8.3) asserts that if the complex matrix M given by () is Hermitian and positive semidefinite, then det(m) det(a) det(d). We state an analogue of this result in Euclidean Jordan algebras; see [0], Corollary 4.9, for a different proof. Proposition 2 (A generalized Fischer inequality) For x 0, consider the Peirce decomposition x = u + v + w of the form (3). Then det(x) det(u) det(w). Proof By continuity, we may assume that u is invertible in V (c, ). Since x 0 in V, we have, by Item (ii) in Section, u > 0 in V (c, ) and x/u 0; thus, u 0. Now, by the definition of Schur complement, w x/u = w (w P v (u )) = P v (u ) 0. Hence w x/u 0. Applying Corollary 3 in the algebra V (c, 0), we have det(w) det(x/u). Replacing det(x/u) by det(x) det(u) (see (5)) and simplifying, we get the required inequality. The inequality in the above proposition can be slightly extended. First, we introduce some notation. Let {e, e 2,..., e r } be a Jordan frame in V with subsets α and β, and their complements α and β. Define s(α) := e i α e i and x α := P s(α) (x) (x V ). Note that x α, which belongs to V (s(α), ), is nothing but a component of x in the Peirce decomposition (3) corresponding to the idempotent s(α). With this notation, the inequality in the above proposition yields: For α β = and z 0 in V, det(z α β ) det(z α ) det(z β ). (4) Also, when x and x α are invertible, we get the following from Theorem (a) and (5): (x ) α = (x/x α ) and det(x ) α = det(x α) det(x). (5) We now state the promised extension: For any α, β {e, e 2,...,e r } and x 0 in V, det(x α β ) det(x α β ) det(x α ) det(x β ). (6) To see this, assume without loss of generality, α β = {e, e 2,...,e r } and x > 0 in V. Then α β =. Applying (4) to z = x we get det((x ) α β ) det((x ) α ) det((x ) β ).

9 This leads, upon using determinantal relations in (5) to (6). For complex Hermitian matrices, the inequality (6) is often known as the Hadamard-Fischer inequality, see []. An immediate consequence of Proposition 2 is the following: Proposition 3 (A generalized Hadamard inequality) If x = r x ie i + i<j x ij is the Peirce decomposition of x with respect to the Jordan frame {e, e 2,..., e r } and x 0, then r det(x) x i. Theorem 3 For any idempotent c in V, consider the Peirce decomposition x = u + v + w of the form (3) with u invertible in V (c, ). If x 0, then x x/u 0. Moreover, when V is simple and c has rank k < r, λ i (x x/u) = 0 for k + i r. Proof When x 0 and u is invertible, we have u > 0 in V (c, ) and so u 0. From Theorem, we have x x/u = P x (u ) 0. Now assume that V is simple and rank of c is k < r. Since u is invertible in V (c, ), the rank of u in V (which is the number of nonzero eigenvalues of u in V ) is k. The same is true for u. Now, from Theorem in [], π(p x (u )) π(u ) = k, where π of an element is the number of positive eigenvalues of that element. Since P x (u ) cannot have any negative eigenvalues (as P x (u ) 0), it follows that λ k+ (x x/u) = λ k+ (P x(u )) = 0. This implies that λ i (x x/u) = 0 for all i k +, completing the proof. Theorem 4 For x 0 and y 0, consider Peirce decompositions x = u + v + w and y = p + q + r of the form (3) with u and p invertible in V (c, ). Then (x + y)/(u + p) x/u + y/p. Proof Noting that P v (u ), P q(p ), and P v+q((u + p) ) belong to V (c, 0) (see Theorem ), we claim that a := u + v + P v (u ) 0 and b := p + q + P q(p ) 0. As u > 0 and v > 0 in V (c, ), we have a/u = 0 and b/p = 0. By Item (ii) in Section, a 0 and b 0 in V. Hence the claim. Now a + b = (u + p) + (v + q) + [P v (u ) + P q (p )] 0 with u+p > 0 in V (c, ). Hence by Item (ii) in Section, (a +b)/(u+p) 0, that is, [P v (u ) + P q(p )] P v+q((u + p) ) 0. (7)

0 As x/u = w P v (u ), y/p = r P q(p ), and (x + y)/(u + p) = w + r P v+q ((u + p) ) ), we have (x + y)/(u + p) [x/u + y/p] = [P v (u This completes the proof. ) + P q(p )] P v+q((u + p) ) 0. Remarks. As x P x (u ) = x/u = w P v (u ), y P y (p ) = y/p = r P q (p ), and x + y P x+y((u + p) ) = w + r P v+q((u + p) ), the inequality (7) can be rewritten as P x (u ) + P y(p ) P x+y((u + p) ). Combining Theorem 4 with Corollaries 2 and 3, and using (5), we get the following. Corollary 4 (A Bergstrom type inequality) Let x, y, u and p be as in the previous theorem. Then det(x + y) det(u + v) det(x) det(u) + det(y) det(p). It has been observed in [0] that in a simple algebra of rank r, the following Minkowski type inequality holds for all x, y 0: [det(x + y)] r [det(x)] r + [det(y)] r. Now suppose that the conditions of Theorem 4 are in place and further suppose that V is simple, has rank r, and c has rank k < r. Then applying the above inequality in V (c, 0), which is a simple algebra of rank r k, we get [ ] [ det(x + y) r k det(x) det(u + v) det(u) ] [ ] r k det(y) r k +. det(p) This inequality can be regarded as a generalization of Ky Fan s inequality, see [4]. Proposition 4 Suppose that x, y > 0. Then for all a, b V. P a (x ) + P b (y ) 2 P a+b((x + y) ), Proof Fix a, b V. First we show that P a (u)+p b (u) 2 P a+b(u) for all u > 0. Fix u > 0. Then there exists d > 0 such that P d (e) = u (see Lemma ). Since r 2 + s 2 2 (r + s)2 for all r, s V, we have P r (e) + P s (e) 2 P r+s(e). Now, taking r = P d (a) and s = P d (b), we have P Pd (a)(e) + P Pd (b)(e) 2 P P d (a+b)(e).

This leads to P d P a P d (e) + P d P b P d (e) 2 P dp a+b P d (e) and P a (u) + P b (u) 2 P a+b(u). Now, put u = (x + y). Then P a ((x + y) ) + P b ((x + y) ) 2 P a+b((x + y) ). Since x+y x (x+y) x (see Corollary ), we have P a ((x+y) ) P a (x ). Similarly, P b ((x + y) ) P b (y ). Therefore, P a (x ) + P b (y ) 2 P a+b((x + y) ). Remarks. For Hermitian matrices over reals/complex numbers, the factor 2 in the above inequality is not needed, see [2], Theorem 6.23. It is not clear if a similar result holds in the general case also. 5 Interlacing inequalities for Schur complements In this section, we state some interlacing inequalities involving Schur complements. First, we recall the following generalization of Weyl s theorem [6]. Theorem 5 Let V be a simple Euclidean Jordan algebra of rank r, and a, b V. Then and λ j (a) + λ r(b) λ j (a + b) λ j (a) + λ (b), j {, 2,..., r} λ i+j (a + b) λ i (a) + λ j (b), i, j {, 2,..., r}, i + j r. Theorem 6 Let V be simple with rank r. For an x 0, corresponding to an idempotent c of rank k < r, consider the Peirce decomposition x = u + v + w of the form (3) with u invertible in V (c, ). Then the sets of nonnegative numbers {λ i (x) : i =, 2,..., r} and {λ i (x/u) : i =, 2...,r k} have the same number of zeros, and λ i (x) λ i (x/u) λ i+k (x) (i =, 2,..., r k). Proof By Item (ii) of Section, x 0 implies that u > 0 and x/u 0; hence eigenvalues of x and x/u are all nonnegative. By Item (i) of Section, In(x) = In(u) + In(x/u) and so δ(x) = δ(x/u), proving the first part of the assertion. Now combining the previous theorem with Theorem 3, we get the following inequalities: λ i+k (x) = λ i+k (x/u + x x/u) λ i (x/u) + λ k+ (x x/u) = λ i (x/u); λ i (x) = λ i (x/u + x x/u) λ i (x/u) + λ r(x x/u) = λ i (x/u).

2 The above result admits a converse, see Section 7. It is known that the Cauchy interlacing theorem does not hold for the Schur complement of a Hermitian matrix but it holds for the reciprocals of nonsingular Hermitian matrices (see, [9], [22]), i.e., if H is an n n complex Hermitian nonsingular matrix and A is a k k nonsingular principal submatrix of H, where k < n, then λ i (H ) λ i [(H/A) ] λ i+k (H ) (i =, 2,...,n k). Combining Theorem (a) with Theorem 2, we get the following generalization: Theorem 7 Let V be simple of rank r, c be an idempotent of rank k < r, x = u + v + w (of the form (3)) be invertible in V with u invertible in V (c, ). Then λ i (x ) λ i [(x/u) ] λ i+k (x ) (i =, 2,...,r k). 6 Schur product and a determinantal inequality Consider two real symmetric matrices A = [a ij ] and B = [b ij ] in Herm(R r r ). Then the Schur (or Hadamard) product of A and B is the matrix C := [a ij b ij ]. This product enjoys numerous properties, see e.g., [2], [2], [22]. In this section, we consider a generalization of this for Euclidean Jordan algebras. Fix a Jordan frame {e, e 2,...,e r } in a Euclidean Jordan algebra V and consider the Peirce decompositions of x and y with respect to this Jordan frame: r x = x i e i + r x ij and y = y i e i + y ij. i<j i<j Let E ij be the matrix in Herm(R r r ) with ones in the (i, j) and (j, i) slots and zeros elsewhere; let E i := E ii. Now, we define the Schur (or Hadamard) product of x and y with respect to {e, e 2,..., e r } by: x y := r x i y i e i 2 E i + x ij, y ij E ij Herm(R r r ). 2 i<j It is easy to see that this definition reduces to the classical Schur product in the algebra V = Herm(R r r ) when we consider two matrices A and B whose Peirce decompositions (= usual matrix representations) are given with respect to the canonical Jordan frame {E, E 2,...,E r }. Also, the above product is bilinear and symmetric in its variables. In the rest of the section, we assume that all Schur products are defined with respect to the (fixed) Jordan frame {e, e 2,...,e r }. The following result generalizes Schur s classical theorem on Schur products to the setting of Euclidean Jordan algebras. In what follows, we use the

3 notation A 0 (A 0) to say that the (real) matrix A is Hermitian and positive semidefinite (respectively, Hermitian and positive definite). Theorem 8 If x 0 and y 0, then x y 0. Also, x > 0 and y > 0 imply x y 0. Proof Suppose x 0 and y 0 and let A = x y. Corresponding to any (column) vector s = [t, t 2,..., t r ] T R r, let a = r t ie i. As P a (x) = r t 2 i x i e i + t i t j x ij, i<j by the orthogonality of the Peirce spaces V ij, we have s T As = r i= x i y i e i 2 t 2 i + i<j x ij, y ij t i t j = P a (x), y. Since x 0 and P a (K) K, we see that P a (x) 0. Thus, P a (x), y 0. This means that A is positive semidefinite. When x, y > 0 and t i 0 for some i, we have 0 P a (x) 0. Hence s T As = P a (x), y > 0. This proves that A 0. The following result provides a necessary condition for an object x to be in the symmetric cone K. In particular, it proves the well-known inequality x ij 2 2x i x j when 0 x = r i= x ie i + i<j x ij, see [5], Exercise 7(b), page 80. Corollary 5 If x 0, then x x 0. We recall the generalized Hadamard inequality det(x) x i when the Peirce decomposition of x 0 is given. The following inequality, which generalizes the so-called Oppenheim inequality of matrix theory, gives a lower bound on the determinant of x y. Theorem 9 (A generalized Oppenheim inequality) Suppose x 0, y 0, and let δ := r e i 2. Then det(x)det(y) (x x r )det(y) r r δ det(x y) ( x i )( y i ). Proof A general Euclidean Jordan algebra is a product of simple algebras. Since determinants, Schur complements, and Schur products can be studied by working with components, we prove the above result by assuming that V is simple. Also, by continuity, it is enough to prove the inequalities for x > 0 and y > 0. Now the first and last inequalities come from the generalized Hadamard inequality (see Prop. 3) applied to x and x y, respectively; we prove only the second inequality. Our proof is by induction on the rank r. There is nothing

4 to prove when r =, so assume r > and that the result holds in all algebras of rank r. Corresponding to the Jordan frame {e, e 2,...,e r }, let c = e and consider the Peirce decompositions of the form (3): x = u + v + w and y = p + q + r, where u = x e and p = y e. Now consider z := p + q + P q (y e ). Since p > 0 in V (c, ) and z/p = P q (y e ) P q (y e ) = 0, by Item (ii) of the Introduction, z 0. By the previous theorem, x z = u p + v q + w P q (y e ) 0. Note that u p = x y e 2 E and the right-hand side in the above expression is nothing but the decomposition of x z of the form (3) with respect to the idempotent E in Herm(R r r ). To simplify the notation, let µ := x y e 2 so that u p = µ E. As x > 0 and y > 0, we can compute the Schur complement of u p in x z and get 0 (x z)/(u p) = w P q (y e ) P v q (µ E ). Replacing P q (y e ) by r y/p in the above expression and simplifying, we get w r P v q (µ E ) w (y/p). Now, implies x y = µ E + v q + w r (x y)/(µ E ) = w r P v q (µ E ) w (y/p). Using the well-known implication in matrix theory, namely, A B 0 det(a) det(b), we get By the induction hypothesis and (0), det(x y/(µ E )) det(w (y/p)). det(w (y/p)) (x 2 x r )( r e i 2 )det(y/p). 2 From the determinantal formula (5) applied to x y/(µ E ) and y/p, along with det(p) = y and µ = x y e 2, we have det(x y) x y e 2 (x 2 x r ) ( This completes the proof. r e i 2 ) det(y)/y = δ (x x r )det(y). 2

5 Recall that for z V or for a Hermitian matrix z, λ i (z) (i =, 2,..., r) denote the eigenvalues of z written in the decreasing order. We use the familiar notation λ (z) = λ max(z) and λ r(z) = λ min (z). We also recall that in any simple algebra, the norms of all primitive idempotents are the same. Theorem 0 Let V be simple and θ := c 2 for any primitive idempotent c. If x 0 and y 0, then for all i =, 2,...,r, Proof Let x i λ min(y)θ λ i (x y) x i λ max(y)θ. a := λ max (y)e y and b := y λ min (y)e, where e = e + e 2 + + e r is the unit element in V. It is easy to verify that a 0 and b 0. Then we have x a 0 x y λ max (y)x e, and x b 0 x y λ min (y)x e. We note that x e is a diagonal matrix with entries x i θ for i =,...,r. Using the well-known fact that A B in Herm(R r r ) implies λ i (A) λ i (B) for all i, we have This completes the proof. x i λ min(y)θ λ i (x y) x i λ max(y)θ. For a real Hermitian positive definite matrix A, the (Schur product) inequality A A I holds. This is referred to as Fiedler s inequality in []. A generalization of this result is given below. Theorem If x > 0, then x x r e i 2 E i. In particular, when V is simple, x x θi, where θ := e i 2 for any i. Proof Corresponding to the idempotent c := e, consider the Peirce decompositions of the form (3): x = u + v + w and y := x = p + q + r. As x, y > 0, u and r are invertible in their respective algebras. Then, as in the proof of Theorem 9, By Theorem 8, Now putting P v (u u + v + P v (u ) 0 and P q (r ) + q + r 0. ( u + v + Pv (u ) ) ( P q (r ) + q + r ) 0. ) = w x/u, P q (r ) = p y/r, and simplifying, we get u (p y/r) + v q + (w x/u) r 0

6 which yields, u p + v q + w r u (y/r) + (x/u) r. Note that the left-hand side of the above inequality is x x. In view of Theorem (a), the right-hand side of the above inequality is Thus, u u + r r = (x e ) ( e ) + r r = e 2 E + r r x. x x e 2 E + r r. By repeating this argument (or by induction), we may write r r This leads to r x x e i 2 E i. r 2 e i 2 E i. When V is simple, θ = e i 2 is a constant for all i and the stated result follows. 7 Miscellaneous In [3], Hu and Smith showed that converse of Theorem 6 holds for complex Hermitian matrices. It turns out that a similar result holds in any simple Euclidean Jordan algebra. Theorem 2 For k < r, consider two sets of nonnegative real numbers {α, α 2,...,α r } and {β, β 2,...,β r k }, both arranged in the decreasing order, having the same number of zeros, and α i β i α i+k 0 for all i =, 2,...,r k. Let V be any simple Euclidean Jordan algebra of rank r and c ( 0, e) be any idempotent of rank k. Then there exists x 0 in V with u = P c (x) invertible in V (c, ) and λ i (x) = α i and λ j (x/u) = β j for all i =, 2,...,r and j =, 2,...,r k. Proof Corresponding to the given α i and β j, there exists a real symmetric positive semidefinite matrix H with k k nonsingular submatrix A such that the eigenvalues of H and H/A are α i and β j, respectively, see [3]. Since real numbers are included in complex numbers/quaternions/octonions, we have the result in the case of matrix algebras (and also in algebras isomorphic to these). Now consider the algebra L n (see Section 2) for n > 2. Recall that rank of L n is 2. Let c be a nonzero, non-unit idempotent in L n. Then there is a Jordan frame {e, e 2 } such that (see Section 2) c = e = [ ] 2 u and e 2 = [ ] 2 u for some u R (n ) with u =. Corresponding to this Jordan frame, the Peirce decomposition of any x L n is: x = x e + x 2 e 2 + x 2. Then

7 u = x e V (c, ), v = x 2 V (c, 2 ) and w = x 2e 2 V (c, 0). We are given that the sets {α, α 2 } and {β } have the same number of zeros and α β α 2 0. To complete the proof, we have to construct an element x whose Peirce decomposition and eigenvalues are given by [ ] [ ] x0 0 x = x = x e + x 2 e 2 + z, (8) α = λ (x) = x 0 + x, α 2 = λ 2 (x) = x 0 x, and β = λ (x/u) = det(x/u) = det(x) det(u) = αα2 x. Case : β 0. Then α 0 α 2. As n > 2, we can take z R n, such that z αα = 2(β α 2)(α β ) β and z, u = 0. Now define x 0 = 2 (α +α 2 ), x = αα2 β, x 2 = 2x 0 x, and x = 2 (x x 2 )u +z. Then it is easily verified that x defined by (8) will have the right properties. Case 2: β = 0. Because of our assumptions, α > 0 = α 2. Now take x = α, x 2 = 0, x 0 = 2 α, z = 0, and x = 2 α u. Then it is easily verified that x defined by (8) will have the right properties. This completes the proof. In matrix theory, for any two real symmetric matrices, the rank of a Schur product satisfies the inequality [2] rank(a B) rank(a)rank(b). The following example shows this result need not hold in the setting of Euclidean Jordan algebras. Example. Let V = L 4. Let e = 2 [ 0 0 ]T, e 2 = 2 [ 0 0 ]T, x 2 = [ 0 0 0 ] T and y 2 = [ 0 0 0 ] T. Then, it is easy to verify that x := e + e 2 + x 2 0, y := e + e 2 + y 2 0, while rank(x) = rank(y) =, rank(x y) = 2. References. Bapat, R.B., Raghavan, T.E.S.: Nonnegative Matrices and Applications. Cambridge University Press, Cambridge (997) 2. Cohen, N., De Leo, S.: The quaternionic determinant. Elect. J. Linear Algebra. 7, 00 (2000) 3. Dray, T., Manogue, C.A.: The octonionic eigenvalue problem. Adv. Appl. Clifford Algebr. 8, 34 364 (998) 4. Fan, K.: Generalization of Bergstrom s Inequality. The Amer. Math. Monthly. 66, 53 54 (959) 5. Faraut, J., Korányi, A.: Analysis on Symmetric Cones. Clarendon Press, Oxford (994) 6. Koufany, K.: Contractions of angles in symmetric spaces. Publ. RIMS, Kyoto University. 38, 227 243 (2002) 7. Gowda, M.S., Sznajder, R.: Automorphism invariance of P and GUS properties of linear transformations in Euclidean Jordan algebras. Math. Oper. Res. 3, 09 23 (2006)

8 8. Gowda, M.S., Sznajder, R.: Schur complements, Schur determinantal and Haynsworth inertia formulas in Euclidean Jordan algebras. Linear Algebra Appl. 432, 553 559 (200) 9. Gowda, M.S., Sznajder, R., Tao, J.: Some P-properties for linear transformations on Euclidean Jordan algebras. Linear Algebra Appl. 393, 203 232 (2004) 0. Gowda, M.S., Tao, J.: The Cauchy interlacing theorem in simple Euclidean Jordan algebras and some consequences. Linear Multilinear Algebra. To appear.. Gowda, M.S., Tao, J., Moldovan, M.M.: Some inertia theorems in Euclidean Jordan algebras. Linear Algebra Appl. 430, 992 20 (2009) 2. Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, Cambridge (985) 3. Hu, S.-A., Smith. R.L.: The Schur complement interlacing theorem. SIAM J. Matrix Anal. 6, 03 023 (995) 4. Loos, O.: Finiteness condition in Jordan pairs. Math. Z. 206, 577 587 (99) 5. Massam, H., Neher, E.: On transformations and determinants of Wishart variables on symmetric cones. J. Theoret. Probab. 0, 867 902 (997) 6. Moldovan, M.M.: A Ger sgorin type theorem, spectral inequalities, and simultaneous stability in Euclidean Jordan algebras. PhD Thesis, University of Maryland Baltimore County (2009) 7. Moldovan, M.M., Gowda, M.S.: Strict diagonal dominance and a Ger sgorin type theorem in Euclidean Jordan algebras. Linear Algebra Appl. 43, 48 6 (2009) 8. Schmieta, S.H., Alizadeh, F.: Extension of primal-dual interior point algorithms to symmetric cones. Math. Program, Series A. 96, 409 438 (2003) 9. Smith, R.L.: Some interlacing properties of the Schur complement of a Hermitian matrix. Linear Algebra Appl. 77, 37 44 (992) 20. Tao, J.: Some P-Properties for Linear Transformations on the Lorentz Cone. PhD Thesis, University of Maryland Baltimore County (2004) 2. Zhang, F.: Matrix Theory. Springer-Verlag, New York (999) 22. Zhang, F.: The Schur Complement and its Applications. Springer, New York (2005)