Characterizing matrices with $X$-simple image eigenspace in max-min semiring
Jan Plavka, Sergei Sergeev

TL;DR
This paper provides a combinatorial characterization of matrices with a unique eigenvector solution within a specified interval in max-min semiring, advancing understanding in tropical linear algebra and interval analysis.
Contribution
It introduces a novel combinatorial criterion for identifying matrices with $X$-simple image eigenspaces in max-min algebra, linking to stability and robustness concepts.
Findings
Characterization of matrices with $X$-simple image eigenspace
Connection to tropical linear algebra and interval analysis
Advancement in understanding of stability in max-min algebra
Abstract
A matrix is said to have -simple image eigenspace if any eigenvector belonging to the interval is the unique solution of the system in . 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Logic, Reasoning, and Knowledge · Logic, programming, and type systems
