11.04 // Моя поездка в D-Wave: по ту сторону мясного сэндвича
Массачусетского Технологического Института © 2012
Перевод © 2012 spinore
На последней неделе я был в Ванкувере в связи с выступлением перед Университетом Британской Колумбии и перед ежегодным собранием Американской Ассоциации Содействия Развитию Науки. В рамках этой поездки в пятницу вечером мне, Джону Прескиллу, Джону Мартинису и Майклу Фридману любезно предложили съездить в штаб-квартиру D-Wave Systems в Burnaby (пригород Ванкувера). Мы начали поездку с конференцзала, где организаторы предложили нам печенье и газированную воду. У меня, как взрослого человека, пролетела в голове случайная мысль, что печенье может быть отравлено.
Затем мы сходили в лаборатории D-Wave: посмотрели под микроскопом на сверхпроводящие чипы; на системы охлаждения, использующиеся для охлаждения чипов до 20ти милликельвин. Мы действительно заходили внутрь гиганстких чёрных кубов, приготовленных D-Wave'ом на продажу, которые напоминали нам эпоху мейнфреймов (эти машины настолько велики частично из-за необходимости иметь системы охлаждения и частично — чтобы исправлять неполадки, позволяя инженерам заходить внутрь). Позже главный инженер D-Wave, Geordie Rose, выступил перед нами с двухчасовым докладом о самых последних экспериментальных результатах D-Wave, после чего мы все ушли на обед. Сотрудники D-Wave были очень гостеприимны с нами и не задумываясь отвечали на все наши вопросы.
Несмотря на моё, имевшее место почти год назад, заявление, что я увольняюсь с поста главного скептика D-Wave, я подумал, что было бы уместным рассказать читателям блога «Shtetl-Optimized» («Местечково-оптимизированное» (евр. рас.) — прим. пер.) о том, что нового я узнал из этой поездки. Я начну с трёх обоснованных утверждений, прежде чем перейти к более общим выводам.
- Утверждение 1: Сейчас D-Wave имеет 128-(ку)битную машину, которая может давать приближённые решения для конкретных NP-сложных минимизационных задач, а именно, для задачи минимизации энергии 90-100 спинов в модели Изинга с попарными взаимодействиями вдоль некоторого фиксированного графа (где машинный вход есть настраиваемые степени сопротивления взаимодействиям). Соответственно, настоящим сообщением я опровергаю свой печально известный комментарий от 2007го года о том, что 16ти-битная машина, которую D-Wave использовала для демонстрации решения судоку, не более вычислительно полезна, чем мясной сэндвич. К настоящему моменту D-Wave действительно сделала нечто, что более вычислительно полезно, чем мясной сэндвич; просто вопрос в том, является ли это «нечто» более полезно, чем ваш лаптоп. Geordie показал нам графики с D-Wave'овским квантовым отжигом, решающим свою задачу спинов Изинга «быстрее» чем классическим методом имитации отжига или методом поиска с запретами (слово «быстрее» здесь подразумевает пренебрежение временем на охлаждение отжигателя, что мне кажется правильным). К сожалению, данные не увеличивались до больших размеров на входе, в то время как те, которые-таки увеличивались, сравнивались скорее с полностью классическими алгоритмами, чем в эвристическими. (Конечно, здесь выносятся за рамки большие трудности, которые вероятно возникли бы при практическом применении D-Wave, начиная со сведения задач практической оптимизации к конкретной D-Wave'овской задаче на спины Изинга.) В итоге, хотя наблюдаемое ускорение вычислений и представляется определённо интересным, остаётся неясным, что с ним делать и, особенно, играет ли здесь роль квантовая когерентность.
- Это подводит меня к утверждению 2. Как я повторял здесь втечение нескольких лет (и это остаётся в силе), у нас нет реального доказательства того, что квантовая когерентность действительно играет роль в наблюдаемом ускорении вычислений, а также того, что запутанность между кубитами системы когда-либо действительно имела место. (Заметьте следующее: если допустить, что запутанности нет, существенность квантовой когерентности для ускорения вычислений становится совершенно неправдоподобной. Хотя пока что и не известно об эффективной симуляции на классических компьютерах тех квантовых, которые работают только с сепарабельными смешанными состояниями, мы совсем не знаем каких-либо примеров, где такие компьютеры позволяют ускорять вычисления.) Как отмечалось в этом блоге в прошлом году, D-Wave опубликовала прекрасную статью в Nature, где рассказывалось о квантовом туннелировании в 8ми-кубитной системе. Однако, когда я спросил об этом Мохаммада Амина, учёного из D-Wave, он ответил, что не думает, что эксперимент предоставил какие-либо доказательства существования запутанности между кубитами.
«Убедительным» способом продемонстрировать наличие запутанности между кубитами была бы демонстрация нарушения неравенства Белла. (Мы знаем, что это может быть сделано со сверхпроводящими кубитами, как было показано группой Schoelkopf'а в Йеле [а также другими коллективами] пару лет назад.) Кроме того, «убедительный» способ показать роль квантовой когерентности в возможном ускорении вычислений состоял бы в постепенном «уменьшении» когерентности в системе (например, путём добавления взаимодействия, которое бы постоянно измеряло кубиты в вычислительном базисе) и параллельной проверке того, что производительность отжигателя уменьшается до уровня, соответствующего классической имитации отжига. К сожалению, как сказали нам сотрудники D-Wave, никакой из подобных экспериментов не представляется возможным в их текущей установке — в основном потому, что у них нет возможности осуществлять произвольные локальные унитарные преобразования и измерения. Они сообщили, что хотят в будущем попытаться продемонстрировать наличие двухкубитной запутанности, а пока готовы услышать предложения по поводу других идей, как показать роль квантовости в возможном ускорении вычислений в их существуюшей установке.
- Утверждение 3: D-Wave в итоге смогло прояснить концептуальный момент, который смущал меня втечение лет. Я (и, возможно, многие другие!) полагали, будто бы D-Wave утверждает, что их кубиты декогерируют практически моментально (в частности, в таком случае запутанность практически точно никогда не имела бы места в процессе вычислений). Однако, как оказалось, D-Wave считает, что отсутствие запутанности не играет роли из-за какой-то сложной причины, связанной с энергетическими щелями (gap — прим. пер.). Я был далеко не единственным, кто считал такое утверждение невероятным: как было упомянуто выше, нет никакого доказательства того, что квантовый компьютер без запутанности может решать какую-либо проблему асимптотически быстрее, чем классический. Однако, это не то, что утверждает D-Wave: они думают, что их система декогерирует практически моментально в собственном энергетическом базисе, но она не декогерирует в вычислительном базисе, а поэтому, в частности, в последнем могла бы быть запутанность на промежуточных стадиях. Если так, то это было бы совершенно прекрасно — адиабатический алгоритм, который в любом случае не требует когерентности в собственном энергетическом базисе (в конечном счёте, общее утверждение состоит в том, что в процессе вычисления вы хотите находиться настолько близко к основному состоянию системы, насколько это возможно!). Я понимаю, что некоторые физики, знающие механизмы декогерентности, настроены чрезвычайно скептично по поводу возможности иметь быструю декогеренцию в энергетическом базисе без сопутствующей декогерентности в вычислительном базисе. Соответственно, теперь это, конечно, обязанность D-Wave — показать, что они поддерживают когерентность там, «где она нужна», но, по крайней мере, сейчас я понимаю, что они утверждают, и как это могло бы быть совместимым (если это вообще верно) с квантовым ускорением вычислений.
Давайте теперь перейдём к трём более широким вопросам, поднятым вышеcказанными утверждениями.
- Первый вопрос следующий: вместо того, чтобы добавлять всё больше кубитов и публиковать всё более тяжело оцениваемые рекламные заявления, оставляя при этом научную оценку своих приборов в состоянии неизвестности, почему бы D-Wave'у просто не сконцентрировать свои усилия на том, чтобы продемнстрировать запутанность, или другим способом получить более убедительное доказательство роли квантовости в наблюдаемом ускорении вычислений? Когда я спросил об этом Мохаммада Амина, он сказал, что если бы компания D-Wave последовала моему предложению, она бы опубликовала некоторые интересные исследовательские статьи и затем покинула бизес: при получении денег давление всегда оказывается в сторону всё большего числа кубит и всё более громких анонсов, а не в сторону более ясного понимания экспериментального оборудования D-Wave. Итак, дайте мне попытаться донести мысль до боссов мира: одиночный кубит, который вы понимаете, лучше, чем тысяча кубитов, поведение которых вы не понимаете. Существует причина, по которой академические группы, занимающиеся квантовыми вычислениями, концентрируются на задавливании декогеренции и демонстрировании запутанности для 2ух, 3ёх или 4ёх кубит: потому, что это путь, при котором вы знаете, что кубиты есть действительно кубиты! Как только вы показали, что основание считать кубиты настоящими твёрдое, вы можете пытаться масштабироваться вверх. Поэтому, пожалуйста, поддержите D-Wave, если они хотят потратить деньги на то, чтобы продемонстрировать нарушения неравенства Белла или другие явные доказательства того, что их кубиты работают вместе когерентно. Добро пожаловать, D-Wave!
- Второй вопрос касается того, что я уже много раз встречал в блогосфере: кто будет беспокоиться как работает система D-Wave'а, и используется ли там квантовая когерентность, если эта система решает практические задачи быстрее? Действительно, может быть, то, что строит D-Wave, есть, на самом деле, серия интересных, полезных, но всё же по существу «классических» приборов для отжига. Возможно, слово «квантовый» здесь работает как топор в каше из топора: привлечение денег, интереса и талантливых людей для построения чего-то такого, что хотя и изящно, но, в конечном итоге, слабо зависит от квантовой механики вообще. Если D-Wave'овский (буквально!) чёрный ящик решает проблемные задачи за такое-то и такое-то количество времени, какое нам дело до того, что там внутри?
Чтобы увидеть всю непосредственность этого вопроса, давайте рассмотрим простой мысленный эксперимент: допустим, D-Wave бы продавала классический, для специальных целей, стоимостью 10 миллионов долларов компьютер, сконструированный, чтобы осуществлять алгоритм имитации отжига для задач 90-битных изинговых спинов с некоторой фиксированной топологией, и при этом несколько лучший, чем уже существующие компьютерные кластеры. Получила ли бы D-Wave в таком случае хотя бы 5% от той публичной известности и того интереса, которые она испытывает к себе сейчас? Я думаю, что сама бы D-Wave была бы первой, кто ответил бы «нет». Действительно, Geordie Rose явно указывал во время своего доклада на захватывающую природу, стоящую за (как он сказал) «историей квантовых вычислений», и как она стала ключом к привлечению инвестиций. Причина беспокойства людей об этих вещах возникает не из-за того, что они хотят найти основные состояния спиновых систем в модели Изинга немного быстрее, но из-за того, что они хотят знать: достигла ли, в конечном счёте, человеческая раса новой формы вычислений или же нет. Так что то, как преподнести прибор, важно (мат вырезан цензурой — прим. пер.)! Я горжусь тем, что готов менять своё мнение практически обо всём при открытии новых фактов (как я это на самом деле сделал по поводу D-Wave), но моя уверенность в том, что чёрные ящики должны быть открыты, а объяснения предоставлены, есть нечто, что я отнесу в могилу.
- Наконец, ввиду скептического, но позитивного тона этого поста некоторые люди удивятся: сожалею ли я о моём раннем, более явном скептицизме по поводу D-Wave? Ответ — нет! Задавать вопросы — моя работа. Я поверю D-Wave'у сразу же, как только они ответят на мои вопросы (подобно тому, как это было в обсуждаемой поездке), когда бы это ни случилось, и изменю своё мнение соответственно, но я также не перестану ни спрашивать, ни извиняться за спрашивание до тех пор, пока доказательство квантового ускорения вычислений не станет ясным и бесспорным (чего ещё, конечно же, не прозошло). С другой стороны, я действительно сожалею о кидании гадостями, что возникло как итоговый результат моих и чужих скептических утверждений, утверждений D-Wave'а и людей, его поддерживающих, а также состязательной природы блогосферы. Первый раз я чувствую себя действительно искренне надеющимся всем моим сердцем, что компании D-Wave удастся доказать, что она может делать некоторый (не необходимо универсальный) вид масштабируемых квантовых вычислений. Такой успех доказал бы миру, что мои $100,000 в безопасности, и решительно бы опроверг скептиков квантовых вычислений, которые в своей критике сейчас порой заходят даже дальше, чем слепые сторонники D-Wave.
Источник: запись в блоге Скотта Ааронсона от 21го февраля 2012г.
Примечание переводичка: авторский способ выделения текста (наклонный шрифт, цвет и жирность) по возможности сохранён, собственные пояснения выделены серым цветом.
Последние новости были о маленьком КК, 15 разложили на 3 и 5. Сейчас у них уже 512 кубитные машины, там аналогичная кривая Муровской, что с факторизацией, всё те же 15?
У него были в блоге более свежие посты на эту тему, но я в них тщательно не вчитывался. Вроде никакого сверхординарного прогресса нет, иначе я бы об этом уже знал от коллег.
Не совсем:
Но к таким новостным сообщениям стоит относиться с осторожностью.Говорят, такие сообщения в прессе вообще безграмотны, поскольку можно факторизовать любое сколь угодно большое число хоть на одном кубите, если тебе очень повезло, только такой алгоритм не будет экспонентциально быстрым. Более того, оно будет даже медленнее, чем самые эффективные классические алгоритмы (решето числового поля?).В алгоритме Шора есть класссическая часть и квантовая часть. Если много раз повторять классическую часть, то можно добиться факторизации любого числа, но это не будет эффективным. Чтобы факторизация была эффективной, нужно, чтобы «заработала» квантовая часть:
В квантовой части сидит квантовое преобразование Фурье, и мера его эффективности — длина цепочки, соответствующая этому преобразованию. Т.е., как я понял, правильная квантификация успеха факторизации — это «какой длины приеобразование Фурье мы смогли сделать», а не «какое число мы факторизовали», т.к. на одном и том же преобразовании Фурье можно факторизовать что угодно, если очень долго ждать. ☻
Кроме того, ещё раз повторяю:
Но D-Wave:
Все результаты по факторизации были получены в других группах и на другом оборудовании. D-Wave не имеет к этому никакого отношения, насколько я знаю. Всё это уже обсуждалось в окрестности /comment46854.
комментариев: 9796 документов: 488 редакций: 5664
А тем, кто вкладывает в это дело деньги, интересно, какие аргументы приводят специалисты? Как они парируют всю критику наподобие того, что привёл сам Ааронсон и что здесь приводит spinore, опровергая рекламные научпоп-публикации?
*Невольно вспоминаются эксперименты по подготовке к ITER'у. Большая часть возникающей там физики изучалась и тестировалась на небольших лабораторных стендах, а не на установках размером с электростанцию. И только когда каждый кусок изучен и понятен, строят собственно целевую установку, где всё это будет уже тестироваться вместе. Подозреваю, что с КК всё может быть так же.
**Есть пример всё из того же инерциального УТС: сам УТС пока так и не сделали, но пока прорабатывали инерциальные установки и изучали, как давить развитие нестабильностей в пинчах, обнаружили, что они очень хорошие источники для рентгеновского излучения: Сейчас пинчи используются в народном хозяйстве, уже не имеющем никакого отношения к проблеме создания УТС. В общем, грамотно проведённые исследования практически всегда дают результат, который где-то для чего-то оказывается полезен, и это одна из мотиваций для поддержки финансирования фундаментальной (т.е. неприкладной) науки.
Имелось в виду «на тему D-Wave», а не «на тему факторизации». Про последнюю просто не знаю, специально не искал у него посты про факторизацию.
Оригинальная ссылка — эта:
Quod erat demonstrandum.
О, значит, мы работает в правильном месте и в правильном направлении! ☺
Короче, футурологи ничего не знают, есть только спекуляции на тему далёкого неопределённого будущего.
Собственно, вышеуказанный п. 2:
Видите? Не 128, не 256, не 1024, а 2, именно два полноценных кубита есть у АНБ, что, в общем, тривиально, т.к. они есть не только у АНБ.
Будем теперь знать, как это называется.
Абсолютно верно. Мало кого порадует расшифровка сегодняшнего его Tor-трафика или других шифрованных коммуникаций ещё при его жизни:
Вот построят КК, и настанет Судный День! С разработкой постквантового классического крипто тоже что-то не торопятся: тонны денег в него не вбухивают, на каждом углу о нём не кричат, а перевод Tor-протокола с RSA-1024 на эллиптику считается огромным прогрессом несмотря на то, что и старое и новое неустойчиво к КК и не даёт никакого §FS/отрицаемости после создания КК.
Первый пункт особенно умиляет: «защитить» усилия АНБ по взлому асимметрики тем, что будет отрицаться существование какие-либо планов, программ и намерений АНБ по large-scale квантовым вычислениям. Второй пункт — секретим, чтобы иметь возможность видеть, какова степень успеха в этом деле у «врагов» (а враги у них все кроме них самих).
Выборочно из таблицы:
Обратите внимание на первую колонку. Итак, секретится:
«Квантовые вычисления категории A» («Level A QC») — это несекретное. Категория «B» — секретная. Они точно описали своеобразные «breakthroughs» (прорывы), которые говорят о том, как АНБ видит эту программу в целом. Итак, крупными достижениями, которые подлежат к безусловному засекречиванию, относятся:
Как я понимаю, всё перечисленное — на порядок более простые конструкции, чем те, что нужны для, скажем, факторизации RSA-1024. Кстати, терминология очень понятная и естественная. Есть кубиты логические, а есть физические, т.к. не сделать идеальный теоретический кубит (логический, присутствующий в квантовых схемах) из одного физического (например, одной двухуровневой квантовой системы).
Надо запомнить этот гадкий термин.
Собственно, выше уже всё сказано. Видимо, два универсальных кубита у них уже есть, а трёх ещё нет.
Современные и новые разрабатываемые системы QKD они бы тоже забэкдорили во все щели или нашли бы способ расширования, дай им только волю.
На мой неискушённый взгляд это до смешного малый бюджет для столь амбициозной задачи. И звучит это так, будто в эти $80M заложен не только КК и прочие квантовые штуки.
P.S. На примере этого слива видно, как технически ценная информация, которая может потенциально оказаться полезной специалистам в теме,2 тонет в тоннах гумманитарной шелухи, которая вбрасывается через газеты. Практически ничего реально полезного, что было в исходных документах, даже в Washington Post не попало. Оригинальные неотредактированные, неперевранные и непереистолкованные исходные документы — вот правильный источник для ценной правдивой информации о том, что происходит, и cryptome ценен публикацией именно таких документов. А совсем хомячки пусть читают ленту и Риа-новости, там вода понятная и нескучная.
1Что-то ссылка не открывается... Домен первого уровня какой-то странный.
2Unknown ранее уже писал об этом эффекте.
комментариев: 9796 документов: 488 редакций: 5664
Янг пересохранил:
http://cryptome.org/2014/01/nsa-quantum-computer.pdf
http://cryptome.org/2014/01/nsa-quantum-computer-2.pdf
Где можно об
этих ваших фантазияхэтом почитать?В посольстве США, при получении визы. Если повезет.
комментариев: 9796 документов: 488 редакций: 5664
Это, вероятно, из беседы, подслушанной в Квантово-Криптографических Кулуарах.
в основном не криптографиине только криптографии, а обширного списка стратегически важных тем. И никаких публичных списков на эту тему нет. Если кому и откажут по именно этой причине, как Шамиру, то опять же кулуарно, не давая никаких комментариев на тему того, чем вызван отказ. Типа пусть сами думают, с чем связаноЭто явно не пункт в анкете, иначе бы оно было публично известным и уже давно бы вызвало шквал публикаций и негодования в прессе.
Даже если бы речь шла о выездных (а не въездных) категориях, то никто никаких пунктов во всем раздаваемых анкетах не изобретает. На этот счёт имеются стандартные ограничения на выезд в связи с допуском к гостайне (да, в анкетах на получение паспорта есть пункт на тему, но без подробностей: указываешь только, имел ли допуск или нет). Попросту говоря, есть выездные и невыездные категории граждан, где невыездным даже красный (общегражданский) паспорт не выдадут, а с синим они только по разрешению от начальства могут поехать. Анкеты и «вовлечённости» остаются ни при чём.