Тесты квантовых вычислений годами находились в тупике. Исторически лаборатории пытались доказать вычислительное преимущество с помощью выборки случайных схем (random circuit sampling) — генерации распределений выходных данных такой сложности, что классические суперкомпьютеры не могли их симулировать за разумное время. Однако эта сложность порождала проблему верификации: как только квантовый процессор обгоняет классическую симуляцию, проверить корректность полученных битовых строк становится невозможно без недоказуемых допущений о надежности самого оборудования — результат легко мог оказаться обычным аппаратным шумом.
Решение проблемы верификации
Чтобы преодолеть этот барьер, исследователи из IBM и Чикагского университета разработали структурированную альтернативу стандартной случайной выборке. В научной работе «Sampling hard circuits with verifiably high fidelity» команда описала архитектуру квантовых схем с кодированием, которая сохраняет высокую вычислительную сложность, необходимую для обхода классических симуляций, но при этом содержит встроенные контрольные точки для активного обнаружения физических ошибок во время работы.
Билл Фефферман, доцент кафедры компьютерных наук Чикагского университета, подчеркнул практическую важность проверки квантовых состояний на неидеальном оборудовании.
«Верификация остается одной из самых сложных задач при экспериментальном подтверждении квантового превосходства».
Отслеживая структурные маркеры ошибок в процессе вычислений, команда установила строгие статистические границы, подтверждающие высокую точность результатов. Это избавило от необходимости задействовать классические суперкомпьютеры для полной реконструкции квантового состояния с нуля.
Отказоустойчивость на 70 логических кубитах
Этот запуск стал одной из крупнейших демонстраций отказоустойчивых вычислений на логических кубитах на сегодняшний день. Система скоординировала 70 логических кубитов с коррекцией ошибок, изолируя чувствительные вычислительные состояния от физической декогеренции и шума квантовых вентилей.
Квантовое оборудование IBM выполнило расчет примерно за 15 минут. Симуляция аналогичной схемы на мощнейших классических суперкомпьютерах потребовала бы несопоставимо больше времени и колоссальных затрат энергии. Все экспериментальные схемы и наборы данных для верификации были опубликованы на платформе Quantum Advantage Tracker для независимого аудита.
Пятнадцатиминутный тест доказывает, что отказоустойчивые архитектуры способны подавлять физический шум и выдавать математически проверяемые результаты. Тем не менее бизнесу не стоит воспринимать этот бенчмарк как мгновенный прорыв для прикладных задач в молекулярной динамике, создании новых материалов или гибридной оптимизации ИИ. Вычисление остается синтетической задачей, созданной строго для демонстрации сложности и возможности проверки. Следующий ключевой инженерный вызов — адаптировать эти методы обнаружения ошибок к реальным коммерческим нагрузкам.