Ú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é Gate, 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í Gate 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í Gate, 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é Gate musí být nějakým způsobem prováděny 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 Circuit odolných vůči chybám. Poté přejdeme k problému šíření chyb v kvantových Circuit odolných vůči chybám a jak jej kontrolovat. Konkrétně probereme transverzální implementace Gate, 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 Circuit 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é Circuit 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 Gate a měření odolných vůči chybám, ale zásadně nezávisí na velikosti implementovaného kvantového Circuit.
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.