Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: The Membership and Threshold Problems for Hypergeometric Sequences with Quadratic Parameters
(Submitted on 4 Nov 2022 (v1), last revised 26 Sep 2023 (this version, v3))
Abstract: The membership and threshold problems for recurrence sequences are fundamental open decision problems in automated verification. The former problem asks whether a chosen target is an element of a sequence, whilst the latter asks whether every term in a sequence is bounded from below by a given value.
A rational-valued sequence $\langle u_n \rangle_n$ is hypergeometric if it satisfies a first-order linear recurrence of the form $p(n)u_{n+1} = q(n)u_{n}$ with polynomial coefficients $p,q\in\mathbb{Z}[x]$. In this note we establish decidability results for the aforementioned problems for restricted classes of hypergeometric sequences. For example, we establish decidability for the aforementioned problems under the assumption that the polynomial coefficients $p,q\in\mathbb{Z}[x]$ are monic and split over an imaginary rational extension of $\mathbb{Q}$. We also establish conditional decidability results; that is, conditional on Schanuel's conjecture, when the irreducible factors of the monic polynomial coefficients $p,q\in\mathbb{Z}[x]$ are either linear or quadratic.
Submission history
From: George Kenison [view email][v1] Fri, 4 Nov 2022 13:32:34 GMT (26kb)
[v2] Tue, 9 May 2023 00:05:52 GMT (37kb)
[v3] Tue, 26 Sep 2023 09:37:02 GMT (32kb,D)
Link back to: arXiv, form interface, contact.