D-Wave: кубитное шоу с моралью: D-Wave восхитила журналистов и возмутила ученых
О демонстрации фирмой D-Wave «первого коммерческого квантового компьютера» Orion написало множество массовых изданий во всем мире — отмечая (с разной степенью осторожности) кто крупный шаг, кто большой успех. Одновременно в научных блогах и прессе появились очень жесткие оценки заявлений D-Wave — как необоснованного раздувания (hype) настоящих и особенно планируемых достижений.
ДЕТАЛЬ
Самой важной задачей, ради которой создается квантовый компьютер, обычно считают моделирование квантовых систем. Но в шумихе вокруг демонстрации, проведенной D-Wave, эта задача в основном осталась за кадром.
Канадская частная компания D-Wave объявила о предстоящей 13 февраля 2007 года публичной демонстрации квантового компьютера (КК) еще в январе. Пояснения в блоге основателя и директора D-Wave по технологиям (CTO) Джорди Роуза (Geordie Rose) привели многих буквально в ярость — и не удивительно! «Если вам нужен быстрый солвер для NP-полных задач, начинайте уже сейчас думать, чем загрузить серьезные мощности» — писал Роуз, сообщая, что во втором квартале 2007 года планирует открыть свободный дистанционный доступ пользователей к КК. Математиков эти новости сильно озадачили — ведь для таких задач эффективные квантовые алгоритмы неизвестны. Физиков же ошеломил стахановский график наращивания числа кубитов (масштабирования), вплоть до выхода на 1024 штуки (сейчас в Orion’е их 16) к концу 2008 года. В блогах, а потом и в прессе пошел серьезный разговор — как все это понимать?
Мы обратились за комментариями к трем специалистам по квантовому компьютингу: Юрию Ожигову, профессору кафедры квантовой информатики МГУ, Скотту Ааронсону (Scott Aaronson) — молодому блестящему математику из Института квантовых вычислений канадского университета Ватерлоо (scottaaronson.com/blog, именно он возглавил неформальную кампанию за пусть не «разоблачение», но серьезное уточнение формулировок, даваемых D-Wave), и Артуру Экерту — пионеру квантового крипто, основателю Центра квантовых вычислений в Кембриджском университете, «выдающемуся профессору» (distinguished professor) Национального университета Сингапура, лауреату ряда научных премий. Все три независимых мнения (они приведены во врезках) оказались весьма критическими.
Маленькое отступление: Артур Экерт был в составе сборной Польши по дзюдо на Московской олимпиаде 1980 года — а Джорди Роуз четырежды, вплоть до 2001 года, брал золото на канадских чемпионатах и по вольной и по греко-римской борьбе. Вот какие замечательные люди встретились на наших страницах, вот какие замечательные параллели возникли — а если читатель думает, что дальше мы будем клеймить D- Wave со ссылкой на авторитеты, то это ошибка. Можно сразу перейти к экспертным врезкам ( это не от слова «врезать»!), читать дальше или вообще бросить эту тему (а если сознание читателя уже находится в квантовой суперпозиции, все это можно делать одновременно!) — но авторский план таков: во-первых, установить, что причины конфликта — стилистические; во-вторых — вывести из произошедшего совсем не техническую мораль. Но сначала кратко о технологиях КК.
Время от времени появляются совершенно нереалистичные сообщения о решительных прорывах в проблеме квантового компьютера. Например, два года назад за рубежом анонсировался квантовый компьютер на фотонах, который якобы делал квантовое преобразование Фурье на 1024 кубитах. Одного из двух авторов анонса мы пригласили к нам на семинар, уточнили с ним вместе, что можно, а что нельзя называть квантовым компьютером — и недоразумение уладилось. Случай D-Wave похож на этот, но тут еще и мощная рыночная составляющая, которую я не готов обсуждать. По научной же составляющей возникает масса вопросов:
• Где протокол квантового вычисления с пошаговым распределением амплитуд для базисных состояний?
• Какой именно алгоритм реализован?
• Где демонстрация распределения амплитуд для основных вентилей (типа CNOT или Toffoli)? Такая демонстрация должна предоставляться при любой схеме квантового компьютера, в том числе и для адиабатических вычислений, которые анонсировали авторы.
• Где сравнение с идеальной моделью квантового вычисления? Ведь для 16 кубитов симуляцию на обычном компьютере можно провести элементарно, у нас на кафедре есть парочка таких симуляторов.
• Где детальное описание архитектуры компьютера? Основные элементы — кольца из алюминия и ниобия хорошо известны, но по схеме устройства непонятно, как организуется хранение запутанных состояний.
Ни на один из этих вопросов мы не получили ответа. Далее, специалистов по сверхпроводимости удивляет, что устройство так быстро переключается с задачи на задачу — системы управления сверхпроводящими элементами вряд ли могут такое обеспечить. Непонятно, почему доступ к устройству только дистанционный; непонятно, почему в планах по наращиванию числа кубитов только степени двойки: 16, 512, потом 1024 (а такое мы уже проходили). К сожалению, все это очень мешает всерьез относиться к разработке D-Wave. А серьезные разработки на таких технологиях существуют. Например, в группе Юрия Пашкина из NEC уже два года назад было создано устройство из двух кубитов на сверхпроводящих элементах. Об этом Пашкин докладывал на нашей конференции, и там все эти пять пунктов были детально разобраны, было и много другой информации, так как дело это сложное. Не сомневаюсь, что КК на трех кубитах появится очень скоро — все запутанные состояния для них уже получены экспериментально. Дальше будет труднее. О масштабируемости (присоединяем новое сверхпроводящее кольцо — и готов еще один кубит) — забудьте.
КК — это не ноутбук, и даже не Cray. Создание масштабируемого полнофункционального КК на 100 (сто) кубитов будет событием в естествознании, перед которым померкнет квантовая физика как таковая. Я лично думаю, что этого не произойдет никогда — в силу фундаментальных ограничений. А вот что будет сделано почти наверняка — ограниченный квантовый процессор. Это квантовое устройство, организующее запутанные состояния кубитов (просто запутать несколько десятков — уже сейчас не проблема), которые можно использовать для помощи классическим компьютерам (например, при моделировании молекул). Такая цель реальна. Но она достижима только на пути серьезных исследований с возможностью полного контроля и воспроизведения результатов.
«КТ» уже столько писала об этом удивительном предмете (впервые еще в 1997 году в номере 224, без малого десять лет назад, а в новостях КК теперь мелькает почти на каждой неделе) что и читатели, и авторы уже выработали у себя в голове некое рабочее представление о квантовом компьютере: там внутри совокупность частиц (кубитов), находящаяся в едином, «запутанном» квантовом состоянии, и эту совокупность постепенно подкручивают в абстрактном квантовом пространстве, то один кубит, то другой, до тех пор, пока она не займет там нужное положение — и тогда все это измеряют, и получают ответ. Чудо в том, что есть задачи, требующие запредельного счета на обычном компьютере, но решаемые (теоретически) очень быстро на КК. Не потому, что КК перемалывает те же биты быстрее, чем просто К. А за счет того, что квантовая система способна каким-то образом одновременно проживать все возможные варианты своего развития — и среди них можно (с хорошей вероятностью) выбрать тот, что кодирует решение требуемой задачи.
Если кого-то не удовлетворяют такие заклинания — надо лезть в книги. Могу поделиться личным опытом. Не так давно я нашел в себе силы разобрать простейший и исторически первый пример квантового вычисления, обгоняющего обычное, классическое. Это пример того, как в квантовом случае можно за одну операцию узнать ответ к задаче, которая в классике
