On the dimension of the solution space of linear difference equations over the ring of infinite sequences

2023/11/03 by С. А. Абрамов, Abramov, Sergei, Gleb Pogudin +1
Computer Science · Mathematics · #Advanced Differential Equations and Dynamical Systems #Coding theory and cryptography #FOS: Computer and information sciences #Polynomial and algebraic computation #Symbolic Computation (cs.SC)

paper · pdf · doi:10.48550/arxiv.2311.02219

openalex publication_date 2023/11/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the solution space including the case when some additional prior information on the dimension is available.

Related

• Solving difference equations in sequences: Universality and\n Undecidability
• On Linear Difference Equations over Rings and Modules
• Linear recurrences indexed by ℤ
• Solving linear difference equations with coefficients in rings with\n idempotent representations
• On solutions for some class of integrable difference equations