Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic

Abstract : We revisit Christol's theorem on algebraic power series in positive characteristic and propose yet another proof for it. This new proof combines several ingredients and advantages of existing proofs, which make it very well-suited for algorithmic purposes. We apply the construction used in the new proof to the design of a new efficient algorithm for computing the $N$th coefficient of a given algebraic power series over a perfect field of characteristic~$p$. It has several nice features: it is more general, more natural and more efficient than previous algorithms. Not only the arithmetic complexity of the new algorithm is linear in $\log N$ and quasi-linear in~$p$, but its dependency with respect to the degree of the input is much smaller than in the previously best algorithm. {Moreover, when the ground field is finite, the new approach yields an even faster algorithm, whose bit complexity is linear in $\log N$ and quasi-linear in~$\sqrt{p}$}.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Xavier Caruso <>
Submitted on : Friday, June 15, 2018 - 10:58:11 AM
Last modification on : Wednesday, November 20, 2019 - 1:55:32 AM
Long-term archiving on: Monday, September 17, 2018 - 4:58:17 PM


Files produced by the author(s)


  • HAL Id : hal-01816375, version 1
  • ARXIV : 1806.06543


Alin Bostan, Xavier Caruso, Gilles Christol, Philippe Dumas. Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic. Thirteenth Algorithmic Number Theory Symposium ANTS-XIII, Jul 2018, Madison, United States. ⟨hal-01816375⟩



Record views


Files downloads