WWW.SA.I-PDF.INFO
FREE ELECTRONIC LIBRARY - Abstracts, books, theses
 
<< HOME
CONTACTS



Pages:     | 1 |   ...   | 2 | 3 ||

«Found Phys (2013) 43:1384–1410 DOI 10.1007/s10701-013-9753-1 Brownian Computation Is Thermodynamically Irreversible John D. Norton Received: 21 June ...»

-- [ Page 4 ] --

When truly random data (e.g. a bit equally likely to be 0 or 1) is erased, the entropy increase of the surroundings is compensated by an entropy decrease of the data, so that the operation as a whole is thermodynamically reversible....When erasure is applied to such [nonrandom] data, the entropy increase of the environment is not compensated by an entropy decrease of the data, and the operation is thermodynamically irreversible.

To interpret these remarks, one needs to know that Bennett tacitly assumes an inefficient erasure procedure that also creates k ln 2 of thermodynamic entropy that is passed to the environment.

8 For other critiques of Landauer’s principle, see Maroney [14] and Hemmo and Shenker ([10], Chaps. 11– 12). For historical perspective, see Bennett [5].

Found Phys (2013) 43:1384–1410 1407

6.1 The Principle

Bennett ([6], p. 501) describes it as:

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.

He then asserts a converse:

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.

6.2 Computing Logically Irreversible Operations

The simplest instance of logical irreversibility is erasure. An n stage erasure program applied to a single memory cell has two computational paths. One takes the cell, initially holding 0 to the end state, holding 0; the other takes a cell initially holding 1 to the end state 0. This logical branching backwards from the 0 end state is implemented in a Brownian computer as backward branched channels in the accessible phase space, as shown on the top left in Fig. 10.

While we may initialize the program to run on a cell holding, say, 0, when the computer state diffuses through the accessible phase space, it will also enter the other branch. This increases the accessible configuration space from nV to 2nV and that will lead to a corresponding increase in thermodynamic entropy creation. The analyses of Sect. 3 still apply since they depend only on the accessible volume of phase

–  –  –

That is, there is an increase of thermodynamic entropy creation due to exploration of the additional branches of k ln 2.

Figure 10 shows the more general case in which the program uses the same n stages sequentially to erase an N cell memory device, holding binary data.

The volume of configuration space accessible is

–  –  –

6.3 Failure of the Connection to Landauer’s Principle One might be tempted to see some sort of vindication of Landauer’s principle in this entropy increase. It is not there.

The lesser problem is that expression (14) is the wrong formula. The Landauer limit for erasure of memory cells with binary data is k ln 2 per cell; that is N k ln 2 for an N cell device. For large N, (14) approaches (N + 1)k ln 2.

The main problem is that nothing in the logical irreversibility of the erasure operation necessitates the creation of the entropy of (14). Rather, it is an awkward artifact of Brownian computation that it unnecessarily makes accessible volumes of phase spaces associated with unintended branches of the computation. In this regard it is akin to the category of failed proofs of Landauer’s principle listed in Norton ([17], §3) as “proof by thermalization.” Those proofs thermalize a memory device, thereby introducing an unnecessary thermodynamically irreversible expansion and then misreport the thermodynamic entropy created as a necessity of erasure.

The issue with Landauer’s principle is to determine which operations can be carried out by thermodynamically reversible computations and which cannot; and to specify how much thermodynamic entropy the latter must create. Brownian computation is driven by thermodynamically irreversible processes. Hence it is the wrong instrument to use. That some Brownian computation creates some amount of thermodynamic entropy is no basis for determining that another device, operating in a thermodynamically reversible way, cannot do better.

Thermodynamic entropy is always created in Brownian computation. Its extent depends only on the volume of phase space into which the computation expands and not on whether the operation computed is logically reversible. Consider a logically reversible operation that chains (2N +1 − 2) operations in series, such that each operation involves nV of configuration space. The operation is logically reversible but Found Phys (2013) 43:1384–1410 1409 its computation will create exactly as much thermodynamic entropy as the erasure of the N cell memory device above. What matters is not whether a logically reversible operation is computed, but whether the two computations are driven by the same expansion of phase space volume.

6.4 Landauer’s Principle as a Temporal Effect?





Bennett’s analysis differs from that just given, as it must. It cannot include the thermodynamic entropy (14), for his analysis neglects the entropic forces that create it.

Instead, Bennett’s concern is that exploration of the additional accessible phase will slow down the computation unacceptably. He writes (Bennett, [2], p. 922)9 In a Brownian computer, a small amount of logical irreversibility can be tolerated..., but a large amount will greatly retard the computation or cause it to fail completely, unless a finite driving force (approximately kT ln 2 per bit of information thrown away) is applied to combat the computer’s tendency to drift backward into extraneous branches of the computation. Thus driven, the Brownian computer is no longer thermodynamically reversible, since its dissipation per step no longer approaches zero in the limit of zero speed.

That is, we must create more thermodynamic entropy to drive the computation forward to its end state and keep it out of the extraneous branches. Bennett ([1], pp. 531–

532) gives the quantitative expression:

This in turn means (roughly speaking) that the dissipation per step must exceed kT ln m, where m is the mean number of immediate predecessors (1) averaged over states near the intended path, or (2) averaged over all accessible states, whichever is greater. For a typical irreversible computer, which throws away one bit per logical operation, m is approximately two, and thus kT ln 2 is, as Landauer has argued [12], an approximate lower bound on the energy dissipation of such machines.

Bennett leaves unclear whether the “energy dissipation” indicated is derived from a computation not provided or is presumed on the prior authority of Landauer’s principle. I will not pursue the question. Since this dissipation arises in addition to the entropy creation described in Sect. 6.1 above, it is at best only a part of the full account.

More generally, unless the branching structure introduces infinite phase volume, the extra dissipation is unnecessary and can provide no vindication of Landauer’s principle. For Bennett’s concern over the speed of computation is misplaced. It is standard in thermodynamics to allow processes unlimited but finite time for completion, so that they can approach thermodynamic reversibility arbitrarily closely. If one’s interest is what is possible in principle by a thermodynamically reversible process, one should not create additional thermodynamic entropy merely to speed up the process. That will only confound the analysis.

–  –  –

References

1. Bennett, C.: Logical reversibility of computation. IBM J. Res. Dev. 17, 525–532 (1973)

2. Bennett, C.H.: The thermodynamics of computation—a review. Int. J. Theor. Phys. 21, 905–940 (1982). Reprinted in Leff and Rex [13], Chap. 7.1

3. Bennett, C.H.: Thermodynamically reversible computation. Phys. Rev. Lett. 53(12), 1202 (1984)

4. Bennett, C.H., Landauer, R.: The fundamental physical limits of computation. Sci. Am. 253, 48–56 (1985)

5. Bennett, C.H.: Demons, engines and the second law. Sci. Am. 257(5), 108–116 (1987)

6. Bennett, C.: Notes on the history of reversible computation. IBM J. Res. Dev. 32(1), 16–23 (1988).

Reprinted in Leff and Rex, 327–334 [13]

7. Einstein, A.: Über die von der molekularkinetischen Theorie der Wärme geforderte Bewegung von in ruhenden Flüssigkeiten suspendierten Teilchen. Ann. Phys. 17, 549–560 (1905). Reprinted as Doc.

16 in Stachel [24] and Doc. I in Einstein [9]

8. Einstein, A.: Theoretische Bemergkungen Über die Brownsche Bewegung. Z. Elektrochem. Angew.

Phys. Chem. 13, 41–42 (1907). Doc. 40 in Stachel [24] and Doc. IV in Einstein [9]

9. Einstein, A.: Investigations on the Theory of the Brownian Movement. R. Fürth (ed.), A.D. Cowper trans. Methuen (1926) repr. New York: Dover, 1956

10. Hemmo, M., Shenker, O.: The Road to Maxwell’s Demon. Cambridge University Press, Cambridge (2012)

11. Ladyman, J., Presnell, S., Short, A.: The use of the information-theoretic entropy in thermodynamics.

Stud. Hist. Philos. Mod. Phys. 39, 315–324 (2008)

12. Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183– 191 (1961). Reprinted in Leff and Rex [13], Chap. 4.1

13. Leff, H.S., Rex, A. (eds.): Maxwell’s Demon 2: Entropy, Classical and Quantum Information, Computing. Institute of Physics Publishing, Bristol and Philadelphia (2003)

14. Maroney, O.J.E.: The absence of a relationship between thermodynamic and logical irreversibility.

Stud. Hist. Philos. Mod. Phys. 36, 355–374 (2005)

15. Norton, J.D.: Eaters of the lotus: Landauer’s principle and the return of Maxwell’s demon. Stud. Hist.

Philos. Mod. Phys. 36, 375–411 (2005)

16. Norton, J.D.: Atoms entropy quanta: Einstein’s miraculous argument of 1905. Stud. Hist. Philos. Mod.

Phys. 37, 71–100 (2006)

17. Norton, J.D.: Waiting for Landauer. Stud. Hist. Philos. Mod. Phys. 42, 184–198 (2011)

18. Norton, J.D.: The end of the thermodynamics of computation: a no go result. In: PSA 2012: Philosophy of Science Association Biennial Meeting (2012). http://philsci-archive.pitt.edu/id/eprint/9658.

(to appear)

19. Norton, J.D.: Infinite idealizations. In: Galavotti, M.C., et al. (eds.) European Philosophy of Science— Philosophy of Science in Europe and the Viennese Heritage: Vienna Circle Institute Yearbook, vol. 17, pp. 197–210. Springer, Dordrecht-Heidelberg-London-New York (2014)

20. Norton, J.D.: All shook up: fluctuations, Maxwell’s demon and the thermodynamics of computation.

Entropy (2013). doi:10.3390/e150x000x

21. Planck, M.: Treatise on Thermodynamics. Trans. A. Ogg. Longmans, Green, London (1903)

22. Poynting, J.H., Thomson, J.J.: A Text-Book of Physics: Heat, 2nd edn. Charles Griffith, London (1906)

23. Sommerfeld, A.: Thermodynamik und Statistik, 2nd edn. Harri Deutsch, Frankfurt (2002) (1962)

24. Stachel, J., et al. (eds.): The Collected Papers of Albert Einstein: Vol. 2: The Swiss Years: Writing,

Pages:     | 1 |   ...   | 2 | 3 ||


Similar works:

«Scoreboard — Saint John's University Archives — CSB/SJU Page 1 of 481 Saint John's University Archives Scoreboard Scoreboard Introduction, Foreward, and Acknowledgments Introduction A reputation for athletic prowess is as difficult to gain and as easily lost as any good reputation. But St. John's bears its athletic reputation so lightly that many think it was achieved effortlessly and is sustained as easily as breathing. Scoreboard's story of athletics at St. John's reveals the real drama...»

«Research & Occasional Paper Series: CSHE.11.13 UNIVERSITY OF CALIFORNIA, BERKELEY http://cshe.berkeley.edu/ SEEKING A ROADMAP TO BECOMING WORLD CLASS: Strategic Planning at Peking University June 2013 Xie Guangkuan * Peking University Copyright 2013 Xie Guangkuan, all rights reserved. ABSTRACT Strategic planning plays an important but sometimes controversial role in higher education. This paper examines how strategic planning works in Chinese universities, using Peking University as a case...»

«Financial Capability of Adults with Disabilities Findings from the FINRA Investor Education Foundation 2012 National Financial Capability Study Nicole E. Conroy, M.S. Michael Morris, J.D. Katherine E. McDonald, Ph.D. Elizabeth Jennings, B.A. Syracuse University National Disability Institute July 22, 2014 National Disability Institute © 2014 Financial Capability of Adults with Disabilities Findings from the FINRA Investor Education Foundation 2012 National Financial Capability Study Nicole E....»

«THE MYSTERY SCHOOLS GRACE F. KNOCHE “To you it is given to know the mysteries of the kingdom of God.” — Luke : Behind the world’s religions, philos­ ophies, and sciences lies a little understood but potent source of humanity’s spiritual life: the Mystery schools. Reaching back into remote antiquity, these esoteric institutions have kept alive the timeless theosophia or divine wisdom of the ages, while stimulating mankind’s spiritual intuitions and evolutionary progress....»

«1 EAST AYRSHIRE COUNCIL ROADS AND TRANSPORTATION DIVISION ANNEX B – ‘THE REGULATION OF UTILITY COMPANY ROADWORKS’ The following is East Ayrshire Council’s response to the above consultation document. Background. Undertaker companies have statutory right to place equipment in roads and on occasion, they need to excavate the road to install, replace or repair their apparatus. However, such works are increasingly causing delay and inconvenience to road users and local residents and current...»

«Know Thyself [The Following is an English rendering of the satsang prawachan (discourse) given by Maharshi Santsewi Paramhans ji Mahaaraaj during the All India Convention of Santmat Satsang held in Rishikesh, a picturesque Himalayan town of Uttar Pradesh, India on the 3rd May 1997.– Pravesh K. Singh] Respected Gentlemen, Honourable Motherly Ladies, and Full-of-Devotion Sisters! Rishikesh is the land of ascetic fervour, of penance by sages. Several sages have practised meditation here, and...»

«DEBORAH WILLIS Introduction The Notion of Venus Bottoms were big in Georgian England. From low to high culture of all forms, Britain was a nation obsessed by buttocks, bums, arses, posteriors, derrieres, and every possible metaphor, joke, or pun that could be squeezed from this fundamental cultural obsession. From the front parlor to Parliament, to prostitution and pornography, Georgian England both exuberantly celebrated and earnestly deplored excess, grossness, and the uncontainable. Much of...»

«AGENDA PG1 AGENDA PG2 Mid-Western Regional Council ORDINARY MEETING 23 JULY 2014 6.2.13 Naming of unnamed streets in the Valley Grove Estate subdivision REPORT BY THE REVENUE & PROPERTY MANAGER TO 23 JULY 2014 COUNCIL MEETING Naming of unnamed streets in the Valley Grove Estate subdivision GOV400038, A0790141 RECOMMENDATION That: 1. the report by the Revenue & Property Manager on the Naming of unnamed streets in the Valley Grove Estate subdivision be received; 2. Council name road no 1 Charles...»

«Gurdjieff in the Light of Tradition Part II: The Teaching by Whitall N. Perry Source: Studies in Comparative Religion, Vol. 9, No. 1. (Winter, 1975). © World Wisdom, Inc. www.studiesincomparativereligion.com I am not trying with words when I say that for some writers the Gurdjieff experiment, which is the great temptation, has and still does risk opening the ways to sickness, the hospital bed, and the cemetery. LOUIS PAUWELS is the author of this admonition, which is quoted from his article...»

«ASTQB Certified Mobile Tester Version 2015 American Software Testing Qualifications Board Copyright Notice This document may be copied in its entirety, or extracts made, if the source is acknowledged. American Software Testing Mobile Tester American Software Testing Qualifications Board Syllabus Qualifications Board Copyright © American Software Testing Qualifications Board (hereinafter ASTQB) ASTQB Foundation Level Working Party – Mobile Syllabus: Judy McKay (chair), Randy Rice Version 2015...»

«FORMALIZED MATHEMATICS 23, No. 4, Pages 371–378, 2015 Vol. DOI: 10.1515/forma-2015-0029 degruyter.com/view/j/forma Algebra of Polynomially Bounded Sequences and Negligible Functions Hiroyuki Okazaki Shinshu University Nagano, Japan Summary. In this article we formalize negligible functions that play an essential role in cryptology [10], [2]. Generally, a cryptosystem is secure if the probability of succeeding any attacks against the cryptosystem is negligible. First, we formalize the algebra...»

«HPV and HPV Testing Human Papilloma Virus (HPV) What are viruses? Viruses are very small organisms – most cannot even be seen with a regular microscope. They cannot reproduce on their own. They must enter a living cell, which becomes the host cell, and “hijack” the cell’s machinery to make more viruses. Viruses can enter the body through the mucous membranes, such as the nose, mouth, the lining of the eyes, or the genitals. Some enter through the digestive system (such as stomach or...»





 
<<  HOME   |    CONTACTS
2017 www.sa.i-pdf.info - Abstracts, books, theses

Materials of this site are available for review, all rights belong to their respective owners.
If you do not agree with the fact that your material is placed on this site, please, email us, we will within 1-2 business days delete him.