Qubit-Efficient Quantum Algorithm for Linear Differential Equations

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

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

---

خدعة الكيوبت الواحد السحرية

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

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

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

لماذا يعد هذا أمراً هاماً

معظم الخوارزميات الكمومية "المثالية" السابقة لهذه المسائل تشبه قطارات فائقة السرعة تسير على قضبان لم تُبنَ بعد. فهي تتطلب تقنيات متقدمة مثل "الترميز الكتلي" (block encoding) أو "التركيبات الخطية للوحدات" (linear combinations of unitaries)، وهي تقنيات جميلة رياضياً ولكنها تتطلب كميات هائلة من الأجهزة الإضافية (عشرات الكيوبتات) ودوائر تحكم معقدة. يجادل المؤلفون بأنه بينما قد تكون تلك الطرق أسرع في المستقبل البعيد، إلا أنها عديمة الفائدة للحواسيب الكمومية التي نبنيها اليوم.

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

اختبار هاتانو-نيلسون

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

قاموا بتشغيل محاكاتهم باستخدام مجموعة أدوات برمجية تسمى Qiskit، واختبروها تحت ظروف مختلفة:

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

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

المقايضة: السرعة مقابل البساطة

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

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

ما الخطوة التالية؟

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

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