BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Xavier Vidaux appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a new characterization of generalized Büchi sequences (sequences whose sequence of squares has constant second difference $(a)$, for some fixed integer $a$) of length 3 over the integers and a strategy for attacking Büchi's n Squares Problem. Known characterizations of integer Büchi sequences of length 3 are actually characterizations over the rationals, plus some divisibility criterions that keep integer sequences.
Büchi's problem asks whether there exists a positive integer $M$ such that any sequence $(x_n)$ of at least $M$ integers, whose second difference of squares is the constant sequence $(2)$, satisifies $x_n^2=(x+n)^2$ for some $x\in\Z$. A positive answer to Büchi's problem would imply that there is no algorithm to decide whether or not an arbitrary system of quadratic diagonal forms over $\Z$ can represent an arbitrary given vector of integers. We give explicitly an infinite family of polynomial parametrizations of non-trivial length $4$ Büchi 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üchi sequence of integers (it is not known whether any such sequence exists).
Büchi's $n$ Squares Problem asks for an integer $M$ such that any sequence $(x_0,...,x_{M-1})$, whose second difference of squares is the constant sequence $(2)$ (i.e. $x^2_n-2x^2_{n-1}+x_{n-2}^2=2$ for all $n$), satisfies $x_n^2=(x+n)^2$ for some integer $x$. Hensley's problem for $r$-th powers (where $r$ is an integer $\geq2$) is a generalization of Büchi's problem asking for an integer $M$ such that, given integers $ν$ and $a$, the quantity $(ν+n)^r-a$ cannot be an $r$-th power for $M$ or more values of the integer $n$, unless $a=0$. The analogues of these problems for rings of functions consider only sequences with at least one non-constant term. Let $K$ be a function field of a curve of genus $g$. We prove that Hensley's problem for $r$-th powers has a positive answer for any $r$ if $K$ has characteristic zero, improving results by Pasten and Vojta. In positive characteristic $p$ we obtain a weaker result, but which is enough to prove that Büchi's problem has a positive answer if $p\geq 312g+169$ (improving results by Pheidas and the second author).
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define uniformly in the characteristic the equivalence relation "$x\sim y$ if and only if $x$ is an iterate of $y$ throuh the Frobenius map, or vice versa" in large classes of function fields and in polynomial rings.