Characterizing matrices with X-simple image eigenspace in max-min semiring.

DOI10.14736/KYB-2016-4-0497MaRDI QIDQ2829127zbMATH OpenOpenAlexFDO

Authors Ján Plavka, Sergeĭ Sergeev

Publication date 26 October 2016

Published in Kybernetika (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.3691

zbMATH Keywords

eigenspacemax-min algebrasimple image set

Mathematics Subject Classification ID

Fuzzy algebraic structures (08A72) Eigenvalues, singular values, and eigenvectors (15A18) Max-plus and related algebras (15A80)

Abstract: A matrix $A$ is said to have $X$-simple image eigenspace if any eigenvector $x$ belonging to the interval $X=xcolonunderlinexleqxleqoverlinex$ is the unique solution of the system $Aotimesy=x$ in $X$. The main result of this paper is a combinatorial characterization of such matrices in the linear algebra over max-min (fuzzy) semiring. The characterized property is related to and motivated by the general development of tropical linear algebra and interval analysis, as well as the notions of simple image set and weak robustness (or weak stability) that have been studied in max-min and max-plus algebras.

Review text

This paper deals with a problem of max-min linear algebras with arithmetical operations \(a\oplus b:=\max(a,b)\) and \(a\otimes b:=\min(a,b)\) and it is defined over a linearly ordered set. A matrix \(A\) in max-min algebra (fuzzy matrix) is called weakly robust if \(A^k\otimes x\) is an eigenvector of \(A\) only if \(x\) is an eigenvector of \(A\). In the present paper, the authors consider an interval version of this condition. Namely, they describe matrices \(A\) such that for any eigenvector \(y\) belonging to an interval \(\pmb{X}=\left[\underline{x},\overline{x}\right]:=\left\{ x\in\mathbb{B}(n): \underline{x}\leq x\leq\overline{x}\right\}\) the system \(A\otimes x=y\) has a unique solution \(x=y\) in \(\pmb{X}\). This is what they mean by saying that \(A\) has an \(\pmb{X}\)-simple image eigenspace. It is shown that under a certain natural condition, \(A\) has an \(\pmb{X}\)-simple image eigenspace if and only if it satisfies a nontrivial combinatorial criterion, which makes use of threshold digraphs and to which they refer as \(\pmb{X}\)-conformism.

Recommendations

• X-simplicity of interval max-min matrices
• Computing the greatest \(\mathbf{X}\)-eigenvector of a matrix in max-min algebra.
• Strong \(\boldsymbol{X}\)-robustness of interval max-min matrices.
• \(X^{A E}\) and \(X^{E A}\) robustness of max-min matrices
• Reachability of eigenspaces for interval matrices in max-min algebra

Cited in

(8)

• Subeigenvectors and supereigenvectors of fuzzy matrices
• Max-plus steady states in discrete event dynamic systems with inexact data
• \(X^{A E}\) and \(X^{E A}\) robustness of max-min matrices
• \(\mathbf{X}\)-simple image eigencones of tropical matrices
• X-simplicity of interval max-min matrices
• Tolerance problems for generalized eigenvectors of interval fuzzy matrices
• Regularity of interval fuzzy matrices
• Simple image set of linear mappings in a max--min algebra

This page was built for publication: Characterizing matrices with \(\pmb{X}\)-simple image eigenspace in max-min semiring.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829127)