Stabilizer codes over general phase spaces

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

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

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

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

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

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

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

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

طوال دراستهم، استخدم المؤلفون إطارًا رياضيًا طوره مارك ريفيل، يربط ميكانيكا الكم بمجال يسمى الهندسة غير التبادلية (noncommutative geometry). يعامل هذا الإطار فضاء الحالات الكمومية ككائن هندسي، مما يسمح للباحثين باستخدام الحدس الهندسي لحل المشكلات الكمومية. وقد وجدوا أن "فضاء المتلازمات" (syndrome space)، وهو الفضاء حيث تُخزن معلومات الخطأ، يمكن النظر إليه كحزمة من الألياف (bundle of fibers). كل ليف يتوافق مع نمط خطأ معين، والكود يعيش في أحد هذه الألياف. ساعد هذا المنظور الهندسي في إثبات أن بُعد الكود يساوي حجم الشبكة، وهي نتيجة تنطبق على جميع الأنظمة التي درسوها.

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

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

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