A note on irreducibility for topical maps
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914092028002304 |
|---|---|
| author | Lins, Brian |
| author_facet | Lins, Brian |
| contents | Topical maps are a nonlinear generalization of nonnegative matrices acting on the interior of the standard cone $\mathbb{R}^n_{\ge 0}$. Several analogues of irreducibility have been defined for topical maps, and all are sufficient to guarantee the existence of entrywise positive eigenvectors. In this note, we organize several of these notions, showing which conditions are stronger and when different types of irreducibility are equivalent. We also consider how to computationally check the conditions. We show that certain irreducibility conditions can be expressed as Boolean satisfiability problems that can be checked using SAT solvers. This can be used to confirm the existence of entrywise positive eigenvectors when the dimension is large. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_12522 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A note on irreducibility for topical maps Lins, Brian Functional Analysis Primary 47H07, Secondary 15A80 Topical maps are a nonlinear generalization of nonnegative matrices acting on the interior of the standard cone $\mathbb{R}^n_{\ge 0}$. Several analogues of irreducibility have been defined for topical maps, and all are sufficient to guarantee the existence of entrywise positive eigenvectors. In this note, we organize several of these notions, showing which conditions are stronger and when different types of irreducibility are equivalent. We also consider how to computationally check the conditions. We show that certain irreducibility conditions can be expressed as Boolean satisfiability problems that can be checked using SAT solvers. This can be used to confirm the existence of entrywise positive eigenvectors when the dimension is large. |
| title | A note on irreducibility for topical maps |
| topic | Functional Analysis Primary 47H07, Secondary 15A80 |
| url | https://arxiv.org/abs/2510.12522 |