-
The generalized numerical range of a set of matrices
Authors:
Pan-Shun Lau,
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
For a given set of $n\times n$ matrices $\mathcal F$, we study the union of the $C$-numerical ranges of the matrices in the set $\mathcal F$, denoted by $W_C({\mathcal F})$. We obtain basic algebraic and topological properties of $W_C({\mathcal F})$, and show that there are connections between the geometric properties of $W_C({\mathcal F})$ and the algebraic properties of $C$ and the matrices in…
▽ More
For a given set of $n\times n$ matrices $\mathcal F$, we study the union of the $C$-numerical ranges of the matrices in the set $\mathcal F$, denoted by $W_C({\mathcal F})$. We obtain basic algebraic and topological properties of $W_C({\mathcal F})$, and show that there are connections between the geometric properties of $W_C({\mathcal F})$ and the algebraic properties of $C$ and the matrices in ${\mathcal F}$. Furthermore, we consider the starshapedness and convexity of the set $W_C({\mathcal F})$. In particular, we show that if ${\mathcal F}$ is the convex hull of two matrices such that $W_C(A)$ and $W_C(B)$ are convex, then the set $W_C({\mathcal F})$ is star-shaped. We also investigate the extensions of the results to the joint $C$-numerical range of an $m$-tuple of matrices.
△ Less
Submitted 1 May, 2018;
originally announced May 2018.
-
Convexity and Star-shapedness of Matricial Range
Authors:
Pan-Shun Lau,
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
Let ${\bf A} = (A_1, \dots, A_m)$ be an $m$-tuple of bounded linear operators acting on a Hilbert space ${\cal H}$. Their joint $(p,q)$-matricial range $Λ_{p,q}({\bf A})$ is the collection of $(B_1, \dots, B_m) \in {\bf M}_q^m$, where $I_p\otimes B_j$ is a compression of $A_j$ on a $pq$-dimensional subspace. This definition covers various kinds of generalized numerical ranges for different values…
▽ More
Let ${\bf A} = (A_1, \dots, A_m)$ be an $m$-tuple of bounded linear operators acting on a Hilbert space ${\cal H}$. Their joint $(p,q)$-matricial range $Λ_{p,q}({\bf A})$ is the collection of $(B_1, \dots, B_m) \in {\bf M}_q^m$, where $I_p\otimes B_j$ is a compression of $A_j$ on a $pq$-dimensional subspace. This definition covers various kinds of generalized numerical ranges for different values of $p,q,m$. In this paper, it is shown that $Λ_{p,q}({\bf A})$ is star-shaped if the dimension of $\cal H$ is sufficiently large. If $\dim {\cal H}$ is infinite, we extend the definition of $Λ_{p,q}({\bf A})$ to $Λ_{\infty,q}({\bf A})$ consisting of $(B_1, \dots, B_m) \in {\bf M}_q^m$ such that $I_\infty \otimes B_j$ is a compression of $A_j$ on a closed subspace of ${\cal H}$, and consider the joint essential $(p,q)$-matricial range $$Λ^{ess}_{p,q}({\bf A}) = \bigcap \{ {\bf cl}(Λ_{p,q}(A_1+F_1, \dots, A_m+F_m)): F_1, \dots, F_m \hbox{ are compact operators}\}.$$ Both sets are shown to be convex, and the latter one is always non-empty and compact.
△ Less
Submitted 4 April, 2018; v1 submitted 26 October, 2017;
originally announced October 2017.
-
Convexity and Star-shapedness of Real Linear Images of Special Orthogonal Orbits
Authors:
Pan-Shun Lau,
Tuen-Wai Ng,
Nam-Kiu Tsing
Abstract:
Let $A\in \mathbb{R}^{N\times N}$ and $\mathrm{SO}_n:=\{ U \in \mathbb{R}^{N \times N}:UU^t=I_n,\det U>0\}$ be the set of $n\times n$ special orthogonal matrices. Define the (real) special orthogonal orbit of $A$ by \[ O(A):=\{UAV:U,V\in\mathrm{SO}_n\}. \] In this paper, we show that the linear image of $O(A)$ is star-shaped with respect to the origin for arbitrary linear maps…
▽ More
Let $A\in \mathbb{R}^{N\times N}$ and $\mathrm{SO}_n:=\{ U \in \mathbb{R}^{N \times N}:UU^t=I_n,\det U>0\}$ be the set of $n\times n$ special orthogonal matrices. Define the (real) special orthogonal orbit of $A$ by \[ O(A):=\{UAV:U,V\in\mathrm{SO}_n\}. \] In this paper, we show that the linear image of $O(A)$ is star-shaped with respect to the origin for arbitrary linear maps $L:\mathbb{R}^{N\times N}\to\mathbb{R}^\ell$ if $n\geq 2^{\ell-1}$. In particular, for linear maps $L:\mathbb{R}^{N\times N}\to\mathbb{R}^2$ and when $A$ has distinct singular values, we study $B\in O(A)$ such that $L(B)$ is a boundary point of $L(O(A))$. This gives an alternative proof of a result by Li and Tam on the convexity of $L(O(A))$ for linear maps $L:\mathbb{R}^{N\times N}\to\mathbb{R}^2$.
△ Less
Submitted 22 August, 2016;
originally announced August 2016.
-
The star-shapedness of a generalized numerical range
Authors:
Pan-Shun Lau,
Tuen-Wai Ng,
Nam-Kiu Tsing
Abstract:
Let $\mathcal{H}_n$ be the set of all $n\times n$ Hermitian matrices and $\mathcal{H}^m_n$ be the set of all $m$-tuples of $n\times n$ Hermitian matrices. For $A=(A_1,...,A_m)\in \mathcal{H}^m_n$ and for any linear map $L:\mathcal{H}^m_n\to\mathbb{R}^\ell$, we define the $L$-numerical range of $A$ by \[ W_L(A):=\{L(U^*A_1U,...,U^*A_mU): U\in \mathbb{C}^{n\times n}, U^*U=I_n\}. \] In this paper, we…
▽ More
Let $\mathcal{H}_n$ be the set of all $n\times n$ Hermitian matrices and $\mathcal{H}^m_n$ be the set of all $m$-tuples of $n\times n$ Hermitian matrices. For $A=(A_1,...,A_m)\in \mathcal{H}^m_n$ and for any linear map $L:\mathcal{H}^m_n\to\mathbb{R}^\ell$, we define the $L$-numerical range of $A$ by \[ W_L(A):=\{L(U^*A_1U,...,U^*A_mU): U\in \mathbb{C}^{n\times n}, U^*U=I_n\}. \] In this paper, we prove that if $\ell\leq 3$, $n\geq \ell$ and $A_1,...,A_m$ are simultaneously unitarily diagonalizable, then $W_L(A)$ is star-shaped with star center at $L\left(\frac{\mathrm{tr} A_1}{n}I_n,...,\frac{\mathrm{tr} A_m}{n}I_n\right)$.
△ Less
Submitted 22 August, 2016;
originally announced August 2016.
