Làm thế nào để tôi chỉ ra rằng trạng thái hai qubit là trạng thái vướng mắc?


18

Trạng thái Chuông là trạng thái vướng víu. Nhưng tại sao lại như vậy? Làm thế nào để tôi chứng minh một cách toán học?|Φ+=12(|00+|11)

Câu trả lời:


18

Định nghĩa


Trạng thái hai qubit là trạng thái vướng víu khi và chỉ khi không tồn tại hai trạng thái qubit và sao cho , trong đó \ otimes biểu thị sản phẩm tenor\ alpha, \ beta, \ gamma, \ lambda \ in \ mathbb {C} .|ψC4| b = gamma | 0 + bước sóng | 1 C 2 | một | b = | ψ |a=α|0+β|1C2|b=γ|0+λ|1C2|a|b=|ψα,β,γ,λC

Vì vậy, để cho thấy trạng thái Chuông là trạng thái vướng víu, chúng ta chỉ cần cho thấy không tồn tại hai trạng thái một qubit | a \ rangle| b \ rangle sao cho | \ Phi ^ {+} \ rangle = | a \ rangle \ otimes | b \ rangle .| một| b| Φ+=| một| b|Φ+=12(|00+|11)|a|b|Φ+=|a|b

Bằng chứng


Giả sử rằng

|Φ+=|a|b=(α|0+β|1)(γ|0+λ|1)

Bây giờ chúng ta có thể chỉ cần áp dụng tài sản phân phối để có được

|Φ+==(αγ|00+αλ|01+βγ|10+βλ|11)

Điều này phải bằng , nghĩa là chúng ta phải tìm các hệ số , , và , sao choalphabetagammabước sóng12(|00+|11)αβγλ

12(|00+|11)=(αγ|00+αλ|01+βγ|10+βλ|11)

Quan sát rằng, trong biểu thức , chúng tôi muốn giữ cả và . Do đó, và , là các hệ số của , không thể bằng 0; nói cách khác, chúng ta phải có và . Tương tự, và , là các số phức nhân với không thể bằng 0, tức là và . Vì vậy, tất cả các số phức| 00 | 11 alpha gamma | 00 alpha 0 gamma 0 beta bước sóng | 11 beta 0 bước sóng 0 alpha beta gamma bước sóngαγ|00+αλ|01+βγ|10+βλ|11|00|11αγ|00α0γ0βλ|11β0λ0α , , và phải khác 0.βγλ

Nhưng, để có được trạng thái Chuông , chúng tôi muốn thoát khỏi và . Vì vậy, một trong các số (hoặc cả hai) nhân (và ) trong biểu thức , tức là và (và, tương ứng, và ), phải bằng 0. Nhưng chúng ta vừa thấy rằng , , và| 01 | 10 | 01 | 10 alpha gamma | 00 + alpha bước sóng | 01 + beta gamma | 10 + beta bước sóng | 11 alpha bước sóng beta gamma alpha beta gamma bước sóng alpha beta gamma bước sóng|Φ+|01|10|01|10αγ|00+αλ|01+βγ|10+βλ|11αλβγαβγλtất cả phải khác không. Vì vậy, chúng tôi không thể tìm thấy sự kết hợp của các số phức , , và sao choαβγλ

12(|00+|11)=(αγ|00+αλ|01+βγ|10+βλ|11)

Nói cách khác, chúng tôi không thể diễn đạt như một sản phẩm tenor của hai trạng thái một qubit. Do đó, là trạng thái vướng mắc.| Φ +|Φ+|Φ+

Chúng ta có thể thực hiện một bằng chứng tương tự cho các trạng thái Bell khác hoặc, nói chung, nếu chúng ta muốn chứng minh rằng một trạng thái bị vướng mắc.


2
Wow bạn đã trả lời câu hỏi của riêng bạn với một bằng chứng đẹp, dễ hiểu. Không phải cái gì bạn nhìn thấy mỗi ngày. Điều này đã giúp tôi cảm ơn bạn.
YungGun

11

Một trạng thái thuần hai qudit có thể tách rời khi và chỉ khi nó có thể được viết dưới dạng cho các trạng thái qudit đơn lẻ tùy ý và . Nếu không, nó bị vướng mắc.

|Ψ=|ψ|ϕ
|ψ|ϕ

Để xác định xem trạng thái tinh khiết có bị vướng víu hay không, người ta có thể thử phương pháp vũ phu cố gắng tìm trạng thái thỏa mãn và , như trong câu trả lời này . Điều này là không phù hợp, và làm việc chăm chỉ trong trường hợp chung. Một cách đơn giản hơn để chứng minh liệu trạng thái thuần túy này có bị vướng hay không là tính toán ma trận mật độ giảm cho một trong các qudits, tức là bằng cách tìm ra trạng thái khác. Trạng thái có thể tách rời khi và chỉ khi có hạng 1. Nếu không, nó bị vướng. Về mặt toán học, bạn có thể kiểm tra điều kiện xếp hạng đơn giản bằng cách đánh giá|ψ|ϕρ ρ Tr ( ρ 2 )ρρTr(ρ2). Trạng thái ban đầu có thể tách rời khi và chỉ khi giá trị này là 1. Nếu không thì trạng thái bị vướng.

Ví dụ: hãy tưởng tượng người ta có trạng thái tách rời thuần túy . Ma trận mật độ giảm trên là và Như vậy, chúng ta có một trạng thái tách rời.|Ψ=|ψ|ϕA

ρA=TrB(|ΨΨ|)=|ψψ|,
Tr(ρA2)=Tr(|ψψ||ψψ|)=Tr(|ψψ|)=1.

Trong khi đó, nếu chúng ta lấy , thì và Vì giá trị này không phải là 1, chúng ta có trạng thái vướng víu.|Ψ=12(|00+|11)

ρA=TrB(|ΨΨ|)=12(|00|+|11|)=12I
Tr(ρA2)=14Tr(II)=12

Nếu bạn muốn biết về việc phát hiện sự vướng víu ở các trạng thái hỗn hợp (không phải là trạng thái thuần túy), thì điều này ít đơn giản hơn, nhưng đối với hai qubit có một điều kiện cần và đủ để phân tách: tính tích cực trong hoạt động chuyển vị một phần .


+1 Đây là một phương pháp tao nhã hơn nhiều so với thuật toán vũ phu.
Sanchaya Dutta

Là gì B ? Có phải đây chỉ là các qudits chính mình? AB
Dohleman

@Dohman Có, chúng chỉ là nhãn cho hai phần của hệ thống, một phần do A (Alice) nắm giữ và phần còn lại của B (Bob). Trong trường hợp này, đó là hai qudits.
DaftWullie
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.