Як отримати матрицю CNOT для 3-хбітової системи, де кебіт керування та цілі не суміжні?

У системі, що має три кбіт, легко отримати оператора CNOT, коли кебіти та цілі qbit суміжні за значимістю - ви просто напружуєте 2-розрядний оператор CNOT з матрицею ідентичності в недоторканій позиції значущості qbit:

$C_{10}|\phi_2\phi_1\phi_0\rangle = (\mathbb{I}_2 \otimes C_{10})|\phi_2\phi_1\phi_0\rangle$

Однак не очевидно, як отримати оператор CNOT, коли кебіт керування та цілі не суміжні за значимістю:

$C_{20}|\phi_2\phi_1\phi_0\rangle$

Як це робиться?

quantum-gate gate-synthesis

— ahelwer
джерело

Дивіться це запитання та відповідь: quantumcomputing.stackexchange.com/questions/9614/…

— Martin Vesely

Відповіді:

Для презентації з перших принципів мені подобається відповідь Райана О'Доннелла . Але для трохи алгебраїчного лікування вищого рівня, ось як я це зробив.

Основна особливість операції з контрольованим для будь-якого унітарного полягає в тому, що вона (послідовно) виконує операцію на деяких кубітах залежно від значення якогось одного кубіта. Спосіб, який ми можемо записати це явно алгебраїчно (з керуванням на першому кубіті): , де являє собою одиничну матрицю тієї ж розмірності , як . Тут і є проекторами на стан і $U$ $U$

C U = | 0 ⟩ ⟨ 0 | \otimes 1 + | 1 ⟩ ⟨ 1 | \otimes U

$\mathit{CU} \;=\; \def\ket#1{\lvert #1 \rangle}\def\bra#1{\langle #1 \rvert}\ket{0}\!\bra{0} \!\otimes\! \mathbf 1 \,+\, \ket{1}\!\bra{1} \!\otimes\! U$

1

$\mathbf 1$

U

$U$

| 0 ⟩ ⟨ 0 |

$\ket{0}\!\bra{0}$

| 1 ⟩ ⟨ 1 |

$\ket{1}\!\bra{1}$

| 0 ⟩

$\ket{0}$

| 1 ⟩

$\ket{1}$ контрольного кубіта - але ми використовуємо їх тут не як елементи вимірювання, а для опису впливу на інші кубіти залежно від одного чи іншого підпростору стану простору першого кубіта.

Ми можемо використовувати це для отримання матриці для затвора який виконує операцію на кубіті 3, когерентно обумовленому станом кубіта 1, думаючи про це як про контрольоване- операція на кубітах 2 і 3: $\mathit{CX}_{1,3}$ $X$ $(\mathbf 1_2 \!\otimes\! X)$

\begin{aligned} {C X}_{1, 3} & = | 0 ⟩ ⟨ 0 | \otimes 1_{4} + | 1 ⟩ ⟨ 1 | \otimes (1_{2} \otimes X) \\ = [\begin{matrix} 1_{4} & 0_{4} \\ 0_{4} & (1_{2} \otimes X) \end{matrix}] = [\begin{matrix} 1_{2} & 0_{2} & 0_{2} & 0_{2} \\ 0_{2} & 1_{2} & 0_{2} & 0_{2} \\ 0_{2} & 0_{2} & X & 0_{2} \\ 0_{2} & 0_{2} & 0_{2} & X \end{matrix}], \end{aligned}

$\begin{aligned} \mathit{CX}_{1,3} \;&=\; \ket{0}\!\bra{0} \otimes \mathbf 1_4 \,+\, \ket{1}\!\bra{1} \otimes (\mathbf 1_2 \otimes X) \\[1ex]&=\; \begin{bmatrix} \mathbf 1_4 & \mathbf 0_4 \\ \mathbf 0_4 & (\mathbf 1_2 \!\otimes\! X) \end{bmatrix} \;=\; \begin{bmatrix} \mathbf 1_2 & \mathbf 0_2 & \mathbf 0_2 & \mathbf 0_2 \\ \mathbf 0_2 & \mathbf 1_2 & \mathbf 0_2 & \mathbf 0_2 \\ \mathbf 0_2 & \mathbf 0_2 & X & \mathbf 0_2 \\ \mathbf 0_2 & \mathbf 0_2 & \mathbf 0_2 & X \end{bmatrix}, \end{aligned}$ де останні два є блоковими матричними поданнями для економії місця (і розуму).

Ще краще: ми можемо визнати, що - на якомусь математичному рівні, де ми дозволяємо собі усвідомити, що порядок тензорних факторів не повинен бути в якомусь фіксованому порядку - контроль і ціль операції можуть бути на будь-якому двох тензорах факторів, і що ми можемо заповнити опис оператора на всіх інших кубітах за допомогою . Це дозволило б нам перейти прямо до представництва $\mathbf 1_2$

\begin{aligned} {C X}_{1, 3} & = & \underset{control}{\underset{⏟}{| 0 ⟩ ⟨ 0 |}} \otimes \underset{uninvolved}{\underset{⏟}{1_{2}}} \otimes \underset{target}{\underset{⏟}{1_{2}}} & + \underset{control}{\underset{⏟}{| 1 ⟩ ⟨ 1 |}} \otimes \underset{uninvolved}{\underset{⏟}{1_{2}}} \otimes \underset{target}{\underset{⏟}{X}} \\ = & [\begin{matrix} 1_{2} & 0_{2} \\ 0_{2} & 1_{2} \end{matrix}] & + [\begin{matrix} X & 0_{2} \\ 0_{2} & X \end{matrix}] \end{aligned}

$\begin{alignat}{2} \mathit{CX}_{1,3} \;&=&\; \underbrace{\ket{0}\!\bra{0}}_{\text{control}} \otimes \underbrace{\;\mathbf 1_2\;}_{\!\!\!\!\text{uninvolved}\!\!\!\!} \otimes \underbrace{\;\mathbf 1_2\;}_{\!\!\!\!\text{target}\!\!\!\!} &+\, \underbrace{\ket{1}\!\bra{1}}_{\text{control}} \otimes \underbrace{\;\mathbf 1_2\;}_{\!\!\!\!\text{uninvolved}\!\!\!\!} \otimes \underbrace{\; X\;}_{\!\!\!\!\text{target}\!\!\!\!} \\[1ex]&=&\; \begin{bmatrix} \mathbf 1_2 & \mathbf 0_2 & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} \\ \mathbf 0_2 & \mathbf 1_2 & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} \\ \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} \\ \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} \end{bmatrix} \,&+\, \begin{bmatrix} \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} \\ \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} \\ \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & X & \mathbf 0_2 \\ \phantom{\mathbf 0_2} & \phantom{\mathbf 0_2} & {\mathbf 0_2} & X \end{bmatrix} \end{alignat}$ а також дозволяє нам одразу побачити, що робити, якщо ролі контролю та цілі скасовані:

\begin{aligned} {C X}_{3, 1} & = & \underset{target}{\underset{⏟}{1_{2}}} \otimes \underset{uninvolved}{\underset{⏟}{1_{2}}} \otimes \underset{control}{\underset{⏟}{| 0 ⟩ ⟨ 0 |}} & + \underset{target}{\underset{⏟}{X}} \otimes \underset{uninvolved}{\underset{⏟}{1_{2}}} \otimes \underset{control}{\underset{⏟}{| 1 ⟩ ⟨ 1 |}} \\ = & [\begin{matrix} | 0 ⟩ ⟨ 0 | \\ | 0 ⟩ ⟨ 0 | \\ | 0 ⟩ ⟨ 0 | \\ | 0 ⟩ ⟨ 0 | \end{matrix}] & + [\begin{matrix} | 1 ⟩ ⟨ 1 | \\ | 1 ⟩ ⟨ 1 | \\ | 1 ⟩ ⟨ 1 | \\ | 1 ⟩ ⟨ 1 | \end{matrix}] \\ = & [\begin{matrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \end{matrix} & \begin{matrix} 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \end{matrix}] . \end{aligned}

$\begin{alignat}{2} \mathit{CX}_{3,1} \;&=&\; \underbrace{\;\mathbf 1_2\;}_{\!\!\!\!\text{target}\!\!\!\!} \otimes \underbrace{\;\mathbf 1_2\;}_{\!\!\!\!\text{uninvolved}\!\!\!\!} \otimes \underbrace{\ket{0}\!\bra{0}}_{\text{control}} \,&+\, \underbrace{\;X\;}_{\!\!\!\!\text{target}\!\!\!\!} \otimes \underbrace{\;\mathbf 1_2\;}_{\!\!\!\!\text{uninvolved}\!\!\!\!} \otimes \underbrace{\ket{1}\!\bra{1}}_{\text{control}} \\[1ex]&=&\; {\scriptstyle\begin{bmatrix} \!\ket{0}\!\bra{0}\!\! & & & \\ & \!\!\ket{0}\!\bra{0}\!\! & & \\ & & \!\!\ket{0}\!\bra{0}\!\! & \\ & & & \!\!\ket{0}\!\bra{0} \end{bmatrix}} \,&+\, {\scriptstyle\begin{bmatrix} & & \!\!\ket{1}\!\bra{1}\!\! & \\ & & & \!\!\ket{1}\!\bra{1} \\ \!\ket{1}\!\bra{1}\!\! & & & \\ & \!\!\ket{1}\!\bra{1} & & \end{bmatrix}} \\[1ex]&=&\; \left[{\scriptstyle\begin{matrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \end{matrix}}\right.\,\,&\,\,\left.{\scriptstyle\begin{matrix} 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \end{matrix}}\right]. \end{alignat}$ Але найкраще: якщо ви зможете записати ці оператори алгебраїчно, ви можете зробити перші кроки до розпорядження гігантськими матрицями цілком, замість цього міркуйте про ці оператори алгебраїчно, використовуючи вирази, такі як і

{C X}_{1, 3} = | 0 ⟩ ⟨ 0 | \otimes 1_{2} \otimes 1_{2} + | 1 ⟩ ⟨ 1 | \otimes 1_{2} \otimes X

$\mathit{CX}_{1,3} = \ket{0}\!\bra{0} \! \otimes\!\mathbf 1_2\! \otimes\! \mathbf 1_2 + \ket{1}\!\bra{1} \! \otimes\! \mathbf 1_2 \! \otimes\! X$

{C X}_{3, 1} = 1_{2} \otimes 1_{2} \otimes | 0 ⟩ ⟨ 0 | + X \otimes 1_{2} \otimes | 1 ⟩ ⟨ 1 |

$\mathit{CX}_{3,1} = \mathbf 1_2 \! \otimes\! \mathbf 1_2 \! \otimes \! \ket{0}\!\bra{0} + X \! \otimes\! \mathbf 1_2 \! \otimes \! \ket{1}\!\bra{1}$ . Звичайно, буде обмеження, скільки ви можете зробити з цими, звичайно, проста зміна представництва навряд чи зробить складний квантовий алгоритм ефективно розв’язуваним, не кажучи вже про ручне обчислення, - але про прості схеми можна міркувати набагато ефективніше з використанням цих виразів, ніж з гігантськими простірними матрицями.

— Ніль де Бодорап
джерело

О так, я згадую проекторів з ранньої книги Мерміна. Проектори та додавання матриць - це спосіб кодування умовної логіки в матрицях!

— 1818

"проста зміна представлення навряд чи зможе зробити складний квантовий алгоритм ефективно розв’язуваним" - а як бути у випадку обертання гніт?

— meowzz

@meowzz: Раз у раз така зміна позначень дозволяє зробити концептуальний заздалегідь і допомагає легше вирішувати проблеми. Але не часто і, мабуть, не у випадку цієї конкретної зміни позначень, яка досить добре відома. Щодо конкретного випадку обертання Віка, я б хотів задати питання, який конкретний заздалегідь це дозволило вирішити проблеми, і які проблеми були для нього корисними.

— Ніль де Бодорап

Це гарне запитання; це те, що, схоже, підручники підкрадаються. До цього точного питання я дійшов, готуючи лекцію з квантових обчислень пару днів тому.

Наскільки я можу сказати, немає можливості отримати бажану матрицю 8x8, використовуючи product позначення продукту для матриць. Все, що ви можете реально сказати, це: Ваша операція із застосуванням CNOT до трьох кубітів, при цьому управління є першим, а ціль - третім, має такі ефекти: $\otimes$

$\lvert 000\rangle \mapsto \lvert 000\rangle$

$\lvert 001\rangle \mapsto \lvert 001\rangle$

$\lvert 010\rangle \mapsto \lvert 010\rangle$

$\lvert 011\rangle \mapsto \lvert 011\rangle$

$\lvert 100\rangle \mapsto \lvert 101\rangle$

$\lvert 101\rangle \mapsto \lvert 100\rangle$

$\lvert 110 \rangle \mapsto \lvert 111 \rangle$

$\lvert 111 \rangle \mapsto \lvert 110 \rangle$

і тому вона задається такою матрицею:

$U = \begin{bmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \end{bmatrix}$

Ця матриця насправді не є ні ні . Для цього немає коротких позначень на основі продукту Kronecker; це просто те, що воно є. $U$ $I_2 \otimes \mathrm{CNOT}$ $\mathrm{CNOT} \otimes I_2$

— Райан О'Доннелл
джерело

$\uparrow (= [1\ 0]^T)$ $\downarrow (= [0\ 1]^T)$ $|\phi\rangle=|\uparrow_1\downarrow_2\downarrow_3....\uparrow_{n-1}\downarrow_n\rangle$ $i'th$ $k'th$ $|\phi\rangle$

C N O T | ϕ ⟩ = C N O T | ↑_{1} ↓_{2} . . . ↑_{i} . . . ↑_{k} . . . ↑_{n - 1} ↓_{n} ⟩ = | ↑_{1} ↓_{2} . . . ↑_{i} . . . ↓_{k} . . . ↑_{n - 1} ↓_{n} ⟩

$\begin{equation} CNOT|\phi\rangle=CNOT|\uparrow_1\downarrow_2...\uparrow_i...\uparrow_k...\uparrow_{n-1}\downarrow_n\rangle= |\uparrow_1\downarrow_2...\uparrow_i...\downarrow_k...\uparrow_{n-1}\downarrow_n\rangle \end{equation}$

$\sigma_x$ $x$ $i'th$ $I$ $2\times2$ $i'th$ $k'th$

C N O T = [| ↑_{1} . . . ↑_{i} . . . ↑_{k - 1} ⟩ ⟨ ↑_{1} . . . ↑_{i} . . . ↑_{k - 1} | \otimes σ_{x} \otimes | ↑_{k + 1} . . . ↑_{n} ⟩ ⟨ ↑_{k + 1} . . . ↑_{n} | + a l l p e r m u t a t i o n s o f s t a t e s o t h e r t h e n i^{'} t h] + [| ↑_{1} . . . ↓_{i} . . . ↑_{k - 1} ⟩ ⟨ ↑_{1} . . . ↓_{i} . . . ↑_{k - 1} | \otimes I \otimes | ↑_{k + 1} . . . ↑_{n} ⟩ ⟨ ↑_{k + 1} . . . ↑_{n} | + a l l p e r m u t a t i o n s o f s t a t e s o t h e r t h e n i^{'} t h]

$\begin{equation} CNOT = \Big[|\uparrow_1...\uparrow_i...\uparrow_{k-1}\rangle\langle\uparrow_1...\uparrow_i...\uparrow_{k-1}|\otimes\sigma_x\otimes|\uparrow_{k+1}...\uparrow_n\rangle\langle\uparrow_{k+1}...\uparrow_n| + all\ permutations\ of\ states\ other\ then\ i'th\Big] + \Big[|\uparrow_1...\downarrow_i...\uparrow_{k-1}\rangle\langle\uparrow_1...\downarrow_i...\uparrow_{k-1}|\otimes I\otimes|\uparrow_{k+1}...\uparrow_n\rangle\langle\uparrow_{k+1}...\uparrow_n| + all\ permutations\ of\ states\ other\ then\ i'th\Big] \end{equation}$

$k'th$ $k'th$ $\sigma_x$ $I$

$2^{nd}$ $4^{th}$ $CNOT$ $\uparrow$

\begin{aligned} C N O T & = | ↑_{1} ⟩ ⟨ ↑_{1} | \otimes σ_{x} \otimes | ↑_{3} ↑_{4} ↑_{5} ⟩ ⟨ ↑_{3} ↑_{4} ↑_{5} | \\ + | ↑_{1} ⟩ ⟨ ↑_{1} | \otimes σ_{x} \otimes | ↑_{3} ↑_{4} ↓_{5} ⟩ ⟨ ↑_{3} ↑_{4} ↓_{5} | \\ + | ↑_{1} ⟩ ⟨ ↑_{1} | \otimes σ_{x} \otimes | ↓_{3} ↑_{4} ↑_{5} ⟩ ⟨ ↓_{3} ↑_{4} ↑_{5} | \\ + | ↑_{1} ⟩ ⟨ ↑_{1} | \otimes σ_{x} \otimes | ↓_{3} ↑_{4} ↓_{5} ⟩ ⟨ ↓_{3} ↑_{4} ↓_{5} | \\ + | ↓_{1} ⟩ ⟨ ↓_{1} | \otimes σ_{x} \otimes | ↑_{3} ↑_{4} ↑_{5} ⟩ ⟨ ↑_{3} ↑_{4} ↑_{5} | \\ + | ↓_{1} ⟩ ⟨ ↓_{1} | \otimes σ_{x} \otimes | ↑_{3} ↑_{4} ↓_{5} ⟩ ⟨ ↑_{3} ↑_{4} ↓_{5} | \\ + | ↓_{1} ⟩ ⟨ ↓_{1} | \otimes σ_{x} \otimes | ↓_{3} ↑_{4} ↑_{5} ⟩ ⟨ ↓_{3} ↑_{4} ↑_{5} | \\ + | ↓_{1} ⟩ ⟨ ↓_{1} | \otimes σ_{x} \otimes | ↓_{3} ↑_{4} ↓_{5} ⟩ ⟨ ↓_{3} ↑_{4} ↓_{5} | \\ + | ↑_{1} ⟩ ⟨ ↑_{1} | \otimes I \otimes | ↑_{3} ↓_{4} ↑_{5} ⟩ ⟨ ↑_{3} ↓_{4} ↑_{5} | \\ + | ↑_{1} ⟩ ⟨ ↑_{1} | \otimes I \otimes | ↑_{3} ↓_{4} ↓_{5} ⟩ ⟨ ↑_{3} ↓_{4} ↓_{5} | \\ + | ↑_{1} ⟩ ⟨ ↑_{1} | \otimes I \otimes | ↓_{3} ↓_{4} ↑_{5} ⟩ ⟨ ↓_{3} ↓_{4} ↑_{5} | \\ + | ↑_{1} ⟩ ⟨ ↑_{1} | \otimes I \otimes | ↓_{3} ↓_{4} ↓_{5} ⟩ ⟨ ↓_{3} ↓_{4} ↓_{5} | \\ + | ↓_{1} ⟩ ⟨ ↓_{1} | \otimes I \otimes | ↑_{3} ↓_{4} ↑_{5} ⟩ ⟨ ↑_{3} ↑_{4} ↓_{5} | \\ + | ↓_{1} ⟩ ⟨ ↓_{1} | \otimes I \otimes | ↑_{3} ↓_{4} ↓_{5} ⟩ ⟨ ↑_{3} ↓_{4} ↓_{5} | \\ + | ↓_{1} ⟩ ⟨ ↓_{1} | \otimes I \otimes | ↓_{3} ↓_{4} ↑_{5} ⟩ ⟨ ↓_{3} ↓_{4} ↑_{5} | \\ + | ↓_{1} ⟩ ⟨ ↓_{1} | \otimes I \otimes | ↓_{3} ↓_{4} ↓_{5} ⟩ ⟨ ↓_{3} ↓_{4} ↓_{5} | \end{aligned}

$\begin{align} CNOT & = |\uparrow_1\rangle\langle\uparrow_1|\otimes\sigma_x\otimes|\uparrow_3\uparrow_4\uparrow_5\rangle\langle\uparrow_3\uparrow_4\uparrow_5|\\ & +|\uparrow_1\rangle\langle\uparrow_1|\otimes\sigma_x\otimes|\uparrow_3\uparrow_4\downarrow_5\rangle\langle\uparrow_3\uparrow_4\downarrow_5|\\ & +|\uparrow_1\rangle\langle\uparrow_1|\otimes\sigma_x\otimes|\downarrow_3\uparrow_4\uparrow_5\rangle\langle\downarrow_3\uparrow_4\uparrow_5|\\ & +|\uparrow_1\rangle\langle\uparrow_1|\otimes\sigma_x\otimes|\downarrow_3\uparrow_4\downarrow_5\rangle\langle\downarrow_3\uparrow_4\downarrow_5|\\ & +|\downarrow_1\rangle\langle\downarrow_1|\otimes\sigma_x\otimes|\uparrow_3\uparrow_4\uparrow_5\rangle\langle\uparrow_3\uparrow_4\uparrow_5|\\ & +|\downarrow_1\rangle\langle\downarrow_1|\otimes\sigma_x\otimes|\uparrow_3\uparrow_4\downarrow_5\rangle\langle\uparrow_3\uparrow_4\downarrow_5|\\ & +|\downarrow_1\rangle\langle\downarrow_1|\otimes\sigma_x\otimes|\downarrow_3\uparrow_4\uparrow_5\rangle\langle\downarrow_3\uparrow_4\uparrow_5|\\ & +|\downarrow_1\rangle\langle\downarrow_1|\otimes\sigma_x\otimes|\downarrow_3\uparrow_4\downarrow_5\rangle\langle\downarrow_3\uparrow_4\downarrow_5|\\ & +|\uparrow_1\rangle\langle\uparrow_1|\otimes I\otimes|\uparrow_3\downarrow_4\uparrow_5\rangle\langle\uparrow_3\downarrow_4\uparrow_5|\\ & +|\uparrow_1\rangle\langle\uparrow_1|\otimes I\otimes|\uparrow_3\downarrow_4\downarrow_5\rangle\langle\uparrow_3\downarrow_4\downarrow_5|\\ & +|\uparrow_1\rangle\langle\uparrow_1|\otimes I\otimes|\downarrow_3\downarrow_4\uparrow_5\rangle\langle\downarrow_3\downarrow_4\uparrow_5|\\ & +|\uparrow_1\rangle\langle\uparrow_1|\otimes I\otimes|\downarrow_3\downarrow_4\downarrow_5\rangle\langle\downarrow_3\downarrow_4\downarrow_5|\\ & +|\downarrow_1\rangle\langle\downarrow_1|\otimes I\otimes|\uparrow_3\downarrow_4\uparrow_5\rangle\langle\uparrow_3\uparrow_4\downarrow_5|\\ & +|\downarrow_1\rangle\langle\downarrow_1|\otimes I\otimes|\uparrow_3\downarrow_4\downarrow_5\rangle\langle\uparrow_3\downarrow_4\downarrow_5|\\ & +|\downarrow_1\rangle\langle\downarrow_1|\otimes I\otimes|\downarrow_3\downarrow_4\uparrow_5\rangle\langle\downarrow_3\downarrow_4\uparrow_5|\\ & +|\downarrow_1\rangle\langle\downarrow_1|\otimes I\otimes|\downarrow_3\downarrow_4\downarrow_5\rangle\langle\downarrow_3\downarrow_4\downarrow_5| \end{align}$

— Житендра
джерело

-2

спочатку запишіть матрицю CNOT⊗𝐼2, потім змініть порядок index2 та index3 за допомогою matlab. таким чином ви можете робити будь-яку кількість кубітів.

— жиде лу
джерело

Привіт! Чи можете ви розширити свою відповідь, щоб зробити її зрозумілішою? Можливо, допоможе приклад :)

— met927