1: \begin{abstract}

2: %\todo[inline]{NS : rewrite abstract}

3: We show that the set of maximal lower bounds of two symmetric matrices

4: with respect to the L\"owner order can be identified to the quotient set

5: $O(p,q)/(O(p)\times O(q))$. Here, $(p,q)$ denotes the inertia of the

6: difference of the two matrices, $O(p)$ is the $p$-th orthogonal group,

7: and $O(p,q)$ is the indefinite orthogonal group arising from a

8: quadratic form with inertia $(p,q)$.

9: We also show that a similar result holds for positive semidefinite maximal lower bounds with maximal rank of two positive semidefinite matrices.

10: %For instance, when $p=q=1$, the set of maximal lower bounds is nothing but the group of hyperbolic rotations. 

11: We exhibit a correspondence between the maximal lower bounds $C$ of two matrices $A,B$ and certain pairs of subspaces, describing the directions on which the quadratic form associated with $C$ is tangent to the one associated with $A$ or $B$.

12: %The present results refine a classical theorem of Kadison,

13: %showing that two symmetric matrices do not have a greatest

14: %lower bound unless they are comparable.

15: The present results refines a theorem from Kadison that characterizes the existence of the infimum of two symmetric matrices and a theorem from Moreland, Gudder and Ando on the existence of the positive semidefinite infimum of two positive semidefinite matrices.

16: %the first showing that two symmetric matrices do have a greatest

17: %lower bound unless they are comparable, and the second that two positive semidefinite

18: %%  . These subspaces arise by considering spaces on which the quadratic forms associated to $A,B$ and $C$ are tangent. 

19: %% on which the quadratic form associated to $C$ is tangent to the ones associated to $A$ or $B$.

20: %% We discuss the application of

21: %% this result to the synthesis of ellipsoidal invariants of hybrid

22: %% dynamical systems.

23: \end{abstract}

24: