# Prova d'intercanvi

La prova d'intercanvi és un procediment de càlcul quàntic que s'utilitza per comprovar quant difereixen dos estats quàntics, que apareix per primera vegada al treball de Barenco et al. i posteriorment redescoberta per Harry Buhrman, Richard Cleve, John Watrous i Ronald de Wolf. Apareix habitualment en l'aprenentatge automàtic quàntic i és un circuit utilitzat per a proves de concepte en implementacions d'ordinadors quàntics.
Formalment, la prova d'intercanvi pren dos estats d'entrada $|\phi \rangle$ i $|\psi \rangle$ i produeix una variable aleatòria de Bernoulli que és 1 amb probabilitat $\textstyle {\frac {1}{2}}-{\frac {1}{2}}{|\langle \psi |\phi \rangle |}^{2}$ (on les expressions aquí utilitzen la notació bra–ket). Això permet, per exemple, estimar el producte interior quadrat entre els dos estats, ${|\langle \psi |\phi \rangle |}^{2}$, a $\varepsilon$ error additiu agafant la mitjana $O(\textstyle {\frac {1}{\varepsilon ^{2}}})$ execucions de la prova d'intercanvi. Això requereix $O(\textstyle {\frac {1}{\varepsilon ^{2}}})$ còpies dels estats d'entrada. El producte interior quadrat mesura aproximadament la "superposició" entre els dos estats i es pot utilitzar en aplicacions algebraiques lineals, inclosa la agrupació d'estats quàntics.

## Explicació del circuit

Considereu dos estats: $|\phi \rangle$ i $|\psi \rangle$ . L'estat del sistema al començament del protocol és $|0,\phi ,\psi \rangle$ . Després de la porta Hadamard, l'estat del sistema és ${\frac {1}{\sqrt {2}}}(|0,\phi ,\psi \rangle +|1,\phi ,\psi \rangle )$ . La porta SWAP controlada transforma l'estat en ${\frac {1}{\sqrt {2}}}(|0,\phi ,\psi \rangle +|1,\psi ,\phi \rangle )$ . La segona porta Hadamard resulta${\frac {1}{2}}(|0,\phi ,\psi \rangle +|1,\phi ,\psi \rangle +|0,\psi ,\phi \rangle -|1,\psi ,\phi \rangle )={\frac {1}{2}}|0\rangle (|\phi ,\psi \rangle +|\psi ,\phi \rangle )+{\frac {1}{2}}|1\rangle (|\phi ,\psi \rangle -|\psi ,\phi \rangle )$La porta de mesura del primer qubit assegura que sigui 0 amb una probabilitat de$P({\text{Primer qubit}}=0)={\frac {1}{2}}{\Big\langle \phi |\langle \psi |+\langle \psi |\langle \phi |{\Big )}{\frac {1}{2}}{\Big|\phi \rangle |\psi \rangle +|\psi \rangle |\phi \rangle {\Big )}={\frac {1}{2}}+{\frac {1}{2}}{|\langle \psi |\phi \rangle |}^{2}$quan es mesura. Si $\psi$ i $\phi$ són ortogonals $({|\langle \psi |\phi \rangle |}^{2}=0)$, aleshores la probabilitat que es mesura 0 és ${\frac {1}{2}}$ . Si els estats són iguals $({|\langle \psi |\phi \rangle |}^{2}=1)$, aleshores la probabilitat que es mesura 0 és 1.
En general, per $P$ proves de la prova d'intercanvi utilitzant $P$ còpies de $|\phi \rangle$ i $P$ còpies de $|\psi \rangle$, la fracció de mesures que són zero és $1-\textstyle {\frac {1}{P}}\textstyle \sum _{i=1}^{P}M_{i}$, així que prenent $P\rightarrow \infty$, es pot obtenir una precisió arbitrària d'aquest valor.

## Referències

* ↑ Adriano Barenco, André Berthiaume, David Deutsch, Artur Ekert, Richard Jozsa, Chiara Macchiavello SIAM Journal on Computing, 26, 5, 1997, pàg. 1541-1557. arXiv: quant-ph/9604028. DOI: 10.1137/S0097539796302452.
* ↑ Harry Buhrman, Richard Cleve, John Watrous, Ronald de Wolf Physical Review Letters, 87, 16, 2001, pàg. 167902. arXiv: quant-ph/0102001. Bibcode: 2001PhRvL..87p7902B. DOI: 10.1103/PhysRevLett.87.167902. PMID: 11690244.
* ↑ Schuld, Maria; Sinayskiy, Ilya; Petruccione, Francesco Contemporary Physics, 56, 2, 03-04-2015, pàg. 172–185. arXiv: 1409.3097. Bibcode: 2015ConPh..56..172S. DOI: 10.1080/00107514.2014.964942. ISSN: 0010-7514.
* ↑ Kang Min-Sung, Heo Jino, Choi Seong-Gon, Moon Sung, Han Sang-Wook Scientific Reports, 9, 1, 2019, pàg. 6167. Bibcode: 2019NatSR...9.6167K. DOI: 10.1038/s41598-019-42662-4. PMC: 6468003. PMID: 30992536 [Consulta: lliure].
* ↑ Wiebe, Nathan; Kapoor, Anish; Svore, Krysta M. Quantum Information and Computation, 15, 3–4, 01-03-2015, pàg. 316–356. arXiv: 1401.2142. DOI: 10.26421/QIC15.3-4-7.
* ↑ Harry Buhrman, Richard Cleve, John Watrous, Ronald de Wolf Physical Review Letters, 87, 16, 2001, pàg. 167902. arXiv: quant-ph/0102001. Bibcode: 2001PhRvL..87p7902B. DOI: 10.1103/PhysRevLett.87.167902. PMID: 11690244.