Làm cách nào để lấy được ma trận CNOT cho hệ thống 3 qbit trong đó các qbit điều khiển & đích không liền kề nhau?

Trong hệ thống ba qbit, thật dễ dàng để lấy được toán tử CNOT khi các qbit điều khiển và đích nằm liền kề có ý nghĩa - bạn chỉ cần sử dụng toán tử CNOT 2 bit với ma trận nhận dạng ở vị trí quan trọng của qbit chưa được chạm tới:

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

Tuy nhiên, không rõ ràng làm thế nào để lấy được toán tử CNOT khi các qbit điều khiển và đích không có ý nghĩa liền kề:

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

Làm thế nào được thực hiện?

quantum-gate gate-synthesis

— ahelwer
nguồn

Câu trả lời:

Đối với bài thuyết trình từ các nguyên tắc đầu tiên, tôi thích câu trả lời của Ryan O'Donnell . Nhưng đối với một điều trị đại số cấp độ cao hơn một chút, đây là cách tôi sẽ làm điều đó.

Tính năng chính của hoạt động kiểm soát , đối với bất kỳ đơn vị nào , là nó (kết hợp) thực hiện một thao tác trên một số qubit tùy thuộc vào giá trị của một số qubit đơn. Cách mà chúng ta có thể viết điều này theo đại số một cách rõ ràng (với điều khiển trên qubit đầu tiên) là: nơi là một ma trận nhận dạng của kích thước tương tự như . Tại đây, và là các máy chiếu lên các trạng thái và $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}$ của qubit kiểm soát - nhưng chúng tôi không sử dụng chúng ở đây làm các yếu tố của phép đo, mà để mô tả hiệu ứng trên các qubit khác tùy thuộc vào một hoặc không gian con khác của không gian trạng thái của qubit đầu tiên.

Chúng ta có thể sử dụng điều này để lấy ra ma trận cho cổng thực hiện thao tác trên qubit 3, được điều hòa nhất quán ở trạng thái của qubit 1, bằng cách nghĩ rằng đây là một điều khiển- hoạt động trên qubit 2 và 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}$ trong đó hai cái sau là biểu diễn ma trận khối để tiết kiệm không gian (và sự tỉnh táo).

Vẫn tốt hơn: chúng ta có thể nhận ra rằng - ở một mức độ toán học nào đó, chúng ta cho phép bản thân nhận ra rằng thứ tự của các yếu tố tenor không nhất thiết phải theo một trật tự cố định - điều khiển và mục tiêu của hoạt động có thể nằm trên bất kỳ hai tenxơ nào các yếu tố và chúng ta có thể điền vào mô tả của toán tử trên tất cả các qubit khác với . Điều này sẽ cho phép chúng tôi nhảy thẳng đến đại diện $\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}$ và cũng cho phép chúng tôi thấy ngay lập tức phải làm gì nếu vai trò của kiểm soát và mục tiêu bị đảo ngược:

\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}$ Nhưng tốt nhất là: nếu bạn có thể viết ra các toán tử này theo đại số, bạn có thể thực hiện các bước đầu tiên để phân phối hoàn toàn với các ma trận khổng lồ, thay vào đó là lý do về các toán tử này theo đại số bằng cách sử dụng các biểu thức như và

{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}$ . Tất nhiên, sẽ có giới hạn về mức độ bạn có thể làm với những điều này - một thay đổi đơn giản trong biểu diễn khó có thể tạo ra một thuật toán lượng tử khó giải quyết một cách hiệu quả, chứ đừng nói là có thể điều chỉnh bằng cách tính toán thủ công - nhưng bạn có thể suy luận về các mạch đơn giản hiệu quả hơn nhiều sử dụng các biểu thức này hơn với ma trận ăn không gian khổng lồ.

— Niel de Beaudrap
nguồn

Ồ vâng, tôi nhớ lại các máy chiếu từ sớm trong cuốn sách Mermin. Máy chiếu và ma trận bổ sung là một cách mã hóa logic có điều kiện trong ma trận!

— ahelwer

"Một thay đổi đơn giản trong biểu diễn không có khả năng làm cho thuật toán lượng tử khó giải quyết hiệu quả" - trong trường hợp xoay vòng bấc thì sao?

— meowzz

@meowzz: Thỉnh thoảng, một thay đổi trong ký hiệu cho phép bạn đưa ra một tiến bộ về khái niệm và giúp bạn giải quyết vấn đề dễ dàng hơn. Nhưng không thường xuyên, và có lẽ không phải trong trường hợp thay đổi ký hiệu đặc biệt này, được biết đến một cách hợp lý. Tuy nhiên, đối với trường hợp cụ thể của phép quay Bấc, câu hỏi tôi sẽ hỏi là tiến bộ cụ thể nào đã thực hiện để giải quyết vấn đề và vấn đề nào hữu ích cho nó.

— Niel de Beaudrap

Đây là một câu hỏi hay; đó là một cuốn sách giáo khoa dường như lén lút Tôi đã đạt được câu hỏi chính xác này khi chuẩn bị một bài giảng về máy tính lượng tử vài ngày trước.

Theo như tôi có thể nói, không có cách nào để có được ma trận 8x8 mong muốn bằng cách sử dụng ký hiệu sản phẩm Kronecker cho ma trận. Tất cả những gì bạn thực sự có thể nói là: Hoạt động của bạn khi áp dụng CNOT cho ba qubit, với điều khiển là đầu tiên và mục tiêu là thứ ba, có các tác dụng sau: $\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$

và do đó nó được đưa ra bởi ma trận sau:

$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}$

Ma trận này thực sự không phải là cũng không phải . Không có ký hiệu dựa trên sản phẩm Kronecker ngắn gọn cho nó; Đó chỉ là những gì nó được. $U$ $I_2 \otimes \mathrm{CNOT}$ $\mathrm{CNOT} \otimes I_2$

— Ryan O'Dellell
nguồn

$\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}$

— Jitendra
nguồn