Demand-Driven Routing Space for Lattice-Surgery Compilation

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

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

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

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

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

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

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

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

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