Jeśli wszystkie bramki kwantowe muszą być jednolite, co z pomiarem?


23

Wszystkie operacje kwantowe muszą być jednolite, aby umożliwić odwracalność, ale co z pomiarem? Pomiar może być reprezentowany jako macierz, a ta matryca jest stosowana do kubitów, więc wydaje się to równoważne działaniu bramki kwantowej. To zdecydowanie nie jest odwracalne. Czy są jakieś sytuacje, w których dopuszczalne mogą być bramy niejednorodne?

Odpowiedzi:


21

Operacje jednostkowe są tylko szczególnym przypadkiem operacji kwantowych , które są liniowymi, całkowicie dodatnimi mapami („kanałami”), które odwzorowują operatory gęstości na operatory gęstości. Staje się to oczywiste w reprezentacji Krausa kanału,

Φ(ρ)=i=1nKiρKi,
gdzie tak zwane operatory Krausa Ki spełniają i=1nKiKiI ( notacja). Często rozważa się tylko operacje kwantowe z zachowaniem śladów, dla których zachowana jest równość w poprzedniej nierówności. Jeśli dodatkowo jest tylko jeden operator Krausa (więc ), to widzimy, że operacja kwantowa jest jednolita. n=1

Jednak bramka kwantowa jest jednolita, ponieważ są one realizowane poprzez działania Hamiltona przez czas szczególnego, co daje jednolitą ewolucję czasową zgodnie z równaniem Schrödingera.


4
+1 Każdy zainteresowany mechaniką kwantową (nie tylko informacją kwantową) powinien wiedzieć o operacjach kwantowych, np. Od Nielsena i Chuanga. Myślę, że warto wspomnieć (ponieważ strona Wikipedii na temat rozszerzenia Stinespringa jest zbyt techniczna), że każda skończona wymiarowa operacja kwantowa jest matematycznie równoważna z pewną jednostkową operacją w większej przestrzeni Hilberta, po której następuje ograniczenie do podsystemu (ślad częściowy) .
Ninnat Dangniam

13

Krótka odpowiedź

Operacje kwantowe nie muszą być jednolite. W rzeczywistości wiele algorytmów i protokołów kwantowych wykorzystuje niejednolitość.


Długa odpowiedź

Pomiary są prawdopodobnie najbardziej oczywistych przykładów niejednolitych przemian stanowiących zasadniczy składnik algorytmy (w tym sensie, że „pomiar” jest równoznaczne z próbek z rozkładu prawdopodobieństwa, otrzymanego po operacji dekoherencja ).kck|kk|ck|2|kk|

Mówiąc bardziej ogólnie, każdy algorytm kwantowy, który obejmuje kroki probabilistyczne, wymaga operacji niejednolitych. Godnym uwagi przykładem jest algorytm HHL09 do rozwiązywania liniowych układów równań (patrz 0811.3171 ). Ważnym krokiem w tym algorytmie jest odwzorowaniem , gdzie|λjCλj1|λj są wektory własne jakiegoś operatora. To odwzorowanie jest z konieczności probabilistyczne, a zatem niejednolite.|λj

Każdy algorytm lub protokół korzystający z (klasycznego) sprzężenia zwrotnego korzysta również z operacji niejednolitych. Jest to całość jednokierunkowych protokołów obliczeń kwantowych (które, jak sama nazwa wskazuje, wymagają operacji nieodwracalnych).

Najbardziej godne uwagi schematy optycznego obliczania kwantowego z pojedynczymi fotonami również wymagają pomiarów, a czasem także selekcji po selekcji w celu uwikłania stanów różnych fotonów. Na przykład protokół KLM wytwarza bramki probabilistyczne, które są co najmniej częściowo nieodwracalne. Ładna recenzja na ten temat to quant-ph / 0512071 .

Mniej intuicyjne przykłady są wynikiem indukowanej rozpraszaniem inżynierii stanu kwantowego (np 1402.0529 lub srep10656 ). W tych protokołach wykorzystuje się rozpraszającą dynamikę otwartej mapy i konstruuje interakcję stanu ze środowiskiem w taki sposób, aby pożądany był długookresowy stan stacjonarny systemu.


11

Ryzykując odejście od tematu z obliczeń kwantowych do fizyki, odpowiem na to, co uważam za istotne pytanie na ten temat, i wykorzystam je do dyskusji na temat jednolitych bram w obliczeniach kwantowych.

Pytanie brzmi: dlaczego chcemy jednolitości w bramkach kwantowych?

Mniej szczegółowa odpowiedź jest taka, jak powyżej, daje nam „odwracalność” lub, jak często mówią o tym fizycy, rodzaj symetrii dla systemu. Biorę kurs w mechanice kwantowej teraz, a sposób unitarne bramy pojawił się w tym oczywiście motywowane było chęcią mieć transformacje fizyczne, U : które działają jako symetrie. To nakłada dwa warunki dotyczące transformacji U :U^U^

  1. Przekształcenia powinny działać liniowo na państwo (to daje nam reprezentację macierzową).
  2. Przekształcenia powinny zachować prawdopodobieństwo, a ściślej produkt wewnętrzny . Oznacza to, że jeśli zdefiniujemy:

|ψ=U|ψ,|ϕ=U|ϕ

Ochrona wewnętrznych pomocą produktów, które . Na podstawie tej drugiej specyfikacji można wyliczyć jednolitość (szczegółowe informacje można znaleźć w uwagach dr. Van Raamsdonka tutajϕ||ψ=ϕ||ψ ).

Odpowiada to więc na pytanie, dlaczego operacje, dzięki którym rzeczy są „odwracalne”, muszą być jednolite.

Pytanie, dlaczego sam pomiar nie jest jednolity, jest bardziej związane z obliczeniami kwantowymi. Pomiar jest rzutem na podstawie; w gruncie rzeczy musi „odpowiedzieć” jednym lub kilkoma stanami podstawowymi jako samym państwem. Pozostawia również stan, w sposób, który jest zgodny z „odpowiedź” do pomiaru, a nie zgodne z bazowych prawdopodobieństw, że stan zaczął się. Więc operacja spełnia specyfikację 1. naszej transformacji , ale ostatecznie nie spełnia specyfikacji 2. Nie wszystkie macierze są sobie równe!U

Wracając do obliczeń kwantowych, fakt, że pomiary są destrukcyjne i rzutowe (tj. Możemy zrekonstruować superpozycję poprzez powtarzane pomiary identycznych stanów, a każdy pomiar daje nam tylko odpowiedź 0/1), jest częścią tego, co czyni subtelny podział na obliczenia kwantowe i zwykłe (i częściowo dlatego, że trudno to określić). Można założyć, że obliczenia kwantowe są potężniejsze ze względu na sam rozmiar przestrzeni Hilberta, z wszystkimi dostępnymi dla nas superpozycjami stanu. Ale nasza zdolność do wydobywania tych informacji jest mocno ograniczona.

O ile rozumiem, pokazuje to, że do celów przechowywania informacji qubit jest tak dobry jak zwykły bit i nie jest lepszy. Ale możemy być sprytni w obliczeniach kwantowych ze sposobem, w jaki informacja jest wymieniana, z powodu podstawowej struktury liniowo-algebraicznej.


1
Uważam ostatni akapit za nieco tajemniczy. Co rozumiesz przez „śliską” separację? Nie jest również oczywiste, w jaki sposób fakt, że pomiary są destrukcyjne, sugeruje coś o takim rozdzieleniu. Czy możesz wyjaśnić te kwestie?
glS

2
@glS, uwaga, źle sformułowano. czy to pomaga? Nie sądzę, że mówię coś szczególnie głębokiego, po prostu to, że sam rozmiar przestrzeni Hilberta nie jest a priori, co czyni obliczenia kwantowe potężnymi (i nie daje nam żadnych korzyści w zakresie przechowywania informacji)
Emily Tyhurst

8

Istnieje tutaj kilka nieporozumień, większość z nich wynika z poddania się jedynie czystemu państwowemu formalizmowi mechaniki kwantowej, więc omówmy je kolejno:

  1. Wszystkie operacje kwantowe muszą być jednolite, aby umożliwić odwracalność, ale co z pomiarem?

To nieprawda. Zasadniczo stany układu kwantowego to nie tylko wektory w przestrzeni Hilberta ale macierze gęstości - śladowe jednostki, dodatnie operatory półskończone działające na przestrzeń Hilberta HH H , , T r ( ρ ) = 1 oraz ρ ρ:HHTr(ρ)=1 (Zauważ, że wektory stanu czystego nie są wektorami w przestrzeni Hilberta, leczpromieniami w złożonej przestrzeni rzutowej; dla kubita odpowiada to przestrzeni Hilberta jako C P 1, a nie C 2ρ0CP1C2). Macierze gęstości służą do opisu statystycznego zestawu stanów kwantowych.

Macierz gęstości nazywa się czystą, jeżeli i mieszaną, jeśliρ2=ρ . Kiedy mamy do czynienia z macierzą gęstości stanu czystego (tzn. Nie ma żadnej niepewności statystycznej), ponieważ ρ 2 = ρ , macierz gęstości jest w rzeczywistościoperatorem rzutowaniai można znaleźć | * F Hρ2<ρρ2=ρ|ψH tak, że .ρ=|ψψ|

Najbardziej ogólną operacją kwantową jest mapa CP (mapa całkowicie dodatnia), tj. takie, że Φ ( ρ ) = i K i ρ K i ; i K i K iI (jeśli i K i K i = I, wówczas są one nazywane mapą CPTP (całkowicie dodatnią i zachowującą ślad ) lubΦ:L(H)L(H)

Φ(ρ)=iKiρKi;iKiKiI
iKiKi=Ikanał kwantowy ), gdzie nazywane są operatorami Krausa .{Ki}

Teraz dochodząc do twierdzenia PO, że wszystkie operacje kwantowe są jednolite, aby umożliwić odwracalność - to po prostu nieprawda. Jednostkowość operatora ewolucji czasu ( ) w mechanice kwantowej (dla ewolucji kwantowej w układzie zamkniętym) jest po prostu konsekwencją równania Schrödingera.eiHt/

Jednak, gdy weźmiemy pod uwagę macierze gęstości, najbardziej ogólną ewolucją jest mapa CP (lub CPTP dla systemu zamkniętego, aby zachować ślad, a zatem prawdopodobieństwo).

  1. Czy są jakieś sytuacje, w których dopuszczalne mogą być bramy niejednorodne?

Tak. Ważnym przykładem, jaki przychodzi mi na myśl, są otwarte układy kwantowe, w których operatory Krausa (które nie są jednolite) są „bramami”, z którymi ewoluuje system.

iKiKi=IiKK=IK.ρUρU

Przechodząc do ostatniego punktu:


  1. Pomiar może być reprezentowany jako macierz, a ta matryca jest stosowana do kubitów, więc wydaje się to równoważne działaniu bramki kwantowej. To zdecydowanie nie jest odwracalne.

--|ϕϕ| działając na stan kwantowy |ψ i |ϕ|ψ|2) daje nam prawdopodobieństwo znalezienia systemu w stanie |ϕpo pomiarze. Ponieważ operator pomiaru jest przecież projektorem (lub, jak sugeruje OP, matrycą), nie powinien być liniowy i fizycznie podobny do ewolucji jednostkowej (również dzieje się za pośrednictwem macierzy). To interesujące pytanie i moim zdaniem trudno na nie odpowiedzieć fizycznie. Mogę jednak rzucić nieco światła na to matematycznie.

Jeśli pracujemy we współczesnym formalizmie, wówczas pomiary są podawane przez elementy POVM ; Hermitańskie pozytywne operatory półfinalne,{M.ja} na przestrzeni Hilberta H. ta suma do operatora tożsamości (w przestrzeni Hilberta) i=1nMi=I. Therefore, a measurement takes the form

ρEiρEiTr(EiρEi), where Mi=EiEi.

The Tr(EiρEi)=:pi is the probability of the measurement outcome being Mi and is used to renormalize the state to unit trace. Note that the numerator, ρEiρEi is a linear operation, but the probabilistic dependence on pi is what brings in the non-linearity or irreversibility.

Edit 1: You might also be interested Stinespring dilation theorem which gives you an isomorphism between a CPTP map and a unitary operation on a larger Hilbert space followed by partial tracing the (tensored) Hilbert space (see 1, 2).


5

I'll add a small bit complementing the other answers, just about the idea of measurement.

Measurement is usually taken as a postulate of quantum mechanics. There's usually some preceding postulates about hilbert spaces, but following that

  • Every measurable physical quantity A is described by an operator A^ acting on a Hilbert space H. This operator is called an observable, and it's eigenvalues are the possibly outcomes of a measurement.
  • If a measurement is made of the observable A, in the state of the system ψ, and the outcome is an, then the state of the system immediately after measurement is
    P^n|ψP^n|ψ,
    where P^n is the projector onto the eigen-subspace of the eigenvalue an.

Normally the projection operators themselves should satisfy P^=P^ and P^2=P^, which means they themselves are observables by the above postulates, and their eigenvalues 1 or 0. Supposing we take one of the P^n above, we can interpret the 1,0 eigenvalues as a binary yes/no answer to whether the observable quantity an is available as an outcome of measurement of the state |ψ.


2

Measurements are unitary operations, too, you just don't see it: A measurement is equivalent to some complicated (quantum) operation that acts not just on the system but also on its environment. If one were to model everything as a quantum system (including the environment), one would have unitary operations all the way.

However, usually there is little point in this because we usually don't know the exact action on the environment and typically don't care. If we consider only the system, then the result is the well-known collapse of the wave function, which is indeed a non-unitary operation.


1

Quantum states can change in two ways: 1. quantumly, 2. classically.

  1. All the state changes taking place quantumly, are unitary. All the quantum gates, quantum errors, etc., are quantum changes.

  2. There is no obligation on classical changes to be unitary, e.g. measurement is a classical change.

All the more reason, why it is said that the quantum state is 'disturbed' once it's measured.


1
Why would errors be "quantum"?
Norbert Schuch

@NorbertSchuch: Some errors could come in the form of the environment "measuring" the state, which could be considered classical in the language of this user, but other errors may come in the form of rotations/transformations in the Bloch sphere which don't make sense classically. Certainly you need to do full quantum dynamics if you want to model decoherence exactly (non-Markovian and non-perturbative ideally, but even Markovian master equations are quantum).
user1271772

Surely not all errors are 'quantum', but I meant to say that all 'quantum errors' (σx,σy,σz and their linear combinations) are unitary. Please correct me if I am wrong, thanks.
alphaQuant

To be more precise, errors which are taken care of by QECCs.
alphaQuant

1
I guess I'm not sure what "quantum" and "classical" means. What would a CP map qualify as?
Norbert Schuch
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.