On exponential separation of analytic self-conformal sets on the real line

In a recent article, Rapaport showed that there is no dimension drop for exponentially separated analytic IFSs on the real line. We show that the set of such exponentially separated IFSs in the space of analytic IFSs contains an open and dense set in the ${\mathcal{C}}^2$ topology. Moreover, we give a sufficient condition for the IFS to be exponentially separated which allows us to construct explicit examples which are exponentially separated. The key technical tool is the introduction of the \emph{dual IFS} which we believe has significant interest in its own right. As an application we also characterise when an analytic IFS can be conjugated to a self-similar IFS.