Positivity of second order linear recurrent sequences

DOI10.1016/J.DAM.2005.10.009MaRDI QIDQ2489940zbMATH OpenOpenAlexFDO

Authors Vesa Halava, Tero Harju, Mika Hirvensalo

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

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

Recommendations

• Positivity of third order linear recurrence sequences
• The positivity problem for fourth order linear recurrence sequences is decidable
• On the positivity problem for simple linear recurrence sequences
• Positivity problems for low-order linear recurrence sequences
• scientific article; zbMATH DE number 6154366

Cites work

• Deux propriétés décidables des suites récurrentes linéaires
• scientific article; zbMATH DE number 3943824 (Why is no real title available?)
• scientific article; zbMATH DE number 3540642 (Why is no real title available?)
• scientific article; zbMATH DE number 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 1973372 (Why is no real title available?)
• Mortality in Matrix Semigroups
• Mortality of 2 × 2 Matrices
• Unsolvability in 3 × 3 Matrices

Cited in

(25)

• 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
• \(s\)-lecture hall partitions, self-reciprocal polynomials, and Gorenstein cones
• Recurrence relations, succession rules and the positivity problem
• Another proof of Soittola's theorem
• Recurrence relations, succession rules, and the positivity problem
• A remark about the positivity problem problem of fourth order linear recurrence sequences
• Buyback problem -- approximate matroid intersection with cancellation costs
• The positivity problem for fourth order linear recurrence sequences is decidable
• On the positivity problem for simple linear recurrence sequences
• Positivity problem of three-term recurrence sequences
• What's decidable about discrete linear dynamical systems?
• scientific article; zbMATH DE number 7724240 (Why is no real title available?)
• Computing the density of the positivity set for linear recurrence sequences
• Holonomic techniques, periods, and decision problems (invited talk)
• The threshold problem for hypergeometric sequences with quadratic parameters
• Fifth order linear recurrence sequences and their positivity
• Stochastic processes with expected stopping time
• The continuous Skolem-Pisot problem
• Characterisation of distributions via record-like observations
• Analytic properties of generalized Morgan-Voyce polynomials
• The signs of three-term recurrence sequences
• Analyzing ultimate positivity for solvable systems
• Positivity of third order linear recurrence sequences

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

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