<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JQIS</journal-id><journal-title-group><journal-title>Journal of Quantum Information Science</journal-title></journal-title-group><issn pub-type="epub">2162-5751</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jqis.2017.74012</article-id><article-id pub-id-type="publisher-id">JQIS-81046</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Physical Limits of Computation
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Tibor</surname><given-names>Guba</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>László</surname><given-names>Nánai</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Thomas</surname><given-names>F. George</given-names></name><xref ref-type="aff" rid="aff3"><sup>3</sup></xref></contrib></contrib-group><aff id="aff3"><addr-line>Department of Chemistry and Physics, University of Missouri-St. Louis, St. Louis, MO, USA</addr-line></aff><aff id="aff1"><addr-line>Department of Optics and Quantum Electronics, University of Szeged, Szeged, Hungary</addr-line></aff><aff id="aff2"><addr-line>Department of Experimental Physics, University of Szeged, Szeged, Hungary</addr-line></aff><pub-date pub-type="epub"><day>07</day><month>11</month><year>2017</year></pub-date><volume>07</volume><issue>04</issue><fpage>155</fpage><lpage>159</lpage><history><date date-type="received"><day>8,</day>	<month>June</month>	<year>2017</year></date><date date-type="rev-recd"><day>11,</day>	<month>December</month>	<year>2017</year>	</date><date date-type="accepted"><day>14,</day>	<month>December</month>	<year>2017</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The paper deals with theoretical treatment of physical limits for computation. We are using some statements on base of min energy/bit, power delay product, Shannon entropy and Heisenberg uncertainty principle which result in about kTln(2) energy for a bit of information.
 
</p></abstract><kwd-group><kwd>Computation</kwd><kwd> Power Product</kwd><kwd> Entropy</kwd><kwd> SNL Limit</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Current computation technology is based on binary “thinking” and semiconductor hardware. The former has a very well developed and working theory, and thus it is expected to dominate informatics for some time. The scientific community is working on several solutions to replace the latter, which has consisted for the past several decades mainly of CMOS (complementary metal oxide semiconductor) architecture [<xref ref-type="bibr" rid="scirp.81046-ref1">1</xref>] . This research is necessary, because the currently available devices are slowly approaching their limits. But how long are we able to increase our computers’ performance by replacing the technologies? This key question may be translated to the following: What is the minimal value of the important quantities in informatics?</p></sec><sec id="s2"><title>2. Power-Delay Product</title><p>When the input voltage changes, logical circuits briefly dissipate power (usually a fixed amount). We call this the dynamic power. The power-delay product (PDP) is the dissipated energy per switching cycle. This quantity can be viewed as the sum of the individual switching events occurring during the cycle. The PDP is then connected to the switching time, whereby it is connected to the processors’ heat generation and clock rate.</p><p>To calculate the PDP, let us consider the following thought experiment (<xref ref-type="fig" rid="fig1">Figure 1</xref>). The two switches are always in alternating positions. If I is the current, U<sub>out</sub> is the output voltage and U<sub>0</sub> is the “upper” voltage, than the energy W required to charge the capacitor is [<xref ref-type="bibr" rid="scirp.81046-ref2">2</xref>]</p><p>W = ∫ 0 τ / 2 I ( U 0 − U o u t ) d t . (1)</p><p>It is easy to calculate I during this event as [<xref ref-type="bibr" rid="scirp.81046-ref2">2</xref>]</p><p>I = C d U o u t d t , (2)</p><p>There equations related to experiment based on <xref ref-type="fig" rid="fig1">Figure 1</xref> are describing the charge-discharge processes on base of classical electronics.</p><p>where C is the capacitance. Combining these equations yields</p><p>W = C U 0 2 / 2 . (3)</p><p>This is only the first half of a switching cycle. For the second half it can be shown that the result is the same, so that the power-delay product in this case is [<xref ref-type="bibr" rid="scirp.81046-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.81046-ref4">4</xref>]</p><p>P D P = C U 0 2 . (4)</p><p>The time needed to perform the former cycle is [<xref ref-type="bibr" rid="scirp.81046-ref1">1</xref>]</p><p>τ = C U 0 / I . (5)</p></sec><sec id="s3"><title>3. Scaling Limits</title><p>We are closing in on the limit of Moore’s 1<sup>st</sup> law (the 2<sup>nd</sup> will probably last longer). A good example why we cannot go on much longer with the exponential growth of the hardware’s “device density” is the problem of conductances. The Moore’ law―nowadays―looks like a bit problematique because the linewidth decreasing speed is NOT fully synchronized with density increasing speed.</p><sec id="s3_1"><title>3.1. Electrostatic Control</title><p>To have adequate control over the charge in a channel, it is necessary to maintain a distance of l ≪ L , where L is the channel length and l is the thickness of the insulator. Unfortunately, l today is close to 1 nm, which means that the insulator is only several atoms thick. This places severe demands on the insulators [<xref ref-type="bibr" rid="scirp.81046-ref5">5</xref>] .</p></sec><sec id="s3_2"><title>3.2. Power Density</title><p>Removal of the heat generated by an integrated circuit has become perhaps the crucial constraint on the performance of modern electronics. The fundamental limit of the power density appears to be approximately 1000 W/cm<sup>2</sup>. A power density of 790 W/cm<sup>2</sup> has already been achieved by using water cooling of a uniformly heated Si substrate with embedded micro channels (Note that the Sun’s surface is around 6000 W/cm<sup>2</sup>) [<xref ref-type="bibr" rid="scirp.81046-ref6">6</xref>] .</p></sec></sec><sec id="s4"><title>4. Minimal Energy Dissipated Per Bit</title><p>To calculate the minimal energy required to generate a single bit of information, we need the entropy,</p><p>S = k ⋅ ln ( Ω ) , (6)</p><p>where k is the Boltzmann constant and Ω is the degeneracy of the state. A more practical form of this quantity in binary fashioned systems is Shannon’s entropy [<xref ref-type="bibr" rid="scirp.81046-ref7">7</xref>] ,</p><p>H = log 2 Ω , (7)</p><p>which means Ω = 2<sup>H</sup>. Information from our viewpoint of humanity is the direct opposite of entropy: the larger the entropy, the more chaotic our system is. On the other hand, we are only able to gain more information from less chaotic (or more organized) systems.</p><p>To define the information quantitatively, we need further assumptions. Let us view the system (that we try to gain information from) as a set of events (or messages, or sometimes states). These messages have probabilities. Following Shannon’s approach [<xref ref-type="bibr" rid="scirp.81046-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.81046-ref8">8</xref>] , the definition of information (i) is</p><p>i j = − log 2 p j , (8)</p><p>where p is the probability of the j<sup>th</sup> event that the message represents. We can see from this definition that a message is more valuable if it is more unlikely. Sometimes this quantity is also referred to as the uncertainty of the state. Usually the probabilities are equal, p j = 1 / N , where N is the number of possible events.</p><p>It can be shown that the formerly mentioned entropy can be also calculated with information i<sub>j</sub> [<xref ref-type="bibr" rid="scirp.81046-ref8">8</xref>] :</p><p>H = ∑ j p j ⋅ i j . (9)</p><p>Computation is an information producing event, where it decreases the entropy of the computer. According to the 2<sup>nd</sup> law of thermodynamics, the whole universe’s entropy may only increase. Labeling the environment as “e” and the computer as “c”, this statement can be expressed as</p><p>Δ S = Δ S e + Δ S c ≥ 0 , (10)</p><p>which means that the traditional computation is an irreversible process. We obtain the heat by multiplying both sides by the temperature [<xref ref-type="bibr" rid="scirp.81046-ref6">6</xref>] :</p><p>Δ Q = T ⋅ Δ S e ≥ − T ⋅ Δ S c (11)</p><p>Combining this with Equations ((6) and (7)), we obtain [<xref ref-type="bibr" rid="scirp.81046-ref9">9</xref>]</p><p>Δ Q ≥ − k T ⋅ Δ H c ⋅ ln ( 2 ) . (12)</p><p>This means that we need at least kTln(2) of energy to generate a bit of information, which is the Shannon-Neumann-Landauer (SNL) limit. It is possible to interpret this result as the maximal efficiency of the information generating cycle. If we assume that the full energy invested is kT, then this efficiency is η = ln ( 2 ) = 0. 693 . Applying Heisenberg’s uncertainty principle to the SNL limit [<xref ref-type="bibr" rid="scirp.81046-ref5">5</xref>] ,</p><p>E min τ ≥ ℏ , (13)</p><p>we get τ<sub>min</sub> ≈ 0.04 ps [<xref ref-type="bibr" rid="scirp.81046-ref3">3</xref>] , although this theory is not proven so far.</p></sec><sec id="s5"><title>5. Pursued Fields to Bypass the Limits</title><p>● Reversible computing (noise immunity is the main problem) [<xref ref-type="bibr" rid="scirp.81046-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.81046-ref10">10</xref>] .</p><p>● New information tokens (spin of an electron, photons, etc.) [<xref ref-type="bibr" rid="scirp.81046-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.81046-ref11">11</xref>] .</p><p>● Integration: switching from 2D circuits to 3D would increase the performance (If we are able to cool these 3D systems...) [<xref ref-type="bibr" rid="scirp.81046-ref3">3</xref>] .</p><p>● Architecture.</p></sec><sec id="s6"><title>Cite this paper</title><p>Guba, T., N&#225;nai, L. and George, T.F. (2017) Physical Limits of Computation. Journal of Quantum Information Science, 7, 155-159. https://doi.org/10.4236/jqis.2017.74012</p></sec></body><back><ref-list><title>References</title><ref id="scirp.81046-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Markov, L.L. (2014) Limits on Fundamental Limits to Computation. Nature, 512, 147-154 https://doi.org/10.1038/nature13570</mixed-citation></ref><ref id="scirp.81046-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Hevesi, I. (1998) Theory of Electricity. Hungarian National Textbook Publisher, Budapest.</mixed-citation></ref><ref id="scirp.81046-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Baldo, M. (2011) Introduction to Nanoelectronics. MIT OpenCourseWare Publication.</mixed-citation></ref><ref id="scirp.81046-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Singh, A.K. (2011) Electronic Devices and Integrated Circuits. PHI Learning Pvt. Ltd., Delhi.</mixed-citation></ref><ref id="scirp.81046-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Stathis, J.H. (2002) Reliability Limits for the Gate Insulator in CMOS technology. IBM Journal of Research and Development, 46, 265-286.https://doi.org/10.1147/rd.462.0265</mixed-citation></ref><ref id="scirp.81046-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Heo, S., Barr, K. and Asanovic. K. (2003) Reducing Power Density through Activity Migration. Proceedings of the 2003 International Symposium on Low Power Electronics and Design, Seoul, 25-27 August 2003, 217-222. https://doi.org/10.1145/871506.871561</mixed-citation></ref><ref id="scirp.81046-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Feynman, R.P., Hey, J.G. and Allen, R.W. (1998) Feynman Lectures on Computation. Addison-Wesley Longman Publishing Co., Boston.</mixed-citation></ref><ref id="scirp.81046-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Shannon, C.E. (2001) A Mathematical Theory of Communication. ACM SIGMOBILE Mobile Computing and Communications Review, 5, 3-55. https://doi.org/10.1145/584091.584093</mixed-citation></ref><ref id="scirp.81046-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Lloyd, S. (2000) Ultimate Physical Limits to Computation. Nature, 406, 1047-1054.https://doi.org/10.1038/35023282</mixed-citation></ref><ref id="scirp.81046-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Bennett, C.H., and Landauer, R. (1985) The Fundamental Physical Limits of Computation. Scientific American, 253, 48-56. https://doi.org/10.1038/scientificamerican0785-48</mixed-citation></ref><ref id="scirp.81046-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Norton, J.D. (2005) Eaters of the Lotus: Landauer’s Principle and the Return of Maxwell’s Demon. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 36, 375-411. https://doi.org/10.1016/j.shpsb.2004.12.002</mixed-citation></ref></ref-list></back></article>