Abstract:We study the problem of determining the size of the smallest tile set that uniquely self-assembles into a given target shape in Winfree's abstract Tile Assembly Model (aTAM), an elegant theoretical model of DNA tile self-assembly. This problem is also known as the "directed tile complexity" problem. We prove two main results related to the directed tile complexity problem within a variant of the aTAM in which the minimum binding strength threshold (temperature) is set to 1. For our first result, self-assembly happens in a "just-barely 3D" setting, where self-assembling unit cubes are allowed to be placed in the and planes. This is the same setting in which Furcy, Summers and Withers (DNA 2021) recently proved lower and upper bounds on the directed tile complexity of a just-barely 3D rectangle at temperature 1 of and , respectively, the latter of which does not hold for . Our first result closes this gap for by proving an asymptotically tight bound of on the directed tile complexity of a just-barely 3D rectangle at temperature 1. Our proof uses a novel process by which a just-barely 3D assembly sequence is "unfolded" to an equivalent 2D assembly sequence. For our second result, we use the aforementioned lower bound by Furcy, Summers and Withers and a novel process that is complementary-in-spirit to our 3D-to-2D unfolding process, by which we "fold" a 2D tile assembly to an equivalent just-barely 3D assembly to prove a new lower bound on the directed tile complexity of a 2D rectangle at temperature 1 of . For fixed k , our new bound gives a nearly quadratic improvement over, and matches for general even values of the state of the art lower bound on the directed tile complexity of a rectangle at temperature 1 by Furcy, Summers and Wendlandt (DNA 2019) of . While both of our results represent improvements over previous corresponding state of the art results, the proofs thereof are facilitated by novel examples of reasoning about tile self-assembly happening in 2D (just-barely 3D) as though it is happening in just-barely 3D (2D).

Soft cells, Kelvin's foam and the minimal surface of Schwarz

Soft cells and the geometry of seashells

Study on basic cells of new polyhedron spatial frames

Minkowski Bisectors, Minkowski Cells and Lattice Coverings

The Honeycomb Conjecture in normed planes and an alpha-convex variant of a theorem of Dowker

Evaluation of Cellular Solids Derived from Triply Periodic Minimal Surfaces

Classification of Cellular Fake Surfaces

Curved Space-Filling Tiles Using Voronoi Decomposition with Line, and Curve Segments Closed Under Wallpaper Symmetries

Metallic mean Wang tiles II: the dynamics of an aperiodic computer chip

Remarks on soft ball packings in dimensions 2 and 3

On the edge densities of convex mosaics

Modifying the liquid crystalline chessboard tiling - Soft reticular self-assembly of side-chain fluorinated polyphiles

Proving new directed tile complexity lower bounds at temperature 1 by folding between 2D and just-barely 3D self-assembly

Thin links and Conway spheres

Soft Rectangular Sub‐5 Nm Tiling Patterns by Liquid Crystalline Self‐Assembly of T‐Shaped Bolapolyphiles

On bounded Wang tilings

Alternating links, rational balls, and cube tilings

Soft closure spaces via soft ideals

Phyllotaxis: a framework for foam topological evolution

A two-dimensional vertex model for curvy cell-cell interfaces at the subcellular scale

Evolving, complex topography from combining centers of Gaussian curvature