Positivity Problems for Low-Order Linear Recurrence Sequences
From MaRDI portal
Publication:5383986
DOI10.1137/1.9781611973402.27zbMath1423.11209arXiv1307.2779OpenAlexW1797219784MaRDI QIDQ5383986
Publication date: 20 June 2019
Published in: Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1307.2779
Analysis of algorithms and problem complexity (68Q25) Decidability (number-theoretic aspects) (11U05) Number-theoretic algorithms; complexity (11Y16) Recurrences (11B37)
Related Items (32)
Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes ⋮ Ultimate periodicity problem for linear numeration systems ⋮ On the complexity of algebraic numbers, and the bit-complexity of straight-line programs1 ⋮ Termination of linear loops under commutative updates ⋮ What's decidable about discrete linear dynamical systems? ⋮ Recurrence relations, succession rules and the positivity problem ⋮ Analyzing ultimate positivity for solvable systems ⋮ Decision Questions for Probabilistic Automata on Small Alphabets ⋮ Computing error bounds for asymptotic expansions of regular P-recursive sequences ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Continuous-time orbit problems are decidable in polynomial-time ⋮ Reachability problems for Markov chains ⋮ The complexity of synchronizing Markov decision processes ⋮ Exact optimal values of step-size coefficients for boundedness of linear multistep methods ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration ⋮ On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond ⋮ Difference Equation Theory Meets Mathematical Finance ⋮ On Reachability Problems for Low-Dimensional Matrix Semigroups ⋮ On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond ⋮ On Petri Nets with Hierarchical Special Arcs ⋮ O-Minimal Invariants for Discrete-Time Dynamical Systems ⋮ Unnamed Item ⋮ An extension of holonomic sequences: \(C^2\)-finite sequences ⋮ On eventual non-negativity and positivity for the weighted sum of powers of matrices ⋮ A comparison of algorithms for proving positivity of linearly recurrent sequences ⋮ Algebraic model checking for discrete linear dynamical systems
This page was built for publication: Positivity Problems for Low-Order Linear Recurrence Sequences
