Sets of nondifferentiability for conjugacies between expanding interval maps

We study differentiability of topological conjugacies between expanding piecewise C1+ϵ interval maps. If these conjugacies are not C1, then their derivative vanishes Lebesgue almost everywhere. We show that in this case the Hausdorff dimension of the set of points for which the derivative of the conjugacy does not exist lies strictly between zero and one. Moreover, by employing the thermodynamic formalism, we show that this Hausdorff dimension can be determined explicitly in terms of the Lyapunov spectrum. These results then give rise to a “rigidity dichotomy” for the type of conjugacies under consideration.