Complex tilings

  • Authors:
  • Bruno Durand;Leonid Levin;Alexander Shen

  • Affiliations:
  • Laboratoire d'Informatique de, Marseille - CMI, 39, rue Joliot-Curie, 13453 Marseille, France;Boston University, Computer Science department, 111 Cummington St., Boston, MA;Institute of Problems of Information Transmission, Moscow, Russia

  • Venue:
  • STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the minimal complexity of tilings of a plane with a given tile set. We note that any tile set admits either no tiling or some tiling with \ooo(n) Kolmogorov complexity of its (n\times n)-squares. We construct tile sets for which this bound is nearly tight: all tilings have complexity n/r(n), given any unbounded computable monotone r. This adds a quantitative angle to classical results on non-recursivity of tilings -- that we also develop in terms of Turing degrees of unsolvability.