630 likes | 646 Views
This paper explores the staged self-assembly process to create complex nanostructures using a minimal number of glues. The goal is to efficiently build target shapes with low bin and stage complexity.
E N D
Staged Self-Assembly: Nanomanufacture of Arbitrary Shapes with O(1) Glues Thirteenth International Meeting on DNA Computers June 5, 2007 Eric Demaine Massachusetts Institute of Technology Martin Demaine Massachusetts Institute of Technology Sandor Fekete Technische Universität Braunschweig Mashood Ishaque Tufts University Eynat Rafalin Google Robert SchwellerUniversity of Texas Pan American Diane Souvaine Tufts University
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = Glue Function: Tile Set: Temperature:
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d a b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d a b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d a b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d a b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e d a b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T = e x d a b c
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e e x d a b c G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T =
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e e x x d a b c G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T =
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e x e x x d a b c G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T =
Tile Assembly Model (Rothemund, Winfree, Adleman) a b c x d e x x e x x d a b c G(y) = 2 G(g) = 2 G(r) = 2 G(b) = 2 G(p) = 1 G(w) = 1 t = 2 T =
Non-Staged Assembly BEAKER Start with initial Tileset • Assembly occurs within 1 single container • - Assembly occurs within 1 single stage
Non-Staged Assembly BEAKER BEAKER After some time... Start with initial Tileset Various Producible Supertiles exist in solution • Assembly occurs within 1 single container • - Assembly occurs within 1 single stage
Non-Staged Assembly BEAKER BEAKER BEAKER After some time... After enough time... Start with initial Tileset Various Producible Supertiles exist in solution Only Terminally Produced assemblies remain • Assembly occurs within 1 single container • - Assembly occurs within 1 single stage
Staged Assembly • Pour multiple bins into a single bin
Staged Assembly • Pour multiple bins into a single bin • Split contents of any given bin among multiple new bins
Staged Assembly • Pour multiple bins into a single bin • Split contents of any given bin among multiple new bins
Staged Assembly • Assembly occurs in a sequence of stages, and assemblies can be separated into separate bins Bin Complexity: 4 Mix pattern: Stage Complexity: 3
Staged Assembly • Assembly occurs in a sequence of stages, and assemblies can be separated into separate bins Bin Complexity: 4 Bins = Space Complexity Stages = Time Complexity Stage Complexity: 3
Staged Assembly • Our Goal: Given a target shape, design mixing algorithms that: • Use only O(1) tiles/glues to build target shape. • Are efficient in terms of: • Bin complexity • Stage complexity. • Assembly occurs in a sequence of stages, and assemblies can be separated into separate bins Bin Complexity: 4 Stage Complexity: 3
Simple Example: 1 x n line stage i stage i+3
Simple Example: 1 x n line stage i stage i+3 Staged Assembly 1 x n line
Simple Example: 1 x n line stage i stage i+3 Staged Assembly 1 x n line Non-Staged Model 1 x n line
n x n Square Staged Assembly n x n square Base Case 1 x n line: Use line algorithm
n x n Square: FullConnectivity [Rothemund, Winfree STOC 2000] FullConnectivity Constraint: All adjacent tiles in assembled shape must share a full strength bond
n x n Square: FullConnectivity FullConnectivity Constraint: All adjacent tiles in assembled shape must share a full strength bond
n x n Square: FullConnectivity FullConnectivity Constraint: All adjacent tiles in assembled shape must share a full strength bond Shifting Problem
n x n Square: FullConnectivity FullConnectivity Constraint: All adjacent tiles in assembled shape must share a full strength bond Jigsaw Technique: Use Geometry to enforce proper binding. Shifting Problem
n x n Square: FullConnectivity FullConnectivity Constraint: All adjacent tiles in assembled shape must share a full strength bond Jigsaw Technique: Use Geometry to enforce proper binding.
n x n Square: FullConnectivity FullConnectivity Constraint: All adjacent tiles in assembled shape must share a full strength bond Jigsaw Technique: Use Geometry to enforce proper binding.
n x n Square: FullConnectivity Staged Assembly Fully Connected n x n square Non-Staged Model Fully Connected n x n square [adleman, cheng, goel, huang STOC 2001]
Arbitrary Shapes • Spanning Tree Method • Jigsaw Method for non-hole Shapes • Simulation Method
Simulate Large Tilesets 0000 0001 0010 0011 0100 0101 0110
Simulate Large Tilesets 0000 0001 0 0010 0011 1 0100 0101 0110