BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Hwa-Long Gau

Hwa-Long Gau appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath-phmath.MPquant-ph

Catalog footprint

What is connected

9works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

9 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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\}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access