On eventual non-negativity and positivity for the weighted sum of powers of matrices

DOI10.1007/978-3-031-10769-6_39OpenAlexW4281257689MaRDI QIDQ2104554FDOQ2104554

Authors: S. Akshay, Supratik Chakraborty, Debtanu Pal 

Publication date: 7 December 2022

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

zbMATH Keywords

linear recurrence sequenceseventual properties of matricesultimate positivity

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• On an inverse problem for nonnegative and eventually nonnegative matrices
• A characterization of Jordan canonical forms which are similar to eventually nonnegative matrices with the properties of nonnegative matrices.
• Eventually nonnegative matrices are similar to seminonnegative matrices.
• On Perron-Frobenius property of matrices having some negative entries
• Probabilistic automata on finite words: decidable and undecidable problems
• Reachability and Holdability of Nonnegative States
• Undecidable problems for probabilistic automata of fixed dimension
• Title not available (Why is that?)
• Computer Aided Verification
• Perron-Frobenius theory for complex matrices
• Positivity problems for low-order linear recurrence sequences
• The Many Proofs and Applications of Perron's Theorem
• Reachability problems for Markov chains
• The complexity of the matrix eigenproblem
• Positivity of second order linear recurrent sequences
• On regularity of unary probabilistic automata
• Decision problems for linear recurrence sequences
• On termination of integer linear loops
• Ultimate positivity is decidable for simple linear recurrence sequences
• Mortality for \(2 \times 2\) matrices is NP-hard
• Title not available (Why is that?)
• On the decidability of reachability in linear time-invariant systems
• On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
• What's decidable about weighted automata?
• Distribution-based objectives for Markov decision processes
• Complexity of Restricted Variants of Skolem and Related Problems
• Near-Optimal Complexity Bounds for Fragments of the Skolem Problem

Cited In (2)

• ON RANDOM WEIGHTED SUM OF POSITIVE SEMI-DEFINITE MATRICES
• Об одном свойстве взвешенных сумм одинаковых степеней как матричных произведений

This page was built for publication: On eventual non-negativity and positivity for the weighted sum of powers of matrices

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