Вступ

У попередніх уроках цього курсу ми розглянули кілька прикладів квантових кодів виправлення помилок, які можуть виявляти помилки і дозволяти їх виправляти — за умови, що кількість уражених кубітів не надто велика. Однак якщо ми хочемо використовувати виправлення помилок для квантових обчислень, залишається ще багато проблем, які потребують вирішення. Серед них — той факт, що квантова інформація не лише крихка і вразлива до шуму, але й квантові вентилі, вимірювання та ініціалізації станів, що використовуються для реалізації квантових обчислень, самі по собі будуть недосконалими.

Наприклад, якщо ми хочемо виправляти помилки на одному або кількох кубітах, закодованих за допомогою квантового коду виправлення помилок, це необхідно робити за допомогою вентилів і вимірювань, які можуть не працювати коректно — що означає не лише провал у виявленні або виправленні помилок, але й можливе введення нових помилок.

Крім того, самі обчислення, які нас цікавлять, мають бути реалізовані знову-таки за допомогою недосконалих вентилів. Але ми, звичайно, не можемо ризикувати декодувати кубіти заради виконання цих обчислень, а потім заново кодувати їх після завершення, бо помилки можуть виникнути, коли захист квантового коду виправлення помилок відсутній. Це означає, що квантові вентилі якимось чином мають виконуватися на логічних кубітах, які ніколи не залишаються без захисту квантового коду виправлення помилок.

Все це становить серйозний виклик. Але відомо, що поки рівень шуму залишається нижче певного порогового значення, в теорії можливо виконувати довільно великі квантові обчислення надійно, використовуючи зашумлене апаратне забезпечення. Ми обговоримо цей критично важливий факт, відомий як теорема про поріг, ближче до кінця уроку.

Урок починається з базових основ відмовостійких квантових обчислень, включно з коротким обговоренням моделей шуму та загальною методологією відмовостійких реалізацій квантових схем. Далі ми перейдемо до проблеми поширення помилок у відмовостійких квантових схемах та способів її контролю. Зокрема, ми обговоримо трансверсальні реалізації вентилів, що пропонують дуже простий спосіб контролювати поширення помилок — хоча існує фундаментальне обмеження, що не дозволяє використовувати цей метод виключно, — а також розглянемо іншу методологію, що використовує так звані магічні стани, яка пропонує інший шлях до контролю поширення помилок у відмовостійких квантових схемах.

І нарешті, урок завершується загальним обговоренням теореми про поріг, яка стверджує, що довільно великі квантові схеми можна реалізувати надійно, якщо рівень помилок для всіх задіяних компонентів залишається нижче певного кінцевого порогового значення. Це порогове значення залежить від коду виправлення помилок, що використовується, а також від конкретних обраних методів відмовостійкої реалізації вентилів і вимірювань, але критично воно не залежить від розміру квантової схеми, що реалізується.

Відео уроку

У наступному відео Джон Ватроус знайомить тебе з матеріалом цього уроку про відмовостійкі квантові обчислення. Також можна відкрити відео на YouTube в окремому вікні. Завантажити слайди до цього уроку.