Positivity of second order linear recurrent sequences

DOI10.1016/j.dam.2005.10.009zbMath1158.11305OpenAlexW1991004801MaRDI QIDQ2489940

Mika Hirvensalo, Tero J.Harju, Vesa Halava

Publication date: 28 April 2006

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2005.10.009

zbMATH Keywords

DecidabilityInteger matrixPositivity ProblemRecurrent sequence

Mathematics Subject Classification ID

Recurrences (11B37) Decidability of theories and sets of sentences (03B25)

Related Items (14)

Positivity problem of three-term recurrence sequences ⋮ What's decidable about discrete linear dynamical systems? ⋮ Recurrence relations, succession rules and the positivity problem ⋮ Analyzing ultimate positivity for solvable systems ⋮ Buyback Problem - Approximate Matroid Intersection with Cancellation Costs ⋮ \(s\)-lecture hall partitions, self-reciprocal polynomials, and Gorenstein cones ⋮ Another proof of Soittola's theorem ⋮ Positivity of third order linear recurrence sequences ⋮ The continuous Skolem-Pisot problem ⋮ Recurrence Relations, Succession Rules, and the Positivity Problem ⋮ The signs of three-term recurrence 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mortality in Matrix Semigroups
• Deux propriétés décidables des suites récurrentes linéaires
• Mortality of 2 × 2 Matrices
• Unsolvability in 3 × 3 Matrices

This page was built for publication: Positivity of second order linear recurrent sequences