Lifted surgery for non-Abelian two-block group-algebra codes

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

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

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

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

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

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