75342e33af63ecfe.tex
1: \begin{abstract}
2: Consider the Lie group of $n\times n$ complex unitary matrices $\matu$ endowed with the bi-invariant Finsler metric given by the spectral norm,
3: $$
4: \sub{\|X\|}{U}=\|U^*X\|_{\infty}=\|X\|_{\infty}
5: $$
6: for any $X$ tangent to a unitary operator $U$. Given two points in $\matu$, in general there exists infinitely many curves of minimal length. The aim of this paper is to provide a complete description of such curves. As a consequence of this description, we conclude that there is a unique curve of minimal length between $U$ and $V$ if and only if the spectrum of $U^*V$ is contained in a set of the form $\{e^{i\theta},e^{-i\theta}\}$ for some $\theta\in [0,\pi)$. Similar
7: studies are done for the Grassmann manifolds.
8: \\
9: \indent
10: Now consider the cone of $n \times n$ positive invertible matrices $\matppos$
11: endowed with the bi-invariant Finsler metric given by the trace norm,
12: $$
13: \sub{\|X\|}{1,A}=\|A^{-1/2}XA^{-1/2}\|_1
14: $$
15: for any $X$ tangent to $A\in\matppos$. In this context, given two points $A, B \in \matppos$ there exists infinitely many curves of minimal length. In order to provide a complete description of such curves, we provide a characterization of the minimal curves joining two Hermitian matrices $X,Y\in \matsa$. As a consequence of the last description, we provide a way to construct minimal paths in the group of unitary matrices $\matu$ endowed with the bi-invariant Finsler metric
16: $$
17: \sub{\|X\|}{1,U}=\|U^*X\|_1=\|X\|_1
18: $$
19: for any $X$ tangent to $U\in\matu$.
20: \\
21: \indent
22:  We also study the set of intermediate points in all the previous contexts. Between two given unitary matrices $U$ and $V$ we prove that this set is geodesically convex provided $\|U-V\|_{\infty}<1$. In $\matppos$ this set is geodesically convex for every unitarily invariant norm.
23: \end{abstract}
24: