Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of...

58
Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of Science University of Pittsburgh 1 4th Tuebingen Summer School in History and Philosophy of Science, July 2015

Transcript of Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of...

Page 1: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Misplaced Idealizations

Entropy, Information and Maxwell's Demon

John D. NortonDepartment of History and Philosophy of Science

Center for Philosophy of ScienceUniversity of Pittsburgh

1

4th Tuebingen Summer Schoolin History and Philosophy of Science, July 2015

Page 2: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

This Lecture

The thermodynamics of computation presumes it is possible to…

Chain molecular-scale computational steps that are thermodynamically reversible or nearly so.

Bad Idealization

Detection of memory device states.

Moving data from one location to another.

Compression and expansion of components spaces.steps

Page 3: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

This Lecture

No-Go result

Thermal fluctuations (noise) prevent completion of any individual, molecular scale step.

Thermodynamic entropy must be created to complete each step.

ΔStot = k lnPfin

Pinit

⎝ ⎜

⎠ ⎟= k lnO fin

Minimum entropy creation not set by the logical specification of the computation, but by the number of steps chained.

Page 4: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Maxwell’s Demon

4

Page 5: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

The Maxwell Era1867-1905

5

Page 6: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Theory of Heat,1871, first ed.

6

AlsoLetter to Tait, 1867;Rayleigh 1871

Page 7: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Theory of Heat

7Better scan from 1872, 2nd ed.

Page 8: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Maxwell’s Proposal

8

“He will thus, without expenditure of work,

raise the temperature of B

and lower that of A,

in contradiction to the second law of thermodynamics.”

air initially atuniform temperature

Page 9: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Maxwell’s Moral: The Demon Wins

9

“This is only one of the instances in which conclusions which we have drawn from our experience of bodies consisting of an immense number of molecules may be found not to be applicable to the more delicate observations and experiments which we may suppose made by one who can perceive and handle the individual molecules which we deal with only in large masses.

In dealing with masses of matter, while we do not perceive the individual molecules, we are compelled to adopt what I have described as the statistical method of calculation, and to abandon the strict dynamical method, in which we follow every motion by the calculus.”

Theory of Heat.

No compulsion to exorcise the demon to protect the Second Law.

The demon illustrates that Second Law would fail if we could manipulate individual molecules.

…. Nanotechnology has not yet overturned the Second Law.

Page 10: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

The Fluctuation Era1905-1929

10

Page 11: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Einstein’s Brownian Motion Paper

11

"On the motion of small particles suspended in liquids at rest required by the molecular-kinetic theory of heat.” Annalen der Physik, 17(1905), pp. 549-560. (May 1905; received 11 May 1905)

Page 12: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

12

“…no longer strictly valid…”“If it is really possible to observe the motion discussed here …”

“… then classical thermodynamics can no longer be viewed as strictly valid even for microscopically distinguishable spaces....”

“… … and an exact determination of the real size of atoms becomes possible.”

Page 13: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Maxwell’s demon livesin the details of Brownian motion and other fluctuations

Could these momentary, miniature

violations of the second law be accumulated to large-scale violations? A real Maxwell’s demon?

Guoy (1888), Svedberg (1907) designed mini-machines with that purpose.

13

“[…] we see under our eyes now motion transformed into heat by friction, now heat changed inversely into motion, and that without loss since the movement lasts forever. This is the contrary of the principle of Carnot. If this be so, to see the world return backward, we no longer have need of the infinitely keen eye of Maxwell's demon; our microscope suffices.”

Poincaré, 1904

Page 14: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Casing heats

Colloid cools

Svedberg’s Proposal

14

Svedberg, The. “Über die Bedeutung der Eigenbewegung der Teilchen in kolloidalen Lösungen für die Beurteilung der Gültigkeitsgrenzen des zweiten Haupsatzes der Thermodynamik”.Annalen der Physik, 59 (1907) pp. 451–458.

Charged colloid particles radiate

their thermal energy.

Tuned lead casing absorbs the radiation.

…plus many more layers, details designed to prevent return of heat.

Page 15: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Marian Smoluchowski, 1912

15

Exorcism of Maxwell’s demon by fluctuations.

Trapdoor hinged so that fast molecules moving from left to right swing it open and pass, but not vice versa.

The second law holds on average only over time.Machines that try to accumulate fluctuations are

disrupted fatally by them.

BUT

The trapdoor must be very light so a molecule can swing it open.

AND

The trapdoor has its own thermal energy of kT/2 per degree of freedom.

SO

The trapdoor will flap about wildly and let molecules pass in both directions.

Page 16: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Marian Smoluchowski, 1912

16

Other examples of defeated demons.

The second law holds on average only over time.Machines that try to accumulate fluctuations are

disrupted fatally by them.

Later popularized by Feynman

Page 17: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

The Information Era1929- ????

17

Page 18: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

18

“On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings.”

Zeitschrift für Physik, 53 (1929), pp. 840-856.

Szilard 1929

Page 19: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

1The One-Molecule Engine

Initial state 2A partition is

inserted to trap the molecule on one

side.

3The gas undergoes a reversible, isothermal

expansion to its original state.4

Work kT ln 2gained in raising the weight.

It comes from theheat kT ln 2,

drawn from the heat bath.

Szilard 1929

Heat kT ln 2 is drawn from the heat bath and fully converted to work.

The total entropy of the universe decreases by k ln 2.

The Second Law of Thermodynamics is violated.

Net effect of the completed cycle:

Page 20: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Szilard’s Principle

20

Acquisitionof one bit of information

by the demon creates k ln 2 of thermodynamic

entropy.

Szilard 1929Von Neumann 1932

Brillouin 1951+…

Landauer’s Principleversus

Landauer 1961Bennett 1987+…

Erasureof one bit of information by the demon creates k ln 2 of thermodynamic entropy.

Real entropy cost only taken when the naturalized demon erases the memory of the position of the molecule.

Szilard’s principle is false.

Page 21: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Process is thermodynamically reversible if data is “random”; not if “known” data.

Landauer’s Principle

21

“Landauer’s principle, often regarded as the basic principle of the thermodynamics of information processing, holds that any logically irreversible manipulation of information, such as the erasure of a bit or the merging of two computation paths, must be accompanied by a corresponding entropy increase in non-information-bearing degrees of freedom of the information-processing apparatus or its environment….”

Bennett, Charles H. (2003). “Notes on Landauer’s Principle, Reversible Computation, and Maxwell’s Demon,” Studies in History and Philosophy of Modern Physics, 34, pp. 501-10.

Logically irreversible

operation(e.g. erasure)

Mustpass entropy to environment

“…Conversely, it is generally accepted that any logically reversible transformation of information can in principle be accomplished by an appropriate physical mechanism operating in a thermodynamically reversible fashion.”

Logically reversible

operation

Can bethermodynamically reversible

k ln 2 per bit erased

Page 22: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

The Standard Erasure Procedure

22

Model of binary memory.One molecule gas in a divided chamber. Heat kT ln 2

Entropy k ln 2passes to environment.

Page 23: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

No-Go Result

23

Page 24: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

No-Go Result

24

NO molecular-scale process that completes is thermodynamically reversible.

Thermodynamic entropy must be created to complete each step.

ΔStot = k lnPfin

Pinit

⎝ ⎜

⎠ ⎟= k lnO fin

ΔSΔS ΔS ΔS ΔS

ΔS ΔS ΔS

Page 25: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

No-Go ResultIllustrated

25

Page 26: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Fluctuations disrupt

Reversible Expansion and

Compression

26

Page 27: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

The Intended Process

27

Very slow expansion converts heat to work in the raising of the mass.

Mass M of piston continually adjusted so its weight remains in near perfect balance with the mean gas pressure P= kT/V.

Equilibrium height is

heq = kT/Mg

Heat kT ln 2 = 0.69kT passed in tiny increments from surroundings to gas.

Page 28: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

The massive piston…

28

….is very light since it must be supported by collisions with a single molecule. It has mean thermal energy kT/2 and will fluctuate in position.

Probability density for the piston at height h

p(h) = (Mg/kT) exp ( -Mgh/kT)

Meanheight

= kT/Mg = heq

Standard deviation

= kT/Mg = heq

Page 29: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Mean energy of gas 3kT/2Standard deviation (3/2)1/2kT = 1.225kT

What Happens.

29

Fluctuations obliterate the very slow expansion intended

A better analysis (elsewhere) does not need external adjustment of weight during expansion. It replaces the gravitational field withpiston

energy = 2kT ln (height)

Heat kT ln 2 = 0.69kT passed in tiny increments from surrounding to gas.

Page 30: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Fluctuations disrupt

Measurement and Detection

30

Page 31: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Measurement is compression of detector phase space

31

First step: the detector is coupled with the target system.

The process is isothermal, thermodynamically reversible:

• It proceeds very slowly.

• The driver is in equilibrium with the detector.

The process intended:

The coupling is an isothermal, reversible

compression of the detector phase space.

Page 32: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Fluctuations Obliterate Reversible Detection

32

What happens:

What we expected:

Page 33: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Bennett’s Machine for Dissipationless Measurement…

Measurement apparatus, designed by the author to fit the Szilard engine, determines which half of the cylinder the molecule is trapped in without doing appreciable work. A slightly modified Szilard engine sits near the top of the apparatus (1) within a boat-shaped frame; a second pair of pistons has replaced part of the cylinder wall. Below the frame is a key, whose position on a locking pin indicates the state of the machine's memory. At the start of the measurement the memory is in a neutral state, and the partition has been lowered so that the molecule is trapped in one side of the apparatus. To begin the measurement (2) the key is moved up so that it disengages from the locking pin and engages a "keel" at the bottom of the frame. Then the frame is pressed down (3). The piston in the half of the cylinder containing no molecule is able to desend completely, but the piston in the other half cannot, because of the pressure of the molecule. As a result the frame tilts and the keel pushes the key to one side. The key, in its new position. is moved down to engage the locking pin (4), and the frame is allowed to move back up (5). undoing any work that was done in compressing the molecule when the frame was pressed down. The key's position indicates which half of the cylinder the molecule is in, but the work required for the operation can be made negligible To reverse the operation one would do the steps in reverse order.

Charles H. Bennett, “Demons, Engines and the Second Law,” Scientific American 257(5):108-116 (November, 1987).

33

…is fatally disrupted by fluctuations that leave the keel rocking wildly.

FAILS

Page 34: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

No-Go Result

Preparatory notions

34

Page 35: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Thermodynamically Reversible Processes

35

For…Two systems interacting isothermallyin thermal contact with constant temperature surroundings at T: 1 2

env

T

dU = dq –X dx

internal energy change

heat trans-ferred

generalized force generalized

displacement

X = -∂F/∂for process parameter

Thermo-dynamically

reversible process

Set of irreversible processes that approach a perfect balance of all thermodynamic forces in the (unrealized) limit.

Condition approached arbitrarily closely in the limit:Total entropy of universe is

constant.

Total generalized forces vanish.

X1+X2=0

Total free energyF=U-TS is constant.

F1+F2=constant

Page 36: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Self-contained thermodynamically reversible processes

36

No interventions fromnon-thermal orfar-from-equilibrium systems.

External hand removes shot one at a time to allow piston to rise slowly. Slow compression by slowly

moving, very massive body.

Mass is far from thermal equilibrium of a one-dimensional Maxwell velocity distribution.

Page 37: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Computing Fluctuations

37

Canonically distributed system in heat bath at T.

give equilibrium, macroscopic description of non-equilibrium state

F = -kT ln Z(V)

F = -kT ln P + constant P ∝ exp(-F/kT)

probability system at point with energy E ∝

exp −E

kT

⎝ ⎜

⎠ ⎟

probability P that system is in non-

equilibrium state with phase volume V

Z(V ) = exp −E(x)

kT

⎝ ⎜

⎠ ⎟

V∫ dx

Z(V)

Page 38: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

No-Go ResultIt, at last.

38

Page 39: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Combine 1. and 2.

39

initial finalmiddle

1. Process is thermo-dynamically reversible

Finit = Fmid = Ffin

stages

Pinit∝ exp(-Finit/kT)

Pmid∝ exp(-Fmid/kT)

Pfin∝ exp(-Ffin/kT)

2. Fluctuations carry the system from one stage to another

any isothermal,

reversible process

Pinit = Pmiddle = PfinNo-Go result

Page 40: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Fluctuation Disrupt All Reversible, Isothermal Processes at Molecular Scales

40

Intended process

=1 =2

Actual process

=1 =2

Page 41: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Beating Fluctuations

41

Page 42: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

What it takes to overcome fluctuations

42

initial final

Downward gradient in free energy

recapture in most likely

state

release from here

..but system can also be found in undesired intermediate states.

Process moves from high free energy state to low

free energy state.ΔFsys

Net creation of thermodynamic entropy.ΔStot = -ΔFsys/T

Page 43: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

odds of final statePinit = probability that fluctuation throws

the system back to the initial state.

What it takes to overcome fluctuations

43

initial final

free energy

recapture in most likely state

release from here

Least dissipative case

High free energy mountain makes it unlikely that system is in intermediate stage.

ΔStot = k lnPfin

Pinit

⎝ ⎜

⎠ ⎟= k lnO fin

Pfin

Pinit

= exp −Ffin − Finit

kT

⎝ ⎜

⎠ ⎟= exp

ΔStot

k

⎝ ⎜

⎠ ⎟

Page 44: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Doing the sums…

44

Macroscopic Scale

Odds of completionOfin = 20Pfin = 0.95

ΔStot = k ln 20 = 3k

compareLandauer’s principle

k ln2 = 0.69 k

Odds of completionOfin = 7.2x1010

ΔStot = k ln (7.2x1010) = 25k

25kT is the mean thermal energy of ten nitrogen molecules.

Molecular Scale

Page 45: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Bead on a Wire

45

Page 46: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

46

Each position is an equilibrium position

Slow motion of bead over wire is a thermodynamically reversible process. (Tilt wire minutely.)

Macroscopically…

For 5g bead and T=25C

vrms = 9.071 x 10-10 m/s

Molecular scale…

For 100 amu mass (n-heptane molecule)

and T=25C

vrms = 157 m/s

Effect of thermal

fluctuations

Page 47: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Overcome fluctuations by tilting wire

47

Macroscopically…

For 5g bead = 5.8x10-18 radians

For Pfin = 0.999T=25C

stages 1/10th length

Depress by ~10-7 Bohr radius H atom per meter.

n-heptane is volatile!

Molecular scale…

For 100 amu mass (n-heptane molecule),

turning the wire vertically has negligible effect!

Page 48: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Least dissipative case

48

Page 49: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

More complicated

cases

49

Page 50: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

50

Electric field moves a charge through a channel.

Two state dipole measures sign of

target charge.

Computed in “All Shook Up…”

Page 51: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Conclusion

51

Page 52: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Thermal Fluctuations Cannot be Idealized Away

No-Go result

Thermal fluctuations (noise) prevent completion of any individual, molecular scale step.

Thermodynamic entropy must be created to complete each step.

ΔStot = k lnPfin

Pinit

⎝ ⎜

⎠ ⎟= k lnO fin

Minimum entropy creation not set by the logical specification of the computation, but by the number of steps chained.

Page 53: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

53

The End

Page 54: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

54

Appendices

Page 55: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

A Measurement Scheme Using Ferromagnets

55

Charles H. Bennett, “The Thermodynamics of Computation—A Review,” In. J. Theor. Phys. 21, (1982), pp. 905-40,

Page 56: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

A Measurement Scheme Using Ferromagnets

56

Charles H. Bennett, “The Thermodynamics of Computation—A Review,” In. J. Theor. Phys. 21, (1982), pp. 905-40,

Page 57: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Thermodynamically reversible processes are NOT…

57

…merely very slow processes.

capacitor discharges very slowly through resistor

balloon deflates slowly through a pinhole

…merely processes that can go easily in either way.

one molecule gas released

Page 58: Misplaced Idealizations Entropy, Information and Maxwell's Demon John D. Norton Department of History and Philosophy of Science Center for Philosophy of.

Computing Fluctuations

58

Isolated, microcanonically distributed system

probability P that system is in non-equilibrium state

with phase volume V

∝ phase volume

V

give equilibrium, macroscopic description of non-equilibrium state

S = k ln V

S = k ln P + constant P∝ exp(S/k)