Korekcja Błędów Kwantowych: Kod Bit-Flip dla 3 Kubitów

Problem: Nie można skopiować kubitu, aby go chronić

Klasyczna korekcja błędów chroni bit poprzez kopiowanie go – wysyłamy 000 zamiast 0 i większość głosów naprawia pojedynczy błąd. Informacja kwantowa nie może tego robić bezpośrednio: twierdzenie o braku duplikatów zabrania niezależnego tworzenia kopii stanu kwantowego, którego stan jest nieznany. Kod bit-flip 3-kubitowy, jeden z najprostszych kodów korekcji błędów kwantowych, obejmuje to poprzez splatanie jednego kubita logicznego na trzy fizyczne, zamiast kopiowania go – bramki CNOT rozpraszają stan pojedynczego kubitu w skorelowany trójpodział bez kiedykolwiek duplikują amplitud nieznanych:

|0⟩ → |000⟩         |1⟩ → |111⟩
α|0⟩+β|1⟩  →  α|000⟩ + β|111⟩   (entangled, NOT three independent copies)

Pomiar stanu bez wpływu na stan

Bezpośrednie pomiary kubitu w celu sprawdzenia błędów spowodowałoby załamanie się jego superpozycji i zniszczenie informacji, którą chronisz. Rozwiązaniem jest pomiar jedynie parzystości — czy pary kubitów są zgodne — przy użyciu kubitów pomocniczych i operatorów dwukubitowych Z₁Z₂ oraz Z₂Z₃, które współliniują się z stanami zakodowanymi |000⟩ i |111⟩ i nie ujawniają niczego na temat α lub β, tylko o spójności między trzema kubitami fizycznymi. Cztery możliwe wyniki tych dwóch kontroli parzystości tworzą syndrom błędu:

Syndrom (Z1Z2, Z2Z3) znaczenie (+1, +1) brak błędów (-1, +1) kubit 1 odwrócony (-1, -1) kubit 2 odwrócony (+1, -1) kubit 3 odwrócony Syndrom wskazuje dokładnie, który kubit fizyczny się odwrócił (jeśli w ogóle), bez pomiaru samego logicznego stanu α|000⟩ + β|111⟩ — superpozycja pozostaje nienaruszona. Po zidentyfikowaniu go, korekcja to pojedynczy, deterministyczny bramka X na oznaczonym kubicie. To jest kluczowa sztuczka każdego kodu stabilizatora: mierzymy operatory, które współliniują się z przestrzenią kodu (tak więc nie zakłócają zakodowanej informacji) ale antywspółliniują się ze specyficznymi błędami (tak więc ujawniają, który błąd wystąpił).

syndrome (Z1Z2, Z2Z3)   meaning
   (+1, +1)             no error
   (-1, +1)             qubit 1 flipped
   (-1, -1)             qubit 2 flipped
   (+1, -1)             qubit 3 flipped

Co ten kod robi i czego się nie chroni

Kod 3-qubitowy koryguje wszelkie pojedyncze błędy bitowe (X) na jednym z trzech fizycznych qubitów – dokładnie tak jak klasyczny kod powtarzania większości głosów, a to z dobrych powodów: błędy bitowe wchodzące w skład z bit flips komunikują się z kontrolami parzystości Z-podstawy w ten sam sposób, w jaki klasyczne błędy bitowe. Jednak jest ślepy na błędy typu fazowego (Z), które pozostawiają parzystość niezmienioną, a jednocześnie nadal zakłócają zakodowaną superpozycję. Oddzielny kod 3-qubitowy błędu fazowego zajmuje się tym przypadkiem poprzez kodowanie w bazie |+⟩/|−⟩ zamiast tego; Kod 9-qubitowy Petera Shore'a (1995) – pierwszy opublikowany kod korekcji błędów kwantowych – wkomponowuje oba konstrukcje ze sobą (kod błędu bitowego stosowany do bloków kodu błędu fazowego) aby skorygować dowolny pojedynczy błąd bitowy, niezależnie od jego typu lub kombinacji.

Dlaczego współczynnik błędu fizyczny do logicznego się poprawia

Jeśli każdy fizyczny kubit ma niezależne prawdopodobieństwo pfałęgnięcia bitowego na pojedynczy cykl korekcji błędów, kod 3-kubitowy zawodzi tylko wtedy, gdy dwa lub więcej z trzech kubitów ulegnie jednocześnie fałeczeniu – zdarzenie o prawdopodobieństwie w przybliżeniu 3p², biorąc pod uwagę małe p, ponieważ musi wybrać 2 z 3 kubitów do uszkodzenia. Kiedy współczynnik błędów korekcji błędów jest wystarczająco niski, dodawanie więcej kubitów na każdy kubit logiczny prowadzi do wykładniczego spadku współczynnika błędu logicznego zamiast wzrostu.

P_logical ≈ 3p²(1-p) + p³  ≈  3p²   for small p
break-even point:  p < 1/3  ⇒  encoding helps rather than hurts

Od kodu edukacyjnego do rzeczywistego sprzętu

Kod 3-qubitowy jest przykładem dydaktycznym, a nie tym, który uruchamia się na współczesnych procesorach kwantowych – rzeczywiste maszyny (superprzewodzące kubity z IBM i Google, uwięzione jony z Quantinuum i IonQ) w większości implementują kod powierzchniowy, który układa setki do tysięcy fizycznych kubitów w 2D, a jednocześnie mierzy wiele nakładających się stabilizatorów X- i Z- typu, korygując jednocześnie błędy bitowe i fazowe z dystansem skalowanym z rozmiarem siatki. Eksperymenty Google'a z 2023–2024 roku na podłożu powierzchniowym były pierwszymi, które wykazały, że większa odległość kodu mierzalnie zmniejsza błąd logiczny poniżej fizycznego – działanie twierdzenia o progu, na rzeczywistym sprzęcie, przy użyciu dokładnie tej pętli syndrom-pomiar-korekcja, którą pokazuje symulacja w najmniejskim możliwym zakresie.

Frequently asked questions

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Quantum Error Correction i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.