Los límites de la computación están determinados por diversos factores. En particular, existen varios límites físicos y prácticos a la cantidad de computación o almacenamiento de datos que se puede realizar con una cantidad determinada de masa , volumen o energía .
límites de hardware o límites físicos
Densidad de procesamiento y memoria
- El límite de Bekenstein restringe la cantidad de información que se puede almacenar dentro de un volumen esférico a la entropía de un agujero negro con la misma superficie.
- La termodinámica limita el almacenamiento de datos de un sistema en función de su energía, número de partículas y modos de partículas. En la práctica, es una cota más fuerte que la cota de Bekenstein. [ 1 ]
Velocidad de procesamiento
- El límite de Bremermann es la velocidad computacional máxima de un sistema autónomo en el universo material, y se basa en restricciones de masa-energía frente a incertidumbre cuántica .
retrasos en la comunicación
- El teorema de Margolus-Levitin establece un límite para la velocidad máxima de cálculo por unidad de energía: 6 × 10³³ operaciones por segundo por julio . Sin embargo, este límite puede evitarse si se dispone de memoria cuántica . De este modo , se pueden diseñar algoritmos computacionales que requieran cantidades arbitrariamente pequeñas de energía/tiempo por cada paso de cálculo elemental. [ 2 ] [ 3 ]
Suministro de energía
- El principio de Landauer define un límite teórico inferior para el consumo de energía: kT ln 2 consumido por cambio de estado irreversible, donde k es la constante de Boltzmann y T es la temperatura de funcionamiento del ordenador. [ 4 ] La computación reversible no está sujeta a este límite inferior. T no puede, ni siquiera en teoría, ser inferior a 3 kelvin , la temperatura aproximada de la radiación cósmica de fondo de microondas , sin gastar más energía en refrigeración que la que se ahorra en computación. Sin embargo, en una escala de tiempo de 10 9 –10 10 años, la radiación cósmica de fondo de microondas disminuirá exponencialmente, lo que se ha argumentado que eventualmente permitirá 10 30 veces más cálculos por unidad de energía. [ 5 ] Partes importantes de este argumento han sido cuestionadas. [ 6 ]
Construir dispositivos que se acerquen a los límites físicos
Se han propuesto varios métodos para producir dispositivos informáticos o dispositivos de almacenamiento de datos que se aproximen a los límites físicos y prácticos:
- Una estrella fría degenerada podría utilizarse como un gigantesco dispositivo de almacenamiento de datos, perturbándola cuidadosamente a diversos estados excitados, de la misma manera que un átomo o un pozo cuántico se utilizan para estos fines. Dicha estrella tendría que construirse artificialmente, ya que ninguna estrella degenerada natural se enfriará a esta temperatura durante un tiempo extremadamente largo. También es posible que los nucleones en la superficie de las estrellas de neutrones puedan formar "moléculas" complejas, [ 7 ] que algunos han sugerido que podrían utilizarse para fines computacionales, [ 8 ] creando un tipo de computronio basado en femtotecnología , que sería más rápido y denso que el computronio basado en nanotecnología .
- Puede ser posible usar un agujero negro como dispositivo de almacenamiento de datos o de computación, si se encuentra un mecanismo práctico para extraer la información contenida. En principio, dicha extracción puede ser posible ( la solución propuesta por Stephen Hawking a la paradoja de la información del agujero negro ). Esto lograría una densidad de almacenamiento exactamente igual al límite de Bekenstein . Seth Lloyd calculó [9] las capacidades computacionales de una "computadora portátil definitiva" formada al comprimir un kilogramo de materia en un agujero negro de radio 1,485 × 10⁻²⁷ metros , concluyendo que solo duraría unos 10⁻¹⁹ segundos antes de evaporarse debido a la radiación de Hawking, pero que durante este breve tiempo podría computar a una tasa de aproximadamente 5 × 10⁵⁰ operaciones por segundo , realizando finalmente unas 10³² operaciones en 10¹⁶ bits ( ~1 PB ). Lloyd señala que "Curiosamente, aunque este cálculo hipotético se realiza a densidades y velocidades ultra altas, el número total de bits disponibles para ser procesados no está lejos del número disponible para las computadoras actuales que operan en entornos más familiares". [ 10 ]
- En *The Singularity Is Near* , Ray Kurzweil cita los cálculos de Seth Lloyd según los cuales una computadora a escala universal es capaz de realizar 10⁹⁰ operaciones por segundo. La masa del universo se puede estimar en 3 × 10⁵² kilogramos . Si toda la materia del universo se convirtiera en un agujero negro, tendría una vida útil de 2,8 × 10¹³⁹ segundos antes de evaporarse debido a la radiación de Hawking. Durante esa vida útil, una computadora de agujero negro a escala universal realizaría 2,8 × 10²²⁹ operaciones . [ 11 ]
Límites abstractos en la informática
En el campo de la informática teórica, la computabilidad y la complejidad de los problemas computacionales son temas que se buscan con frecuencia. La teoría de la computabilidad describe el grado en que los problemas son computables, mientras que la teoría de la complejidad describe el grado asintótico de consumo de recursos. Por lo tanto, los problemas computacionales se clasifican en clases de complejidad . La jerarquía aritmética y la jerarquía polinómica clasifican el grado en que los problemas son respectivamente computables y computables en tiempo polinomial. Por ejemplo, el nivelLa jerarquía aritmética clasifica las funciones parciales computables. Además, esta jerarquía es estricta, de modo que cualquier otra clase en la jerarquía aritmética clasifica las funciones estrictamente incomputables .
Límites amplios y estrictos
Muchos límites derivados en términos de constantes físicas y modelos abstractos de computación en ciencias de la computación son imprecisos. [ 12 ] Muy pocos límites conocidos obstaculizan directamente las tecnologías de vanguardia, pero muchos obstáculos de ingeniería actualmente no pueden explicarse mediante límites de forma cerrada.
Véase también
Referencias
- ↑ Sandberg, Anders (22 de diciembre de 1999). "La física de los superobjetos de procesamiento de información: la vida cotidiana entre los cerebros de Júpiter" (PDF) . Journal of Evolution and Technology . Archivado del original (PDF) el 5 de marzo de 2015. Recuperado el 30 de mayo de 2014 .
- ↑ Jordan, Stephen P. (2017). "Computación cuántica rápida a energía arbitrariamente baja". Phys. Rev. A . 95 (3) 032305. arXiv : 1701.01175 . Bibcode : 2017PhRvA..95c2305J . doi : 10.1103/physreva.95.032305 . S2CID 118953874 .
- ↑ Sinitsyn, Nikolai A. (2018). "¿Existe un límite cuántico en la velocidad de computación?". Physics Letters A. 382 ( 7): 477– 481. arXiv : 1701.05550 . Bibcode : 2018PhLA..382..477S . doi : 10.1016/j.physleta.2017.12.042 . S2CID 55887738 .
- ↑ 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 .
- ↑ Sandberg, Anders; Armstrong, Stuart; Cirkovic, Milan M. (27-04-2017). "No está muerto lo que puede yacer eternamente: la hipótesis de la estivación para resolver la paradoja de Fermi". arXiv : 1705.03394 [ physics.pop-ph ].
- ↑ Bennett, Charles H.; Hanson, Robin; Riedel, C. Jess (1 de agosto de 2019). "Comentario sobre 'La hipótesis de la estivación para resolver la paradoja de Fermi'"" . Fundamentos de Física . 49 (8): 820– 829. arXiv : 1902.06730 . Bibcode : 2019FoPh...49..820B . doi : 10.1007/s10701-019-00289-5 . ISSN 1572-9516 . S2CID 119045181 .
- ↑ "Vida en estrellas de neutrones" . La enciclopedia científica de Internet .
- ↑ "¿Femtotecnología? Ingeniería y computación a escala (sub)nuclear" . Archivado del original el 25 de octubre de 2004. Recuperado el 30 de octubre de 2006 .
- ↑ Lloyd, Seth (2000). "Límites físicos últimos de la computación". Nature . 406 ( 6799): 1047– 1054. arXiv : quant-ph/9908043 . Bibcode : 2000Natur.406.1047L . doi : 10.1038/35023282 . PMID 10984064. S2CID 75923 .
- ↑ Lloyd, Seth (2000). " Límites físicos últimos de la computación" (PDF) . Nature . 406 (6799): 1047–1054 . arXiv : quant-ph/9908043 . Bibcode : 2000Natur.406.1047L . doi : 10.1038/35023282 . PMID 10984064. S2CID 75923. Archivado del original (PDF) el 7 de agosto de 2008 .
- ↑ Kurzweil, Ray (2005). La singularidad está cerca . Nueva York: Viking. pág. 911.
{{cite book}}: CS1 mantenimiento: ubicación del editor ( enlace ) - ↑ Markov, Igor (2014). "Límites sobre los límites fundamentales de la computación". Nature . 512 ( 7513): 147– 154. arXiv : 1408.3821 . Bibcode : 2014Natur.512..147M . doi : 10.1038/nature13570 . PMID 25119233. S2CID 4458968 .
- Límites de la computación
- Teoría de la computación