Pomoc algorytmu faktoringu Shora

27

Mam mały problem z pełnym zrozumieniem ostatnich kroków algorytmu faktoringu Shora.

Biorąc pod uwagę którą chcemy uwzględnić, wybieramy losowy x, który ma porządek r .Nxr

Pierwszy krok obejmuje skonfigurowanie rejestrów i zastosowanie operatora Hadamard. W drugim kroku stosuje się operator liniowy. Trzeci krok jest mierzony drugim rejestrem (uważam, że ten krok można wykonać później). Czwarty krok dyskretna transformata Fouriera jest stosowana do pierwszego rejestru. Następnie mierzymy pierwszy rejestr.

Oto, gdzie jestem trochę zamglony:

Dostajemy pomiar w formie .j,xkmodN

Z tego możemy znaleźć zbieżności ułamka , zbieżności są możliwymi wartościami rzędur. Czy po prostu wypróbowujemy wszystkie zbieżności<N,a jeśli nie znajdziemyrjako jednego ze zbieżności, to zaczynamy od nowa?j2qr<Nr

W jaki sposób różni się prawdopodobieństwo dla możliwych wartości ? Sądzę, że widzę, że wszyscy powinni mieć takie samo prawdopodobieństwo, ale artykuł Shora mówi, że tak nie jest?j

Tylko trochę zdezorientowany, ponieważ niektóre dokumenty wydają się mówić różne rzeczy.

Dzięki.

Callum
źródło
21
@Peter Shor może nawet ci w tym pomóc.
Dave Clarke
1
Od czasu zadawania tych pytań myślę, że lepiej to rozumiem. Aby wyjaśnić tym, którzy są zainteresowani, otrzymujemy pomiar w postaci gdzie potrzebujemy tylko . Wartość można zapisać jako , dzieląc przez otrzymujemy i z tego możemy znaleźć jej zbieżności, mianownik zbieżności jest możliwą wartością , jeżeli to nie algorytm jest uruchamiany ponownie. Prawdopodobieństwo znalezienia zależy od sumy, która zależy od wartości i okresu .j,xkmodNjjj=2qk/r2qk/r<Nrj2qr
Callum

Odpowiedzi:

47

Z tego możemy znaleźć zbieżności ułamka , zbieżności są możliwymi wartościami rzędu Czy po prostu wypróbowujemy wszystkie zbieżności a jeśli nie znajdziemy jako jednego ze zbieżności, to zaczynamy od nowa?j/2qr.<Nr

Mógłbyś; algorytm działa dość szybko, jeśli to zrobisz. Jeśli chcesz zmniejszyć oczekiwaną liczbę kroków kwantowych, możesz również wykonać inne testy; na przykład powinieneś sprawdzić, czy jest małą wielokrotnością jednego ze zbieżności. Ale jeśli nie znajdziesz po tych rozszerzonych testach, musisz zacząć od nowa.rr

W jaki sposób różni się prawdopodobieństwo dla możliwych wartości ? Sądzę, że widzę, że wszyscy powinni mieć takie samo prawdopodobieństwo, ale artykuł Shora mówi, że tak nie jest?j

Nie wiem, czy mogę ci w tym pomóc, ponieważ nie dostarczyłeś mi wystarczającej ilości informacji, aby wyjaśnić, dlaczego jesteś zdezorientowany. Prawdopodobieństwo dla każdej wartości we frakcji jest (bardzo prawie) takie samo. Jednak w zależności od tego, gdzie dokładnie mieści się między sąsiednimi wartościami i , prawdopodobieństwo określonych wartości różni się.kk/rk/rj/2q(j+1)/2qj

Peter Shor
źródło
33
Podoba mi się to, jak określasz ten artykuł jako „papier Shora” :)
Suresh Venkat,
Nie jestem pewien, jak działa prawdopodobieństwo. Czy mam rację mówiąc, że . W przykładach, które widziałem, istniała symetria rozkładu prawdopodobieństwa w środkowej części osi , czy zawsze tak jest? Załóżmy, że , oznacza to, że dla wszystkich możliwych wartości , gdzie , wszystkie będą miały jednakowe prawdopodobieństwo z ? Dzięki. Prob(j)=12q×([2qk1r]+1)|a=0[2qk1r]e2πirja/2q|2xr=2tj=k02qrk0=0,,r1j12t
Callum,
3
Jeśli , to rzeczywiście wszystkie możliwe wartości będą miały równe prawdopodobieństwo . j 1 / 2 Tr=2tj1/2t
Peter Shor,