Unconditionally successful quantum Time-Marching algorithm via LCU for nonlinear Burgers equation

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

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

المقامرة الكمومية: تحويل الخلل إلى ميزة

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

إذا كنت تحتاج لاتخاذ خطوة واحدة فقط، فهذا أمر جيد. ولكن إذا كنت بحاجة للمضي قدماً في الزمن — الخطوة 1، الخطوة 2، الخطوة 3، وصولاً إلى الخطوة 1,000 — فإن احتمالات النجاح في جميع تلك الخطوات دون فشل واحد تصبح ضئيلة للغاية. الأمر يشبه رمي عملة معدنية 1,000 مرة والأمل في أن تظهر "صورة" في كل مرة. تحاول معظم الطرق الكمومية الحالية إصلاح ذلك باستخدام "تضخيم السعة" (amplitude amplification)، وهو ما يشبه محاولة إجبار العملة على الاستقرار على "الصورة"، لكن هذا يجعل الدائرة الكمومية عميقة ومعقدة للغاية، مما يستهلك الموارد.

طرح المؤلفون سؤالاً مختلفاً: ماذا لو لم نحاول إجبار العملة على الاستقرار على "الصورة"؟ ماذا لو صممنا اللعبة بحيث يكون كلا الوجهين (الصورة والكتابة) هما الحركة الصحيحة التالية، ولكن بطرق مختلفة؟

غاز الشبكة: شبكة من الجسيمات الراقصة

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

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

الاختراق "غير المشروط"

هذا هو جوهر اكتشافهم: لقد أظهروا أنه يمكنك ترجمة قواعد لعبة غاز الشبكة العشوائية هذه مباشرة إلى دائرة كمومية باستخدام إطار عمل LCU.

في إعدادهم، يمتلك الحاسوب الكمومي "أنسيلا" (ancilla) (كيوبت مساعد إضافي) يعمل كرامي للعملة.

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

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

الأمر يشبه المشي في متاهة حيث يؤدي كل مسار تسلكه إلى نقطة التفتيش التالية، بدلاً من وجود طرق مسدودة تجبرك على العودة إلى البداية — ولكن فقط إذا وافقت على اتخاذ منعطفات يميناً ويساراً بتكرار متساوٍ تماماً.

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

ما الذي لا يعمل (ولماذا يهم ذلك)

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

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

الصورة الكبيرة

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

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

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