Computing Beyond Silicon Summer School
Physics becomes the computer
Norm Margolus
Physics becomes the computer Norm Margolus Physics becomes the - - PowerPoint PPT Presentation
Computing Beyond Silicon Summer School Physics becomes the computer Norm Margolus Physics becomes the computer Emulating Physics Finite-state, locality, invertibility, and conservation laws Physical Worlds Incorporating
Computing Beyond Silicon Summer School
Norm Margolus
Emulating Physics
» Finite-state, locality, invertibility, and conservation laws
Physical Worlds
» Incorporating comp-universality at small and large scales
Spatial Computers
» Architectures and algorithms for large-scale spatial computations
Nature as Computer
» Physical concepts enter CS and computer concepts enter Physics
0/1
As we zoom in on a digital image,
As we zoom in on a digital image, we begin to notice that there isn’t an infinite amount of resolution:
As we zoom in on a digital image, we begin to notice that there isn’t an infinite amount of resolution: We begin to see the pixels.
Something similar happens in nature. A box full of particles doesn’t have an infinite number of possible configurations:
Something similar happens in nature. A box full of particles doesn’t have an infinite number of different configurations: the number of distinct configurations is finite.
Similarly, the rate at which a finite system can transition from one distinct state to another is also finite.
Similarly, the rate at which a finite system can transition from one distinct state to another is also finite.
Similarly, the rate at which a finite system can transition from one distinct state to another is also finite.
Similarly, the rate at which a finite system can transition from one distinct state to another is also finite.
Similarly, the rate at which a finite system can transition from one distinct state to another is also finite. Thus a finite physical system is much like a computer.
properties of finite information systems
as Entropy and Energy are informational:
dQ=TdS
EntropyMAX=InfoMAX KineticEMAX=OpsMAX
properties of finite information systems
as Entropy and Energy are informational:
dQ=TdS
EntropyMAX=InfoMAX KineticEMAX=OpsMAX (1996, with Levitin)
Review:
Discuss:
computation (→ QM)
hold, given its constraints
states can represent n bits
» survives in macro limit » substitute micro dynamics when QM is invisible » ordinary macro quantities have classical info interp
Info = −∑ p p
i i i
log Info = − =
=
1
1 Ω
Ω Ω
Ω i
log log
‰ equally probable states,
thermo (irreversibility)
understood as counting
that fit with constraints
can introduce some coarseness
probabilities to be calculated
thing for momentum)
cavity led to QM
superposition of waves with integer num peaks
unit of energy into any wave (infinite info!)
(finite info!)
EM radiation in a cavity (periodic boundaries)
system has finite state
systems is familiar
computer viewpoint!
computer logic in statistical situations
system has finite state
systems is familiar
computer viewpoint
computer logic in statistical situations
dynamics, we say what happens to each state in a fixed time
states (superposition) describes an ensemble
state applies to corresponding final state
XOR
B A A A⊕B
U U U U
XOR XOR XOR XOR
00 00 01 01 10 11 11 10 = = = = a b c d a b c d 00 01 10 11 00 01 11 10 + + + → + + +
roots of probabilities (amplitudes)
vector length
system in other bases
XOR
B A A A⊕B
U U U U
XOR XOR XOR XOR
00 00 01 01 10 11 11 10 = = = = a b c d a b c d 00 01 10 11 00 01 11 10 + + + → + + +
U
N τ : Χ
Χ Χ Χ
1 1
→ → → →
−
L
E N U E N E
N 1 1 1 2
1 1 = + + +
( )
= + + +
( )
=
−
Χ Χ Χ Χ Χ Χ L L
τ
reversible computer
configs in orbit
prob for any config
this state unchanged!
computer only has one bit, and Uτ just flips it.
adding and subtracting configs
change with time
E E
1
1 2 1 2 = + = − , U U
τ τ
1 1 = = ,
NOT
A A
U E E U E E
τ τ 1 1
= = − ,
amplitudes to form new
vector of components
E N e U E N e e E E E N e N e
n inm N m m n inm N m m in N n j k i km jm N m m m m im k j N m j k
= = = = = =
∑ ∑ ∑ ∑
+ − − ′ ′ ′ −
1 1 1 1
2 2 1 2 2 2 π τ π π π π
δ
/ / / ( )/ , ( )/ ,
, Χ Χ Χ Χ U
N τ : Χ
Χ Χ Χ
1 1
→ → → →
−
L
Transform of config basis
E N e N e E U E N e e E n N
n inm N m m m inm N n n n inm N m m in N n n
= = = = = ×
∑ ∑ ∑
− + −
1 1 1 2 2
2 2 2 1 2 π π τ π π
π π τ τ
/ / / /
, . Χ Χ Χ
For a cycle:
U
N τ : Χ
Χ Χ Χ
1 1
→ → → →
−
L
energy basis as probs
independent of time
equally spaced energies, En=nhν1
U
N τ : Χ
Χ Χ Χ
1 1
→ → → →
−
L
e.g. For energies are so , , , , , , , , ( )
/ /
Ψ Ψ Χ
2 2 2 2
2 3 1 2 = + = + = + − =
− −
α β α β α β ν ν ν ν ν
τ π π
E E e E e E E E E h N h N h N N h N E h
j k ij N j ik N k j k m
K E N e N e E
n inm N m m m inm N n n
= =
∑ ∑
−
1 1
2 2 π π / /
, . Χ Χ
rate of change of configurations
reversible rules
as bit changes (i.e., energy is extensive!)
1 1 1
t x
1 1 1 1 1
t x
1 1
U
N τ : Χ
Χ Χ Χ
1 1
→ → → →
−
L
number of ones constant
spots that can change in lattice update period τl
spots that can change
assigned an energy hνl max change is still 2E/h
M h M E h
l l
= = = = num particles ν ν ν particle energy /
∆
2 2 t : t
l
+ τ :
evolution (total ops for ideal computation)
in rest frame is rel scalar
transform like rel energy: 2Ertr/h = 2(Et-px)/h
that Et=px (comp stops)
rest frame moving frame
QM allows some new kinds of operations
which preserves vector length is okay
and go!
single-bit operations
A A
U U
NOT NOT
1 1 1
1 2 1 2 1 2 1 2
= − = +
NOT NOT
U U U
NOT NOT NOT
1 1
1 2 1 2
= −
( ) = − A A
NOT
U U U
NOT NOT NOT
1 1
1 2 1 2
= +
( ) = +
θ
XOR XOR XOR
π/8 π/8
A A A B C A B⊕AC C
U U
θ θ
θ θ θ θ 1 1 1 = − = + cos sin sin cos
4 NOT
θ π θ π
θ θ
= = = = / : / :
NOT NOT
2 4 U U U U
θ
XOR XOR XOR
π/8 π/8
A A A B C A B⊕AC C
U U
θ θ
θ θ θ θ 1 1 1 = − = + cos sin sin cos
4 NOT
θ π θ π
θ θ
= = = = / : / :
NOT NOT
2 4 U U U U
No prob- abilities No prob- abilities
Superposition of different configurations
θ
XOR XOR XOR
π/8 π/8
A A 1 1
U U
θ θ
θ θ θ θ 1 1 1 = − = + cos sin sin cos
4 NOT
c s = = cos( / ) sin( / ) π π 8 8 001 c s 001 011 + c s 001 011 +
1 2 1 2
001 011 +
1 2 1 2
001 011 + c s 001 011 + c s 001 011 + 001
computations; at most reduces effort required
dependent
speedup is exponential, then distinction is real!
a b b a 1 1 + → −
NOT
a b a b a b 1 2 2 1 + → + + −
NOT
Classical: Quantum:
Classical: Quantum:
Boston New York
a b b a 1 1 + → −
NOT
a b a b a b 1 2 2 1 + → + + −
NOT
can’t tell if micro finite- state is QM or CM
Action all have comp meaning: others must
and for physics
for more information, see http://www.ai.mit.edu/people/nhm/looking-at-nature.pdf