A short proof of the elliptical range theorem

Gyula Lakos

DOI: https://doi.org/10.1007/s00013-023-01957-9

2024-01-19

Archiv der Mathematik

Abstract:A short proof of the elliptical range theorem concerning the numerical range of complex matrices is given.

mathematics

What problem does this paper attempt to address?

On the elliptical range theorems for the Davis-Wielandt shell, the numerical range, and the conformal range

Gyula Lakos

DOI: https://doi.org/10.48550/arXiv.2211.13145

2022-11-24

Abstract:The conformal range, which is a horizontal projection of the Davis-Wielandt shell, can be considered as the hyperbolic version of the numerical range. Here we explain (the analogue of) the elliptical range theorem of $2\times2$ complex matrices for the conformal range. In that course, comparison to the Davis-Wielandt shell and the numerical range is made.

Spectral Theory
The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Binyong Sun

DOI: https://doi.org/10.3969/j.issn.1673-8128.2018.01.024

2018-01-01

Abstract:We prove the nonvanishing hypothesis at infinity for Rankin-Selberg convolutions for GL(n)× GL(n-1).
Szegő's Theorem for Matrix Orthogonal Polynomials

Maxim Derevyagin,Olga Holtz,Sergey Khrushchev,Mikhail Tyaglov

DOI: https://doi.org/10.1016/j.jat.2012.05.003

IF: 0.993

2012-01-01

Journal of Approximation Theory

Abstract:We extend some classical theorems in the theory of orthogonal polynomials on the unit circle to the matrix case. In particular, we prove a matrix analogue of Szegő’s theorem. As a by-product, we also obtain an elementary proof of the distance formula by Helson and Lowdenslager.
Numerical range with respect to a family of projections

W.Dada,N. Erkurşun,J. Kerner

DOI: https://doi.org/10.48550/arXiv.1608.04218

2017-01-18

Abstract:In this note we introduce the concept of the numerical range of a bounded linear operator with respect to a family of projections. We give a precise definition and elaborate on its connection to the classical numerical range as well as to generalisations such as the quadratic numerical range and block numerical range.

Spectral Theory
The algebraic numerical range as a spectral set in Banach algebras

Hanna Blazhko,Daniil Homza,Felix L. Schwenninger,Jens de Vries,Michał Wojtylak

2024-10-15

Abstract:We investigate when the algebraic numerical range is a $C$-spectral set in a Banach algebra. While providing several counterexamples based on classical ideas as well as combinatorial Banach spaces, we discuss positive results for matrix algebras and provide an absolute constant in the case of complex $2\times2$-matrices with the induced $1$-norm. Furthermore, we discuss positive results for infinite-dimensional Banach algebras, including the Calkin algebra.

Functional Analysis,Numerical Analysis
On the Operators with Numerical Range in an Ellipse

Jim Agler,Zinaida A. Lykova,N. J. Young

2024-06-07

Abstract:We give new necessary and sufficient conditions for the numerical range $W(T)$ of an operator $T \in \mathcal{B}(\mathcal{H})$ to be a subset of the closed elliptical set $K_\delta \subseteq \mathbb{C}$ given by \[ K_\delta {\stackrel{\rm def}{=}} \left\{x+iy: \frac{x^2}{(1+\delta)^2} + \frac{y^2}{(1-\delta)^2} \leq 1\right\}, \] where $0 < \delta < 1$. Here $\mathcal{B}(\mathcal{H})$ denotes the collection of bounded linear operators on a Hilbert space $\mathcal{H}$. Central to our efforts is a direct generalization of Berger's well-known criterion for an operator to have numerical radius at most one, his so-called strange dilation theorem. We next generalize the lemma of Sarason that describes power dilations in terms of semi-invariant subspaces to operators $T$ that satisfy appropriate dilation properties. This generalization yields a characterization of the operators $T\in \mathcal{B}(\mathcal{H})$ such that $W(T)$ is contained in $K_\delta$ in terms of certain structured contractions that act on $\mathcal{H} \oplus \mathcal{H}$. As a corollary of our results we extend Ando's parametrization of operators having numerical range in a disc to those $T$ such that $W(T)\subseteq K_\delta$. We prove that, if $T$ acts on a finite-dimensional Hilbert space $\mathcal{H}$, then $W(T)\subseteq K_\delta$ if and only if there exist a pair of contractions $A,B \in \mathcal{B}(\mathcal{H})$ such that $A$ is self-adjoint and \[ T=2\sqrt\delta A + (1-\delta)\sqrt{1+A}\ B\sqrt{1-A}. \] We also obtain a formula for the B. and F. Delyon calcular norm of an analytic function on the inside of an ellipse in terms of the extremal $H^\infty$-extension problem for analytic functions defined on a slice of the symmetrized bidisc.

Functional Analysis
Elliptic Cauchy Matrices

Zabrodin, Anton,Prokofev, Vadim

DOI: https://doi.org/10.1134/s0016266324030055

2024-10-15

Functional Analysis and Its Applications

Abstract:Some identities that involve the elliptic version of the Cauchy matrices are presented and proved. They include the determinant formula, the formula for the inverse matrix, the matrix product identity and the factorization formula.

mathematics, applied
A note on computing range space bases of rational matrices

Andreas Varga

DOI: https://doi.org/10.48550/arXiv.1707.00489

2017-07-04

Abstract:We discuss computational procedures based on descriptor state-space realizations to compute proper range space bases of rational matrices. The main computation is the orthogonal reduction of the system matrix pencil to a special Kronecker-like form, which allows to extract a full column rank factor, whose columns form a proper rational basis of the range space. The computation of several types of bases can be easily accommodated, such as minimum-degree bases, stable inner minimum-degree bases, etc. Several straightforward applications of the range space basis computation are discussed, such as, the computation of full rank factorizations, normalized coprime factorizations, pseudo-inverses, and inner-outer factorizations.

Systems and Control
The convex algebraic geometry of higher-rank numerical ranges

Jonathan Nino-Cortes,Cynthia Vinzant

2024-10-29

Abstract:The higher-rank numerical range is a convex compact set generalizing the classical numerical range of a square complex matrix, first appearing in the study of quantum error correction. We will discuss some of the real algebraic and convex geometry of these sets, including a generalization of Kippenhahn's theorem, and describe an algorithm to explicitly calculate the higher-rank numerical range of a given matrix.

Functional Analysis,Algebraic Geometry
The numerical range of matrix products

Stephen Drury

DOI: https://doi.org/10.13001/ela.2024.8491

2024-03-04

Abstract:We discuss what can be said about the numerical range of the matrix product $A_1A_2$ when the numerical ranges of $A_1$ and $A_2$ are known. If two compact convex subsets $K_1, K_2$ of the complex plane are given, we discuss the issue of finding a compact convex subset $K$ such that whenever $A_j$ ($j=1,2$) are either unrestricted matrices or normal matrices of the same shape with $W(A_j) \subseteq K_j$, it follows that $W(A_1A_2) \subseteq K$. We do this by defining specific deviation quantities for both the unrestricted case and the normal case.

mathematics
A Proof of a Conjecture of C.L. Siegel

J.T. Ding

DOI: https://doi.org/10.1006/jnth.1994.1001

IF: 0.679

1994-01-01

Journal of Number Theory

Abstract:Let Mn be the Minkowski fundamental domain for the space of n × n real, symmetric, and positive definite matrices under the action of the unimodular group SLn(Z). C. L. Siegel conjectured that d(A, B) − f(A, B) ≤ C(n), for A, B ∈ Mn, where d and f are the geodesic and the reduced geodesic distances, respectively, and C(n) is a constant depending only on n. This conjecture appears in his book ("Zur Reduktionstheorie Quadratischer Formen," The Mathematical Society of Japan, 1959). By reducing the problem to the diagonal matrices in Mn, we obtain a proof.
Numerical Range and a Generalization of Duffin's Overdamping Criterion

Hildebrand, R.

DOI: https://doi.org/10.1134/s0965542524700015

2024-06-08

Computational Mathematics and Mathematical Physics

Abstract:The joint numerical range of tuples of matrices is a powerful tool for proving results which are useful in optimization, such as the -lemma. Here we provide a similar proof for another result, namely the equivalence of a certain positivity criterion to Duffin's overdamping condition involving quadratic matrix-valued polynomials. We show how the proof is generalizable to higher degrees of matrix-valued polynomials.

mathematics, applied,physics, mathematical
Rings of simple range 2

Bohdan Zabavsky,Oleh Romaniv,Andrij Sagan

2024-07-03

Abstract:We introduce the concept of rings of simple range 2. Based on this concept, we build a theory diagonal reduction of matrices over Bezout domain. In particular we show that invariant Bezout domain is an elementary divisor ring if and only if it is a rings of simple range 2.

Commutative Algebra,Rings and Algebras
On the theorem of Amitsur--Levitzki

Claudio Procesi

DOI: https://doi.org/10.48550/arXiv.1308.2421

2013-08-12

Abstract:We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.

Rings and Algebras
-Numerical Range of Operator Polynomial

Kamel Mahfoudhi

DOI: https://doi.org/10.1007/s11785-024-01485-6

2024-02-24

Complex Analysis and Operator Theory

Abstract:Relying on some ideas of numerical ranges, we introduce, for operators polynomials on a complex Hilbert space, a new notion called the -numerical range of operators polynomials. Some geometrical and topological properties of these -numerical range are proved. Thereby, we achieve a new characterization of -numerical range of operators polynomials on an arbitrary Hilbert space. All our results are new even for -matrix polynomials.

mathematics, applied
A simple range characterization for spherical mean transform in odd dimensions and its applications

Divyansh Agrawal,Gaik Ambartsoumian,Venkateswaran P. Krishnan,Nisha Singhal

2024-07-17

Abstract:This article provides a novel and simple range description for the spherical mean transform of functions supported in the unit ball of an odd dimensional Euclidean space. The new description comprises a set of symmetry relations between the values of certain differential operators acting on the coefficients of the spherical harmonics expansion of the function in the range of the transform. As a central part of the proof of our main result, we derive a remarkable cross product identity for the spherical Bessel functions of the first and second kind, which may be of independent interest in the theory of special functions. Finally, as one application of the range characterization, we construct an explicit counterexample proving that unique continuation type results cannot hold for the spherical mean transform in odd dimensional spaces.

Classical Analysis and ODEs,Mathematical Physics,Functional Analysis
A bridge between quaternionic and complex numerical ranges

Luís Carvalho,Cristina Diogo,Sérgio Mendes

DOI: https://doi.org/10.48550/arXiv.1904.02757

2019-04-05

Abstract:We obtain a sufficient condition for the convexity of quaternionic numerical range for complex matrices in terms of its complex numerical range. It is also shown that the Bild coincides with complex numerical range for real matrices. From this result we derive that all real matrices have convex quaternionic numerical range. As an example we fully characterize the quaternionic numerical range of $2\times2$ real matrices.

Functional Analysis
Kippenhahn's construction revisited

Stephan Weis

2023-09-01

Abstract:Kippenhahn discovered that the numerical range of a complex square matrix is the convex hull of a plane real algebraic curve. Here, we present an example of a convex set, which has a similar algebraic description as the numerical range, whereas the analogue of Kippenhahn's construction fails regarding isolated, singular points of the curve. This example prompted us to carefully review Kippenhahn's assertion and to highlight aspects of a complete proof that was achieved with methods of convex geometry and real algebraic geometry.

Functional Analysis,Algebraic Geometry
A new proof of the Perron-Frobeniuos theorem, a variational approach

Yavdat Il'yasov,Nurmukhamet Valeev

2024-07-18

Abstract:We develop the Perron-Frobenius theory using a variational approach and extend it to a set of arbitrary matrices, including those that are neither irreducible nor essentially positive, and non-preserved cones. We introduce a new concept called a quasi-eigenvalue of a matrix, which is invariant under orthogonal transformations of variables, and has various useful properties, such as determining the largest value of the real parts of the eigenvalues of a matrix. We extend Weyl's inequality for the eigenvalues to the set of arbitrary matrices and prove the new stability result to the Perron root of irreducible nonnegative matrices under arbitrary perturbations. As well as this, we obtain new types of estimates for the ranges of the sets of eigenvalues and their real parts.

Analysis of PDEs,Spectral Theory

A short proof of the elliptical range theorem

On the elliptical range theorems for the Davis-Wielandt shell, the numerical range, and the conformal range

The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

Szegő's Theorem for Matrix Orthogonal Polynomials

Numerical range with respect to a family of projections

The algebraic numerical range as a spectral set in Banach algebras

On the Operators with Numerical Range in an Ellipse

Elliptic Cauchy Matrices

A note on computing range space bases of rational matrices

The convex algebraic geometry of higher-rank numerical ranges

The numerical range of matrix products

A Proof of a Conjecture of C.L. Siegel

Numerical Range and a Generalization of Duffin's Overdamping Criterion

Rings of simple range 2

On the theorem of Amitsur--Levitzki

-Numerical Range of Operator Polynomial

A simple range characterization for spherical mean transform in odd dimensions and its applications

A bridge between quaternionic and complex numerical ranges

Kippenhahn's construction revisited

A new proof of the Perron-Frobeniuos theorem, a variational approach