Undecidable Properties of Self-affine Sets and Multi-tape Automata

  • Timo Jolivet
  • Jarkko Kari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8634)

Abstract

We study the decidability of the topological properties of some objects coming from fractal geometry. We prove that having empty interior is undecidable for the sets defined by two-dimensional graph-directed iterated function systems. These results are obtained by studying a particular class of self-affine sets associated with multi-tape automata. We first establish the undecidability of some language-theoretical properties of such automata, which then translate into undecidability results about their associated self-affine sets.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barnsley, M.F.: Fractals everywhere, 2nd edn. Academic Press Professional, Boston (1993)MATHGoogle Scholar
  2. 2.
    Bedford, T.: Crinkly curves, Markov partitions and box dimensions in self-similar sets. Ph.D. thesis, University of Warwick (1984)Google Scholar
  3. 3.
    Bondarenko, I.V., Kravchenko, R.V.: On Lebesgue measure of integral self-affine sets. Discrete Comput. Geom. 46(2), 389–393 (2011)CrossRefMATHMathSciNetGoogle Scholar
  4. 4.
    Csörnyei, M., Jordan, T., Pollicott, M., Preiss, D., Solomyak, B.: Positive-measure self-similar sets without interior. Ergodic Theory Dynam. Systems 26(3), 755–758 (2006)CrossRefMATHMathSciNetGoogle Scholar
  5. 5.
    Dube, S.: Undecidable problems in fractal geometry. Complex Systems 7(6), 423–444 (1993)MATHMathSciNetGoogle Scholar
  6. 6.
    Falconer, K.: Techniques in fractal geometry. John Wiley & Sons Ltd., Chichester (1997)Google Scholar
  7. 7.
    Falconer, K.: Fractal geometry, 2nd edn. Mathematical Foundations and Applications. John Wiley & Sons Inc., Hoboken (2003)Google Scholar
  8. 8.
    Fraser, J.M.: Dimension theory and fractal constructions based on self-affine carpets. Ph.D. thesis, The University of St Andrews (2013)Google Scholar
  9. 9.
    Gabardo, J.P., Yu, X.: Natural tiling, lattice tiling and Lebesgue measure of integral self-affine tiles. J. London Math. Soc. (2) 74(1), 184–204 (2006)Google Scholar
  10. 10.
    Hutchinson, J.E.: Fractals and self-similarity. Indiana Univ. Math. J. 30(5), 713–747 (1981)CrossRefMATHMathSciNetGoogle Scholar
  11. 11.
    Lagarias, J.C., Wang, Y.: Self-affine tiles in \(\mathbf R^n\). Adv. Math. 121(1), 21–49 (1996)CrossRefMATHMathSciNetGoogle Scholar
  12. 12.
    Lai, C.K., Lau, K.S., Rao, H.: Spectral structure of digit sets of self-similar tiles on ℝ1. Trans. Amer. Math. Soc. 365(7), 3831–3850 (2013)CrossRefMATHMathSciNetGoogle Scholar
  13. 13.
    McMullen, C.: The Hausdorff dimension of general Sierpiński carpets. Nagoya Math. J. 96, 1–9 (1984)MATHMathSciNetGoogle Scholar
  14. 14.
    Post, E.L.: A variant of a recursively unsolvable problem. Bull. Amer. Math. Soc. 52, 264–268 (1946)CrossRefMATHMathSciNetGoogle Scholar
  15. 15.
    Wang, Y.: Self-affine tiles. In: Advances in Wavelets (Hong Kong, 1997), pp. 261–282. Springer, Singapore (1999)Google Scholar

Copyright information

© Springer-Verlag GmbH Berlin Heidelberg 2014

Authors and Affiliations

  • Timo Jolivet
    • 1
    • 2
  • Jarkko Kari
    • 1
  1. 1.Department of MathematicsUniversity of TurkuFinland
  2. 2.LIAFAUniversité Paris DiderotFrance

Personalised recommendations