A Divergent Argument Concerning Hadamard Roots Of Rational Functions
A. J. van der Poorten · Birkhäuser Boston eBooks · 1990
A compelling conjecture attributed variously to Pisot and Schutzenberger suggests that ∑a h X h is the Taylor expansion of a rational function provided only that the a h all belong to some field finitely generated over Q and there is a nonzero polynomial f so that ∑ f(ah)X h represents a rational function — of course only ‘coherent’ choices of the a h yielding f(a h ) will do. In part because the sequence of Taylor coefficients is a recurrence sequence (satisfying a linear homogeneous recurrence relation with constant coefficients), the following is a plain language example of the conjecture: A sequence of rationals (a h ) is a recurrence sequence if (a h 3 ) is a recurrence sequence. Conversely, \( \sum {\sqrt h } {X^h} \) is not rational because the √h do not all belong to a field finitely generated over Q. The conjecture can be proved in a ‘generic’ case, but seems inaccessible in general. Breaching the tradition that one should only sketch proofs one believes to be correct, I manipulate formal series divergent everywhere to ‘verify’ the conjecture and to illustrate the apparent obstructions to a convincing proof.