The existential closedness problem for a function $f$ is to show that a system of complex polynomials in $2 n$ variables always has solutions in the graph of $f$, except when there is some geometric obstruction. Special cases have be proven for exp, Weierstrass $\wp$ functions, the Klein $j$ function, and other important functions in arithmetic geometry using a variety of techniques. Recently, some special cases have also been studied for well-known solutions of difference equations using different methods. There is potential to expand on these results by adapting the strategies used to prove existential closedness results for functions in arithmetic geometry to work for analytic solutions of difference equations.[-]

(joint work with Ehud Hrushovski, Jinhe Ye and Tingxiang Zou)
We prove Lang-Weil type bounds for the number of rational points of difference varieties over finite difference fields, in terms of the transformal dimension of the variety and assuming the existence of a smooth rational point. It follows that in (certain) non-principle ultraproducts of finite difference fields the course dimension of a quantifier free type equals its transformal tran-scendence degree.
The proof uses a strong form of the Lang-Weil estimates and, as key ingredi-ent to obtain equidimensional Frobenius specializations, the recent work of Dor and Hrushovski on the non-standard Frobenius acting on an algebraically closed non-trivially valued field, in particular the pure stable embeddedness of the residue difference field in this context.[-]