0a6fe0aa2f0243ad.tex
1: \begin{abstract}
2: In this paper we obtain the rates of convergence of the algorithms
3: given in \cite{[LLM3]} and \cite{[LLM4]}  for an automatic
4: computation of the centered Hausdorff and packing measures of a
5: totally disconnected self-similar set. We evaluate these rates
6: empirically through the numerical analysis of three standard
7: classes of self-similar sets, namely, the families of Cantor type
8: sets in the real line and the plane and the class of Sierpinski
9: gaskets. For these three classes and for small contraction ratios,
10: sharp bounds for the exact values of the corresponding measures
11: are obtained and it is shown how these bounds automatically yield
12: estimates of the corresponding measures, accurate in some cases to
13: as many as 14 decimal places. In particular, the algorithms
14: accurately recover the exact values of the measures in all cases
15: in which these values are known by geometrical arguments. Positive
16: results, which confirm some conjectural values  given in
17: \cite{[LLM3]} and \cite{[LLM4]} for the measures, are also
18: obtained for an intermediate range of larger contraction ratios.
19: We give an argument showing that, for this range of contraction
20: ratios, the problem is inherently computational in the sense that
21: any theoretical proof, such as those mentioned above, might be
22: impossible, so that in these cases, our method is the only
23: available approach. For contraction ratios close to those of the
24: connected case our computational method becomes intractably time
25: consuming, so the computation of the exact values of the packing
26: and centered Hausdorff measures in the general case, with the open
27: set condition, remains a challenging problem.
28: \end{abstract}
29: