-
Upper and Lower Bounds for Numerical Radii of Block Shifts
Authors:
Hwa-Long Gau,
Pei Yuan Wu
Abstract:
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\en…
▽ More
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.
△ Less
Submitted 1 October, 2014;
originally announced October 2014.
-
Power Partial Isometry Index and Ascent of a Finite Matrix
Authors:
Hwa-Long Gau,
Pei Yuan Wu
Abstract:
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 partia…
▽ More
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.
△ Less
Submitted 11 November, 2013;
originally announced November 2013.
-
Structures and Numerical Ranges of Power Partial Isometries
Authors:
Hwa-Long Gau,
Pei Yuan Wu
Abstract:
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$ h…
▽ More
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$.
△ Less
Submitted 18 October, 2013;
originally announced October 2013.
-
Numerical Radii for Tensor Products of Matrices
Authors:
Hwa-Long Gau,
Kuo-Zhong Wang,
Pei Yuan Wu
Abstract:
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 com…
▽ More
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\}$.
△ Less
Submitted 11 June, 2013;
originally announced June 2013.
-
Zero-dilation Index of a Finite Matrix
Authors:
Hwa-Long Gau,
Kuo-Zhong Wang,
Pei Yuan Wu
Abstract:
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…
▽ More
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$.
△ Less
Submitted 1 April, 2013;
originally announced April 2013.
-
Numerical Ranges of KMS Matrices
Authors:
Hwa-Long Gau,
Pei Yuan Wu
Abstract:
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))$…
▽ More
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.
△ Less
Submitted 1 April, 2013;
originally announced April 2013.
-
Higher-rank Numerical Ranges and Kippenhahn Polynomials
Authors:
Hwa-Long Gau,
Pei Yuan Wu
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 August, 2012;
originally announced August 2012.
-
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.
-
Higher rank numerical ranges of normal matrices
Authors:
Hwa-Long Gau,
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
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…
▽ More
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}$.
△ Less
Submitted 2 November, 2010; v1 submitted 27 February, 2009;
originally announced February 2009.
-
Anomalous k-dependent spin splitting in wurtzite AlxGa1-xN/GaN heterostructures
Authors:
Ikai Lo,
M. H. Gau,
J. K. Tsai,
Y. L. Chen,
Z. J. Chang,
W. T. Wang,
J. C. Chiang,
T. Aggerstam
Abstract:
We have confirmed the k-dependent spin splitting in wurtzite AlxGa1-xN/GaN heterostructures. Anomalous beating pattern in Shubnikov-de Haas measurements arises from the interference of Rashba and Dresselhaus spin-orbit interactions. The dominant mechanism for the k-dependent spin splitting at high values of k is attributed to Dresselhaus term which is enhanced by the Delta C1-Delta C3 coupling o…
▽ More
We have confirmed the k-dependent spin splitting in wurtzite AlxGa1-xN/GaN heterostructures. Anomalous beating pattern in Shubnikov-de Haas measurements arises from the interference of Rashba and Dresselhaus spin-orbit interactions. The dominant mechanism for the k-dependent spin splitting at high values of k is attributed to Dresselhaus term which is enhanced by the Delta C1-Delta C3 coupling of wurtzite band folding effect.
△ Less
Submitted 9 November, 2006; v1 submitted 15 September, 2006;
originally announced September 2006.
-
Study of two-subband population in Fe-doped AlxGa1-xN/GaN heterostructures by persistent photoconductivity effect
Authors:
Ikai Lo,
J. K. Tsai,
M. H. Gau,
Y. L. Chen,
Z. J. Chang,
W. T. Wang,
J. C. Chiang,
K. R. Wang,
Chun-Nan Chen,
T. Aggerstam
Abstract:
The electronic properties of Fe-doped Al0.31Ga0.69N/GaN heterostructures have been studied by Shubnikov-de Haas measurement. Two subbands of the two-dimensional electron gas in the hetero-interface were populated. After the low temperature illumination, the electron density increases from 11.99 x 1012 cm-2 to 13.40 x 1012 cm-2 for the first subband and from 0.66 x 1012 cm-2 to 0.94 x 1012 cm-2 f…
▽ More
The electronic properties of Fe-doped Al0.31Ga0.69N/GaN heterostructures have been studied by Shubnikov-de Haas measurement. Two subbands of the two-dimensional electron gas in the hetero-interface were populated. After the low temperature illumination, the electron density increases from 11.99 x 1012 cm-2 to 13.40 x 1012 cm-2 for the first subband and from 0.66 x 1012 cm-2 to 0.94 x 1012 cm-2 for the second subband. The persistent photoconductivity effect (~13% increase) is mostly attributed to the Fe-related deep-donor level in GaN layer. The second subband starts to populate when the first subband is filled at a density n1 = 9.40 x 1012 cm-2. We calculate the energy separation between the first and second subbands to be 105 meV.
△ Less
Submitted 14 September, 2006;
originally announced September 2006.
-
Wurtzite Effects on Spin Splitting of GaN/AlN Quantum Wells
Authors:
Ikai Lo,
W. T. Wang,
M. H. Gau,
S. F. Tsay,
J. C. Chiang
Abstract:
A new mechanism (DeltaC1-DeltaC3 coupling) is accounted for the spin splitting of wurtzite GaN, which is originated from the intrinsic wurtzite effects (band folding and structure inversion asymmetry). The band-folding effect generates two conduction bands (DeltaC1 and DeltaC3), in which p-wave probability has tremendous change when kz approaches anti-crossing zone. The spin-splitting energy ind…
▽ More
A new mechanism (DeltaC1-DeltaC3 coupling) is accounted for the spin splitting of wurtzite GaN, which is originated from the intrinsic wurtzite effects (band folding and structure inversion asymmetry). The band-folding effect generates two conduction bands (DeltaC1 and DeltaC3), in which p-wave probability has tremendous change when kz approaches anti-crossing zone. The spin-splitting energy induced by the DeltaC1-DeltaC3 coupling and wurtzite structure inversion asymmetry is much larger than that evaluated by traditional Rashba or Dresselhaus effects. When we apply the coupling to GaN/AlN quantum wells, we find that the spin-splitting energy is sensitively controllable by an electric field. Based on the mechanism, we proposed a p-wave-enhanced spin-polarized field effect transistor, made of InxGa1-xN/InyAl1-yN, for spintronics application.
△ Less
Submitted 31 October, 2005;
originally announced October 2005.
