Квантовый компьютер, который может работать корректно, даже если его компоненты содержат ошибки, используя коррекцию ошибок.Отказоустойчивый квантовый компьютер — это квантовый компьютер, который может выполнять надежные вычисления, даже если его физические кубиты подвержены ошибкам из-за декогеренции, шума и неидеальных операций. В отличие от классических компьютеров, квантовые ошибки непрерывны и могут влиять как на значение (битовый флип), так и на фазу кубита. Отказоустойчивость достигается путем кодирования логических кубитов во множество физических кубитов с использованием кодов квантовой коррекции ошибок, а также путем разработки операций, которые исправляют ошибки быстрее, чем они накапливаются. Это необходимо для масштабирования квантовых компьютеров за пределы небольших демонстраций для решения практических задач, поскольку ни один физический кубит не идеален.
Концепция отказоустойчивых квантовых вычислений была введена Питером Шором в 1995 году, вскоре после того, как он открыл квантовую коррекцию ошибок. Пороговая теорема была доказана Дорит Ааронов и Михаэлем Бен-Ором в 1996 году, а затем уточнена другими исследователями. Поверхностный код, ведущий кандидат для практической отказоустойчивости, был разработан в начале 2000-х годов Алексеем Китаевым и другими.
Основная идея — избыточность: логический кубит кодируется в большем наборе физических кубитов, например, в поверхностном коде, где информация распределяется по решетке. Квантовая коррекция ошибок работает путем измерения проверок четности (например, являются ли соседние кубиты одинаковыми или разными), не нарушая закодированную информацию. Эти измерения выявляют ошибки, которые затем исправляются применением соответствующих операций. Для отказоустойчивости сами схемы коррекции ошибок должны быть спроектированы так, чтобы быть устойчивыми, с использованием таких методов, как трансверсальные вентили и дистилляция магических состояний. Пороговая теорема утверждает, что если частота ошибок на физическую операцию ниже определенного порога (обычно около 1% для поверхностных кодов), то возможны сколь угодно длинные вычисления при добавлении большего количества кубитов.
Отказоустойчивые квантовые компьютеры являются конечной целью для запуска таких алгоритмов, как алгоритм Шора для факторизации и моделирование квантовых систем, которые требуют миллионов исправленных логических кубитов. Текущие исследования сосредоточены на создании небольших демонстраций исправленных логических кубитов, например, в Google и IBM.
Порог частоты ошибок для отказоустойчивости настолько требователен, что у современных квантовых процессоров частота ошибок примерно в 100 раз выше, но недавние эксперименты показали, что увеличение размера кода может уменьшить логические ошибки, что является ключевым этапом на пути к практической отказоустойчивости.














