Algorisme Bernstein-Vazirani

L'algorisme de Bernstein Vazirani en el model de circuit

LPlantilla:'algorisme de Bernstein–Vazirani, que resol el problema de Bernstein–Vazirani, és un algorisme quàntic inventat per Ethan Bernstein i Umesh Vazirani el 1997. És una versió restringida de l'algorisme Deutsch–Jozsa on en comptes de distingir entre dues classes diferents de funcions, intenta aprendre una cadena codificada en una funció. L'algorisme de Bernstein-Vazirani va ser dissenyat per demostrar una separació d'oracle entre les classes de complexitat BQP i BPP.

Esquema gràfic de l'algorisme de Bernstein-Vazirani

Declaració del problema

Donat un oracle que implementa una funció $f:\{0,1{\}}^n\to \{0,1\}$ en el qual $f(x)$ es promet que serà el producte puntual entre $x$ i una cadena secreta $s\in \{0,1{\}}^n$ mòdul 2, $f(x)=x\cdot s=x_1{s}_1\oplus x_2{s}_2\oplus \cdots \oplus x_n{s}_n$, trobar $s$.

Algorisme

Clàssicament, el mètode més eficient per trobar la cadena secreta és avaluar la funció $n$ vegades amb els valors d'entrada $x=2^i$ per a tots $i\in \{0,1,...,n-1\}$:

$\begin{array}{cc}f(1000\cdots 0_n)& =s_1\\ f(0100\cdots 0_n)& =s_2\\ f(0010\cdots 0_n)& =s_3\\ & ⋮\\ f(0000\cdots 1_n)& =s_n\\ \end{array}$

En contrast amb la solució clàssica que necessita almenys $n$ consultes de la funció a trobar $s$, només es necessita una consulta mitjançant la computació quàntica. L'algorisme quàntic és el següent:

Cal aplicar una transformació Hadamard al $n$ estat qubit $|0{⟩}^{\otimes n}$ per aconseguir

$\frac{1}{\sqrt{2^n}}\sum _{x=0}^{2^n-1}|x⟩.$

A continuació, apliqueu l'oracle $U_f$ que es transforma $|x⟩\to (-1{)}^{f(x)}|x⟩$. Això es pot simular mitjançant l'oracle estàndard que transforma $|b⟩|x⟩\to |b\oplus f(x)⟩|x⟩$ aplicant aquest oracle a $\frac{|0⟩-|1⟩}{\sqrt{2}}|x⟩$. ( $\oplus$ denota addició mod dos.) Això transforma la superposició en

$\frac{1}{\sqrt{2^n}}\sum _{x=0}^{2^n-1}(-1{)}^{f(x)}|x⟩.$

Una altra transformada Hadamard s'aplica a cada qubit, la qual cosa fa que sigui per a qubits on $s_i=1$, el seu estat es converteix de $|-⟩$ a $|1⟩$ i per a qubits on $s_i=0$, el seu estat es converteix de $|+⟩$ a $|0⟩$. Per obtenir $s$, una mesura en la base estàndard ( $\{|0⟩,|1⟩\}$ ) es realitza als qubits.

Gràficament, l'algorisme es pot representar amb el diagrama següent, on $H^{\otimes n}$ denota la transformada de Hadamard $n$ qubits:

$|0{⟩}^n\stackrel{H^{\otimes n}}{\to }\frac{1}{\sqrt{2^n}}\sum _{x\in \{0,1{\}}^n}|x⟩\stackrel{U_f}{\to }\frac{1}{\sqrt{2^n}}\sum _{x\in \{0,1{\}}^n}(-1{)}^{f(x)}|x⟩\stackrel{H^{\otimes n}}{\to }\frac{1}{2^n}\sum _{x,y\in \{0,1{\}}^n}(-1{)}^{f(x)+x\cdot y}|y⟩=|s⟩$

El motiu pel qual és l'últim estat $|s⟩$ és perquè, per a un particular $y$ ,

$\frac{1}{2^n}\sum _{x\in \{0,1{\}}^n}(-1{)}^{f(x)+x\cdot y}=\frac{1}{2^n}\sum _{x\in \{0,1{\}}^n}(-1{)}^{x\cdot s+x\cdot y}=\frac{1}{2^n}\sum _{x\in \{0,1{\}}^n}(-1{)}^{x\cdot (s\oplus y)}=1\text{ if }s\oplus y=\overrightarrow{0},0\text{ altrament}.$

Des de $s\oplus y=\overrightarrow{0}$ només és cert quan $s=y$, això vol dir que l'única amplitud diferent de zero està activada $|s⟩$. Per tant, mesurant la sortida del circuit en la base computacional s'obté la cadena secreta $s$.

S'ha proposat una generalització del problema de Bernstein-Vazirani que implica trobar una o més claus secretes mitjançant un oracle probabilístic. Aquest és un problema interessant per al qual un algorisme quàntic pot proporcionar solucions eficients amb certesa o amb un alt grau de confiança, mentre que els algorismes clàssics no resolen completament el problema en el cas general.