El principio de Landauer es un principio físico que se refiere a un límite teórico inferior del consumo de energía en la computación . Sostiene que un cambio irreversible en la información almacenada en una computadora, como la fusión de dos rutas de cálculo, disipa una cantidad mínima de calor a su entorno. [ 1 ] Se plantea la hipótesis de que un consumo de energía inferior a este límite requeriría el desarrollo de la computación reversible .
Este principio fue propuesto por primera vez por Rolf Landauer en 1961.
Declaración
El principio de Landauer establece que la energía mínima necesaria para borrar un bit de información es proporcional a la temperatura a la que opera el sistema. Específicamente, la energía necesaria para esta tarea computacional viene dada por
dóndees la constante de Boltzmann yes la temperatura absoluta . [ 2 ] A temperatura ambiente , el límite de Landauer representa una energía de aproximadamente 0,018 eV (2,9 × 10 −21 J) . A partir de 2012 , las computadoras modernas utilizan aproximadamente mil millones de veces más energía por operación. [ 3 ] [ 4 ]
Historia
Rolf Landauer propuso por primera vez este principio en 1961 mientras trabajaba en IBM . [ 5 ] Justificó y estableció límites importantes a una conjetura anterior de John von Neumann . Este refinamiento se conoce a veces como límite de Landauer.
En 2008 y 2009, los investigadores demostraron que el principio de Landauer puede derivarse de la segunda ley de la termodinámica y del cambio de entropía asociado a la ganancia de información, desarrollando la termodinámica de los sistemas de control por retroalimentación cuánticos y clásicos. [ 6 ] [ 7 ]
En 2011, el principio se generalizó para demostrar que, si bien el borrado de información requiere un aumento de la entropía, este aumento podría ocurrir teóricamente sin costo energético. [ 8 ] En cambio, el costo puede tomarse en otra cantidad conservada , como el momento angular .
En un artículo publicado en Nature en 2012 , un equipo de físicos de la École normale supérieure de Lyon , la Universidad de Augsburgo y la Universidad de Kaiserslautern describió que, por primera vez, habían medido la pequeña cantidad de calor liberada cuando se borra un bit de datos individual. [ 9 ]
En 2014, experimentos físicos pusieron a prueba el principio de Landauer y confirmaron sus predicciones. [ 10 ]
En 2016, investigadores utilizaron una sonda láser para medir la cantidad de energía disipada cuando un bit nanomagnético cambiaba de estado (apagado a encendido). Cambiar el estado del bit requería aproximadamente 0,026 eV (4,2 × 10⁻²¹ J) a 300 K, lo que representa solo un 44 % por encima del mínimo de Landauer. [ 11 ]
Un artículo de 2018 publicado en Nature Physics presenta un borrado de Landauer realizado a temperaturas criogénicas ( T = 1 K) en una matriz de imanes moleculares cuánticos de alto espín ( S = 10) . La matriz está diseñada para actuar como un registro de espín donde cada nanoimán codifica un solo bit de información. [ 12 ] El experimento ha sentado las bases para la extensión de la validez del principio de Landauer al ámbito cuántico. Debido a la rápida dinámica y la baja "inercia" de los espines individuales utilizados en el experimento, los investigadores también demostraron cómo se puede llevar a cabo una operación de borrado al menor costo termodinámico posible —el impuesto por el principio de Landauer— y a alta velocidad. [ 12 ] [ 1 ]
Desafíos
El principio es ampliamente aceptado como ley física , pero ha sido cuestionado por utilizar razonamiento circular y supuestos erróneos. [ 13 ] [ 14 ] [ 15 ] [ 16 ] Otros [ 1 ] [ 17 ] [ 18 ] han defendido el principio, y Sagawa y Ueda (2008) [ 6 ] y Cao y Feito (2009) [ 7 ] han demostrado que el principio de Landauer es una consecuencia de la segunda ley de la termodinámica y la reducción de entropía asociada con la ganancia de información.
Por otro lado, los avances recientes en física estadística de no equilibrio han establecido que no existe una relación a priori entre la reversibilidad lógica y la termodinámica. [ 19 ] Es posible que un proceso físico sea lógicamente reversible pero termodinámicamente irreversible. También es posible que un proceso físico sea lógicamente irreversible pero termodinámicamente reversible. En el mejor de los casos, los beneficios de implementar un cálculo con un sistema lógicamente reversible son complejos. [ 20 ]
Véase también
- Límite de velocidad cuántica
- Límite de Bremermann
- Bekenstein estaba atado
- complejidad de Kolmogorov
- Entropía en termodinámica y teoría de la información.
- teoría de la información
- Igualdad de Jarzynski
- Límites de la computación
- Tesis sobre la mente extendida
- El demonio de Maxwell
- Ley de Koomey
- Teorema de no eliminación
Referencias
- 1 2 3 Charles H. Bennett (2003), "Notas sobre el principio de Landauer, la computación reversible y el demonio de Maxwell" (PDF) , Estudios en historia y filosofía de la física moderna , 34 (3): 501– 510, arXiv : physics/0210005 , Bibcode : 2003SHPMP..34..501B , doi : 10.1016/S1355-2198(03)00039-X , S2CID 9648186 , consultado el 18 de febrero de 2015 .
- ↑ Vitelli, MB; Plenio, V. (2001). "La física del olvido: el principio de borrado de Landauer y la teoría de la información" (PDF) . Contemporary Physics . 42 (1): 25– 60. arXiv : quant-ph/0103108 . Bibcode : 2001ConPh..42...25P . doi : 10.1080/00107510010018916 . eISSN 1366-5812 . hdl : 10044/1/435 . ISSN 0010-7514 . S2CID 9092795 .
- ↑ Thomas J. Thompson. "Las memorias nanomagnéticas se acercan al límite de baja potencia" . Bloomfield Knoble . Archivado del original el 19 de diciembre de 2014. Consultado el 5 de mayo de 2013 .
- ↑ Samuel K. Moore (14 de marzo de 2012). "Límite de Landauer demostrado" . IEEE Spectrum . Consultado el 5 de mayo de 2013 .
- ↑ Rolf Landauer (1961), "Irreversibilidad y generación de calor en el proceso de computación" (PDF) , IBM Journal of Research and Development , 5 (3): 183–191 , doi : 10.1147/rd.53.0183 , consultado el 18 de febrero de 2015..
- 1 2 Sagawa, Takahiro; Ueda, Masahito (2008-02-26). "Segunda ley de la termodinámica con control de retroalimentación cuántica discreta" . Physical Review Letters . 100 (8) 080403. arXiv : 0710.0956 . Bibcode : 2008PhRvL.100h0403S . doi : 10.1103/PhysRevLett.100.080403 . PMID 18352605. S2CID 41799543 .
- 1 2 Cao, FJ; Feito, M. (2009-04-10). "Termodinámica de sistemas controlados por retroalimentación" . Physical Review E. 79 ( 4) 041118. arXiv : 0805.4824 . Bibcode : 2009PhRvE..79d1118C . doi : 10.1103/PhysRevE.79.041118 . PMID 19518184. S2CID 30188109 .
- ↑ Joan Vaccaro; Stephen Barnett (8 de junio de 2011), "Borrado de información sin coste energético", Proc. R. Soc. A , 467 (2130): 1770– 1778, arXiv : 1004.5330 , Bibcode : 2011RSPSA.467.1770V , doi : 10.1098/rspa.2010.0577 , S2CID 11768197 .
- ↑ Antoine Bérut; Artak Arakelyan; Artyom Petrosyan; Sergio Ciliberto; Raoul Dillenschneider; Eric Lutz (8 de marzo de 2012), "Verificación experimental del principio de Landauer que vincula la información y la termodinámica" (PDF) , Nature , 483 (7388): 187–190 , arXiv : 1503.06537 , Bibcode : 2012Natur.483..187B , doi : 10.1038/nature10872 , PMID 22398556 , S2CID 9415026 .
- ↑ Yonggun Jun; Momčilo Gavrilov; John Bechhoefer (4 de noviembre de 2014), "Prueba de alta precisión del principio de Landauer en una trampa de retroalimentación", Physical Review Letters , 113 (19) 190601, arXiv : 1408.5089 , Bibcode : 2014PhRvL.113s0601J , doi : 10.1103/PhysRevLett.113.190601 , PMID 25415891 , S2CID 10164946 .
- ↑ Hong, Jeongmin; Lambson, Brian; Dhuey, Scott; Bokor, Jeffrey (2016-03-01). "Prueba experimental del principio de Landauer en operaciones de un solo bit en bits de memoria nanomagnética" . Science Advances . 2 (3) e1501492. Bibcode : 2016SciA....2E1492H . doi : 10.1126/sciadv.1501492 . ISSN 2375-2548 . PMC 4795654. PMID 26998519 . .
- ^ Rocco Gaudenzi; Enrique Burzuri; Satoru Maegawa; Herré van der Zant; Fernando Luis (19 de marzo de 2018), "Borrado cuántico de Landauer con un nanoimán molecular" , Nature Physics , 14 (6): 565– 568, Bibcode : 2018NatPh..14..565G , doi : 10.1038/s41567-018-0070-7 , hdl : 10261/181265 , S2CID 125321195 .
- ↑ Earman, John; Norton, John (diciembre de 1998). "El exorcista XIV: La ira del demonio de Maxwell. Parte I. De Maxwell a Szilard" . Estudios en historia y filosofía de la ciencia Parte B: Estudios en historia y filosofía de la física moderna . 29 (4): 435– 471. Bibcode : 1998SHPMP..29..435E . doi : 10.1016/S1355-2198(98)00023-9 . Recuperado el 15 de noviembre de 2024 .
- ↑ Shenker, Orly R. (junio de 2000). "Lógica y entropía [ preimpresión ] " . Archivo PhilSci . Archivado del original el 15 de noviembre de 2023. Recuperado el 20 de diciembre de 2023 .
- ↑ Norton, John D. (junio de 2005). "Comedores del loto: el principio de Landauer y el regreso del demonio de Maxwell" . Estudios en Historia y Filosofía de la Ciencia Parte B: Estudios en Historia y Filosofía de la Física Moderna . 36 (2): 375– 411. Bibcode : 2005SHPMP..36..375N . doi : 10.1016/j.shpsb.2004.12.002 . S2CID 21104635. Archivado del original el 5 de junio de 2023. Recuperado el 20 de diciembre de 2023 .
- ↑ Norton, John D. (agosto de 2011). "Esperando a Landauer" (PDF) . Estudios en Historia y Filosofía de la Ciencia Parte B: Estudios en Historia y Filosofía de la Física Moderna . 42 (3): 184– 198. Bibcode : 2011SHPMP..42..184N . doi : 10.1016/j.shpsb.2011.05.002 . Recuperado el 20 de diciembre de 2023 .
- ↑ Ladyman, James ; Presnell, Stuart; Short, Anthony J.; Groisman, Berry (marzo de 2007). "La conexión entre la irreversibilidad lógica y termodinámica" . Estudios en Historia y Filosofía de la Ciencia Parte B: Estudios en Historia y Filosofía de la Física Moderna . 38 (1): 58–79 . Bibcode : 2007SHPMP..38...58L . doi : 10.1016/j.shpsb.2006.03.007 . Consultado el 20 de diciembre de 2023 .
- ↑ Jordan, Andrew; Manikandan, Sreenath (12 de diciembre de 2019). "Some Like It Hot" . Inference: International Review of Science . 5 (1). doi : 10.37282/991819.19.82 . S2CID 241470079 .
- ↑ Takahiro Sagawa (2014), "Reversibilidades termodinámicas y lógicas revisitadas", Journal of Statistical Mechanics: Theory and Experiment , 2014 (3): 03025, arXiv : 1311.1886 , Bibcode : 2014JSMTE..03..025S , doi : 10.1088/1742-5468/2014/03/P03025 , S2CID 119247579 .
- ↑ David H. Wolpert (2019), "Termodinámica estocástica de la computación", Journal of Physics A: Mathematical and Theoretical , 52 (19): 193001, arXiv : 1905.05669 , Bibcode : 2019JPhA...52s3001W , doi : 10.1088/1751-8121/ab0850 , S2CID 126715753 .
Lecturas adicionales
- Prokopenko, Mikhail; Lizier, Joseph T. (2014), "Entropía de transferencia y límites transitorios de la computación", Scientific Reports , 4 (1): 5394, Bibcode : 2014NatSR...4.5394P , doi : 10.1038/srep05394 , PMC 4066251 , PMID 24953547
Enlaces externos
- Debate público sobre la validez del principio de Landauer (conferencia Temas candentes en informática física, 12 de noviembre de 2013).
- Artículo introductorio sobre el principio de Landauer y la computación reversible.
- Maroney, OJE " Procesamiento de la información y entropía termodinámica " La enciclopedia de filosofía de Stanford.
- Eurekalert.org: "La memoria magnética y la lógica podrían lograr la máxima eficiencia energética" , 1 de julio de 2011
- entropía termodinámica
- Entropía e información
- Filosofía de la física térmica y estadística
- Principios
- Límites de la computación