Quantinuum ทดสอบ Complement Sampling ชี้ช่องว่างควอนตัม–คลาสสิกโตแบบเอ็กซ์โปเนนเชียล

การทดลอง complement sampling ของ Quantinuum เป็นหลักฐานของความได้เปรียบเชิงควอนตัมในความหมายที่กำหนดไว้อย่างชัดเจน: อุปกรณ์ควอนตัมสร้างสถิติผลลัพธ์ที่เกินขอบเขตของกลยุทธ์คลาสสิกซึ่งพิสูจน์ทางคณิตศาสตร์แล้วได้ ในเกมที่ออกแบบมาเพื่อรักษาและทดสอบคุณสมบัติ ซูเปอร์โพสิชัน ของควอนตัม

สำหรับกรณีที่สร้างจากปัญหา Bernstein–Vazirani อัตราส่วนการละเมิดระหว่างควอนตัมกับคลาสสิกในอุดมคติจะเพิ่มตาม 2^(n−1) และเมื่อสตริงยาว 37 บิต ตัวชี้วัดตามนิยามของการทดลองระบุช่องว่างมากกว่า 137,000 ล้านต่อ 1 4

แต่ความหมายของผลลัพธ์ต้องวางให้ถูกที่: นี่ไม่ใช่เกณฑ์วัดสมรรถนะคอมพิวเตอร์อเนกประสงค์ ไม่ได้แปลว่า H2 เร็วกว่าคอมพิวเตอร์คลาสสิก 137,000 ล้านเท่าสำหรับงานจริง และยังไม่ใช่ความได้เปรียบทางธุรกิจที่นำไปใช้ได้ทันที ผลที่ได้คือการสาธิตที่มีหลักฐานรองรับว่า งานสุ่มตัวอย่างหนึ่งชนิดซึ่งออกแบบอย่างเจาะจง มีความแตกต่างควอนตัม–คลาสสิกที่โตแบบเอ็กซ์โปเนนเชียล

เกม complement sampling ทำงานอย่างไร

ให้คิดว่า “กรรมการ” แอบเลือกเซต S ซึ่งมีสมาชิกเป็นครึ่งหนึ่งของสตริงบิตทั้งหมดที่เป็นไปได้สำหรับความยาว n บิต จากนั้นกรรมการเตรียมสถานะควอนตัมที่เป็นซูเปอร์โพสิชันแบบเท่า ๆ กันของทุกสตริงในเซตนั้น หน้าที่ของผู้เล่นคือส่งคืนสตริงที่อยู่ในเซตส่วนเติมเต็ม S̄ หรือก็คือสตริงที่ ไม่อยู่ ใน S 34

ผู้เล่นแบบคลาสสิกจะได้รับข้อมูลเทียบเท่ากับตัวอย่างธรรมดาหนึ่งตัวจาก S เขารู้ได้เพียงว่าสตริงที่เห็นไม่ควรเป็นคำตอบ แต่ข้อมูลนี้แทบไม่บอกเลยว่า ในบรรดาสตริงอื่นจำนวนมหาศาล สตริงใดอยู่ใน S และสตริงใดอยู่ใน S̄ กลยุทธ์คลาสสิกจึงติดเพดานที่กำหนดไว้ทางคณิตศาสตร์ 47

ฝั่งควอนตัมได้รับสถานะของเซตในรูปซูเปอร์โพสิชันที่ยังคงความสอดประสาน (coherence) ไว้ ไม่ใช่ตัวอย่างที่ถูกวัดจนเหลือผลลัพธ์เดียวแล้ว สำหรับอินพุตที่มีโครงสร้างพิเศษซึ่งใช้ในการทดลอง การแปลงควอนตัมสามารถย้ายสถานะที่รองรับบน S ไปเป็นสถานะที่รองรับบน S̄ ได้ ในกรณีอุดมคติที่ไม่มีสัญญาณรบกวน การวัดจึงให้สตริงจากเซตส่วนเติมเต็มได้อย่างแน่นอน 34

ทรัพยากรที่กำลังทดสอบคือความสามารถในการแปลงซูเปอร์โพสิชันซึ่งบรรจุข้อมูลของสตริงจำนวนมาก โดยไม่ทำให้มันยุบเหลือการสังเกตแบบคลาสสิกเพียงค่าเดียวก่อน การทดสอบนี้ไม่ใช่ Bell test และไม่ใช่การสาธิตความไม่เฉพาะที่ในเชิงพื้นที่ (spatial nonlocality)

เหตุใดช่องว่างจึงโตแบบเอ็กซ์โปเนนเชียล

การเปรียบเทียบสำคัญไม่ใช่เพียงอัตราความสำเร็จดิบ งานวิจัยนิยามค่าการละเมิดที่เฉพาะกับเกม เพื่อวัดว่าผลลัพธ์สูงกว่าระดับฐานของกลยุทธ์คลาสสิกเพียงใด สำหรับตระกูล Bernstein–Vazirani อัตราส่วนควอนตัมต่อคลาสสิกในอุดมคติคือ 2^(n−1) 4

เมื่อ n = 37 จะได้ว่า

2^36 = 68,719,476,736

ส่วนตัวเลข “มากกว่า 137,000 ล้านต่อ 1” เป็นการรายงานตามนิยามค่าการละเมิดที่ใช้ในงานทดลอง ไม่ว่าจะมองด้วยกรอบใด ประเด็นหลักคือรูปแบบการขยายตัว: สัญญาณควอนตัมในอุดมคติยังสมบูรณ์ ขณะที่ความได้เปรียบที่อนุญาตให้แก่กลยุทธ์คลาสสิกหดลงแบบเอ็กซ์โปเนนเชียลเมื่อความยาวสตริงเพิ่มขึ้น 4

ดังนั้น ตัวเลขนี้ไม่ได้หมายความว่าโปรเซสเซอร์ H2 แก้โจทย์เชิงพาณิชย์ได้เร็วกว่าเครื่องคลาสสิก 137,000 ล้านเท่า แต่หมายถึงความแตกต่างระหว่างกลยุทธ์อุดมคติภายใต้กติกาและตัวชี้วัดของเกมนี้

Quantinuum รันอะไรบนฮาร์ดแวร์ H2

ทีมวิจัยรันวงจรควอนตัมหลายพันวงจรบนโปรเซสเซอร์ H2 แบบดักจับไอออนของ Quantinuum ใช้คิวบิตจริงสูงสุด 55 คิวบิต และทดสอบสตริงยาวถึง 37 บิต 48

ฮาร์ดแวร์จริงมีสัญญาณรบกวน จึงทำให้สมรรถนะที่สังเกตได้ต่ำกว่าพฤติกรรมความสำเร็จสมบูรณ์แบบในอุดมคติ โดยวงจรขนาดใหญ่ได้รับผลจากความผิดพลาดมากขึ้น อย่างไรก็ดี ผลที่รายงานยังสูงกว่าเกณฑ์คลาสสิกที่ใช้บังคับอย่างมีนัยสำคัญทางสถิติ สนับสนุนว่าอุปกรณ์ดำเนินกลยุทธ์ควอนตัมได้ดีพอจะละเมิดขอบเขตคลาสสิก 4

จุดนี้สำคัญมาก: การทดลองไม่ได้บอกว่าคอมพิวเตอร์คลาสสิกไม่สามารถพิมพ์สตริงบิตที่ปรากฏออกมาได้ แต่บอกว่า ภายใต้แบบจำลองอินพุตที่กำหนด การกระจายของคำตอบที่วัดได้นั้นดีกว่าสิ่งที่กลยุทธ์คลาสสิกที่อนุญาตทำได้ 4

ต่างจากการทดสอบความได้เปรียบควอนตัมก่อนหน้าอย่างไร

การสาธิตการสุ่มตัวอย่างด้วยควอนตัมหลายครั้งก่อนหน้านี้อาศัยสมมติฐานจากทฤษฎีความซับซ้อน เพื่อโต้แย้งว่าการจำลองแบบคลาสสิกน่าจะทำได้ยาก แต่ complement sampling ถูกออกแบบมาเพื่อหลีกเลี่ยงการพึ่งพาสมมติฐานประเภทนั้นโดยเฉพาะ เพราะข้อจำกัดของกลยุทธ์คลาสสิกถูกพิสูจน์สำหรับตัวเกมโดยตรง 34

การตรวจสอบก็ตรงไปตรงมากว่า กรรมการรู้วิธีสร้างเซตลับ จึงตรวจได้ว่าคำตอบอยู่ในเซตส่วนเติมเต็มหรือไม่ งานต้นฉบับเปรียบเทียบกับการสุ่มตัวอย่างจากวงจรสุ่ม (random-circuit sampling) ซึ่งการตรวจสอบเมื่อขนาดใหญ่ขึ้นอาจต้องจำลองแบบคลาสสิกที่มีต้นทุนสูง หรือใช้ตัวอย่างจำนวนมาก 34

คุณสมบัติเหล่านี้ทำให้ complement sampling เป็นเกณฑ์ทดสอบเชิงพื้นฐานที่น่าสนใจสำหรับฮาร์ดแวร์ระยะใกล้: มันออกแบบให้เผยความแตกต่างควอนตัม–คลาสสิกที่ชัดเจน ขณะเดียวกันผลยังตรวจสอบด้วยการคำนวณแบบคลาสสิกได้

ข้อจำกัดที่อยู่เบื้องหลังพาดหัวข่าว

เป็นงานสุ่มตัวอย่างเฉพาะทาง

เกมนี้ถูกสร้างขึ้นเพื่อแสดงความได้เปรียบของควอนตัมในการประมวลผลข้อมูลแบบตัวอย่าง จึงไม่ได้พิสูจน์การเร่งความเร็วที่ใช้ได้จริงกับเคมี การหาค่าที่เหมาะที่สุด การเข้ารหัส AI หรือการคำนวณอเนกประสงค์ 4

“ไม่มีเงื่อนไข” ไม่เท่ากับ “ไม่ต้องเชื่อถืออุปกรณ์”

ขอบเขตคลาสสิกเป็นผลแบบไม่มีเงื่อนไขภายในเกมคณิตศาสตร์นี้ แต่โปรโตคอลในห้องปฏิบัติการยังต้องเชื่อถือว่ากรรมการเตรียมสถานะเริ่มต้นอย่างถูกต้อง ซึ่งต่างจากการทดสอบแบบ device-independent อย่างแท้จริง ที่สามารถสรุปผลโดยไม่ต้องไว้ใจองค์ประกอบหลักของอุปกรณ์ 4

กรรมการและผู้เล่นยังไม่ใช่คอมพิวเตอร์ควอนตัมสองเครื่องแยกกัน

เนื่องจากยังไม่มีช่องสื่อสารควอนตัมจริงที่เชื่อมคอมพิวเตอร์ควอนตัมเข้าด้วยกัน การทดลองจึงวางรีจิสเตอร์ของกรรมการและผู้เล่นไว้ในโปรเซสเซอร์ควอนตัมเครื่องเดียว แล้วใช้การเทเลพอร์ตเพื่อจำลองช่องสื่อสารควอนตัม 4

การสาธิตที่เข้มแข็งกว่าในอนาคตควรใช้ระบบที่ควบคุมแยกจากกัน เชื่อมต่อด้วยลิงก์ควอนตัมจริง และควรทำบนฮาร์ดแวร์ที่ทนต่อความผิดพลาด (fault-tolerant) การสร้างระบบกระจายเช่นนี้ก็ยังเป็นโจทย์ยาก เพราะการส่งผ่านสถานะควอนตัมและการรักษาความสอดประสานอาจกลายเป็นคอขวดได้ 14

เอ็กซ์โปเนนเชียลอาจไม่ใช่คำตอบสุดท้าย

ผลนี้ยืนยันการแยกห่างแบบเอ็กซ์โปเนนเชียลสำหรับตระกูลเกมนี้ ไม่ได้พิสูจน์ว่าช่องว่างดังกล่าวเป็นขีดสูงสุดที่เป็นไปได้ และไม่ได้แสดงการแยกห่างแบบเหนือเอ็กซ์โปเนนเชียล (super-exponential) คำถามว่างานที่มีความหมายทางกายภาพ ตรวจสอบได้อย่างมีประสิทธิภาพ และให้ช่องว่างที่แรงกว่านี้มีอยู่หรือไม่ ยังเปิดกว้างตามหลักฐานที่มี

สิ่งที่การทดลองพิสูจน์ได้จริง

ผลของ Quantinuum ควรถูกมองว่าเป็นหมุดหมายเชิงทดลองที่แม่นยำ: ฮาร์ดแวร์ดักจับไอออนในปัจจุบันข้ามเส้นแบ่งแบบคลาสสิกที่พิสูจน์ได้ ในเกม complement sampling ที่ตรวจสอบผลได้อย่างมีประสิทธิภาพ และความแตกต่างเชิงอุดมคติจะโตแบบเอ็กซ์โปเนนเชียลตามขนาดปัญหา 34

จึงเป็นข้ออ้างที่ชัดเจนกว่าการพูดกว้าง ๆ ว่า “ควอนตัมเหนือกว่า” เพราะสามารถระบุโจทย์ ตัวชี้วัด วิธีตรวจสอบ และสมมติฐานด้านความเชื่อถือได้อย่างตรงไปตรงมา แต่รายละเอียดชุดเดียวกันนี้ก็เป็นเส้นขอบของผลลัพธ์เช่นกัน: การทดลองเป็นหลักฐานที่น่าเชื่อว่า ซูเปอร์โพสิชันให้ความได้เปรียบแบบเอ็กซ์โปเนนเชียลได้ในบริบทที่ออกแบบไว้ ไม่ใช่หลักฐานว่าคอมพิวเตอร์ควอนตัมเหนือกว่าระบบคลาสสิกในงานจริงทุกประเภทแล้ว