Good Stabilizer Codes from Shallow Clifford Circuits with Random Matchings

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

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

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

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

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

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

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

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

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