Пределы вычислений
Пределы вычислений определяются рядом различных факторов. В частности, существует несколько физических и практических ограничений на объем вычислений или хранения данных , которые могут быть выполнены с заданным количеством массы , объема или энергии .
Аппаратные ограничения или физические ограничения
[ редактировать ]Плотность обработки и памяти
[ редактировать ]- Граница Бекенштейна ограничивает количество информации, которая может храниться в сферическом объеме, энтропией черной дыры с той же площадью поверхности.
- Термодинамика ограничивает хранение данных системы в зависимости от ее энергии, количества частиц и мод частиц. На практике это более сильная граница, чем граница Бекенштейна. [1]
Скорость обработки
[ редактировать ]- Предел Бремермана — это максимальная скорость вычислений автономной системы в материальной вселенной, он основан на ограничениях неопределенности массы-энергии и квантовой неопределенности .
Задержки связи
[ редактировать ]- Теорема Марголюса-Левитина устанавливает ограничение на максимальную скорость вычислений на единицу энергии: 6 × 10. 33 операций в секунду на джоуль . Однако этой границы можно избежать, если есть доступ к квантовой памяти . Затем можно разработать вычислительные алгоритмы, требующие сколь угодно малых затрат энергии/времени на один элементарный шаг вычислений. [2] [3]
Энергоснабжение
[ редактировать ]- Принцип Ландауэра определяет нижний теоретический предел энергопотребления: kT ln 2, потребляемый на одно необратимое изменение состояния, где k — постоянная Больцмана , а T — рабочая температура компьютера. [4] На обратимые вычисления эта нижняя граница не распространяется. T даже теоретически нельзя сделать ниже 3 кельвинов , приблизительной температуры космического микроволнового фонового излучения , не затрачивая на охлаждение больше энергии, чем сэкономлено при вычислениях. Однако в течение 10 9 – 10 10 лет космическое микроволновое фоновое излучение будет уменьшаться экспоненциально, что, как утверждается, в конечном итоге позволит 10 30 столько же вычислений на единицу энергии. [5] Важные детали [ нужны разъяснения ] этого аргумента были оспорены. [6]
Создание устройств, приближающихся к физическим пределам
[ редактировать ]Было предложено несколько методов производства вычислительных устройств или устройств хранения данных, которые приближаются к физическим и практическим пределам:
- Холодную вырожденную звезду предположительно можно было бы использовать в качестве гигантского устройства хранения данных, осторожно переводя ее в различные возбужденные состояния, точно так же, как атом или квантовую яму, используемую для этих целей. Такую звезду пришлось бы создать искусственно, поскольку ни одна естественная выродившаяся звезда не сможет остыть до такой температуры в течение чрезвычайно долгого времени. Возможно также, что нуклоны на поверхности нейтронных звезд могли образовывать сложные «молекулы», [7] который, как некоторые предположили, может быть использован в вычислительных целях, [8] создание типа компьютерония на основе фемтотехнологии , который был бы быстрее и плотнее, чем компьютероний, основанный на нанотехнологиях .
- можно будет использовать Черную дыру в качестве хранилища данных или вычислительного устройства, если будет найден практический механизм извлечения содержащейся в ней информации. Такое извлечение в принципе возможно ( предложенное Стивеном Хокингом решение информационного парадокса черной дыры ). Это позволит достичь плотности хранения, точно равной границе Бекенштейна . Сет Ллойд подсчитал [9] вычислительные возможности «совершенного ноутбука», созданного путем сжатия килограмма материи в черную дыру радиусом 1,485 × 10 −27 метров, придя к выводу, что его хватит всего на 10 −19 секунд до испарения из- за излучения Хокинга , но за это короткое время он мог рассчитывать со скоростью около 5 × 10 50 операций в секунду, в конечном итоге выполняя около 10 32 операции на 10 16 бит (~1 ПБ ). Ллойд отмечает: «Интересно, что, хотя эти гипотетические вычисления выполняются со сверхвысокой плотностью и скоростью, общее количество битов, доступных для обработки, недалеко от числа, доступного современным компьютерам, работающим в более привычной среде». [10]
- В книге «Сингулярность близка » Рэй Курцвейл цитирует расчеты Сета Ллойда о том, что компьютер вселенского масштаба способен на 10 90 операций в секунду. Массу Вселенной можно оценить в 3 × 10 52 килограммы. Если бы вся материя во Вселенной была превращена в черную дыру, ее время жизни было бы 2,8 × 10. 139 секунд до испарения из-за излучения Хокинга. За это время такой универсальный компьютер с черной дырой выполнил бы 2,8 × 10 229 операции. [11]
Абстрактные ограничения в информатике
[ редактировать ]В области теоретической информатики вычислимость сложность и вычислительных задач часто востребованы . Теория вычислимости описывает степень вычислимости задач, тогда как теория сложности описывает асимптотическую степень потребления ресурсов. Таким образом, вычислительные задачи ограничены классами сложности . Арифметическая иерархия и полиномиальная иерархия классифицируют степень, в которой задачи соответственно вычислимы и вычислимы за полиномиальное время. Например, уровень арифметической иерархии классифицирует вычислимые частичные функции. Более того, эта иерархия настолько строга, что любой другой класс арифметической иерархии классифицирует строго невычислимые функции.
Свободные и жесткие ограничения
[ редактировать ]Многие ограничения, выведенные с точки зрения физических констант и абстрактных моделей вычислений в информатике, неточны. [12] Очень немногие известные ограничения напрямую препятствуют передовым технологиям, но многие инженерные препятствия в настоящее время не могут быть объяснены ограничениями закрытой формы.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Сандберг, Андерс (22 декабря 1999 г.). «Физика суперобъектов обработки информации: повседневная жизнь среди мозгов Юпитера» (PDF) . Журнал эволюции и технологий . Архивировано из оригинала (PDF) 5 марта 2015 года . Проверено 30 мая 2014 г.
- ^ Джордан, Стивен П. (2017). «Быстрые квантовые вычисления при произвольно низкой энергии». Физ. Преподобный А. 95 (3): 032305. arXiv : 1701.01175 . Бибкод : 2017PhRvA..95c2305J . дои : 10.1103/physreva.95.032305 . S2CID 118953874 .
- ^ Синицын, Николай А. (2018). «Существует ли квантовый предел скорости вычислений?». Буквы по физике А. 382 (7): 477–481. arXiv : 1701.05550 . Бибкод : 2018PhLA..382..477S . дои : 10.1016/j.physleta.2017.12.042 . S2CID 55887738 .
- ^ Вителли, МБ; Пленио, В. (2001). «Физика забывания: принцип стирания Ландауэра и теория информации» (PDF) . Современная физика . 42 (1): 25–60. arXiv : Quant-ph/0103108 . Бибкод : 2001ConPh..42...25P . дои : 10.1080/00107510010018916 . eISSN 1366-5812 . hdl : 10044/1/435 . ISSN 0010-7514 . S2CID 9092795 .
- ^ Сандберг, Андерс; Армстронг, Стюарт; Чиркович, Милан М. (27 апреля 2017 г.). «То, что может вечно лгать, не мертво: гипотеза эстивации для разрешения парадокса Ферми». arXiv : 1705.03394 [ physical.pop-ph ].
- ^ Беннетт, Чарльз Х.; Хэнсон, Робин; Ридель, К. Джесс (1 августа 2019 г.). «Комментарий к «Гипотезе эстивации для разрешения парадокса Ферми» » . Основы физики . 49 (8): 820–829. arXiv : 1902.06730 . Бибкод : 2019FoPh...49..820B . дои : 10.1007/s10701-019-00289-5 . ISSN 1572-9516 . S2CID 119045181 .
- ^ «Жизнь на нейтронных звездах» . Интернет-энциклопедия науки .
- ^ «Фемтотех? (Суб)ядерная инженерия и вычисления» . Архивировано из оригинала 25 октября 2004 года . Проверено 30 октября 2006 г.
- ^ Ллойд, Сет (2000). «Предельные физические пределы вычислений». Природа . 406 (6799): 1047–1054. arXiv : Quant-ph/9908043 . Бибкод : 2000Natur.406.1047L . дои : 10.1038/35023282 . ПМИД 10984064 . S2CID 75923 .
- ^ Ллойд, Сет (2000). «Предельные физические пределы вычислений» (PDF) . Природа . 406 (6799): 1047–1054. arXiv : Quant-ph/9908043 . Бибкод : 2000Natur.406.1047L . дои : 10.1038/35023282 . ПМИД 10984064 . S2CID 75923 . Архивировано из оригинала (PDF) 7 августа 2008 г.
- ^ Курцвейл, Рэй (2005). Сингулярность уже близко . Нью-Йорк: Викинг. п. 911.
- ^ Марков, Игорь (2014). «Ограничения фундаментальных ограничений вычислений». Природа . 512 (7513): 147–154. arXiv : 1408.3821 . Бибкод : 2014Natur.512..147M . дои : 10.1038/nature13570 . ПМИД 25119233 . S2CID 4458968 .