Cambridge Institute for Manufacturing Centre for Technology Management David Probert
David DotyCalifornia Institute of Technology
description
Transcript of David DotyCalifornia Institute of Technology
![Page 1: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/1.jpg)
1
David Doty California Institute of TechnologyMatthew J. Patitz University of Texas Pan-AmericanDustin Reishus University of Southern CaliforniaRobert Schweller University of Texas Pan-AmericanScott M. Summers University of Wisconsin-Platteville
FOCS 2010October 25, 2010
Strong Fault-Tolerance for Self-Assembly with Fuzzy Temperature
![Page 2: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/2.jpg)
2
Outline
• Basic Tile Assembly Model• Fuzzy Fault Tolerance• Efficient, Fault Tolerant Results
![Page 3: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/3.jpg)
3
Tile Assembly Model(Rothemund, Winfree, Adleman)
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
Tile Set:
Glue Function:
Temperature:
x ed
cba
![Page 4: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/4.jpg)
4
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
d
e
x ed
cba
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 5: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/5.jpg)
5
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2d
e
x ed
cba
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 6: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/6.jpg)
6
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2d
e
x ed
cba
b c
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 7: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/7.jpg)
7
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2d
e
x ed
cba
b c
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 8: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/8.jpg)
8
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2d
e
x ed
cba
b c
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 9: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/9.jpg)
9
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2d
e
x ed
cba
b ca
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 10: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/10.jpg)
10
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2d
e
x ed
cba
b ca
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 11: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/11.jpg)
11
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2d
e
x ed
cba
b ca
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 12: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/12.jpg)
12
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2d
e
x ed
cba
b ca
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 13: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/13.jpg)
13
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
x ed
cba
a b c
d
e
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 14: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/14.jpg)
14
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
x ed
cba
x
a b c
d
e
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 15: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/15.jpg)
15
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
a b c
d
e
x
x ed
cba
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 16: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/16.jpg)
16
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
x ed
cba
a b c
d
e
x x
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 17: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/17.jpg)
17
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
x ed
cba
a b c
d
e
x x
x
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 18: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/18.jpg)
18
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
x ed
cba
a b c
d
e
x x
x x
Tile Assembly Model(Rothemund, Winfree, Adleman)
![Page 19: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/19.jpg)
19
Outline
• Basic Tile Assembly Model• Errors!• Fuzzy Fault Tolerance• Efficient, Fault Tolerant Results
![Page 20: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/20.jpg)
ab
c stable attemperature 2
stable attemperature 2
unstable attemperature 2
a
b d
a
b d
ab
c
cd
a
b d
ab
cd
c
ab
c
ax
ca
b d
a
b d
ax
c
ax
c
a
b d
ideal cooperative binding: tile attaches to assembly if and only if it interacts with strength ≥ 2 (such as two matching strength-1 glues)
![Page 21: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/21.jpg)
stable attemperature 1 = temporarily stable at temperature 2
stable at temperature 2 but not producible at temperature 2
a
b d
ax
c
ax
ca
b d
a
b d
ax
c
cd
cd
more realistic kinetic model: tile attaches to assembly but detaches "quickly" if attached with only strength 1 (and detaches "slowly" if attached with strength 2)
• insufficient attachment...
becomes stabilized by subsequent attachment: permanent error!
![Page 22: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/22.jpg)
22
Outline
• Basic Tile Assembly Model• Errors!• Fuzzy Fault Tolerance• Efficient, Fault Tolerant Results
![Page 23: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/23.jpg)
· Dependably producible (DP): the set of supertiles that can be assembled at temperature = 2
a b c
d
e
x x
a b cdex xx x
dex
b
![Page 24: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/24.jpg)
· Dependably producible (DP): the set of supertiles that can be assembled at temperature = 2
· Dependably terminal (DT): the subset of DP supertiles that are terminal at temperature = 2
a b c
d
e
x x
a b cdex xx x
dex
b
a b cdex xx x
![Page 25: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/25.jpg)
· Dependably producible (DP): the set of supertiles that can be assembled at temperature = 2
· Dependably terminal (DT): the subset of DP supertiles that are terminal at temperature = 2
· Plausibly producible (PP): the set of supertiles that can be assembled at temperature = 1
a b c
d
e
x x
a b cdex xx x
dex
b
a b cdex xx x
a b cdex xx x x x x
x
a b cdex xx x
x x
xx
xx xx
![Page 26: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/26.jpg)
· Dependably producible (DP): the set of supertiles that can be assembled at temperature = 2
· Dependably terminal (DT): the subset of DP supertiles that are terminal at temperature = 2
· Plausibly producible (PP): the set of supertiles that can be assembled at temperature = 1
· Plausibly stable (PS): the set of supertiles in PP that are stable at temperature = 2
a b c
d
e
x x
a b cdex xx x
dex
b
a b cdex xx x
a b cdex xx x x x x
x
a b cdex xx x
x x
xx
xx xx
a b cdex xx x
x x
xx
xx xx
![Page 27: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/27.jpg)
The Fuzzy Temperature Fault-Tolerance Design Problem
Given a target shape X, design a tile set such that:•Every PS supertile can grow into a DT supertile•Every DT supertile has the shape X
0 1 2
1
2
0 1 2
1
2
0 1 2
1
2
Tile set Desired shape Avoid this:
![Page 28: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/28.jpg)
28
Goal:
• Design an efficient tile system for the assembly of a n x n square that is fuzzy fault tolerant.
• Result: O(log n) tile complexity construction for n x n squares that is fuzzy fault tolerant.
![Page 29: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/29.jpg)
29
T = G(y) = 2G(g) = 2G(r) = 2G(b) = 2G(p) = 1G(w) = 1
t = 2
x ed
cba
a b c
d
e
x x
x x
Square Building
![Page 30: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/30.jpg)
30
Square Building: Normal Approach
n
![Page 31: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/31.jpg)
31
Square Building
x
Tile Complexity:2n
n
![Page 32: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/32.jpg)
Square Building
0 0 00
log n
-Use log n tile types to seedcounter:
![Page 33: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/33.jpg)
Square Building
0 0 00
log n
-Use 8 additional tile types capable of binary counting:
-Use log n tile types capable ofBinary counting:
![Page 34: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/34.jpg)
Square Building
0 0 00
log n
000000 00
1 0 101 1 001 1 100 0 00 11 01
111
1
000 1
-Use 8 additional tile types capable of binary counting:
-Use log n tile types capable ofBinary counting:
![Page 35: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/35.jpg)
Square Building
0 0 00000000
000 00
1 0 101 1 001 1 100 0 010 0 110 1 010 1 111 0 011 0 11
1 1 111 1 01
1111
1
-Use 8 additional tile types capable of binary counting:
-Use log n tile types capable ofBinary counting:
log n
![Page 36: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/36.jpg)
Square Building
0 0 00000000
000 00
1 0 101 1 001 1 100 0 010 0 110 1 010 1 111 0 011 0 11
1 1 111 1 01
1111
1
0000
1000
0100
1100
0010
1010
0110
1110
0001
1001
0101
1101
0011
1011
0111
1111
-Use 8 additional tile types capable of binary counting:
-Use log n tile types capable ofBinary counting:
![Page 37: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/37.jpg)
Square Building
0 0 00000000
000 00
1 0 101 1 001 1 100 0 010 0 110 1 010 1 111 0 011 0 11
1 1 111 1 01
1111
1
0000
1000
0100
1100
0010
1010
0110
1110
0001
1001
0101
1101
0011
1011
0111
1111
n – log n
log n
x
y
Tile Complexity:O(log n)
(Rothemund, Winfree 2000)
![Page 38: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/38.jpg)
A Fuzzy Fault Tolerant Counter?
• A counter seems important for efficient assembly of n x n squares
• Current counter constructions are not fuzzy fault tolerant
0 0 0 1
0
0 0 0 0
1 0
c
000
10 c
0
1
n c
1
n
0
0 1
nnnn
0 1
![Page 39: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/39.jpg)
[Barish, Shulman, Rothemund, Winfree, 2009]
![Page 40: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/40.jpg)
40
Outline
• Basic Tile Assembly Model• Errors!• Fuzzy Fault Tolerance• Efficient, Fault Tolerant Results
![Page 41: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/41.jpg)
Strength-2 growth is error-free
Idea: use nondeterministic strength-2 growth to guess numbers in counter and use geometric blocking (“steric hindrance”) to ensure they only come together in proper places.
Strength-1 bonds used to enforce bumps are present when binding occurs
Strength-2 bonds Strength-1 bonds
![Page 42: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/42.jpg)
Previous Tile Set Not Fault Tolerant
Producible at temperature 1 but stable (and erroneous) at temperature 2
![Page 43: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/43.jpg)
Add more synchronization
Each counter column is composed of 2 sub-columns, each which contributes a single strength bond at the top.
Each must be fully complete for them to bind.
Strength-1 glue
Strength-2 glue
![Page 44: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/44.jpg)
Fuzzy Temperature Fault-Tolerant Counter
![Page 45: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/45.jpg)
Square Composed of One Horizontal Counter and Multiple Copies of Vertical Counter
![Page 46: David DotyCalifornia Institute of Technology](https://reader035.fdocuments.in/reader035/viewer/2022062520/56816149550346895dd0c578/html5/thumbnails/46.jpg)
Open Problems
• Make construction robust to non-rigidity of DNA tiles to enhance effectiveness of “programmed steric hindrance”
• Experimentally determine the largest size of supertiles that reliably attach
• Universal Computation and Fuzzy-Fault Tolerance?
• Assembly Time