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

DOI10.1007/978-3-031-10769-6_39MaRDI QIDQ2104554zbMATH OpenOpenAlexFDO

Authors S. Akshay, Supratik Chakraborty, Debtanu Pal

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

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

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

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)