Отказоустойчивые квантовые вычисления: различия между версиями

2. Из доказательств существования порогов следует, что построение рабочего квантового компьютера возможно ''в принципе''. Физикам необходимо только разработать квантовые системы с достаточно низким константным уровнем шума. Но для реализации потенциала квантового компьютера потребуются ''практические'' схемы отказоустойчивости. Схемы должны будут выдерживать высокий уровень шума (а не просто константный) и добиваться этой цели с низкими накладными расходами (а не просто полилогарифмическими). Однако грубые оценки допустимого уровня шума согласно исходным доказательствам существования не являются многообещающими – необходим уровень ниже <math>10^{-6}</math> на вентиль. Если истинный порог составляет всего <math>10^{-6}</math>, то построить квантовый компьютер будет практически невозможно. Поэтому, во-вторых, была проведена значительная работа по оптимизации схем отказоустойчивости – главным образом с целью повышения допустимого уровня шума. Такие оптимизации обычно оцениваются с помощью симуляций и эвристических аналитических моделей. Однако недавно Алиферис, Готтесман и Прескилл разработали метод доказательства достаточно хороших нижних границ порога, до <math>2 \times 10^{-4}</math>, на основе подсчета «злокачественных» множеств локализаций ошибок [3].

В своей революционной работе Книлл [6] построил новую схему отказоустойчивости, основанную на очень эффективных кодах с расстоянием ''два''. Его коды не исправляют ошибки; в схеме активно используется поствыбор в случае отсутствия обнаруженных ошибок – т. е. при обнаружении ошибки объемлющая подпрограмма перезапускается. Клнилл оценил порог на уровне выше 3% на каждый вентиль, что на порядок больше предыдущих оценок. Рейхардт доказал нижнюю границу порога <math>10^{-3}</math> для аналогичной схемы [7], отчасти поддерживая высокую оценку Книлла. Однако зависимость от поствыбора приводит к огромным накладным расходам при высокой частоте ошибок, что значительно снижает практичность. (Классическая схема отказоустойчивости, основанная на обнаружении ошибок, может не быть эффективной, но квантовая телепортация допускает, по крайней мере, теоретическую эффективность схемы Книлла). По-видимому, существует компромисс между допустимым уровнем шума и накладными расходами, необходимыми для его достижения. Существует несколько взаимодополняющих подходов к обеспечению квантовой отказоустойчивости. Для достижения максимальной эффективности целесообразно использовать любую известную структуру шума, прежде чем переходить к общим процедурам отказоустойчивости. Специализированные методы включают тщательное квантовое проектирование, методы ядерного магнитного резонанса (ЯМР), такие как динамическая развязка и композитные последовательности импульсов, а также подпространства, свободные от декогерентности. Для очень малых квантовых компьютеров такие методы могут обеспечить достаточную защиту от шума.