# Diagonalization and Rationalization of algebraic Laurent series

@article{Adamczewski2012DiagonalizationAR, title={Diagonalization and Rationalization of algebraic Laurent series}, author={Boris Adamczewski and Jason P. Bell}, journal={arXiv: Number Theory}, year={2012} }

We prove a quantitative version of a result of Furstenberg and Deligne stating that the the diagonal of a multivariate algebraic power series with coefficients in a field of positive characteristic is algebraic. As a consequence, we obtain that for every prime $p$ the reduction modulo $p$ of the diagonal of a multivariate algebraic power series $f$ with integer coefficients is an algebraic power series of degree at most $p^{A}$ and height at most $A^2p^{A+1}$, where $A$ is an effective constant…

## Figures from this paper

## 34 Citations

Automatic congruences for diagonals of rational functions

- Mathematics, Computer ScienceArXiv
- 2013

This paper provides a method for computing a finite automaton for the sequence modulo $p^\alpha$ for all but finitely many primes $p$, and gives completely automatic proofs of known results.

Diagonal Representation of Algebraic Power Series: A Glimpse Behind the Scenes

- MathematicsTranscendence in Algebra, Combinatorics, Geometry and Number Theory
- 2021

There are many viewpoints on algebraic power series, ranging from the abstract ring-theoretic notion of Henselization to the very explicit perspective as diagonals of certain rational functions. To…

Algebraic independence of G-functions and congruences "à la Lucas"

- MathematicsAnnales scientifiques de l'École normale supérieure
- 2019

We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential…

A note on Christol's theorem

- MathematicsArXiv
- 2019

An elementary approach, based on diagonals of bivariate rational functions, provides essentially the same bounds as Christol's theorem, which characterises algebraic power series over finite fields in terms of finite automata.

Automatic Sequences and Curves over Finite Fields

- Mathematics, Computer Science
- 2016

The approach follows the idea of David Speyer to connect automata theory with algebraic geometry by representing the transitions in an automaton as twisted Cartier operators on the differentials of a curve.

Algebraic diagonals and walks: Algorithms, bounds, complexity

- Mathematics, Computer ScienceJ. Symb. Comput.
- 2017

Congruences modulo cyclotomic polynomials and algebraic independence for $q$-series

- Mathematics
- 2017

We prove congruence relations modulo cyclotomic polynomials for multisums of $q$-factorial ratios, therefore generalizing many well-known $p$-Lucas congruences. Such congruences connect various…

Local zero estimates and effective division in rings of algebraic power series

- Mathematics
- 2014

We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact we show that this condition is…

The classical Artin approximation theorems

- Mathematics
- 2017

The various Artin approximation theorems assert the existence of power series solutions of a certain quality Q (i.e., formal, analytic, algebraic) of systems of equations of the same quality Q,…

THE CLASSICAL ARTIN APPROXIMATION THEOREMS

- Mathematics
- 2017

The various Artin approximation theorems assert the existence of power series solutions of a certain quality Q (i.e., formal, analytic, algebraic) of systems of equations of the same quality Q,…

## References

SHOWING 1-10 OF 35 REFERENCES

On vanishing coefficients of algebraic power series over fields of positive characteristic

- Mathematics
- 2012

Let K be a field of characteristic p>0 and let f(t1,…,td) be a power series in d variables with coefficients in K that is algebraic over the field of multivariate rational functions K(t1,…,td). We…

Transcendence of Binomial and Lucas' Formal Power Series☆

- Mathematics
- 1998

Abstract The formal power series[formula]is transcendental over Q (X) whentis an integer ≥ 2. This is due to Stanley forteven, and independently to Flajolet and to Woodcock and Sharif for the general…

Transcendence of Formal Power Series with Rational Coefficients

- MathematicsTheor. Comput. Sci.
- 1999

Algebraic elements in formal power series rings

- Mathematics
- 1988

We obtain a theorem giving a condition for algebraicity of an element in a formal power series field of characteristicp>0. Using it many results can be proved, for example, the “theorem of the…

Elliptic Functions and Transcendence

- Mathematics
- 2008

Transcendental numbers form a fascinating subject: so little is known about the nature of analytic constants that more research is needed in this area. Even when one is interested only in numbers…

Algebraic functions over a eld of pos-itive characteristic and Hadamard products

- Mathematics
- 1988

We give a characterization of algebraic functions over a field of positive characteristic and we then deduce that the Hadamard product of two algebraic series in several commutative variables over a…

Globally bounded solutions of differential equations

- Mathematics
- 1990

The aim of this paper is to give an account of some results and conjectures involving “for almost all p” properties of power series. Our main concern is to exhibit links between three topics :…