Source author record

Hwa-Long Gau

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math-ph math.MP quant-ph

Catalog footprint

Research overview

9works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

Upper and Lower Bounds for Numerical Radii of Block Shifts

For any $n$ -by- $n$ matrix $A$ of the form $[\begin{array}{cccc} 0 & A_1 & & \\ & 0 & \ddots & \\ & & \ddots & A_{k-1} \\ & & & 0\end{array}],$ we consider two $k$ -by- $k$ matrices $A'=[\begin{array}{cccc} 0 & \|A_1\| & & \\ & 0 & \ddots & \\ & & \ddots & \|A_{k-1}\| \\ & & & 0\end{array}] \ {and} \ A''=[\begin{array}{cccc} 0 & m(A_1) & & \\ & 0 & \ddots & \\ & & \ddots & m(A_{k-1}) \\ & & & 0\end{array}],$ where $\|\cdot\|$ and $m(\cdot)$ denote the operator norm and minimum modulus of a matrix, respectively. It is shown that the numerical radii $w(\cdot)$ of $A$ , $A'$ and $A''$ are related by the inequalities $w(A'')\le w(A)\le w(A')$ . We also determine exactly when either of the inequalities becomes an equality.

preprint2013arXiv

Numerical Radii for Tensor Products of Matrices

For $n$ -by- $n$ and $m$ -by- $m$ complex matrices $A$ and $B$ , it is known that the inequality $w(A\otimes B)\le\|A\|w(B)$ holds, where $w(\cdot)$ and $\|\cdot\|$ denote, respectively, the numerical radius and the operator norm of a matrix. In this paper, we consider when this becomes an equality. We show that (1) if $\|A\|=1$ and $w(A\otimes B)=w(B)$ , then either $A$ has a unitary part or $A$ is completely nonunitary and the numerical range $W(B)$ of $B$ is a circular disc centered at the origin, (2) if $\|A\|=\|A^k\|=1$ for some $k$ , $1\le k<\infty$ , then $w(A)\ge\cos(π/(k+2))$ , and, moreover, the equality holds if and only if $A$ is unitarily similar to the direct sum of the $(k+1)$ -by- $(k+1)$ Jordan block $J_{k+1}$ and a matrix $B$ with $w(B)\le\cos(π/(k+2))$ , and (3) if $B$ is a nonnegative matrix with its real part (permutationally) irreducible, then $w(A\otimes B)=\|A\|w(B)$ if and only if either $p_A=\infty$ or $n_B\le p_A<\infty$ and $B$ is permutationally similar to a block-shift matrix \[[ {array}{cccc} 0 & B_1 & & & 0 & \ddots & & & \ddots & B_k & & & 0 {array} ]\] with $k=n_B$ , where $p_A=\sup\{\ell\ge 1: \|A^{\ell}\|=\|A\|^{\ell}\}$ and $n_B=\sup\{\ell\ge 1 : B^{\ell}\neq 0\}$ .

preprint2013arXiv

Numerical Ranges of KMS Matrices

A KMS matrix is one of the form $$J_n(a)=[{array}{ccccc} 0 & a & a^2 &... & a^{n-1} & 0 & a & \ddots & \vdots & & \ddots & \ddots & a^2 & & & \ddots & a 0 & & & & 0{array}]$$ for $n\ge 1$ and $a$ in $\mathbb{C}$ . Among other things, we prove the following properties of its numerical range: (1) $W(J_n(a))$ is a circular disc if and only if $n=2$ and $a\neq 0$ , (2) its boundary $\partial W(J_n(a))$ contains a line segment if and only if $n\ge 3$ and $|a|=1$ , and (3) the intersection of the boundaries $\partial W(J_n(a))$ and $\partial W(J_n(a)[j])$ is either the singleton $\{\minσ(\re J_n(a))\}$ if $n$ is odd, $j=(n+1)/2$ and $|a|>1$ , or the empty set $\emptyset$ if otherwise, where, for any $n$ -by- $n$ matrix $A$ , $A[j]$ denotes its $j$ th principal submatrix obtained by deleting its $j$ th row and $j$ th column ( $1\le j\le n$ ), $\re A$ its real part $(A+A^*)/2$ , and $σ(A)$ its spectrum.

preprint2013arXiv

Power Partial Isometry Index and Ascent of a Finite Matrix

We give a complete characterization of nonnegative integers $j$ and $k$ and a positive integer $n$ for which there is an $n$ -by- $n$ matrix with its power partial isometry index equal to $j$ and its ascent equal to $k$ . Recall that the power partial isometry index $p(A)$ of a matrix $A$ is the supremum, possibly infinity, of nonnegative integers $j$ such that $I, A, A^2, \ldots, A^j$ are all partial isometries while the ascent $a(A)$ of $A$ is the smallest integer $k\ge 0$ for which $\ker A^k$ equals $\ker A^{k+1}$ . It was known before that, for any matrix $A$ , either $p(A)\le\min\{a(A), n-1\}$ or $p(A)=\infty$ . In this paper, we prove more precisely that there is an $n$ -by- $n$ matrix $A$ such that $p(A)=j$ and $a(A)=k$ if and only if one of the following conditions holds: (a) $j=k\le n-1$ , (b) $j\le k-1$ and $j+k\le n-1$ , and (c) $j\le k-2$ and $j+k=n$ . This answers a question we asked in a previous paper.

preprint2013arXiv

Structures and Numerical Ranges of Power Partial Isometries

We derive a matrix model, under unitary similarity, of an $n$ -by- $n$ matrix $A$ such that $A, A^2, \ldots, A^k$ ( $k\ge 1$ ) are all partial isometries, which generalizes the known fact that if $A$ is a partial isometry, then it is unitarily similar to a matrix of the form ${\scriptsize\left[\begin{array}{cc} 0 & B 0 & C\end{array}\right]}$ with $B^*B+C^*C=I$ . Using this model, we show that if $A$ has ascent $k$ and $A, A^2, \ldots, A^{k-1}$ are partial isometries, then the numerical range $W(A)$ of $A$ is a circular disc centered at the origin if and only if $A$ is unitarily similar to a direct sum of Jordan blocks whose largest size is $k$ . As an application, this yields that, for any $S_n$ -matrix $A$ , $W(A)$ (resp., $W(A\otimes A)$ ) is a circular disc centered at the origin if and only if $A$ is unitarily similar to the Jordan block $J_n$ . Finally, examples are given to show that the conditions that $W(A)$ and $W(A\otimes A)$ are circular discs at 0 are independent of each other for a general matrix $A$ .

preprint2013arXiv

Zero-dilation Index of a Finite Matrix

For an $n$ -by- $n$ complex matrix $A$ , we define its zero-dilation index $d(A)$ as the largest size of a zero matrix which can be dilated to $A$ . This is the same as the maximum $k$ ( $\ge 1$ ) for which 0 is in the rank- $k$ numerical range of $A$ . Using a result of Li and Sze, we show that if $d(A) > \lfloor 2n/3\rfloor$ , then, under unitary similarity, $A$ has the zero matrix of size $3d(A)-2n$ as a direct summand. It complements the known fact that if $d(A)>\lfloor n/2\rfloor$ , then 0 is an eigenvalue of $A$ . We then use it to give a complete characterization of $n$ -by- $n$ matrices $A$ with $d(A)=n-1$ , namely, $A$ satisfies this condition if and only if it is unitarily similar to $B\oplus 0_{n-3}$ , where $B$ is a 3-by-3 matrix whose numerical range $W(B)$ is an elliptic disc and whose eigenvalue other than the two foci of $\partial W(B)$ is 0. We also determine the value of $d(A)$ for any normal matrix and any weighted permutation matrix $A$ .

preprint2012arXiv

Higher-rank Numerical Ranges and Kippenhahn Polynomials

We prove that two n-by-n matrices A and B have their rank-k numerical ranges $Λ_k(A)$ and $Λ_k(B)$ equal to each other for all k, $1\le k\le \lfloor n/2\rfloor+1$ , if and only if their Kippenhahn polynomials $p_A(x,y,z)\equiv\det(x Re A+y Im A+zI_n)$ and $p_B(x,y,z)\equiv\det(x Re B+y Im B+zI_n)$ coincide. The main tools for the proof are the Li-Sze characterization of higher-rank numerical ranges, Weyl's perturbation theorem for eigenvalues of Hermitian matrices and Bezout's theorem for the number of common zeros for two homogeneous polynomials.

preprint2012arXiv

Weighted Shift Matrices: Unitary Equivalence, Reducibility and Numerical Ranges

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.

preprint2010arXiv

Higher rank numerical ranges of normal matrices

The higher rank numerical range is closely connected to the construction of quantum error correction code for a noisy quantum channel. It is known that if a normal matrix $A \in M_n$ has eigenvalues $a_1, \..., a_n$ , then its higher rank numerical range $Λ_k(A)$ is the intersection of convex polygons with vertices $a_{j_1}, \..., a_{j_{n-k+1}}$ , where $1 \le j_1 < \... < j_{n-k+1} \le n$ . In this paper, it is shown that the higher rank numerical range of a normal matrix with $m$ distinct eigenvalues can be written as the intersection of no more than $\max\{m,4\}$ closed half planes. In addition, given a convex polygon ${\mathcal P}$ a construction is given for a normal matrix $A \in M_n$ with minimum $n$ such that $Λ_k(A) = {\mathcal P}$ . In particular, if ${\mathcal P}$ has $p$ vertices, with $p \ge 3$ , there is a normal matrix $A \in M_n$ with $n \le \max\left\{p+k-1, 2k+2 \right\}$ such that $Λ_k(A) = {\mathcal P}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Hwa-Long Gau

Research overview

Is this your work?

9 publications

Upper and Lower Bounds for Numerical Radii of Block Shifts

Numerical Radii for Tensor Products of Matrices

Numerical Ranges of KMS Matrices

Power Partial Isometry Index and Ascent of a Finite Matrix

Structures and Numerical Ranges of Power Partial Isometries

Zero-dilation Index of a Finite Matrix

Higher-rank Numerical Ranges and Kippenhahn Polynomials

Weighted Shift Matrices: Unitary Equivalence, Reducibility and Numerical Ranges

Higher rank numerical ranges of normal matrices

See the researcher in context

Building this map preview