Úvod

V předchozích lekcích tohoto kurzu jsme viděli několik příkladů kvantových kódů pro korekci chyb, které dokáží detekovat a umožnit opravu chyb — pokud není postiženo příliš mnoho qubitů. Pokud však chceme korekci chyb využít pro kvantové výpočty, je třeba se vypořádat s mnoha dalšími problémy. To zahrnuje skutečnost, že nejenže je kvantová informace křehká a náchylná k šumu, ale samotná kvantová hradla, měření a inicializace stavů používané k implementaci kvantových výpočtů budou samy o sobě nedokonalé.

Například pokud chceme provést korekci chyb na jednom nebo více qubitech zakódovaných pomocí kvantového kódu pro korekci chyb, musí se to provést pomocí hradel a měření, které nemusí fungovat správně — což znamená nejen selhání při detekci nebo opravě chyb, ale také možné zavedení nových chyb.

Kromě toho musí být skutečné výpočty, které nás zajímají, implementovány opět pomocí hradel, která nejsou dokonalá. Rozhodně si ale nemůžeme dovolit dekódovat qubity jen kvůli provedení těchto výpočtů a pak je znovu zakódovat, protože chyby by mohly nastat v okamžiku, kdy ochrana kvantového kódu pro korekci chyb chybí. To znamená, že kvantová hradla musí být nějakým způsobem prováděna na logických qubitech, které nikdy nezůstanou bez ochrany kvantového kódu pro korekci chyb.

To vše představuje velkou výzvu. Je však známo, že pokud úroveň šumu klesne pod určitou prahovou hodnotu, je teoreticky možné provádět libovolně rozsáhlé kvantové výpočty spolehlivě pomocí zašuměného hardwaru. Tento kriticky důležitý fakt, známý jako prahový teorém, probereme ke konci lekce.

Lekce začíná základním rámcem pro kvantové výpočty odolné vůči chybám, včetně krátké diskuze o modelech šumu a obecné metodologii pro implementace kvantových obvodů odolných vůči chybám. Poté přejdeme k problému šíření chyb v kvantových obvodech odolných vůči chybám a jak jej kontrolovat. Konkrétně probereme transverzální implementace hradel, které nabízejí velmi jednoduchý způsob kontroly šíření chyb — ačkoliv existuje zásadní omezení, které nám brání používat tuto metodu výhradně — a podíváme se také na odlišnou metodologii využívající takzvané magické stavy, která nabízí jiný způsob kontroly šíření chyb v kvantových obvodech odolných vůči chybám.

A nakonec lekce uzavírá diskuzí na vysoké úrovni o prahovém teorému, který říká, že libovolně rozsáhlé kvantové obvody mohou být implementovány spolehlivě, pokud chybovost všech zúčastněných komponent klesne pod určitou konečnou prahovou hodnotu. Tato prahová hodnota závisí na použitém kódu pro korekci chyb i na konkrétních volbách pro implementace hradel a měření odolných vůči chybám, ale zásadně nezávisí na velikosti implementovaného kvantového obvodu.

Video lekce

V následujícím videu tě John Watrous provede obsahem této lekce o kvantových výpočtech odolných vůči chybám. Alternativně můžeš otevřít YouTube video pro tuto lekci v samostatném okně. Stáhni si prezentace pro tuto lekci.