{'fraction_non_alphanumeric': 0.08419838523644751, 'fraction_numerical': 0.011534025374855825, 'mean_word_length': 4.425, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 1, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A zero–infinity law for well-approximable points in Julia sets

Let T:J \to J be an expanding rational map of the Riemann sphere acting on its Julia set J and f:J\to \mathbb{R} denote a Hölder continuous function satisfying f(x) > \log|T^\prime(x)| for all x in J. Then for any point z_0 in J define the set D_{z_0}(f) of ‘well-approximable’ points to be the set of points in J which lie in the Euclidean ball B\bigg(y,\exp\bigg(-\sum_{i=0}^{n-1} f(T^iy)\bigg)\bigg) for infinitely many pairs (y,n) satisfying T^n(y)=z_0. In our 1997 paper, we calculated the Hausdorff dimension of D_{z_0} (f). In the present paper, we shall show that the Hausdorff measure \mathcal{H}^s of this set is either zero or infinite. This is in line with the general philosophy that all ‘naturally’ occurring sets of well-approximable points should have zero or infinite Hausdorff measure.