Reduction of the \(c\)-numerical range to the classical numerical range
type: Item
instance of: scholarly article
title: Reduction of the \(c\)-numerical range to the classical numerical range
zbMATH Open document ID: 1210.15023
author: Mao-Ting Chien
author: Hiroshi Nakazato
published in: Linear Algebra and its Applications
publication date: 2011-01-07T00:00:00Z
review text: For an \(n\)-by-\(n\) complex matrix \(A\) and a real \(n\)-tuple \(c=(c_1,\dots, c_n)\), the \(c\)-numerical range \(W_c(A)\) of \(A\) is, by definition, the subset \[ \Biggl\{\sum^n_{j=1} c_j x^*_j Ax_j: x_1,\dots, x_n\text{ form an orthonormal basis of }\mathbb{C}^n\Biggr\} \] of the complex plane. If \(c= (1,0,\dots,0)\), then \(W_c(A)\) is the classical numerical range \(W(A)\) of \(A\). The main result of this paper is that every \(W_c(A)\) is equal to \(W(B)\) for some symmetric matrix \(B\) of size at most \(n!\). This is proven using the confirmed Lax conjecture by \textit{A. S. Lewis}, \textit{P. A. Parrilo} and \textit{M. V. Ramana} [Proc. Am. Math. Soc. 133, No. 9, 2495--2499 (2005; Zbl 1073.90029)] or, more precisely, a special case of it, the Fiedler conjecture, that if \(p(x,y,z)\) is a homogeneous polynomial of degree \(n\) with the hyperbolicity property, namely, \(p(1,0,0)= 1\) and \(p(w_1- t,w_2,w_3)= 0\) has only real roots for any real \(w_1\), \(w_2\) and \(w+3\), then \(p(x,y,z)= \text{det}(xI_n+ yH_1+ zH_2)\) for some \(n\)-by-\(n\) Hermitian matrices \(H_1\) and \(H_2\). The connection between hyperbolic polynomials and numerical ranges is Kippenhahn's result that \(W(A)\) equals the convex hull of the curve \(u+iv\), where \(u\) and \(v\) are real such that \(1+ uy+ vz= 0\) is a tangent line of the curve \(\text{det}(I_n+ u\,\text{Re\,}A + v\,\text{Im\,}A)= 0\) (\(\text{Re\,}A= (A+ A^*)/2\) and \(\text{Im\,}A= (A- A^*)/(2i)\) are the real and imaginary parts of \(A\), respectively). For illustrations, the authors construct explicitly, for certain 3-by-3 and 4-by-4 matrices \(A\) and certain tuples \(c\), the matrix \(B\) for which \(W_c(A)= W(B)\).
Mathematics Subject Classification ID: 15A60
zbMATH DE Number: 5833969
zbMATH Keywords: numerical range
zbMATH Keywords: \(c\)-numerical range
zbMATH Keywords: Lax conjecture
zbMATH Keywords: hyperbolic polynomial
zbMATH Keywords: symmetric matrix
zbMATH Keywords: Fiedler conjecture
zbMATH Keywords: Hermitian matrices
MaRDI profile type: Publication
full work available at URL: j.laa.2010.09.010
OpenAlex ID: W2034239214
cites work: An Extension of the Hausdorff-Toeplitz Theorem on the Numerical Range
cites work: Boundary generating curves of the \(c\)-numerical range
cites work: The \(c\)-numerical range of tridiagonal matrices
cites work: Joint numerical range and its generating hypersurface
cites work: Geometry of the numerical range of matrices
cites work: Linear matrix inequality representation of sets
cites work: Detecting rigid convexity of bivariate polynomials
cites work: Über den Wertevorrat einer Matrix
cites work: Differential equations, difference equations and matrix theory
cites work: The Lax conjecture is true
cites work: C-numerical ranges andC-numerical radii
cites work: Q3841755
cites work: Remarks on the Lax conjecture for hyperbolic polynomials
cites work: Self-adjoint determinantal representations of real plane curves
cites work: A theorem on numerical range
DOI: 10.1016/J.LAA.2010.09.010
description: scientific article; zbMATH DE number 5833969