Polynomial parametrizations of length 4 Büchi sequences

From MaRDI portal
Publication:3174458




Abstract: B"uchi's problem asks whether there exists a positive integer M such that any sequence (xn) of at least M integers, whose second difference of squares is the constant sequence (2), satisifies xn2=(x+n)2 for some . A positive answer to B"uchi's problem would imply that there is no algorithm to decide whether or not an arbitrary system of quadratic diagonal forms over can represent an arbitrary given vector of integers. We give explicitly an infinite family of polynomial parametrizations of non-trivial length 4 B"uchi sequences of integers. In turn, these parametrizations give an explicit infinite family of curves (which we suspect to be hyperelliptic) with the following property: any integral point on one of these curves would give a length 5 non-trivial B"uchi sequence of integers (it is not known whether any such sequence exists).





Describes a project that uses

Uses Software





This page was built for publication: Polynomial parametrizations of length 4 Büchi sequences

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