Исследователи проанализировали проблему накопления ошибок при использовании трансформеров для синтеза квантовых схем. В работе показано, что авторегрессионные модели склонны к «дрейфу», который нарушает функциональную эквивалентность схем. Для решения задачи оптимизации ресурсов, таких как T-гейты, авторы использовали компактную модель на 44,8 млн параметров, протестировав её на параметризованных и Clifford+T схемах малой размерности.

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

Авторы статьи предлагают структурированный подход к токенизации, который помогает модели лучше учитывать топологию квантовых цепей. Эксперименты на схемах с количеством кубитов от 2 до 6 демонстрируют границы применимости текущих архитектур и подчеркивают необходимость разработки специализированных методов обучения, предотвращающих накопление дрейфа при генерации длинных последовательностей квантовых операций.

Ключевые факты

  • Модель: энкодер-декодер трансформер с 44,8 млн параметров.
  • Объект исследования: синтез и оптимизация квантовых схем с минимизацией T-гейтов.
  • Тестовая выборка: параметризованные схемы (2–6 кубитов) и Clifford+T схемы (3–6 кубитов).
  • Основная проблема: авторегрессионный дрейф, нарушающий функциональную эквивалентность синтезируемых схем.