Related papers: Expansions in completions of global function field…
A theorem of Christol states that a power series over a finite field is algebraic over the polynomial ring if and only if its coefficients can be generated by a finite automaton. Using Christol's result, we prove that the same assertion…
A famous result of Christol gives that a power series $F(t)=\sum_{n\ge 0} f(n)t^n$ with coefficients in a finite field $\mathbb{F}_q$ of characteristic $p$ is algebraic over the field of rational functions in $t$ if and only if there is a…
We give an automata-theoretic description of the algebraic closure of the rational function field F_q(t) over a finite field, generalizing a result of Christol. The description takes place within the Hahn-Mal'cev-Neumann field of…
We give a necessary and sufficient condition for a type of generalized power series to be algebraic over the ring of power series with coefficients in a finite field. This result extend a classical theorem of Huang-Stefanescu.
Christol's theorem states that a power series with coefficients in a finite field is algebraic if and only if its coefficient sequence is automatic. A natural question is how the size of a polynomial describing such a sequence relates to…
In connection with our previous work on semi-galois categories, this paper proves an arithmetic analogue of Christol's theorem concerning an automata-theoretic characterization of when a formal power series over finite field is algebraic…
Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of…
Christol's theorem characterises algebraic power series over finite fields in terms of finite automata. In a recent article, Bridy develops a new proof of Christol's theorem by Speyer, to obtain a tight quantitative version, that is, to…
Let $P, Q\in \mathbb{F}_q[X]\setminus\{0\}$ be two coprime polynomials over the finite field $\mathbb{F}_q$ with $\operatorname{deg}{P} > \operatorname{deg}{Q}$. We represent each polynomial $w$ over $\mathbb{F}_q$ by…
We study $\alpha$-adic expansions of numbers in an extension field, that is to say, left infinite representations of numbers in the positional numeration system with the base $\alpha$, where $\alpha$ is an algebraic conjugate of a Pisot…
We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely…
In this paper we give a general upper bound for the irrationality exponent of algebraic Laurent series with coefficients in a finite field. Our proof is based on a method introduced in a different framework by Adamczewski and Cassaigne. It…
The $\beta\gamma$ system is generalized by complex(rational) powers of the fields, which leads to a corresponding extension on the Fock space. Two different approaches to compute the Green functions of the physical operators are proposed.…
In this paper we first obtain the genus field of a finite abelian non-Kummer $l$--extension of a global rational function field. Then, using that the genus field of a composite of two abelian extensions of a global rational function field…
We show the finiteness of perfect powers in orbits of polynomial dynamical systems over an algebraic number field. We also obtain similar results for perfect powers represented by ratios of consecutive elements in orbits. Assuming the…
In this paper we obtain the extended genus field of a finite abelian extension of a global rational function field. We first study the case of a cyclic extension of prime power degree. Next, we use that the extended genus fields of a…
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…
In this paper we study the topology of a set naturally arising from the study of $\beta$-expansions. After proving several elementary results for this set we study the case when our base is Pisot. In this case we give necessary and…
Let $K$ be a field of characteristic $p>0$ and let $f(t_1,...,t_d)$ be a power series in $d$ variables with coefficients in $K$ that is algebraic over the field of multivariate rational functions $K(t_1,...,t_d)$. We prove a generalization…
We give a criterium of holomorphy for some type formal power series. This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions.