Сет Ллойд - Программируя Вселенную. Квантовый компьютер и будущее науки

Фейнман просто указал на возможность существования универсального квантового имитатора; он не дал никаких ключей к тому, как его можно создать. В 1996 г. я показал, что обычные квантовые компьютеры как раз и являются универсальными квантовыми имитаторами; то есть любой желаемый набор квантово-механических взаимодействий можно запрограммировать на квантовом компьютере, и тогда можно выполнить квантовое моделирование путем многократного выполнения квантовых логических операций с кубитами компьютера {11}. (Методы квантового моделирования независимо от меня и примерно в это же время разработали Кристоф Залка из Бернского университета и Стивен Визнер из Тель-Авивского университета.)

Кроме того, я смог показать, что квантовое моделирование будет эффективным в том смысле, что, во-первых, количество кубитов, необходимых для моделирования, будет равно числу битов в моделируемой системе, а во-вторых, число операций, которые должен выполнить квантовый компьютер в процессе моделирования, будет пропорционально тем отрезкам времени, за которые система должна быть промоделирована.

Фейнман высказал догадку, а я доказал, что квантовые компьютеры могут функционировать как универсальные квантовые имитаторы, и их динамика может быть аналогом любой желаемой физической динамики. Квантовое моделирование происходит простым и непосредственным образом. Во-первых, отобразим части квантовой системы, которая будет промоделирована, на наборы квантовых битов; каждая часть моделируемой системы получает как раз достаточное количество кубитов для того, чтобы «схватить» ее динамику. Во-вторых, отобразим взаимодействия между частями системы на квантовые логические операции с кубитами, соответствующими частям системы. Универсальная природа квантовых логических операций гарантирует, что такие отображения способны выразить любую желаемую динамику.

Квантовое моделирование – не просто теоретическая концепция; оно было выполнено экспериментально, например в алгоритме поиска сомножителей Питера Шора. Однако в отличие от алгоритма Шора, который до сих пор позволил разложить на сомножители только число 15, квантовое моделирование было выполнено в масштабах, которые не может повторить классический компьютер. В течение нескольких последних лет группа Дэвида Кори в Массачусетском технологическом институте выполнила квантовое моделирование с миллиардами и миллиардами кубитов. Такими квантовыми имитаторами являются кристаллы фтористого кальция (мне нравится называть их «оружейной зубной пастой»). Их диаметр около сантиметра, они светло-пурпурного цвета, который придают этому веществу следовые количества атомов других типов. Каждый такой кристалл содержит больше миллиарда миллиардов атомов. Используя методы квантового ЯМР-вычисления для манипулирования ядерными спинами в кристаллах, Кори заставил эти спины вступать в самые разные взаимодействия, причем б о льшая их часть не встречается в природе. Чтобы смоделировать такую искусственную квантовую динамику на обычном классическом компьютере, потребовалось бы два в степени миллиард миллиардов элементарных расчетов. Таким образом, квантовые имитаторы Кори намного мощнее любого классического компьютера, существующего или в принципе возможного.

Квантовое моделирование Кори – на сегодня, бесспорно, наиболее впечатляющий пример квантовых вычислений. Но когда я впервые представил его результаты в своих лекциях, то был удивлен: многие слушатели стали возражать против того, чтобы назвать такое массивное квантовое моделирование вычислением. «Это не вычисление; это – эксперимент!» – утверждали они. Мне было нелегко понять такую реакцию. Конечно, Кори проводил эксперимент, а именно, эксперимент по квантовой обработке информации. По-видимому, это и смутило некоторых слушателей. Даже если они соглашались, что Кори выполнял вычисления, то считали, что это были аналоговые квантовые вычисления. Им было сложно воспринимать эти аналоговые квантовые вычисления как «цифровые» квантовые вычисления, вроде алгоритмов разложения на множители или поиска.

Чем отличаются аналоговые и цифровые компьютеры? Классический аналоговый компьютер манипулирует непрерывными переменными , например напряжением. Так происходит потому, что классические переменные, такие как положение, скорость, давление и объем, непрерывны, и чтобы моделировать классическую динамику, аналоговый компьютер тоже должен быть непрерывным. Классический цифровой компьютер имеет дело с дискретными величинами , ведь биты дискретны; он может иметь дело с непрерывными величинами, но только превратив их в дискретные.