X-simple image eigencones of tropical matrices
研究了极大代数(热带)单边系统$A\otimes x=b$,其中$b$是特征向量,$x$位于区间$X$内.矩阵$A$被称为具有$X$ -与特征值$λ$相关联的简单图像特征锥,如果与$λ$相关联并且属于区间$X$的任何特征向量$x$是系统$A\otimes y=λx$在$X$中的唯一解。我们刻画矩阵的$X$ -简单的图像特征锥的几何和组合,并在某些特殊情况下,推导出的标准,可以有效地检查在实践中。
2016-06-06 math.RA
On commuting matrices in max algebra and in classical nonnegative algebra
本文研究极大代数和非负线性代数中的交换矩阵。我们的出发点是一个共同的特征向量的存在性,这直接导致了一些经典的复矩阵的结果的最大模拟。我们还调查Frobenius标准形式的交换矩阵,特别是当Perron根的组件是不同的。对于极大代数的情况下,我们展示了如何交换矩阵的特征锥的交集可以被描述,我们考虑连接与布尔代数,使我们能够证明,两个交换不可约矩阵在极大代数有一个共同的特征节点。
2010-05-09 math.RA
Semigroup identities of tropical matrices through matrix ranks
证明了对任何$n$,所有$n \times n$热带矩阵的幺半群满足非平凡半群恒等式的猜想.为此,我们证明了热带矩阵的足够大的幂的因子秩不超过原始矩阵的热带秩。
2018-06-28 math.CO math.RA
Semigroup identities in the monoid of two-by-two tropical matrices
本文的主要结果证明了所有2 × 2热带矩阵的幺半群满足一个非平凡半群恒等式,这与无限域上矩阵的情形不同。我们利用所有2 × 2热带矩阵的幺半群和双循环幺半群之间的强联系,证明了Adian恒等式的一个变体在我们的例子中成立,我们用热带多项式的一般矩阵证明了我们的结果.
2009-02-08 math.GR math.RA
Tropical Analysis of the Asymptotics of the Perron-Frobenius Eigenvector
一般来说,矩阵的渐近性质很难用经典的数学方法来分析。在非常特殊的情况下,矩阵的首特征向量的渐近行为和相应的“热带”矩阵之间存在着众所周知的联系,这是由热带分析中固有的$max$和$min$运算引起的。在本文中,我们研究了一类更一般的矩阵,并探讨在何种程度上,我们可以推广的结果,使用热带技术。我们发现,虽然原来的结果不容易推广,我们仍然可以作出一些有用的声明,在一般情况下的渐近行为,并可以给出一个完整的刻画了一个更大的一类矩阵比以前检查。
2019-08-22 math.RA
Linear matrix equations with parameters forming a commuting set of diagonalizable matrices
本文证明参数为可对角化交换矩阵的线性矩阵方程的相容性、Drazin 逆构造解及标准方程相容三者等价,并给出解空间维数与典型方程应用。
2024-05-06 math.RA
On maximal distances in a commuting graph
研究了定义在代数闭域上的矩阵代数交换图的最大距离。特别地,我们证明了最大距离只能在两个非减损矩阵之间达到。我们还利用交换图中的距离描述了秩一矩阵和半单矩阵。
2010-09-28 math.RA
Properties of the Tropical Characteristic Polynomial of Symmetric Matrices
Amirkabir University of Technology (Tehran Polytechnic)(阿米尔卡比尔理工大学(德黑兰理工学院))
研究对称矩阵热带特征多项式的组合结构,利用主子矩阵的热带积,建立首项系数新不等式,揭示系数序列凹性及必要条件,加深对其结构的理解。
2026-07-14 math.CO math.RA math.SP
On tropical Kleene star matrices and alcoved polytopes
本文对热带数学中的一个已知结果给出了一个简短的初等证明.利用这个结果,零对角实矩阵$A$的列跨距的凸性被刻划为$A$是Kleene星.我们给应用程序的凹多面体,使用正常的幂等矩阵(形成一个子类的Kleene星)。对于一个正规矩阵,我们定义了一个规范,并表明这是一个超平面部分的热带跨度的半径。
2013-09-20 math.MG math.RA
Invariants of commuting matrices
我们评论两篇论文的Domokos和Vaccarino证明限制对角矩阵的计划交换矩阵是一个同构时,限制不变量的对称群不变量。
2015-02-11 math.AC math.RA
Generating sets, presentations, and growth of tropical matrix monoids
本文研究热带矩阵幺半群的生成集、展示与增长,证明 M_n(Z_max) 仅在 n≤2 时有限生成、仅在 n=1 时有限展示,并给出上三角情形及增长函数上界的精确结果。
2025-05-09 math.RA
The Schützenberger groups and maximal subgroups of tropical matrices
本研究分类了热带半环矩阵范畴与有限热带半环矩阵半群胚的Schützenberger群,完成了所有阶数热带矩阵幺半群极大子群的分类,推广并修正了已有结果,还证明存在可作为Schützenberger群但无法作为极大子群的群。
2025-01-16 math.GR math.RA
The ultimate rank of tropical matrices
热带矩阵是定义在极大加半环上的矩阵。对于这样的矩阵,存在几个不一致的秩概念:行秩、列秩、Schein/Barvinok秩、Kapranov秩或热带秩等。在本文中,我们证明了热带矩阵的幂存在一个自然的终极秩的概念,它不依赖于秩的基本概念。此外,我们提供了一个简单的公式,因此可以在多项式时间内计算的矩阵的最终秩。然后,我们把注意力转移到矩阵的n-生成半群,我们的最终秩的概念自然地推广。给出了具有最大最终秩的半群的组合和几何刻画。作为副产品,我们得到了一个多项式算法,以确定是否最终秩的一个生成半群是最大的。
2013-05-18 math.CO math.RA
Power commuting and centralizing maps on the ring of strictly upper triangular matrices
Furman University(福尔曼大学)
本文研究了严格上三角矩阵环上满足特定交换和中心化条件的映射性质,揭示了2幂交换映射与中心化映射的结构特征。
2025-11-20 math.RA
On commuting matrices and exponentials
设A和B是M_n(C)的矩阵。我们证明,如果exp(A)^kexp(B)^l=exp(kA+1B),对所有整数k和l,则AB=BA。我们还证明了如果对每个正整数k,exp(A)^k exp(B)=exp(B)exp(A)^k=exp(kA+B)$,则(A,B)具有Motzkin和Taussky性质L.因此,若G是(M_n(C),+)的子群,且M -> exp(M)是G到(GL_n(C),x)的同态,则G由交换矩阵组成.若S是(Mn(C),+)的子半群,且M -> exp(M)是S到(GL_n(C),x)的同态,则Mn(C)的线性子空间Span(S)具有Motzkin和Taussky性质L.
2012-08-29 math.RA
Tropical one-relation monoids
在2010年,Izhakian和Margolis证明了双循环幺半群可以表示为上三角热带矩阵的半群。我们扩展这一结果,通过分类所有的一个关系幺半群,承认这样的表示。我们还分类,有两个例外,所有的一个关系幺半群承认表示为半群的热带矩阵。
2022-09-26 math.GR math.RA
Signed tropicalization of polar cones
本文研究带符号热带数半环上锥的极的热带类比,通过热带傅里叶-莫茨金消元法的不变性刻画热带极,证明取极与带符号赋值可交换,并应用于刻画各类经典矩阵锥在热带化下的坍缩现象。
2024-02-28 math.OC math.RA
Idempotent tropical matrices and finite metric spaces
在有限集上距离函数的三角不等式与热带半环上伴随矩阵的幂等性之间存在一个众所周知的对应关系。最近的研究揭示了新的光的结构(代数,组合和几何)的热带幂等元,在本文中,我们探讨了热带多面体的度量几何的后果。我们证明,例如,每一个n点度量空间是实现的希尔伯特射影度量的顶点上的纯n维热带多面体在热带n-空间。更一般地说,每个n点非对称距离函数都是由这样一个多面体的顶点上的剩余算子实现的。在对称情形下,我们证明了包含度量空间幂等元的热带矩阵的极大群是实数与度量空间等距群的直积;由此得出,有限群与实数的直积都是一个充分大的有限全热带矩阵半群的极大子群.在这个过程中,我们还证明了一些新的结果,热带幂等矩阵,并注意到一些半群理论的结果,可能是独立的利益。
2012-03-12 math.AG math.GR math.RA
Commuting maps on rank-$k$ matrices
$n\geq2$是一个自然数。设$M_n(\mathbb{K})$是域$\mathbb{K}$上所有$n \times n$矩阵的环。固定自然数$k$满足$1<k\leq n$。在对$\mathbb{K}$的一个温和的技术假设下,我们将证明,加性映射$G:M_n(\mathbb{K})\to M_n(\mathbb{K})$使得对于每个秩- $k$矩阵$x\in M_n(\mathbb{K})$的$[G(x),x]=0$具有形式$λx + μ(x)$,其中$λ\in Z$、$μ:M_n(\mathbb{K})\to Z$和$Z$代表$M_n(\mathbb{K})$的中心。此外,我们将看到一个例子,存在加法映射,使得对于所有不具有$λx + μ(x)$形式的秩为1的矩阵,$[G(x),x]=0$。我们还将讨论$m$ -可加性的情况。
2012-12-03 math.RA
Permutability of Matrices over Bipotent Semirings
本文研究了交换双幂半环(其中最著名的例子是热带半环)上矩阵半群的置换性质。我们证明了每一个这样的半群是弱置换(结果以前在文献中指出,但与错误的证明),然后继续深入研究的问题时,他们是强置换(这在很大程度上取决于半环)。在此过程中,我们对单演双幂半环进行了分类,并描述了截断热带半环之间的所有同构。
2021-01-11 math.RA
Spectral Properties of Positive Definite Matrices over Symmetrized Tropical Algebras and Valued Ordered fields
本文研究对称化热带代数及赋值有序域上正定矩阵的谱,证明特征值、特征向量经赋值与符号映射后与热带对应物一致,并给出参数实矩阵对数极限的组合公式。
2025-07-26 cs.NA math.CO math.NA
Bounds for the completely positive rank of a symmetric matrix over a tropical semiring
本文根据热带半环上矩阵的模式所规定的图的顶点团覆盖,得到了该矩阵CP-秩的一个上界。我们研究了产生具有最低可能CP秩的矩阵的模式的图,并证明了任何这样的图的直径必须等于2。
2018-03-15 math.RA
On the dimension of the algebra generated by two positive semi-commuting matrices
Gerstenhaber定理指出,由两个交换的$n\times n$矩阵生成的单位代数的维数至多为$n$。我们研究了具有正交换子的正矩阵的类似问题。我们证明了由矩阵生成的单位代数的维数至多为$\frac{n(n+1)}{2}$,并且这个界是可以达到的。我们还考虑了相应的问题,如果其中一个矩阵是置换或友矩阵或他们都是幂等元。在这些情况下,维度的上界可以显著减小。特别地,由两个半交换正幂等矩阵生成的酉代数至多是$9$ -维的。这个上界是可以达到的。
2016-06-22 math.FA math.RA
Joint similarity for commuting families of power bounded matrices
一个例子,由于皮西尔表明,两个交换,完全多项式有界的希尔伯特空间运营商可能不会同时类似于压缩。因此,虽然每个算子单独类似于一个收缩,但这对算子并不共同类似于一对交换收缩。我们表明,这种现象不会发生在有限的尺寸。更确切地说,我们证明了一个有限的家庭的权力有界的交换矩阵总是共同类似于家庭的收缩。事实上,这个结果可以推广到满足一定一致性条件的无限族。我们的方法是基于联合谱分解的基础空间。
2018-06-23 math.FA math.RA
Identities in Upper Triangular Tropical Matrix Semigroups and the Bicyclic Monoid
利用某些热带多项式的等价性,建立了半群恒等式在$n\times n$上三角热带矩阵幺半群中成立的充要条件.这导致了一种算法,用于检查这样的身份是否持有,在时间多项式的长度的身份和大小的字母表。它还允许我们回答一个问题的伊扎克和马戈利斯,通过显示,身份持有的幺半群的$2\times 2$上三角热带矩阵是完全相同的那些持有的双环幺半群。我们的结果推广到更广泛的一类“链结构热带矩阵半群”,我们展示了一个忠实的表示的自由单演逆半群在这样的半群,这也导致了一个表示的$3\times 3$上三角形矩阵半群,和一个新的证明的事实,即这个半群满足相同的身份作为双循环幺半群。
2020-04-06 math.RA
Tropical matrix groups
研究了有限热带矩阵半群在乘法作用下的子群结构。我们证明了每个极大子群同构于一个相关的热带多面体的全线性自同构群,并且每个群是实数与一个有限群的直积。我们还证明了负无穷热带半环上的每个满秩极大子群在矩阵半群的单位群中有一个自然的标准嵌入。我们的结果有许多推论,包括这样一个事实,即每一个自同构的投射(作为一个模块)热带多面体的满秩延伸到一个自同构的包含空间,以及每一个满秩子群有一个共同的特征向量。
2012-03-12 math.GR math.RA
Almost commuting matrices with respect to the rank metric
我们证明了如果A_1,A_2,.,A_n是方阵,它们都是酉或自伴矩阵,且它们关于秩度量几乎可交换,则可以求出可交换矩阵B_1,B_2,.,B_n的矩阵A_i的秩度量。
2021-04-01 math.AC math.FA math.OA
Tropical representations and identities of plactic monoids
我们证明了热带半环上的每个有限秩的plastic幺半群是一个由上三角形矩阵构成的幺半群。这回答了一个问题,首先提出了伊扎克,随后研究了几个作者。一个结果是证明了Kubat和Okniovski的一个猜想,即每一个有限秩的plactic么半群都满足一个非平凡半群恒等式。在相反的方向上,我们证明了秩为$n$的plactic么半群所满足的每一个恒等式都满足于$n \times n$上三角热带矩阵的么半群。特别是这意味着,各种产生的$3 \times 3$上三角热带矩阵相吻合所产生的plastic幺半群的秩$3$,回答另一个问题的伊扎克。
2019-11-01 math.CO math.GR math.RA
Sign-coherence and tropical sign pattern for rank $3$ real cluster-cyclic exchange matrices
Graduate School of Mathematics nagoya University\ -ku Nagoya 464-0813 Japan.;School of Mathematical Sciences University of Science
本文研究了秩3实簇循环交换矩阵的c向量符号一致性,证明了其与二次方程根的关系,并展示了对应的交换图结构及二面体群的簇实现。
2026-10-20 math.CO math.GR math.RA
Unitary N-dilations for tuples of commuting matrices
我们表明,每当一个压缩$k$元组$T$有限维空间$H$有一个酉膨胀,那么对于任何固定的程度$N$有一个酉$k$元组$U$有限维空间,使$q(T) = P_H q(U) |_H$的所有多项式$q$的程度最多$N$。
2011-05-10 math.FA math.OA math.RA
On the coordinate rings of Calogero-Moser spaces and the invariant commuting variety of a pair of matrices
本文研究第四个 Calogero–Moser 空间及四阶矩阵不变交换对的坐标环与 Poisson 括号,并据此计算其在复簇 Grothendieck 环中的类,进而揭示仿射平面点 Hilbert 概形几何的新认识。
2025-02-20 math.AG math.RA math.RT
On matrix sets invariant under conjugation and taking linear combinations of commuting elements
描述了域上矩阵代数的子集,这些子集在共轭下是不变的,并且包含它们的每两个交换元素的线性跨度。它们显然包括可对角化矩阵和幂零矩阵的子集。本文考虑了代数闭域的情形。这个问题很容易归结为具有给定性质的可对角化矩阵子集和幂零矩阵子集的描述。因此,在可对角化矩阵中,有四个这样的子集。对于幂零情形,证明了该子集的定义条件是矩阵的所有Jordan胞的大小都属于某个数集。根据这个集合得到了一个显式的判据。
2022-05-12 math.AG math.RA
Unital compressed commuting graph of $3 \times 3$ matrices over a finite prime field
University of Banja Luka(班贾卢卡大学);University of Ljubljana(卢布尔雅那大学);Faculty of Civil and Geodetic Engineering, University of Ljubljana(卢布尔雅那大学土木与测绘工程学院)
本文通过结合线性代数、域理论、射影几何和组合学的方法,完整描述了3×3矩阵在有限素数域上的单位压缩交换图,并给出了构造该图的算法。
2026-02-07 math.CO math.RA
Commuting graphs of $p$-adic matrices
本文研究$p$-进矩阵交换图的连通性与直径,证明连通条件为$n\geq 3$且$n$非素数或$p$的幂,并首次给出不依赖选择公理的直径$6$例子及一般界。
2024-07-18 math.CO math.NT math.RA
Commuting Kraus operators are normal
本文证明了一组相互交换且满足Kraus完备性关系的矩阵必为正规矩阵,从而可同时对角化。
2023-08-10 math-ph math.MP math.RA
On systems of commuting matrices, Frobenius Lie algebras and Gerstenhaber's Theorem
本文的工作涉及三个问题,方阵李代数的极大Abel子代数的分类,二步可解Frobenius李代数的分类和Gerstenhaber定理。设M和N是两个交换的n阶方阵,其元素在一个代数闭域K中.然后他们生成的结合交换K-代数的维数至多为n。这个结果是由Murray Gerstenhaber在1961年证明的。对于三个可交换矩阵的这种性质的类比仍然是一个公开的问题,对于更大数目的可交换矩阵,它的版本一般不成立。本文给出了对任意交换矩阵和任意域K满足这一性质的一个充分条件。这一结果是通过对2-步可解Frobenius李代数的结构的讨论以及对它们的左对称代数结构的完整刻画而得到的.讨论了2-步可解Frobenius李代数的分类,证明了它等价于方阵李代数的n维MASA的分类,并给出了矩阵与向量相乘的逆作用的开轨道.在任何维度中讨论了许多示例,并在低维度中提供了完整的分类列表。此外,在任意有限维上,我们给出了所有对应于非减损矩阵的2步可解Frobenius李代数的完全分类。
2021-07-29 math-ph math.AC math.MP
On tensor rank and commuting matrices
张量秩的超线性下界是复杂性理论中的一个重要问题。在本文中,我们提出了一个推广的方法所使用的Strassen在证明他的3n/2边界秩下界。我们的方法围绕交换矩阵的问题:给定矩阵Z_1,.,Z_p的大小为n且整数r> n,是否存在交换矩阵Z ′_1,.,Z ′_p的大小为r,使得每个Z_k作为子矩阵嵌入Z ′_k的左上角?作为我们的主要结果之一,我们证明了当r大于rank(T)+n时,这个问题总是有正解,其中T表示张量切片为Z_1,…,Z_p.取反命题,如果可以证明对于某些特定的矩阵Z_1,...,Z_p和一个特定的整数r,这个问题有一个否定的答案,这产生了下界秩(T)> r-n。在上面的秩(T)+n界中有一点松弛,但我们也提供了一些张量秩和对称秩的精确刻画,对于普通和对称张量,在实数和复数域上。这些特征中的每一个都指向上述方法的相应变化。为了解释斯特拉森定理如何适合在这个框架内,我们还提供了一个自包含的证明他的下限。
2020-07-06 cs.CC math.AG math.RA
ELT Linear Algebra II
本文是[arXiv:1603.02204]的继续。爆炸分层热带代数(ELT)是热带代数的一种推广,具有层结构。这些层使我们能够使用经典的代数结果,以方便地证明类似的热带结果。具体来说,我们证明并使用[2]中提出的转移原理的ELT版本。本文利用转移原理证明了Cayley-Hamilton定理的ELT形式,并研究了ELT行列式、ELT伴随矩阵和拟可逆矩阵的重数.我们还定义了一个新的迹的概念-本质迹-并研究了它的性质。
2017-04-30 math.AC math.AG math.RA