Transcendence of Formal Power Series with Rational Coefficients

We give algebraic proofs of transcendence over Q(X) of formal power series with rational coefficients, by using inter alia reduction modulo prime numbers, and the Christol theorem. Applications to generating series of languages and combinatorial objects are given.

[1]  Gérald Tenenbaum,et al.  Introduction à la théorie analytique et probabiliste des nombres , 1990 .

[2]  Richard P. Stanley,et al.  Differentiably Finite Power Series , 1980, Eur. J. Comb..

[3]  Christophe Reutenauer.  Mots circulaires et polyn^omes irr?eductibles , 1988 .

[4]  Mireille Bousquet-Mélou,et al.  Canonical Positions for the Factors in Paperfolding Sequences , 1994, Theor. Comput. Sci..

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

[6]  Aleksandrs Mihailovs.  Symplectic tensor invariants, wave graphs and S-tris , 1998 .

[7]  Dennis Stanton,et al.  CRANKS AND T -CORES , 1990 .

[8]  Rostislav Grigorchuk,et al.  On problems related to growth, entropy, and spectrum in group theory , 1997 .

[9]  Jean-Paul Allouche,et al.  Automata and transcendence of the Tate period in finite characteristic , 1999 .

[10]  Chris F. Woodcock,et al.  On the transcendence of certain series , 1989 .

[11]  G. Tenenbaum,et al.  Exercices corrigés de théorie analytique et probabiliste des nombres , 1996 .

[12]  Jean-Paul Allouche,et al.  Transcendence of Binomial and Lucas' Formal Power Series☆ , 1998 .

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

[14]  Morris Newman,et al.  Normal subgroups of the modular group , 1970 .

[15]  Ken Ono,et al.  4-core partitions and class numbers , 1997 .

[16]  H. Petersen,et al.  On the Language of Primitive Words , 1996, Theor. Comput. Sci..

[17]  Jeffrey Shallit,et al.  The Ring of k-Regular Sequences , 1990, Theor. Comput. Sci..

[18]  A. J. Poorten,et al.  Power series representing algebraic functions , 1993 .

[19]  Fritz Carlson,et al.  Über Potenzreihen mit ganzzahligen Koeffizienten , 1921 .

[20]  Jean-Paul Allouche.  NOTE ON THE TRANSCENDENCE OF A GENERATING FUNCTION , 1997 .

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

[22]  R. A. Rankin.  The Divisibility of Divisor Functions , 1961 .

[23]  J. Worpitzky,et al.  Studien über die Bernoullischen und Eulerschen Zahlen. , 1883 .

[24]  Aleksandrs Mihailovs.  Enumeration of walks on lattices. I , 1998 .

[25]  Noam Chomsky,et al.  The Algebraic Theory of Context-Free Languages* , 1963 .

[26]  S. Smale.  Differentiable dynamical systems , 1967 .

[27]  H. Schwarz,et al.  Ueber diejenigen Fälle, in welchen die Gaussische hypergeometrische Reihe eine algebraische Function ihres vierten Elementes darstellt. , 1873 .

[28]  J. S. Frame,et al.  The Hook Graphs of the Symmetric Group , 1954, Canadian Journal of Mathematics.

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

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

[31]  Gert Almkvist,et al.  Hilbert series of fixed free algebras and noncommutative classical invariant theory , 1985 .

[32]  James A. Sellers,et al.  Some Amazing Facts about 4-Cores , 1996 .

[33]  Gregory Karpilovsky.  Field Theory: Classical Foundations and Multiplicative Groups , 1988 .

[34]  Robert W. Ritchie,et al.  Finite Automata and the Set of Squares , 1963, JACM.

[36]  Richard J. McIntosh.  A generalization of a congruential property of Lucas , 1992 .

[37]  Jeffrey Shallit,et al.  Algorithmic Number Theory , 1996, Lecture Notes in Computer Science.

[38]  Philippe Flajolet,et al.  Analytic Models and Ambiguity of Context-free Languages* , 2022 .

[39]  P. Fatou.  Séries trigonométriques et séries de Taylor , 1906 .

[40]  Gérald Tenenbaum,et al.  Dimension des courbes planes, papiers plies et suites de Rudin-Shapiro , 1981 .

[41]  A. Baker,et al.  Power Series Representing Algebraic Functions , 1965 .

[42]  Roger C. Alperin,et al.  Growth functions for residually torsion-free nilpotent groups , 1990 .

[43]  Philippe Flajolet,et al.  Prefixes of Infinite Words and Ambiguous Context-Free Languages , 1987, Inf. Process. Lett..

[44]  Richard Dedekind.  Abriss einer Theorie der höhern Congruenzen in Bezug auf einen reellen Primzahl-Modulus. , 1857 .

[45]  Rostislav I. Grigorchuk,et al.  An Example of an Indexed Language of Intermediate Growth , 1999, Theor. Comput. Sci..

[46]  É. Lucas,et al.  Sur les congruences des nombres eulériens et des coefficients différentiels des fonctions trigonométriques suivant un module premier , 1878 .

[47]  G. Tenenbaum.  Introduction to Analytic and Probabilistic Number Theory , 1995 .

[48]  E. Heine.  Der Eisensteinsche Satz über Reihen-Entwickelung algebraischer Functionen. , 1853 .

[49]  J. Shepherdson,et al.  Computer programming and formal systems , 1965 .

[50]  Jean-Paul Allouche,et al.  Note sur un article de Sharif et Woodcock , 1989 .

[51]  Michael Stoll,et al.  Rational and transcendental growth series for the higher Heisenberg groups , 1996 .

[52]  Jean-Paul Allouche,et al.  Facteurs des suites de Rudin-Shapiro généralisées , 1994 .

[53]  Jean-Paul Allouche,et al.  Sur la transcendance de la série formelle Π , 1990 .

[54]  B. M. Fulk.  MATH , 1992 .

[55]  B. Riemann,et al.  Gesammelte Mathematische Werke , 1990 .

[56]  C. Wall,et al.  Lie Algebras And Lie Groups , 1967, The Mathematical Gazette.

[57]  Jeffrey Shallit,et al.  Sur Des Points Fixes De Morphismes D'Un Monoïde Libre , 1989, RAIRO Theor. Informatics Appl..