4551
правка
Отказоустойчивые квантовые вычисления: различия между версиями
Перейти к навигации
Перейти к поиску
Отказоустойчивые квантовые вычисления (посмотреть исходный код)
Версия от 22:22, 21 ноября 2020
, 21 ноября 2020→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 29: | Строка 29: | ||
Квантовая схема с N вентилями может априори допускать только O(1/N) ошибок на один вентиль, поскольку всего один отказ может привести к рандомизации всей выдачи. В 1996 году Шор показал, как можно справиться с O(1/poly(log N)) ошибками на один вентиль, закодировав каждый кубит в poly(log N)-размерный квантовый код коррекции ошибок, а затем реализуя каждый вентиль желаемой схемы непосредственно на закодированных кубитах, чередуя вычисления и шаги исправления ошибок (это напоминает схему фон Неймана) [8]. Результат Шора состоит из двух основных технических частей: | Квантовая схема с N вентилями может априори допускать только O(1/N) ошибок на один вентиль, поскольку всего один отказ может привести к рандомизации всей выдачи. В 1996 году Шор показал, как можно справиться с O(1/poly(log N)) ошибками на один вентиль, закодировав каждый кубит в poly(log N)-размерный квантовый код коррекции ошибок, а затем реализуя каждый вентиль желаемой схемы непосредственно на закодированных кубитах, чередуя вычисления и шаги исправления ошибок (это напоминает схему фон Неймана) [8]. Результат Шора состоит из двух основных технических частей: | ||
1. Серьезным результатом было открытие кодов квантовой коррекции ошибок (QECC). Примечательно, что несмотря на то, что квантовые ошибки могут быть непрерывными, кодов, которые исправляют дискретные ошибки, оказывается достаточно. (Измерение синдрома блока кода превращается в дискретное событие об ошибке). Первым квантовым кодом, обнаруженным Шором, был 9-кубитный код, состоящий из конкатенации трехкубитного кода <math>| 0 </math> для защиты от ошибок инвертирования разряда, тогда как его дуальный код | 1. Серьезным результатом было открытие кодов квантовой коррекции ошибок (QECC). Примечательно, что несмотря на то, что квантовые ошибки могут быть непрерывными, кодов, которые исправляют дискретные ошибки, оказывается достаточно. (Измерение синдрома блока кода превращается в дискретное событие об ошибке). Первым квантовым кодом, обнаруженным Шором, был 9-кубитный код, состоящий из конкатенации трехкубитного кода <math>| 0 \rangle \mapsto | 000 \rangle, | 1 \rangle \mapsto | 111 \rangle</math> для защиты от ошибок инвертирования разряда, тогда как его дуальный код <math>| + \rangle \mapsto | + + + \rangle, | - \rangle \mapsto | - - - \rangle </math> обеспечивал защиту от ошибок инвертирования фазы. С тех пор было обнаружено много других QECC. Такие коды, как 9-кубитный код, способный исправлять ошибки разряда и фазы по отдельности, известны как коды Калдербанка-Шора-Стина (Calderbank-Shor-Steane, CSS) и имеют квантовые кодовые слова, которые одновременно являются суперпозициями кодовых слов классических кодов в базах <math> | 0 / 1 \rangle</math> и <math> | + / - \rangle</math>. | ||
2. Коды QECC позволяют использовать квантовую память или общаться по шумному каналу. Для вычисления, однако, должна быть возможность расчета на основе кодирования последовательности состояний в отсутствие первичного декодирования. Операция считается отказоустойчивой, если она не может привести к коррелированным ошибкам внутри блока кода. При наличии n-битного мажоритарного кода все классические вентили могут быть применены перпендикулярно: закодированный вентиль можно реализовать посредством применения незакодированного вентиля к битам i каждого блока кода, 1 < i < n. Эта операция является отказоустойчивой, так как один отказ влияет не более чем на один бит в каждом блоке и, таким образом, отказы не могут распространяться слишком быстро. Для квантовых кодов CSS вентиль с контролируемым отрицанием CNOT: ja;b i!j 7a;a (B bi может применяться перпендикулярно аналогичным образом. Однако сам по себе вентиль CNOT не является универсальным, поэтому Шор также предложил отказоустойчивую реализацию вентиля Тоффоли ja; b; c i!j 7a; b; c ф (a Л b)i. Как для коррекции ошибок при использовании неисправных вентилей, так и для начального этапа подготовки требуются дополнительные процедуры. Кодирование j 0i представляет сильно запутанное состояние и трудно для подготовки (в отличие от 0n для классического мажоритарного кода). | 2. Коды QECC позволяют использовать квантовую память или общаться по шумному каналу. Для вычисления, однако, должна быть возможность расчета на основе кодирования последовательности состояний в отсутствие первичного декодирования. Операция считается отказоустойчивой, если она не может привести к коррелированным ошибкам внутри блока кода. При наличии n-битного мажоритарного кода все классические вентили могут быть применены перпендикулярно: закодированный вентиль можно реализовать посредством применения незакодированного вентиля к битам i каждого блока кода, 1 < i < n. Эта операция является отказоустойчивой, так как один отказ влияет не более чем на один бит в каждом блоке и, таким образом, отказы не могут распространяться слишком быстро. Для квантовых кодов CSS вентиль с контролируемым отрицанием CNOT: ja;b i!j 7a;a (B bi может применяться перпендикулярно аналогичным образом. Однако сам по себе вентиль CNOT не является универсальным, поэтому Шор также предложил отказоустойчивую реализацию вентиля Тоффоли ja; b; c i!j 7a; b; c ф (a Л b)i. Как для коррекции ошибок при использовании неисправных вентилей, так и для начального этапа подготовки требуются дополнительные процедуры. Кодирование j 0i представляет сильно запутанное состояние и трудно для подготовки (в отличие от 0n для классического мажоритарного кода). | ||