arXiv math/05113252005-11math.RA

Functions preserving nonnegativity of matrices

Gautam Bharali, Olga Holtz

备注：: 20 pages; expanded and corrected to reflect referees' remarks; to appear in SIAM J. Matrix Anal. Appl
发表信息：: SIAM J. Matrix Anal. Appl. 30 (2008) no.1, 84-101
DOI：: 10.1137/050645075

英文摘要：

The main goal of this work is to determine which entire functions preserve nonnegativity of matrices of a fixed order $n$ -- i.e., to characterize entire functions $f$ with the property that $f(A)$ is entrywise nonnegative for every entrywise nonnegative matrix $A$ of size $n\times n$. Towards this goal, we present a complete characterization of functions preserving nonnegativity of (block) upper-triangular matrices and those preserving nonnegativity of circulant matrices. We also derive necessary conditions and sufficient conditions for entire functions that preserve nonnegativity of symmetric matrices. We also show that some of these latter conditions characterize the even or odd functions that preserve nonnegativity of symmetric matrices.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Total nonnegativity of GCD matrices and kernels

Let $X = (x_1,\dots,x_n)$ be a vector of distinct positive integers. The $n \times n$ matrix $S = S(X) := (\gcd(x_i,x_j))_{i,j=1}^n$, where $\gcd(x_i,x_j)$ denotes the greatest common divisor of $x_i$ and $x_j$, is called the greatest common divisor (GCD) matrix on $X$. By a surprising result of Beslin and Ligh [Linear Algebra and Appl. 118], all GCD matrices are positive definite. In this paper, we completely characterize the GCD matrices satisfying the stronger property of being totally nonnegative (TN) or totally positive (TP). As we show, a GCD matrix is never TP when $n \geq 3$, and is TN…

2019-01-07math.CAmath.NTmath.RA

Connes' embedding conjecture and sums of hermitian squares

We show that Connes' embedding conjecture on von Neumann algebras is equivalent to the existence of certain algebraic certificates for a polynomial in noncommuting variables to satisfy the following nonnegativity condition: The trace is nonnegative whenever self-adjoint contraction matrices of the same size are substituted for the variables. These algebraic certificates involve sums of hermitian squares and commutators. We prove that they always exist for a similar nonnegativity condition where elements of separable II_1-factors are considered instead of matrices. Under the presence of Connes'…

2006-07-25math.OAmath.RA

Determinants preserving maps on the spaces of symmetric matrices and skew-symmetric matrices

Denote $Σ_n$ and $Q_n$ the set of all $n \times n$ symmetric and skew-symmetric matrices over a field $\mathbb{F}$, respectively, where $char(\mathbb{F})\neq 2$ and $\lvert \mathbb{F} \rvert \geq n^2+1$. A characterization of $ϕ,ψ:Σ_n \rightarrow Σ_n$, for which at least one of them is surjective, satisfying $$\det(ϕ(x)+ψ(y))=\det(x+y)\qquad(x,y\in Σ_n)$$ is given. Furthermore, if $n$ is even and $ϕ,ψ:Q_n \rightarrow Q_n$, for which $ψ$ is surjective and $ψ(0)=0$, satisfy $$\det(ϕ(x)+ψ(y))=\det(x+y)\qquad(x,y\in Q_n),$$ then $ϕ=ψ$ and $ψ$ must be a bijective linear map preserving the determina…

2021-03-22math.RA

保持非负矩阵不变的固定次数多项式锥的性质

Properties of the cone of polynomials of fixed degree that preserve nonnegative matrices

本文研究保持非负矩阵不变的多项式锥的几何性质，证明高次多项式生成的锥非多面体，回答了Loewy关于中心项负值程度的问题，并给出该锥在单位球面上体积的初步界。

2024-08-08math.RA

Proof of a conjecture on polynomials preserving nonnegative matrices

We consider polynomials in R[x] which map the set of nonnegative (element-wise) matrices of a given order into itself. Let n be a positive integer and define P(n)= {p in R[x] : p(A) is nonnegative (element-wise), for all A, A an n-by-n nonnegative (element-wise) matrix}. This set plays a role in the Nonnegative Inverse Eigenvalue Problem. Clark and Paparella conjectured that P(n+1) is strictly contained in P(n). We prove this conjecture.

2022-01-31math.RA

Linear isomorphisms preserving Green's relations for matrices over semirings

In this paper we characterize those linear bijective maps on the monoid of all $n \times n$ square matrices over an anti-negative semifield which preserve and strongly preserve each of Green's equivalence relations $\mathcal{L}, \mathcal{R}, \mathcal{D}, \mathcal{J}$ and the corresponding three pre-orderings $\leq_\mathcal{L}, \leq_\mathcal{R}, \leq_\mathcal{J}$. These results apply in particular to the tropical and boolean semirings, and for these two semirings we also obtain corresponding results for the $\mathcal{H}$ relation.

2017-09-15math.RA

更多相关论文收起更多论文

Adjacency preserving mappings on real symmetric matrices

Let $S_{n}$ denote the space of all $n \times n$ real symmetric matrices. For n=2 or n>2 we characterize maps F from $S_{n}$ to $S_{m}$ which preserve adjacency, i.e. if rank(A-B)=1, then rank(F(A)-F(B))=1.

2007-11-15math.MGmath.RA

Trace and determinant preserving maps of matrices

Suppose a map $ϕ$ on the set of positive definite matrices satisfies $\det(A+B)=\det(ϕ(A)+ϕ(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(ϕ(A){ϕ(B)}^{-1}).$$ Through this viewpoint, we show that $ϕ$ is of the form $ϕ(A)= M^*AM$ or $ϕ(A)= M^*A^tM$ for some invertible matrix $M$ with $\det (M^*M)=1$. We also characterize the map $ϕ: \mathcal{S} \rightarrow \mathcal{S}$ preserving the determinant of convex combinations in $\mathcal{S}$ by using similar method. Here $\mathcal{S}$ can be the set of complex matrices, positive definite matrices, symmetric matrices, and upper triangular matrices.

2016-03-12math.FAmath.RA

保持平行对的矩阵上的线性映射

Linear maps on matrices preserving parallel pairs

该研究刻画了矩阵空间上保持平行对与TEA对的线性映射，明确了一般维数下的映射形式，并完成了2×2矩阵特殊情形的完整分类。

2024-07-27math.RA

A Characterization of Completely-Positive Trace-Preserving Maps on 2x2 Matrices

This paper has been superseded by quant-ph/0101003.

2001-01-02math-phmath.MPmath.OA

The Lie algebra preserving a degenerate bilinear form

Let $k$ be an arbitrary field and $d$ a positive integer. For each degenerate symmetric or antisymmetric bilinear form $M$ on $k^{d}$ we determine the structure of the Lie algebra of matrices that preserve $M$, and of the Lie algebra of matrices that preserve the subspace spanned by $M$. We show that these Lie algebras are semidirect products of classical Lie algebras and certain representations, and determine their radicals, derived series and semisimple quotients. Our main motivation and application is to determine the structure of the graded Lie algebra of derivations of each commutative or…

2020-09-03math.RA

Strong $k$-commutativity preserving maps on 2$\times$2 matrices

Let ${\mathcal M}_2(\mathbb F)$ be the algebra of 2$\times$2 matrices over the real or complex field $\mathbb F$. For a given positive integer $k\geq 1$, the $k$-commutator of $A$ and $B$ is defined by $[A,B]_k=[[A,B]_{k-1},B]$ with $[A,B]_0=A$ and $[A,B]_1=[A,B]=AB-BA$. The main result is shown that a map $Φ: {\mathcal M}_2(\mathbb F)\to {\mathcal M}_2(\mathbb F)$ with range containing all rank one matrices satisfies that $[Φ(A),Φ(B)]_k = [A,B]_k $ for all $A, B\in{\mathcal M}_2(\mathbb F)$ if and only if there exist a functional $h :{\mathcal M}_2(\mathbb F) \rightarrow {\mathbb F}$ and a sc…

2016-03-15math.FAmath.RA

Sums Of K-potent Matrices

We study sums of $k$-potent matrices. We show the conditions by which a complex matrix $A$ can be expressed as a sums of $k$-potent matrices. Also we obtain conditions by which a complex matrix $A$ can be expressed as a sum of finite order elements. This generalize some results obtain by Wu. Also we study the sum of $k$-potent matrices in $\mathcal{M}_{\mathcal{C}f}(F)$ with $F$ be a field and proof that any matrix in this space can be expressed as a sum of $14$ $(k+1)$-potent matrices preserving the result obtain by Slowik.

2020-05-01math.RA

Condition Numbers of Hessenberg Companion Matrices

The Fiedler matrices are a large class of companion matrices that include the well-known Frobenius companion matrix. The Fiedler matrices are part of a larger class of companion matrices that can be characterized with a Hessenberg form. In this paper, we demonstrate that the Hessenberg form of the Fiedler companion matrices provides a straight-forward way to compare the condition numbers of these matrices. We also show that there are other companion matrices which can provide a much smaller condition number than any Fiedler companion matrix. We finish by exploring the condition number of a cla…

2023-01-30math.RA

矩阵几何中的保直径满射

Diameter preserving surjections in the geometry of matrices

本研究针对一类直径有限的图，证明保直径对的满射必为图同构，并将该结果推广应用到矩形矩阵空间、埃尔米特矩阵空间及Grassmann空间对应的邻接图中。

2013-04-04math.AGmath.COmath.RA

结构化有理矩阵的结构化线性化

Structured Linearizations of Structured Rational Matrices

Sikkim University（锡金大学）

本文提出了一种结构化线性化方法，用于保持有理矩阵的结构特性，以提高计算稳定性与准确性。

2026-01-15math.RA

保持 $3 \times 3$ 矩阵的洛伦兹谱的线性映射

Linear maps preserving the Lorentz spectrum of $3 \times 3$ matrices

本文刻画了保持3×3实矩阵洛伦兹谱的线性映射，证明其必为形如ϕ(A)=(Q⊕[1])A(Q^T⊕[1])的变换，其中Q为正交2×2矩阵。

2022-09-01math.RA

An Analysis of Completely-Positive Trace-Preserving Maps on 2x2 Matrices

We give a useful new characterization of the set of all completely positive, trace-preserving (i.e., stochastic) maps from 2x2 matrices to 2x2 matrices. These conditions allow one to easily check any trace-preserving map for complete positivity. We also determine explicitly all extreme points of this set, and give a useful parameterization after reduction to a certain canonical form. This allows a detailed examination of an important class of non-unital extreme points which can be characterized as having exactly two images on the Bloch sphere. We also discuss a number of related issues about t…

2001-11-03math-phmath.MPmath.OA

Nonsurjective maps between rectangular matrix spaces preserving disjointness, triple products, or norms

Let $M_{m,n}$ be the space of $m\times n$ real or complex rectangular matrices. Two matrices $A, B \in M_{m,n}$ are disjoint if $A^*B = 0_n$ and $AB^* = 0_m$. In this paper, a characterization is given for linear maps $Φ: M_{m,n} \rightarrow M_{r,s}$ sending disjoint matrix pairs to disjoint matrix pairs, i.e., $A, B \in M_{m,n}$ are disjoint ensures that $Φ(A), Φ(B) \in M_{r,s}$ are disjoint. More precisely, it is shown that $Φ$ preserves disjointness if and only if $Φ$ is of the form $$Φ(A) = U\begin{pmatrix} A \otimes Q_1 & 0 & 0 \cr 0 & A^t \otimes Q_2 & 0 \cr 0 & 0 & 0 \cr\end{pmatrix}V$$…

2019-07-13math.OAmath.RA