Analyticity of the total ancestor potential in singularity theory

K. Saito's theory of primitive forms gives a natural semi-simple Frobenius manifold structure on the space of miniversal deformations of an isolated singularity. On the other hand, Givental introduced the notion of a total ancestor potential for every semi-simple point of a Frobenius manifold and conjectured that in the settings of singularity theory his definition extends analytically to non-semisimple points as well. In this paper we prove Givental's conjecture by using the Eynard--Orantin recursion.