Ví dụ đơn giản, giả sử bạn có hai qubit ở trạng thái xác định và | 0 ⟩ . Trạng thái kết hợp của hệ thống là | 0 ⟩ ⊗ | 0 ⟩ hay | 00 ⟩ ở tốc ký.|0⟩|0⟩|0⟩⊗|0⟩|00⟩
Sau đó, nếu chúng ta áp dụng các toán tử sau cho các qubit (hình ảnh được cắt từ trang wiki mã hóa siêu nặng ), trạng thái kết quả là trạng thái vướng víu, một trong những trạng thái chuông .
Đầu tiên trong hình ảnh, chúng ta có cổng hadamard hoạt động trên qubit đầu tiên, ở dạng dài hơn là để nó là toán tử nhận dạng trên qubit thứ hai.H⊗I
Ma trận hadamard trông giống như
trong đó cơ sở được đặt hàng{| 0⟩,| 1⟩}.
H=12–√(111−1)
{|0⟩,|1⟩}
Vì vậy, sau khi toán tử hadamard hoạt động, trạng thái bây giờ
(H⊗I)(|0⟩⊗|0⟩)=H|0⟩⊗I|0⟩=12–√(|0⟩+|1⟩)⊗(|0⟩)=12–√(|00⟩+|10⟩)
Phần tiếp theo của mạch là một cổng không được điều khiển, nó chỉ hoạt động trên qubit thứ hai nếu qubit đầu tiên là 1 .
Bạn có thể đại diện cho là | 0 ⟩ ⟨ 0 | ⊗ Tôi + | 1 ⟩ ⟨ 1 | ⊗ X , ở đâu | 0 ⟩ ⟨ 0 | là một toán tử chiếu lên bit 0 hoặc ở dạng ma trận ( 1 0 0 0 ) . Tương tự | 1 ⟩ ⟨ 1 |CNOT|0⟩⟨0|⊗I+|1⟩⟨1|⊗X|0⟩⟨0|0(1000)|1⟩⟨1|là .(0001)
Chữ X điều hành là các nhà điều hành chút lật biểu diễn dưới dạng .(0110)
Nhìn chung, ma trận là ( 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 )CNOT⎛⎝⎜⎜⎜1000010000010010⎞⎠⎟⎟⎟
Khi chúng ta áp dụng chúng ta có thể sử dụng phép nhân ma trận bằng cách viết trạng thái của chúng ta dưới dạng một vectơ ( 1CNOT, hoặc chúng ta chỉ có thể sử dụng mẫu sản phẩm tenor.⎛⎝⎜⎜⎜⎜⎜12√012√0⎞⎠⎟⎟⎟⎟⎟
CNOT(12–√(|00⟩+|10⟩))=12–√(|00⟩+|11⟩)
Chúng tôi thấy rằng cho phần đầu tiên của nhà nước bit đầu tiên là 0 , vì vậy các bit thứ hai còn lại một mình; phần thứ hai của nhà nước | 10 ⟩|00⟩0|10⟩ bit đầu tiên là , vì vậy các bit thứ hai được quay ngược từ 0 để 1 .101
Trạng thái cuối cùng của chúng tôi là
12–√(|00⟩+|11⟩)
là một trong bốn tiểu bang Chuông mà là tối đa trạng thái vướng víu.
Để xem ý nghĩa của việc chúng bị vướng víu, hãy lưu ý rằng nếu bạn đo trạng thái của qubit đầu tiên, nếu bạn phát hiện ra rằng đó là thì ngay lập tức cho bạn biết qubit thứ hai cũng phải là 0 , bởi vì đó là khả năng duy nhất của chúng tôi00
So sánh với trạng thái này chẳng hạn:
12(|00⟩+|01⟩+|10⟩+|11⟩).
Nếu bạn đo rằng qubit đầu tiên bằng 0, thì trạng thái sụp đổ thành , nơi vẫn còn một cơ hội 50-50 qubit thứ hai là một0hoặc1.12√(|00⟩+|01⟩)01
Hy vọng rằng điều này cho một ý tưởng làm thế nào các quốc gia có thể bị vướng mắc. Nếu bạn muốn biết một ví dụ cụ thể, như vướng víu photon hoặc electron, v.v., thì bạn sẽ phải xem xét cách thực hiện một số cổng nhất định, nhưng bạn vẫn có thể viết toán học theo cách tương tự, và 1 có thể đại diện cho những thứ khác nhau trong tình huống vật lý khác nhau.01
Cập nhật 1: Hướng dẫn nhỏ về ký hiệu QM / QC / Dirac
Thông thường có một cơ sở tính toán tiêu chuẩn (ortho-normal) cho một qubit duy nhất là , nói H = khoảng { | 0 ⟩ , | 1 ⟩ } là không gian vector.{|0⟩,|1⟩}H=span{|0⟩,|1⟩}
Theo thứ tự cơ sở này, chúng ta có thể xác định với ( 1 0 ) và | 1 ⟩ với ( 0 1 ) . Bất kỳ toán tử qubit đơn nào sau đó có thể được viết dưới dạng ma trận sử dụng cơ sở này. Ví dụ: toán tử lật bit X (sau pauli- σ x ) sẽ lấy | 0 ⟩ ↦ | 1 ⟩ và | 1 ⟩ ↦ | 0 ⟩ , có thể được viết như sau ( 0 1 1 0|0⟩(10)|1⟩(01)Xσx|0⟩↦|1⟩|1⟩↦|0⟩(0110) , cột đầu tiên của ma trận là hình ảnh của vectơ cơ sở đầu tiên, v.v.
Khi bạn có nhiều tiếng nói -qubits họ phải thuộc về không gian H ⊗ n : = n - t i m đ s ⏞ H ⊗ H ⊗ ⋯ ⊗ H . Một cơ sở cho không gian này được gắn nhãn bởi các chuỗi số không và số không, ví dụ | 0 ⟩ ⊗ | 1 ⟩ ⊗ | 1 ⟩ ⊗ ... ⊗ | 0 ⟩ , thường được viết tắt vì đơn giản như | 011 ... 0 ⟩ .nH⊗n:=H⊗H⊗⋯⊗Hn−times|0⟩⊗|1⟩⊗|1⟩⊗…⊗|0⟩|011…0⟩
Một ví dụ đơn giản cho hai qubit, cơ sở cho , là { | 0 ⟩ ⊗ | 0 ⟩ , | 0 ⟩ ⊗ | 1 ⟩ , | 1 ⟩ ⊗ | 0 ⟩ , | 1 ⟩ ⊗ | 1 ⟩ } hoặc trong viết tắt { | 00 ⟩ , | 01 ⟩ , | 10 ⟩ ,H⊗2=H⊗H{|0⟩⊗|0⟩,|0⟩⊗|1⟩,|1⟩⊗|0⟩,|1⟩⊗|1⟩} .{|00⟩,|01⟩,|10⟩,|11⟩}
Có nhiều cách khác nhau để sắp xếp cơ sở này để sử dụng ma trận, nhưng một cách tự nhiên là sắp xếp các chuỗi như thể chúng là các số ở dạng nhị phân như trên. Ví dụ: đối với qubit, bạn có thể đặt cơ sở là { | 000 ⟩ , | 001 ⟩ , | 010 ⟩ , | 011 ⟩ , | 100 ⟩ , | 101 ⟩ , | 110 ⟩ , | 111 ⟩ } .3
{|000⟩,|001⟩,|010⟩,|011⟩,|100⟩,|101⟩,|110⟩,|111⟩}.
Lý do tại sao điều này có thể hữu ích là vì nó tương ứng với sản phẩm Kronecker cho ma trận của các nhà khai thác. Ví dụ, đầu tiên nhìn vào các vectơ cơ sở:
|0⟩⊗|0⟩=(10)⊗(10):=⎛⎝⎜⎜⎜1⋅(10)0⋅(10)⎞⎠⎟⎟⎟=⎛⎝⎜⎜⎜1000⎞⎠⎟⎟⎟
và
|0⟩⊗|1⟩=(10)⊗(01):=⎛⎝⎜⎜⎜1⋅(01)0⋅(10)⎞⎠⎟⎟⎟=⎛⎝⎜⎜⎜0100⎞⎠⎟⎟⎟
và tương tự
|1⟩⊗|0⟩=⎛⎝⎜⎜⎜0010⎞⎠⎟⎟⎟,|1⟩⊗|1⟩=⎛⎝⎜⎜⎜0001⎞⎠⎟⎟⎟
X1X2:=X⊗X , hoạt động trên hai qubit và chúng ta đặt hàng cơ sở như trên, chúng ta có thể lấy sản phẩm kronecker của ma trận để tìm ma trận trong cơ sở này:
X1X2=X⊗X=(0110)⊗(0110)=⎛⎝⎜⎜⎜0⋅(0110)1⋅(0110)1⋅(0110)0⋅(0110)⎞⎠⎟⎟⎟=⎛⎝⎜⎜⎜0001001001001000⎞⎠⎟⎟⎟
CNOT|0⟩⟨0|⊗I+|1⟩⟨1|⊗X∗(1000)⊗(1001)+(0001)⊗(0110)CNOT
2nn8×8416×16
∗|0⟩⟨0|⟨0|1⟩|0⟩|1⟩X=|0⟩⟨1|+|1⟩⟨0|
P0=|0⟩⟨0|P2=PP†=P