Difficoltà a comprendere l'algoritmo quantistico per il problema del sottogruppo nascosto abeliano


11

Ho difficoltà a comprendere gli ultimi passi dell'algoritmo AHSP. Lasciate sia un gruppo abeliano e essere la funzione che nasconde il sottogruppo . Lasciate rappresentano il duplice gruppo di .GfHGG

Ecco i passaggi dell'algoritmo

  1. Prima prepara lo stato,

    I=1|G|gG|g|0 .

  2. Quindi applichiamo l'oracolo quantistico che valuta su , otteniamofI

    I=gG|g|f(g) .

  3. Ora misuriamo il secondo qubit di , otteniamoI

    I=(1|H|ΣgH|rh)|f(rh)

    per qualche .rG

  4. Ora applichiamo la trasformata quantistica di Fourier sul primo qubit, otteniamo

    Im=1|H|χH|χ ,

    dove .H={χG:χ(h)=1,hH}

Ora dallo stato come possiamo ottenere generatori del gruppo ? HImH


Consiglio vivamente di leggere gli appunti di Andrew Childs su AHSP. Sono disponibili su math.uwaterloo.ca/~amchilds/teaching/w13/qic823.html
Robin Kothari

Risposte:


4

Questa post-elaborazione classica sfrutta diverse proprietà teoriche di gruppi non banali di gruppi abeliani. Ho scritto una spiegazione didattica di come funziona questo algoritmo classico qui [1] ; altre buone fonti da leggere sono [ 2 , 3 , 4 ].

Quindi, la misurazione alla fine dell'algoritmo nella base standard ti darà elementi di uniformemente a caso. Non è difficile verificare che l'insieme H sia un sottogruppo (abeliano finito) del gruppo di caratteri G ; a causa, dopo O ( log | G | ) turni di misura un gruppo elettrogeno di H * è ottenuta con probabilità esponenziale vicino a uno.HHGO(log|G|)H

La parte più tecnica è come ricostruire dato un gruppo elettrogeno di H . Concentriamoci su questo problema da ora in poi. Per questo, avremo bisogno di alcuni rudimenti dalla teoria dei personaggi.HH


Teoria dei personaggi

Prima di tutto, ricorda che, quando è abeliano finito, i personaggi formano un gruppo isomorfo rispetto a G e che possono essere scritti come χ g ( h ) = exp ( 2 π i m i = 1 g ( i ) h ( i )GG L'etichettagdel carattereχgè un elemento diG. La mappagχgdefinisce un isomorfismo traGeG, in modo che possiamo identificare entrambi i gruppi.

χg(h)=exp(2πii=1mg(i)h(i)di).
gχgGgχgGG

Ora, data , la serie H * si descrive è calle del sottogruppo ortogonale di H o, a seconda della fonte, il distruttore di H . Questo sottogruppo ha alcune importanti proprietà matematiche:HHHH

  1. Prima di tutto, è anche sottogruppo di G ;HG

  2. HHHHH

    χg(h)=1, for every gH
    H

Equazioni lineari su gruppi

XYbYα:XY

α(x)=b
A, in modo tale che il problema sopra riportato possa essere nuovamente espresso come dove assumiamo .Y
Ax=(a1(1)a2(1)an(1)a1(2)a2(2)an(2)a1(m)a2(m)an(m))(x(1)x(2)x(n))=(b(1)b(2)b(m))modd1modd2moddm=b
Y=Zd1××Zdm

L'osservazione chiave finale è che esistono algoritmi classici efficienti per decidere se questi sistemi ammettono soluzioni, contarli e trovarli (ne esaminiamo alcuni in [1] ). L'insieme di soluzioni ha sempre la forma , dove è una soluzione particolare e è il kernel di (un sottogruppo di ). Questi algoritmi classici possono trovare una particolare soluzione del sistema e calcolare un gruppo di generazione di . Questi algoritmi classici fanno un uso cruciale di Smith Normal Formsx 0x0+kerαx0kerααXkerα per riscrivere il sistema in una forma quasi diagonale (sono necessari altri passaggi intermedi, ma ciò dovrebbe darti un'immagine intuitiva).

Il sistema di equazioni che si ottiene nel tuo caso codifica il sottogruppo nascosto . In particolare ha la forma , per alcuni omomorfismi di gruppo . Il kernel di è precisamente il sottogruppo nascosto. Una soluzione particolare in questo caso è 0, quella banale.Ω x = 0 Ω ΩHΩx=0ΩΩ


2

Dopo il tuo passaggio 4, misurare nella base computazionale ci darà casualmente uno . χ G ImχG

Abbiamo poi ripetere tutti i passaggi che avete dato volte per ottenere un elenco di caratteri nel duplice gruppo di . Questo elenco di caratteri genera un sottogruppo del doppio gruppo .nG K G nGKG

Abbiamo poi verificare attraverso (classicamente) tutte le possibili sottogruppi di trovare uno dove è . H KHHK

Per fisso questo non è sempre una corrispondenza unica, quindi quando c'è degenerazione sceglieremo solo la corrispondenza più grande (poiché il banale sottogruppo corrisponderà a tutti gli elenchi di caratteri).n

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.