Skip to main content
3 of 3
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Transcendence of values of Fredholm series at algebraic arguments

Let $d$ be an integer greater than $1$ and let $f(z)=\sum_{n\ge0}z^{d^n}$ be the Fredholm series. It is well-known that the Roth-Ridout theorem implies that $f(r)$ is a transcendental number for all non-zero rational $r$. By Mahler’s method, it is even true for any nonzero algebraic $r$. Can one extend the arguments of the proof based on the Roth-Ridout theorem to recover Mahler's result?

Thank you in advance.

joaopa
  • 4k
  • 1
  • 16
  • 21