Subsystem self-correction of the GKP qubit

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

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

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

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

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

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

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

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

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