Hybrid Lattice Surgery: Non-Clifford Gates via Non-Abelian Surface Codes

يتطلب بناء حاسوب يمكنه حل مشكلات تتجاوز قدرات الآلات الحالية تحولاً جذرياً في كيفية تعاملنا مع المعلومات. في العالم الكمومي، تكون بتات البيانات هشة للغاية؛ إذ يمكن لأدنى اضطراب من البيئة أن يشتت نظمها، مما يؤدي إلى فشل الحسابات. وللحماية من ذلك، يستخدم العلماء أكواد تصحيح الأخطاء، والتي تعمل على نشر قطعة واحدة من المعلومات عبر العديد من الجسيمات الفيزيائية. فإذا حدث خلل في جسيم واحد، فإن الجسيمات الأخرى تحفظ الحقيقة، مما يسمح للنظام بالتعافي. ومع ذلك، هناك قاعدة صارمة في هذا المجال: إن أنواع العمليات التي يسهل تنفيذها بأمان على هذه البتات المحمية ليست كافية للقيام بكل ما يحتاجه الحاسوب للقيام بعمله. ولبناء آلة عالمية حقاً، يجب على الباحثين إيجاد طريقة لأداء نوع محدد وصعب من العمليات دون كسر الحماية الدقيقة التي تحافظ على سلامة البيانات. لقد كان هذا بمثابة عنق زجاجة رئيسي، حيث يتطلب غالباً كميات هائلة من الوقت والمساحة لتوليد "الحالات السحرية" اللازمة أو للتبديل بين أنواع مختلفة من أكواد تصحيح الأخطاء.

لقد اقترح فريق من الباحثين الآن طريقة جديدة للتغلب على هذه العقبة، وهي طريقة تتجنب التكاليف الباهظة للمنهجيات السابقة. يقدم عملهم، المنشور في مجلة "كوانتوم" (Quantum)، تقنية تسمى "جراحة الشبكة الهجينة" (hybrid lattice surgery). فبدلاً من محاولة فرض عملية صعبة داخل كود واحد متجانس، يقترحون جمع نوعين مختلفين من الأكواد الكمومية معاً، وتركها تتفاعل لفترة وجيزة، ثم فصلها. يعمل هذا التفاعل كجسر، مما يسمح بتنفيذ العملية الصعبة ونقلها إلى الكود القياسي المستخدم في الحساب الرئيسي. وقد أظهر الباحثون أنه من خلال استخدام كود معقد ومحدد إلى جانب الكود القياسي، يمكنهم توليد الحالات الساسية المطلية أو نقل البوابات المعقدة بعدد أقل بكثير من الخطوات مقارنة بما سبق.

يعتمد النهج القياسي لحماية المعلومات الكمومية غالباً على هيكل يشبه الشبكة يُعرف باسم "كود السطح" (surface code). تخيل لوحة شطرنج حيث تختبئ البيانات في أنماط المربعات. هذا الكود ممتاز في رصد الأخطاء لأن قواعد فحص البيانات بسيطة ومحلية. ومع ذلك، فإن العمليات التي يمكن إجراؤها مباشرة على هذه الشبكة محدودة. وللحصول على القوة الكاملة للحاسوب الكمومي، يحتاج العلماء إلى إدخال مكون خاص، يُسمى غالباً "الحالة السحرية"، والتي تعمل كعامل حفاز للحسابات المعقدة. تقليدياً، كان إنشاء هذا المكون يشبه محاولة خبز كعكة في مطبخ لا يسمح لك إلا بغلي الماء؛ حيث يتعين عليك بناء آلة ضخمة وغير فعالة لمجرد الحصول على الشيء الوحيد الذي تحتاجه. وهناك طريقة أخرى تتضمن نقل البيانات مؤقتاً إلى نوع آخر من الأكواد حيث تكون العملية أسهل، وإجراء المهمة، ثم نقلها مرة أخرى. هذه "التبديل بين الأكواد" فعالة ولكنها بطيئة وتستهلك الكثير من الموارد، لأنها تتطلب إيقاف الحساب الرئيسي لإعادة تهيئة النظام بأكمله.

يغير الاقتراح الجديد قواعد اللعبة من خلال التعامل مع التفاعل بين الأكواد كميزة وليس كخلل. فقد صمم الباحثون بروتوكولاً حيث يأخذون رقعة من الكود القياسي ورقعة من كود أكثر تعقيداً غير أبلي (non-Abelian)، ويجمعون حوافهما معاً. بلغة الفيزياء، هذه الحواف هي حدود حيث تختلف قواعد الكود قليلاً. ومن خلال إجراء مجموعة محددة من القياسات على طول الخط الذي يلتقي فيه هذان النوعان من الرقع، يمكن للباحثين "دمج" الرقعتين فعلياً في نظام هجين واحد. هذا الدمج ليس اندماجاً دائماً؛ بل هو مصافحة مؤقتة. خلال هذه المصافحة، تتفاعل المعلومات من الرقعة القياسية مع الرقعة المعقدة بطريقة تؤدي إلى تحويلها. وبمجرد اكتمال التحويل، يتم فصل الرقعتين مرة أخرى. والنتيجة هي أن الرقعة القياسية ستحمل الآن العملية المعقدة التي احتاجتها، دون أن تضطر أبداً لمغادرة بيئتها الحمائية الخاصة أو الخضوع لعملية إعادة هيكلة كاملة للنظام.

لإنجاح هذا الأمر، كان على الفريق تحديد أي الأكواد يمكنها التواصل مع بعضها البعض وكيفية التحكم في هذا التواصل. لقد اختاروا استخدام كود سطح قياسي، يعتمد على مجموعة بسيطة من التناظرات الرياضية، ودمجوه مع كود أكثر تعقيداً يعتمد على تناظرات المربع، والمعروف باسم "مجموعة دييدرال" (dihedral group). وقد أظهروا أنه من خلال دمج وفصل هذين الكودين تحديداً بعناية، يمكنهم توليد الحالات السحرية المطلوبة أو نقل بوابة معقدة تُعرف باسم "بوابة T" (T-gate). تتضمن العملية سلسلة من الخطوات: أولاً، تحضير حالة خاصة في الكود البسيط؛ ثانياً، دمجها مع الكود المعقد؛ ثالثاً، إجراء قياسات تجعل الاثنين متشابكين؛ وأخيراً، فصلهما للكشف عن الحالة المتحولة. والأهم من ذلك، وجد الباحثون أن هذه الخطوات يمكن تنفيذها بالتوازي على جوانب مختلفة من رقعة الكود المعقد، مما يجعل العملية أسرع وأكثر كفاءة من الطرق السابقة.

تكمن روعة هذه الطريقة في "محلّيتها". في العديد من مقترحات الحوسبة الكمومية، يتطلب إجراء عملية صعبة ربط أجزاء متباعدة من الحاسوب، وهو أمر صعب هندسياً. هنا، تحدث العملية بأكملها عند الحد الفاصل حيث تقع رقعتان من الحاسوب جنباً إلى جنب. يحتاج الباحثون فقط إلى إجراء قياسات على الجسيمات الموجودة مباشرة عند الواجهة. وهذا يعني أن المتطلبات العتادية أقل تعقيداً، حيث لا يحتاج الحاسوب إلى إعادة توصيل الأسلاك أو إعادة تهيئة شاملة. وتظل المعلومات محمية بواسطة كود تصحيح الأخطاء طوال العملية. وإذا حدث خطأ أثناء الدمج أو الفصل، يمكن لنظام تصحيح الأخطاء المدمج اكتشافه وإصلاحه، بدلاً من التخلص من المحاولة بأكملها.

للتأكد من أن هذه الفكرة لم تكن مجرد خدعة ذكية على الورق، طور الباحثون أيضاً إطاراً نظرياً لوصف ما يحدث. لقد استخدموا لغة رياضية تسمى "نظرية الحقل الكمومي الطوبولوجي" (topological quantum field theory)، والتي تصف سلوك هذه الأكواد بطريقة مستمرة وسلسة، بدلاً من كونها شبكة من النقاط المنفصلة. هذا المنظور رفيع المستوى أكد أن عمليات الدمج والفصل تعادل عمليات فيزيائية محددة ومعروفة تتعلق بتدفق المعلومات عبر الحدود. هذا الدعم النظري منحهم الثقة في إمكانية تعميم الطريقة. كما أظهروا أن المنطق نفسه يمكن تطبيقه لتوليد ليس فقط نوعاً واحداً من البوابات المعقدة، بل عائلة كاملة منها، بما في ذلك بوابات أكثر تعقيداً من البوابات القياسية. كما أثبتوا أن النهج يمكن توسيعه ليعمل مع أنواع مختلفة من البيانات الكمومية، مثل الأنظمة ثلاثية المستويات، مما يشير إلى قابلية تطبيق واسعة للهياكل الكمومية المستقبلية.

إن الطريق نحو حاسوب كمومي عامل مفروش بالتحديات، وتصحيح الأخطاء هو أحد أهم هذه التحديات. يقدم هذا البروتوكول الجديد مساراً واعداً لحل مشكلة بوابات "غير كليفورد" (non-Clifford gates)، وهي المفتاح لإطلاق الإمكانات الكاملة للحوسبة الكمومية. فمن خلال استخدام جراحة الشبكة الهجينة، أظهر الباحثون أنه من الممكن تنفيذ هذه العمليات الصعبة باستخدام تفاعلات محلية فقط بين رقع الأكواد المختلفة. وبينما تعرض الورقة بروتوكولاً نظرياً ولا تبلغ عن تجربة فيزيائية بعد، فإن الإثبات الرياضي قوي، والطريقة مصممة لتكون متوافقة مع تصميمات الأجهزة الحالية. ستكون الخطوة التالية للمجال هي اختبار هذه الأفكار في المختبر، لكن العمل التأسيسي الذي وُضع هنا يشير إلى مستقبل يمكن فيه للحواسيب الكمومية إجراء حسابات معقدة بكفاءة أكبر وأعباء أقل، مما يقرب حلم الحوسبة الكمومية الشاملة من الواقع.