Principio de Landauer
O Principio de Landauer, exposto por vez primeira en 1961[1] por Rolf Landauer, da IBM, é un principio físico que atinxe ao límite inferior teórico do consumo enerxético da computación. Establece que "calquera manipulación loxicamente irreversíbel de información física, tal como o borrado dun bit ou a fusión de dúas rotas computacionais, debe estar acompañada por un incremento correspondente de entropía nos graos de liberdade non portadores de información do aparato procesador de información ou o seu entorno". (Bennett 2003)[2]
O principio de Landauer afirma que existe unha cantidade mínima posíbel de enerxía para poder borrar un bit de información, coñecida como o Límite de Landauer:
,
onde k é a constante de Boltzmann (aproximadamente 1.38×10−23 J/K), T é a temperatura do circuíto en graos kelvin, e ln 2 é o logaritmo natural de 2 (aproximadamente 0.69315).
Outro xeito de enunciar o principio de Landauer é que se un observador perde información acerca dun sistema físico, dito observador perde a capacidade de extraer traballo dese sistema.
A 20 °C (temperatura ambiente, ou 293,15 K), o límite de Landauer corresponde a unha enerxía de aproximadamente 0 0172 eV, ou 2 75 zeptojoule (10−21J). Teoricamente, unha memoria de computador a temperatura ambiente que opere no límite de Landauer podería cambiar a unha velocidade de mil millóns (109) de bits por segundo, consumindo só 2,85 billonésimas (2 85x10−12) de vatio o propio elemento de memoria. Os computadores modernos consomen millóns de veces esa enerxía.[3][4][5]
Se ningunha información é borrada, podería en principio conseguirse unha computación que sexa termodinamicamente reversíbel, sen requirir ningunha disipación de calor. Por isto, ten xurdido un grande interese no estudo da computación reversíbel.
Experimentos físicos recentes veñen de probar e confirmar as predicións de Landauer.[6][7]
Fundamentos
[editar | editar a fonte]O principio de Landauer pódese entender como unha consecuencia lóxica da Segunda Lei da Termodinámica, que establece que a entropía dun sistema illado non pode decrecer, xunto coa definición de temperatura absoluta. For, se o número de estados icos posíbeis dunha computación fosen decrecendo ao tempo que a computación avanza (irreversibilidade ica), isto constituiría unha diminución de entropía, prohibida pola devandita Lei, a non ser que o número de estados físicos posíbeis, correspondentes a cada estado ico, se fosen incrementando nunha cantidade que polo menos o compensase, de xeito que o número total de estados físicos posíbeis non fose menor do que era orixinalmente (de maneira que a entropía total non diminuíu).
Porén, un incremento do número de estados físicos correspondentes a cada estado ico significa que, para un observador que leve a conta do estado ico do sistema, pero non do seu estado físico (por exemplo, un "observador" que consista no propio computador), o número de estados físicos posíbeis terase incrementado; noutras verbas, a entropía incrementouse do punto de vista deste observador. A máxima entropía dun sistema físico limitado é finita. (Se o principio holográfico é correcto, entón os sistemas físicos cunha área superficial finita teñen unha entropía máxima finita; pero prescindindo de se o principio holográfico é verdade ou non, a teoría cuántica de campos dita que a entropía de sistemas con radio e enerxía finitos é tamén finita).[Cómpre referencia] Así que, para evitar acadar este máximo no transcurso dunha computación prolongada, a entropía debe ser eventualmente expulsada cara a un contorno exterior a unha certa temperatura T, debendo emitirse unha enerxía E = ST cara a ese contorno, se a cantidade acumulada de entropía é S. Para unha operación computacional na que 1 bit de información ica se perde, a cantidade de entropía xerada é como mínimo k ln 2, e a enerxía que debe ser eventualmente emitida ao contorno é E ≥ kT ln 2.
Esta expresión para a mínima disipación de enerxía dunha operación binaria icamente irreversíbel foi suxerida por primeira vez por John von Neumann, pero rigorosamente xustificada (e expoñendo importantes límites á súa aplicabilidade) por primeira vez por Landauer. Por este motivo é frecuente referirse a ela como límite de Landauer.
Desafíos
[editar | editar a fonte]O principio é amplamente aceptado como lei física; pero en anos recentes ten sido desafiada por varios, notabelmente en Earman e Norton (1998), e máis tarde en Shenker (2000)[8] e Norton (2004,[9] 2011[10]); e defendida por Bennett (2003)[2] e Ladyman et al. (2007).[11]
Existen ademais traballos teóricos que mostran que pode borrarse información sen custo enerxético[12] (podendo tomarse no seu lugar outra cantidade conservada, como o momento angular). Un aspecto importante deste traballo é un principio máis amplo relacionado co feito de que o borrado de información non é posíbel sen un aumento da entropía, independentemente de se hai custo enerxético.
Nun artigo publicado en Nature en 2012, un equipo de físicos da École normale supérieure de Lyon, a Universidade de Augsburg e a Universidade de Kaiserslautern describen como mediron por primeira vez a diminuta cantidade de calor emitida cando un bit individual de información é borrado.[6]
Notas
[editar | editar a fonte]- ↑ Rolf Landauer (1961). "Irreversibility and heat generation in the computing process" (PDF). IBM Journal of Research and Development 5 (3): 183–191. doi:10.1147/rd.53.0183. Consultado o 18-2-2015.
- ↑ 2,0 2,1 Charles H. Bennett (2003). "Notes on Landauer's principle, Reversible Computation and Maxwell's Demon" (PDF). Studies in History and Philosophy of Modern Physics 34 (3): 501–510. arXiv:physics/0210005. doi:10.1016/S1355-2198(03)00039-X. Consultado o 2015-02-18.
- ↑ "Tikalon Blog by Dev Gualtieri". Tikalon.com. Consultado o May 5, 2013.
- ↑ "Nanomagnet memories approach low-power limit | bloomfield knoble". Bloomweb.com. Arquivado dende o orixinal o 19 de decembro de 2014. Consultado o 5 de maio de 2013.
- ↑ "Landauer Limit Demonstrated - IEEE Spectrum". Spectrum.ieee.org. Consultado o May 5, 2013.
- ↑ 6,0 6,1 Antoine Bérut; Artak Arakelyan; Artyom Petrosyan; Sergio Ciliberto; Raoul Dillenschneider; Eric Lutz (8 March 2012). "Experimental verification of Landauer’s principle linking information and thermodynamics" (PDF). Nature 483 (7388): 187–190. Bibcode:2012Natur.483..187B. doi:10.1038/nature10872.
- ↑ Yonggun Jun; Momčilo Gavrilov; John Bechhoefer (4 de novembro de 2014). "High-Precision Test of Landauer's Principle in a Feedback Trap". Physical Review Letters 113 (19): 190601. Bibcode:2014PhRvL.113s0601J. arXiv:1408.5089. doi:10.1103/PhysRevLett.113.190601.
- ↑ Logic and Entropy Critique by Orly Shenker (2000)
- ↑ Eaters of the Lotus Critique by John Norton (2004)
- ↑ Waiting for Landauer Response by Norton (2011)
- ↑ The Connection between Logical and Thermodynamic Irreversibility Defense by Ladyman et al. (2007)
- ↑ Joan Vaccaro; Stephen Barnett (8 de xuño de 2011). "Information Erasure Without an Energy Cost" (PDF). Proc. R. Soc. A 467 (2130): 1770–1778. Bibcode:2011RSPSA.467.1770V. arXiv:1004.5330. doi:10.1098/rspa.2010.0577.
Véxase tamén
[editar | editar a fonte]Outros artigos
[editar | editar a fonte]Ligazóns externas
[editar | editar a fonte]- Public debate on the validity of Landauer's principle (conference Hot Topics in Physical Informatics, 12 de novembro de 2013)Arquivado 4 de marzo de 2016 en Wayback Machine.
- Introductory article on Landauer's principle and reversible computing
- Maroney, O.J.E. "Information Processing and Thermodynamic Entropy" The Stanford Encyclopedia of Philosophy.
- Eurekalert.org: "Magnetic memory and logic could achieve ultimate energy efficiency", 1 de xullo de 2011