A QSVT-Based Quantum Jacobi Algorithm for Linear Systems with Application to the Poisson Equation
تقدم هذه الورقة خوارزمية جاكوبي كمومية تعتمد على تحويل القيم المفردة الكمومية (QSVT) تقوم بحل الأنظمة الخطية المتفرقة الكبيرة الناشئة عن المعادلات التفاضلية الجزئية بكفاءة، مثل معادلة بواسون في ديناميكا السوائل الحسابية، وذلك من خلال إعادة صياغة خطوات جاكوبي التكرارية كتحويلات متعددة الحدود مع عبء ثابت للمساعدين (ancilla) وتدرج خطي في عمق الدارة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
يعد التنبؤ بكيفية حركة السوائل حجر الزاوية في الهندسة الحديثة، بدءاً من تصميم أجنحة الطائرات الفعالة وصولاً إلى نمذجة أنماط الطقس. وللقيام بذلك، يقوم العلماء بتفكيك المعادلات المعقدة والدوامة التي تحكم تدفق السوائل إلى شبكة ضخمة من النقاط. وعند كل نقطة، يجب على الحاسوب حل علاقة بسيطة بين جيرانها. وعند دمج هذه العلاقات معاً، فإنها تشكل لغزاً ضخماً من المعادلات الخطية. ويعد حل هذا اللغز الجزء الأكثر استهلاكاً للوقت في المحاكاة، حيث يستهلك غالباً معظم وقت الحاسوب الخارق. وعلى مدى عقود، اعتمد المهندسون على الطرق التكرارية لحل هذه الألغاز، وهي عملية تشبه تحويل مسودة خشنة إلى رسم تفصيلي من خلال تعديل الخطوط بشكل متكرر حتى تستقر في شكلها الصحيح. وبينما تتعامل الحواسيب الكلاسيكية مع هذا الأمر بشكل جيد، فإن الحجم الهائل للشبكات المطلوبة للمحاكاة الواقعية يدفع حتى أقوى الآلات إلى أقصى حدودها.
يوفر الحوسبة الكمومية مساراً مختلفاً، حيث تعد بالتعامل مع هذه الشبكات الضخمة من خلال ترميز المعلومات في الحالات الغريبة والمتداخلة للجسيمات الكمومية. ومع ذلك، فإن معظم النهج الكمومية الحالية تحاول حل ألغاز السوائل هذه عن طريق عكس الهيكل الرياضي بأكتها دفعة واحدة، وهي طريقة غالباً ما تكون صلبة للغاية أو تستهلك موارد كبيرة بالنسبة للطبيعة المحددة خطوة بخطوة لمحاكاة السوائل. وقد طور فريق من الباحثين الآن خوارزمية كمومية جديدة تحترم الروح التكرارية للهندسة الكلاسيكية. فبدلاً من إجبار الحاسوب الكمومي على عكس النظام بأكمله، قاموا بتكييف طريقة "جاكوبي" الكلاسيكية — وهي تقنية تعديل بسيطة ومتكررة — لتعمل على الأجهزة الكمومية. وتظهر أعمالهم أنه باستخدام أداة رياضية محددة تسمى "تحويل القيمة المفردة الكمومية"، يمكنهم إجراء هذه التعديلات المتكررة بكفاءة، مع الحفاظ على ثبات عدد البتات الكمومية الإضافية المطللة بغض النظر عن عدد خطوات الحساب.
ركز الباحثون، الذين عملوا مع مؤسسات تشمل فولكس فاجن ومركز الفضاء الألماني، على نوع معين من المشكلات الشائعة في ديناميكا السوائل: معادلة "بواسون". تظهر هذه المعادلة كلما احتاج العلماء إلى ضمان بقاء تدفق السائل متسقاً، مثل حساب تغيرات الضغط في محاكاة لحركة الهواء فوق سيارة أو داخل صندوق. وفي محاكاة الحاسوب القياسية، يتضمن حل هذه المعادلة حلقة حيث يقوم الحاسوب بتخمين حل، ثم يتحقق من الخطأ، ثم يصحح التخمين، ويكرر هذه الدورة مئات أو آلاف المرات. وقد ترجم الفريق هذه الحلقة إلى دائرة كمومية. فقد أدركوا أن كل خطوة من خطوات التصحيح يمكن اعتبارها تحويلاً متعدد الحدود، وهي عملية رياضية تعيد تشكيل القيم في النظام. ومن خلال استخدام تحويل القيمة المفردة الكمومية، تمكنوا من تطبيق هذا التشكيل مباشرة على الحالة الكمومية التي تمثل السائل، مما يؤدي فعلياً إلى تنفيذ العديد من خطوات التصحيح في عملية كمومية واحدة متماسكة.
كانت إحدى العقبات الرئيسية في المحاولات السابقة لتشغيل الطرق التكرارية على الحواسيب الكمومية هي تراكم الموارد. ففي كل مرة يقوم فيها الحاسوب الكمومي بضرب مصفوفتين لأداء خطوة في الحساب، فإنه يتطلب عادةً بتات ذاكرة إضافية، تُعرف باسم "الكيوبتات المساعدة" (ancilla qubits)، للاحتفاظ بالنتائج الوسيطة. وفي النسخ الكمومية القديمة من طريقة "جاكوبي"، كان عدد هذه البتات الإضافية ينمو خطياً مع عدد الخطوات، مما يؤدي سريعاً إلى استنفاد القدرة المحدودة للأجهزة الكمومية الحالية. وتحل الخوارزمية الجديدة هذه المشكلة من خلال إعادة صياغة التكرار بحيث تظل البتات الإضافية ثابتة. وقد أظهر الباحثون أن طريقتهم تتطلب فقط عدداً ثابتاً وصغيراً من الكيوبتات الإضافية، بغض النظر عما إذا كانت المحاكاة تجري لعشر خطوات أو مائة خطوة. ويأتي هذا الكفاءة على حساب عمق الدائرة الذي ينمو خطياً مع عدد التكرارات، ولكن هذا المقايضة تعتبر مواتية لأنها تتجنب الانفجار الأسي للموارد الذي عانت منه المحاولات السابقة.
ولاختبار فكرتهم، قام الفريق بمحاكاة الخوارزمية على حاسوب كلاسيكي لمعرفة كيف ستتصرف على آلة كمومية حقيقية. طبقوها أولاً على مشكلة بسيطة أحادية البعد، وهي نموذج أساسي لضغط السائل، ووجدوا أن الخوارزمية الكمومية أعادت إنتاج نفس نتائج الطريقة الكلاسيكية، مع أخطاء صغيرة جداً لدرجة أنها كانت معدومة فعلياً. ثم انتقلوا إلى سيناريو أكثر تعقيداً ثنائي الأبعاد: تدفق الهواء داخل صندوق مربع حيث يتحرك الغطاء العلوي، ساحباً الهواء معه. هذا اختبار قياسي في الهندسة يُعرف باسم "تدفق التجويف المدفوع بالغطاء". في هذه المحاكاة، يجب حل معادلة الضغط بشكل متكرر مع تحرك السائل. وأظهر الباحثون أن نهجهم الكمومي يمكنه التعامل مع حسابات الضغط لهذا السائل المتحرك، مطابِقاً الحل الكلاسيكي بدقة عالية. كما عالجوا صعوبة تقنية حيث لم يتوافق الهيكل الرياضي لمعادلات السوائل تماماً مع متطلبات أداتهم الكمومية. ووجدوا أنه من خلال تعديل الشروط الحدية للمشكلة قليلاً، يمكنهم جعل المعادلات متوافقة دون التأثير بشكل كبير على النتيجة الفيزيائية النهائية، وهو تسوية صمدت جيداً في عمليات المحاكاة الخاصة بهم.
تؤكد الدراسة أن هذا النهج القائم على كثيرات الحدود هو لبنة بناء قابلة للتطبيق لمحاكاة السوائل الكمومية المستقبلية. فهو يجعل الحوسبة الكمومية أكثر توافقاً مع الاستراتيجيات التي يستخدمها المهندسون اليوم، بدلاً من إجبار مشكلات السوائل على القالب المصمم للرياضيات البحتة. وبينما تعد العمل الحالي محاكاة وتعتمد على افتراض إمكانية هيكلة معادلات السوائل بطريقة معينة، فإن النتائج تشير إلى مسار واضح للمضي قدماً. ويشير المؤلفون إلى أن هذه الطريقة يمكن أن تعمل في النهاية كمكون في سير عمل كمومي أكبر وأكثر تقدماً، مثل الطرق متعددة الشبكات (multigrid methods)، والتي تعد المعيار الذهبي لتسريع محاكاة السوائل على الحواسيب الكلاسيكية. ومن خلال إثبات أن عملية تعديل بسيطة ومتكررة يمكن ترميزها بكفاءة في دائرة كمومية، قدم الباحثون خطوة عملية نحو إدخال الحوسبة الكمومية في الأدوات اليومية لديناميكا السوائل الحسابية.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.