Пределы вычислений

Обзор пределов вычислений

Пределы вычислений определяются рядом различных факторов. В частности, существует несколько физических и практических ограничений на объем вычислений или хранения данных , которые могут быть выполнены с заданным количеством массы , объема или энергии .

Аппаратные ограничения или физические ограничения

Обработка и плотность памяти

  • Граница Бекенштейна ограничивает объем информации, который может храниться в сферическом объеме, энтропией черной дыры с той же площадью поверхности.
  • Термодинамика ограничивает хранение данных системы на основе ее энергии, числа частиц и мод частиц. На практике это более сильная граница, чем граница Бекенштейна. [1]

Скорость обработки

Задержки связи

  • Теорема Марголуса–Левитина устанавливает ограничение на максимальную скорость вычислений на единицу энергии: 6 × 1033 операций в секунду на джоуль . Однако этого ограничения можно избежать, если есть доступ к квантовой памяти . Затем можно разработать вычислительные алгоритмы, требующие произвольно малых количеств энергии/времени на один элементарный шаг вычислений. [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 × 1050 операций в секунду, в конечном итоге выполняя около 1032 операций на 1016 битах (~1 ПБ ). Ллойд отмечает, что «Интересно, что хотя это гипотетическое вычисление выполняется с сверхвысокой плотностью и скоростью, общее количество битов, доступных для обработки, не так уж и далеко от количества, доступного современным компьютерам, работающим в более привычных условиях». [10]
  • В книге «Сингулярность близка » Рэй Курцвейл приводит расчеты Сета Ллойда, согласно которым компьютер вселенского масштаба способен выполнять 10 90 операций в секунду. Массу Вселенной можно оценить в 3 × 10 52 килограмма. Если бы вся материя во Вселенной была превращена в черную дыру, то ее продолжительность жизни составила бы 2,8 × 10 139 секунд, прежде чем она испарится из-за излучения Хокинга. За это время такой компьютер вселенского масштаба с черной дырой выполнил бы 2,8 × 10 229 операций. [11]

Абстрактные ограничения в информатике

В области теоретической информатики вычислимость и сложность вычислительных задач часто востребованы. Теория вычислимости описывает степень, в которой задачи вычислимы, тогда как теория сложности описывает асимптотическую степень потребления ресурсов. Поэтому вычислительные задачи ограничиваются классами сложности . Арифметическая иерархия и полиномиальная иерархия классифицируют степень , в которой задачи соответственно вычислимы и вычислимы за полиномиальное время. Например, уровень арифметической иерархии классифицирует вычислимые, частичные функции. Более того, эта иерархия является строгой, так что в любом другом классе в арифметической иерархии классифицирует строго невычислимые функции. Σ 0 0 = П 0 0 = Δ 0 0 {\displaystyle \Сигма _{0}^{0}=\Пи _{0}^{0}=\Дельта _{0}^{0}}

Свободные и жесткие ограничения

Многие ограничения, выведенные с помощью физических констант и абстрактных моделей вычислений в компьютерной науке, являются неопределенными. [12] Очень немногие известные ограничения напрямую препятствуют передовым технологиям, но многие инженерные препятствия в настоящее время не могут быть объяснены ограничениями замкнутой формы.

Смотрите также

Ссылки

  1. ^ Сандберг, Андерс (22 декабря 1999 г.). "Физика обработки информации суперобъектов: повседневная жизнь среди мозгов Юпитера" (PDF) . Журнал эволюции и технологий . Архивировано из оригинала (PDF) 5 марта 2015 г. . Получено 30 мая 2014 г. .
  2. ^ Джордан, Стивен П. (2017). «Быстрые квантовые вычисления при произвольно низкой энергии». Phys. Rev. A. 95 ( 3): 032305. arXiv : 1701.01175 . Bibcode : 2017PhRvA..95c2305J. doi : 10.1103/physreva.95.032305. S2CID  118953874.
  3. ^ Синицын, Николай А. (2018). «Существует ли квантовый предел скорости вычислений?». Physics Letters A. 382 ( 7): 477– 481. arXiv : 1701.05550 . Bibcode : 2018PhLA..382..477S. doi : 10.1016/j.physleta.2017.12.042. S2CID  55887738.
  4. ^ Вителли, МБ; Пленио, В. (2001). «Физика забывания: принцип стирания Ландауэра и теория информации» (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.
  5. ^ Сандберг, Андерс; Армстронг, Стюарт; Чиркович, Милан М. (2017-04-27). «Не мертво то, что может вечно лежать: гипотеза эстивации для разрешения парадокса Ферми». arXiv : 1705.03394 [physics.pop-ph].
  6. ^ Беннетт, Чарльз Х.; Хансон, Робин; Ридель, К. Джесс (1 августа 2019 г.). «Комментарий к «Гипотезе летней спячки для разрешения парадокса Ферми»». Основы физики . 49 (8): 820– 829. arXiv : 1902.06730 . Bibcode : 2019FoPh...49..820B. doi : 10.1007/s10701-019-00289-5. ISSN  1572-9516. S2CID  119045181.
  7. ^ "Жизнь на нейтронных звездах". Интернет-энциклопедия науки .
  8. ^ "Фемтотех? (Суб)Ядерная масштабная инженерия и вычисления". Архивировано из оригинала 25 октября 2004 г. Получено 30 октября 2006 г.
  9. ^ Ллойд, Сет (2000). «Конечные физические пределы вычислений». Nature . 406 (6799): 1047– 1054. arXiv : quant-ph/9908043 . Bibcode : 2000Natur.406.1047L. doi : 10.1038/35023282. PMID  10984064. S2CID  75923.
  10. ^ Ллойд, Сет (2000). «Конечные физические пределы вычислений» (PDF) . Nature . 406 (6799): 1047– 1054. arXiv : quant-ph/9908043 . Bibcode :2000Natur.406.1047L. doi :10.1038/35023282. PMID  10984064. S2CID  75923. Архивировано из оригинала (PDF) 7 августа 2008 г.
  11. ^ Курцвейл, Рэй (2005). Сингулярность близка . Нью-Йорк: Viking. С. 911.
  12. ^ Марков, Игорь (2014). «Ограничения фундаментальных пределов вычислений». Nature . 512 (7513): 147– 154. arXiv : 1408.3821 . Bibcode :2014Natur.512..147M. doi :10.1038/nature13570. PMID  25119233. S2CID  4458968.
Взято с "https://en.wikipedia.org/w/index.php?title=Пределы_вычислений&oldid=1227032081"