Numerical radii for tensor products of matrices

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 o t i m e s 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 l e k < i n f t y

, then

w (A) g e c o s (p i / (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) l e c o s (p i / (k + 2))

, and (3) if

B

is a nonnegative matrix with its real part (permutationally) irreducible, then

w (A o t i m e s B) = | A | w (B)

if and only if either

p_{A} = i n f t y

or

n_{B} l e p_{A} < i n f t y

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} = s u p e l l g e 1 : | A^{e l l} | = | A |^{e l l}

and

n_{B} = s u p e l l g e 1 : B^{e l l} e q 0

.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Numerical radii for tensor products of matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455657)