Showing 1–40 of 40 results for author: Spitkovsky, I M

Unified approach to reciprocal matrices with Kippenhahn curves containing elliptical components

Authors: Muyan Jiang, Ilya M. Spitkovsky

Abstract: Reciprocal matrices are tridiagonal matrices $(a_{ij})_{i,j=1}^n$ with constant main diagonal and such that $a_{i,i+1}a_{i+1,i}=1$ for $i=1,\ldots,n-1$. For these matrices, criteria are established under which their Kippenhahn curves contain elliptical components or even consist completely of such. These criteria are in terms of system of homogeneous polynomial equations in variables… ▽ More Reciprocal matrices are tridiagonal matrices $(a_{ij})_{i,j=1}^n$ with constant main diagonal and such that $a_{i,i+1}a_{i+1,i}=1$ for $i=1,\ldots,n-1$. For these matrices, criteria are established under which their Kippenhahn curves contain elliptical components or even consist completely of such. These criteria are in terms of system of homogeneous polynomial equations in variables $(\left|a_{j,j+1}\right|-\left|a_{j+1,j}\right|)^2$, and established via a unified approach across arbitrary dimensions. The results are illustrated, and specific numerical examples provided, for $n=7$ thus generalizing earlier work in the lower dimensional setting. △ Less

Submitted 30 June, 2024; originally announced July 2024.

MSC Class: 47B36; 15A60

On low-dimensional partial isometries

Authors: Qixiao He, Ilya M. Spitkovsky, Ibrahim Suleiman

Abstract: Two statements concerning $n$-by-$n$ partial isometries are being considered: (i) these matrices are generic, if unitarily irreducible, and (ii) if nilpotent, their numerical ranges are circular disks. Both statements hold for $n\leq 4$ but fail starting with $n=5$. Two statements concerning $n$-by-$n$ partial isometries are being considered: (i) these matrices are generic, if unitarily irreducible, and (ii) if nilpotent, their numerical ranges are circular disks. Both statements hold for $n\leq 4$ but fail starting with $n=5$. △ Less

Submitted 5 June, 2022; originally announced June 2022.

Comments: 16 pages, 3 figures

MSC Class: 15A60 15B57 15B99

Numerical ranges of Foguel operators revisited

Authors: Muyan Jiang, Ilya M. Spitkovsky

Abstract: The Foguel operator is defined as $F_T=\begin{bmatrix}S^* & T \\ 0 & S\end{bmatrix}$, where $S$ is the right shift on a Hilbert space $\mathcal H$ and $T$ can be an arbitrary bounded linear operator acting on $\mathcal H$. Obviously, the numerical range $W(F_0)$ of $F_T$ with $T=0$ is the open unit disk, and it was suggested by Gau, Wang and Wu in their LAA'2021 paper that $W(F_{aI})$ for non-zero… ▽ More The Foguel operator is defined as $F_T=\begin{bmatrix}S^* & T \\ 0 & S\end{bmatrix}$, where $S$ is the right shift on a Hilbert space $\mathcal H$ and $T$ can be an arbitrary bounded linear operator acting on $\mathcal H$. Obviously, the numerical range $W(F_0)$ of $F_T$ with $T=0$ is the open unit disk, and it was suggested by Gau, Wang and Wu in their LAA'2021 paper that $W(F_{aI})$ for non-zero $a\in\mathbb C$ might be an elliptical disk. In this paper, we described $W(F_{aI})$ explicitly and, as it happens, it is not. △ Less

Submitted 10 April, 2022; originally announced April 2022.

Comments: 9 pages, 2 figures

MSC Class: 47A12; 47B35; 47B02

On partial isometries with circular numerical range

Authors: Elias Wegert, Ilya M. Spitkovsky

Abstract: In their LAMA'2016 paper Gau, Wang and Wu conjectured that a partial isometry $A$ acting on $\mathbb{C}^n$ cannot have a circular numerical range with a non-zero center, and proved this conjecture for $n\leq 4$. We prove it for operators with $\mathrm{rank}\,A=n-1$ and any $n$. The proof is based on the unitary similarity of $A$ to a compressed shift operator $S_B$ generated by a finite Blaschke p… ▽ More In their LAMA'2016 paper Gau, Wang and Wu conjectured that a partial isometry $A$ acting on $\mathbb{C}^n$ cannot have a circular numerical range with a non-zero center, and proved this conjecture for $n\leq 4$. We prove it for operators with $\mathrm{rank}\,A=n-1$ and any $n$. The proof is based on the unitary similarity of $A$ to a compressed shift operator $S_B$ generated by a finite Blaschke product $B$. We then use the description of the numerical range of $S_B$ as intersection of Poncelet polygons, a special representation of Blaschke products related to boundary interpolation, and an explicit formula for the barycenter of the vertices of Poncelet polygons involving elliptic functions. △ Less

Submitted 17 September, 2021; originally announced September 2021.

Comments: 12 pages, 5 figures, 25 references

MSC Class: 47A12; 47A20; 30J10; 33E05; 51N15

The Gau-Wang-Wu conjecture on partial isometries holds in the 5-by-5 case

Authors: Ilya M. Spitkovsky, Ibrahim Suleiman, Elias Wegert

Abstract: Gau, Wang and Wu in their LAMA'2016 paper conjectured (and proved for $n\leq 4$) that an $n$-by-$n$ partial isometry cannot have a circular numerical range with a non-zero center. We prove that this statement holds also for $n=5$. Gau, Wang and Wu in their LAMA'2016 paper conjectured (and proved for $n\leq 4$) that an $n$-by-$n$ partial isometry cannot have a circular numerical range with a non-zero center. We prove that this statement holds also for $n=5$. △ Less

Submitted 16 August, 2021; originally announced August 2021.

Comments: 10 pages

MSC Class: 15A60;

On multivariable matrix spectral factorization method

Authors: Lasha Ephremidze, Ilya M. Spitkovsky

Abstract: Spectral factorization is a prominent tool with several important applications in various areas of applied science. Wiener and Masani proved the existence of matrix spectral factorization. Their theorem has been extended to the multivariable case by Helson and Lowdenslager. Solving the problem numerically is challenging in both situations, and also important due to its practical applications. Ther… ▽ More Spectral factorization is a prominent tool with several important applications in various areas of applied science. Wiener and Masani proved the existence of matrix spectral factorization. Their theorem has been extended to the multivariable case by Helson and Lowdenslager. Solving the problem numerically is challenging in both situations, and also important due to its practical applications. Therefore, several authors have developed algorithms for factorization. The Janashia-Lagvilava algorithm is a relatively new method for matrix spectral factorization which has proved to be useful in several applications. In this paper, we extend this method to the multivariable case. Consequently, a new numerical algorithm for multivariable matrix spectral factorization is constructed. △ Less

Submitted 28 May, 2021; originally announced May 2021.

Comments: 22 pages

MSC Class: 47A68; 65E99

Low-dimensional reciprocal matrices with elliptical components of their Kippenhahn curves

Authors: Muyan Jiang, Ilya M. Spitkovsky

Abstract: By definition, reciprocal matrices are tridiagonal $n$-by-$n$ matrices $A$ with constant main diagonal and such that $a_{i,i+1}a_{i+1,i}=1$ for $i=1,\ldots,n-1$. For $n\leq 6$, we establish criteria under which the numerical range generating curves (also called Kippenhahn curves) of such matrices consist of elliptical components only. As a corollary, we also provide a complete description of highe… ▽ More By definition, reciprocal matrices are tridiagonal $n$-by-$n$ matrices $A$ with constant main diagonal and such that $a_{i,i+1}a_{i+1,i}=1$ for $i=1,\ldots,n-1$. For $n\leq 6$, we establish criteria under which the numerical range generating curves (also called Kippenhahn curves) of such matrices consist of elliptical components only. As a corollary, we also provide a complete description of higher-rank numerical ranges when the criteria are met. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 21 pages, 5 figures

MSC Class: 15A60; 47B36

The Gau-Wu Number for $4\times 4$ and Select Arrowhead Matrices

Authors: Kristin A. Camenga, Patrick X. Rault, Ilya M. Spitkovsky, Rebekah B. Johnson Yates

Abstract: The notion of dichotomous matrices is introduced as a natural generalization of essentially Hermitian matrices. A criterion for arrowhead matrices to be dichotomous is established, along with necessary and sufficient conditions for such matrices to be unitarily irreducible. The Gau--Wu number (i.e., the maximal number $k(A)$ of orthonormal vectors $x_j$ such that the scalar products… ▽ More The notion of dichotomous matrices is introduced as a natural generalization of essentially Hermitian matrices. A criterion for arrowhead matrices to be dichotomous is established, along with necessary and sufficient conditions for such matrices to be unitarily irreducible. The Gau--Wu number (i.e., the maximal number $k(A)$ of orthonormal vectors $x_j$ such that the scalar products $\langle Ax_j,x_j\rangle$ lie on the boundary of the numerical range of $A$) is computed for a class of arrowhead matrices $A$ of arbitrary size, including dichotomous ones. These results are then used to completely classify all $4\times4$ matrices according to the values of their Gau--Wu numbers. △ Less

Submitted 25 May, 2021; originally announced May 2021.

Comments: 17 pages, 6 figures

MSC Class: 15A60

On Kippenhahn curves and higher-rank numerical ranges of some matrices

Authors: Natália Bebiano, Joáo da Providéncia, Ilya M. Spitkovsky

Abstract: The higher rank numerical ranges of generic matrices are described in terms of the components of their Kippenhahn curves. Cases of tridiagonal (in particular, reciprocal) 2-periodic matrices are treated in more detail. The higher rank numerical ranges of generic matrices are described in terms of the components of their Kippenhahn curves. Cases of tridiagonal (in particular, reciprocal) 2-periodic matrices are treated in more detail. △ Less

Submitted 16 April, 2021; originally announced April 2021.

Comments: 14 pages, 10 figures

MSC Class: 15A60

The norm attainment problem for functions of projections

Authors: Albrecht Böttcher, Ilya M. Spitkovsky

Abstract: The paper is concerned with the problem of identifying the norm attaining operators in the von Neumann algebra generated by two orthogonal projections on a Hilbert space. This algebra contains every skew projection on that Hilbert space and hence the results of the paper also describe functions of skew projections and their adjoints that attain the norm. The paper is concerned with the problem of identifying the norm attaining operators in the von Neumann algebra generated by two orthogonal projections on a Hilbert space. This algebra contains every skew projection on that Hilbert space and hence the results of the paper also describe functions of skew projections and their adjoints that attain the norm. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Comments: 6 pages

MSC Class: Primary 47A30; Secondary 46L89; 47A56; 47B15; 47C15

Non-parallel Flat Portions on the Boundaries of Numerical Ranges of 4-by-4 Nilpotent Matrices

Authors: Mackenzie Cox, Weston M. Grewe, Grace K. Hochrein, Linda J. Patton, Ilya M. Spitkovsky

Abstract: The 4-by-4 nilpotent matrices the numerical ranges of which have non-parallel flat portions on their boundary that are on lines equidistant from the origin are characterized. Their numerical ranges are always symmetric about a line through the origin and all possible angles between the lines containing the flat portions are attained. The 4-by-4 nilpotent matrices the numerical ranges of which have non-parallel flat portions on their boundary that are on lines equidistant from the origin are characterized. Their numerical ranges are always symmetric about a line through the origin and all possible angles between the lines containing the flat portions are attained. △ Less

Submitted 26 November, 2020; originally announced November 2020.

Comments: 22 pages, 4 figures

MSC Class: 15A60; 47A12

Kippenhahn curves of some tridiagonal matrices

Authors: Natália Bebiano, Joáo da Providéncia, Ilya M. Spitkovsky, Kenya Vazquez

Abstract: Tridiagonal matrices with constant main diagonal and reciprocal pairs of off-diagonal entries are considered. Conditions for such matrices with sizes up to 6-by-6 to have elliptical numerical ranges are obtained. Tridiagonal matrices with constant main diagonal and reciprocal pairs of off-diagonal entries are considered. Conditions for such matrices with sizes up to 6-by-6 to have elliptical numerical ranges are obtained. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Comments: 20 pages, 4 figures

MSC Class: 15A60; 47A12; 14H50

On some 4-by-4 matrices with bi-elliptical numerical ranges

Authors: Titas Geryba, Ilya M. Spitkovsky

Abstract: A complete description of 4-by-4 matrices $\begin{bmatrix}αI & C \\D & βI\end{bmatrix}$, with scalar 2-by-2 diagonal blocks, for which the numerical range is the convex hull of two non-concentric ellipses is given. This result is obtained by reduction to the leading special case in which $C-D^*$ also is a scalar multiple of the identity. In particular cases when in addition $α-β$ is real or pure i… ▽ More A complete description of 4-by-4 matrices $\begin{bmatrix}αI & C \\D & βI\end{bmatrix}$, with scalar 2-by-2 diagonal blocks, for which the numerical range is the convex hull of two non-concentric ellipses is given. This result is obtained by reduction to the leading special case in which $C-D^*$ also is a scalar multiple of the identity. In particular cases when in addition $α-β$ is real or pure imaginary, the results take an especially simple form. An application to reciprocal matrices is provided. △ Less

Submitted 1 September, 2020; originally announced September 2020.

Comments: 19 pages; 4 figures

MSC Class: 15A60

On the Stampfli point of some operators and matrices

Authors: Thanin Quartz, Ilya M. Spitkovsky

Abstract: The center of mass of an operator $A$ (denoted St($A$), and called in this paper as the {\em Stampfli point} of A) was introduced by Stampfli in his Pacific J. Math (1970) paper as the unique $λ\in\mathbb C$ delivering the minimum value of the norm of $A-λI$. We derive some results concerning the location of St($A$) for several classes of operators, including 2-by-2 block operator matrices with sc… ▽ More The center of mass of an operator $A$ (denoted St($A$), and called in this paper as the {\em Stampfli point} of A) was introduced by Stampfli in his Pacific J. Math (1970) paper as the unique $λ\in\mathbb C$ delivering the minimum value of the norm of $A-λI$. We derive some results concerning the location of St($A$) for several classes of operators, including 2-by-2 block operator matrices with scalar diagonal blocks and 3-by-3 matrices with repeated eigenvalues. We also show that for almost normal $A$ its Stampfli point lies in the convex hull of the spectrum, which is not the case in general. Some relations between the property St($A$)=0 and Roberts orthogonality of $A$ to the identity operator are established. △ Less

Submitted 28 July, 2020; originally announced July 2020.

Comments: 25 pp.; 4 figures

MSC Class: 47B02 47B28 15A60

On the numerical range of some block matrices with scalar diagonal blocks

Authors: Titas Geryba, Ilya M. Spitkovsky

Abstract: Several new verifiable conditions are established for block matrices with scalar diagonal blocks to have the numerical range equal the convex hull of at most k ellipses where k by k is the size of the smaller diagonal block. For k = 2, these conditions are also necessary, provided that the ellipses are co-centered. Several new verifiable conditions are established for block matrices with scalar diagonal blocks to have the numerical range equal the convex hull of at most k ellipses where k by k is the size of the smaller diagonal block. For k = 2, these conditions are also necessary, provided that the ellipses are co-centered. △ Less

Submitted 23 February, 2020; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: 17 pages, 6 figures

MSC Class: 15A60

Singularities of Base Polynomials and Gau-Wu Numbers

Authors: Kristin A. Camenga, Louis Deaett, Patrick X. Rault, Tsvetanka Sendova, Ilya M. Spitkovsky, Rebekah B. Johnson Yates

Abstract: In 2013, Gau and Wu introduced a unitary invariant, denoted by $k(A)$, of an $n\times n$ matrix $A$, which counts the maximal number of orthonormal vectors $\textbf x_j$ such that the scalar products $\langle A\textbf x_j,\textbf x_j\rangle$ lie on the boundary of the numerical range $W(A)$. We refer to $k(A)$ as the Gau--Wu number of the matrix $A$. In this paper we take an algebraic geometric ap… ▽ More In 2013, Gau and Wu introduced a unitary invariant, denoted by $k(A)$, of an $n\times n$ matrix $A$, which counts the maximal number of orthonormal vectors $\textbf x_j$ such that the scalar products $\langle A\textbf x_j,\textbf x_j\rangle$ lie on the boundary of the numerical range $W(A)$. We refer to $k(A)$ as the Gau--Wu number of the matrix $A$. In this paper we take an algebraic geometric approach and consider the effect of the singularities of the base curve, whose dual is the boundary generating curve, to classify $k(A)$. This continues the work of Wang and Wu classifying the Gau-Wu numbers for $3\times 3$ matrices. Our focus on singularities is inspired by Chien and Nakazato, who classified $W(A)$ for $4\times 4$ unitarily irreducible $A$ with irreducible base curve according to singularities of that curve. When $A$ is a unitarily irreducible $n\times n$ matrix, we give necessary conditions for $k(A) = 2$, characterize $k(A) = n$, and apply these results to the case of unitarily irreducible $4\times 4$ matrices. However, we show that knowledge of the singularities is not sufficient to determine $k(A)$ by giving examples of unitarily irreducible matrices whose base curves have the same types of singularities but different $k(A)$. In addition, we extend Chien and Nakazato's classification to consider unitarily irreducible $A$ with reducible base curve and show that we can find corresponding matrices with identical base curve but different $k(A)$. Finally, we use the recently-proved Lax Conjecture to give a new proof of a theorem of Helton and Spitkovsky, generalizing their result in the process. △ Less

Submitted 8 July, 2019; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: 11 pages, 4 figures

MSC Class: 15A60

A note on the factorization of some structured matrix functions

Authors: Ilya M. Spitkovsky, Anatoly F. Voronin

Abstract: Let G be a block matrix function with one diagonal block A being positive definite and the off diagonal blocks complex conjugates of each other. Conditions are obtained for G to be factorable (in particular, with zero partial indices) in terms of the Schur complement of A. Let G be a block matrix function with one diagonal block A being positive definite and the off diagonal blocks complex conjugates of each other. Conditions are obtained for G to be factorable (in particular, with zero partial indices) in terms of the Schur complement of A. △ Less

Submitted 28 March, 2018; originally announced March 2018.

Comments: 7 pages

MSC Class: 47A68 30H15 15A60

A note on the maximal numerical range

Authors: Ilya M Spitkovsky

Abstract: We show that the maximal numerical range of an operator has a non-empty intersection with the boundary of its numerical range if and only if the operator is normaloid. A description of this intersection is also given. We show that the maximal numerical range of an operator has a non-empty intersection with the boundary of its numerical range if and only if the operator is normaloid. A description of this intersection is also given. △ Less

Submitted 28 March, 2018; originally announced March 2018.

Comments: 6 pages

MSC Class: 47A12 47B15

The normalized numerical range and the Davis-Wielandt shell

Authors: Brian Lins, Ilya M. Spitkovsky, Siyu Zhong

Abstract: For a given $n$-by-$n$ matrix $A$, its {\em normalized numerical range} $F_N(A)$ is defined as the range of the function $f_{N,A}\colon x\mapsto (x^*Ax)/(\norm{Ax}\cdot\norm{x})$ on the complement of $\ker A$. We provide an explicit description of this set for the case when $A$ is normal or $n=2$. This extension of earlier results for particular cases of $2$-by-$2$ matrices (by Gevorgyan) and esse… ▽ More For a given $n$-by-$n$ matrix $A$, its {\em normalized numerical range} $F_N(A)$ is defined as the range of the function $f_{N,A}\colon x\mapsto (x^*Ax)/(\norm{Ax}\cdot\norm{x})$ on the complement of $\ker A$. We provide an explicit description of this set for the case when $A$ is normal or $n=2$. This extension of earlier results for particular cases of $2$-by-$2$ matrices (by Gevorgyan) and essentially Hermitian matrices of arbitrary size (by A. Stoica and one of the authors) was achieved due to the fresh point of view at $F_N(A)$ as the image of the Davis-Wielandt shell $\JNR(A)$ under a certain non-linear map** $h\colon\R^3\mapsto\C$. △ Less

Submitted 4 December, 2017; originally announced December 2017.

Comments: 23 pages, 4 figures

MSC Class: 15A60; 47A12; 47B15

A note on Anderson's theorem in the infinite-dimensional setting

Authors: Riddhick Birbonshi, Ilya M. Spitkovsky, P. D. Srivastava

Abstract: Anderson's theorem states that if the numerical range W(A) of an n-by-n matrix A is contained in the unit disk and intersects with the unit circle at more than n points, then it coincides with the (closed) unit dissk. An analogue of this result for compact A in an infinite dimensional setting was established by Gau and Wu. We consider here the case of A being the sum of a normal and compact operat… ▽ More Anderson's theorem states that if the numerical range W(A) of an n-by-n matrix A is contained in the unit disk and intersects with the unit circle at more than n points, then it coincides with the (closed) unit dissk. An analogue of this result for compact A in an infinite dimensional setting was established by Gau and Wu. We consider here the case of A being the sum of a normal and compact operator. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: 5 pages

MSC Class: 47

A distance formula related to a family of projections orthogonal to their symmetries

Authors: Ilya M. Spitkovsky

Abstract: Let u be a hermitian involution, and e an orthogonal projection, acting on the same Hilbert space. We establish the exact formula, in terms of the norm of eue, for the distance from e to the set of all orthogonal projections q from the algebra generated by e,u, and such that quq=0. Let u be a hermitian involution, and e an orthogonal projection, acting on the same Hilbert space. We establish the exact formula, in terms of the norm of eue, for the distance from e to the set of all orthogonal projections q from the algebra generated by e,u, and such that quq=0. △ Less

Submitted 23 March, 2017; originally announced March 2017.

Comments: 6 pages, 1 figure

A new signature of quantum phase transitions from the numerical range

Authors: Ilya M. Spitkovsky, Stephan Weis

Abstract: The ground state energy of a finite-dimensional one-parameter Hamiltonian and the continuity of a maximum-entropy inference map are discussed in the context of quantum critical phenomena. The domain of the inference map is a convex compact set in the plane, called the numerical range. We study the differential geometry of its boundary in relation to the ground state energy. We prove that discontin… ▽ More The ground state energy of a finite-dimensional one-parameter Hamiltonian and the continuity of a maximum-entropy inference map are discussed in the context of quantum critical phenomena. The domain of the inference map is a convex compact set in the plane, called the numerical range. We study the differential geometry of its boundary in relation to the ground state energy. We prove that discontinuities of the inference map correspond to $C^1$-smooth crossings of the ground state energy with a higher energy level. Discontinuities may appear only at $C^1$-smooth points of the boundary of the numerical range considered as a manifold. Discontinuities exist at all $C^2$-smooth non-analytic boundary points and are essentially stronger than at analytic points or at points which are merely $C^1$-smooth (non-exposed points). △ Less

Submitted 30 November, 2017; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: 25 pages, 1 figure, 1 table (new in v2: proofs are simplified and exposition is improved)

MSC Class: 82B26; 52A10; 47A12; 15A18; 32C25; 62F30; 94A17; 54C08; 46T20

Journal ref: Journal of Mathematical Physics 59 (2018), 121901

Numerical Ranges of 4-by-4 Nilpotent Matrices: Flat Portions on the Boundary

Authors: Erin Militzer, Linda J. Patton, Ilya M. Spitkovsky, Ming-Cheng Tsai

Abstract: In their 2008 paper Gau and Wu conjectured that the numerical range of a 4-by-4 nilpotent matrix has at most two flat portions on its boundary. We prove this conjecture, establishing along the way some additional facts of independent interest. In particular, a full description of the case in which these two portions indeed materialize and are parallel to each other is included. In their 2008 paper Gau and Wu conjectured that the numerical range of a 4-by-4 nilpotent matrix has at most two flat portions on its boundary. We prove this conjecture, establishing along the way some additional facts of independent interest. In particular, a full description of the case in which these two portions indeed materialize and are parallel to each other is included. △ Less

Submitted 28 November, 2015; originally announced November 2015.

Comments: 5 figures

MSC Class: 15A60; 47A12

Pre-images of extreme points of the numerical range, and applications

Authors: Ilya M. Spitkovsky, Stephan Weis

Abstract: We extend the pre-image representation of exposed points of the numerical range of a matrix to all extreme points. With that we characterize extreme points which are multiply generated, having at least two linearly independent pre-images, as the extreme points which are Hausdorff limits of flat boundary portions on numerical ranges of a sequence converging to the given matrix. These studies addres… ▽ More We extend the pre-image representation of exposed points of the numerical range of a matrix to all extreme points. With that we characterize extreme points which are multiply generated, having at least two linearly independent pre-images, as the extreme points which are Hausdorff limits of flat boundary portions on numerical ranges of a sequence converging to the given matrix. These studies address the inverse numerical range map and the maximum-entropy inference map which are continuous functions on the numerical range except possibly at certain multiply generated extreme points. This work also allows us to describe closures of subsets of 3-by-3 matrices having the same shape of the numerical range. △ Less

Submitted 19 May, 2016; v1 submitted 18 September, 2015; originally announced September 2015.

Comments: 19 pages, no figures, v2 has corrected proofs of Lemma 2.2 and Lemma 3.3

MSC Class: 47A12; 54C10; 62F30; 94A17

Journal ref: Operators and Matrices 10 (2016), 1043-1058

Continuity of the maximum-entropy inference: Convex geometry and numerical ranges approach

Authors: Leiba Rodman, Ilya M. Spitkovsky, Arleta Szkoła, Stephan Weis

Abstract: We study the continuity of an abstract generalization of the maximum-entropy inference - a maximizer. It is defined as a right-inverse of a linear map restricted to a convex body which uniquely maximizes on each fiber of the linear map a continuous function on the convex body. Using convex geometry we prove, amongst others, the existence of discontinuities of the maximizer at limits of extremal po… ▽ More We study the continuity of an abstract generalization of the maximum-entropy inference - a maximizer. It is defined as a right-inverse of a linear map restricted to a convex body which uniquely maximizes on each fiber of the linear map a continuous function on the convex body. Using convex geometry we prove, amongst others, the existence of discontinuities of the maximizer at limits of extremal points not being extremal points themselves and apply the result to quantum correlations. Further, we use numerical range methods in the case of quantum inference which refers to two observables. One result is a complete characterization of points of discontinuity for $3\times 3$ matrices. △ Less

Submitted 6 February, 2015; originally announced February 2015.

Comments: 27 pages

MSC Class: 81P16; 62F30; 52A20; 54C10; 62H20; 47A12; 52A10

Journal ref: Journal of Mathematical Physics 57 (2016) 015204

One sided invertibility of matrices over commutative rings, corona problems, and Toeplitz operators with matrix symbols

Authors: Maria Cristina Câmara, Leiba Rodman, Ilya M. Spitkovsky

Abstract: Conditions are established under which Fredholmness, Coburn's property and one- or two-sided invertibility are shared by a Toeplitz operator with matrix symbol $G$ and the Toeplitz operator with scalar symbol $\det G$. These results are based on one-sided invertibility criteria for rectangular matrices over appropriate commutative rings and related scalar corona type problems. Conditions are established under which Fredholmness, Coburn's property and one- or two-sided invertibility are shared by a Toeplitz operator with matrix symbol $G$ and the Toeplitz operator with scalar symbol $\det G$. These results are based on one-sided invertibility criteria for rectangular matrices over appropriate commutative rings and related scalar corona type problems. △ Less

Submitted 25 March, 2014; originally announced March 2014.

Comments: 29 pages

MSC Class: 47A68; 47A53; 47B35

The Cauchy Singular Integral Operator on Weighted Variable Lebesgue Spaces

Authors: Alexei Yu. Karlovich, Ilya M. Spitkovsky

Abstract: Let $p:\R\to(1,\infty)$ be a globally log-Hölder continuous variable exponent and $w:\R\to[0,\infty]$ be a weight. We prove that the Cauchy singular integral operator $S$ is bounded on the weighted variable Lebesgue space $L^{p(\cdot)}(\R,w)=\{f:fw\in L^{p(\cdot)}(\R)\}$ if and only if the weight $w$ satisfies \[ \sup_{-\infty<a<b<\infty} \frac{1}{b-a}\|wχ_{(a,b)}\|_{p(\cdot)}\|w^{-1}χ_{(a,b)}\|_{… ▽ More Let $p:\R\to(1,\infty)$ be a globally log-Hölder continuous variable exponent and $w:\R\to[0,\infty]$ be a weight. We prove that the Cauchy singular integral operator $S$ is bounded on the weighted variable Lebesgue space $L^{p(\cdot)}(\R,w)=\{f:fw\in L^{p(\cdot)}(\R)\}$ if and only if the weight $w$ satisfies \[ \sup_{-\infty<a<b<\infty} \frac{1}{b-a}\|wχ_{(a,b)}\|_{p(\cdot)}\|w^{-1}χ_{(a,b)}\|_{p'(\cdot)}<\infty \quad (1/p(x)+1/p'(x)=1). \] △ Less

Submitted 10 February, 2012; originally announced February 2012.

Comments: 17 pages

MSC Class: 42A50 (Primary) 42B25; 46E30 (Secondary)

On an Interesting Class of Variable Exponents

Authors: Alexei Yu. Karlovich, Ilya M. Spitkovsky

Abstract: Let $\mathcal{M}(\mathbb{R}^n)$ be the class of functions $p:\mathbb{R}^n\to[1,\infty]$ bounded away from one and infinity and such that the Hardy-Littlewood maximal function is bounded on the variable Lebesgue space $L^{p(\cdot)}(\mathbb{R}^n)$. We denote by $\mathcal{M}^*(\mathbb{R}^n)$ the class of variable exponents $p\in\mathcal{M}(\mathbb{R}^n)$ for which $1/p(x)=θ/p_0+(1-θ)/p_1(x)$ with som… ▽ More Let $\mathcal{M}(\mathbb{R}^n)$ be the class of functions $p:\mathbb{R}^n\to[1,\infty]$ bounded away from one and infinity and such that the Hardy-Littlewood maximal function is bounded on the variable Lebesgue space $L^{p(\cdot)}(\mathbb{R}^n)$. We denote by $\mathcal{M}^*(\mathbb{R}^n)$ the class of variable exponents $p\in\mathcal{M}(\mathbb{R}^n)$ for which $1/p(x)=θ/p_0+(1-θ)/p_1(x)$ with some $p_0\in(1,\infty)$, $θ\in(0,1)$, and $p_1\in\mathcal{M}(\mathbb{R}^n)$. Rabinovich and Samko \cite{RS08} observed that each globally log-Hölder continuous exponent belongs to $\mathcal{M}^*(\mathbb{R}^n)$. We show that the class $\mathcal{M}^*(\mathbb{R}^n)$ contains many interesting exponents beyond the class of globally log-Hölder continuous exponents. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 10 pages

MSC Class: 42B25 (Primary) 46E30; 26A16 (Secondary)

Pseudodifferential Operators on Variable Lebesgue Spaces

Authors: Alexei Yu. Karlovich, Ilya M. Spitkovsky

Abstract: Let $\mathcal{M}(\mathbb{R}^n)$ be the class of bounded away from one and infinity functions $p:\mathbb{R}^n\to[1,\infty]$ such that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space $L^{p(\cdot)}(\mathbb{R}^n)$. We show that if $a$ belongs to the Hörmander class $S_{ρ,δ}^{n(ρ-1)}$ with $0<ρ\le 1$, $0\leδ<1$, then the pseudodifferential operator $\Op(a)$ is bounded on… ▽ More Let $\mathcal{M}(\mathbb{R}^n)$ be the class of bounded away from one and infinity functions $p:\mathbb{R}^n\to[1,\infty]$ such that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space $L^{p(\cdot)}(\mathbb{R}^n)$. We show that if $a$ belongs to the Hörmander class $S_{ρ,δ}^{n(ρ-1)}$ with $0<ρ\le 1$, $0\leδ<1$, then the pseudodifferential operator $\Op(a)$ is bounded on the variable Lebesgue space $L^{p(\cdot)}(\R^n)$ provided that $p\in\cM(\R^n)$. Let $\mathcal{M}^*(\mathbb{R}^n)$ be the class of variable exponents $p\in\mathcal{M}(\mathbb{R}^n)$ represented as $1/p(x)=θ/p_0+(1-θ)/p_1(x)$ where $p_0\in(1,\infty)$, $θ\in(0,1)$, and $p_1\in\mathcal{M}(\mathbb{R}^n)$. We prove that if $a\in S_{1,0}^0$ slowly oscillates at infinity in the first variable, then the condition \[ \lim_{R\to\infty}\inf_{|x|+|ξ|\ge R}|a(x,ξ)|>0 \] is sufficient for the Fredholmness of $\Op(a)$ on $L^{p(\cdot)}(\R^n)$ whenever $p\in\cM^*(\R^n)$. Both theorems generalize pioneering results by Rabinovich and Samko \cite{RS08} obtained for globally log-Hölder continuous exponents $p$, constituting a proper subset of $\mathcal{M}^*(\mathbb{R}^n)$. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 10 pages

MSC Class: 47G30 (Primary) 42B25; 46E30 (Secondary)

Numerical ranges of companion matrices: flat portions on the boundary

Authors: Jeffrey Eldred, Leiba Rodman, Ilya M. Spitkovsky

Abstract: Criterion for a companion matrix to have a certain number of flat portions on the boundary of its numerical range is given. The criterion is specialized to the cases of 3-by-3 and 4-by-4 matrices. In the latter case, it is proved that a 4-by-4 unitarily irreducible companion matrix cannot have 3 flat portions on the boundary of its numerical range. Numerical examples are given to illustrate the ma… ▽ More Criterion for a companion matrix to have a certain number of flat portions on the boundary of its numerical range is given. The criterion is specialized to the cases of 3-by-3 and 4-by-4 matrices. In the latter case, it is proved that a 4-by-4 unitarily irreducible companion matrix cannot have 3 flat portions on the boundary of its numerical range. Numerical examples are given to illustrate the main results. △ Less

Submitted 15 July, 2011; originally announced July 2011.

Comments: 18 pages, 4 figures

MSC Class: 15

On singular integral operators with semi-almost periodic coefficients on variable Lebesgue spaces

Authors: Alexei Yu. Karlovich, Ilya M. Spitkovsky

Abstract: Let $a$ be a semi-almost periodic matrix function with the almost periodic representatives $a_l$ and $a_r$ at $-\infty$ and $+\infty$, respectively. Suppose $p:\mathbb{R}\to(1,\infty)$ is a slowly oscillating exponent such that the Cauchy singular integral operator $S$ is bounded on the variable Lebesgue space $L^{p(\cdot)}(\mathbb{R})$. We prove that if the operator $aP+Q$ with $P=(I+S)/2$ and… ▽ More Let $a$ be a semi-almost periodic matrix function with the almost periodic representatives $a_l$ and $a_r$ at $-\infty$ and $+\infty$, respectively. Suppose $p:\mathbb{R}\to(1,\infty)$ is a slowly oscillating exponent such that the Cauchy singular integral operator $S$ is bounded on the variable Lebesgue space $L^{p(\cdot)}(\mathbb{R})$. We prove that if the operator $aP+Q$ with $P=(I+S)/2$ and $Q=(I-S)/2$ is Fredholm on the variable Lebesgue space $L_N^{p(\cdot)}(\mathbb{R})$, then the operators $a_lP+Q$ and $a_rP+Q$ are invertible on standard Lebesgue spaces $L_N^{q_l}(\mathbb{R})$ and $L_N^{q_r}(\mathbb{R})$ with some exponents $q_l$ and $q_r$ lying in the segments between the lower and the upper limits of $p$ at $-\infty$ and $+\infty$, respectively. △ Less

Submitted 3 June, 2011; v1 submitted 2 May, 2011; originally announced May 2011.

Comments: 23 pages. An inaccuracy in Lemma 3.11 is corrected. The proof of the main result is corrected accordingly

MSC Class: 47B35

The possible shapes of numerical ranges

Authors: J. William Helton, Ilya M. Spitkovsky

Abstract: Which convex subsets of the complex plane are the numerical range W(A of some matrix A? This paper gives a precise characterization of these sets. In addition to this we show that for any A there exists a symmetric matrix B of the same size such that W(A)=W(B). Which convex subsets of the complex plane are the numerical range W(A of some matrix A? This paper gives a precise characterization of these sets. In addition to this we show that for any A there exists a symmetric matrix B of the same size such that W(A)=W(B). △ Less

Submitted 23 April, 2011; originally announced April 2011.

Comments: 4 pages

Factorization, Riemann-Hilbert problems and the corona problem

Authors: M. C. Camara, C. Diogo, Yu. I. Karlovich, I. M. Spitkovsky

Abstract: The solvability of the Riemann-Hilbert boundary value problem on the real line is described in the case when its matrix coefficient admits a Wiener-Hopf type factorization with bounded outer factors but rather general diagonal elements of its middle factor. This covers, in particular, the almost periodic setting. Connections with the corona problem are discussed. Based on those, constructive facto… ▽ More The solvability of the Riemann-Hilbert boundary value problem on the real line is described in the case when its matrix coefficient admits a Wiener-Hopf type factorization with bounded outer factors but rather general diagonal elements of its middle factor. This covers, in particular, the almost periodic setting. Connections with the corona problem are discussed. Based on those, constructive factorization criteria are derived for several types of triangular 2-by-2 matrices. △ Less

Submitted 9 March, 2011; originally announced March 2011.

Comments: 32 pages

MSC Class: 47A68; 42A75; 47B35

Non-denseness of factorable matrix functions

Authors: Alex Brudnyi, Leiba Rodman, Ilya M. Spitkovsky

Abstract: It is proved that for certain algebras of continuous functions on compact abelian groups, the set of factorable matrix functions with entries in the algebra is not dense in the group of invertible matrix functions with entries in the algebra, assuming that the dual abelian group contains a subgroup isomorphic to Z^3. These algebras include the algebra of all continuous functions and the Wiener alg… ▽ More It is proved that for certain algebras of continuous functions on compact abelian groups, the set of factorable matrix functions with entries in the algebra is not dense in the group of invertible matrix functions with entries in the algebra, assuming that the dual abelian group contains a subgroup isomorphic to Z^3. These algebras include the algebra of all continuous functions and the Wiener algebra. More precisely, it is shown that infinitely many connected components of the group of invertible matrix functions do not contain any factorable matrix functions, again under the same assumption. Moreover, these components actually are disjoint with the subgroup generated by the triangularizable matrix functions. △ Less

Submitted 1 March, 2011; originally announced March 2011.

Comments: 26 pages

MSC Class: 47A68; 46J10; 42A75

On common invariant cones for families of matrices

Authors: Leiba Rodman, Hakan Seyalioglu, Ilya M. Spitkovsky

Abstract: The existence and construction of common invariant cones for families of real matrices is considered. The complete results are obtained for 2x2 matrices (with no additional restrictions) and for families of simultaneously diagonalizable matrices of any size. Families of matrices with a shared dominant eigenvector are considered under some additional conditions. The existence and construction of common invariant cones for families of real matrices is considered. The complete results are obtained for 2x2 matrices (with no additional restrictions) and for families of simultaneously diagonalizable matrices of any size. Families of matrices with a shared dominant eigenvector are considered under some additional conditions. △ Less

Submitted 3 March, 2009; originally announced March 2009.

MSC Class: 15A48

Matrices with normal defect one

Authors: D. S. Kaliuzhnyi-Verbovetskyi, I. M. Spitkovsky, H. J. Woerdeman

Abstract: A $n\times n$ matrix $A$ has normal defect one if it is not normal, however can be embedded as a north-western block into a normal matrix of size $(n+1)\times (n+1)$. The latter is called a minimal normal completion of $A$. A construction of all matrices with normal defect one is given. Also, a simple procedure is presented which allows one to check whether a given matrix has normal defect one,… ▽ More A $n\times n$ matrix $A$ has normal defect one if it is not normal, however can be embedded as a north-western block into a normal matrix of size $(n+1)\times (n+1)$. The latter is called a minimal normal completion of $A$. A construction of all matrices with normal defect one is given. Also, a simple procedure is presented which allows one to check whether a given matrix has normal defect one, and if this is the case -- to construct all its minimal normal completions. A characterization of the generic case for each $n$ under the assumption $\rank(A^*A-AA^*)=2$ (which is necessary for $A$ to have normal defect one) is obtained. Both the complex and the real cases are considered. It is pointed out how these results can be used to solve the minimal commuting completion problem in the classes of pairs of $n\times n$ Hermitian (resp., symmetric, or symmetric/antisymmetric) matrices when the completed matrices are sought of size $(n+1)\times(n+1)$. An application to the $2\times n$ separability problem in quantum computing is described. △ Less

Submitted 28 February, 2009; originally announced March 2009.

MSC Class: 15A57; 47A20; 47B15; 81P68

Algebras of Almost Periodic Functions with Bohr-Fourier Spectrum in a Semigroup: Hermite Property and its Applications

Authors: L. Rodman, Ilya M. Spitkovsky

Abstract: It is proved that the unital Banach algebra of almost periodic functions of several variables with Bohr-Fourier spectrum in a given additive semigroup is an Hermite ring. The same property holds for the Wiener algebra of functions that in addition have absolutely convergent Bohr-Fourier series. As applications of the Hermite property of these algebras, we study factorizations of Wiener--Hopf typ… ▽ More It is proved that the unital Banach algebra of almost periodic functions of several variables with Bohr-Fourier spectrum in a given additive semigroup is an Hermite ring. The same property holds for the Wiener algebra of functions that in addition have absolutely convergent Bohr-Fourier series. As applications of the Hermite property of these algebras, we study factorizations of Wiener--Hopf type of rectangular matrix functions and the Toeplitz corona problem in the context of almost periodic functions of several variables. △ Less

Submitted 11 April, 2008; originally announced April 2008.

Comments: 18 pages

MSC Class: 42A75 (Primary); 46C20; 46J20; 47A68; 47B35 (Secondary)

On Generalized Numerical Ranges of Quadratic Operators

Authors: Leiba Rodman, Ilya M. Spitkovsky

Abstract: It is shown that the result of Tso-Wu on the elliptical shape of the numerical range of quadratic operators holds also for the essential numerical range. The latter is described quantitatively, and based on that sufficient conditions are established under which the c-numerical range also is an ellipse. Several examples are considered, including singular integral operators with the Cauchy kernel… ▽ More It is shown that the result of Tso-Wu on the elliptical shape of the numerical range of quadratic operators holds also for the essential numerical range. The latter is described quantitatively, and based on that sufficient conditions are established under which the c-numerical range also is an ellipse. Several examples are considered, including singular integral operators with the Cauchy kernel and composition operators. △ Less

Submitted 14 February, 2006; originally announced February 2006.

Comments: 14 pages

MSC Class: 47A12; 45E05; 47B33; 47B35

Positive eigenvalues and two-letter generalized words

Authors: Christopher Hillar, Charles R. Johnson, Ilya M. Spitkovsky

Abstract: A generalized word in two letters $A$ and $B$ is an expression of the form $W=A^{α_1}B^{β_1}A^{α_2}B^{β_2}... A^{α_N}B^{β_N}$ in which the exponents $α_i$, $β_i$ are nonzero real numbers. When independent positive definite matrices are substituted for $A$ and $B$, we are interested in whether $W$ necessarily has positive eigenvalues. This is known to be the case when N=1 and has been studied in… ▽ More A generalized word in two letters $A$ and $B$ is an expression of the form $W=A^{α_1}B^{β_1}A^{α_2}B^{β_2}... A^{α_N}B^{β_N}$ in which the exponents $α_i$, $β_i$ are nonzero real numbers. When independent positive definite matrices are substituted for $A$ and $B$, we are interested in whether $W$ necessarily has positive eigenvalues. This is known to be the case when N=1 and has been studied in case all exponents are positive by two of the authors. When the exponent signs are mixed, however, the situation is quite different (even for 2-by-2 matrices), and this is the focus of the present work. △ Less

Submitted 28 April, 2005; originally announced April 2005.

Comments: 6 Pages, Electronic Journal of Linear Algebra

MSC Class: 15A18; 15A57

Factorization of piecewise constant matrix functions and systems of linear differential equations

Authors: Torsten Ehrhardt, Ilya M. Spitkovsky

Abstract: Let G be a piecewise constant $n\times n$ matrix function which is defined on a smooth closed curve $Γ$ in the complex sphere and which has m jumps. We consider the problem of determining the partial indices of the factorization of the matrix function G in the space $L^p(Γ)$. We show that this problem can be reduced to a certain problem for systems of linear differential equations. Studying th… ▽ More Let G be a piecewise constant $n\times n$ matrix function which is defined on a smooth closed curve $Γ$ in the complex sphere and which has m jumps. We consider the problem of determining the partial indices of the factorization of the matrix function G in the space $L^p(Γ)$. We show that this problem can be reduced to a certain problem for systems of linear differential equations. Studying this related problem, we obtain some results for the partial indices for general n and m. A complete answer is given for n=2, m=4 and for n=m=3. One has to distinguish several cases. In some of these cases, the partial indices can be determined explicitly. In the remaining cases, one is led to two possibilities for the partial indices. The problem of deciding which is the correct possibility is equivalent to the description of the monodromy of n-th order linear Fuchsian differential equations with m singular points. △ Less

Submitted 2 September, 1999; originally announced September 1999.

Report number: MSRI 1999-048