Irrationality measure of formal power series - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T16:22:25Z http://mathoverflow.net/feeds/question/108864 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/108864/irrationality-measure-of-formal-power-series Irrationality measure of formal power series Richard Bonne 2012-10-04T22:27:13Z 2012-10-05T09:19:42Z <p>Hi everybody. I'm looking for an analogue of irrationality measure for formal power series with integer coefficient, the elements of $\mathbb{Z}[[x]]$. For any $f \in \mathbb{Z}[[x]]$ and positive integer $g$, I thought to define something like $$m_g(f) := \sup_{p,q} \mbox{ord}(f - p / q)$$ where $p,q \in \mathbb{Z}[x]$ satisfy $\deg p, \deg q \leq g$ and $q \neq 0$; $\mbox{ord}(h) := n_0$ for any formal Laurent series $h = \sum_{n=n_0}^\infty a_n x^n$ with $a_{n_0} \neq 0$ and $\mbox{ord}(0) := +\infty$. Note that $m_g(f)$ is finite for all $g$ if and only if $f$ is irrational, otherwise $m_g(f) = +\infty$ for $g$ sufficently large. Do you have any references on this? Thank you.</p> http://mathoverflow.net/questions/108864/irrationality-measure-of-formal-power-series/108869#108869 Answer by Gerry Myerson for Irrationality measure of formal power series Gerry Myerson 2012-10-04T23:00:14Z 2012-10-04T23:00:14Z <p>Going by what's in Math Reviews, these two papers might be relevant: </p> <p>Sandra Delaunay, Approximation diophantienne et distances ultramétriques non standard, Ann. Fac. Sci. Toulouse Math. (6) 14 (2005), no. 4, 629–661, MR2188586 (2006i:11085). </p> <p>Dinesh S. Thakur, Diophantine approximation in finite characteristic, in Algebra, arithmetic and geometry with applications (West Lafayette, IN, 2000), 757–765, Springer, Berlin, 2004, MR2037123 (2004m:11109). </p> http://mathoverflow.net/questions/108864/irrationality-measure-of-formal-power-series/108870#108870 Answer by Gjergji Zaimi for Irrationality measure of formal power series Gjergji Zaimi 2012-10-04T23:02:43Z 2012-10-04T23:10:36Z <p>I think you will enjoy the paper <a href="http://www.springerlink.com/content/j534776137785108/" rel="nofollow">"Irrationality of Power Series for Various Number Theoretic Functions"</a>, by W.D. Banks, F. Luca and I.E. Shparlinski. They use your $m_g$ as a measure of irrationality and give asymptotics on $m_g(f)$ for a variety of different power series $f$. They focus on power series with coefficients coming from arithmetic functions such as the Euler totient function, number of (prime, squarefree...) divisors, sum of divisors, Liouville function etc.</p> http://mathoverflow.net/questions/108864/irrationality-measure-of-formal-power-series/108901#108901 Answer by Richard Bonne for Irrationality measure of formal power series Richard Bonne 2012-10-05T09:19:42Z 2012-10-05T09:19:42Z <p>Note that thanks to Pade approximation we have $m_g(f) \geq 2g + 1$ for all $g \geq 1$ and $f \in \mathbb{Z}[[x]]$.</p>