We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially transcendental over the ring of convergent power series. Our results apply, in particular, to the exponential generating function of a sequence arising from work of Shadrin and Zvonkine on Hurwitz numbers.
"Julia’s equation and differential transcendence." Illinois J. Math. 59 (2) 277 - 294, Summer 2015. https://doi.org/10.1215/ijm/1462450701