Katok [Lyapunov exponents, entropy and periodic points of diffeomorphisms. Publ. Math. Inst. Hautes Études Sci. 51 (1980), 137–173] conjectured that every $C^{2}$ diffeomorphism f on a Riemannian manifold has the intermediate entropy property, that is, for any constant $c \in [0, h_{\mathrm {top}}(f))$, there exists an ergodic measure $\mu $ of f satisfying $h_{\mu }(f)=c$. In this paper, we obtain a conditional intermediate metric entropy property and two conditional intermediate Birkhoff average properties for basic sets of flows that characterize the refined roles of ergodic measures in the invariant ones. In this process, we establish a ‘multi-horseshoe’ entropy-dense property and use it to get the goal combined with conditional variational principles. We also obtain the same result for singular hyperbolic attractors.

For a $C^1$ non-conformal repeller, this paper proves that there exists an ergodic measure of full Carathéodory singular dimension. For an average conformal hyperbolic set of a $C^1$ diffeomorphism, this paper constructs a Borel probability measure (with support strictly inside the repeller) of full Hausdorff dimension. If the average conformal hyperbolic set is of a $C^{1+\alpha }$ diffeomorphism, this paper shows that there exists an ergodic measure of maximal dimension.

We study the billiard dynamics in annular tables between two eccentric circles. As the center and the radius of the inner circle changes, a two-parameters map is defined by the first return of trajectories to the obstacle. We obtain an increasing family of hyperbolic sets, in the sense of the Hausdorff distance, as the radius goes to zero and the center of the obstacle approximates the outer boundary. The dynamics on each of these sets is conjugate to a shift with an increasing number of symbols. We also show that for many parameters, the system presents quadratic homoclinic tangencies whose bifurcation gives rise to elliptical islands (conservative Newhouse phenomenon). Thus, for many parameters, we obtain the coexistence of a ‘large’ hyperbolic set with many elliptical islands.