Dlaczego używamy standardowego zestawu bramek, który robimy?

14

Zazwyczaj stosowany zestaw bramek do obliczeń kwantowych składa się z pojedynczych kubitów Cliffords (Paulis, H i S) i kontrolowanego-NOT i / lub kontrolowanego-Z.

Aby wyjść poza Clifford, lubimy mieć pełne rotacje pojedynczych kubitów. Ale jeśli jesteśmy minimalni, wybieramy T (czwarty pierwiastek Z).

Ta szczególna forma zestawu bram wyskakuje wszystko. Takich jak na przykład eksperyment kwantowy IBM.

Dlaczego właśnie te bramy? Na przykład, H spełnia swoje zadanie odwzorowania między X i Z. Podobnie S ma zadanie odwzorowania między X i Y, ale współczynnik także zostaje wprowadzony. Dlaczego nie używamy unitarnego podobnego do Hadamarda ( X + Y ) / 1 zamiast S? Albo dlaczego nie użyjemy pierwiastka kwadratowego Y zamiast H? Byłoby to oczywiście matematycznie równoważne, ale wydawałoby się po prostu bardziej spójne jako konwencja.(X+Y)/2

I dlaczego nasza droga do bramy innej niż Clifford jest czwartym źródłem Z? Dlaczego nie czwarty pierwiastek z X lub Y?

Jakie konwencje historyczne doprowadziły do ​​tego konkretnego wyboru zestawu bram?

James Wootton
źródło
1
Czy odpowiedzią byłoby twierdzenie Gottesmana-Knilla? Trzymać się bramek, które umożliwiają wydajną symulację obwodu kwantowego na klasycznym komputerze?
Andrew O
@AndrewO Chyba Gottesman-Knill wyjaśniłby silne nastawienie Clifforda. Ale wciąż nie rozumiem, dlaczego nasz standardowy zestaw bram jest tym, czym są, a nie innymi bardziej symetrycznymi pozornymi wyborami.
James Wootton

Odpowiedzi:

12

Każdy, kto napisał artykuł i zadał sobie pytanie, czy mógłby poprawić notację lub przedstawić analizę nieco inaczej, aby uczynić ją bardziej elegancką, zna fakt, że wybór notacji, opisu i analizy może być wypadkiem - wybrany bez głębokich motywacji. Nie ma w tym nic złego, po prostu nie ma silnego uzasadnienia, aby być konkretnym sposobem. W dużych społecznościach ludzi, którzy są bardziej zainteresowani (być może uzasadnionym) robieniem rzeczy niż prezentowaniem możliwie najczystszego obrazu, tak będzie przez cały czas.

Myślę, że ostateczna odpowiedź na to pytanie będzie zgodna z tymi założeniami: jest to głównie historyczny wypadek. Wątpię, czy istnieją głęboko przemyślane powody, dla których zestawy bram są takie, jakie są, podobnie jak głęboko przemyślane powody, dla których mówimy o stanie Bell nieco częściej niż stan.|Φ+=(|00+|11)/2|Ψ=(|01|10)/2

Ale wciąż możemy zastanowić się, jak doszło do wypadku i czy możemy się czegoś dowiedzieć o systematycznych sposobach myślenia, które mogły nas tam doprowadzić. Oczekuję, że przyczyny ostatecznie wynikają z kulturowych priorytetów informatyków, przy czym zarówno głębokie, jak i powierzchowne uprzedzenia odgrywają rolę w sposobie opisywania rzeczy.

Dygresja o stanach Bella

Jeśli mnie znosisz, chciałbym rozwodzić się na przykładzie dwóch stanów Bell i jako indykatywny przykład tego, jak ostatecznie dowolna konwencja może powstały przypadkowo, częściowo z powodu uprzedzeń, które nie mają głębokich matematycznych korzeni.|Φ+|Ψ

Oczywistym powodem preferring nad jest to, że ta pierwsza jest bardziej oczywisty sposób symetryczny. Kiedy dodajemy dwa komponenty do , nie ma wyraźnej potrzeby bronić, dlaczego piszemy to podczas pisania. W przeciwieństwie do tego, równie łatwo zdefiniować z przeciwnym znakiem, który nie jest ani lepszy, ani gorszy wybór . To sprawia wrażenie, jakbyśmy dokonywali bardziej dowolnych wyborów podczas definiowania .|Φ+|Ψ|Φ+|Ψ=(|10|01)/2|Ψ=(|01|10)/2|Ψ

Nawet wybór podstawy jest nieco elastyczny w przypadku : możemy napisać i uzyskać ten sam stan. Ale sprawy zaczynają będzie trochę gorzej, jeśli zaczniesz biorąc pod uwagę stany własne z operatora: mamy . Nadal wygląda to dość symetrycznie, ale staje się jasne, że nasz wybór podstaw odgrywa niebanalną rolę w sposobie definiowania .|Φ+|Φ+:=(|+++|)/2|±i:=(|0±i|1)/2Y|Φ+=(|+i|i+|i|+i)/2|Φ+

Żart jest na nas. Powodem, dla którego wydaje się „bardziej symetryczny” niż jest to, że jest dosłownie najmniej symetrycznym stanem dwóch kubitów, a to czyni go lepszym zmotywowany niż|Φ+|Ψ|Ψ|Φ+|Ψ1

  • |Ψ(|α|α|α|α)/2|α|α
  • |α|Ψ|Φ+|1=i|1(|00+|11)/2

|Φ++1|Φ|00|11

|Φ+|Ψ|Φ+

Kto zamówił CNOT?

(X+Y)/2H=(X+Z)/2YYYY

CZ=diag(+1,+1,+1,1)U=exp(iπ(ZZ)/2)U=exp(iπ(XX)/2)

UU

Chociaż trochę się tutaj bawię, w końcu nad tym właśnie studiujemy obliczenia kwantowe . Fizyk może mieć głębszy wgląd w ekologię operacji elementarnych, ale pod koniec dnia informatycy troszczą się o to, jak prymitywne rzeczy można złożyć w zrozumiałe procedury obejmujące klasyczne dane. A to oznacza, że ​​nie przywiązuje się zbytniej wagi do symetrii na niższych poziomach logicznych, o ile mogą uzyskać to, czego chcą z niższych poziomów.

UU

Głębokie i niezbyt głębokie powody, by preferować bramę Hadamard

(X+Z)/2Y(1iY)/2

H

|0,|1|+,|XYY

  • H|+,|
  • H2

|+,||+i,|i2, aby połączyć się z pojęciem przełączania, wydaje się to wskazywać na szczególną preferencję do rozważania rzeczy przez „odwrócenie” zamiast odwracalnych zmian podstawy. Priorytety te pasują do zainteresowań informatyki.

|Φ+|ΨHY(X+Y)/2

Argument przekątny

Jeśli jesteś informatykiem, kiedy już będziesz mieć Hadamarda i CNOT, pozostanie ci tylko uporządkowanie tych irytujących skomplikowanych faz. Te fazy są oczywiście niezwykle ważne. Ale to, jak mówimy o fazach względnych, ujawnia dyskomfort związany z tym pomysłem. Nawet opisanie standardowej podstawy jako „bitowej” do przechowywania informacji kładzie silny nacisk na to, że niezależnie od „fazy”, nie jest to zwykły sposób, w jaki należy rozważyć przechowywanie informacji. Fazy ​​wszelkiego rodzaju są czymś, z czym należy sobie poradzić po „prawdziwym” biznesie radzenia sobie z amplitudami amplitud; po skonfrontowaniu faktu, że można przechowywać informacje na więcej niż jednej podstawie. Prawie nie rozmawiamy o nawet czysto wyobrażonych fazach względnych, jeśli możemy im pomóc.

TZ4XYX4Y4

I ani chwili za wcześnie - ponieważ informatycy tak naprawdę nie dbają o to, jakie prymitywne operacje są używane, gdy tylko mogą uzasadnić przejście na coś wyższego poziomu.

streszczenie

Nie sądzę, aby istniał jakiś bardzo interesujący fizycznie motywowany powód, dla którego używamy konkretnego zestawu bramek. Ale z pewnością możliwe jest zbadanie motywowanych psychologicznie powodów, dla których to robimy. Powyższe jest spekulacją w tym kierunku, opartą na wieloletnim doświadczeniu.

Niel de Beaudrap
źródło
Wygląda na to, że walczysz o dwie rzeczy, a mianowicie 1) konwencja jest „wypadkiem” i 2) konwencja jest przydatna w aplikacjach w CS. Nie jestem pewien, czy rzeczywiście twierdzisz oba i jak to się odnosi do siebie nawzajem. Być może możesz to podkreślić w podsumowaniu.
Dyskretna jaszczurka
4
@Discretelizard: Twierdzę, że jest nieco subtelniejszy: konwencja jest wypadkiem, ponieważ informatyk bardziej interesuje się celowością do innych celów niż symetrią matematyczną. Zarówno fizyk, jak i matematyk bardziej troszczą się o symetrie niż informatyk, więc otrzymaliśmy coś, co wygląda trochę arbitralnie. Specyficzną arbitralną rzeczą, z którą się ostatecznie skończyliśmy, były kierowane uprzedzeniami z informatyki, ale powierzchownymi, a nie znaczącymi.
Niel de Beaudrap,
7
|Ψ