Linear-Time Encodable Quantum Codes near the CSS GV Bound

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

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

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

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

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

استُلهم بناء هذا الكود من تقنية مشابهة مستخدمة في الحوسبة الكلاسيكية، تُعرف باسم أكواد "التكرار والتراكم" (repeat-accumulate codes)، ولكن كان على الباحث تعديل الطريقة بشكل كبير لتعمل في المجال الكمومي. لقد فشلت الترجمة المباشرة للطريقة الكلاسيكية لأنها أنتجت أكواداً كانت ضعيفة جداً لحماية المعلومات الكمومية. وحل الباحث هذه المشكلة من خلال دمج خطوات التراكم القياسية مع خطوة "المشتق" (derivative)، التي تحسب الفرق بين البتات المتجاورة. يضمن هذا الإضافة بقاء الكود قوياً حتى عند النظر إليه من منظور "المزدوج" (dual) الخاص به، وهو شرط ضروري للاستقرار الكمومي. كما استبدل خطوة تكرار بسيطة بفحص تكافؤ (parity check) أكثر تطوراً، مما يسمح للكود بحمل المزيد من المعلومات مع الحفاظ على قوته الحمائية.

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