emulating physics our goal will be to show how basic dynamics known from physics can be formulated...

39

Post on 20-Dec-2015

215 views

Category:

Documents


0 download

TRANSCRIPT

EmulatingEmulatingPhysicsPhysics

Our goal will be to show how basic dynamics known from physics can be formulated using local simple rules of cellular automata:

• diffusion

• gas

• crystallization, etc

• Why emulate physics?Why emulate physics?– Computation models must adapt to

microscopic physics– Computation models may help us

understand nature

• Rich dynamics

• Start with locality:– Cellular Automata

Conway’s “Game of Life”Conway’s “Game of Life”

Conway’s “Game of Life”Conway’s “Game of Life”

Reversibility & other conservationsReversibility & other conservations

• Reversibility is conservation of information

• Why does exact conservation seem hard?

•The same information is visible at multiple positions•For reversibility, one one nn thth of the neighbor information must be left at the center

For reversibility ¼ th of neighbor information must be left at the center

Adding conservations Adding conservations to CA modelto CA model

• With traditional CA’s, conservations are a non-non-local local propertyproperty of the dynamics.

• Simplest solution: redefine CA’s so that conservation is a manifestly local property

• CA = regular computation in space & time– » Regular in space: repeated structure

– » Regular in time: repeated sequence of steps

Diffusion ruleDiffusion rule

cw = clockwise

ccw = counter-clockwise

• Take this image as our working environment

Diffusion ruleDiffusion rule

… and this is what is created after some number of generations

Result of Application Result of Application of Diffusion ruleof Diffusion rule

• TM = Toffoli/Margolus

Toffoli-Margolus (Toffoli-Margolus (™) Gas ) Gas rulerule

No change if two on a diagonal

TM Gas ruleTM Gas rule

TM Gas ruleTM Gas rule

TM Gas ruleTM Gas rule

TM Gas ruleTM Gas rule

TM Gas ruleTM Gas rule

TM Gas ruleTM Gas rule

Now we analyze how it works on a larger example and for more

generations

TM Gas rule for more generationsTM Gas rule for more generations

TM Gas rule: rectangle after TM Gas rule: rectangle after many generationsmany generations

After many generationsAfter many generations

TM Gas ruleTM Gas rule

TM Gas ruleTM Gas rule

After many generationsAfter many generations

Lattice gas refractionLattice gas refraction

LGA = Lattice Gas Automaton, Lattice Gas Algorithm

Lattice gas hydrodynamicsLattice gas hydrodynamics

Six direction LGA flow past a half-cylinder, with vortex shedding. System is 2Kx1K.

Dynamical Ising ruleDynamical Ising ruleGold/silver checkerboard

We divide the space into two sublattices, updating the gold on even steps, silver on odd.

A spin is flipped if exactly 2 of its 4neighbors are parallel to it. After the flipAfter the flip, exactly 2 neighbors are still parallel.

Dynamical Ising ruleDynamical Ising rule

Question: What will be the state in 100 generations, if the picture above is the initial state? What in 10,000 generations?

Spins up and down are shown in colors. Down is red, up is blue

Dynamical Ising ruleDynamical Ising rule

Bennett’s 1D ruleBennett’s 1D rule

• At each site in a 1D space, we put 2 bits of state.

• We’ll call one the “gold” bit and one the “silver” bit.

• We update the gold bits on even steps, and the silver on odd steps.

• A spin is flipped if exactly 2 of its 4 neighbors are parallel to it. • After the flip, exactly 2 neighbors are still parallel.

Bennett’s 1D ruleBennett’s 1D rule

Bennett’s rules:Bennett’s rules creation: 2D picture from 1D rules

Time dimension goes down

3D Ising with heat bath3D Ising with heat bath

If the heat bath is initially much cooler than the spin system, then domains grow as the spins cool.

•This is 3D so the CA is a 3-dimensional one.

•Exercise is to formulate 3D rules.

•See Buller/Perkowski paper

2D “Same” rule2D “Same” rule

• We divide the space into two We divide the space into two sublatticessublattices, updating the gold on even steps, silver on odd.

• A spin is flipped if all 4 of its neighbors are the same.

• Otherwise it is left unchanged.

Checkerboard partitioning

2D “Same” rule2D “Same” rule

2D “Same” rule2D “Same” rule

Look here

3D “Same” rule3D “Same” rule

New topic: how to write rules for crystallization?

Reversible aggregation ruleReversible aggregation rule

• We update the gold sublattice,• then let gas and heat diffuse, • then update silver and diffuse.

• When a gas particle diffuses next to exactly one crystal particle, it crystallizes and emits a heat particle.

• The reverse also happens.for more info, see cond-mat/9810258

g=gas particle

x = Crystal particle

h=heat particle

X grows = aggregation

for more info, see cond-mat/9810258

Reversible aggregation ruleReversible aggregation rule

This results

Observe that we also diffuse here. We combine rules

Adding forces irreversiblyAdding forces irreversiblyWe add further rules

Arrows symbolize attracting or repulsing forces

Adding forces irreversiblyAdding forces irreversibly

Conservations summaryConservations summary• To make conservations manifest, we employ a

sequence of steps, in each of which either

– 1. the data are rearranged without any interaction, or

– 2. the data are partitioned into disjoint groups of bits that change as a unit.

• Data that affect more than one such group don’t change.

• Conservations allow computations to map efficiently onto microscopic physics,

• and also allow them to have interesting macroscopic behavior.