Fast verification of fault tolerant magic state preparation circuits with the CNOT + T gate set
تقدم هذه الورقة البحثية Comb، وهي مكتبة تستخدم مجموعة بوابات CNOT + T وخصائص انتشار خطأ "باولي" المستمدة منها للتحقق بكفاءة من تحمل الخطأ في دوائر تحضير الحالة السحرية، مما يتيح اكتشاف والتحقق من صحة دوائر المسافة خمسة في غضون دقائق.
المؤلف الأصلي:Selwyn Simsek, Callum Macpherson, Chris N. Self, David Amaro
تعد الحواسيب الكمومية بحل مشكلات مستعصية حالياً حتى على أقوى الحواسيب الفائقة، لكنها تشتهر بهشاشتها الشديدة؛ إذ يمكن للحالات الكمومية الدقيقة التي تعتمد عليها أن تضطرب بسهولة بفعل أدنى ضجيج، مما يؤدي إلى فشل الحسابات. وللتغلب على ذلك، يستخدم العلماء طريقة تسمى "تحمل الخطأ"، والتي تتضمن بناء طبقات من الحماية بحيث إذا حدث خلل في جزء واحد من الآلة، يمكن للبقية تصحيح الخطأ والاستمرار في العمل. ويتمثل أحد العقبات الرئيسية في بناء هذه الآلات في إنشاء نوع محدد من الموارد الكمومية يُعرف باسم "الحالة السحرية" (magic state). فهذه الحالات ضرورية لإجراء أكثر الحسابات تعقيداً، لكن إعدادها دون إدخال أخطاء جديدة أمر في غاية الصعوبة. وتعد هذه العملية حساسة للغاية لدرجة أن التحقق مما إذا كانت الدارة المقترحة آمنة بما يكفي للاستخدام يتطلب عادةً فحص عدد فلكي من تركيبات الأخطاء المحتملة، وهي مهمة كانت تاريخياً بطيئة ومعقدة للغاية بحيث لا يمكن القيام بها يدوياً أو باستخدام البرمجيات القياسية.
في دراسة جديدة، طور باحثون في شركة "كوانتينيوم" (Quantinuum) طريقة لتسريع عملية التحقق هذه بشكل كبير، مما يجعل من الممكن تصميم واختبار هذه الدارات الحرجة على حاسوب محمول قياسي. ركز الفريق على مجموعة محددة من الأدوات المستخدمة لبناء الدارات الكمومية، والتي تتكون من نوعين من العمليات: بوابة تربط بين اثنين من الكيوبتات (qubits)، وبوابة تؤدي دوراناً محدداً. ومن خلال قصر تصميماتهم على هذا المزيج المحدد، اكتشفوا أن سلوك الأخطاء داخل هذه الدارات يتبع نمطاً يمكن التنبؤ به، وهو أسهل بكثير في التتبع من التصميمات الأكثر عمومية. وقد أنشأوا مكتبة برمجية تسمى "كومب" (Comb) تستخدم هذه الرؤية للتحقق بسرعة مما إذا كانت الدارة آمنة. وبدلاً من الغرق في العدد الهائل من الاحتمالات، تقوم البرمجية بالتنقل بكفاءة في مشهد الأخطاء، مؤكدة في غضون دقائق ما إذا كانت الدارة يمكنها تحمل أخطاء متعددة متزامنة دون إفساد النتيجة النهائية.
وقد أظهر الباحثون قوة نهجهم من خلال اختبار دارات مصممة لإعداد "الحالات السحرية" لأكواد كمومية ذات أحجام مختلفة. فقد نجحوا في التحقق من سلامة الدارات المخصصة لكود بمسافة ثلاثة (distance three)، والذي يمكنه معالجة خطأ واحد، وكود أكثر تعقيداً بمسافة خمسة (distance five)، والذي يمكنه معالجة خطأين. وبالنسبة لدارة المسافة خمسة، أكملت البرمجية عملية التحقق في ما يزيد قليمًا عن أربع دقائق على حاسوب محمول، وهي مهمة كانت ستكون بطيئة للغاية باستخدام الطرق السابقة. كما استخدم الفريق أداتهم لتصميم دارة جديدة أكثر كفاءة لكود المسافة خمسة؛ فمن خلال الإزالة المتكررة للأجزاء غير الضرورية من تصميم موجود والتحقق فوراً مما إذا كان الهيكل المتبقي لا يزال آمناً، أنتجوا دارة تستخدم عدداً أقل بكثير من الاتصالات مقارنة بالتصميم الأصلي. ولم يكن هذا التصميم الجديد نظرياً فحسب؛ بل أجرى الباحثون عمليات محاكاة صاخبة للتأكد من أن الدارة تعمل كما هو متوقع، حيث أظهرت أن معدل الخطأ المنطقي ينخفض مع انخفاض معدل الخطأ الفيزيائي، تماماً كما ينبغي لنظام متحمل للخطأ أن يفعل.
وقد تضمن جزء رئيسي من هذا العمل معالجة تحدٍ محدد ينشأ عند استخدام هذه البوابات الكمومية المحددة. ففي الدارات الكمومية الأبسط، تسلك الأخطاء سلوكاً مباشراً، ولكن في الدارات التي درسها الفريق، يمكن أن تصبح الأخطاء مزيجاً معقداً من أنواع مختلفة من الأخطاء التي لا تسلك سلوك الأخطاء القياسية. وقد أظهر الباحثون أنه على الرغم من هذا التعقيد، فإن هذه الأخطاء المختلطة لا تزال تندرج تحت فئة يمكن وصفها وتتبعها بكفاءة. كما أثبتوا أنه حتى عندما تتفاعل هذه الأخطاء مع القياسات المستخدمة للكشف عن الأخطاء، فإن النتيجة تظل قابلة للتنبؤ بما يكفي للتحقق من السلامة. ويسمح هذا الاكتشاف بتجنب الحاجة إلى قدرة حوسبية هائلة كانت ستتطلبها عملية توسيع هذه الأخطاء المعقدة إلى مكوناتها الأبسط. إن إثبات أن هذه المجموعة من البوابات قادرة ليس فقط على إعداد الحالات السحرية، بل وأيضاً أسهل بكثير في التحقق منها، قد فتح الطريق أمام تصميم حواسيب كمومية أكثر كفاءة.
كما تسلط الدراسة الضوء على أوجه القصور في النهج السابقة؛ حيث لاحظ الباحثون أن تقنية شائعة تُستخدم لتبسيط عملية التحقق، والتي تتضمن استبدال بوابات معينة معقدة بأخرى أبسط، يمكن أن تخفي أحياناً أخطاءً خطيرة. ومن خلال الالتزام بالمجموعة الكاملة من البوابات التي درسوها، ضمنوا عدم التغاضي عن أي نقاط فشل محتملة. ويشير عملهم إلى أن مستقبل الحوسبة الكمومية قد يكمن في إيجاد هذه "النقاط المثالية" حيث تكون البوابات معقدة بما يكفي للقيام بعمل مفيد، وبسيطة بما يكفي ليتم فحصها بدقة. إن القدرة على التحقق من هذه الدارات بسرعة تعني أن المهندسين يمكنهم الآن تجربة تصميمات جديدة بحرية أكبر، مما قد يؤدي إلى حواسيب كمومية تتطلب موارد أقل وتكون أكثر متانة ضد الأخطاء الحتمية للعالم الفيزيائي. ويعمل الباحثون بالفعل على دمج أداتهم مع منصات برمجية كمومية أوسع، بهدف جعل عملية التحقق هذه جزءاً قياسياً من سير عمل التصميم للجيل القادم من الآلات الكمومية.
ملخص تقني: التحقق السريع من دوائر تحضير الحالة السحرية المتحملة للأخطاء باستخدام مجموعة بوابات CNOT + T
بيان المشكلة يُعد تحضير الحالة السحرية (Magic state preparation) عملية بالغة الأهمية وتستهلك موارد ضخمة في الحوسبة الكمومية المتحملة للأخطاء (FTQC). وبينما أدت طرق مثل تقطير الحالة السحرية (magic state distillation) إلى تحسين تقديرات الموارد، إلا أنها غالبًا ما تعتمد على افتراضات تقاربية أو أكواد محددة (مثل أكواد السطح - surface codes). وفي المدى القريب، هناك اهتمام بتحضير الحالات السحرية مباشرة على أكواد صغيرة وثابتة (مثل الأكواد الملونة - color codes) دون الحاجة للتقطير. ومع ذلك، فإن التحقق من تحمل الخطأ (fault tolerance) لهذه الدوائر يمثل تحديًا حاسوبيًا. فخلافًا لدوائر كليفورد (Clifford circuits)، حيث تنتشر أخطاء باولي (Pauli faults) لتصبح أخطاء باولي، فإن الدوائر غير الكليفوردية (تحديدًا تلك التي تحتوي على بوابات T) تسبب انتشار أخطاء باولي إلى هياكل خطأ أكثر تعقيدًا. هذا التعقيد يجعل التحقق اليدوي غير ممكن، ويجعل أدوات البرمجيات الحالية غير كافية، لا سيما للدوائر التي تتجاوز المسافة الثالثة (distance three)، نظرًا للنمو الأسي لتركيبات الخطأ التي يجب فحصها.
المنهجية يقترح المؤلفون قصر دوائر تحضير الحالة السحرية على مجموعة بوابات CNOT + T. ويوضحون أنه ضمن هذه المجموعة المقيدة، يؤدي انتشار أخطاء باولي إلى أخطاء تظل ضمن فئة محددة يمكن تمثيلها بكفاءة تُعرف باسم مؤثرات كليفورد والباولي القطرية (Diagonal Clifford and Pauli - DCP).
تتضمن المنهجية الجوهرية ما يلي:
خصائص مؤثرات DCP: يثبت المؤلفون أن مجموعة بوابات CNOT + T تحافظ على بنية DCP تحت عملية الترافق (conjugation). يُعرَّف مؤثر DCP بأنه حاصل ضرب كليفورد قطري ومؤثر باولي. يسمح هذا بتمثيل الأخطاء بكفاءة (باستخدام O(n2) بت)، بدلاً من الحاجة إلى مساحة أسية كما في دوائر Clifford + T العامة حيث قد لا تكون الأخطاء من نوع DCP.
انتشار الخطأ والاختيار اللاحق (Post-Selection): تقوم الخوارزمية بنشر أخطاء باولي عبر الدائرة لتوليد أخطاء DCP الناتجة. ويتمثل التحدي الرئيسي الذي تمت معالجته في التعامل مع الاختيار اللاحق على قياسات المساعد (ancilla measurements). فخلافًا لأخطاء باولي، لا تتبادل مؤثرات DCP مع مؤثرات القياس (commute/anti-commute) بشكل حتمي. وقد طور المؤلفون إجراءً لتحديث أخطاء DCP شرطيًا بناءً على نتائج القياس (محور Z ومحور X)، مما يضمن بقاء الخطأ الشرطي الناتج كمؤثر DCP.
التحقق من الوزن (Weight Verification): للتحقق من تحمل الخطأ، تتحقق الخوارزمية مما إذا كان خطأ المخرجات الشرطي (بعد الاختيار اللاحق) إما مكتشفًا أو أن وزنه ≤s (حيث s=⌊d/2⌋). وبما أن الخطأ هو مؤثر DCP (مزيج خطي من سلاسل باولي)، فقد أظهر المؤلفون كيفية تفكيك مكون كليفورد القطري إلى مجموع من سلاسل باولي. ويتحققون من أن كل حد في هذا المجموع له وزن ≤s.
التعامل مع المثبتات (Stabilizers): يعالج المؤلفون مشكلة كون الحالات السحرية مستقرة بواسطة مؤثرات كليفورد غير باولي (مثل e−iπ/4SX لـ T∣+⟩). ولتحديد الأخطاء "الجيدة" التي تعادل المحايد (identity) على فضاء الكود بشكل صحيح، تتحقق الخوارزمية من دمج الخطأ مع جميع مثبتات كليفورد الممكنة للحالة السحرية.
المساهمات الرئيسية
مكتبة Comb: يقدم المؤلفون Comb، وهي مكتبة مفتوحة المصدر تنفذ الخوارزمية المقترحة. تقوم Comb بتكرار تركيبات الأخطاء في دوائر CNOT + T للتحقق من تحمل الخطأ بكفاءة.
الإطار النظري: يضع البحث الأساس النظري لمعاملة مؤثرات DCP كفئة الخطأ الطبيعية لدوائر CNOT + T، على غرار كيفية عمل مؤثرات باولي لدوائر كليفورد. يتضمن ذلك براهين بشأن الحفاظ على بنية DCP وطرق فعالة للاختيار اللاحق والتحقق من الوزن.
اكتشاف دائرة جديدة: باستخدام Comb، اكتشف المؤلفون دائرة تحضير حالة سحرية جديدة للمسافة الخامسة (distance-five) لكود اللون [[17,1,5]]. تم العثور على هذه الدائرة عن طريق الإزالة المتكررة لـ flag ancillas من بناء معروف مع التحقق من تحمل الخطأ في كل خطوة، مما نتج عنه دائرة تحتوي على عدد بوابات CNOT أقل بنسبة 30% من النسخة الأصلية.
النتائج يستعرض المؤلفون أداء Comb على جهاز كمبيوتر محمول قياسي (Intel Core i7, 16GB RAM):
سرعة التحقق: قامت Comb بالتحقق من تحمل الخطأ لدائرة تحضير حالة سحرية للمسافة الخامسة (تحتوي على 196 بوابة ثنائية الكيوبت) في حوالي 4 دقائق و55 ثانية. بينما تم التحقق من دائرة للمسافة الثالثة في أقل من 33 ثانية.
المقارنة: نجحت المكتبة في التحقق من دوائر كان من الصعب تحليلها سابقًا، بما في ذلك نسخة غير متحملة للخطأ (والتي فشلت بشكل صحيح في الاختبار) ونسخ محسنة.
التحقق من الصحة: لتأكيد صحة Comb، أجرى المؤلفون عمليات محاكاة للدوائر على مستوى الضجيج باستخدام SymFT للدوائر المختبرة. وقد تناقصت معدلات الخطأ المنطقي المحاكية باتساق مع نتائج Comb (على سبيل المثال، L∼p لغير المتحمل للخطأ، و L∼p2 للمسافة 3، و L∼p3 للمسافة 5).
كفاءة الموارد: أظهرت الدائرة المكتشفة بواسطة Comb للمسافة الخامسة والمحسنة تحسنًا في معدلات قبول الاختيار اللاحق وتقليل عمق الدائرة مقارنة بالنسخ غير المحسنة، رغم أن المؤلفين أشاروا إلى أن نماذج المحاكاة لم تتضمن أخطاء الذاكرة (مثل إلغاء التماسك - dephasing) والتي قد تصب في مصلحة الدائرة الأقصر في التجارب الفيزيائية.
الأهمية والادعاءات يزعم البحث أن قصر تحضير الحالة السحرية على مجموعة بوابات CNOT + T يقلل بشكل كبير من العوائق أمام التحقق من تحمل الخطأ، مما يسمح بالتصميم التكراري للدوائر للمسافات التي تتجاوز ثلاثة. ويضع المؤلفون Comb كأداة لتسهيل اكتشاف دوائر جديدة موفرة للموارد قد لا تكون واضحة من خلال الطرق التحليلية وحدها. ويقترحون أن هذا النهج يمكن أن يؤدي إلى توليد دوائر تحضير الحالة السحرية بنظام الحلقة المغلقة (closed-loop)، وربما باستخدام وكلاء الذكاء الاصطناعي لاقتراح وتدقيق التصاميم. يحفز هذا العمل المزيد من الاستقصاء حول إعادة كتابة دوائر ZX calculus المقابلة لدوائر CNOT + T المتحملة للخطأ، مما يوسع النتائج الحالية التي كانت مقتصرة على دوائر كليفورد. ويظل المؤلفون متواضعين في طرحهم، مشيرين إلى أنه بينما التنفيذ الحالي أحادي الخيط (single-threaded)، فإن المشكلة قابلة للتوازي بطبيعتها، ويمكن للتحسينات المستقبلية أن توسع قدرات التحقق لتشمل دوائر المسافة السابعة.