Solving difference equations in sequences: Universality and Undecidability

Gleb Pogudin*, Thomas Scanlon, Michael Wibmer

*Corresponding author for this work

Research output: Contribution to journalArticle

Abstract

We study solutions of difference equations in the rings of sequences and, more generally, solutions of equations with a monoid action in the ring of sequences indexed by the monoid. This framework includes, for example, difference equations on grids (for example, standard difference schemes) and difference equations in functions on words. On the universality side, we prove a version of strong Nullstellensatz for such difference equations under the assumption that the cardinality of the ground field is greater than the cardinality of the monoid and construct an example showing that this assumption cannot be omitted. On the undecidability side, we show that the following problems are undecidable:

- testing radical difference ideal membership or, equivalently,
- determining whether a givendifference polynomial vanishes on the solution set of a given system of difference polynomials;•determining consistency of a system of difference equations in the ring of real-valued sequences;
- determining consistency of a system of equations with action ofZ2,N2, or the free monoid withtwo generators in the corresponding ring of sequences over any field of characteristic zero.



Original languageEnglish
Article numbere33
JournalForum of Mathematics / Sigma
Volume8
DOIs
Publication statusPublished - 2020

Keywords

  • 2010 Mathematics Subject Classification: 12H10 39A10 13P25 14Q20 68Q40 03D35

ASJC Scopus subject areas

  • Computational Mathematics
  • Analysis
  • Theoretical Computer Science
  • Discrete Mathematics and Combinatorics
  • Geometry and Topology
  • Algebra and Number Theory
  • Statistics and Probability
  • Mathematical Physics

Fingerprint Dive into the research topics of 'Solving difference equations in sequences: Universality and Undecidability'. Together they form a unique fingerprint.

Cite this