Symulacja Hamiltona jest zakończona BQP

14

Wiele prac twierdzi, że symulacja Hamiltona jest kompletna pod względem BQP (np. Symulacja Hamiltona z prawie optymalną zależnością od wszystkich parametrów i symulacja Hamiltona przez Qubitization ).

Łatwo zauważyć, że symulacja Hamiltona jest trudna dla BQP, ponieważ każdy algorytm kwantowy można zredukować do symulacji Hamiltona, ale jak symulacja Hamiltona w BQP?

tj. czym dokładnie jest problem decyzyjny symulacji Hamiltona w BQP i pod jakimi warunkami w Hamiltonian?

groupsgroupsgroups
źródło

Odpowiedzi:

14

Istnieje wiele różnych wariantów, szczególnie w odniesieniu do warunków na Hamiltonian. Jest to na przykład gra polegająca na znalezieniu najprostszej możliwej klasy hamiltonianów, dla których symulacja jest wciąż kompletna pod względem BQP.

Instrukcja będzie w przybliżeniu podobna do: let |ψ być (znormalizowane) stan produktu, H. być Hamiltona z jakiejś konkretnej klasy (na przykład składające się wyłącznie sprzęgieł najbliższego sąsiada w jednowymiarowej O^ zauważalny zawierający produkt tensor operatorów jednoczęściową takie, że O^1 i* F | e I H t O E - I H T | * F 1t jest czasem. Biorąc pod uwagę obietnicę, że jest albo większy niż lub mniejszy niż dla niektórych (np.ψ|eiHtO^eiHt|ψ112+aaa=112aaa=16), zdecyduj, która jest sytuacja.


Dalsze szczegóły

Symulacja Hamiltona jest trudna do BQP

Podstawowa konstrukcja (pierwotnie z powodu Feynmana, tutaj nieco poprawiona) w zasadzie pokazuje, w jaki sposób można zaprojektować hamiltonian, który implementuje dowolne obliczenia kwantowe, w tym dowolne obliczenie BQP. Obserwowalny, który mierzyłbyś, to po prostu na konkretnym kubicie wyjściowym, przy czym dwa wyniki pomiaru odpowiadają „tak” i „nie”.Z

Najprostszym rodzajem hamiltonianu, jaki możesz sobie wyobrazić, jest rozważenie obliczenia sekwencyjnych jednostek unitarnych działających na kubitów, zaczynając od stanu . Następnie możesz wprowadzić dodatkowe kubitów i podać Hamiltonian Jeśli przygotujesz stan początkowy jako to po pewnym czasie , będzie on w stan gdzieU n M | 0 M N H = 2N1UnM|0MN| 1| 0( N - 1 ) | 0M Nπ/4| 0

H=2Nn=1N1n(N.-n)(|1001|n,n+1U+|0110|n,n+1U).
|1|0(N1)|0MNπ/4|0(N1)|1|Φ|Φjest wynikiem żądanego obliczenia. Zabawne siły sprzężenia, których tu użyłem, zostały wybrane specjalnie w celu uzyskania deterministycznej ewolucji i są związane z ideą idealnego przeniesienia stanu . Zwykle zobaczysz wyniki podane przy równych sprzężeniach, ale ewolucji probabilistycznej.n(Nn)

Aby zobaczyć, jak to działa, zdefiniuj zestaw stanów Działanie Hamiltona to zatem co dowodzi, że zmiany te są ograniczone do podprzestrzeni, która jest reprezentowana przez tridiagonal matrycy (co jest rzeczą specyficzne badania na optymalne przeniesienie stanu).

|ψn=|0(n1)|1|0Nn(Un1Un2U1|0M).
H|ψn=2N(n1)(N+1n)|ψn1+2Nn(Nn)|ψn+1,
N×N

Oczywiście ten hamiltonian nie ma żadnych szczególnie miłych właściwości - na przykład jest wysoce nielokalny. Istnieje wiele sztuczek, które można zagrać, aby uprościć hamiltonian do bycia, na przykład, jednowymiarowym. Może nawet być niezmiennie translacyjnie, jeśli chcesz, kosztem przygotowania bardziej złożonego początkowego stanu produktu (w tym momencie obliczenia nie są już kodowane w Hamiltonianie, który jest uniwersalny, ale jest kodowany w stanie wejściowym) . Zobacz tutaj , na przykład.

Symulacja Hamiltona

Ewolucja dowolnego hamiltonianu, który jest lokalny w jakiejś sieci, działając na początkowy stan produktu, przez czas nie większy niż wielomian w rozmiarze systemu, może być symulowany przez komputer kwantowy, a każdy efektywnie możliwy do wykonania pomiar może być zastosowany do oszacować obserwowalne. W tym sensie widać, że symulacja Hamiltona nie jest trudniejsza niż obliczenie kwantowe, co jest kontrapunktem do poprzedniego stwierdzenia, że ​​obliczenie kwantowe nie jest trudniejsze niż symulacja Hamiltona.

Można to zrobić na wiele sposobów (ostatnio pojawiły się artykuły, które pokazują znaczną poprawę skalowania błędów dla niektórych klas hamiltonianów). Jest dość prosty. Weź Hamiltonian , który chcesz zasymulować. Podziel go na różne części, , z których każda dojeżdża. Na przykład na najbliższym sąsiadu Hamiltonian na jakimś wykresie nie potrzebujesz więcej elementów niż maksymalny stopień wykresu. Następnie Trotterize ewolucji, pisząc przybliżenie Musisz więc zbudować obwód, który implementuje warunki takie jak , na które składają się terminy dojazdówHHi

eiHt(eiH1δteiH2δteiHnδt)t/δt
eiH1δtH1=nhn, z których każdy działa tylko na niewielką liczbę kubitów. Ponieważ jest to tylko jednostka na niewielkiej liczbie terminów, uniwersalny komputer kwantowy może to zaimplementować.
eiH1δt=neihnδt
DaftWullie
źródło