Квантовые вычисления обещают решать задачи факторизации, квантовой химии и моделирования динамики быстрее классических компьютеров, но требуют отказоустойчивости — подавления ошибок до уровня, пригодного для алгоритмов. Традиционные архитектуры на поверхностном коде надёжны, но неэффективны: отношение физических кубитов к логическим велико. Вокруг этой работы — целое направление квантовой коррекции ошибок и квантовых алгоритмов: соседние исследования уже показали квантовое ускорение в разы, кремниевые чипы с 18 кубитами, самовосстановление квантовых компьютеров и коды-айсберги, где ошибки повышают производительность. Велосипедная архитектура встаёт в этот ряд, но делает ставку на модульность и дальние связи между кубитами, что открывает путь к кодам с малой плотностью проверок.
В основе — двумерные бициклические коды, обобщающие торический код: кубиты и проверки размещены на торе, а каждая проверка дополнительно связана с двумя удалёнными кубитами через дальние связи. Для кодов gross (144 физических кубита, 12 логических, расстояние 12) и two-gross (288, 12, 18) построены явные схемы измерения синдромов, логические операции через деформацию кода (квантовую хирургию) и впрыскивание T-состояний из фабрик. Отказоустойчивость проверялась моделированием схемного шума с вероятностью ошибки p, включая ошибки приготовления, измерения и двухкубитных гейтов. Для оценки редких логических ошибок использован метод подгонки спектра отказов, а феноменологические расстояния вычислены целочисленным программированием.
Для кода gross при p=10⁻³ логическая ошибка холостого хода составила 10⁻⁸·⁸, а для two-gross — 10⁻²⁰·¹. При p=10⁻⁴ two-gross достигает 10⁻³⁸·³, что на много порядков ниже поверхностного кода сравнимого расстояния. Внутримодульные и межмодульные измерения имеют ошибки порядка 10⁻⁵–10⁻⁷ для gross и 10⁻⁹–10⁻¹⁸ для two-gross. Сквозные оценки для случайных схем и симуляции модели Изинга с поперечным полем показали: при 5 тысячах физических кубитов и p=10⁻³ велосипедная архитектура выполняет в 10 раз больше логических операций, чем поверхностный код; для модели Изинга достаточно 8138 кубитов при p≈7×10⁻⁴ против 58–73 тысяч у поверхностного кода.
Работа показывает, что коды с малой плотностью проверок могут быть не только теоретически эффективнее, но и практически реализуемы в модульной архитектуре с дальними связями. В отличие от соседних работ, где часто рассматриваются отдельные компоненты — коррекция ошибок, компиляция, фабрики состояний, — здесь собран полный стек: от физической связности до компиляции алгоритмов и оценки ресурсов. Это первая сквозная демонстрация того, что модульность и дальние связи дают выигрыш на порядок по числу логических кубитов без ухудшения надёжности.
Перспективы связаны с улучшением межмодульных измерений, чьи логические ошибки сейчас ограничивают общую производительность. Возможны новые конструкции адаптеров, оптимизация декодера и параллельные измерения. Другое направление — увеличение расстояния кодов: семейство бициклических кодов допускает масштабирование, а также использование других кодов с малой плотностью проверок, вплоть до кодов с постоянной скоростью. Наконец, можно улучшить фабрики магических состояний, используя дальние связи для культивации или дистилляции.
Архитектура повлияет на проектирование квантовых процессоров, особенно сверхпроводящих, где дальние связи уже демонстрируются. Также она задаёт новые стандарты для компиляторов и систем коррекции ошибок.
Ближайшие шаги — оптимизация межмодульных операций и декодера, поиск схем измерения синдромов с большим схемным расстоянием, а также реализация прототипа модуля на реальном оборудовании.
В квантовой коррекции ошибок остаётся открытым вопрос о практической реализации кодов с малой плотностью проверок: как обеспечить дальнюю связность без потери качества, как декодировать быстро и точно, как масштабировать модули. Данная работа напрямую связывает эти проблемы, предлагая конкретные схемы и оценки, но не решая их полностью — например, схемное расстояние для gross-кода меньше кодового, а межмодульные измерения требуют улучшения.
Этот раздел адресован автору работы и его коллегам. Соседние работы нашёл смысловой поиск по нашему архиву — не по совпадению слов, а по смыслу. Мы не рецензируем: мы показываем поле вокруг.
Что сделано в работе
В работе предложена модульная велосипедная архитектура квантовых вычислений на основе двумерных бициклических кодов. Для кодов gross и two-gross построены отказоустойчивые наборы логических инструкций, оценены вероятности ошибок при схемном шуме и разработана стратегия компиляции. Сквозные оценки ресурсов показывают, что при том же числе физических кубитов велосипедная архитектура реализует на порядок более крупные логические схемы, чем архитектуры на поверхностном коде.
В чём сила
Сила работы в полном стеке: от физической связности и коррекции ошибок до компиляции алгоритмов и оценки ресурсов, что даёт целостную картину практической реализуемости кодов с малой плотностью проверок.
Куда можно двигаться
Что можно попробовать
Почему это может быть важно
Если модульные квантовые компьютеры с кодами малой плотности проверок удастся реализовать на существующих платформах, это может существенно сократить ресурсы для практических квантовых алгоритмов и приблизить их запуск.
Работы рядом в нашем архиве
Вокруг этой работы в архиве пусто: ближайший разбор всего на 0.56, при обычных 0.64. Похоже, рядом почти не бурили.
Код назван «gross» (от англ. «гросс» — 12 дюжин), потому что он кодирует ровно 12 логических кубитов — столько же, сколько предметов в одной дюжине дюжин.