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

Automatic congruences for diagonals of rational functions
TLDR
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
  • S. Yurkevich
  • Mathematics
    Transcendence 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"
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
TLDR
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
TLDR
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
Congruences modulo cyclotomic polynomials and algebraic independence for $q$-series
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
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
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
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
Algebraic power series and diagonals
On vanishing coefficients of algebraic power series over fields of positive characteristic
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☆
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
On the transcendence of certain series
Transcendence of Formal Power Series with Rational Coefficients
Algebraic elements in formal power series rings
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
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
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
Differentiably Finite Power Series
Globally bounded solutions of differential equations
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 :
...
...