Quantinuum показала экспоненциальный разрыв с классическими стратегиями — но в специально созданной задаче

Эксперимент Quantinuum с выборкой из дополнения (complement sampling) демонстрирует чётко определённый вид квантового преимущества. Квантовое устройство выдало статистику, которая превысила строго выведенную границу для классической стратегии в игре, специально построенной для проверки квантовой суперпозиции.

Для семейства экземпляров, основанных на задаче Бернштейна—Вазирани, идеальное отношение квантового и классического «нарушения» масштабируется как 2^(n−1). 4 Главное здесь — именно экспоненциальный рост разрыва с длиной строки, а не универсальная скорость квантового компьютера.

Как устроена игра

Судья тайно выбирает подмножество S, содержащее половину всех возможных n-битовых строк, и готовит квантовое состояние — равномерную суперпозицию строк из этого множества. Игрок должен вернуть строку из дополнения S̄, то есть такую, которой в S нет. 34

Классический игрок получает лишь обычный образец из S: одну конкретную строку. Он может исключить её из ответа, но почти ничего не узнаёт о том, какие из огромного числа остальных строк принадлежат S, а какие — S̄. Поэтому его возможности ограничены формальной классической границей. 47

Квантовому игроку передают не измеренный образец, а когерентную суперпозицию. Для использованных в эксперименте структурированных экземпляров квантовое преобразование переводит состояние, соответствующее S, в состояние с поддержкой на дополнении S̄. В идеальном, безошибочном случае измерение даёт допустимую строку из дополнения с вероятностью 1. 34

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

Откуда берётся экспоненциальный разрыв

Сравнивается не просто вероятность успеха, а специальная мера нарушения классической границы, заданная правилами игры. Для семейства, производного от задачи Бернштейна—Вазирани, её идеальное квантово-классическое отношение равно 2^(n−1). 4

При n = 37:

2^36 = 68 719 476 736.

В описании эксперимента также фигурирует формулировка «более 137 миллиардов к одному» — она связана с принятой в работе конвенцией измерения нарушения. В обоих способах представления ключевой факт одинаков: идеальный квантовый сигнал остаётся совершенным, тогда как допустимое классическое преимущество экспоненциально уменьшается с ростом длины строки. 4

Это не означает, что процессор H2 решил полезную коммерческую задачу в 137 миллиардов раз быстрее обычного компьютера. Речь идёт о разделении идеальных стратегий в строго заданной игре и по её собственной метрике.

Что именно выполнили на Quantinuum H2

Команда запустила тысячи квантовых схем на ионных процессорах Quantinuum H2, использовав до 55 физических кубитов и строки длиной до 37 бит. 48

Реальное оборудование подвержено шуму, поэтому наблюдаемый результат оказался ниже идеального режима с безусловным успехом; для более крупных схем ошибки проявлялись сильнее. Тем не менее измеренные результаты статистически превысили применимую классическую границу. Это поддерживает вывод о том, что устройство достаточно точно реализовало квантовую стратегию. 4

Важно не подменять этот вывод другим: классический компьютер, разумеется, способен напечатать те же конечные битовые строки. Эксперимент показывает, что распределение ответов в заданной модели входа превысило максимум, достижимый разрешённой классической стратегией. 4

Чем этот тест отличается от прежних демонстраций квантового преимущества

Во многих ранних экспериментах с квантовой выборкой вывод о трудности классической симуляции опирался на теоретико-сложностные предположения. В complement sampling классическое ограничение выводится для самой игры, без такой недоказанной гипотезы. 34

Есть и практическое преимущество: результат легко проверяется. Судья знает, как построено скрытое множество, и может проверить, принадлежит ли ответ дополнению. Авторы противопоставляют это выборке из случайных схем (random-circuit sampling), где масштабная проверка может потребовать либо дорогостоящей классической симуляции, либо очень большого числа образцов. 34

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

Где проходят границы вывода

Это специализированная задача выборки

Игра сконструирована именно для выявления квантового преимущества в обработке выборок. Она не доказывает практического ускорения для химии, оптимизации, криптографии, ИИ или вычислений общего назначения. 4

«Безусловная» граница не делает эксперимент device-independent

Безусловным является классическое ограничение внутри математической игры. Но лабораторный протокол всё равно предполагает доверие к тому, что судья корректно готовит исходное состояние. Это не то же самое, что полностью независимый от устройств тест, в котором не нужно доверять ключевым элементам установки. 4

Судья и игрок не были двумя независимыми квантовыми компьютерами

Настоящего квантового канала между двумя квантовыми компьютерами в реализации не было. Поэтому регистры судьи и игрока разместили в одном процессоре, а квантовый канал смоделировали телепортацией. 4

Более сильная будущая демонстрация потребовала бы независимо управляемых систем, соединённых реальной квантовой линией связи, желательно на отказоустойчивом оборудовании. Однако распределённые квантовые вычисления сами сталкиваются с трудностями: передача состояний и сохранение когерентности могут стать узкими местами. 14

Экспоненциальный разрыв — не обязательно предел возможного

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

Что в итоге доказал эксперимент

Результат Quantinuum корректнее всего называть точной экспериментальной вехой: современные ионные процессоры пересекли строгую классическую границу в эффективно проверяемой игре complement sampling, а идеальный разрыв для этой игры растёт экспоненциально с размером задачи. 34

Это содержательнее, чем расплывчатый лозунг о «квантовом превосходстве»: здесь можно явно назвать задачу, метрику, способ проверки и допущения о доверии. Но те же детали очерчивают пределы вывода. Эксперимент убедительно показывает, что квантовая суперпозиция способна дать экспоненциальное преимущество в специально подобранном сценарии, — не то, что квантовые компьютеры уже превзошли классические машины во всех практически полезных задачах.