Source author record

Pei Yuan Wu

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

ResearcherUnclaimed source record

math.FA

Catalog footprint

Research overview

7works

1topics

2close 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.

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.

Pei Yuan Wu

Research overview

Is this your work?

7 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

See the researcher in context

Building this map preview