ตัวอย่างสุดท้ายที่จะพูดถึงในบทเรียนนี้ไม่ใช่โปรโตคอล แต่เป็น เกม ที่รู้จักกันในชื่อ
เกม CHSH
เมื่อพูดถึงเกมในบริบทนี้ เราไม่ได้หมายถึงสิ่งที่เล่นเพื่อความสนุกหรือความบันเทิง แต่หมายถึงการนามธรรมทางคณิตศาสตร์ในแง่ของ ทฤษฎีเกม (game theory)
การนามธรรมของเกมในเชิงคณิตศาสตร์นั้นถูกศึกษาในสาขาเศรษฐศาสตร์และวิทยาการคอมพิวเตอร์ และมีทั้งความน่าสนใจและประโยชน์มากมาย
ตัวอักษร CHSH ย่อมาจากชื่อผู้เขียน — John Clauser, Michael Horne, Abner Shimony และ Richard Holt — ของบทความปี 1969 ที่อธิบายตัวอย่างนี้เป็นครั้งแรก
พวกเขาไม่ได้อธิบายตัวอย่างนี้ว่าเป็นเกม แต่เป็นการทดลอง
อย่างไรก็ตาม การอธิบายในรูปแบบเกมนั้นทั้งเป็นธรรมชาติและเข้าใจง่าย
เกม CHSH อยู่ในกลุ่มเกมที่เรียกว่า เกมนอนโลคัล (nonlocal games)
เกมนอนโลคัลมีความน่าสนใจอย่างยิ่งและมีความเชื่อมโยงลึกซึ้งกับฟิสิกส์ วิทยาการคอมพิวเตอร์ และคณิตศาสตร์ — รวมถึงปริศนาที่ยังไม่ได้รับการแก้ไข
เราจะเริ่มส่วนนี้ด้วยการอธิบายว่าเกมนอนโลคัลคืออะไร แล้วจึงเจาะลึกไปที่เกม CHSH และสิ่งที่ทำให้มันน่าสนใจ
เกมนอนโลคัล
เกมนอนโลคัลคือ เกมแบบร่วมมือ ที่ผู้เล่นสองคน คือ Alice และ Bob ทำงานร่วมกันเพื่อบรรลุผลลัพธ์ที่ต้องการ
เกมดำเนินการโดย กรรมการ ซึ่งทำตามกฎเกณฑ์ที่เข้มงวดที่ทั้ง Alice และ Bob รับรู้
Alice และ Bob สามารถเตรียมตัวสำหรับเกมได้ตามที่ต้องการ แต่เมื่อเกมเริ่มต้นแล้ว พวกเขา ห้ามสื่อสารกัน
เราอาจจินตนาการว่าเกมนี้เกิดขึ้นในสถานที่ที่มีการรักษาความปลอดภัยสูง — ราวกับว่ากรรมการรับบทเป็นนักสืบและ Alice กับ Bob เป็นผู้ต้องสงสัยที่ถูกสอบสวนในห้องคนละห้อง
แต่อีกวิธีหนึ่งที่จะเข้าใจการตั้งค่านี้คือ Alice และ Bob อยู่ห่างกันมาก และการสื่อสารถูกห้ามเนื่องจากความเร็วของแสงไม่อนุญาตให้ทำได้ภายในเวลาที่เกมดำเนินอยู่
กล่าวคือ ถ้า Alice พยายามส่งข้อความถึง Bob เกมจะจบก่อนที่เขาจะได้รับ และในทางกลับกัน
วิธีที่เกมนอนโลคัลทำงานคือ กรรมการจะถาม Alice และ Bob แต่ละคนด้วยคำถามก่อน
เราจะใช้ตัวอักษร x x x สำหรับคำถามของ Alice และ y y y สำหรับคำถามของ Bob
ที่นี่เราคิดว่า x x x และ y y y เป็นสถานะแบบคลาสสิก และในเกม CHSH นั้น x x x และ y y y เป็นบิต
กรรมการใช้ ความสุ่ม เพื่อเลือกคำถามเหล่านี้
อย่างแม่นยำ มีความน่าจะเป็น p ( x , y ) p(x,y) p ( x , y ) สำหรับแต่ละคู่คำถาม ( x , y ) (x,y) ( x , y ) ที่เป็นไปได้ และกรรมการได้สัญญาว่าจะเลือกคำถามแบบสุ่มในขณะที่เกมดำเนินอยู่ด้วยวิธีนี้
ทุกคน รวมถึง Alice และ Bob รู้ความน่าจะเป็นเหล่านี้ — แต่ไม่มีใครรู้ว่าคู่ ( x , y ) (x,y) ( x , y ) ใดจะถูกเลือกจนกว่าเกมจะเริ่ม
หลังจาก Alice และ Bob ได้รับคำถามแล้ว พวกเขาต้องให้คำตอบ: คำตอบของ Alice คือ a a a และคำตอบของ Bob คือ b . b. b .
อีกครั้ง สิ่งเหล่านี้เป็นสถานะแบบคลาสสิกโดยทั่วไป และเป็นบิตในเกม CHSH
ณ จุดนี้ กรรมการจะตัดสินใจ: Alice และ Bob จะ ชนะ หรือ แพ้ ขึ้นอยู่กับว่าคู่คำตอบ ( a , b ) (a,b) ( a , b ) ถือว่าถูกต้องสำหรับคู่คำถาม ( x , y ) (x,y) ( x , y ) ตามกฎที่กำหนดไว้หรือไม่
กฎที่แตกต่างกันหมายถึงเกมที่แตกต่างกัน และกฎสำหรับเกม CHSH โดยเฉพาะจะอธิบายในส่วนถัดไป
ตามที่กล่าวไปแล้ว กฎเป็นที่รู้กันทุกคน
แผนภาพต่อไปนี้แสดงภาพกราฟิกของปฏิสัมพันธ์
ความไม่แน่นอนเกี่ยวกับคำถามที่จะถาม และโดยเฉพาะอย่างยิ่งความจริงที่ว่าผู้เล่นแต่ละคนไม่รู้คำถามของอีกคน คือสิ่งที่ทำให้เกมนอนโลคัลท้าทายสำหรับ Alice และ Bob — เช่นเดียวกับผู้ต้องสงสัยที่สมคบกันในห้องต่างห้องพยายามรักษาเรื่องราวให้สอดคล้องกัน
คำอธิบายที่แม่นยำของกรรมการกำหนดอินสแตนซ์ของเกมนอนโลคัล
ซึ่งรวมถึงข้อกำหนดของความน่าจะเป็น p ( x , y ) p(x,y) p ( x , y ) สำหรับแต่ละคู่คำถาม พร้อมกับกฎที่กำหนดว่าคู่คำตอบ ( a , b ) (a,b) ( a , b ) แต่ละคู่ชนะหรือแพ้สำหรับแต่ละคู่คำถาม ( x , y ) (x,y) ( x , y ) ที่เป็นไปได้
เราจะดูเกม CHSH ในอีกสักครู่ แต่ก่อนนั้น ขอกล่าวโดยย่อว่ามันน่าสนใจไม่น้อยที่จะพิจารณาเกมนอนโลคัลอื่น ๆ ด้วย
น่าสนใจอย่างยิ่ง และมีเกมนอนโลคัลบางเกมที่ปัจจุบันยังไม่ทราบว่า Alice และ Bob จะเล่นได้ดีแค่ไหนโดยใช้การพัวพัน (entanglement)
การตั้งค่าเรียบง่าย แต่มีความซับซ้อนที่ซ่อนอยู่ — และสำหรับบางเกม การคำนวณกลยุทธ์ที่ดีที่สุดหรือใกล้เคียงที่สุดสำหรับ Alice และ Bob อาจเป็นไปไม่ได้เลย
นี่คือธรรมชาติที่น่าตะลึงของโมเดลเกมนอนโลคัล
คำอธิบายเกม CHSH
นี่คือคำอธิบายที่แม่นยำของเกม CHSH โดยที่ (เช่นเดียวกับข้างต้น) x x x คือคำถามของ Alice, y y y คือคำถามของ Bob, a a a คือคำตอบของ Alice และ b b b คือคำตอบของ Bob:
คำถามและคำตอบทั้งหมดเป็นบิต: x , y , a , b ∈ { 0 , 1 } . x,y,a,b\in\{0,1\}. x , y , a , b ∈ { 0 , 1 } .
กรรมการเลือกคำถาม ( x , y ) (x,y) ( x , y ) แบบสุ่มสม่ำเสมอ กล่าวคือ แต่ละความเป็นไปได้ทั้งสี่ คือ ( 0 , 0 ) , (0,0), ( 0 , 0 ) , ( 0 , 1 ) , (0,1), ( 0 , 1 ) , ( 1 , 0 ) , (1,0), ( 1 , 0 ) , และ ( 1 , 1 ) , (1,1), ( 1 , 1 ) , ถูกเลือกด้วยความน่าจะเป็น 1 / 4 1/4 1/4
คำตอบ ( a , b ) (a,b) ( a , b ) ชนะ สำหรับคำถาม ( x , y ) (x,y) ( x , y ) ถ้า a ⊕ b = x ∧ y a\oplus b = x\wedge y a ⊕ b = x ∧ y และ แพ้ ในกรณีอื่น ตารางต่อไปนี้แสดงกฎนี้โดยระบุเงื่อนไขชนะและแพ้ของคำตอบ ( a , b ) (a,b) ( a , b ) สำหรับแต่ละคู่คำถาม ( x , y ) (x,y) ( x , y )
( x , y ) win lose ( 0 , 0 ) a = b a ≠ b ( 0 , 1 ) a = b a ≠ b ( 1 , 0 ) a = b a ≠ b ( 1 , 1 ) a ≠ b a = b \begin{array}{ccc}
(x,y) & \text{win} & \text{lose} \\[1mm]\hline
\rule{0mm}{4mm}(0,0) & a = b & a \neq b \\[1mm]
(0,1) & a = b & a \neq b \\[1mm]
(1,0) & a = b & a \neq b \\[1mm]
(1,1) & a \neq b & a = b
\end{array} ( x , y ) ( 0 , 0 ) ( 0 , 1 ) ( 1 , 0 ) ( 1 , 1 ) win a = b a = b a = b a = b lose a = b a = b a = b a = b
ข้อจำกัดของกลยุทธ์แบบคลาสสิก
ตอนนี้ลองพิจารณากลยุทธ์สำหรับ Alice และ Bob ในเกม CHSH โดยเริ่มจากกลยุทธ์แบบ คลาสสิก
กลยุทธ์แบบดีเทอร์มินิสติก
เราจะเริ่มต้นด้วยกลยุทธ์แบบ ดีเทอร์มินิสติก ซึ่งคำตอบ a a a ของ Alice เป็นฟังก์ชันของคำถาม x x x ที่เธอได้รับ และเช่นเดียวกัน คำตอบ b b b ของ Bob เป็นฟังก์ชันของคำถาม y y y ที่เขาได้รับ
ดังนั้น เช่น เราอาจเขียน a ( 0 ) a(0) a ( 0 ) เพื่อแทนคำตอบของ Alice เมื่อคำถามของเธอคือ 0 , 0, 0 , และ a ( 1 ) a(1) a ( 1 ) เพื่อแทนคำตอบของ Alice เมื่อคำถามของเธอคือ 1 1 1
ไม่มีกลยุทธ์ดีเทอร์มินิสติกใดที่จะชนะเกม CHSH ได้ทุกครั้ง
วิธีหนึ่งในการให้เหตุผลคือเพียงไล่เรียงกลยุทธ์ดีเทอร์มินิสติกที่เป็นไปได้ทั้งหมดทีละอันและตรวจสอบว่าทุกกลยุทธ์แพ้สำหรับคู่คำถามอย่างน้อยหนึ่งคู่
Alice และ Bob ต่างสามารถเลือกได้จากฟังก์ชันที่เป็นไปได้สี่แบบจากหนึ่งบิตไปหนึ่งบิต — ซึ่งเราได้พบในบทเรียนแรกของคอร์ส — ดังนั้นมีกลยุทธ์ดีเทอร์มินิสติกทั้งหมด 16 16 16 แบบที่ต้องตรวจสอบ
เราสามารถให้เหตุผลนี้ได้ในเชิงวิเคราะห์ด้วย
ถ้ากลยุทธ์ของ Alice และ Bob ชนะเมื่อ ( x , y ) = ( 0 , 0 ) , (x,y) = (0,0), ( x , y ) = ( 0 , 0 ) , ก็จะต้องเป็นว่า a ( 0 ) = b ( 0 ) ; a(0) = b(0); a ( 0 ) = b ( 0 ) ;
ถ้ากลยุทธ์ชนะเมื่อ ( x , y ) = ( 0 , 1 ) , (x,y) = (0,1), ( x , y ) = ( 0 , 1 ) , ก็ a ( 0 ) = b ( 1 ) ; a(0) = b(1); a ( 0 ) = b ( 1 ) ; และเช่นเดียวกัน
ถ้ากลยุทธ์ชนะสำหรับ ( x , y ) = ( 1 , 0 ) (x,y)=(1,0) ( x , y ) = ( 1 , 0 ) ก็ a ( 1 ) = b ( 0 ) a(1) = b(0) a ( 1 ) = b ( 0 )
ดังนั้น ถ้ากลยุทธ์ชนะสำหรับสามความเป็นไปได้นี้ทั้งหมด ก็จะได้
b ( 1 ) = a ( 0 ) = b ( 0 ) = a ( 1 ) . b(1) = a(0) = b(0) = a(1). b ( 1 ) = a ( 0 ) = b ( 0 ) = a ( 1 ) .
สิ่งนี้หมายความว่ากลยุทธ์แพ้ในกรณีสุดท้าย ( x , y ) = ( 1 , 1 ) , (x,y) = (1,1), ( x , y ) = ( 1 , 1 ) , เพราะที่นี่การชนะต้องการให้
a ( 1 ) ≠ b ( 1 ) . a(1) \neq b(1). a ( 1 ) = b ( 1 ) .
ดังนั้นจึงไม่มีกลยุทธ์ดีเทอร์มินิสติกที่ชนะได้ทุกครั้ง
ในทางกลับกัน ง่ายที่จะหากลยุทธ์ดีเทอร์มินิสติกที่ชนะในสามจากสี่กรณี เช่น a ( 0 ) = a ( 1 ) = b ( 0 ) = b ( 1 ) = 0 a(0)=a(1)=b(0)=b(1)=0 a ( 0 ) = a ( 1 ) = b ( 0 ) = b ( 1 ) = 0
จากนี้เราสรุปได้ว่าความน่าจะเป็นสูงสุดที่ Alice และ Bob จะชนะโดยใช้กลยุทธ์ดีเทอร์มินิสติกคือ 3 / 4 3/4 3/4
กลยุทธ์แบบความน่าจะเป็น
ดังที่เราสรุปไปแล้ว Alice และ Bob ไม่สามารถทำได้ดีกว่าการชนะเกม CHSH 75% ของเวลาโดยใช้กลยุทธ์ดีเทอร์มินิสติก
แต่จะเป็นอย่างไรกับกลยุทธ์แบบความน่าจะเป็น?
การใช้ความสุ่มจะช่วย Alice และ Bob ได้ไหม — รวมถึงความเป็นไปได้ของ ความสุ่มร่วม (shared randomness) ซึ่งการเลือกแบบสุ่มของพวกเขามีความสัมพันธ์กัน?
ปรากฏว่ากลยุทธ์แบบความน่าจะเป็นไม่ได้ช่วยเพิ่มความน่าจะเป็นที่ Alice และ Bob จะชนะเลย
เป็นเพราะกลยุทธ์แบบความน่าจะเป็นทุกกลยุทธ์สามารถมองได้ว่าเป็นการเลือกกลยุทธ์ดีเทอร์มินิสติกแบบสุ่ม เช่นเดียวกับที่การดำเนินการแบบความน่าจะเป็นสามารถมองได้ว่าเป็นการเลือกการดำเนินการดีเทอร์มินิสติกแบบสุ่ม
ค่าเฉลี่ยไม่เคยมากกว่าค่าสูงสุด ดังนั้นจึงตามมาว่ากลยุทธ์แบบความน่าจะเป็นไม่ได้ให้ข้อได้เปรียบใด ๆ ในแง่ของความน่าจะเป็นชนะโดยรวม
ดังนั้น การชนะด้วยความน่าจะเป็น 3 / 4 3/4 3/4 คือสิ่งที่ดีที่สุดที่ Alice และ Bob ทำได้โดยใช้กลยุทธ์คลาสสิกใด ๆ ไม่ว่าจะเป็นแบบดีเทอร์มินิสติกหรือแบบความน่าจะเป็น
กลยุทธ์เกม CHSH
คำถามที่เป็นธรรมชาติ ณ จุดนี้คือ Alice และ Bob สามารถทำได้ดีกว่านี้โดยใช้กลยุทธ์แบบ ควอนตัม หรือไม่
โดยเฉพาะอย่างยิ่ง ถ้าพวกเขาแชร์สถานะควอนตัมที่พัวพันกันดังที่ภาพต่อไปนี้แสดง ซึ่งพวกเขาอาจเตรียมไว้ก่อนเล่นเกม พวกเขาสามารถเพิ่มความน่าจะเป็นชนะได้ไหม?
คำตอบคือใช่ และนี่คือจุดสำคัญของตัวอย่างและเหตุผลที่มันน่าสนใจมาก
ดังนั้นลองดูกันว่า Alice และ Bob สามารถทำได้ดีกว่าในเกมนี้โดยใช้การพัวพันได้อย่างไร
เวกเตอร์และเมทริกซ์ที่จำเป็น
สิ่งแรกที่ต้องทำคือกำหนดเวกเตอร์สถานะ Qubit ∣ ψ θ ⟩ , \vert \psi_{\theta}\rangle, ∣ ψ θ ⟩ , สำหรับจำนวนจริงแต่ละค่า
θ \theta θ (ซึ่งเราจะคิดว่าเป็นมุมที่วัดในหน่วยเรเดียน) ดังนี้
∣ ψ θ ⟩ = cos ( θ ) ∣ 0 ⟩ + sin ( θ ) ∣ 1 ⟩ \vert\psi_{\theta}\rangle = \cos(\theta)\vert 0\rangle + \sin(\theta) \vert 1\rangle ∣ ψ θ ⟩ = cos ( θ ) ∣0 ⟩ + sin ( θ ) ∣1 ⟩
นี่คือตัวอย่างง่าย ๆ บางส่วน:
∣ ψ 0 ⟩ = ∣ 0 ⟩ ∣ ψ π / 2 ⟩ = ∣ 1 ⟩ ∣ ψ π / 4 ⟩ = ∣ + ⟩ ∣ ψ − π / 4 ⟩ = ∣ − ⟩ \begin{aligned}
\vert\psi_{0}\rangle & = \vert 0\rangle \\
\vert\psi_{\pi/2}\rangle & = \vert 1\rangle \\
\vert\psi_{\pi/4}\rangle & = \vert + \rangle \\
\vert\psi_{-\pi/4}\rangle & = \vert - \rangle
\end{aligned} ∣ ψ 0 ⟩ ∣ ψ π /2 ⟩ ∣ ψ π /4 ⟩ ∣ ψ − π /4 ⟩ = ∣0 ⟩ = ∣1 ⟩ = ∣ + ⟩ = ∣ − ⟩
เรายังมีตัวอย่างต่อไปนี้ ซึ่งเกิดขึ้นในการวิเคราะห์ด้านล่าง:
∣ ψ − π / 8 ⟩ = 2 + 2 2 ∣ 0 ⟩ − 2 − 2 2 ∣ 1 ⟩ ∣ ψ π / 8 ⟩ = 2 + 2 2 ∣ 0 ⟩ + 2 − 2 2 ∣ 1 ⟩ ∣ ψ 3 π / 8 ⟩ = 2 − 2 2 ∣ 0 ⟩ + 2 + 2 2 ∣ 1 ⟩ ∣ ψ 5 π / 8 ⟩ = − 2 − 2 2 ∣ 0 ⟩ + 2 + 2 2 ∣ 1 ⟩ \begin{aligned}
\vert\psi_{-\pi/8}\rangle & = \frac{\sqrt{2 + \sqrt{2}}}{2}\vert 0\rangle -\frac{\sqrt{2 - \sqrt{2}}}{2}\vert 1\rangle \\[1mm]
\vert\psi_{\pi/8}\rangle & = \frac{\sqrt{2 + \sqrt{2}}}{2}\vert 0\rangle + \frac{\sqrt{2 - \sqrt{2}}}{2}\vert 1\rangle \\[1mm]
\vert\psi_{3\pi/8}\rangle & = \frac{\sqrt{2 - \sqrt{2}}}{2}\vert 0\rangle + \frac{\sqrt{2 + \sqrt{2}}}{2}\vert 1\rangle \\[1mm]
\vert\psi_{5\pi/8}\rangle & = -\frac{\sqrt{2 - \sqrt{2}}}{2}\vert 0\rangle + \frac{\sqrt{2 + \sqrt{2}}}{2}\vert 1\rangle
\end{aligned} ∣ ψ − π /8 ⟩ ∣ ψ π /8 ⟩ ∣ ψ 3 π /8 ⟩ ∣ ψ 5 π /8 ⟩ = 2 2 + 2 ∣0 ⟩ − 2 2 − 2 ∣1 ⟩ = 2 2 + 2 ∣0 ⟩ + 2 2 − 2 ∣1 ⟩ = 2 2 − 2 ∣0 ⟩ + 2 2 + 2 ∣1 ⟩ = − 2 2 − 2 ∣0 ⟩ + 2 2 + 2 ∣1 ⟩
เมื่อดูที่รูปแบบทั่วไป เราเห็นว่าผลคูณภายในระหว่างเวกเตอร์ใด ๆ สองตัวเหล่านี้มีสูตรดังนี้:
⟨ ψ α ∣ ψ β ⟩ = cos ( α ) cos ( β ) + sin ( α ) sin ( β ) = cos ( α − β ) . (1) \langle \psi_{\alpha} \vert \psi_{\beta} \rangle
= \cos(\alpha)\cos(\beta) + \sin(\alpha)\sin(\beta)
= \cos(\alpha-\beta).
\tag{1} ⟨ ψ α ∣ ψ β ⟩ = cos ( α ) cos ( β ) + sin ( α ) sin ( β ) = cos ( α − β ) . ( 1 )
ในรายละเอียด มีแต่รายการจำนวนจริงในเวกเตอร์เหล่านี้ ดังนั้นจึงไม่ต้องกังวลเรื่องคอนจูเกตเชิงซ้อน:
ผลคูณภายในคือผลคูณของโคไซน์บวกผลคูณของไซน์
การใช้หนึ่งใน สูตรบวกมุม จากตรีโกณมิติทำให้ได้การลดรูปข้างต้น
สูตรนี้เปิดเผยการตีความทางเรขาคณิตของผลคูณภายในระหว่างเวกเตอร์หน่วยจริงว่าเป็นโคไซน์ของมุมระหว่างพวกมัน
ถ้าเราคำนวณผลคูณภายในของ ผลคูณเทนเซอร์ (tensor product) ของเวกเตอร์สองตัวใด ๆ เหล่านี้กับสถานะ ∣ ϕ + ⟩ \vert \phi^+\rangle ∣ ϕ + ⟩ เราจะได้นิพจน์ที่คล้ายกัน ยกเว้นว่ามีตัวหาร 2 \sqrt{2} 2 :
⟨ ψ α ⊗ ψ β ∣ ϕ + ⟩ = cos ( α ) cos ( β ) + sin ( α ) sin ( β ) 2 = cos ( α − β ) 2 . (2) \langle \psi_{\alpha} \otimes \psi_{\beta} \vert \phi^+ \rangle
= \frac{\cos(\alpha)\cos(\beta) + \sin(\alpha)\sin(\beta)}{\sqrt{2}}
= \frac{\cos(\alpha-\beta)}{\sqrt{2}}.
\tag{2} ⟨ ψ α ⊗ ψ β ∣ ϕ + ⟩ = 2 cos ( α ) cos ( β ) + sin ( α ) sin ( β ) = 2 cos ( α − β ) . ( 2 )
ความสนใจของเราในผลคูณภายในโดยเฉพาะนี้จะชัดเจนในไม่ช้า แต่สำหรับตอนนี้เราเพียงสังเกตสิ่งนี้เป็นสูตร
ต่อไป กำหนดเมทริกซ์ยูนิทารี U θ U_{\theta} U θ สำหรับแต่ละมุม θ \theta θ ดังนี้
U θ = ∣ 0 ⟩ ⟨ ψ θ ∣ + ∣ 1 ⟩ ⟨ ψ θ + π / 2 ∣ U_{\theta} = \vert 0 \rangle \langle \psi_{\theta} \vert + \vert 1\rangle\langle \psi_{\theta+\pi/2} \vert U θ = ∣0 ⟩ ⟨ ψ θ ∣ + ∣1 ⟩ ⟨ ψ θ + π /2 ∣
โดยสัญชาตญาณ เมทริกซ์นี้แปลง ∣ ψ θ ⟩ \vert\psi_{\theta}\rangle ∣ ψ θ ⟩ เป็น ∣ 0 ⟩ \vert 0\rangle ∣0 ⟩ และ ∣ ψ θ + π / 2 ⟩ \vert \psi_{\theta + \pi/2}\rangle ∣ ψ θ + π /2 ⟩ เป็น ∣ 1 ⟩ \vert 1\rangle ∣1 ⟩
เพื่อตรวจสอบว่านี่เป็นเมทริกซ์ยูนิทารี การสังเกตสำคัญคือเวกเตอร์ ∣ ψ θ ⟩ \vert\psi_{\theta}\rangle ∣ ψ θ ⟩ และ ∣ ψ θ + π / 2 ⟩ \vert\psi_{\theta + \pi/2}\rangle ∣ ψ θ + π /2 ⟩ ตั้งฉากกันสำหรับทุกมุม θ \theta θ :
⟨ ψ θ ∣ ψ θ + π / 2 ⟩ = cos ( π / 2 ) = 0. \langle \psi_{\theta} \vert \psi_{\theta + \pi/2} \rangle = \cos(\pi/2) = 0. ⟨ ψ θ ∣ ψ θ + π /2 ⟩ = cos ( π /2 ) = 0.
ดังนั้น เราพบว่า
U θ U θ † = ( ∣ 0 ⟩ ⟨ ψ θ ∣ + ∣ 1 ⟩ ⟨ ψ θ + π / 2 ∣ ) ( ∣ ψ θ ⟩ ⟨ 0 ∣ + ∣ ψ θ + π / 2 ⟩ ⟨ 1 ∣ ) = ∣ 0 ⟩ ⟨ ψ θ ∣ ψ θ ⟩ ⟨ 0 ∣ + ∣ 0 ⟩ ⟨ ψ θ ∣ ψ θ + π / 2 ⟩ ⟨ 1 ∣ + ∣ 1 ⟩ ⟨ ψ θ + π / 2 ∣ ψ θ ⟩ ⟨ 0 ∣ + ∣ 1 ⟩ ⟨ ψ θ + π / 2 ∣ ψ θ + π / 2 ⟩ ⟨ 1 ∣ = ∣ 0 ⟩ ⟨ 0 ∣ + ∣ 1 ⟩ ⟨ 1 ∣ = I . \begin{aligned}
U_{\theta} U_{\theta}^{\dagger}
& = \bigl(\vert 0 \rangle \langle \psi_{\theta} \vert + \vert 1\rangle\langle \psi_{\theta+\pi/2} \vert\bigr)
\bigl(\vert \psi_{\theta} \rangle \langle 0 \vert + \vert \psi_{\theta+\pi/2}\rangle\langle 1 \vert\bigr) \\[1mm]
& =
\vert 0 \rangle \langle \psi_{\theta} \vert \psi_{\theta} \rangle \langle 0 \vert
+ \vert 0 \rangle \langle \psi_{\theta} \vert \psi_{\theta+\pi/2} \rangle \langle 1 \vert
+ \vert 1 \rangle \langle \psi_{\theta+\pi/2} \vert \psi_{\theta} \rangle \langle 0 \vert
+ \vert 1 \rangle \langle \psi_{\theta+\pi/2} \vert \psi_{\theta+\pi/2} \rangle \langle 1 \vert \\[1mm]
& =
\vert 0 \rangle \langle 0 \vert + \vert 1 \rangle \langle 1 \vert\\[1mm]
& = \mathbb{I}.
\end{aligned} U θ U θ † = ( ∣0 ⟩ ⟨ ψ θ ∣ + ∣1 ⟩ ⟨ ψ θ + π /2 ∣ ) ( ∣ ψ θ ⟩ ⟨ 0∣ + ∣ ψ θ + π /2 ⟩ ⟨ 1∣ ) = ∣0 ⟩ ⟨ ψ θ ∣ ψ θ ⟩ ⟨ 0∣ + ∣0 ⟩ ⟨ ψ θ ∣ ψ θ + π /2 ⟩ ⟨ 1∣ + ∣1 ⟩ ⟨ ψ θ + π /2 ∣ ψ θ ⟩ ⟨ 0∣ + ∣1 ⟩ ⟨ ψ θ + π /2 ∣ ψ θ + π /2 ⟩ ⟨ 1∣ = ∣0 ⟩ ⟨ 0∣ + ∣1 ⟩ ⟨ 1∣ = I .
เราอาจเขียนเมทริกซ์นี้อย่างชัดเจนได้ว่า
U θ = ( cos ( θ ) sin ( θ ) cos ( θ + π / 2 ) sin ( θ + π / 2 ) ) = ( cos ( θ ) sin ( θ ) − sin ( θ ) cos ( θ ) ) . U_{\theta}
= \begin{pmatrix}
\cos(\theta) & \sin(\theta)\\[1mm]
\cos(\theta+ \pi/2) & \sin(\theta + \pi/2)
\end{pmatrix}
= \begin{pmatrix}
\cos(\theta) & \sin(\theta)\\[1mm]
-\sin(\theta) & \cos(\theta)
\end{pmatrix}. U θ = ( cos ( θ ) cos ( θ + π /2 ) sin ( θ ) sin ( θ + π /2 ) ) = ( cos ( θ ) − sin ( θ ) sin ( θ ) cos ( θ ) ) .
นี่คือตัวอย่างของ เมทริกซ์การหมุน (rotation matrix) และโดยเฉพาะอย่างยิ่งมันหมุนเวกเตอร์สองมิติที่มีรายการจำนวนจริงด้วยมุม − θ -\theta − θ รอบจุดกำเนิด
ถ้าเราใช้แบบแผนมาตรฐานสำหรับการตั้งชื่อและการกำหนดพารามิเตอร์ของการหมุนในรูปแบบต่าง ๆ เราจะได้
U θ = R y ( − 2 θ ) U_{\theta} = R_y(-2\theta) U θ = R y ( − 2 θ ) โดยที่
R y ( θ ) = ( cos ( θ / 2 ) − sin ( θ / 2 ) sin ( θ / 2 ) cos ( θ / 2 ) ) . R_y(\theta) = \begin{pmatrix}
\cos(\theta/2) & -\sin(\theta/2)\\[1mm]
\sin(\theta/2) & \cos(\theta/2)
\end{pmatrix}. R y ( θ ) = ( cos ( θ /2 ) sin ( θ /2 ) − sin ( θ /2 ) cos ( θ /2 ) ) .
คำอธิบายกลยุทธ์
ตอนนี้เราสามารถอธิบายกลยุทธ์ควอนตัมได้
การเตรียมตัว: Alice และ Bob เริ่มเกมโดยแชร์ e-bit: Alice ถือ Qubit A , \mathsf{A}, A , Bob ถือ Qubit B , \mathsf{B}, B , และ Qubit ทั้งสอง ( A , B ) (\mathsf{A},\mathsf{B}) ( A , B ) รวมกันอยู่ในสถานะ ∣ ϕ + ⟩ \vert\phi^+\rangle ∣ ϕ + ⟩
การกระทำของ Alice:
ถ้า Alice ได้รับคำถาม x = 0 , x=0, x = 0 , เธอใช้ U 0 U_{0} U 0 กับ Qubit A \mathsf{A} A ของเธอ
ถ้า Alice ได้รับคำถาม x = 1 , x=1, x = 1 , เธอใช้ U π / 4 U_{\pi/4} U π /4 กับ Qubit A \mathsf{A} A ของเธอ
การดำเนินการที่ Alice ทำกับ A \mathsf{A} A อาจอธิบายได้ดังนี้:
{ U 0 if x = 0 U π / 4 if x = 1 \begin{cases}
U_0 & \text{if $x = 0$}\\
U_{\pi/4} & \text{if $x = 1$}
\end{cases} { U 0 U π /4 if x = 0 if x = 1
หลังจาก Alice ใช้การดำเนินการนี้แล้ว เธอวัด A \mathsf{A} A ด้วยการวัดบนฐานมาตรฐานและตั้งคำตอบ a a a ของเธอให้เป็นผลการวัด
การกระทำของ Bob:
ถ้า Bob ได้รับคำถาม y = 0 , y=0, y = 0 , เขาใช้ U π / 8 U_{\pi/8} U π /8 กับ Qubit B \mathsf{B} B ของเขา
ถ้า Bob ได้รับคำถาม y = 1 , y=1, y = 1 , เขาใช้ U − π / 8 U_{-\pi/8} U − π /8 กับ Qubit B \mathsf{B} B ของเขา
เช่นเดียวกับที่เราทำสำหรับ Alice เราสามารถแสดงการดำเนินการของ Bob กับ B \mathsf{B} B ได้ดังนี้:
{ U π / 8 if y = 0 U − π / 8 if y = 1 \begin{cases}
U_{\pi/8} & \text{if $y = 0$}\\
U_{-\pi/8} & \text{if $y = 1$}
\end{cases} { U π /8 U − π /8 if y = 0 if y = 1
หลังจาก Bob ใช้การดำเนินการนี้แล้ว เขาวัด B \mathsf{B} B ด้วยการวัดบนฐานมาตรฐานและตั้งคำตอบ b b b ของเขาให้เป็นผลการวัด
นี่คือแผนภาพ Circuit ควอนตัมที่อธิบายกลยุทธ์นี้:
ในแผนภาพนี้เราเห็น controlled gate ธรรมดาสองอัน อันหนึ่งสำหรับ U − π / 8 U_{-\pi/8} U − π /8 ด้านบนและอีกอันสำหรับ U π / 4 U_{\pi/4} U π /4 ด้านล่าง
เรายังมี Gate สองอันที่ดูเหมือน controlled gate อันหนึ่งสำหรับ U π / 8 U_{\pi/8} U π /8 ด้านบนและอีกอันสำหรับ U 0 U_{0} U 0 ด้านล่าง ยกเว้นว่าวงกลมที่แทนการควบคุมไม่ถูกเติมสี
สิ่งนี้แสดงถึง controlled gate ประเภทต่างออกไป ซึ่ง Gate จะถูกดำเนินการเมื่อการควบคุมถูกตั้งเป็น 0 0 0 (แทนที่จะเป็น 1 1 1 เหมือน controlled gate ธรรมดา)
ดังนั้น Bob จึงดำเนินการ U π / 8 U_{\pi/8} U π /8 กับ Qubit ของเขาถ้า y = 0 y=0 y = 0 และ U − π / 8 U_{-\pi/8} U − π /8 ถ้า y = 1 y=1 y = 1
และ Alice ดำเนินการ U 0 U_0 U 0 กับ Qubit ของเธอถ้า x = 0 x=0 x = 0 และ U π / 4 U_{\pi/4} U π /4 ถ้า x = 1 x=1 x = 1 ซึ่งสอดคล้องกับคำอธิบายโปรโตคอลเป็นคำพูดข้างต้น
สิ่งที่เหลือคือการคิดออกว่ากลยุทธ์นี้สำหรับ Alice และ Bob ทำงานได้ดีแค่ไหน
เราจะทำสิ่งนี้โดยผ่านคู่คำถามที่เป็นไปได้ทั้งสี่คู่ทีละอัน
การวิเคราะห์รายกรณี
กรณีที่ 1: ( x , y ) = ( 0 , 0 ) . (x,y) = (0,0). ( x , y ) = ( 0 , 0 ) .
ในกรณีนี้ Alice ทำ U 0 U_{0} U 0 กับ Qubit ของตัวเอง และ Bob ทำ U π / 8 U_{\pi/8} U π /8 กับ Qubit ของตัวเอง ดังนั้นสถานะของ Qubit ทั้งสอง ( A , B ) (\mathsf{A},\mathsf{B}) ( A , B ) หลังจากที่พวกเขาทำการดำเนินการแล้วคือ
( U 0 ⊗ U π / 8 ) ∣ ϕ + ⟩ = ∣ 00 ⟩ ⟨ ψ 0 ⊗ ψ π / 8 ∣ ϕ + ⟩ + ∣ 01 ⟩ ⟨ ψ 0 ⊗ ψ 5 π / 8 ∣ ϕ + ⟩ + ∣ 10 ⟩ ⟨ ψ π / 2 ⊗ ψ π / 8 ∣ ϕ + ⟩ + ∣ 11 ⟩ ⟨ ψ π / 2 ⊗ ψ 5 π / 8 ∣ ϕ + ⟩ = cos ( − π 8 ) ∣ 00 ⟩ + cos ( − 5 π 8 ) ∣ 01 ⟩ + cos ( 3 π 8 ) ∣ 10 ⟩ + cos ( − π 8 ) ∣ 11 ⟩ 2 . \begin{aligned}
\bigl(U_0 \otimes U_{\pi/8}\bigr) \vert \phi^+\rangle
& =
\vert 00 \rangle \langle \psi_0 \otimes \psi_{\pi/8}\vert \phi^+\rangle
+ \vert 01 \rangle \langle \psi_0 \otimes\psi_{5\pi/8}\vert \phi^+\rangle \\
& \qquad + \vert 10 \rangle \langle \psi_{\pi/2} \otimes \psi_{\pi/8}\vert \phi^+\rangle
+ \vert 11 \rangle \langle \psi_{\pi/2} \otimes \psi_{5\pi/8}\vert \phi^+\rangle\\[2mm]
& = \frac{
\cos\bigl(-\frac{\pi}{8}\bigr) \vert 00\rangle
+ \cos\bigl(-\frac{5\pi}{8}\bigr) \vert 01\rangle
+ \cos\bigl(\frac{3\pi}{8}\bigr) \vert 10\rangle
+ \cos\bigl(-\frac{\pi}{8}\bigr) \vert 11\rangle}{\sqrt{2}}.
\end{aligned} ( U 0 ⊗ U π /8 ) ∣ ϕ + ⟩ = ∣00 ⟩ ⟨ ψ 0 ⊗ ψ π /8 ∣ ϕ + ⟩ + ∣01 ⟩ ⟨ ψ 0 ⊗ ψ 5 π /8 ∣ ϕ + ⟩ + ∣10 ⟩ ⟨ ψ π /2 ⊗ ψ π /8 ∣ ϕ + ⟩ + ∣11 ⟩ ⟨ ψ π /2 ⊗ ψ 5 π /8 ∣ ϕ + ⟩ = 2 cos ( − 8 π ) ∣00 ⟩ + cos ( − 8 5 π ) ∣01 ⟩ + cos ( 8 3 π ) ∣10 ⟩ + cos ( − 8 π ) ∣11 ⟩ .
ความน่าจะเป็นสำหรับคู่คำตอบที่เป็นไปได้ทั้งสี่ ( a , b ) (a,b) ( a , b ) จึงเป็นดังนี้
Pr ( ( a , b ) = ( 0 , 0 ) ) = 1 2 cos 2 ( − π 8 ) = 2 + 2 8 Pr ( ( a , b ) = ( 0 , 1 ) ) = 1 2 cos 2 ( − 5 π 8 ) = 2 − 2 8 Pr ( ( a , b ) = ( 1 , 0 ) ) = 1 2 cos 2 ( 3 π 8 ) = 2 − 2 8 Pr ( ( a , b ) = ( 1 , 1 ) ) = 1 2 cos 2 ( − π 8 ) = 2 + 2 8 \begin{aligned}
\operatorname{Pr}\bigl((a,b)=(0,0)\bigr) & = \frac{1}{2}\cos^2\Bigl(-\frac{\pi}{8}\Bigr) = \frac{2+\sqrt{2}}{8} \\[2mm]
\operatorname{Pr}\bigl((a,b)=(0,1)\bigr) & = \frac{1}{2}\cos^2\Bigl(-\frac{5\pi}{8}\Bigr) = \frac{2-\sqrt{2}}{8}\\[2mm]
\operatorname{Pr}\bigl((a,b)=(1,0)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{3\pi}{8}\Bigr) = \frac{2-\sqrt{2}}{8}\\[2mm]
\operatorname{Pr}\bigl((a,b)=(1,1)\bigr) & = \frac{1}{2}\cos^2\Bigl(-\frac{\pi}{8}\Bigr) = \frac{2+\sqrt{2}}{8}
\end{aligned} Pr ( ( a , b ) = ( 0 , 0 ) ) Pr ( ( a , b ) = ( 0 , 1 ) ) Pr ( ( a , b ) = ( 1 , 0 ) ) Pr ( ( a , b ) = ( 1 , 1 ) ) = 2 1 cos 2 ( − 8 π ) = 8 2 + 2 = 2 1 cos 2 ( − 8 5 π ) = 8 2 − 2 = 2 1 cos 2 ( 8 3 π ) = 8 2 − 2 = 2 1 cos 2 ( − 8 π ) = 8 2 + 2
จากนั้นเราสามารถหาความน่าจะเป็นที่ a = b a=b a = b และ a ≠ b a\neq b a = b ได้โดยการบวกรวม
Pr ( a = b ) = 2 + 2 4 Pr ( a ≠ b ) = 2 − 2 4 \begin{aligned}
\operatorname{Pr}(a = b) & = \frac{2 + \sqrt{2}}{4}\\[2mm]
\operatorname{Pr}(a \neq b) & = \frac{2 - \sqrt{2}}{4}
\end{aligned} Pr ( a = b ) Pr ( a = b ) = 4 2 + 2 = 4 2 − 2
สำหรับคู่คำถาม ( 0 , 0 ) , (0,0), ( 0 , 0 ) , Alice และ Bob ชนะถ้า a = b a=b a = b ดังนั้นในกรณีนี้พวกเขาชนะด้วยความน่าจะเป็น
2 + 2 4 . \frac{2 + \sqrt{2}}{4}. 4 2 + 2 .
กรณีที่ 2: ( x , y ) = ( 0 , 1 ) . (x,y) = (0,1). ( x , y ) = ( 0 , 1 ) .
ในกรณีนี้ Alice ทำ U 0 U_{0} U 0 กับ Qubit ของตัวเอง และ Bob ทำ U − π / 8 U_{-\pi/8} U − π /8 กับ Qubit ของตัวเอง ดังนั้นสถานะของ Qubit ทั้งสอง ( A , B ) (\mathsf{A},\mathsf{B}) ( A , B ) หลังจากที่พวกเขาทำการดำเนินการแล้วคือ
( U 0 ⊗ U − π / 8 ) ∣ ϕ + ⟩ = ∣ 00 ⟩ ⟨ ψ 0 ⊗ ψ − π / 8 ∣ ϕ + ⟩ + ∣ 01 ⟩ ⟨ ψ 0 ⊗ ψ 3 π / 8 ∣ ϕ + ⟩ + ∣ 10 ⟩ ⟨ ψ π / 2 ⊗ ψ − π / 8 ∣ ϕ + ⟩ + ∣ 11 ⟩ ⟨ ψ π / 2 ⊗ ψ 3 π / 8 ∣ ϕ + ⟩ = cos ( π 8 ) ∣ 00 ⟩ + cos ( − 3 π 8 ) ∣ 01 ⟩ + cos ( 5 π 8 ) ∣ 10 ⟩ + cos ( π 8 ) ∣ 11 ⟩ 2 . \begin{aligned}
\bigl(U_0 \otimes U_{-\pi/8}\bigr) \vert \phi^+\rangle
& =
\vert 00 \rangle \langle \psi_0 \otimes \psi_{-\pi/8}\vert \phi^+\rangle
+ \vert 01 \rangle \langle \psi_0 \otimes\psi_{3\pi/8}\vert \phi^+\rangle \\
& \qquad + \vert 10 \rangle \langle \psi_{\pi/2} \otimes \psi_{-\pi/8}\vert \phi^+\rangle
+ \vert 11 \rangle \langle \psi_{\pi/2} \otimes \psi_{3\pi/8}\vert \phi^+\rangle\\[2mm]
& = \frac{
\cos\bigl(\frac{\pi}{8}\bigr) \vert 00\rangle
+ \cos\bigl(-\frac{3\pi}{8}\bigr) \vert 01\rangle
+ \cos\bigl(\frac{5\pi}{8}\bigr) \vert 10\rangle
+ \cos\bigl(\frac{\pi}{8}\bigr) \vert 11\rangle}{\sqrt{2}}.
\end{aligned} ( U 0 ⊗ U − π /8 ) ∣ ϕ + ⟩ = ∣00 ⟩ ⟨ ψ 0 ⊗ ψ − π /8 ∣ ϕ + ⟩ + ∣01 ⟩ ⟨ ψ 0 ⊗ ψ 3 π /8 ∣ ϕ + ⟩ + ∣10 ⟩ ⟨ ψ π /2 ⊗ ψ − π /8 ∣ ϕ + ⟩ + ∣11 ⟩ ⟨ ψ π /2 ⊗ ψ 3 π /8 ∣ ϕ + ⟩ = 2 cos ( 8 π ) ∣00 ⟩ + cos ( − 8 3 π ) ∣01 ⟩ + cos ( 8 5 π ) ∣10 ⟩ + cos ( 8 π ) ∣11 ⟩ .
ความน่าจะเป็นสำหรับคู่คำตอบที่เป็นไปได้ทั้งสี่ ( a , b ) (a,b) ( a , b ) จึงเป็นดังนี้
Pr ( ( a , b ) = ( 0 , 0 ) ) = 1 2 cos 2 ( π 8 ) = 2 + 2 8 Pr ( ( a , b ) = ( 0 , 1 ) ) = 1 2 cos 2 ( − 3 π 8 ) = 2 − 2 8 Pr ( ( a , b ) = ( 1 , 0 ) ) = 1 2 cos 2 ( 5 π 8 ) = 2 − 2 8 Pr ( ( a , b ) = ( 1 , 1 ) ) = 1 2 cos 2 ( π 8 ) = 2 + 2 8 \begin{aligned}
\operatorname{Pr}\bigl((a,b)=(0,0)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2+\sqrt{2}}{8} \\[2mm]
\operatorname{Pr}\bigl((a,b)=(0,1)\bigr) & = \frac{1}{2}\cos^2\Bigl(-\frac{3\pi}{8}\Bigr) = \frac{2-\sqrt{2}}{8}\\[2mm]
\operatorname{Pr}\bigl((a,b)=(1,0)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{5\pi}{8}\Bigr) = \frac{2-\sqrt{2}}{8}\\[2mm]
\operatorname{Pr}\bigl((a,b)=(1,1)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2+\sqrt{2}}{8}
\end{aligned} Pr ( ( a , b ) = ( 0 , 0 ) ) Pr ( ( a , b ) = ( 0 , 1 ) ) Pr ( ( a , b ) = ( 1 , 0 ) ) Pr ( ( a , b ) = ( 1 , 1 ) ) = 2 1 cos 2 ( 8 π ) = 8 2 + 2 = 2 1 cos 2 ( − 8 3 π ) = 8 2 − 2 = 2 1 cos 2 ( 8 5 π ) = 8 2 − 2 = 2 1 cos 2 ( 8 π ) = 8 2 + 2
อีกครั้ง เราสามารถหาความน่าจะเป็นที่ a = b a=b a = b และ a ≠ b a\neq b a = b ได้โดยการบวกรวม
Pr ( a = b ) = 2 + 2 4 Pr ( a ≠ b ) = 2 − 2 4 \begin{aligned}
\operatorname{Pr}(a = b) & = \frac{2 + \sqrt{2}}{4}\\[2mm]
\operatorname{Pr}(a \neq b) & = \frac{2 - \sqrt{2}}{4}
\end{aligned} Pr ( a = b ) Pr ( a = b ) = 4 2 + 2 = 4 2 − 2
สำหรับคู่คำถาม ( 0 , 1 ) , (0,1), ( 0 , 1 ) , Alice และ Bob ชนะถ้า a = b a=b a = b ดังนั้นในกรณีนี้พวกเขาชนะด้วยความน่าจะเป็น
2 + 2 4 . \frac{2 + \sqrt{2}}{4}. 4 2 + 2 .
กรณีที่ 3: ( x , y ) = ( 1 , 0 ) . (x,y) = (1,0). ( x , y ) = ( 1 , 0 ) .
ในกรณีนี้ Alice ทำ U π / 4 U_{\pi/4} U π /4 กับ Qubit ของตัวเอง และ Bob ทำ U π / 8 U_{\pi/8} U π /8 กับ Qubit ของตัวเอง ดังนั้นสถานะของ Qubit ทั้งสอง ( A , B ) (\mathsf{A},\mathsf{B}) ( A , B ) หลังจากที่พวกเขาทำการดำเนินการแล้วคือ
( U π / 4 ⊗ U π / 8 ) ∣ ϕ + ⟩ = ∣ 00 ⟩ ⟨ ψ π / 4 ⊗ ψ π / 8 ∣ ϕ + ⟩ + ∣ 01 ⟩ ⟨ ψ π / 4 ⊗ ψ 5 π / 8 ∣ ϕ + ⟩ + ∣ 10 ⟩ ⟨ ψ 3 π / 4 ⊗ ψ π / 8 ∣ ϕ + ⟩ + ∣ 11 ⟩ ⟨ ψ 3 π / 4 ⊗ ψ 5 π / 8 ∣ ϕ + ⟩ = cos ( π 8 ) ∣ 00 ⟩ + cos ( − 3 π 8 ) ∣ 01 ⟩ + cos ( 5 π 8 ) ∣ 10 ⟩ + cos ( π 8 ) ∣ 11 ⟩ 2 . \begin{aligned}
\bigl(U_{\pi/4} \otimes U_{\pi/8}\bigr) \vert \phi^+\rangle
& =
\vert 00 \rangle \langle \psi_{\pi/4} \otimes \psi_{\pi/8}\vert \phi^+\rangle
+ \vert 01 \rangle \langle \psi_{\pi/4} \otimes\psi_{5\pi/8}\vert \phi^+\rangle \\
& \qquad + \vert 10 \rangle \langle \psi_{3\pi/4} \otimes \psi_{\pi/8}\vert \phi^+\rangle
+ \vert 11 \rangle \langle \psi_{3\pi/4} \otimes \psi_{5\pi/8}\vert \phi^+\rangle\\[2mm]
& = \frac{
\cos\bigl(\frac{\pi}{8}\bigr) \vert 00\rangle
+ \cos\bigl(-\frac{3\pi}{8}\bigr) \vert 01\rangle
+ \cos\bigl(\frac{5\pi}{8}\bigr) \vert 10\rangle
+ \cos\bigl(\frac{\pi}{8}\bigr) \vert 11\rangle}{\sqrt{2}}.
\end{aligned} ( U π /4 ⊗ U π /8 ) ∣ ϕ + ⟩ = ∣00 ⟩ ⟨ ψ π /4 ⊗ ψ π /8 ∣ ϕ + ⟩ + ∣01 ⟩ ⟨ ψ π /4 ⊗ ψ 5 π /8 ∣ ϕ + ⟩ + ∣10 ⟩ ⟨ ψ 3 π /4 ⊗ ψ π /8 ∣ ϕ + ⟩ + ∣11 ⟩ ⟨ ψ 3 π /4 ⊗ ψ 5 π /8 ∣ ϕ + ⟩ = 2 cos ( 8 π ) ∣00 ⟩ + cos ( − 8 3 π ) ∣01 ⟩ + cos ( 8 5 π ) ∣10 ⟩ + cos ( 8 π ) ∣11 ⟩ .
ความน่าจะเป็นสำหรับคู่คำตอบที่เป็นไปได้ทั้งสี่ ( a , b ) (a,b) ( a , b ) จึงเป็นดังนี้
Pr ( ( a , b ) = ( 0 , 0 ) ) = 1 2 cos 2 ( π 8 ) = 2 + 2 8 Pr ( ( a , b ) = ( 0 , 1 ) ) = 1 2 cos 2 ( − 3 π 8 ) = 2 − 2 8 Pr ( ( a , b ) = ( 1 , 0 ) ) = 1 2 cos 2 ( 5 π 8 ) = 2 − 2 8 Pr ( ( a , b ) = ( 1 , 1 ) ) = 1 2 cos 2 ( π 8 ) = 2 + 2 8 \begin{aligned}
\operatorname{Pr}\bigl((a,b)=(0,0)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2+\sqrt{2}}{8} \\[2mm]
\operatorname{Pr}\bigl((a,b)=(0,1)\bigr) & = \frac{1}{2}\cos^2\Bigl(-\frac{3\pi}{8}\Bigr) = \frac{2-\sqrt{2}}{8}\\[2mm]
\operatorname{Pr}\bigl((a,b)=(1,0)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{5\pi}{8}\Bigr) = \frac{2-\sqrt{2}}{8}\\[2mm]
\operatorname{Pr}\bigl((a,b)=(1,1)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2+\sqrt{2}}{8}
\end{aligned} Pr ( ( a , b ) = ( 0 , 0 ) ) Pr ( ( a , b ) = ( 0 , 1 ) ) Pr ( ( a , b ) = ( 1 , 0 ) ) Pr ( ( a , b ) = ( 1 , 1 ) ) = 2 1 cos 2 ( 8 π ) = 8 2 + 2 = 2 1 cos 2 ( − 8 3 π ) = 8 2 − 2 = 2 1 cos 2 ( 8 5 π ) = 8 2 − 2 = 2 1 cos 2 ( 8 π ) = 8 2 + 2
เราพบอีกครั้งว่าความน่าจะเป็นที่ a = b a=b a = b และ a ≠ b a\neq b a = b เป็นดังนี้
Pr ( a = b ) = 2 + 2 4 Pr ( a ≠ b ) = 2 − 2 4 \begin{aligned}
\operatorname{Pr}(a = b) & = \frac{2 + \sqrt{2}}{4}\\[2mm]
\operatorname{Pr}(a \neq b) & = \frac{2 - \sqrt{2}}{4}
\end{aligned} Pr ( a = b ) Pr ( a = b ) = 4 2 + 2 = 4 2 − 2
สำหรับคู่คำถาม ( 1 , 0 ) , (1,0), ( 1 , 0 ) , Alice และ Bob ชนะถ้า a = b a=b a = b ดังนั้นในกรณีนี้พวกเขาชนะด้วยความน่าจะเป็น
2 + 2 4 . \frac{2 + \sqrt{2}}{4}. 4 2 + 2 .
กรณีที่ 4: ( x , y ) = ( 1 , 1 ) . (x,y) = (1,1). ( x , y ) = ( 1 , 1 ) .
กรณีสุดท้ายนี้แตกต่างออกไปเล็กน้อย ซึ่งก็คาดได้เพราะเงื่อนไขการชนะในกรณีนี้ต่างกัน เมื่อ x x x และ y y y เป็น 1 1 1 ทั้งคู่ Alice และ Bob ชนะเมื่อ a a a และ b b b แตกต่างกัน ในกรณีนี้ Alice ทำ U π / 4 U_{\pi/4} U π /4 กับ Qubit ของตัวเอง และ Bob ทำ U − π / 8 U_{-\pi/8} U − π /8 กับ Qubit ของตัวเอง ดังนั้นสถานะของ Qubit ทั้งสอง ( A , B ) (\mathsf{A},\mathsf{B}) ( A , B ) หลังจากที่พวกเขาทำการดำเนินการแล้วคือ
( U π / 4 ⊗ U − π / 8 ) ∣ ϕ + ⟩ = ∣ 00 ⟩ ⟨ ψ π / 4 ⊗ ψ − π / 8 ∣ ϕ + ⟩ + ∣ 01 ⟩ ⟨ ψ π / 4 ⊗ ψ 3 π / 8 ∣ ϕ + ⟩ + ∣ 10 ⟩ ⟨ ψ 3 π / 4 ⊗ ψ − π / 8 ∣ ϕ + ⟩ + ∣ 11 ⟩ ⟨ ψ 3 π / 4 ⊗ ψ 3 π / 8 ∣ ϕ + ⟩ = cos ( 3 π 8 ) ∣ 00 ⟩ + cos ( − π 8 ) ∣ 01 ⟩ + cos ( 7 π 8 ) ∣ 10 ⟩ + cos ( 3 π 8 ) ∣ 11 ⟩ 2 . \begin{aligned}
\bigl(U_{\pi/4} \otimes U_{-\pi/8}\bigr) \vert \phi^+\rangle
& =
\vert 00 \rangle \langle \psi_{\pi/4} \otimes \psi_{-\pi/8}\vert \phi^+\rangle
+ \vert 01 \rangle \langle \psi_{\pi/4} \otimes\psi_{3\pi/8}\vert \phi^+\rangle \\
& \qquad + \vert 10 \rangle \langle \psi_{3\pi/4} \otimes \psi_{-\pi/8}\vert \phi^+\rangle
+ \vert 11 \rangle \langle \psi_{3\pi/4} \otimes \psi_{3\pi/8}\vert \phi^+\rangle\\[2mm]
& = \frac{
\cos\bigl(\frac{3\pi}{8}\bigr) \vert 00\rangle
+ \cos\bigl(-\frac{\pi}{8}\bigr) \vert 01\rangle
+ \cos\bigl(\frac{7\pi}{8}\bigr) \vert 10\rangle
+ \cos\bigl(\frac{3\pi}{8}\bigr) \vert 11\rangle}{\sqrt{2}}.
\end{aligned} ( U π /4 ⊗ U − π /8 ) ∣ ϕ + ⟩ = ∣00 ⟩ ⟨ ψ π /4 ⊗ ψ − π /8 ∣ ϕ + ⟩ + ∣01 ⟩ ⟨ ψ π /4 ⊗ ψ 3 π /8 ∣ ϕ + ⟩ + ∣10 ⟩ ⟨ ψ 3 π /4 ⊗ ψ − π /8 ∣ ϕ + ⟩ + ∣11 ⟩ ⟨ ψ 3 π /4 ⊗ ψ 3 π /8 ∣ ϕ + ⟩ = 2 cos ( 8 3 π ) ∣00 ⟩ + cos ( − 8 π ) ∣01 ⟩ + cos ( 8 7 π ) ∣10 ⟩ + cos ( 8 3 π ) ∣11 ⟩ .
ความน่าจะเป็นสำหรับคู่คำตอบที่เป็นไปได้ทั้งสี่ ( a , b ) (a,b) ( a , b ) จึงเป็นดังนี้
Pr ( ( a , b ) = ( 0 , 0 ) ) = 1 2 cos 2 ( 3 π 8 ) = 2 − 2 8 Pr ( ( a , b ) = ( 0 , 1 ) ) = 1 2 cos 2 ( − π 8 ) = 2 + 2 8 Pr ( ( a , b ) = ( 1 , 0 ) ) = 1 2 cos 2 ( 7 π 8 ) = 2 + 2 8 Pr ( ( a , b ) = ( 1 , 1 ) ) = 1 2 cos 2 ( 3 π 8 ) = 2 − 2 8 \begin{aligned}
\operatorname{Pr}\bigl((a,b)=(0,0)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{3\pi}{8}\Bigr) = \frac{2-\sqrt{2}}{8} \\[2mm]
\operatorname{Pr}\bigl((a,b)=(0,1)\bigr) & = \frac{1}{2}\cos^2\Bigl(-\frac{\pi}{8}\Bigr) = \frac{2+\sqrt{2}}{8}\\[2mm]
\operatorname{Pr}\bigl((a,b)=(1,0)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{7\pi}{8}\Bigr) = \frac{2+\sqrt{2}}{8}\\[2mm]
\operatorname{Pr}\bigl((a,b)=(1,1)\bigr) & = \frac{1}{2}\cos^2\Bigl(\frac{3\pi}{8}\Bigr) = \frac{2-\sqrt{2}}{8}
\end{aligned} Pr ( ( a , b ) = ( 0 , 0 ) ) Pr ( ( a , b ) = ( 0 , 1 ) ) Pr ( ( a , b ) = ( 1 , 0 ) ) Pr ( ( a , b ) = ( 1 , 1 ) ) = 2 1 cos 2 ( 8 3 π ) = 8 2 − 2 = 2 1 cos 2 ( − 8 π ) = 8 2 + 2 = 2 1 cos 2 ( 8 7 π ) = 8 2 + 2 = 2 1 cos 2 ( 8 3 π ) = 8 2 − 2
ความน่าจะเป็นสลับที่กันจากสามกรณีก่อนหน้าอย่างมีประสิทธิภาพ
เราหาความน่าจะเป็นที่ a = b a=b a = b และ a ≠ b a\neq b a = b โดยการบวกรวม
Pr ( a = b ) = 2 − 2 4 Pr ( a ≠ b ) = 2 + 2 4 \begin{aligned}
\operatorname{Pr}(a = b) & = \frac{2 - \sqrt{2}}{4}\\[2mm]
\operatorname{Pr}(a \neq b) & = \frac{2 + \sqrt{2}}{4}
\end{aligned} Pr ( a = b ) Pr ( a = b ) = 4 2 − 2 = 4 2 + 2
สำหรับคู่คำถาม ( 1 , 1 ) , (1,1), ( 1 , 1 ) , Alice และ Bob ชนะถ้า a ≠ b a\neq b a = b ดังนั้นในกรณีนี้พวกเขาชนะด้วยความน่าจะเป็น
2 + 2 4 . \frac{2 + \sqrt{2}}{4}. 4 2 + 2 .
พวกเขาชนะในทุกกรณีด้วยความน่าจะเป็นเท่ากัน:
2 + 2 4 ≈ 0.85. \frac{2 + \sqrt{2}}{4} \approx 0.85. 4 2 + 2 ≈ 0.85.
นี่คือความน่าจะเป็นที่พวกเขาชนะโดยรวม
ซึ่งดีกว่าที่กลยุทธ์แบบคลาสสิกทำได้สำหรับเกมนี้อย่างมีนัยสำคัญ โดยกลยุทธ์แบบคลาสสิกมีความน่าจะเป็นชนะถูกจำกัดที่ 3 / 4 3/4 3/4 และนั่นทำให้นี่เป็นตัวอย่างที่น่าสนใจมาก
ความน่าจะเป็นชนะนี้เป็น ค่าที่เหมาะสมที่สุด สำหรับกลยุทธ์เชิงควอนตัม
นั่นคือ เราทำได้ดีกว่านี้ไม่ได้ ไม่ว่าจะเลือกสถานะพันกันหรือการวัดแบบใดก็ตาม
ข้อเท็จจริงนี้เป็นที่รู้จักในชื่อ อสมการของ Tsirelson ซึ่งตั้งชื่อตาม Boris Tsirelson ผู้ที่พิสูจน์มันเป็นคนแรก — และผู้ที่อธิบายการทดลอง CHSH ในรูปแบบของเกมเป็นคนแรกด้วย
ภาพทางเรขาคณิต
เราสามารถคิดถึงกลยุทธ์ที่อธิบายไว้ข้างต้นในเชิงเรขาคณิตได้ ซึ่งอาจช่วยให้เข้าใจความสัมพันธ์ระหว่างมุมต่างๆ ที่เลือกสำหรับการดำเนินการของ Alice และ Bob
สิ่งที่ Alice ทำอย่างมีประสิทธิภาพคือเลือกมุม α \alpha α ขึ้นอยู่กับคำถาม x x x ของตัวเอง แล้วทำ U α U_{\alpha} U α กับ Qubit ของตัวเองแล้ววัด
ในทำนองเดียวกัน Bob เลือกมุม β \beta β ขึ้นอยู่กับ y y y แล้วทำ U β U_{\beta} U β กับ Qubit ของตัวเองแล้ววัด
เราเลือก α \alpha α และ β \beta β ดังนี้
α = { 0 x = 0 π / 4 x = 1 β = { π / 8 y = 0 − π / 8 y = 1 \begin{aligned}
\alpha & = \begin{cases}
0 & x=0\\
\pi/4 & x=1
\end{cases}\\[4mm]
\beta & = \begin{cases}
\pi/8 & y = 0\\
-\pi/8 & y = 1
\end{cases}
\end{aligned} α β = { 0 π /4 x = 0 x = 1 = { π /8 − π /8 y = 0 y = 1
แต่ตอนนี้ให้เรากำหนดให้ α \alpha α และ β \beta β เป็นตัวแปรอิสระก่อน
การเลือก α \alpha α ทำให้ Alice กำหนดฐานออร์โธนอร์มอลของเวกเตอร์ที่มีลักษณะดังนี้:
Bob ก็ทำเช่นเดียวกัน แต่มุมของเขาคือ β \beta β :
สีของเวกเตอร์สอดคล้องกับคำตอบของ Alice และ Bob: สีน้ำเงินสำหรับ 0 0 0 และสีแดงสำหรับ 1 1 1
ถ้าเรารวม ( 1 ) (1) ( 1 ) และ ( 2 ) (2) ( 2 ) เข้าด้วยกัน เราจะได้สูตร
⟨ ψ α ⊗ ψ β ∣ ϕ + ⟩ = 1 2 ⟨ ψ α ∣ ψ β ⟩ , \langle \psi_{\alpha} \otimes\psi_{\beta} \vert \phi^+ \rangle
= \frac{1}{\sqrt{2}} \langle \psi_{\alpha} \vert \psi_{\beta} \rangle, ⟨ ψ α ⊗ ψ β ∣ ϕ + ⟩ = 2 1 ⟨ ψ α ∣ ψ β ⟩ ,
ซึ่งใช้ได้กับจำนวนจริง α \alpha α และ β \beta β ทุกค่า
โดยทำการวิเคราะห์แบบเดียวกับที่เราทำข้างต้น แต่ให้ α \alpha α และ β \beta β เป็นตัวแปร เราพบสิ่งนี้:
( U α ⊗ U β ) ∣ ϕ + ⟩ = ∣ 00 ⟩ ⟨ ψ α ⊗ ψ β ∣ ϕ + ⟩ + ∣ 01 ⟩ ⟨ ψ α ⊗ ψ β + π / 2 ∣ ϕ + ⟩ + ∣ 10 ⟩ ⟨ ψ α + π / 2 ⊗ ψ β ∣ ϕ + ⟩ + ∣ 11 ⟩ ⟨ ψ α + π / 2 ⊗ ψ β + π / 2 ∣ ϕ + ⟩ = ⟨ ψ α ∣ ψ β ⟩ ∣ 00 ⟩ + ⟨ ψ α ∣ ψ β + π / 2 ⟩ ∣ 01 ⟩ + ⟨ ψ α + π / 2 ∣ ψ β ⟩ ∣ 10 ⟩ + ⟨ ψ α + π / 2 ∣ ψ β + π / 2 ⟩ ∣ 11 ⟩ 2 . \begin{aligned}
& \bigl(U_{\alpha} \otimes U_{\beta}\bigr) \vert \phi^+\rangle\\[1mm]
& \qquad =
\vert 00 \rangle \langle \psi_{\alpha} \otimes \psi_{\beta}\vert \phi^+\rangle
+ \vert 01 \rangle \langle \psi_{\alpha} \otimes\psi_{\beta + \pi/2}\vert \phi^+\rangle \\
& \qquad \qquad + \vert 10 \rangle \langle \psi_{\alpha+\pi/2} \otimes \psi_{\beta}\vert \phi^+\rangle
+ \vert 11 \rangle \langle \psi_{\alpha+\pi/2} \otimes \psi_{\beta+\pi/2}\vert \phi^+\rangle\\[2mm]
& \qquad = \frac{
\langle \psi_\alpha \vert \psi_\beta \rangle \vert 00\rangle
+ \langle \psi_\alpha \vert \psi_{\beta+\pi/2} \rangle \vert 01\rangle
+ \langle \psi_{\alpha+\pi/2} \vert \psi_\beta \rangle \vert 10\rangle
+ \langle \psi_{\alpha+\pi/2} \vert \psi_{\beta+\pi/2} \rangle \vert 11\rangle
}{\sqrt{2}}.
\end{aligned} ( U α ⊗ U β ) ∣ ϕ + ⟩ = ∣00 ⟩ ⟨ ψ α ⊗ ψ β ∣ ϕ + ⟩ + ∣01 ⟩ ⟨ ψ α ⊗ ψ β + π /2 ∣ ϕ + ⟩ + ∣10 ⟩ ⟨ ψ α + π /2 ⊗ ψ β ∣ ϕ + ⟩ + ∣11 ⟩ ⟨ ψ α + π /2 ⊗ ψ β + π /2 ∣ ϕ + ⟩ = 2 ⟨ ψ α ∣ ψ β ⟩ ∣00 ⟩ + ⟨ ψ α ∣ ψ β + π /2 ⟩ ∣01 ⟩ + ⟨ ψ α + π /2 ∣ ψ β ⟩ ∣10 ⟩ + ⟨ ψ α + π /2 ∣ ψ β + π /2 ⟩ ∣11 ⟩ .
เราสรุปได้สองสูตรนี้:
Pr ( a = b ) = 1 2 ∣ ⟨ ψ α ∣ ψ β ⟩ ∣ 2 + 1 2 ∣ ⟨ ψ α + π / 2 ∣ ψ β + π / 2 ⟩ ∣ 2 = cos 2 ( α − β ) Pr ( a ≠ b ) = 1 2 ∣ ⟨ ψ α ∣ ψ β + π / 2 ⟩ ∣ 2 + 1 2 ∣ ⟨ ψ α + π / 2 ∣ ψ β ⟩ ∣ 2 = sin 2 ( α − β ) . \begin{aligned}
\operatorname{Pr}(a = b) & = \frac{1}{2} \vert \langle \psi_\alpha \vert \psi_\beta \rangle \vert^2
+ \frac{1}{2} \vert \langle \psi_{\alpha+\pi/2} \vert \psi_{\beta+\pi/2} \rangle \vert^2
= \cos^2(\alpha - \beta)\\[2mm]
\operatorname{Pr}(a \neq b) & = \frac{1}{2} \vert \langle \psi_\alpha \vert \psi_{\beta+\pi/2} \rangle \vert^2
+ \frac{1}{2} \vert \langle \psi_{\alpha+\pi/2} \vert \psi_\beta \rangle \vert^2
= \sin^2(\alpha - \beta).
\end{aligned} Pr ( a = b ) Pr ( a = b ) = 2 1 ∣ ⟨ ψ α ∣ ψ β ⟩ ∣ 2 + 2 1 ∣ ⟨ ψ α + π /2 ∣ ψ β + π /2 ⟩ ∣ 2 = cos 2 ( α − β ) = 2 1 ∣ ⟨ ψ α ∣ ψ β + π /2 ⟩ ∣ 2 + 2 1 ∣ ⟨ ψ α + π /2 ∣ ψ β ⟩ ∣ 2 = sin 2 ( α − β ) .
สมการเหล่านี้สามารถเชื่อมโยงกับรูปข้างต้นได้ โดยลองนึกภาพการซ้อนทับฐานที่ Alice และ Bob เลือก
โดยเฉพาะอย่างยิ่ง เมื่อ ( x , y ) = ( 0 , 0 ) , (x,y) = (0,0), ( x , y ) = ( 0 , 0 ) , Alice และ Bob เลือก α = 0 \alpha = 0 α = 0 และ β = π / 8 \beta = \pi/8 β = π /8 และเมื่อซ้อนฐานทั้งสองเราได้รูปนี้:
มุมระหว่างเวกเตอร์สีแดงคือ π / 8 \pi/8 π /8 ซึ่งเท่ากับมุมระหว่างเวกเตอร์สีน้ำเงินทั้งสอง
ความน่าจะเป็นที่ผลลัพธ์ของ Alice และ Bob ตรงกันคือค่ายกกำลังสองของโคไซน์ของมุมนี้
cos 2 ( π 8 ) = 2 + 2 4 , \cos^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2 + \sqrt{2}}{4}, cos 2 ( 8 π ) = 4 2 + 2 ,
ในขณะที่ความน่าจะเป็นที่ไม่ตรงกันคือค่ายกกำลังสองของไซน์ของมุมนี้
sin 2 ( π 8 ) = 2 − 2 4 . \sin^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2 - \sqrt{2}}{4}. sin 2 ( 8 π ) = 4 2 − 2 .
เมื่อ ( x , y ) = ( 0 , 1 ) , (x,y) = (0,1), ( x , y ) = ( 0 , 1 ) , Alice และ Bob เลือก α = 0 \alpha = 0 α = 0 และ β = − π / 8 \beta = -\pi/8 β = − π /8 และเมื่อซ้อนฐานทั้งสองเราได้รูปนี้:
มุมระหว่างเวกเตอร์สีแดงยังคงเป็น π / 8 \pi/8 π /8 เช่นเดียวกับมุมระหว่างเวกเตอร์สีน้ำเงิน
ความน่าจะเป็นที่ผลลัพธ์ของ Alice และ Bob ตรงกันยังคงเป็นค่ายกกำลังสองของโคไซน์ของมุมนี้
cos 2 ( π 8 ) = 2 + 2 4 , \cos^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2 + \sqrt{2}}{4}, cos 2 ( 8 π ) = 4 2 + 2 ,
ในขณะที่ความน่าจะเป็นที่ไม่ตรงกันคือค่ายกกำลังสองของไซน์ของมุมนี้
sin 2 ( π 8 ) = 2 − 2 4 . \sin^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2 - \sqrt{2}}{4}. sin 2 ( 8 π ) = 4 2 − 2 .
เมื่อ ( x , y ) = ( 1 , 0 ) , (x,y) = (1,0), ( x , y ) = ( 1 , 0 ) , Alice และ Bob เลือก α = π / 4 \alpha = \pi/4 α = π /4 และ β = π / 8 \beta = \pi/8 β = π /8 และเมื่อซ้อนฐานทั้งสองเราได้รูปนี้:
ฐานเปลี่ยนแต่มุมไม่เปลี่ยน — มุมระหว่างเวกเตอร์สีเดียวกันยังคงเป็น π / 8 \pi/8 π /8 อีกครั้ง
ความน่าจะเป็นที่ผลลัพธ์ของ Alice และ Bob ตรงกันคือ
cos 2 ( π 8 ) = 2 + 2 4 , \cos^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2 + \sqrt{2}}{4}, cos 2 ( 8 π ) = 4 2 + 2 ,
และความน่าจะเป็นที่ไม่ตรงกันคือ
sin 2 ( π 8 ) = 2 − 2 4 . \sin^2\Bigl(\frac{\pi}{8}\Bigr) = \frac{2 - \sqrt{2}}{4}. sin 2 ( 8 π ) = 4 2 − 2 .
เมื่อ ( x , y ) = ( 1 , 1 ) , (x,y) = (1,1), ( x , y ) = ( 1 , 1 ) , Alice และ Bob เลือก α = π / 4 \alpha = \pi/4 α = π /4 และ β = − π / 8 \beta = -\pi/8 β = − π /8 เมื่อซ้อนฐานทั้งสองเราจะเห็นว่าเกิดบางอย่างที่แตกต่างออกไป:
ด้วยวิธีที่เลือกมุม คราวนี้มุมระหว่างเวกเตอร์สีเดียวกันคือ 3 π / 8 3\pi/8 3 π /8 แทนที่จะเป็น π / 8 \pi/8 π /8
ความน่าจะเป็นที่ผลลัพธ์ของ Alice และ Bob ตรงกันยังคงเป็นค่ายกกำลังสองของโคไซน์ของมุมนี้ แต่คราวนี้ค่าคือ
cos 2 ( 3 π 8 ) = 2 − 2 4 . \cos^2\Bigl(\frac{3\pi}{8}\Bigr) = \frac{2 - \sqrt{2}}{4}. cos 2 ( 8 3 π ) = 4 2 − 2 .
ความน่าจะเป็นที่ผลลัพธ์ไม่ตรงกันคือค่ายกกำลังสองของไซน์ของมุมนี้ ซึ่งในกรณีนี้คือ:
sin 2 ( 3 π 8 ) = 2 + 2 4 . \sin^2\Bigl(\frac{3\pi}{8}\Bigr) = \frac{2 + \sqrt{2}}{4}. sin 2 ( 8 3 π ) = 4 2 + 2 .
แนวคิดพื้นฐานของการทดลองเช่นเกม CHSH ที่ความพันกันนำไปสู่ผลลัพธ์ทางสถิติที่ขัดแย้งกับการใช้เหตุผลแบบคลาสสิกล้วนๆ นั้นเป็นผลงานของ John Bell ผู้ที่ Bell states ได้รับการตั้งชื่อตาม
ด้วยเหตุนี้ ผู้คนจึงมักเรียกการทดลองในลักษณะนี้ว่า Bell tests
บางครั้งผู้คนยังอ้างถึง ทฤษฎีบทของ Bell ซึ่งสามารถกำหนดได้ในหลายรูปแบบ — แต่สาระสำคัญของมันคือกลศาสตร์ควอนตัมไม่เข้ากันกับสิ่งที่เรียกว่า ทฤษฎีตัวแปรซ่อนเร้นเฉพาะที่
เกม CHSH เป็นตัวอย่างของ Bell test ที่ชัดเจนและเรียบง่ายเป็นพิเศษ และสามารถมองได้ว่าเป็นการพิสูจน์หรือการแสดงให้เห็นของทฤษฎีบทของ Bell
เกม CHSH เสนอวิธีการทดสอบทฤษฎีสารสนเทศควอนตัมเชิงทดลอง
การทดลองสามารถทำได้ซึ่งนำเกม CHSH ไปใช้ และทดสอบกลยุทธ์ประเภทที่ใช้ความพันกันตามที่อธิบายไว้ข้างต้น
สิ่งนี้ให้ความเชื่อมั่นในระดับสูงแก่เราว่าความพันกันมีจริง — และต่างจากวิธีที่บางครั้งคลุมเครือหรือเชิงกวีที่เราคิดขึ้นเพื่ออธิบายความพันกัน เกม CHSH ให้วิธีที่เป็นรูปธรรมและทดสอบได้ในการ สังเกต ความพันกัน
รางวัลโนเบลสาขาฟิสิกส์ปี 2022 ยอมรับความสำคัญของสายงานนี้: รางวัลนี้มอบให้กับ Alain Aspect, John Clauser (C ใน CHSH) และ Anton Zeilinger สำหรับการสังเกตความพันกันผ่าน Bell tests บนโฟตอนที่พันกัน