-
On the consistent estimators of the population covariance matrix and its reparameterizations
Authors:
Ming-Tien Tsai,
Chia-Hsian Tsai
Abstract:
For the high-dimensional covariance estimation problem, when $\lim_{n\to \infty}p/n=c \in (0,1)$ the orthogonally equivariant estimator of the population covariance matrix proposed by Tsai and Tsai (2024b) enjoys some optimal properties. Under some regularity conditions, they showed that their novel estimators of eigenvalues are consistent for the eigenvalues of the population covariance matrix. I…
▽ More
For the high-dimensional covariance estimation problem, when $\lim_{n\to \infty}p/n=c \in (0,1)$ the orthogonally equivariant estimator of the population covariance matrix proposed by Tsai and Tsai (2024b) enjoys some optimal properties. Under some regularity conditions, they showed that their novel estimators of eigenvalues are consistent for the eigenvalues of the population covariance matrix. In this note, first, we show that their novel estimator is consistent estimator of the population covariance matrix under a high-dimensional asymptotic setup. Moreover, we also show that the novel estimator is the MLE of population covariance matrix when $c \in (0, 1)$. The novel estimator is incorporated to establish the optimal decomposite $T_{T}^{2}-$test for a high-dimensional statistical hypothesis testing problem.
△ Less
Submitted 18 May, 2024;
originally announced May 2024.
-
On the orthogonally equivariant estimators of a covariance matrix
Authors:
Ming-Tien Tsai,
Chia-Hsuan Tsai
Abstract:
In this note, when the dimension $p$ is large we look into the insight of the Mar$\check{c}$enko-Pastur equation to get an explicit equality relationship, and use the obtained equality to establish a new kind of orthogonally equivariant estimator of the population covariance matrix. Under some regularity conditions, the proposed novel estimators of the population eigenvalues are shown to be consis…
▽ More
In this note, when the dimension $p$ is large we look into the insight of the Mar$\check{c}$enko-Pastur equation to get an explicit equality relationship, and use the obtained equality to establish a new kind of orthogonally equivariant estimator of the population covariance matrix. Under some regularity conditions, the proposed novel estimators of the population eigenvalues are shown to be consistent for the eigenvalues of population covariance matrix. It is also shown that the proposed estimator is the best orthogonally equivariant estimator of population covariance matrix under the normalized Stein loss function.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
The decomposite $T^{2}$-test when the dimension is large
Authors:
Chia-Hsuan Tsai,
Ming-Tien Tsai
Abstract:
In this paper, we discuss tests for mean vector of high-dimensional data when the dimension $p$ is a function of sample size $n$. One of the tests, called the decomposite $T^{2}$-test, in the high-dimensional testing problem is constructed based on the estimation work of Ledoit and Wolf (2018), which is an optimal orthogonally equivariant estimator of the inverse of population covariance matrix un…
▽ More
In this paper, we discuss tests for mean vector of high-dimensional data when the dimension $p$ is a function of sample size $n$. One of the tests, called the decomposite $T^{2}$-test, in the high-dimensional testing problem is constructed based on the estimation work of Ledoit and Wolf (2018), which is an optimal orthogonally equivariant estimator of the inverse of population covariance matrix under Stein loss function. The asymptotic distribution function of the test statistic is investigated under a sequence of local alternatives. The asymptotic relative efficiency is used to see whether a test is optimal and to perform the power comparisons of tests. An application of the decomposite $T^{2}$-test is in testing significance for the effect of monthly unlimited transport policy on public transportation, in which the data are taken from Taipei Metro System.
△ Less
Submitted 3 March, 2024;
originally announced March 2024.
-
Linear maps preserving matrices annihilated by a fixed polynomial
Authors:
Chi-Kwong Li,
Ming-Cheng Tsai,
Ya-Shu Wang,
Ngai-Ching Wong
Abstract:
Let ${\bf M}_n(\mathbb{F})$ be the algebra of $n\times n$ matrices over an arbitrary field $\mathbb{F}$. We consider linear maps $Φ: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ preserving matrices annihilated by a fixed polynomial $f(x) = (x-a_1)\cdots (x-a_m)$ with $m\ge 2$ distinct zeroes $a_1, a_2, \ldots, a_m \in \mathbb{F}$; namely,…
▽ More
Let ${\bf M}_n(\mathbb{F})$ be the algebra of $n\times n$ matrices over an arbitrary field $\mathbb{F}$. We consider linear maps $Φ: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ preserving matrices annihilated by a fixed polynomial $f(x) = (x-a_1)\cdots (x-a_m)$ with $m\ge 2$ distinct zeroes $a_1, a_2, \ldots, a_m \in \mathbb{F}$; namely, $$ f(Φ(A)) = 0\quad\text{whenever} \quad f(A) = 0. $$
Suppose that $f(0)=0$, and the zero set $Z(f) =\{a_1, \dots, a_m\}$ is not an additive group. Then $Φ$ assumes the form \begin{align}\label{eq:standard} A \mapsto S\begin{pmatrix} A \otimes D_1 &&\cr & A^{T} \otimes D_2& \cr && 0_s\cr\end{pmatrix}S^{-1}, \tag{$\dagger$} \end{align} for some invertible matrix $S\in {\bf M}_r(\mathbb{F})$, invertible diagonal matrices $D_1\in {\bf M}_p(\mathbb{F})$ and $D_2\in {\bf M}_q(\mathbb{F})$, where
$s=r-np-nq\geq 0$. The diagonal entries $λ$ in $D_1$ and $D_2$, as well as $0$ in the zero matrix $0_s$, are zero multipliers of $f(x)$ in the sense that $λZ(f) \subseteq Z(f)$.
In general, assume that $Z(f) - a_1$ is not an additive group. If $Φ(I_n)$ commutes with $Φ(A)$ for all $A\in {\bf M}_n(\mathbb{F})$, or if $f(x)$ has a unique zero multiplier $λ=1$,
then $Φ$ assumes the form \eqref{eq:standard}.
The above assertions follow from the special case when $f(x) = x(x-1)=x^2-x$, for which the problem reduces to the study of linear idempotent preservers.
It is shown that a linear map $Φ: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ sending disjoint rank one idempotents to disjoint idempotents always assume the above form \eqref{eq:standard} with $D_1=I_p$ and $D_2=I_q$, unless ${\bf M}_n(\mathbb{F}) = {\bf M}_2(\mathbb{Z}_2)$.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Linear k-power preservers and trace of power-product preservers
Authors:
Huajun Huang,
Ming-Cheng Tsai
Abstract:
Let $V$ be the set of $n\times n$ complex or real general matrices, Hermitian matrices, symmetric matrices, positive definite (resp. semi-definite) matrices, diagonal matrices, or upper triangular matrices. Fix $k\in \mathbb{Z}\setminus \{0, 1\}$. We characterize linear maps $ψ:V\to V$ that satisfy $ψ(A^k)=ψ(A)^k$ on an open neighborhood $S$ of $I_n$ in $V$. The $k$-power preservers are necessaril…
▽ More
Let $V$ be the set of $n\times n$ complex or real general matrices, Hermitian matrices, symmetric matrices, positive definite (resp. semi-definite) matrices, diagonal matrices, or upper triangular matrices. Fix $k\in \mathbb{Z}\setminus \{0, 1\}$. We characterize linear maps $ψ:V\to V$ that satisfy $ψ(A^k)=ψ(A)^k$ on an open neighborhood $S$ of $I_n$ in $V$. The $k$-power preservers are necessarily $k$-potent preservers, and the case $k=2$ corresponds to Jordan homomorphisms. Applying the results, we characterize maps $φ,ψ:V\to V$ that satisfy "$ \operatorname{tr}(φ(A)ψ(B)^k)=\operatorname{tr}(AB^k)$ for all $A\in V$, $B\in S$, and $ψ$ is linear" or "$ \operatorname{tr}(φ(A)ψ(B)^k)=\operatorname{tr}(AB^k)$ for all $A, B\in S$ and both $φ$ and $ψ$ are linear." The characterizations systematically extend existing results in literature, and they have many applications in areas like quantum information theory. Some structural theorems and power series over matrices are widely used in our characterizations.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
Maps preserving trace of products of matrices
Authors:
Huajun Huang,
Ming-Cheng Tsai
Abstract:
We prove the linearity and injectivity of two maps $φ_1$ and $φ_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(φ_1(A)φ_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $φ_i:\mathcal{S}\to \mathcal{S}$ ($i=1, \ldots, m$) satisfying $$\operatorname{tr} (φ_1(A_1)\cdots φ_m(A_m))=\operatorname{tr} (A_1\cdots A_m)$$ in which $\mathcal{S}$ is the set of $n$-by-$n$ general,…
▽ More
We prove the linearity and injectivity of two maps $φ_1$ and $φ_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(φ_1(A)φ_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $φ_i:\mathcal{S}\to \mathcal{S}$ ($i=1, \ldots, m$) satisfying $$\operatorname{tr} (φ_1(A_1)\cdots φ_m(A_m))=\operatorname{tr} (A_1\cdots A_m)$$ in which $\mathcal{S}$ is the set of $n$-by-$n$ general, Hermitian, or symmetric matrices for $m\ge 3$, or positive definite or diagonal matrices for $m\ge 2$. The real versions are also given.
△ Less
Submitted 9 January, 2022; v1 submitted 21 March, 2021;
originally announced March 2021.
-
A Survey of Numerical Methods Utilizing Mixed Precision Arithmetic
Authors:
Ahmad Abdelfattah,
Hartwig Anzt,
Erik G. Boman,
Erin Carson,
Terry Cojean,
Jack Dongarra,
Mark Gates,
Thomas Grützmacher,
Nicholas J. Higham,
Sherry Li,
Neil Lindquist,
Yang Liu,
Jennifer Loe,
Piotr Luszczek,
Pratik Nayak,
Sri Pranesh,
Siva Rajamanickam,
Tobias Ribizel,
Barry Smith,
Kasia Swirydowicz,
Stephen Thomas,
Stanimire Tomov,
Yaohung M. Tsai,
Ichitaro Yamazaki,
Urike Meier Yang
Abstract:
Within the past years, hardware vendors have started designing low precision special function units in response to the demand of the Machine Learning community and their demand for high compute power in low precision formats. Also the server-line products are increasingly featuring low-precision special function units, such as the NVIDIA tensor cores in ORNL's Summit supercomputer providing more t…
▽ More
Within the past years, hardware vendors have started designing low precision special function units in response to the demand of the Machine Learning community and their demand for high compute power in low precision formats. Also the server-line products are increasingly featuring low-precision special function units, such as the NVIDIA tensor cores in ORNL's Summit supercomputer providing more than an order of magnitude higher performance than what is available in IEEE double precision. At the same time, the gap between the compute power on the one hand and the memory bandwidth on the other hand keeps increasing, making data access and communication prohibitively expensive compared to arithmetic operations. To start the multiprecision focus effort, we survey the numerical linear algebra community and summarize all existing multiprecision knowledge, expertise, and software capabilities in this landscape analysis report. We also include current efforts and preliminary results that may not yet be considered "mature technology," but have the potential to grow into production quality within the multiprecision focus effort. As we expect the reader to be familiar with the basics of numerical linear algebra, we refrain from providing a detailed background on the algorithms themselves but focus on how mixed- and multiprecision technology can help improving the performance of these methods and present highlights of application significantly outperforming the traditional fixed precision methods.
△ Less
Submitted 13 July, 2020;
originally announced July 2020.
-
Nonsurjective zero product preservers between matrix spaces over an arbitrary field
Authors:
Chi-Kwong Li,
Ming-Cheng Tsai,
Ya-Shu Wang,
Ngai-Ching Wong
Abstract:
A map $Φ$ between matrices is said to be zero product preserving if $$ Φ(A)Φ(B) = 0 \quad \text{whenever}\quad AB = 0. $$ In this paper, we give concrete descriptions of an additive/linear zero product preserver $Φ: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ between matrix algebras of different dimensions over an arbitrary field $\mathbb{F}$. In particular, we show that if $Φ$ is lin…
▽ More
A map $Φ$ between matrices is said to be zero product preserving if $$ Φ(A)Φ(B) = 0 \quad \text{whenever}\quad AB = 0. $$ In this paper, we give concrete descriptions of an additive/linear zero product preserver $Φ: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ between matrix algebras of different dimensions over an arbitrary field $\mathbb{F}$. In particular, we show that if $Φ$ is linear and preserves zero products then $$ Φ(A)= S\begin{pmatrix} R_1 \otimes A & 0 \cr 0 & Φ_0(A)\end{pmatrix} S^{-1}, $$ for some invertible matrices $R_1$ in ${\bf M}_k(\mathbb{F})$, $S$ in ${\bf M}_r(\mathbb{F})$ and a zero product preserving linear map $Φ_0: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_{r-nk}(\mathbb{F})$ into nilpotent matrices. If $Φ(I_n)$ is invertible, then $Φ_0$ is vacuous. In general, the structure of $Φ_0$ could be quite arbitrary, especially when $Φ_0({\bf M}_n(\mathbb{F}))$ has trivial multiplication, i.e., $Φ_0(X)Φ_0(Y) = 0$ for all $X, Y$ in ${\bf M}_n(\mathbb{F})$. We show that if $Φ_0(I_n) = 0$ or $r-nk \le n+1$, then $Φ_0({\bf M}_n(\mathbb{F}))$ indeed has trivial multiplication. More generally, we characterize subspaces ${\bf V}$ of square matrices satisfying $XY = 0$ for any $X, Y \in {\bf V}$. Similar results for double zero product preserving maps are obtained.
△ Less
Submitted 10 April, 2023; v1 submitted 10 March, 2020;
originally announced March 2020.
-
On triangular similarity of nilpotent triangular matrices
Authors:
Ming-Cheng Tsai,
Meaza Bogale,
Huajun Huang
Abstract:
Let $B_n$ (resp. $U_n$, $N_n$) be the set of $n\times n$ nonsingular (resp. unit, nilpotent) upper triangular matrices. We use a novel approach to explore the $B_n$-similarity orbits in $N_n$. The Belitskiĭ's canonical form of $A\in N_n$ under $B_n$-similarity is in $QU_n$ where $Q$ is the subpermutation such that $A\in B_n QB_n$. Using graph representations and $U_n$-similarity actions stablizing…
▽ More
Let $B_n$ (resp. $U_n$, $N_n$) be the set of $n\times n$ nonsingular (resp. unit, nilpotent) upper triangular matrices. We use a novel approach to explore the $B_n$-similarity orbits in $N_n$. The Belitskiĭ's canonical form of $A\in N_n$ under $B_n$-similarity is in $QU_n$ where $Q$ is the subpermutation such that $A\in B_n QB_n$. Using graph representations and $U_n$-similarity actions stablizing $QU_n$, we obtain new properties of the Belitskiĭ's canonical forms and present an efficient algorithm to find the Belitskiĭ's canonical forms in $N_n$. As consequences, we construct new Belitskiĭ's canonical forms in all $N_n$'s, list all Belitskiĭ's canonical forms for $n=7, 8$, and show examples of 3-nilpotent Belitskiĭ's canonical forms in $N_n$ with arbitrary numbers of parameters up to $\operatorname{O}(n^2)$.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Nonsurjective maps between rectangular matrix spaces preserving disjointness, triple products, or norms
Authors:
Chi-Kwong Li,
Ming-Cheng Tsai,
Ya-Shu Wang,
Ngai-Ching Wong
Abstract:
Let $M_{m,n}$ be the space of $m\times n$ real or complex rectangular matrices. Two matrices $A, B \in M_{m,n}$ are disjoint if $A^*B = 0_n$ and $AB^* = 0_m$. In this paper, a characterization is given for linear maps $Φ: M_{m,n} \rightarrow M_{r,s}$ sending disjoint matrix pairs to disjoint matrix pairs, i.e., $A, B \in M_{m,n}$ are disjoint ensures that $Φ(A), Φ(B) \in M_{r,s}$ are disjoint. Mor…
▽ More
Let $M_{m,n}$ be the space of $m\times n$ real or complex rectangular matrices. Two matrices $A, B \in M_{m,n}$ are disjoint if $A^*B = 0_n$ and $AB^* = 0_m$. In this paper, a characterization is given for linear maps $Φ: M_{m,n} \rightarrow M_{r,s}$ sending disjoint matrix pairs to disjoint matrix pairs, i.e., $A, B \in M_{m,n}$ are disjoint ensures that $Φ(A), Φ(B) \in M_{r,s}$ are disjoint. More precisely, it is shown that $Φ$ preserves disjointness if and only if $Φ$ is of the form $$Φ(A) = U\begin{pmatrix} A \otimes Q_1 & 0 & 0 \cr 0 & A^t \otimes Q_2 & 0 \cr 0 & 0 & 0 \cr\end{pmatrix}V$$ for some unitary matrices $U \in M_{r,r}$ and $V\in M_{s,s}$, and positive diagonal matrices $Q_1, Q_2$, where $Q_1$ or $Q_2$ may be vacuous. The result is used to characterize nonsurjective linear maps that preserve the $JB^*$-triple product, or just the zero triple product, on rectangular matrices, defined by $\{A,B,C\} = \frac{1}{2}(AB^*C+CB^*A)$. The result is also applied to characterize linear maps between rectangular matrix spaces of different sizes preserving the Schatten $p$-norms or the Ky Fan $k$-norms.
△ Less
Submitted 13 July, 2019; v1 submitted 5 March, 2019;
originally announced March 2019.
-
Towards an unified theory for testing statistical hypothesis: Multinormal mean with nuisance covariance matrix
Authors:
Ming-Tien Tsai
Abstract:
Under a multinormal distribution with arbitrary unknown covariance matrix, the main purpose of this paper is to propose a framework to achieve the goal of reconciliation of Bayesian, frequentist and Fisherian paradigms for the problems of testing mean against restricted alternatives (closed convex cones). Combining Fisher's fiducial inference and Wald's decision theory via d-admissibility into an…
▽ More
Under a multinormal distribution with arbitrary unknown covariance matrix, the main purpose of this paper is to propose a framework to achieve the goal of reconciliation of Bayesian, frequentist and Fisherian paradigms for the problems of testing mean against restricted alternatives (closed convex cones). Combining Fisher's fiducial inference and Wald's decision theory via d-admissibility into an unified approach, the goal can then be achieved. To proceed, the tests constructed via the union-intersection principle are studied.
△ Less
Submitted 20 December, 2019; v1 submitted 17 October, 2017;
originally announced October 2017.
-
A note on MLE of covariance matrix
Authors:
Ming-Tien Tsai
Abstract:
For a multivariate normal set up, it is well known that the maximum likelihood estimator of covariance matrix is neither admissible nor minimax under the Stein loss function. For the past six decades, a bunch of researches have followed along this line for Stein's phenomenon in the literature. In this note, the results are two folds: Firstly, with respect to Stein type loss function we use the ful…
▽ More
For a multivariate normal set up, it is well known that the maximum likelihood estimator of covariance matrix is neither admissible nor minimax under the Stein loss function. For the past six decades, a bunch of researches have followed along this line for Stein's phenomenon in the literature. In this note, the results are two folds: Firstly, with respect to Stein type loss function we use the full Iwasawa decomposition to enhance the unpleasant phenomenon that the minimum risks of maximum likelihood estimators for the different coordinate systems (Cholesky decomposition and full Iwasawa decomposition) are different. Secondly, we introduce a new class of loss functions to show that the minimum risks of maximum likelihood estimators for the different coordinate systems, the Cholesky decomposition and the full Iwasawa decomposition, are of the same, and hence the Stein's paradox disappears.
△ Less
Submitted 23 July, 2017; v1 submitted 8 April, 2017;
originally announced April 2017.
-
Admissibility of invariant tests for means with covariates
Authors:
Ming-Tien Tsai
Abstract:
For a multinormal distribution with a $p$-dimensional mean vector ${\mbtheta}$ and an arbitrary unknown dispersion matrix ${\mbSigma}$, Rao ([9], [10]) proposed two tests for the problem of testing $ H_{0}:{\mbtheta}_{1} = {\bf 0}, {\mbtheta}_{2} = {\bf 0}, {\mbSigma}~ \hbox{unspecified},~\hbox{versus}~H_{1}:{\mbtheta}_{1} \ne {\bf 0}, {\mbtheta}_{2} ={\bf 0}, {\mbSigma}~\hbox{unspecified}$, where…
▽ More
For a multinormal distribution with a $p$-dimensional mean vector ${\mbtheta}$ and an arbitrary unknown dispersion matrix ${\mbSigma}$, Rao ([9], [10]) proposed two tests for the problem of testing $ H_{0}:{\mbtheta}_{1} = {\bf 0}, {\mbtheta}_{2} = {\bf 0}, {\mbSigma}~ \hbox{unspecified},~\hbox{versus}~H_{1}:{\mbtheta}_{1} \ne {\bf 0}, {\mbtheta}_{2} ={\bf 0}, {\mbSigma}~\hbox{unspecified}$, where ${\mbtheta}^{'}=({\mbtheta}^{'}_{1},{\mbtheta}^{'}_{2})$. These tests are referred to as Rao's $W$-test (likelihood ratio test) and Rao's $U$-test (union-intersection test), respectively. This work is inspired by the well-known work of Marden and Perlman [6] who claimed that Hotelling's $T^{2}$-test is admissible while Rao's $U$-test is inadmissible. Both Rao's $U$-test and Hotelling's $T^{2}$-test can be constructed by applying the union-intersection principle that incorporates the information ${\mbtheta}_{2}={\bf 0}$ for Rao's $U$-test statistic but does not incorporate it for Hotelling's $T^{2}$-test statistic. Rao's $U$-test is believed to exhibit some optimal properties. Rao's $U$-test is shown to be admissible by fully incorporating the information ${\mbtheta}_{2}={\bf 0}$, but Hotelling's $T^{2}$-test is inadmissible.
△ Less
Submitted 3 April, 2017;
originally announced April 2017.
-
Trace and determinant preserving maps of matrices
Authors:
Huajun Huang,
Chih-Neng Liu,
Patricia Szokol,
Ming-Cheng Tsai,
Jun Zhang
Abstract:
Suppose a map $φ$ on the set of positive definite matrices satisfies $\det(A+B)=\det(φ(A)+φ(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(φ(A){φ(B)}^{-1}).$$ Through this viewpoint, we show that $φ$ is of the form $φ(A)= M^*AM$ or $φ(A)= M^*A^tM$ for some invertible matrix $M$ with $\det (M^*M)=1$. We also characterize the map $φ: \mathcal{S} \rightarrow \mathcal{S}$ preserving the determinant…
▽ More
Suppose a map $φ$ on the set of positive definite matrices satisfies $\det(A+B)=\det(φ(A)+φ(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(φ(A){φ(B)}^{-1}).$$ Through this viewpoint, we show that $φ$ is of the form $φ(A)= M^*AM$ or $φ(A)= M^*A^tM$ for some invertible matrix $M$ with $\det (M^*M)=1$. We also characterize the map $φ: \mathcal{S} \rightarrow \mathcal{S}$ preserving the determinant of convex combinations in $\mathcal{S}$ by using similar method. Here $\mathcal{S}$ can be the set of complex matrices, positive definite matrices, symmetric matrices, and upper triangular matrices.
△ Less
Submitted 12 March, 2016;
originally announced March 2016.
-
Numerical Ranges of 4-by-4 Nilpotent Matrices: Flat Portions on the Boundary
Authors:
Erin Militzer,
Linda J. Patton,
Ilya M. Spitkovsky,
Ming-Cheng Tsai
Abstract:
In their 2008 paper Gau and Wu conjectured that the numerical range of a 4-by-4 nilpotent matrix has at most two flat portions on its boundary. We prove this conjecture, establishing along the way some additional facts of independent interest. In particular, a full description of the case in which these two portions indeed materialize and are parallel to each other is included.
In their 2008 paper Gau and Wu conjectured that the numerical range of a 4-by-4 nilpotent matrix has at most two flat portions on its boundary. We prove this conjecture, establishing along the way some additional facts of independent interest. In particular, a full description of the case in which these two portions indeed materialize and are parallel to each other is included.
△ Less
Submitted 28 November, 2015;
originally announced November 2015.
-
Factoring a quadratic operator as a product of two positive contractions
Authors:
Chi-Kwong Li,
Ming-Cheng Tsai
Abstract:
Let $T$ be a quadratic operator on a complex Hilbert space $H$. We show that $T$ can be written as a product of two positive contractions if and only if $T$ is of the form $$aI \oplus bI \oplus\begin{pmatrix} aI & P \cr 0 & bI \cr \end{pmatrix} \quad \text{on} \quad H_1\oplus H_2\oplus (H_3\oplus H_3)$$ for some $a, b\in [0,1]$ and strictly positive operator $P$ with…
▽ More
Let $T$ be a quadratic operator on a complex Hilbert space $H$. We show that $T$ can be written as a product of two positive contractions if and only if $T$ is of the form $$aI \oplus bI \oplus\begin{pmatrix} aI & P \cr 0 & bI \cr \end{pmatrix} \quad \text{on} \quad H_1\oplus H_2\oplus (H_3\oplus H_3)$$ for some $a, b\in [0,1]$ and strictly positive operator $P$ with $\|P\| \le |\sqrt{a} - \sqrt{b}|\sqrt{(1-a)(1-b)}.$ Also, we give a necessary condition for a bounded linear operator $T$ with operator matrix $\begin{pmatrix} T_1 & T_3\\ 0 & T_2\cr\end{pmatrix}$ on $H\oplus K$ that can be written as a product of two positive contractions.
△ Less
Submitted 15 May, 2014;
originally announced May 2014.
-
The spectrum of the product of operators, and the product of their numerical ranges
Authors:
Chi-Kwong Li,
Ming-Cheng Tsai,
Kuo-Zhong Wang,
Ngai-Ching Wong
Abstract:
We show that a compact operator $A$ is a multiple of a positive semi-definite operator if and only if $$ σ(AB) \subseteq \overline{W(A)W(B)}, \quad\text{for all (rank one) operators $B$}. $$ An example of a normal operator is given to show that the equivalence conditions may fail in general. We then obtain conditions to identify other classes of operators $A$ so that equivalence conditions hold.
We show that a compact operator $A$ is a multiple of a positive semi-definite operator if and only if $$ σ(AB) \subseteq \overline{W(A)W(B)}, \quad\text{for all (rank one) operators $B$}. $$ An example of a normal operator is given to show that the equivalence conditions may fail in general. We then obtain conditions to identify other classes of operators $A$ so that equivalence conditions hold.
△ Less
Submitted 12 July, 2014; v1 submitted 23 April, 2014;
originally announced April 2014.
-
Weighted Shift Matrices: Unitary Equivalence, Reducibility and Numerical Ranges
Authors:
Hwa-Long Gau,
Ming-Cheng Tsai,
Han-Chun Wang
Abstract:
An $n$-by-$n$ ($n\ge 3$) weighted shift matrix $A$ is one of the form $$[{array}{cccc}0 & a_1 & & & 0 & \ddots & & & \ddots & a_{n-1} a_n & & & 0{array}],$$ where the $a_j$'s, called the weights of $A$, are complex numbers. Assume that all $a_j$'s are nonzero and $B$ is an $n$-by-$n$ weighted shift matrix with weights $b_1,..., b_n$. We show that $B$ is unitarily equivalent to $A$ if and only if…
▽ More
An $n$-by-$n$ ($n\ge 3$) weighted shift matrix $A$ is one of the form $$[{array}{cccc}0 & a_1 & & & 0 & \ddots & & & \ddots & a_{n-1} a_n & & & 0{array}],$$ where the $a_j$'s, called the weights of $A$, are complex numbers. Assume that all $a_j$'s are nonzero and $B$ is an $n$-by-$n$ weighted shift matrix with weights $b_1,..., b_n$. We show that $B$ is unitarily equivalent to $A$ if and only if $b_1... b_n=a_1...a_n$ and, for some fixed $k$, $1\le k \le n$, $|b_j| = |a_{k+j}|$ ($a_{n+j}\equiv a_j$) for all $j$. Next, we show that $A$ is reducible if and only if $A$ has periodic weights, that is, for some fixed $k$, $1\le k \le \lfloor n/2\rfloor$, $n$ is divisible by $k$, and $|a_j|=|a_{k+j}|$ for all $1\le j\le n-k$. Finally, we prove that $A$ and $B$ have the same numerical range if and only if $a_1...a_n=b_1...b_n$ and $S_r(|a_1|^2,..., |a_n|^2)=S_r(|b_1|^2,..., |b_n|^2)$ for all $1\le r\le \lfloor n/2\rfloor$, where $S_r$'s are the circularly symmetric functions.
△ Less
Submitted 9 June, 2012;
originally announced June 2012.