Puncturing for Adaptive Entanglement-Assisted Stabilizer Codes

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

ويقدم إصدار أكثر تقدماً من شبكة الأمان هذه، يسمى "الكود المدعوم بالتشابك" (entanglement-assisted code)، حماية أكبر من خلال استخدام مورد يُعرف باسم "التشابك المشترك مسبقاً". تخيل شخصين، مرسل ومستقبل، يتشاركان زوجاً من الجسيمات المترابطة قبل بدء أي عملية اتصال. هذا الرابط، المعروف بزوج "بيل" (Bell pair)، يسم يسمح لهما بتنسيق أفعالهما بطريقة مستحيلة باستخدام الجسيمات العادية. ومن خلال استخدام هذه الروابط المشتركة مسبقاً، يمكن للمرسل نقل المعلومات بكفاءة أكبر وحماية أقوى من الأخطاء مما هو ممكن بدونها. ومع ذلك، هناك عقبة: هذه الروابط المتشابكة يصعب إنشاؤها وتخزينها؛ فهي تتدهور بمرء الوقت، والمعدات اللازمة للاحتفاظ بها محدودة. وإذا لم يكن لدى المرسل والمستقبل ما يكفي من الروابط عالية الجودة في اللحظة التي يحتاجان فيها إلى التواصل، فإن أقوى الأكواد تصبح غير قابلاً للاستخدام، مما يترك النظام عرضة للخطر.

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

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

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

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

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

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