Error Correction Properties of Covariant Bosonic Encodings

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

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

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

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

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

يتعلق أحد أهم النتيات بطبيعة التمثيل المنطقي المستخدم لتخزين البيانات. فقد أظهر الباحثون أنه إذا تم تخزين المعلومات المنطقية بطريقة تكسر تناظرات معينة، فإن الكود يصبح عرضة لأنواع محددة من الأخطاء، وخاصة تلك التي تسبب "إلغاء الطور بدون قفزة" (no-jump dephasing)، حيث تفقد المعلومات طورها دون فقدان أي فوتونات فعليًا. ومع ذلك، من خلال اختيار "تمثيل غير قابل للاختزال" (irreducible representation)، حيث ترتبط المعلومات المنطقية ارتباطًا وثيقًا بتناظر المجموعة، يمكن للكود الحماية من أخطاء إلغاء الطور هذه أيضًا. هذا التمييز أمر بالغ الأهمية لتصميم ذواكر كمية قوية. كما حدد الفريق أن بعض الأكواد، رغم افتقارها إلى "المثبتات" (stabilizers) التقليدية التي تُستخدم عادةً للكشف عن الأخطاء، لا تزال قادرة على تصحيح الأخطاء بفعالية بسبب بنية التناظر الأساسية.

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

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