Polynomial-time simulation of non-Clifford quantum error correction

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

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

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

ولجعل هذا الاكتشاف مفيدًا، قدم الفريق طريقة جديدة للنظر في هذه الحالات، أطلقوا عليها اسم "صيغة كليفورد-بولي القطرية" (diagonal-Clifford-and-Pauli formalism). بعبارات أبسط، وجدوا طريقة لتمثيل الحالة الكمومية المعقدة باستخدام مجموعة من المؤثرات المثبتة التي يسهل إدارتها. هذه المؤثرات مبنية من مزيج من البوابات الكمومية الأساسية والعمليات القطرية التي تغير أطوار الحالات. ومن خلال تتبع هذه المؤثرات بدلاً من الدالة الموجية الكاملة، تمكن الباحثون من تحديث حالة النظام بعد كل بوابة وكل عملية قياس في زمن ينمو بشكل متعدد الحدود مع حجم النظام. وهذا يعني أن مضاعفة عدد الكيوبتات لا تضاعف الوقت المطلوب لمحاكاة الدائرة؛ بل يزدัง الوقت بمعدل يمكن التحكم فيه، مما يسمح بمحاكاة أنظمة أكبر بكثير مما سبق.

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

قام الفريق بتنفيذ هذه النتائج في حزمة برمجيات مفتوحة المصدر تسمى "Merlin". واختبروا "Merlin" مقابل عدة محاكيات موجودة في دوائر مصممة لتقطير الحالة السحرية (magic state distillation)، وهي عملية تُستخدم لتنقية الحالات الكمومية الصاخبة إلى حالات عالية الجودة، وتبديل الكود (code switching)، والذي يتضمن تغيير كود تصحيح الخطأ المستخدم في الحاسوب. وفي الاختبارات التي شملت بروتوكول "Bravyi-Haah" للتقطير، حيث تزداد المخرجات المنطقية، أظهر "Merlin" قدرة أفضل بكثير في التوسع من حيث وقت التشغيل واستخدام الذاكرة مقارنة بالأدوات الأخرى. وبينما فشلت المحاكيات الأخرى في إكمال محاكاة دائرة تبديل الكود بناءً على كود كبير محدد بسبب استنفاد الذاكرة، نجح "Merlin" في محاكاة العملية بأكملها. يسلط هذا النجاح الضوء على قوة تكميلية: فبينما تكون الطرق الأخرى أسرع في الدوائر الصغيرة والبسيطة، يتميز "Mermin" عندما يزداد عدد المخرجات المنطقية، وهو النطاق الضروري لتقييم البروتوكولات عالية المعدل.

تمتد آثار هذا العمل إلى ما هو أبعد من مجرد المحاكاة الأسرع. فمن خلال توفير إطار عمل يمكنه تتبع الحالات الداخلية لهذه الدوائر المعقدة بدقة، منح الباحثون المجتمع أداة قوية لتصميم واختبار بنيات مقاومة للأخطاء. لقد أظهروا أن شروط المحاكة الفعالة مستوفاة في مجموعة متنوعة من البروتوكولات، بما في ذلك تلك القائمة على البوابات العرضية (transversal gates)، وتحديد القياس (gauge fixing)، واستخراج المتلازمة (syndrome extraction). وهذا يعني أن المهندسين يمكنهم الآن استخدام "Merlin" لتقييم أداء مخططات تصحيح الخطأ الجديدة عند أحجام أنظمة لم يكن الوصول إليها ممكناً من قبل. إن القدرة على محاكاة هذه الدوائر بدقة، ودون تقريب، تسمح بتقييم دقيق لمعدلات الخطأ المنطقي والاحتياجات الإضافية للموارد، وهي عوامل حاسمة في تحديد ما إذا كان تصميم الحاسوب الكمومي قابلاً للتطبيق.

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

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