IBM сообщила о результатах трёх исследовательских работ, посвящённых trusted quantum computation, проверяемым квантовым вычислениям. В обычной демонстрации квантового преимущества недостаточно показать быстрое получение ответа. Нужно объяснить, почему результат можно считать корректным, если классическая машина уже не способна точно повторить всю задачу.
Сложность проверки возникает из-за масштаба. Исторически выход квантового процессора сравнивали с классическим расчётом на меньшем или более простом экземпляре задачи, а затем переносили вывод на более сложный режим. Такой переход оставляет место для ошибок: шум может усиливаться иначе, а классическая аппроксимация не обязана вести себя так же, как точная проверка.
Один из описанных подходов связан с random circuit sampling. Случайные схемы быстро становятся трудными для классической симуляции, поэтому они используются как тест разделения возможностей. Но та же трудность создаёт проблему доверия. Если классический ответ нельзя вычислить напрямую, проверка должна опираться на свойства схемы, статистику и независимые признаки корректного выполнения.
IBM и Чикагский университет применили допированный Clifford sampling и пространственно-временные коды. Эти методы должны дать проверяемые признаки в режиме, где полное классическое моделирование слишком дорого. Пространственно-временная структура кодов учитывает не только расположение кубитов, но и развитие ошибок во времени.
В третьем направлении участвуют Qedma, RIKEN и BlueQubit. Их результаты связаны с валидированными методами подавления ошибок и наблюдением квантовых явлений за пределами возможностей ведущих классических симуляций. Здесь важно различать коррекцию ошибок, подавление ошибок и проверку результата: это разные уровни работы с шумом.
Общая архитектурная идея IBM, проверять не только финальный ответ, но и вычислительный процесс. Если процедура имеет встроенные тесты, статистические ограничения и независимую оценку устойчивости, доверие можно строить даже без полного классического эталона. Это не делает процесс безошибочным, но позволяет отделить обоснованный результат от необъяснимого сигнала.
IBM связывает эти работы с Quantum Advantage Tracker, где сравниваются заявления о квантовом преимуществе и лучшие доступные классические методы. Такой трекер нужен потому, что граница «классика против квантового компьютера» зависит от алгоритма, размера задачи, времени расчёта и качества реализации. Результат может быть преимуществом для одного режима и не иметь практической ценности для другого.
Для прикладных задач, химии, материаловедения и оптимизации, надёжность будет не менее важна, чем скорость. Ошибка в промежуточном расчёте может привести к неверной молекулярной модели или плохому решению оптимизационной задачи. Поэтому проверяемость становится частью вычислительной архитектуры, а не рекламным дополнением к измерению производительности.
Источник: IBM Quantum, Quantum advantage through trusted quantum computation.
Проверяемое преимущество меняет критерий успеха квантового эксперимента. Если классический компьютер не может повторить всю схему, исследователи должны предъявить независимую процедуру контроля: статистические тесты, структуру кодов, оценки ошибок и сравнение с лучшими доступными симуляторами. Такой подход не отменяет неопределённость, но делает утверждение проверяемым для других групп.
Для отрасли это особенно важно из-за разницы между демонстрацией и полезным алгоритмом. Random circuit sampling хорошо показывает границу симуляции, но не является автоматически химическим расчётом или задачей оптимизации. Следующий вопрос, можно ли перенести методы доверия на алгоритмы, которые дают прикладной ответ. Здесь потребуются новые бенчмарки, открытые данные и сравнение не только времени, но и стоимости, качества и устойчивости результата.