Znaczenie operacji Clifforda z perspektywy kwantowej korekcji błędów


9

W literaturze na temat QECC bramy Clifford zajmują podwyższony status.

Rozważ następujące przykłady, które to potwierdzają:

  • Podczas studiowania kodów stabilizatora oddzielnie uczysz się, jak wykonać zakodowane bramki Clifford (nawet jeśli nie mają one zastosowania poprzecznie). Wszystkie materiały wprowadzające na temat QECC kładą nacisk na wykonywanie zakodowanych operacji Clifforda na kodach kwantowych. I w przeciwnym razie, naciskaj na bramki Clifforda (tj. Nawet jeśli nie wykonujesz zakodowanych bram Clifforda w kodach kwantowych).

  • Cały temat destylacji stanu magicznego * opiera się na klasyfikacji niektórych operacji (w tym wydajności bram Clifforda) jako operacji tanich, podczas gdy na przykład wykonywanie bramki toffoli lub bramy , jako operacje o wyższych kosztach.π/8

Możliwe odpowiedzi:

  1. Zostało to uzasadnione w niektórych miejscach literatury, np. Rozprawie doktorskiej Gottesmana i wielu jego pracach, a także w https://arxiv.org/abs/quant-ph/0403025 . Powodem podanym w tych miejscach jest to, że możliwe jest wykonanie niektórych bram Clifford poprzecznie (prototypowa operacja tolerująca uszkodzenia) na niektórych kodach stabilizatora. Z drugiej strony, nie jest łatwo znaleźć zastosowanie poprzeczne bramek nie-Clifforda na kodach kwantowych. Sam tego nie zweryfikowałem, ale kieruję się stwierdzeniami, które Gottesman wygłasza w swoim doktoracie. rozprawa i niektóre artykuły przeglądowe.

Brak możliwości wykonania poprzecznie zakodowanej bramki na kodzie kwantowym natychmiast zwiększa koszt wykonania wspomnianej bramki na kodzie. Odtąd wykonywanie bram Clifford należy do kategorii tanich, a bramy inne niż Clifford do kategorii tanich.

  1. Z punktu widzenia inżynierii ważne jest, aby zdecydować się na znormalizowaną listę podstawowych jednostek obliczeń kwantowych (przygotowanie stanu, bramki, obserwowalne pomiary / podstawy) itp. Wykonanie bram Clifforda umożliwia wygodny wybór z tej listy z wielu powodów (najbardziej znane zestawy uniwersalnych bram kwantowych obejmują wiele bram Clifforda, twierdzenie Gottesmana-Knilla ** itp.).

Są to jedyne dwa powody, dla których mogłem wymyślić, dlaczego grupa Clifford ma tak wysoki status w badaniu QECC (szczególnie, gdy studiujesz kody stabilizatora). Oba powody wynikają z inżynierii.

Pytanie brzmi: czy można zidentyfikować inne przyczyny, które nie wynikają z inżynierii? Czy jest jeszcze jakaś ważna rola, którą odgrywają bramy Clifford, której nie zauważyłem?

Możliwa inna przyczyna: Wiem, że grupa Clifford jest normaliser grupy Pauli w grupie unitarnego (na systemów qubit). Ponadto, że ma on półproduktową strukturę produktu (w rzeczywistości rzutową reprezentację półproduktowej grupy produktów). Czy te relacje / właściwości same w sobie stanowią kolejny powód, dla którego należy badać grupę Clifford w powiązaniu z kodami Stabilizatora?n

* Możesz to poprawić. ** Który stwierdza, że ​​ogranicza się do niektórych operacji, nie można uzyskać przewagi kwantowej, a zatem potrzebujesz nieco więcej niż zestawu operacji, do których początkowo ograniczałeś się.

Odpowiedzi:


3

Operacje Clifford są często łatwe do wykonania w kodach stabilizatora odpornych na uszkodzenia, zarówno poprzecznie, jak i przez deformację kodu. Powód jest dokładnie taki, jak myślałeś: szczególny związek między tymi bramami a Paulisem, ponieważ te ostatnie służą do definiowania kodów stabilizatora.

Możliwe jest uzyskanie kodów innych niż Clifford w kodach, ale należy zapłacić cenę. W szczególności istnieje związek między geometryczną lokalizacją kodów a bramkami, które mogą wykonywać poprzecznie. Tak więc, jeśli wolno ci robić bramy kontrolowane przez najbliższego sąsiada na siatce 2D (takiej jak powierzchnia lub kod koloru), tylko Cliffords będą możliwe. Zobacz artykuły tego typu, aby uzyskać więcej informacji na ten temat.

Fakt, że możemy spodziewać się odpornych na uszkodzenia Cliffords po kodach stabilizatora, został następnie umieszczony w centrum technik syntezy uniwersalnych zestawów bramek. Jeśli więc istnieje sposób na stworzenie stanu zakodowanego w trybie niestabilizatora w sposób nie tolerujący błędów, wiemy, jak to wyczyścić za pomocą naszego logicznego Clifforda. Aby zamienić te stany w rotacje, używamy naszych logicznych Cliffords. Więc jeśli masz kod i chcesz zastosować wszystkie te gotowe wyniki, lepiej znajdź swoje odporne na błędy Cliffords. A przynajmniej Paulis, H i CZ lub CNOT, jeśli nie możesz zarządzać nimi wszystkimi.


Proszę wziąć pod uwagę następujące oświadczenie: „W przypadku kodów stabilizatora przypadki poprzecznej implementacji bram nie zakodowanych w Clifford są rzadsze niż poprzeczna implementacja bram w kodowaniu Clifford”. Czy uważasz, że to stwierdzenie jest właściwe? Czy w literaturze jest coś, co to uzasadnia? Czy ludzie próbowali znaleźć na to odpowiedzi? Na przykład: Znam twierdzenia o zakazie przejścia między bramami poprzecznymi i uniwersalnymi. Czy niektóre z tych twierdzeń zakazujących sugerują również coś w stosunku do transwersalnej / nietranswersalnej implementacji zakodowanych unitu Clifforda?
Tanmay Singal,

1
Istnieje związek między geometryczną lokalizacją kodów a bramkami, które mogą wykonywać poprzecznie. W przypadku kodów, które można wykonać na siatce 2D (najbardziej realistycznej), możliwe są tylko Cliffords. Zobacz arxiv.org/abs/1408.1720 , na przykład
James Wootton
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.