A note on Christol's theorem

Christol's theorem characterises algebraic power series over finite fields in terms of finite automata. In a recent article, Bridy develops a new proof of Christol's theorem by Speyer, to obtain a tight quantitative version, that is, to bound the size of the corresponding automaton in terms of the height and degree of the power series, as well as the genus of the curve associated with the minimal polynomial of the power series. Speyer's proof, and Bridy's development, both take place in the setting of algebraic geometry, in particular by considering Kahler differentials of the function field of the curve. In this note we show how an elementary approach, based on diagonals of bivariate rational functions, provides essentially the same bounds.

[1]  A. Ferretti.  Algebra & Number Theory , 2012 .

[2]  Takashi Harase,et al.  Algebraic elements in formal power series rings , 1988 .

[3]  Ludwig Staiger,et al.  Ω-languages , 1997 .

[4]  Gilles Christol,et al.  Ensembles Presque Periodiques k-Reconnaissables , 1979, Theor. Comput. Sci..

[5]  Peter Beelen,et al.  A generalization of Baker's theorem , 2009, Finite Fields Their Appl..

[6]  Dock Bumpers,et al.  Volume 2 , 2005, Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..

[7]  G. Rauzy,et al.  Suites algébriques, automates et substitutions , 1980 .

[8]  P. Steerenberg,et al.  Targeting pathophysiological rhythms: prednisone chronotherapy shows sustained efficacy in rheumatoid arthritis. , 2010, Annals of the rheumatic diseases.

[9]  Helmut Hasse,et al.  Number Theory , 2020, An Introduction to Probabilistic Number Theory.

[10]  C. Woodcock,et al.  Algebraic functions over a eld of pos-itive characteristic and Hadamard products , 1988 .

[11]  R. Tennant.  Algebra , 1941, Nature.

[12]  Andrew Bridy.  Automatic Sequences and Curves over Finite Fields , 2016, 1604.08241.

[13]  Eric S. Rowland,et al.  Automatic congruences for diagonals of rational functions , 2013, ArXiv.

[14]  P. Kam,et al.  : 4 , 1898, You Can Cross the Massacre on Foot.

[15]  L. Lipshitz,et al.  Algebraic power series and diagonals , 1987 .

[16]  Harry Furstenberg,et al.  Algebraic functions over finite fields , 1967 .

[17]  Boris Adamczewski,et al.  On vanishing coefficients of algebraic power series over fields of positive characteristic , 2012 .

[18]  Jeffrey Shallit,et al.  Automatic Sequences: Theory, Applications, Generalizations , 2003 .

[19]  Boris Adamczewski,et al.  Diagonalization and Rationalization of algebraic Laurent series , 2012, 1205.4090.