BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Xavier Vidaux contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph 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.