Книга: Программируя Вселенную. Квантовый компьютер и будущее науки
Моделирование Вселенной
Моделирование Вселенной
Мы показали, как можно использовать законы физики для эффективного выполнения квантовых вычислений. Теперь давайте посмотрим, как квантовый компьютер может эффективно моделировать «работу» законов физики.
«Квантовое моделирование» – это процесс, в ходе которого квантовый компьютер моделирует другую квантовую систему. Из-за квантовых странностей разных типов классические компьютеры могут моделировать квантовые системы лишь громоздким и неэффективным образом. Но квантовый компьютер сам по себе является квантовой системой, способной демонстрировать полный спектр квантовых странностей, поэтому он может эффективно моделировать другие квантовые системы. Каждая из частей моделируемой квантовой системы отображается на набор кубитов в квантовом компьютере, и взаимодействия между этими частями становятся последовательностью квантовых логических операций. Такое моделирование может быть настолько точным, что поведение компьютера будет неотличимым от поведения самой моделируемой системы.
Вспомним, что, если две системы, обрабатывающие информацию, могут эффективно моделировать друг друга, они логически эквивалентны. Поскольку Вселенная может выполнять квантовые вычисления, а квантовый компьютер может моделировать Вселенную, Вселенная и квантовый компьютер обладают одной и той же мощностью обработки информации: по существу, они идентичны.
К настоящему времени квантовое моделирование является одной из самых замечательных экспериментальных демонстраций силы квантовых вычислений, а также их практическим применением, наиболее существенным для понимания идеи вычислительной Вселенной. Квантовые системы обычно делают много вещей сразу, поэтому их трудно моделировать классическим образом. Смоделировать один ядерный спин, который может делать две вещи квантово-параллельным образом, уже не так плохо, но 10 спинов могут выполнять 1024 дела сразу, 20 спинов могут сделать 1 048 576 дел сразу и т. д.
Как правило, чтобы проследить динамику квантовой системы, классический компьютер должен назначить отдельный расчет для каждой части квантовой волновой функции, но количество дел, которые выполняет квантовая система, растет очень быстро с ее размером. Смоделировать динамику даже относительно небольшой квантовой системы, состоящей из 300 ядерных спинов, как уже говорилось, совершенно невозможно.
Но квантовый компьютер не испытывает никаких затруднений, выполняя множество таких расчетов посредством квантового параллелизма. В 1982 г. Нобелевский лауреат Ричард Фейнман предложил гипотетическое устройство, которое он назвал универсальным квантовым имитатором. Чтобы смоделировать 300 ядерных спинов, универсальному квантовому имитатору потребовалось бы всего 300 квантовых битов. Если мы можем запрограммировать взаимодействия между 300 кубитами так, чтобы они имитировали взаимодействия между 300 спинами, то динамика кубитов сможет моделировать динамику спинов.
Фейнман просто указал на возможность существования универсального квантового имитатора; он не дал никаких ключей к тому, как его можно создать. В 1996 г. я показал, что обычные квантовые компьютеры как раз и являются универсальными квантовыми имитаторами; то есть любой желаемый набор квантово-механических взаимодействий можно запрограммировать на квантовом компьютере, и тогда можно выполнить квантовое моделирование путем многократного выполнения квантовых логических операций с кубитами компьютера{11}. (Методы квантового моделирования независимо от меня и примерно в это же время разработали Кристоф Залка из Бернского университета и Стивен Визнер из Тель-Авивского университета.)
Кроме того, я смог показать, что квантовое моделирование будет эффективным в том смысле, что, во-первых, количество кубитов, необходимых для моделирования, будет равно числу битов в моделируемой системе, а во-вторых, число операций, которые должен выполнить квантовый компьютер в процессе моделирования, будет пропорционально тем отрезкам времени, за которые система должна быть промоделирована.
Фейнман высказал догадку, а я доказал, что квантовые компьютеры могут функционировать как универсальные квантовые имитаторы, и их динамика может быть аналогом любой желаемой физической динамики. Квантовое моделирование происходит простым и непосредственным образом. Во-первых, отобразим части квантовой системы, которая будет промоделирована, на наборы квантовых битов; каждая часть моделируемой системы получает как раз достаточное количество кубитов для того, чтобы «схватить» ее динамику. Во-вторых, отобразим взаимодействия между частями системы на квантовые логические операции с кубитами, соответствующими частям системы. Универсальная природа квантовых логических операций гарантирует, что такие отображения способны выразить любую желаемую динамику.
Квантовое моделирование – не просто теоретическая концепция; оно было выполнено экспериментально, например в алгоритме поиска сомножителей Питера Шора. Однако в отличие от алгоритма Шора, который до сих пор позволил разложить на сомножители только число 15, квантовое моделирование было выполнено в масштабах, которые не может повторить классический компьютер. В течение нескольких последних лет группа Дэвида Кори в Массачусетском технологическом институте выполнила квантовое моделирование с миллиардами и миллиардами кубитов. Такими квантовыми имитаторами являются кристаллы фтористого кальция (мне нравится называть их «оружейной зубной пастой»). Их диаметр около сантиметра, они светло-пурпурного цвета, который придают этому веществу следовые количества атомов других типов. Каждый такой кристалл содержит больше миллиарда миллиардов атомов. Используя методы квантового ЯМР-вычисления для манипулирования ядерными спинами в кристаллах, Кори заставил эти спины вступать в самые разные взаимодействия, причем большая их часть не встречается в природе. Чтобы смоделировать такую искусственную квантовую динамику на обычном классическом компьютере, потребовалось бы два в степени миллиард миллиардов элементарных расчетов. Таким образом, квантовые имитаторы Кори намного мощнее любого классического компьютера, существующего или в принципе возможного.
Квантовое моделирование Кори – на сегодня, бесспорно, наиболее впечатляющий пример квантовых вычислений. Но когда я впервые представил его результаты в своих лекциях, то был удивлен: многие слушатели стали возражать против того, чтобы назвать такое массивное квантовое моделирование вычислением. «Это не вычисление; это – эксперимент!» – утверждали они. Мне было нелегко понять такую реакцию. Конечно, Кори проводил эксперимент, а именно, эксперимент по квантовой обработке информации. По-видимому, это и смутило некоторых слушателей. Даже если они соглашались, что Кори выполнял вычисления, то считали, что это были аналоговые квантовые вычисления. Им было сложно воспринимать эти аналоговые квантовые вычисления как «цифровые» квантовые вычисления, вроде алгоритмов разложения на множители или поиска.
Чем отличаются аналоговые и цифровые компьютеры? Классический аналоговый компьютер манипулирует непрерывными переменными, например напряжением. Так происходит потому, что классические переменные, такие как положение, скорость, давление и объем, непрерывны, и чтобы моделировать классическую динамику, аналоговый компьютер тоже должен быть непрерывным. Классический цифровой компьютер имеет дело с дискретными величинами, ведь биты дискретны; он может иметь дело с непрерывными величинами, но только превратив их в дискретные.
Однако для квантового компьютера нет разницы между аналоговыми и цифровыми вычислениями. Кванты, по определению, дискретны, и их состояния могут быть отображены на состояния кубитов непосредственно, без аппроксимации. Но вместе с тем кубиты также и непрерывны, из-за своей волновой природы; их состояния могут быть непрерывными суперпозициями. И аналоговые квантовые компьютеры, и цифровые квантовые компьютеры состоят из кубитов; и аналоговые квантовые вычисления, и цифровые квантовые вычисления происходят посредством логических операций между этими кубитами. Наша классическая интуиция подсказывает, что аналоговые вычисления по сути своей непрерывны, а цифровые вычисления должны быть дискретными. Но когда дело касается квантовых вычислений, как, впрочем, и во многих других случаях, классическая интуиция нас подводит. Аналоговый квантовый компьютер и цифровой квантовый компьютер – это одно и то же устройство.
- Моделирование и реальность
- Rational Rose 2000 и UML Визуальное моделирование
- 12.4. Моделирование правильных треугольных пирамид
- История вычислительной Вселенной
- 1.10. МОДЕЛИРОВАНИЕ И ПРОГРАММИРОВАНИЕ. ПОНЯТИЕ СПЕЦИФИКАЦИЙ
- Глава 1. Что такое визуальное моделирование
- 12. Моделирование роста бизнеса
- Моделирование в ithink
- 12.3. Моделирование призматоидов
- История Вселенной, часть первая
- 4.3. Моделирование недетерминированного автомата
- Моделирование бизнес-процессов с BPwin 4.0