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
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 such that any sequence of at least integers, whose second difference of squares is the constant sequence , satisifies 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 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 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)