Some characterizations of cone preserving Z-transformations

Similar documents
Key words. Complementarity set, Lyapunov rank, Bishop-Phelps cone, Irreducible cone

Permutation invariant proper polyhedral cones and their Lyapunov rank

On the game-theoretic value of a linear transformation relative to a self-dual cone

ON POSITIVE SEMIDEFINITE PRESERVING STEIN TRANSFORMATION

Complementarity properties of Peirce-diagonalizable linear transformations on Euclidean Jordan algebras

On the game-theoretic value of a linear transformation on a symmetric cone

M. Seetharama Gowda. J. Tao. G. Ravindran

On common linear/quadratic Lyapunov functions for switched linear systems

Polynomial complementarity problems

Strict diagonal dominance and a Geršgorin type theorem in Euclidean

M. Seetharama Gowda a, J. Tao b & Roman Sznajder c a Department of Mathematics and Statistics, University of Maryland

Z-transformations on proper and symmetric cones

Weakly homogeneous variational inequalities and solvability of nonlinear equations over cones

Positive and doubly stochastic maps, and majorization in Euclidean Jordan algebras

Geometric Mapping Properties of Semipositive Matrices

L. Vandenberghe EE236C (Spring 2016) 18. Symmetric cones. definition. spectral decomposition. quadratic representation. log-det barrier 18-1

A PREDICTOR-CORRECTOR PATH-FOLLOWING ALGORITHM FOR SYMMETRIC OPTIMIZATION BASED ON DARVAY'S TECHNIQUE

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

The eigenvalue map and spectral sets

Analysis of Control Systems on Symmetric Cones

SCHUR IDEALS AND HOMOMORPHISMS OF THE SEMIDEFINITE CONE

We describe the generalization of Hazan s algorithm for symmetric programming

ENTANGLED STATES ARISING FROM INDECOMPOSABLE POSITIVE LINEAR MAPS. 1. Introduction

Weakly homogeneous variational inequalities and solvability of nonlinear equations over cones

Applied Mathematics Letters. Comparison theorems for a subclass of proper splittings of matrices

Absolute value equations

Control System Analysis on Symmetric Cones

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

Tensor Complementarity Problem and Semi-positive Tensors

2.1. Jordan algebras. In this subsection, we introduce Jordan algebras as well as some of their basic properties.

Spectral sets and functions on Euclidean Jordan algebras

An alternative proof of the Barker, Berman, Plemmons (BBP) result on diagonal stability and extensions - Corrected Version

Using Schur Complement Theorem to prove convexity of some SOC-functions

The Jordan Algebraic Structure of the Circular Cone

Fischer-Burmeister Complementarity Function on Euclidean Jordan Algebras

Extreme points of compact convex sets

Properties of Solution Set of Tensor Complementarity Problem

Research Article The Solution Set Characterization and Error Bound for the Extended Mixed Linear Complementarity Problem

Largest dual ellipsoids inscribed in dual cones

Iterative Solution of a Matrix Riccati Equation Arising in Stochastic Control

Another algorithm for nonnegative matrices

A Characterization of the Hurwitz Stability of Metzler Matrices

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

Lecture Notes 1: Vector spaces

On Linear Copositive Lyapunov Functions and the Stability of Switched Positive Linear Systems

Weakly homogeneous variational inequalities and solvability of nonlinear equations over cones

Chapter 1. Preliminaries

Error bounds for symmetric cone complementarity problems

Observations on the Stability Properties of Cooperative Systems

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.

Game theory: Models, Algorithms and Applications Lecture 4 Part II Geometry of the LCP. September 10, 2008

A CLASS OF ORTHOGONALLY INVARIANT MINIMAX ESTIMATORS FOR NORMAL COVARIANCE MATRICES PARAMETRIZED BY SIMPLE JORDAN ALGEBARAS OF DEGREE 2

Elementary linear algebra

Linear Algebra. Session 12

SOME STABILITY RESULTS FOR THE SEMI-AFFINE VARIATIONAL INEQUALITY PROBLEM. 1. Introduction

Math Camp Lecture 4: Linear Algebra. Xiao Yu Wang. Aug 2010 MIT. Xiao Yu Wang (MIT) Math Camp /10 1 / 88

MOORE-PENROSE INVERSE IN AN INDEFINITE INNER PRODUCT SPACE

Moore Penrose inverses and commuting elements of C -algebras

Typical Problem: Compute.

Quadratic and Copositive Lyapunov Functions and the Stability of Positive Switched Linear Systems

Row and Column Representatives in Qualitative Analysis of Arbitrary Switching Positive Systems

On Stability of Linear Complementarity Systems

Matrix Mathematics. Theory, Facts, and Formulas with Application to Linear Systems Theory. Dennis S. Bernstein

An LMI description for the cone of Lorentz-positive maps II

Positive definite solutions of some matrix equations

Positive entries of stable matrices

Classification of root systems

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

Weak Monotonicity of Interval Matrices

The Nearest Doubly Stochastic Matrix to a Real Matrix with the same First Moment

Linear Algebra. Preliminary Lecture Notes

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Linear Algebra. Preliminary Lecture Notes

Lecture 7 Monotonicity. September 21, 2008

Lecture 2: Linear Algebra Review

On the simultaneous diagonal stability of a pair of positive linear systems

CHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS. W. Erwin Diewert January 31, 2008.

2. Linear algebra. matrices and vectors. linear equations. range and nullspace of matrices. function of vectors, gradient and Hessian

Clarke Generalized Jacobian of the Projection onto Symmetric Cones

UNDERGROUND LECTURE NOTES 1: Optimality Conditions for Constrained Optimization Problems

Linear Algebra March 16, 2019

Eventual Cone Invariance

ON GAP FUNCTIONS OF VARIATIONAL INEQUALITY IN A BANACH SPACE. Sangho Kum and Gue Myung Lee. 1. Introduction

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 2

15. Conic optimization

Lecture 7: Positive Semidefinite Matrices

Cones and matrix invariance: a short survey

Linear algebra 2. Yoav Zemel. March 1, 2012

Throughout these notes we assume V, W are finite dimensional inner product spaces over C.

Properties of Linear Transformations from R n to R m

EE/ACM Applications of Convex Optimization in Signal Processing and Communications Lecture 2

Z-Pencils. November 20, Abstract

Semidefinite Programming

Assignment 1: From the Definition of Convexity to Helley Theorem

arxiv: v1 [math.fa] 1 Oct 2015

Introduction to Koecher Cones. Michael Orlitzky

On the stability of switched positive linear systems

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

Transcription:

Annals of Operations Research manuscript No. (will be inserted by the editor) Some characterizations of cone preserving Z-transformations M. Seetharama Gowda Yoon J. Song K.C. Sivakumar This paper is dedicated, with deep appreciation and admiration, to Professor T. Parthasarathy on the occasion of his 75th birthday. The authors wish him a long, healthy, and productive life. Received: date / Accepted: date Abstract Given a proper cone K in a finite dimensional real Hilbert space H, we present some results characterizing Z-transformations that keep K invariant. We show for example, that when K is irreducible, nonnegative multiples of the identity transformation are the only such transformations. And when K is reducible, they become nonnegative diagonal transformations. We apply these results to symmetric cones in Euclidean Jordan algebras, and, in particular, obtain conditions on the Lyapunov transformation L A and the Stein transformation S A that keep the semidefinite cone invariant. Keywords proper cone Z and Lyapunov-like transformations cone invariance irreducible cone Mathematics Subject Classification (2000) 47L07 17C20 90C33 1 Introduction Let (H,, ) denote a finite dimensional real Hilbert space and K be a proper cone in H, that is, K is a pointed closed convex cone with nonempty interior. We say that a linear transformation L : H H is a Z-transformation on K and write L Z(K) if x K, y K, x,y = 0 L(x),y 0, (1) where K := {z H : z,x 0 x K} is the dual of K. If both L and L belong to Z(K), we say that L is a Lyapunov-like transformation on K and write L LL(K). Such transformations appear, e.g., in linear algebra (in the form of Z-matrices) (Berman and Plemmons M. Seetharama Gowda, Corresponding author, Department of Mathematics and Statistics, University of Maryland, Baltimore County, Baltimore, Maryland 21250, USA Tel.: +1-410-455-2431, Fax: +1-410-455-1066, E-mail: gowda@umbc.edu Yoon J. Song Department of Mathematics, Soongsil University, Seoul 06978, Korea E-mail: yoonjsong@ssu.ac.kr K.C. Sivakumar Department of Mathematics, Indian Institute of Technology Madras, Chennai 600 036, India E-mail: kcskumar@iitm.ac.in

2 M. Seetharama Gowda et al. 1994), optimization (in cone linear complementarity problems) (Cottle et al. 1992; Gowda and Tao 2009), continuous and discrete dynamical systems (Farina and Rinaldi 2000), economics (Arrow 1977), Lie algebras (Gowda et al. 2012), etc. A Z-matrix (which is a square real matrix with nonpositive off-diagonal entries) is a Z-transformation on the nonnegative orthant R n +. For any A R n n, the Lyapunov transformation L A defined by and the Stein transformation S A defined by L A (X) := AX + XA T (X S n ) S A (X) := X AXA T (X S n ) are, respectively, well-known examples of Lyapunov-like and Z-transformations on the semidefinite cone S n + in the Hilbert space S n of all n n real symmetric matrices (Gowda and Tao 2009). Our main objective in this paper is to characterize Z-transformations that keep the corresponding cone invariant. To motivate, we consider two examples. If L is a Z-matrix such that L(R n +) R n +, then it is a nonnegative diagonal matrix. On the other hand, if we consider a Lyapunov transformation L A on S n satisfying L A (S n +) S n +, then Corollary 3 in Gowda and Tao (2014) shows that L A is a nonnegative multiple of the identity transformation. Thus, over R n + (which is a product of irreducible cones) a cone preserving Z-transformation is a nonnegative diagonal matrix, while over S n + (which is an irreducible cone), a cone preserving Lyapunov-like transformation is a nonnegative multiple of the identity transformation. Do such results hold for (general) Z-transformations that keep the corresponding cone invariant? In particular, is there a characterization of S A when S A (S n +) S n +? Our motivation also comes from two recent papers of Song (2015; 2016), where the global unique solvability property for semidefinite and symmetric cone linear complementarity problems is discussed for Stein and Z-transformations under the assumption of cone invariance. Motivated by the above questions and relevance, in this paper, we present the following results characterizing the (elements of the) set Z(K) Π(K), where Π(K) := {L B(H) : L(K) K}, with B(H) denoting the set of all linear transformations on H. In Theorem 1, analogous to the exponential characterization of Schneider and Vidyasagar (1970) that L Z(K) e tl (K) K for all t 0, we present a linear characterization: L Z(K) for all larget, (L +ti) is invertible and (L +ti) 1 (K) K. In Theorem 2, we show that Z(K) Π(K) = LL(K) Π(K) and L Z(K) Π(K) L +ti Aut(K) for all t > 0, where Aut(K) denotes the automorphism group of K (consisting of all invertible linear transformations preserving K). Theorem 3 deals with a special case of Theorem 2: When K is irreducible, Z(K) Π(K) = R + I. Illustrating Theorem 3, among other results, we show that L A (S n +) S n + if and only if A = γ I for some γ 0 and S A (S n +) S n + if and only if A = γ I for some γ with γ 1. Extending Theorem 3, in Theorem 4, we show that every Z-transformation that leaves a (general) proper cone invariant is a nonnegative diagonal transformation. As an application of Theorem 4, we give short proofs of two results of Song (2016; 2015).

Some characterizations of cone preserving Z-transformations 3 2 Preliminaries Let C denote a closed convex cone. We say that C is pointed if C does not contain any line passing through the origin, or equivalently, C C = {0}. We write span(c) = C C for the span of C. A nonzero vector u in C is an extreme direction of C if u = x + y;x,y C imply that x and y are nonnegative multiples of u. In this case, we write u Ext(C). A closed convex cone C in H is reducible if there exist nonzero closed convex cones C 1 and C 2 such that C = C 1 +C 2 and span(c 1 ) span(c 2 ) = {0}; In this situation, we say that C is a direct sum of C 1 and C 2. If C is not reducible, it is said to be irreducible. We have the following result regarding a reducible proper cone. Proposition 1 Let K be a reducible proper cone. Then there exists a unique set of nonzero closed convex (pointed) irreducible cones K 1,K 2,...,K l such that Moreover, K = K 1 + K 2 + + K l and span(k i ) ( span(k j )) = {0} for all i. j i (i) H is the direct sum of spaces span(k i ), i = 1,2,...,l, and (ii) Ext(K) = l i=1 Ext(K i ). In the above result, the decomposition part is well-known, see for example, Hauser and Güler (2002), Theorem 4.3. The additional statements are easy to verify. Throughout this paper, depending on the context, I denotes either the identity transformation or the identity matrix. For a linear transformation L on H, we denote the spectrum of L by σ(l); Reσ(L) denotes the set of the real parts of elements in σ(l). We say that L is positive stable if Re(λ) > 0 for all λ σ(l). For any proper cone K, we let Z(K) and LL(K) denote, respectively, the set of all Z- transformations and Lyapunov-like transformations on K. We note that Z(K) is a closed convex cone and LL(K) = Z(K) Z(K). For ease of reference, we recall the following results. Proposition 2 (Gowda and Tao (2009), Theorems 6 and 7) Let L Z(K). The following statements are equivalent: (a) L is positive stable. (b) L is invertible and L 1 (K) K. Proposition 3 (Schneider and Vidyasagar (1970), Theorem 6) Let L Z(K). Then, τ := min Reσ(L) is an eigenvalue of L with an eigenvector in K. Given a closed convex cone C and a linear transformation L, we say that L is a cone preserving transformation or that the cone is invariant under L if L(C) C. If L is invertible and L(C) = C, we say that L is an automorphism of C and write L Aut(C). The space S n (of all n n real symmetric matrices) carries the inner product X,Y := trace(xy ), where the trace of a matrix is the sum of its diagonal entries. In S n, the semidefinite cone S n + of all positive semidefinite matrices is an irreducible cone. We refer to Faraut and Koranyi (1984) for all things related to Euclidean Jordan algebras.

4 M. Seetharama Gowda et al. 3 Some characterization results 3.1 A linear characterization of Z-transformations A well-known result of Schneider and Vidyasagar (1970) gives an exponential characterization of Z-transformations. In what follows, we provide a linear characterization. Theorem 1 The following statements are equivalent: (a) L Z(K). (b) e tl (K) K for all t 0. (c) There exists t 0 such that L +ti is invertible and (L +ti) 1 (K) K for all t > t. Proof. The equivalence of (a) and (b) is well-known, see Theorem 3 in Schneider and Vidyasagar (1970). (a) (c): Assume that L Z(K). Then, by Prop 3, τ := min Reσ(L) is an eigenvalue of L. Hence, for t > t := τ, L +ti (which is a Z-transformation) is positive stable and by Prop. 2, L +ti is invertible with (L +ti) 1 (K) K; this gives (c). (c) (a): Suppose (c) holds (without loss of generality) for some t > 0. Then, t > t (L + ti) 1 (K) K, or equivalently (as K is a cone), (I + sl) 1 (K) K for all s (0, t 1 ). Now, let L denote the operator norm of L. Then, for 0 < s < min{ t 1 1, L }, we have (I + sl) 1 = I sl + s 2 A(s), where A(s) := L 2 sl 3 +. Now, to show that L Z(K), let x K and y K with x,y = 0. Then, as (I + sl) 1 (K) K, 0 (I + sl) 1 x,y = (I sl + s 2 A(s))x,y = s L(x),y + s 2 A(s)x,y for all small positive s. This gives L(x),y s A(s)x,y for all small positive s. Letting s 0, we get L(x),y 0. This proves that L Z(K). 3.2 A linear characterization of cone preserving Z-transformations The following result is key to our characterizations of cone preserving Z-transformations to be presented in the subsequent sections. This result shows that the cone preserving Z- transformations are Lyapunov-like and provides a linear characterization of such transformations. Theorem 2 The following statements are equivalent: (i) L Z(K) Π(K). (ii) L LL(K) Π(K). (iii) e tl (K) K for all t 0 and L(K) K. (iv) e tl (K) K for all t R and L(K) K. (v) L +ti Aut(K) for all t > 0. Proof. (i) (ii): Suppose L Z(K) Π(K). We claim that L is Lyapunov-like on K. Let x K,y K, and x,y = 0. By the Z-property, L(x),y 0. But, as L(K) K, we have L(x) K and therefore, L(x),y 0. Hence L(x),y = 0. Thus, L LL(K) Π(K). (ii) (i): This is obvious as LL(K) Π(K) Z(K) Π(K).

Some characterizations of cone preserving Z-transformations 5 The equivalence of (a) and (b) in the previous result gives that of (i) and (iii). As L LL(K) if and only if L, L Z(K), we also get the equivalence of (ii) and (iv). (i) (v): Now suppose L Z(K) Π(K). Since L Z(K), τ := min Reσ(L) is an eigenvalue of L and there exists a nonzero u K such that L(u) = τ u, see Prop 3. Since L(K) K, we have τ 0. Thus, for t > τ 0, L + ti (which is a Z-transformation) is positive stable and so (L +ti) 1 (K) K. Also, (L +ti)(k) K for all t > 0. Hence, (L +ti)(k) = K, that is, L +ti Aut(K) for all t > 0. (v) (i): Suppose L +ti Aut(K) for all t > 0. Then, (L +ti) 1 (K) K for all t > 0. By the previous theorem, L Z(K). Also, from (L+tI)(K) K for all t > 0, we get L(K) K. Hence we have L Z(K) Π(K). 3.3 A characterization of cone preserving Z-transformations over an irreducible cone In this subsection, we characterize cone preserving Z-transformations over an irreducible cone and provide several examples. Theorem 3 Suppose K is an irreducible proper cone in H. Then, Z(K) Π(K) = R + I. In particular, the above statement holds if K is a symmetric cone in a simple Euclidean Jordan algebra. Proof. From Theorem 2, Z(K) Π(K) = LL(K) Π(K). When K is irreducible, Corollary 3 in Gowda and Tao (2014) shows that LL(K) Π(K) = R + I. This gives the stated result. Since a symmetric cone in a simple Euclidean Jordan algebra is irreducible (Faraut and Koranyi 1984), the additional statement follows. Remarks 1 Suppose K is an irreducible proper cone in H. An easy consequence of the above theorem is that if L and I L are in Π(K), then L is a nonnegative multiple of I. This is equivalent to saying that I is an extreme direction of the convex cone Π(K). (This in turn, is equivalent to saying that (any) L in Π(K) that satisfies L(K) = K is an extreme direction of Π(K).) That these statements are actually equivalent to the irreducibility of K is shown in Theorem 3.3 of Loewy and Schneider (1975). Thus, the equality Z(K) Π(K) = R + I holds for a proper cone if and only if it is irreducible. (This also can be seen from our Theorem 4 given in the next Section.) We note that the results of Loewy and Schneider (1975) are proved in a purely algebraic way (without relying on the inner product structure of H) and are valid for convex cones more general than proper cones. We now illustrate the above theorem by some examples. Recall that S n + is an irreducible cone in S n. Example 1 Let H = S n with K = S n +. Consider, for any A R n n, the Lyapunov transformation L A. We claim that L A (S n +) S n + A = γi with γ 0. Clearly, L A (S n +) S n + holds when A = γi where γ 0. Now suppose L A (S n +) S n +. Since L A is a Lyapunov-like transformation, it is a Z-transformation. By the above theorem,

6 M. Seetharama Gowda et al. L A = αi for some α 0. Then, AX + XA T = αx for all X S n. By taking X to be an arbitrary diagonal matrix, one can easily show that A must be a diagonal matrix with a constant diagonal. Writing A = γi, we have 2γX = L A (X) S n + for all X S n +; hence γ 0. Example 2 Let H = S n with K = S n +. Consider, for any A R n n, the so-called (twosided) multiplication transformation M A defined by M A (X) = AXA T. One important (easily verifiable) property of M A is that M A (S n +) S n +. Now, we claim that M A Z(S n +) A = γi where γ R. One implication is obvious: When A = γi, M A is a multiple of the identity transformation, hence a Z-transformation. Now suppose that M A Z(S+). n Since M A (S+) n S+, n by Theorem 3, M A = αi for some α 0. This means that AXA T = αx for all X S n. If α = 0, we put X = I (the identity matrix) to get AA T = 0 and A = 0. If α > 0, let B = 1 α A so that BXB T = X for all X S n. Since this holds when X = I, B is invertible, so BX = XC for all X S n where C = (B T ) 1. Putting X = I, we see that B = C. So, B commutes with every X S n. From this it is elementary to see that B is a multiple of the identity matrix. Thus, A is a multiple of the identity matrix. Example 3 Let H = S n with K = S n +. Consider, for any A R n n, the Stein transformation S A. We claim that S A (S n +) S n + A = γi where γ 1. As S A is a Z-transformation, by Theorem 3, S A (S n +) S n + S A = αi for some α 0. We show that A = γi with γ 1. Since S A (X) = X AXA T = αx for all X S n, AXA T = βx for all X S n, where β = 1 α. We argue as in Example 2 to see that A = γi for some γ R. Then, S A = (1 γ 2 )I. From the assumption S A (S n +) S n +, we get γ 1. The reverse implication in our claim is obvious. Example 4 This example can be considered as a combination of the previous examples. Here we consider L = L A which is a Z-transformation on S+. n We show that if L(S+) n S+, n then A and all B i are multiples of the identity transformation. To see this, suppose L(S+) n S+. n In view of Example 1, we may assume that the sum in L is nonvacuous. Since L is a Z-transformation on S+, n by Theorem 3, L = αi for some α 0. Then, M B1 = L A α I or M B1 = L A α I N i=2 M B i, depending on whether N = 1 or N > 1. In both cases, M B1 is a Z-transformation; hence from Example 2, B 1 is a multiple of the identity matrix. Similarly, we can show that every B i is a multiple of the identity matrix. Now, since L and every M Bi keep the semidefinite cone S+ n invariant, we see that L A = L + N i=1 M B i also keeps the semidefinite cone invariant. Hence, from Example 1, A is a multiple of the identity matrix. This completes the proof. We note a special case: In S n, L A = N i=1 N i=1 M Bi, M Bi = A and all B i are multiples of I. This means that a Lyapunov transformation can be written as a nonnegative linear combination of multiplication transformations only in some trivial cases. A similar statement can be made by replacing the multiplication transformations by Stein transformations.

Some characterizations of cone preserving Z-transformations 7 3.4 A diagonal characterization of cone preserving Z-transformations In this subsection, we consider the problem of characterizing cone preserving Z-transformations over general cones. Our next result says that such a transformation is a nonnegative diagonal transformation and is an extension of Theorem 3 to a direct sum of irreducible cones. Theorem 4 Suppose K is a reducible proper cone. Let K be the direct sum of irreducible cones K i, i = 1,2...,l (as in Proposition 1). If L Z(K) Π(K), then on each K i, L is a nonnegative multiple of the identity transformation. Hence, there exist nonnegative real numbers α i, i = 1,2...,l, such that L(x) = α 1 x 1 +α 2 x 2 + +α l x l for all x = x 1 +x 2 + +x l, where x i span(k i ), i = 1,2...,l. (2) Note: As K Ki, it is easy to see that (2) defines a linear transformation L which is in Z(K) Π(K) when all the α i s are nonnegative. Proof. Suppose L Z(K) Π(K). We show that for each i, L(K i ) K i and the restriction of L to span(k i ) is a Z-transformation on cone K i (which is a proper cone in span(k i )). Then, we invoke Theorem 3 to say that on K i, L = α i I for some α i 0. The diagonal representation given in the theorem follows immediately as H is the direct sum of the spaces span(k i ). Now, from Theorem 2, Item (v), L +ti Aut(K) for all t > 0. Putting t = 1 s, we see that I + sl Aut(K) for all s > 0. Note that the last statement holds even for s = 0. Thus, (I + sl)(ext(k)) = Ext(K) for all s 0. We now show, via a connectedness argument, that (I + sl)(k 1 ) K 1 for all s > 0. Take any x Ext(K 1 ) (note that x 0). Then, from Item (ii) in Proposition 1, x Ext(K) and so (I + sl)x Ext(K) for all s 0. As Ext(K) is the union of Ext(K i ), x is nonzero, and I + sl is invertible, we must have (I + sl)x l i=1 E i, where E i := K i \{0}. Clearly, the set {(I + sl)x : s 0} is connected and contains x. Also, the sets E 1,E 2,,E l are separated (that is, E i j i E i = /0 for all i). Hence, we must have (I + sl)x E 1 for all s 0. This means that x Ext(K 1 ) (I + sl)x K 1 s 0. Now, K 1 is a proper cone in span(k i ); hence it is the convex hull of Ext(K 1 ) by the cone version of Minkowski s theorem, see Holmes (1975), page 36. It follows that (I +sl)(k 1 ) K 1 for all s > 0. Replacing s by 1 t, we see that (L + ti)(k 1) K 1 for all t > 0. Letting t 0, we get L(K 1 ) K 1. A similar argument with (I + sl) 1 in place of I + sl shows that (L + ti) 1 (K 1 ) K 1, that is, K 1 (L + ti)(k 1 ) for all t > 0. As L(K 1 ) K 1, we may consider the restriction of L to span(k 1 ); let L 1 denote this restriction. Then, This means that (L 1 +ti)(k 1 ) K 1 and K 1 (L 1 +ti)(k 1 ) for all t > 0. (L 1 +ti) Aut(K 1 ) for all t > 0. By Theorem 2, L 1 Z(K 1 ) Π(K 1 ). As K 1 is irreducible, from Theorem 3, L 1 = α 1 I for some α 1 0. By replacing 1 by any i, we see that L(K i ) K i and the restriction of L to

8 M. Seetharama Gowda et al. span(k i ) is a nonnegative multiple of the identity transformation. This concludes the proof. Remarks 2 Part of the above proof becomes simpler if the spans of K i are orthogonal, see Gowda and Ravindran (2015), Corollary 1. We now apply the above result to Euclidean Jordan algebras. Let H be a Euclidean Jordan algebra with its symmetric cone K. Then, we may decompose H as an orthogonal direct sum of simple Euclidean Jordan algebras H i, i = 1,2,...,l, with K = K 1 +K 2 + +K l, where K i is the symmetric cone of H i, see Faraut and Koranyi (1984), Prop. III.4.4 and Prop. III.4.5. Since H i is simple, each K i is irreducible, hence we can apply the above theorem and say that any L in Z(K) Π(K) has the diagonal form (2). As span(k i ) = H i, we note that the restriction of L to any H i is a nonnegative multiple of the identity transformation. 3.5 Symmetric cone linear complementarity problems In this subsection, we show how our characterization results (Theorems 3 and 4) lead to simplified proofs of some results of Song on symmetric cone and semidefinite linear complementarity problems. First, we recall some necessary concepts and results. Let H denote a Euclidean Jordan algebra with symmetric cone K. Given a linear transformation L on H and an element q H, the symmetric cone linear complementarity problem, SCLCP(L, q), is to find x H such that x K, y := L(x) + q K, and x,y = 0. When H = R n with K = R n +, the above problem reduces to the linear complementarity problem (Cottle et al. 1992). If H = S n, K = S n +, the problem becomes the semidefinite linear complementarity problem (Gowda and Song 2000). These are particular instances of (cone) complementarity problems and variational inequalities which have been extensively studied in the literature, see e.g., Facchinei and Pang (2003a; 2003b). We say that L (1) has the Q-property if for every q H, SCLCP(L,q) has a solution; (2) has the GUS-property if for every q H, SCLCP(L,q) has a unique solution; (3) has the P-property if [x L(x) 0, x and L(x) operator commute] x = 0, where we say that two elements a and b operator commute if a (b x) = b (a x) for all x H with x y denoting the Jordan product of elements x and y in H and z 0 in H means that z K; (4) is monotone if L(x),x 0 for all x H; (5) is strictly copositive if L(x),x > 0 for all 0 x K. The above properties have been well studied for linear complementarity problems and many inter-connections have been noted in the general case (Cottle et al. 1992; Gowda et al. 2004). While the GUS-property reduces to the P-property for linear complementarity problems, so far there is no characterization result known for general transformations. For Lyapunov-like transformations, the following are known: Proposition 4 (Gowda and Sznajder (2007), Theorem 7.1; Gowda et al. 2012, Theorem 5) Suppose H is a Euclidean Jordan algebra with symmetric cone K and L LL(K). Then,

Some characterizations of cone preserving Z-transformations 9 (i) L has the GUS-property if and only if L is positive stable and monotone; (ii) L has the Q-property if and only if it has the P-property. Whether statements (i) and (ii) hold for Z-transformations remains an open question. With a view towards characterizing the GUS-property for Z-transformations, in (Song 2016), Corollary 3.2, Song proves the following result: Proposition 5 Suppose H is a Euclidean Jordan algebra with symmetric cone K and L Z(K). If L(K) K, then the following are equivalent: (a) L is strictly copositive. (b) L has the GUS-property. (c) L has the P-property and monotone. We now show that this result can be recovered via Theorem 4 and Remark 1 as follows. When L(K) K, L has a representation given in (2). Additionally, in that representation, the vectors x i, 1 i l, are mutually orthogonal. When L has one of the properties (a), (b), or (c), the nonnegative scalars α 1,α 2,...,α l in (2) are positive. But then all properties (a) (c) hold, proving the required equivalence. This argument actually shows that For a cone invariant Z-transformation, the Q and P properties are equivalent. We conclude the paper with another result of Song (2015) proved for the Stein transformation S A on S n : When S A (S n +) S n +, S A has the GUS property if and only if I ± A are positive definite. The following result recovers this and says more. Corollary 1 Let H = S n and S A (S n +) S n +. Then S A has the GUS-property if and only if A = γi with γ < 1. We note that when A = γi with γ < 1, I ± A are positive definite. Proof. Suppose A = γi with γ < 1. Then S A (X) = X γ 2 X = (1 γ 2 )X. Hence, S A = αi with α > 0, and S A has the GUS-property. Conversely, suppose S A has the GUS property. Since S A (S+) n S+, n we see that A = γi with γ 1. If γ = 1, then S A (X) = (1 γ 2 )X = 0. Obviously S A cannot have the GUS property. Hence, γ < 1. This completes the proof. Acknowledgements Part of the work was done while the first author was visiting Soongsil University, Korea, during May 2016. He wishes to thank Professor Yoon J. Song and her colleagues for the invitation and hospitality. The second author s research is supported by Ministry of Culture, Sports and Tourism (MCST) and Korea Creative Content Agency (KOCCA) in the Culture Technology (CT) Research and Development Program 2016. References Arrow, K. J. (1977). The genesis of dynamic systems governed by Metzler matrices, in Lecture notes in Economics and Mathematical Systems, 144, 629-644.

10 M. Seetharama Gowda et al. Berman, A., & Plemmons, R. J. (1994). Nonnegative matrices in the mathematical sciences. Philadelphia: SIAM. Cottle, R. W., Pang, J.-S., & Stone, R. E. (1992). The linear complementarity problem. Boston: Academic Press. Faraut, J., & Koranyi, A. (1984). Analysis on Symmetric Cones. Oxford: Clarendon Press. Farina, L., & Rinaldi, S. (2000). Positive Linear Systems: Theory and Applications. New York: John-Wiley and Sons. Facchinei, F., & Pang, J.-S. (2003a). Finite Dimensional Variational Inequalities and Complementarity Problems, Vol. I. New York: Springer. Facchinei, F., & Pang, J.-S. (2003b). Finite Dimensional Variational Inequalities and Complementarity Problems, Vol. II. New York: Springer. Gowda, M. S., & Ravindran, G. (2015). On the game-theoretic value of a linear transformation relative to a self-dual cone. Linear Alg. Appl., 469, 440-463. Gowda, M. S., & Song, Y. (2000). On semidefinite linear complementarity problems. Math. Prog., Series A, 88, 575-587. Gowda, M. S., & Sznajder, R. (2007). Some global uniqueness and solvability results for linear complementarity problems over symmetric cones. SIAM J. Optim., 18, 461-481. Gowda, M. S., Sznajder, R., & Tao, J. (2004). Some P-properties for linear transformations on Euclidean Jordan algebras. Linear Alg. Appl., 393, 203-232. Gowda, M. S., & Tao, J. (2009). Z-transformations on proper and symmetric cones. Math. Prog., Series B, 117, 195-222. Gowda, M. S., & Tao, J. (2014). On the bilinearity rank of a proper cone and Lyapunov-like transformations. Math. Prog., Series A, 147, 155-170. Gowda, M. S., Tao, J., & Ravindran, G. (2012). On the P-property of Z and Lyapunov-like transformations on Euclidean Jordan algebras. Linear Alg. Appl., 436, 2201-2209. Hauser, R., & Güler, O. (2002). Self-scaled barrier functions on symmetric cones and their classification. Found. Comput. Math., 2, 121-143. Holmes, R. B. (1975). Geometric Functional Analysis and its Applications. New York: Springer-Verlag. Loewy, R., & Schneider, H. (1975). Indecomposable cones. Linear Alg. Appl., 11, 235-245. Schneider, H., & Vidyasagar, M. (1970). Cross-positive matrices. SIAM J Num. Anal., 7, 508-519. Song, Y. J. (2015). On positive semidefinite preserving Stein transformation. J. Appl. Math. Infor., 33, 229-234. Song, Y. J. (2016). Characterizations of globally-uniquely-solvable property of a cone-preserving Z- transformation on Euclidean Jordan algebras. J. Appl. Math. Infor., 34, 309-317.