Dimension bounds for invariant measures of bi-Lipschitz iterated function systems

We study probabilistic iterated function systems (IFS), consisting of a finite or infinite number of average-contracting bi-Lipschitz maps on Rd. If our strong open set condition is also satisfied, we show that both upper and lower bounds for the Hausdorff and packing dimensions of the invariant measure can be found. Both bounds take on the familiar form of ratio of entropy to the Lyapunov exponent.