Algorytmy kwantowe często używają notacji bra-ket w swoim opisie. Co oznaczają wszystkie te nawiasy i linie pionowe? Na przykład:
Chociaż jest to prawdopodobnie pytanie dotyczące matematyki, ten typ notacji wydaje się być często używany w przypadku obliczeń kwantowych. Nie jestem pewien, czy kiedykolwiek widziałem go używanego w innych kontekstach.
Edytować
Przez ostatnią część rozumiem, że możliwe jest oznaczenie wektorów i produktów wewnętrznych za pomocą standardowej notacji dla algebry liniowej, a niektóre inne pola, które używają tych obiektów i operatorów, robią to bez użycia notacji bra-ket.
To prowadzi mnie do wniosku, że istnieje pewna różnica / powód, dla którego bra-ket jest szczególnie przydatny do oznaczania algorytmów kwantowych. To nie jest twierdzenie faktu, miałem na myśli to spostrzeżenie. „Nie jestem pewien, czy widziałem go używanego gdzie indziej” nie jest tym samym stwierdzeniem, co „Nie jest używany w żadnym innym kontekście”.
Odpowiedzi:
Jak już wyjaśnili inni, ket to tylko wektor. Brajest koniugatem hermitowskim wektora. Wektor można pomnożyć przez liczbę w zwykły sposób.|ψ⟩ ⟨ψ|
Teraz jest zabawa: możesz napisać iloczyn skalarny dwóch wektorów i jako .|ψ⟩ |ϕ⟩ ⟨ϕ|ψ⟩
Możesz zastosować operator do wektora (w skończonych wymiarach jest to tylko mnożenie macierzy) .X|ψ⟩
Podsumowując, notacja jest bardzo przydatna i intuicyjna. Aby uzyskać więcej informacji, zobacz artykuł w Wikipedii lub podręcznik na temat mechaniki kwantowej.
źródło
Można myśleć o i jako o dwóch ortonormalnych stanach bazowych (reprezentowanych przez „ket”) bitu kwantowego, który znajduje się w dwuwymiarowej złożonej przestrzeni wektorowej. Linie i nawiasy, które widzisz, to w zasadzie notacja bra-ket, czyli notacja Diraca, powszechnie stosowana w mechanice kwantowej.|0⟩ |1⟩
Na przykład może reprezentować stan rozpadu elektronu, podczas gdy może reprezentować stan rozpadu. Ale tak naprawdę elektron może znajdować się w liniowej superpozycji tych dwóch stanów, tj. (zwykle jest to znormalizowane jak ) gdzie .|0⟩ |1⟩ |ψ⟩electron=a|0⟩+b|1⟩ a|0⟩+b|1⟩|a|2+|b|2√ a,b∈C
źródło
Notacja oznacza dokładnie to samo, co lub , tzn. Oznacza wektor o nazwie „v”. to jest to! Nie ma już żadnej tajemnicy ani magii. Symbol oznacza wektor o nazwie „psi”.|v⟩ v⃗ v |ψ⟩
Symbol nazywa się „ket”, ale równie dobrze mógłby (i moim zdaniem powinien) zostać nazwany „wektorem” bez żadnej utraty znaczenia.|⋅⟩
Notacja została wynaleziona przez fizyka ( Paul Dirac ) i nazywa się „notacją Diraca” lub „notacją bra-ket” . O ile mi wiadomo, Dirac prawdopodobnie wymyślił go podczas badań mechaniki kwantowej, a więc historycznie notacja była głównie używana do oznaczania wektorów pojawiających się w mechanice kwantowej, tj. Stanów kwantowych. Notacja Bra-ket jest standardem w każdym kontekście mechaniki kwantowej, nie tylko w obliczeniach kwantowych. Na przykład równanie Schrodingera , które ma związek z dynamiką w układach kwantowych i wyprzedza obliczenia kwantowe o dziesięciolecia, zostało zapisane przy użyciu notacji bra-ket.
Ponadto notacja jest dość wygodna w innych kontekstach algebry liniowej i jest używana poza mechaniką kwantową.
źródło
Jest już zaakceptowana odpowiedź i odpowiedź, która wyjaśnia „ket”, „stanik” i notację produktu skalarnego.
Spróbuję dodać trochę więcej do podświetlonego wpisu. Co sprawia, że jest to przydatna / przydatna notacja?
Pierwszą rzeczą, w której notacja bra-ket jest bardzo często używana, jest bardzo proste określenie wektorów własnych operatora (zwykle hermitowskiego) powiązanego z wartością własną. Załóżmy, że mamy równanie wartości własnej , można to określić jako , i prawdopodobnie pewna dodatkowa etykieta jeśli jest pewna degeneracja .A(v)=λv A|λ⟩=λ|λ⟩ k A|λ,k⟩=λ|λ,k⟩
Widzisz to stosowane w całej mechanice kwantowej, stany własne pędu zwykle są oznaczone jako lub zależności od jednostek lub z wieloma stanami cząstek ; reprezentacja numeru zawodu dla systemu bose i fermi wiele układów ciała ; cząstka spinowa przyjmująca stany własne zwykle operatora , zapisywana czasami jako i lub i itp. jako skrót∣∣k⃗ ⟩ |p⃗ ⟩ |p⃗ 1,p⃗ 2,p⃗ 3…⟩ |n1,n2,…⟩ Sz |+⟩ |−⟩ |↑⟩ |↓⟩ |±ℏ/2⟩ ; harmoniczne sferyczne jako funkcje własne funkcji i są dogodnie zapisywane jako z iL2 Lz |l,m⟩ l=0,1,2,… m=−l,−l+1,…,l−1,l.
Więc wygoda notacji to jedno, ale istnieje również swego rodzaju „lego” uczucie do algebraicznych manipulacji z notacji Diraca, Weźmy na przykład wirowania pół operatora w notacji Diraca jako , działając w stanie jak który po prostu robiSx Sx=ℏ2(|↑⟩⟨↓|+|↓⟩⟨↑|) |↑⟩
ponieważ i .⟨↑∣↑⟩=1 ⟨↓∣↑⟩=0
Co sprawia, że jest przydatny w przypadku algorytmów kwantowych?
Powiedzmy, że mamy odpowiedni dwupoziomowy system na kubit; tworzy to dwuwymiarową złożoną przestrzeń wektorową , której podstawa jest oznaczona jako i . Kiedy weźmiemy pod uwagę kubitów tej formy, stany układu żyją w większej przestrzeni przestrzeni produktu tensora, . Notacja Diraca może się tu przydać, stany bazowe będą oznaczone ciągami zer i jedynek, a jeden zwykle oznacza stan, np. i powiedzmy, że mamy trochę operatora odwracania który zamieniaV |0⟩ |1⟩ n V⊗n |1⟩⊗|0⟩⊗|0⟩⊗|1⟩≡|1001⟩ Xi 1↔0 na -tym bicie, może to działać raczej po prostu na powyższych ciągach, np. , i biorąc sumę operatorów lub działając na superpozycja stanów działa równie prosto.i X3|1001⟩=|1011⟩
Nieznaczna ostrożność: stan zapisany jako nie zawsze oznacza , na przykład gdy masz dwa identyczne fermiony z funkcje falowe mówią i , z etykietami indeksującymi pewien zestaw podstaw, wtedy można zapisać slater determinant fermionów w skrócie jako lub nawet .|a,b⟩ |a⟩⊗|b⟩ ϕk1(r⃗ 1) ϕk2(r⃗ 2)
źródło
Ket notacja oznacza wektor w jakikolwiek wektor przestrzeń pracujemy w, jak na przestrzeni wszystkich złożonych liniowych kombinacji ośmiu 3-bitowych ciągów , , , itp , jak moglibyśmy używać reprezentować stany komputera kwantowego. Bez ozdób oznacza dokładnie to samo - notacja ket jest przydatna częściowo do podkreślenia, że na przykład jest elementem interesującej wektorowej przestrzeni, a częściowo ze względu na jej ostrość w połączeniu z notacja stanika .|ψ⟩ 000 001 010 ψ |ψ⟩ |010⟩
Biustonosz notacjaoznacza podwójne wektor lub covector -a liniowy funkcjonalny lub liniową mapę z wektorami, skalarnych, którego wartość w wektorze jest wewnętrzny produkt o z , słodko napisany . Zakładamy tutaj istnienie produktu wewnętrznego, który nie jest dany w dowolnych przestrzeniach wektorowych, ale w fizyce kwantowej zwykle pracujemy w przestrzeniach Hilberta, które z definicji mają produkt wewnętrzny. Podwójność wektora jest czasem nazywana także jego transpozycją (hermitowską)⟨ψ| |ϕ⟩ ψ ϕ ⟨ψ|ϕ⟩ , ponieważ w reprezentacji macierzowej wektor odpowiada kolumnie, a kowektor odpowiada wierszowi, a po pomnożeniu otrzymujesz skalar. (Część Hermitian oznacza, że oprócz transponowania macierzy bierzemy złożony koniugat jej wpisów - co tak naprawdę jest po prostu dalszą transpozycją reprezentacji macierzy kompleksu numer .)row×column [a−bba] a+bi
Kiedy napisany jest w inny sposób,, Można uzyskać zewnętrzną produkt z z , zdefiniowany jako liniowa transformacja przestrzeni wektorowej do siebie udzielonej przez . To znaczy, biorąc pod uwagę wektor , skaluje wektor przez skalar podany przez iloczyn wewnętrzny . Ponieważ omawiane operacje są asocjatywne, możemy usunąć nawiasy i jednoznacznie napisać|ψ⟩⟨ϕ| ψ ϕ |θ⟩↦(⟨ϕ|θ⟩)|ψ⟩ θ ψ ⟨ϕ|θ⟩
Notacja jest używana głównie w fizyce kwantowej; matematycy zwykle piszą tam, gdzie fizycy mogą pisać ; dla covector; albo lub do wyrobu wewnątrz; i dla tego, co fizycy zapisaliby przez .ψ |ψ⟩ ψ∗ ⟨ψ| ⟨ψ,ϕ⟩ ψ∗ϕ ψ∗Aϕ ⟨ψ|A|ϕ⟩
źródło