On eventual non-negativity and positivity for the weighted sum of powers of matrices
type: Item
instance of: scholarly article
title: On eventual non-negativity and positivity for the weighted sum of powers of matrices
DOI: 10.1007/978-3-031-10769-6_39
author: S. Akshay
author: Supratik Chakraborty
author: Debtanu Pal
publication date: 2022-12-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/2205.09190
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7628215
zbMATH Keywords: eventual properties of matrices
zbMATH Keywords: ultimate positivity
zbMATH Keywords: linear recurrence sequences
MaRDI profile type: Publication
OpenAlex ID: W4281257689
cites work: Reachability problems for Markov chains
cites work: Near-Optimal Complexity Bounds for Fragments of the Skolem Problem
cites work: Q4601857
cites work: Distribution-based objectives for Markov Decision Processes
cites work: What's decidable about weighted automata?
cites work: Q5874194
cites work: Mortality for 2 ×2 Matrices Is NP-Hard
cites work: On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
cites work: Undecidable problems for probabilistic automata of fixed dimension
cites work: Eventually nonnegative matrices are similar to seminonnegative matrices.
cites work: Q4421931
cites work: On the decidability of reachability in linear time-invariant systems
cites work: On an inverse problem for nonnegative and eventually nonnegative matrices
cites work: Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
cites work: Positivity of second order linear recurrent sequences
cites work: The Many Proofs and Applications of Perron's Theorem
cites work: On Perron-Frobenius property of matrices having some negative entries
cites work: Reachability and Holdability of Nonnegative States
cites work: On Termination of Integer Linear Loops
cites work: Decision Problems for Linear Recurrence Sequences
cites work: Positivity Problems for Low-Order Linear Recurrence Sequences
cites work: Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
cites work: The complexity of the matrix eigenproblem
cites work: Perron-Frobenius theory for complex matrices
cites work: Complexity of Restricted Variants of Skolem and Related Problems
cites work: Computer Aided Verification
cites work: A characterization of Jordan canonical forms which are similar to eventually nonnegative matrices with the properties of nonnegative matrices.
description: scientific article; zbMATH DE number 7628215