Abstract: Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it is a rational function. We extend and strengthen their results to certain power series whose coefficients may form an infinite set. We also prove that if the coefficients of a univariate D-finite power series `look like' the coefficients of a rational function then the power series is rational. Our work relies on the theory of Weil heights, the Manin-Mumford theorem for tori, an application of the Subspace Theorem, and various combinatorial arguments involving heights, power series, and linear recurrence sequences.
Recommendations
- Power series with coefficients from a finite set
- D-finiteness, rationality, and height. II: Lower bounds over a set of positive density
- Rational dynamical systems, \(S\)-units, and \(D\)-finite power series
- Rational-transcendental dichotomy of power series with a restriction on coefficients
- D-finite power series
Cites work
- scientific article; zbMATH DE number 3871452 (Why is no real title available?)
- scientific article; zbMATH DE number 4033817 (Why is no real title available?)
- scientific article; zbMATH DE number 4079513 (Why is no real title available?)
- scientific article; zbMATH DE number 3654268 (Why is no real title available?)
- scientific article; zbMATH DE number 61203 (Why is no real title available?)
- scientific article; zbMATH DE number 1264924 (Why is no real title available?)
- scientific article; zbMATH DE number 1268810 (Why is no real title available?)
- scientific article; zbMATH DE number 1466163 (Why is no real title available?)
- scientific article; zbMATH DE number 1764837 (Why is no real title available?)
- scientific article; zbMATH DE number 812655 (Why is no real title available?)
- scientific article; zbMATH DE number 897262 (Why is no real title available?)
- scientific article; zbMATH DE number 2247920 (Why is no real title available?)
- A proof of Pisot's \(d\)th root conjecture
- A quantitative estimate for quasiintegral points in orbits
- A quantitative version of the Absolute Subspace Theorem
- Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier
- An Introduction to "G"-Functions. (AM-133)
- Basics on the theory of heights and its applications to certain Diophantine problems
- D-finite power series
- Differentiably finite power series
- Exponential diophantine equations
- Finiteness of integral values for the ratio of two linear recurrences
- On linear recurrence sequences with polynomial coefficients
- On the rational approximations to the powers of an algebraic number: solution of two problems of Mahler and Mendès France
- Power series with coefficients from a finite set
- Simultaneous approximation to algebraic numbers by rationals
Cited in
(16)- Power series with coefficients from a finite set
- A fusion variant of the classical and dynamical Mordell-Lang conjectures in positive characteristic
- Propriétés algébriques de suites différentiellement finies
- A general criterion for the Pólya-Carlson dichotomy and application
- Rational-transcendental dichotomy of power series with a restriction on coefficients
- On the Skolem problem and some related questions for parametric families of linear recurrence sequences
- D-finite multivariate series with arithmetic restrictions on their coefficients
- D-finiteness, rationality, and height. III: Multivariate Pólya-Carlson dichotomy
- Some structural results on \(\mathrm{D}^n\)-finite functions
- Differentially algebraic formal power series over fields of positive characteristic
- Rational dynamical systems, \(S\)-units, and \(D\)-finite power series
- D-finiteness, rationality, and height. II: Lower bounds over a set of positive density
- The diagonal of a D-finite power series is D-finite
- An analogue of Ruzsa's conjecture for polynomials over finite fields
- Height gap conjectures, \(D\)-finiteness, and a weak dynamical Mordell-Lang conjecture
- Adelic perturbation of rational functions and applications
This page was built for publication: D-finiteness, rationality, and height
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114751)
