Electronic Journal of Linear Algebra

http://repository.uwyo.edu/ela/

List of Papers (Total 971)

In-sphere property and reverse inequalities for matrix means

The in-sphere property for matrix means is studied. It is proved that the matrix power mean satisfies in-sphere property with respect to the Hilbert-Schmidt norm. A new characterization of the matrix arithmetic mean is provided. Some reverse AGM inequalities involving unitarily invariant norms and operator monotone functions are also obtained.

Solving the Sylvester Equation AX-XB=C when $\sigma(A)\cap\sigma(B)\neq\emptyset$

The method for solving the Sylvester equation $AX-XB=C$ in complex matrix case, when $\sigma(A)\cap\sigma(B)\neq \emptyset$, by using Jordan normal form is given. Also, the approach via Schur decomposition is presented.

AE Regularity of Interval Matrices

Consider a linear system of equations with interval coefficients, and each interval coefficient is associated with either a universal or an existential quantifier. The AE solution set and AE solvability of the system is defined by ∀∃- quantification. The paper deals with the problem of what properties must the coefficient matrix have in order that there is guaranteed an existence...

Resolution Of Conjectures Related To Lights Out! And Cartesian Products

Lights Out!\ is a game played on a $5 \times 5$ grid of lights, or more generally on a graph. Pressing lights on the grid allows the player to turn off neighboring lights. The goal of the game is to start with a given initial configuration of lit lights and reach a state where all lights are out. Two conjectures posed in a recently published paper about Lights Out!\ on Cartesian...

On the Interval Generalized Coupled Matrix Equations

In this work, the interval generalized coupled matrix equations \begin{equation*} \sum_{j=1}^{p}{{\bf{A}}_{ij}X_{j}}+\sum_{k=1}^{q}{Y_{k}{\bf{B}}_{ik}}={\bf{C}}_{i}, \qquad i=1,\ldots,p+q, \end{equation*} are studied in which ${\bf{A}}_{ij}$, ${\bf{B}}_{ik}$ and ${\bf{C}}_{i}$ are known real interval matrices, while $X_{j}$ and $Y_{k}$ are the unknown matrices for $j=1,\ldots,p...

Vector Cross Product Differential and Difference Equations in R^3 and in R^7

Through a matrix approach of the $2$-fold vector cross product in $\mathbb{R}^3$ and in $\mathbb{R}^7$, some vector cross product differential and difference equations are studied. Either the classical theory or convenient Drazin inverses, of elements belonging to the class of index $1$ matrices, are applied.

Gershgorin type sets for eigenvalues of matrix polynomials

New localization results for polynomial eigenvalue problems are obtained, by extending the notions of the Gershgorin set, the generalized Gershgorin set, the Brauer set and the Dashnic-Zusmanovich set to the case of matrix polynomials.

On the Condition Number Theory of the Equality Constrained Indefinite Least Squares Problem

In this paper, within a unified framework of the condition number theory, the explicit expression of the \emph{projected} condition number of the equality constrained indefinite least squares problem is presented. By setting specific norms and parameters, some widely used condition numbers, like the normwise, mixed and componentwise condition numbers follow as its special cases...

Two linear preserver problems on graphs

Let n, t, k be integers such that 3 ≤ t,k ≤ n. Denote by G_n the set of graphs with vertex set {1,2,...,n}. In this paper, the complete linear transformations on G_n mapping K_t-free graphs to K_t-free graphs are characterized. The complete linear transformations on G_n mapping C_k-free graphs to C_k-free graphs are also characterized when n ≥ 6.

Discontinuity Propagation in Delay Differential-Algebraic Equations

The propagation of primary discontinuities in initial value problems for linear delay differential-algebraic equations (DDAEs) is discussed. Based on the (quasi-) Weierstra{\ss} form for regular matrix pencils, a complete characterization of the different propagation types is given and algebraic criteria in terms of the matrices are developed. The analysis, which is based on the...

Asymptotic results on the condition number of FD matrices approximating semi-elliptic PDEs

This work studies the asymptotic behavior of the spectral condition number of the matrices $A_{nn}$ arising from the discretization of semi-elliptic partial differential equations of the form \bdm -\left( a(x,y)u_{xx}+b(x,y)u_{yy}\right)=f(x,y), \edm on the square $\Omega=(0,1)^2,$ with Dirichlet boundary conditions, where the smooth enough variable coefficients $a(x,y), b(x,y...

REGULARITY RADIUS: PROPERTIES, APPROXIMATION AND A NOT A PRIORI EXPONENTIAL ALGORITHM

The radius of regularity, sometimes spelled as the radius of nonsingularity, is a measure providing the distance of a given matrix to the nearest singular one. Despite its possible application strength this measure is still far from being handled in an efficient way also due to findings of Poljak and Rohn providing proof that checking this property is NP-hard for a general matrix...

On Projection of a Positive Definite Matrix on a Cone of Nonnegative Definite Toeplitz Matrices

We consider approximation of a given positive definite matrix by nonnegative definite banded Toeplitz matrices. We show that the projection on linear space of Toeplitz matrices does not always preserve nonnegative definiteness. Therefore we characterize a convex cone of nonnegative definite banded Toeplitz matrices which depends on the matrix dimensions, and we show that the...

Explicit Block-Structures for Block-Symmetric Fiedler-like pencils

In the last decade, there has been a continued effort to produce families of strong linearizations of a matrix polynomial $P(\lambda)$, regular and singular, with good properties, such as, being companion forms, allowing the recovery of eigenvectors of a regular $P(\lambda)$ in an easy way, allowing the computation of the minimal indices of a singular $P(\lambda)$ in an easy way...

Positive and Z-operators on Closed Convex Cones

Let $K$ be a closed convex cone with dual $\dual{K}$ in a finite-dimensional real Hilbert space. A \emph{positive operator} on $K$ is a linear operator $L$ such that $L\of{K} \subseteq K$. Positive operators generalize the nonnegative matrices and are essential to the Perron-Frobenius theory. It is said that $L$ is a \emph{\textbf{Z}-operator} on $K$ if % \begin{equation*} \ip{L...

Spectral Bounds for the Connectivity of Regular Graphs with Given Order

The second-largest eigenvalue and second-smallest Laplacian eigenvalue of a graph are measures of its connectivity. These eigenvalues can be used to analyze the robustness, resilience, and synchronizability of networks, and are related to connectivity attributes such as the vertex- and edge-connectivity, isoperimetric number, and characteristic path length. In this paper, two...

Bounded linear operators that preserve the weak supermajorization on $\ell^1(I)^+$

Linear preservers of weak supermajorization which is defined on positive functions contained in the discrete Lebesgue space $\ell^1(I)$ are characterized. Two different classes of operators that preserve the weak supermajorization are formed. It is shown that every linear preserver may be decomposed as sum of two operators from the above classes, and conversely, the sum of two...

BOUNDS ON THE SUM OF MINIMUM SEMIDEFINITE RANK OF A GRAPH AND ITS COMPLEMENT

The minimum semi-definite rank (msr) of a graph is the minimum rank among all positive semi-definite matrices associated to the graph. The graph complement conjecture gives an upper bound for the sum of the msr of a graph and the msr of its complement. It is shown that when the msr of a graph is equal to its independence number, the graph complement conjecture holds with a better...

Positive solutions of the system of operator equations $A_1X=C_1,XA_2=C_2, A_3XA^*_3=C_3, A_4XA^*_4=C_4$ in Hilbert $C^*$-modules

Necessary and sufficient conditions are given for the operator system $A_1X=C_1$, $XA_2=C_2$, $A_3XA^*_3=C_3$, and $A_4XA^*_4=C_4$ to have a common positive solution, where $A_i$'s and $C_i$'s are adjointable operators on Hilbert $C^*$-modules. This corrects a published result by removing some gaps in its proof. Finally, a technical example is given to show that the proposed...