computing beyond silicon summer school - mit csailpeople.csail.mit.edu › nhm ›...
TRANSCRIPT
![Page 1: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/1.jpg)
CBSSS 6/25/02
Computing Beyond Silicon Summer School
Physics becomes thecomputer
Norm Margolus
![Page 2: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/2.jpg)
CBSSS 6/25/02
Physics becomes the computerEmulating Physics
» Finite-state, locality, invertibility,and conservation laws
Physical Worlds» Incorporating comp-universality
at small and large scalesSpatial Computers
» Architectures and algorithms forlarge-scale spatial computations
Nature as Computer» Physical concepts enter CS and
computer concepts enter Physics
0/1
![Page 3: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/3.jpg)
CBSSS 6/25/02
Review: Why emulate physics?
• Comp must adapt tomicroscopic physics
• Comp models may helpus understand nature
• Rich dynamics
• Started with locality(Cellular Automata).
![Page 4: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/4.jpg)
CBSSS 6/25/02
Review: Conway’s “Life”• Captures physical locality and finite-
stateBut,• Not reversible (doesn’t map well onto
microscopic physics)• No conservation laws (nothing like
momentum or energy)• No interesting large-scale behavior
Observation:• It’s hard to create (or discover)
conservations in conventional CA’s.
256x256 region of a larger grid.Activity has mostly died off.
![Page 5: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/5.jpg)
CBSSS 6/25/02
Review: CA’s with conservations
1. The data are rearranged withoutany interaction, or
2. The data are partitioned intodisjoint groups of bits that changeas a unit. Data that affect morethan one such group don’t change.
To make reversibility and other conservations manifest, we
employ a multi-step update, in each step of which either
Conservations allow computations to map efficiently onto
microscopic physics, and also allow them to have interesting
macroscopic behavior. Such CA’s have hardly been studied.
b c da c d ab
xx xhg
![Page 6: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/6.jpg)
CBSSS 6/25/02
![Page 7: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/7.jpg)
CBSSS 6/25/02
Physical WorldsSome regular spatial systems:
1. Programmable gate arrays atthe atomic scale
2. Fundamental finite-statemodels of physics
3. Rich “toy universes”
• All of these systems must becomputation universal
![Page 8: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/8.jpg)
CBSSS 6/25/02
Computation UniversalityIf you can build basic logic elements and connect themtogether, then you can construct any logic function -- yoursystem can do anything that any other digital system can do!
• It doesn’t take much.• Can construct CA that
support logic.• Can discover logic in
existing CAs (eg. Life)• Universal CA can
simulate any other Logic circuit in gate-array-like CA
![Page 9: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/9.jpg)
CBSSS 6/25/02
Computation UniversalityIf you can build basic logic elements and connect themtogether, then you can construct any logic function -- yoursystem can do anything that any other digital system can do.
• It doesn’t take much.• Can construct CA that
support logic.• Can discover logic in
existing CAs (eg. Life)• Universal CA can
simulate any other Logic circuit in gate-array-like CA
![Page 10: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/10.jpg)
CBSSS 6/25/02
What’s wrong with Life?
Glider guns in Conway’s “Game of Life” CA. Streams of gliders can be used as signals in Life logic circuits.
• One can build signals,wires, and logic out ofpatterns of bits in theLife CA
![Page 11: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/11.jpg)
CBSSS 6/25/02
What’s wrong with Life?• One can build signals,
wires, and logic out ofpatterns of bits in theLife CA
• Life is short!• Life is microscopic• Can we do better with
a more physical CA? Life on a 2Kx2K space, run from arandom initial pattern. All activitydies out after about 16,000 steps.
![Page 12: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/12.jpg)
CBSSS 6/25/02
Billiard Ball Logic
• Simple reversible logic gatescan be universal
• Turn continuous model intodigital at discrete times!
• (A,B)→ AND(A,B) isn’treversible by itself
• Can do better than just throwaway extra outputs
• Need to also show that youcan compose gatesFredkin’s reversible
Billiard Ball Logic Gate
![Page 13: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/13.jpg)
CBSSS 6/25/02
Billiard Ball Logic
Fixed mirrors allow signalsto be routed around.
Mirrors allow signals tocross without interaction.
![Page 14: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/14.jpg)
CBSSS 6/25/02
A BBM CA rule
2x2 blockings.
The solid blocksare used at eventime steps, thedotted blocks atodd steps.
A BBMCA collision:
BBMCA rule.
Single one goesto opposite corner,2 ones on diagonalgo to other diag, noother cases change.
![Page 15: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/15.jpg)
CBSSS 6/25/02
The “Critters” rule
Use 2x2 blockings. Use solidblocks on even time steps, usedotted blocks on odd steps.
This rule is appliedboth to the even andthe odd blockings.
We show all cases:each rotation of a caseon the left maps to thecorresponding rotationof the case on the right.
Note that the number ofones in one step equals the number of zeros inthe next step.
![Page 16: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/16.jpg)
CBSSS 6/25/02
The “Critters” rule
This rule is appliedboth to the even andthe odd blockings.
We show all cases:each rotation of a caseon the left maps to thecorresponding rotationof the case on the right.
Note that the number ofones in one step equals the number of zeros inthe next step.Reversible “Critters” rule, started from
a low-entropy initial state (2Kx2K).
![Page 17: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/17.jpg)
CBSSS 6/25/02
“Critters” is universal
A BBMCA collision:
Critters “glider” collision:
![Page 18: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/18.jpg)
CBSSS 6/25/02
UCA with momentum conservation
Hard sphere collision
• Hard-sphere collisionconserves momentum
• Can’t make simple CAout of this that does
• Problem: finite impactparameter required
• Suggestion: find a newphysical model!
![Page 19: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/19.jpg)
CBSSS 6/25/02
UCA with momentum conservation
Hard sphere collision Soft sphere collision
![Page 20: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/20.jpg)
CBSSS 6/25/02
UCA with momentum conservation
Can shrink balls to points! Soft sphere collision
![Page 21: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/21.jpg)
CBSSS 6/25/02
UCA with momentum conservation
SSM rule: rotations alsoact like this. All othercases remain unchanged.This is a Lattice Gas:movement and interactionsteps alternate.Can shrink balls to points!
![Page 22: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/22.jpg)
CBSSS 6/25/02
UCA with momentum conservation
SSM rule: rotations alsoact like this. All othercases remain unchanged.This is a Lattice Gas:movement and interactionsteps alternate.Add mirrors at lattice
points to guide balls.
![Page 23: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/23.jpg)
CBSSS 6/25/02
UCA with momentum conservation
Add mirrors at latticepoints to guide balls. SSM rule with mirrors
![Page 24: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/24.jpg)
CBSSS 6/25/02
UCA with momentum conservation
Add mirrors at latticepoints to guide balls.
Mirrors allow signals tocross without interacting.
![Page 25: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/25.jpg)
CBSSS 6/25/02
SSM collisions on other lattices
Triangular lattice 3D Cubic lattice
![Page 26: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/26.jpg)
CBSSS 6/25/02
Getting rid of mirrors
Mirrors allow signals tocross without interacting.
• SSM with mirrors doesnot conservemomentum
• Mirrors must haveinfinite mass
• Want both universalityand mom conservation
• Can do this with just theSSM collision!
![Page 27: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/27.jpg)
CBSSS 6/25/02
Getting rid of mirrors
Mirrors allow signals tocross without interacting.
Adding a rest particleallows signals to cross.
![Page 28: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/28.jpg)
CBSSS 6/25/02
Getting rid of mirrors
Adding a rest particleallows signals to cross.
• The rule is very simplewithout mirrors: just onecollision and it’s inverse.
• All other cases, includingthe rest particle case, gostraight through.
![Page 29: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/29.jpg)
CBSSS 6/25/02
Getting rid of mirrors
Pairing every signal with itscomplement allows constantstreams of 1’s to act like mirrors
• The rule is very simplewithout mirrors: just onecollision and it’s inverse.
• All other cases, includingthe rest particle case, gostraight through.
![Page 30: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/30.jpg)
CBSSS 6/25/02
Getting rid of mirrors• Fredkin Gate,
built in SSM• No mirrors• Constants of 1
act as mirrors• Dual-rail pairs
used as signals• Can show that
1’s can be reusedby buildingBBMCA in SSM
![Page 31: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/31.jpg)
CBSSS 6/25/02
Macroscopic universalityWith exact microscopic control of every bit, the SSM model lets us compute reversibly and withmomentum conservation, but
• an interesting world should have macroscopiccomplexity!
• Relativistic invariance would allow large-scalestructures to move: laws of physics same in motion
• This would allow a robust Darwinian evolution• Requires us to reconcile forces and conservations
with invertibility and universality.
![Page 32: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/32.jpg)
CBSSS 6/25/02
Relativistic conservation⇐Non-relativistically,
mass and energy areconserved separately
⇐Simple lattice gassesthat conserve only mand mv are more like relthan non-rel systems!
€
E∑ = ′ E ∑Ei
r v i∑ = ′ E i ′ r v i∑
€
12 miv2∑ = 1
2 ′ m i∑ ′ v 2
mi∑ = ′ m i∑mi
r v i∑ = ′ m i ′ r v i∑
€
(since r p = γmr v = γmc2 × r v /c 2)
Non-relativistic:
Relativistic:
(energy)
(mass)
(mom)
(energy)
(mom)
![Page 33: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/33.jpg)
CBSSS 6/25/02
Relativistic conservation
• We used dual-railsignalling to allowconstant 1’s to act asmirrors
• Dual rail signals don’trotate very easily
• Suggestion: make anLGA in which youdon’t need dual-rail
AA
B B
Dual-rail signals have a defectwhen it comes to allowing rotatedsignals to interact with each other.
![Page 34: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/34.jpg)
CBSSS 6/25/02
Relativistic conservation
The rule we infer from this is:
![Page 35: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/35.jpg)
CBSSS 6/25/02
Can we add macroscopic forces?
3D momentum conserving crystallization.
becomes:
Particles six sites apart alongthe lattice attract each other.
![Page 36: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/36.jpg)
CBSSS 6/25/02
Can we add macroscopic forces?
Crystallization using irreversible forces (Jeff Yepez, AFOSR)
![Page 37: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/37.jpg)
CBSSS 6/25/02
Summary• Universality is a low threshold that separates triviality
from arbitrary complexity• More of the richness of physical dynamics can be
captured by adding physical properties:» Reversible systems last longer, and have a realistic
thermodynamics.» Reversibility plus conservations leads to robust “gliders” and
interesting macroscopic properties & symmetries.• We know how to reconcile universality with reversibility
and relativistic conservations
![Page 38: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/38.jpg)
CBSSS 6/25/02
Physics becomes the computerEmulating Physics
» Finite-state, locality, invertibility,and conservation laws
Physical Worlds» Incorporating comp-universality
at small and large scalesSpatial Computers
» Architectures and algorithms forlarge-scale spatial computations
Nature as Computer» Physical concepts enter CS and
computer concepts enter Physics
0/1
![Page 39: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/39.jpg)
CBSSS 6/25/02
Problem from last lecture:Dynamical Ising rule
Even steps: update gold sublattice
Odd steps: update silver sublattice
A spin is flipped if exactly 2 of its 4neighbors are parallel to it. After theflip, exactly 2 neighbors are still parallel.
![Page 40: Computing Beyond Silicon Summer School - MIT CSAILpeople.csail.mit.edu › nhm › physical_worlds.pdf · Physical Worlds » Incorporating comp ... collision and it’s inverse. •All](https://reader034.vdocuments.mx/reader034/viewer/2022042409/5f2673ac81cff405c603e97a/html5/thumbnails/40.jpg)
CBSSS 6/25/02
Problem from last lecture:Dynamical Ising rule
Even steps: update gold sublattice
Odd steps: update silver sublattice
A spin is flipped if exactly 2 of its 4neighbors are parallel to it. After theflip, exactly 2 neighbors are still parallel.
Problem:• Show that the waves
running along theboundary obey the waveequation exactly
Hint:• The wave equation’s
solutions consist of asuperposition of right- andleft-going waves