A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products

2023/06/05 by Adamczewski, Boris, Bostan, Alin, Caruso, Xavier · 2 citations
#FOS: Computer and information sciences #FOS: Mathematics #Number Theory (math.NT) #Symbolic Computation (cs.SC)

paper · doi:10.48550/arxiv.2306.02640

Abstract

We provide a new proof of the multivariate version of Christol's theorem about algebraic power series with coefficients in finite fields, as well as of its extension to perfect ground fields of positive characteristic obtained independently by Denef and Lipshitz, Sharif and Woodcok, and Harase. Our proof is elementary, effective, and allows for much sharper estimates. We discuss various applications of such estimates, in particular to a problem raised by Deligne concerning the algebraicity degree of reductions modulo p of diagonals of multivariate algebraic power series with integer coefficients.

Cited by

• On the generating series of the degree sequence
• Single-exponential bounds for diagonals of D-finite power series

Related

• A note on Christol's theorem
• Computing the n-th coefficient of an algebraic power series modulo p in O(log n) operations
• Diagonal Representation of Algebraic Power Series: A Glimpse Behind the\n Scenes
• A refinement of Christol's theorem for algebraic power series
• Semi-galois Categories II: An arithmetic analogue of Christol's theorem