Czy argument Gila Kalai przeciwko topologicznym komputerom kwantowym brzmi?

11

W wykładzie nagranym na Youtube Gil Kalai przedstawia „dedukcję”, dlaczego topologiczne komputery kwantowe nie będą działać. Interesujące jest to, że twierdzi on, że jest to silniejszy argument niż argument przeciwko komputerom odpornym na błędy w ogóle.

Jeśli dobrze rozumiem jego argument, stwierdza to

  1. (Hipotetyczny) komputer kwantowy bez kwantowej korekcji błędów może symulować układ dowolnych reprezentujących kubit w topologicznym komputerze kwantowym.

  2. Dlatego każdy komputer kwantowy oparty na tych urządzeniach musi mieć co najmniej tyle samo szumu, co komputer kwantowy bez kwantowej korekcji błędów. Ponieważ wiemy, że nasz hałaśliwy komputer kwantowy jest niewystarczający do uniwersalnego obliczenia kwantowego, topologiczne komputery kwantowe oparte na nikim również nie mogą zapewnić uniwersalnego obliczenia kwantowego.

Myślę, że krok 2 jest słuszny, ale mam wątpliwości co do kroku 1 i dlaczego sugeruje 2. W szczególności:

  • Dlaczego komputer kwantowy bez korekcji błędów może symulować system kogokolwiek?
  • Jeśli potrafi symulować układ kogokolwiek, czy jest możliwe, że może to robić tylko z małym prawdopodobieństwem, a zatem nie może symulować topologicznego komputera kwantowego z taką samą tolerancją na uszkodzenia, jak system kogokolwiek?
Dyskretna jaszczurka
źródło

Odpowiedzi:

8

Topologiczny komputer kwantowy mógłby być wykonany przy użyciu egzotycznej fazy materii, w której każdy powstaje jako zlokalizowane efekty (takie jak cząsteczki lub defekty). W takim przypadku błędy zwykle kosztują energię, więc prawdopodobieństwo jest małe dla niskich temperatur (choć nigdy nie będzie zerowe).

Topologiczny komputer kwantowy może być również wykonany (lub można powiedzieć, że jest symulowany ) za pomocą standardowego komputera kwantowego modelu bramy, takiego jak komputer oparty na kubitach.

W obu przypadkach używamy hałaśliwego medium do zaprojektowania systemu każdego. I tak otrzymamy hałaśliwy system wszystkich. Efekty szumu spowodują, że nasze nikogo będą błąkać się, a także spowodują tworzenie par dodatkowych, itp. Jeśli te efekty nie zostaną uwzględnione, spowoduje to błędy w dowolnym topologicznym obliczeniu kwantowym, które zamierzamy wykonać. W tym sensie jego argumenty są poprawne.

Należy zatem zauważyć, że nie możemy nie uwzględniać błędów. Musimy spojrzeć na system, śledzić, gdzie są wszyscy, starać się zidentyfikować, z których korzystamy i jak usunąć te, które zostały utworzone przez pomyłkę. Oznacza to, że musimy dokonać korekcji błędów w topologicznym komputerze kwantowym.

Obietnica TQC polega głównie na tym, że powinny istnieć sposoby inżynierii faz topologicznych, które będą miały mniejszy hałas. Powinny zatem wymagać mniejszej korekcji błędów. Ale na pewno będą potrzebować.

W przypadku modelu kwantowego modelu bramkowego symulującego topologiczny komputer kwantowy korzyści są takie, że topologiczna korekcja błędów jest dość prosta i ma wysokie progi. Kody powierzchni są tego przykładem. Ale zwykle nie myślimy o tym jako o modelu bramkowym QC symulującym topologiczną QC. Uważamy to za dobry przykład kodu korygującego błędy kwantowe.

James Wootton
źródło
Masz na myśli, że nie wszystkie topologiczne komputery kwantowe (w szczególności „sposoby konstruowania faz topologicznych, które będą miały mniej hałasu”?) Mogą być symulowane przez hałaśliwe komputery kwantowe? I dlatego odpowiedź na moje pierwsze pytanie brzmi: „nie zawsze może to zrobić”?
Dyskretna jaszczurka
@Discretelizard Każdy hałaśliwy komputer kwantowy może symulować TQC (zakładając, że nie jest zbyt hałaśliwy). Ale jeśli TQC implementuje korekcję błędów (tak jak powinna), zwykle nie traktujemy jej jako „symulacji”. Zwykle uważamy to za szczególny rodzaj (topologicznego) protokołu korekcji błędów, który możemy wdrożyć. Wprowadziłem kilka zmian, aby było to nieco jaśniejsze.
James Wootton
Ponieważ możemy uznać „symulację” za formę kwantowej korekcji błędów, argument ten ogranicza się do argumentów Kalai przeciwko ogólnie komputerom odpornym na błędy. Wydaje się więc, że twierdzenie Kalai, że ten argument jest silniejszy niż jego ogólny argument, jest fałszywe.
Dyskretna jaszczurka
1
Pomysł, że w przypadku TQC nie jest wymagana korekcja błędów, był powszechnym błędnym przekonaniem podczas publikowania tego filmu. Trzeba było więc wysunąć ten argument i było to bardzo mocne twierdzenie. Ale w przypadku w pełni wdrożonego TQC będzie musiał polegać na innych (mniej mocnych) argumentach.
James Wootton