Polynomial parametrizations of length 4 Büchi sequences

From MaRDI portal
Publication:3174458

DOI10.4064/AA150-3-1zbMATH Open1264.11020arXiv1008.2994OpenAlexW2963905013MaRDI QIDQ3174458FDOQ3174458


Authors: Xavier Vidaux Edit this on Wikidata


Publication date: 14 October 2011

Published in: Acta Arithmetica (Search for Journal in Brave)

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).


Full work available at URL: https://arxiv.org/abs/1008.2994




Recommendations





Cited In (3)

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)