HTM: A Hybrid Classical-Quantum Computation Model

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

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

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

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

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

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

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

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