4.1.2 Bewerkingen

Wat zijn de quantumbewerkingen die we kunnen uitvoeren als we meerdere qubits hebben? Om te beginnen kunnen we de bekende bewerkingen op één of twee qubits, zoals besproken in Paragrafen 2 en 3, toepassen op elke gewenste qubit van een veel-qubit-toestand. Dit werkt zoals in Paragraaf 3.2.2.

Als UU bijvoorbeeld een één-qubitbewerking is, dus een rotatie of een spiegeling, dan kunnen we een quantumbewerking definiëren, aangeduid met  U1U_{1}, die UU toepast op de eerste qubit van een nn-qubit-toestand. Deze bewerking wordt als volgt gedefinieerd op de basistoestanden:

U1|a1,,an=U|a1|a2,,an.\displaystyle U_{1}\left|a_{1},\dots,a_{n}\right\rangle=U\left|a_{1}\right% \rangle\otimes\left|a_{2},\dots,a_{n}\right\rangle.

Merk op dat het tensorproduct de één-qubit-toestand U|a1U\left|a_{1}\right\rangle combineert met de (n1)(n-1)-qubit-basistoestand |a2,,an\left|a_{2},\dots,a_{n}\right\rangle om een toestand van nn qubits te vormen, zoals gewenst. Zoals gewoonlijk breiden we U1U_{1} lineair uit tot algemene quantumtoestanden van nn qubits. Op dezelfde manier definiëren we de quantumbewerkingen U2U_{2}, U3U_{3}, etc. die UU toepassen op het tweede, derde, etc. qubit.

Oefenopgave 4.2 (Een één-qubitbewerking toepassen).

Bereken het resultaat van het toepassen van de Hadamard-bewerking op het tweede qubit van de drie-qubit-toestand |Φ+|1\left|\Phi^{+}\right\rangle\otimes\left|1\right\rangle. In andere woorden, bereken H2(|Φ+|1)H_{2}\left(\left|\Phi^{+}\right\rangle\otimes\left|1\right\rangle\right). Schrijf je resultaat op in de vorm van Vgl. 4.1.

Solution. Laten we eerst de producttoestand uitschrijven in de vorm van Vgl. 4.2:
|Φ+|1=12|001+12|111.\displaystyle\left|\Phi^{+}\right\rangle\otimes\left|1\right\rangle=\frac{1}{% \sqrt{2}}\left|001\right\rangle+\frac{1}{\sqrt{2}}\left|111\right\rangle.
Hieruit volgt:
H2(|Φ+|1)=H2(12|001+12|111)=12H2|001+12H2|111\displaystyle\quad H_{2}\left(\left|\Phi^{+}\right\rangle\otimes\left|1\right% \rangle\right)=H_{2}\left(\frac{1}{\sqrt{2}}\left|001\right\rangle+\frac{1}{% \sqrt{2}}\left|111\right\rangle\right)=\frac{1}{\sqrt{2}}H_{2}\left|001\right% \rangle+\frac{1}{\sqrt{2}}H_{2}\left|111\right\rangle
=12|0H|0|1+12|1H|1|1\displaystyle=\frac{1}{\sqrt{2}}\left|0\right\rangle\otimes H\left|0\right% \rangle\otimes\left|1\right\rangle+\frac{1}{\sqrt{2}}\left|1\right\rangle% \otimes H\left|1\right\rangle\otimes\left|1\right\rangle
=12|0|+|1+12|1||1\displaystyle=\frac{1}{\sqrt{2}}\left|0\right\rangle\otimes\left|+\right% \rangle\otimes\left|1\right\rangle+\frac{1}{\sqrt{2}}\left|1\right\rangle% \otimes\left|-\right\rangle\otimes\left|1\right\rangle
=12|0(12|0+12|1)|1+12|1(12|012|1)|1\displaystyle=\frac{1}{\sqrt{2}}\left|0\right\rangle\otimes\left(\frac{1}{% \sqrt{2}}\left|0\right\rangle+\frac{1}{\sqrt{2}}\left|1\right\rangle\right)% \otimes\left|1\right\rangle\;+\;\frac{1}{\sqrt{2}}\left|1\right\rangle\otimes% \left(\frac{1}{\sqrt{2}}\left|0\right\rangle-\frac{1}{\sqrt{2}}\left|1\right% \rangle\right)\otimes\left|1\right\rangle
=12|001+12|011+12|10112|111,\displaystyle=\frac{1}{2}\left|001\right\rangle+\frac{1}{2}\left|011\right% \rangle+\frac{1}{2}\left|101\right\rangle-\frac{1}{2}\left|111\right\rangle,
waarbij we Vgl. 2.34 hebben gebruikt om de werking van HH op de basistoestanden te vinden.

We kunnen op dezelfde manier uitvogelen hoe een twee-qubitbewerking toegepast kan worden op twee geselecteerde qubits van de nn qubits. We zullen vooral kijken naar controlled-NOT-bewerkingen: CNOTkl\mathrm{CNOT}_{k\to l} met klk\neq l is de bewerking die de ll-de qubit (de doelqubit) omdraait afhankelijk van de waarde van de kk-de qubit (de controlequbit). Wiskundig gezien ziet de werking op de basistoestanden er als volgt uit:

CNOTkl|a1,,al,,an=|a1,,alak,,an,\displaystyle\mathrm{CNOT}_{k\to l}\left|a_{1},\dots,a_{l},\dots,a_{n}\right% \rangle=\left|a_{1},\dots,a_{l}\oplus a_{k},\dots,a_{n}\right\rangle,

en we breiden dit voorschrift lineair uit naar arbitraire nn-qubit-toestanden. De controlled-NOT-bewerking CNOT13\mathrm{CNOT}_{1\to 3} wordt bijvoorbeeld als volgt gedefinieerd voor vier-qubit-basistoestanden:

CNOT13|a1,a2,a3,a4=|a1,a2,a3a1,a4.\displaystyle\mathrm{CNOT}_{1\to 3}\left|a_{1},a_{2},a_{3},a_{4}\right\rangle=% \left|a_{1},a_{2},a_{3}\oplus a_{1},a_{4}\right\rangle.

Hoe ziet dit er allemaal uit in Quirky? Ga naar

https://www.quantum-quest.org/quirky

en klik op “Quest 4” om het uit te zoeken. Je browser ziet er dan als het goed is hetzelfde uit als Fig. 4.1.

Refer to caption

Figuur 4.1: Quirky voor Quest 4.

Wacht eens even, het lijkt erop dat Quirky er precies hetzelfde uitziet als vorige week!? Maar zodra je een bewerking oppakt uit de toolbox, verschijnt er een nieuwe draad onderaan – waardoor je met een extra qubit kunt werken. (Natuurlijk hebben we het aantal qubits beperkt tot een redelijk aantal, dat je klassieke computer nog comfortabel kan simuleren!) Probeer maar eens een CNOT13\mathrm{CNOT}_{1\to 3}-bewerking te maken, zoals in de volgende afbeelding.

[Uncaptioned image]

Wanneer quantumbewerkingen op verschillende qubits werken, kunnen we ze parallel uitvoeren. Net als in Paragraaf 3.2.3 gebruiken we hiervoor het tensorproduct-symbool. Als UU een quantumbewerking op nn qubits is en VV een quantumbewerking op mm qubits, kunnen we een quantumbewerking UVU\otimes V op (n+m)(n+m) qubits definiëren die neerkomt op het parallel uitvoeren van beide bewerkingen. Op basistoestanden ziet dit eruit als

(UV)|a1,,an,b1,,bm=U|a1,,anV|b1,,bm,\displaystyle(U\otimes V)\left|a_{1},\dots,a_{n},b_{1},\dots,b_{m}\right% \rangle=U\left|a_{1},\dots,a_{n}\right\rangle\otimes V\left|b_{1},\dots,b_{m}% \right\rangle, (4.5)

en we breiden dit uit door lineariteit tot arbitraire toestanden. Uit Vgl. 4.5 volgt dan dat

(UV)(|α|β)=U|αV|β,\displaystyle(U\otimes V)(\left|\alpha\right\rangle\otimes\left|\beta\right% \rangle)=U\left|\alpha\right\rangle\otimes V\left|\beta\right\rangle,

maar dit geldt alleen als |α\left|\alpha\right\rangle een nn-qubit-toestand is en |β\left|\beta\right\rangle een mm-qubit-toestand! In de volgende opgave komt dit niet zo mooi uit, dus je kunt deze regel niet gebruiken!

Oefenopgave 4.3 (Niet-uitgelijnde tensorproducten).

Beschouw de drie-qubit-toestand (CNOT21I)(|0|Φ)(\mathrm{CNOT}_{2\to 1}\otimes I)(\left|0\right\rangle\otimes\left|\Phi^{-}% \right\rangle).

  1. 1.

    Hoe kun je deze toestand maken met Quirky?

  2. 2.

    Schrijf de toestand uit in de vorm van Vgl. 4.1.

Solution.
  1. 1.

    In 3.12 hebben we al gezien hoe we |Φ\left|\Phi^{-}\right\rangle kunnen maken. De volgende schakeling is dus geschikt:

    [Uncaptioned image]

  2. 2.

    Dit is de uiteindelijke toestand:

    (CNOT21I)(|0|Φ)\displaystyle(\mathrm{CNOT}_{2\to 1}\otimes I)(\left|0\right\rangle\otimes% \left|\Phi^{-}\right\rangle) =(CNOT21I)(12|00012|011)\displaystyle=(\mathrm{CNOT}_{2\to 1}\otimes I)\left(\frac{1}{\sqrt{2}}\left|0% 00\right\rangle-\frac{1}{\sqrt{2}}\left|011\right\rangle\right)
    =12|00012|111.\displaystyle=\frac{1}{\sqrt{2}}\left|000\right\rangle-\frac{1}{\sqrt{2}}\left% |111\right\rangle.

We kunnen het tensorproduct meerdere keren gebruiken om steeds grotere quantumbewerkingen op te bouwen. Hier zijn drie voorbeelden voor een verschillend aantal qubits:

  1. 1.

    IIUII\otimes I\otimes U\otimes I is dezelfde vier-qubit-bewerking als U3U_{3},

  2. 2.

    ICNOT12III\otimes\mathrm{CNOT}_{1\to 2}\otimes I\otimes I is de controlled-NOT-bewerking CNOT23\mathrm{CNOT}_{2\to 3} voor vijf qubits,

  3. 3.

    ZIXZ\otimes I\otimes X is de quantumbewerking die ZZ toepast op de eerste qubit en parallel XX op de derde qubit (we kunnen dit ook schrijven als Z1X3Z_{1}X_{3} of X3Z1X_{3}Z_{1}).