Single-Shot Decoding and Fault-tolerant Gates with Trivariate Tricycle Codes

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

تقدم دراسة جديدة نهجاً جديداً لهذا التحدي، حيث تصف عائلة من الأكواد تسمى "أكواد الترايسيكيكل ثلاثية المتغيرات" (trivariate tricycle codes). هذه طريقة متطورة لترتيب البتات الكمية تجمع بين عدة سمات مرغوبة للغاية في حزمة واحدة. وجد الباحثون أن هذه الأكواد يمكنها تخزين المعلومات بهدر أقل بكثير من "كود توريك ثلاثي الأبعاد" (three-dimensional toric code) القياسي، وتتحمل معدلاً عالياً بشكل مفاجئ من الأخطاء قبل الفشل، وتسمح بنوع معين من فك التشفير السريع الذي يوفر الوقت. ومع ذلك، من المهم ملاحظة أنه بينما تقدم هذه الأكواد تحسينات كبيرة مقارنة بالأكواد الطوبولوجية، فإن كفاءتها الإجمالية (من حيث المعدلات والمسافات النسبية) هي عموماً أقل جودة من فئة أخرى من التصاميم المعروفة باسم "أكواد البايسيكل ثنائية المتغيرات" (bivariate bicycle codes). والأهم من ذلك، أنها تمكن من أداء عمليات منطقية معقدة مباشرة على البيانات المخزنة دون الحاجة إلى تفكيك الكود، وهي ميزة يمكن أن تسرع الحسابات الكمية المستقبلية بشكل كبير، رغم أن النسخ الأكثر كفاءة القادرة على إجراء هذه العمليات المعقدة تأتي مع مقايضات فيما يتعلق بقدرتها على تحمل الأخطاء.

يتضمن جوهر هذا العمل طريقة جديدة لتنظيم الروابط بين البتات الفيزيائية التي تشكل الحاسوب. تخيل شبكة لا تكون فيها البتات مجرد جيران فحسب، بل ترتبط بنمط ثلاثي الأبعاد مع بعض الاتصالات بعيدة المدى، مما يسمح للنظام بـ "رؤية" الأخطاء من مسافة بعيدة. بنى الباحثون هذه الأكواد باستخدام بنية رياضية تعتمد على ثلاثة كثيرات حدود متميزة، والتي تعمل بمثابة مخططات لكيفية ترتيب البتات وعمليات التحقق الخاصة بها. يخلق هذا الهيكل نظاماً يتم فيه فحص البتات بحثاً عن الأخطاء بطريقة تولد معلومات إضافية، تسمى "التحققات الميتا" (meta-checks). تعمل هذه التحققات الميتا كطبقة ثانوية من التحقق، مما يسمح للحاسوب برصد وإصلاح الأخطاء في عملية فحص الخطأ نفسها، وليس فقط في البيانات. هذه الميزة حاسمة لأنها تمكن من "فك التشفيد بضربة واحدة" (single-shot decoding)، وهي تقنية حيث يمكن للحاسوب تحديد الحالة الصحيحة للبيانات بعد جولة واحدة فقط من الفحص، بدلاً من الحاجة إلى الانتظار لعدة جولات للتأكد من النتيجة.

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

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

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

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