Algebro-geometric proof of Christoph's Theorem

2023/11/30 by Malev, Sergey, Zhilina, Anastasiia
#Algebraic Geometry (math.AG) #FOS: Mathematics

paper · doi:10.48550/arxiv.2311.18766

Abstract

In this paper an algebraic proof of Christoph's theorem is provided. This theorem from algebraic-geometry is about the existence of a finite automaton for computing coefficient of a series for an algebraic function.

Related

• A note on Christol's theorem
• Algebraic Generalized Power Series and Automata
• A refinement of Christol's theorem for algebraic power series
• A simple and efficient algorithm for computing the Baker-Campbell-Hausdorff series
• Algebraic power series and their automatic complexity II: modulo prime powers