Capabilities and limits of compact error resilience methods for algorithmic self-assembly in two and three dimensions

Abstract. Winfree's pioneering work led the foundations in the area of error-reduction in algorithmic self-assembly[26], but the construction resulted in in-crease of the size of assembly. Reif et. al. contributed further in this area with compact error-resilient schemes [15] that maintained the original size of the as-semblies, but required certain restrictions on the Boolean functions to be used in the algorithmic self-assembly. It is a critical challenge to improve these com-pact error resilient schemes to incorporate arbitrary Boolean functions, and to determine how far these prior results can be extended under different degrees of restrictions on the Boolean functions. In this work we present a consider-ably more complete theory of compact error-resilient schemes for algorithmic self-assembly in two and three dimensions. First we consider two-dimensional algorithmic self-assembly. We present an error correction scheme for reduction of errors from to 2 for arbitrary Boolean functions in two dimensional algo-rithmic self-assembly. Then we characterize the class of Boolean functions for which the error reduction can be done from to 3, and present an error correc-tion scheme that achieves this reduction. Then we prove ultimate limits on cer-tain classes of compact error resilient schemes: in particular we show that they can not provide reduction of errors from to 4 is for any Boolean functions. Further, we develop the rst provable compact error resilience schemes for three dimensional tiling self-assemblies. We also extend the work of Winfree on self-healing in two-dimensional self-assembly[25] to obtain a self-healing tile-set for three-dimensional self-assembly.