Principio de Landauer
El principio de Landauer es un principio físico que concierne a una cuota inferior teórica para el consumo de energía de la computación. Establece que "cualquier manipulación lógicamente irreversible de información, tal como la eliminación de un bit, o el fusionando de dos caminos de computación, tiene que ser acompañada por un aumento de entropía correspondiente en grados de libertad que no contienen información del aparato que procesa dicha información, o de su entorno".[1]
Otra manera de frasear el principio de Landauer es que si un observador pierde información sobre un sistema físico, el observador pierde la capacidad de extraer trabajo de aquél sistema.
Una computación lógicamente reversible, en la cual ninguna información es borrada, puede en principio ser llevada a cabo sin liberar cualquier calor. Esto ha llevado a un interés considerable en el estudio de computación reversible. De hecho, sin computación reversible, todo aumento en el número de computaciones por joule de energía disipado debe detenerse en algún momento.
En 20 °C (temperatura de habitación, o 293.15 K), el límite de Landauer representa una cantidad de energía de aproximadamente 0.0175 eV, o 2.805 zJ. Teóricamente, la memoria de un ordenador en un lugar con temperatura de habitación que opera en el límite de Landauer podría ser cambiado a una razón de un billón de bits por segundo (1 Gbit/s), siendo la energía convertida para calentar en los medios de comunicación de memoria en una razón de sólo 2.805 trillionésimas de un vatio (esto es, a una razón de sólo 2.805 pJ/s). Millones de usuarios de ordenadores modernos utilizan un millón de veces esa energía por segundo.[2][3]
Historia
Rolf Landauer propuso por primera vez este principio en 1961 mientras trabajaba en IBM.[4] Justificó y estableció límites importantes para una conjetura formulada anteriormente por John von Neumann. Por esta razón, a veces es referido como simplemente la cuota de Landauer, o el límite de Landauer.
En 2011, este principio fue generalizado para mostrar que mientras que borrar información requiere un aumento en entropía, este aumento teóricamente podría ocurrir bajo ningún coste de energía.[5] En cambio, el coste puede ser tomado en otra cantidad física conservada, como momento angular.
En un artículo publicado en el 2012 en la revista Nature, un equipo de físicos del École normale supérieure de Lyon, de la Universidad de Augsburgo y de la Universidad de Kaiserslautern describió que por primera vez habían medido la cantidad minúscula de calor que es liberado cuando un bit de información individual es borrado.[6]
En 2014, una serie de experimentos físicos probaron el principio de Landauer y confirmaron sus predicciones.[7]
En 2016, unos investigadores utilizaron una proba de láser para medir la cantidad de disipación de energía que resultaba cuando un bit nanomagnético cambiaba de prendido a apagado. Cambiar el estado del bit requirió 26 millielectrovolteos (4.2 zeptojulios).[8]
Un artículo publicado en 2018 en Nature Physics presenta una borradura de Landauer realizada en temperaturas criogénicas (T = 1 K) en un arreglo de imanes moleculares cuánticos de alto-espín (S = 10). El arreglo está hecho para actuar como un registro de espín donde cada nanomagneto codifica un solo bit de información.[9] Este experimento ha dejado las bases para la extensión de la validez del principio de Landauer dentro del mundo cuántico. A causa de la dinámica rápida y la "inercia baja" de los espines individuales utilizados en el experimento, los investigadores también mostraron cómo una operación de borradura puede ser llevada a cabo mediante el coste termodinámico más bajo posible— impuesto por el Landauer principio—y a una velocidad alta.[9]
Racionalización
El principio de Landauer puede ser entendido como una consecuencia lógica sencilla del segundo principio de la termodinámica —que establece que la entropía de un sistema aislado no puede disminuir—junto con la definición de temperatura termodinámica. Ya que, si el número de los estados lógicos posibles de una computación fueran a disminuir conforme la computación proceda (irreversibilidad lógica), esto constituiría una disminución de entropía no admisible, a no ser que el número de los estados físicos posibles que corresponden a cada estado lógico fueran a aumentar simultáneamente por al menos una cantidad compensadora, de modo que el número total de estados físicos posibles fuera no más pequeño que lo que era originalmente (i.e. la entropía total ha no disminuido).
Sin embargo, un aumento en el número de estados físicos que corresponden a cada estado lógico implica que, para un observador que está manteniendo la pista del estado lógico del sistema pero no el estado físico (por ejemplo un "observador" que consiste en el ordenador mismo), el número de estados físicos posibles ha aumentado; en otras palabras, la entropía ha aumentado desde el punto de vista de este observador.
La entropía máxima de un sistema físico acotado es finita. (Si el principio holográfico es correcto, entonces los sistemas físicos con área de superficie finita tienen una entropía máxima finita; pero independiente de la veracidad del principio holográfico, la teoría de campo cuántico establece que la entropía de sistemas con energía y radio finitos debe ser finita, como consecuencia de la cuota de Bekenstein.) Para evitar lograr esta cuota máxima sobre el curso de una computación extendida, la entropía finalmente tiene que ser expulsada a un entorno exterior.
Ecuación
El principio de Landauer afirma que hay una cantidad mínima posible de energía requerida para borrar un bit de información, conocido como el límite de Landauer:
donde es la constante de Boltzmann (aproximadamente 1.38×10−23 J/K), es la temperatura de disipador de calor en kelvins, y es el logaritmo natural de 2 (aproximadamente 0.69315). Después de establecer el valor de igual a la temperatura de habitación 20 °C (293.15 K), podemos conseguir el límite de Landauer de 0.0175 eV (2.805 zJ) por bit borrado.
La ecuación puede ser deducida a partir de la fórmula de entropía de Boltzmann (), considerando que es el número de estados del sistema, el en el caso de un bit es 2, y la entropía está definida como . Así que la operación de borrar un bit solo aumenta la entropía de un valor de al menos , emitiendo en el entorno una cantidad de energía igual o más grande que .
Retos
El principio es ampliamente aceptado como una ley física, pero en años recientes ha sido desafiado por utilizar razonamiento circular y por asunciones falsas, notablemente en Earman y Norton (1998), y posteriormente en Shenker (2000)[10] y Norton (2004[11], 2011[12]), y defendido por Bennett (2003)[13], Ladyman et al. (2007)[14], y por Jordania y Manikandan (2019)[15].
Por otro lado, avances recientes en físicas estadísticas de no-equilibrio han establecido que no hay ninguna relación a priori entre reversibilidad lógica y termodinámica.[16] Es posible que un proceso físico es lógicamente reversible pero termodinámicamente irreversible. Es también posible que un proceso físico es lógicamente irreversible pero termodinámicamente reversible. En el mejor caso, los beneficios de implementar una computación con un sistema lógicamente reversible están matizados.[17]
En 2016, investigadores en la Universidad de Perugia aseveraron haber demostrado una violación del principio de Landauer.[18] Aun así, según Laszlo Kish (2016)[19], sus resultados son inválidos porque "desatienden la fuente dominante de disipación de energía, es decir, la energía de carga de la capacitancia del electrodo de entrada".
Véase también
- Teorema de Margolus–Levitin
- Límite de Bremermann
- Frontera Bekenstein
- Complejidad de Kolmogorov
- Entropía en termodinámicas y teoría de la información
- Teoría de la información
- Igualdad de Jarzynski
- Límites a computación
- Tesis de la mente extendida
- El demonio de Maxwell
- Ley de Koomey
Referencias
- ↑ Charles H. Bennett (2003), «Notes on Landauer's principle, Reversible Computation and Maxwell's Demon», Studies in History and Philosophy of Modern Physics 34 (3): 501-510, Bibcode:2003SHPMP..34..501B, doi:10.1016/S1355-2198(03)00039-X, consultado el 18 de febrero de 2015 ..
- ↑ Thomas J. Thompson. «Nanomagnet memories approach low-power limit». bloomfield knoble. Archivado desde el original el 19 de diciembre de 2014. Consultado el 5 de mayo de 2013.
- ↑ Samuel K. Moore (14 de marzo de 2012). «Landauer Limit Demonstrated». IEEE Spectrum. Consultado el 5 de mayo de 2013.
- ↑ Rolf Landauer (1961), «Irreversibility and heat generation in the computing process», IBM Journal of Research and Development 5 (3): 183-191, doi:10.1147/rd.53.0183, consultado el 18 de febrero de 2015 ..
- ↑ Joan Vaccaro; Stephen Barnett (8 de junio de 2011), «Information Erasure Without an Energy Cost», Proc. R. Soc. A 467 (2130): 1770-1778, Bibcode:2011RSPSA.467.1770V, doi:10.1098/rspa.2010.0577 ..
- ↑ Antoine Bérut; Artak Arakelyan; Artyom Petrosyan; Sergio Ciliberto; Raoul Dillenschneider; Eric Lutz (8 de marzo de 2012), «Experimental verification of Landauer's principle linking information and thermodynamics», Nature 483 (7388): 187-190, Bibcode:2012Natur.483..187B, PMID 22398556, doi:10.1038/nature10872 ..
- ↑ Yonggun Jun; Momčilo Gavrilov; John Bechhoefer (4 de noviembre de 2014), «High-Precision Test of Landauer's Principle in a Feedback Trap», Physical Review Letters 113 (19): 190601, Bibcode:2014PhRvL.113s0601J, PMID 25415891, doi:10.1103/PhysRevLett.113.190601 ..
- ↑ Hong, Jeongmin; Lambson, Brian; Dhuey, Scott; Bokor, Jeffrey (1 de marzo de 2016). «Experimental test of Landauer's principle in single-bit operations on nanomagnetic memory bits». Science Advances (en inglés) 2 (3): e1501492. Bibcode:2016SciA....2E1492H. ISSN 2375-2548. PMC 4795654. PMID 26998519. doi:10.1126/sciadv.1501492. .
- ↑ a b Rocco Gaudenzi; Enrique Burzuri; Satoru Maegawa; Herre van der Zant; Fernando Luis (19 de marzo de 2018), «Quantum Landauer erasure with a molecular nanomagnet», Nature Physics 14 (6): 565-568, Bibcode:2018NatPh..14..565G, doi:10.1038/s41567-018-0070-7 ..
- ↑ Logic and Entropy. Critique by Orly Shenker (2000).
- ↑ Eaters of the Lotus. Critique by John Norton (2004).
- ↑ Waiting for Landauer. Response by Norton (2011).
- ↑ Charles H. Bennett (2003), «Notes on Landauer's principle, Reversible Computation and Maxwell's Demon», Studies in History and Philosophy of Modern Physics 34 (3): 501-510, Bibcode:2003SHPMP..34..501B, doi:10.1016/S1355-2198(03)00039-X, consultado el 18 de febrero de 2015 ..
- ↑ The Connection between Logical and Thermodynamic Irreversibility. Defense by Ladyman et al. (2007).
- ↑ Some Like It Hot. Letter to the Editor in reply to Norton's article by A. Jordan and S. Manikandan (2019).
- ↑ Takahiro Sagawa (2014), «Thermodynamic and logical reversibilities revisited», Journal of Statistical Mechanics: Theory and Experiment 2014 (3): 03025, Bibcode:2014JSMTE..03..025S, doi:10.1088/1742-5468/2014/03/P03025 ..
- ↑ David H. Wolpert (2019), «Stochastic thermodynamics of computation», Journal of Physics A: Mathematical and Theoretical 52 (19): 193001, Bibcode:2019JPhA...52s3001W, doi:10.1088/1751-8121/ab0850 ..
- ↑ «Computing study refutes famous claim that 'information is physical'». m.phys.org.
- ↑ Laszlo Bela Kish (2016). «Comments on 'Sub-kBT Micro-Electromechanical Irreversible Logic Gate'». Fluctuation and Noise Letters 14 (4): 1620001-1620194. Bibcode:2016FNL....1520001K. arXiv:1606.09493. doi:10.1142/S0219477516200017. Consultado el 8 de marzo de 2020.
Lectura relacionada
- «Transfer entropy and transient limits of computation», Scientific Reports 4, 2014: 5394, Bibcode:2014NatSR...4E5394P, PMC 4066251, PMID 24953547, doi:10.1038/srep05394 .
Enlaces externos
- Debate público sobre la validez de el principio de Landauer (conferencia Hot Topics in Physical Informatics, 12 de noviembre del 2013) Archivado el 4 de marzo de 2016 en Wayback Machine.
- Artículo introductorio sobre el principio de Landauer y la computación reversible
- 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 julio de 2011
Datos: Q657486