Quantum Counting in the Rydberg Blockade
يقترح المؤلفون ويبرهنون تجريبياً على خوارزمية كمومية أصلية على الحواسيب الكمومية ذات الذرات المتعادلة، والتي تستخدم ديناميكيات حظر ريدبرج لإنشاء تراكبات للحلول لمسائل (2SAT) المستوية، مما يتيح العد التقريبي الفعال لأعداد الحلول من خلال أخذ العينات.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
يعد العد أحد أكثر المهام جوهرية في الفكر البشري، ومع ذلك، يمكن أن يمثل كابوساً بالنسبة للحواسيب. فبينما يمكن للآلة بسهولة إيجاد حل واحد لمسألة معقدة، مثل تنظيم جدول زمني أو توجيه شبكة، فإن تحديد عدد الحلول المختلفة بدقة هو مسأ soit أصعب بكثير. تقع هذه الصعوبة في قلب العديد من التحديات في الذكاء الاصطناعي، وموثوقية الشبكات، وفيزياء المواد. لعقود من الزمن، علم العلماء أن عد هذه الاحتمالات غالباً ما يكون صعباً للغاية لدرجة أنه لا توجد طريقة فعالة للحالات الأكثر تعقيداً. وبدلاً من الاستسلام، اتجه الباحثون نحو التقريب، سعياً لتقدير العدد الإجمالي للحلول بدلاً من إيجاد الرقم الدقيق. وهنا يأتي دور الحوسبة الكمومية الواعد، حيث تقدم طريقة جديدة لاستكشاف هذه المساحات الشاسعة من الاحتمالات، ليس عن طريق حسابها واحداً تلو الآخر، بل عبر ترك قوانين الفيزياء تقوم بالعمل الشاق.
لقد أظهر فريق من الباحثين في المعهد الكمومي (Institut quantique) في شيربروك، كيبيك، الآن طريقة عملية لإجراء هذا النوع من العد التقريبي على نوع محدد من الحواسيب الكمومية المبنية من الذرات المتعادلة. يركز عملهم على فئة من المسائل تُعرف باسم "الرضا عن ثنائية المتغيرات" (2-satisfiability)، والتي تتضمن تحديد عدد الطرق التي يمكن بها استيفاء مجموعة من القواعد المنطقية. طور الباحثون خوارزمية تقوم برسم القواعد المنطقية مباشرة على شبكة فيزيائية من الذرات. في هذا الإعداد، تعمل الذرات كمتغيرات في اللغز، وتفرض تفاعلاتها الفيزيائية القواعد. عندما يتم استثارة الذرات بواسطة الليزر، تدخل في حالة خاصة حيث لا يمكن أن تكون قريبة جداً من بعضها البعض في شكلها المستثار، وهي ظاهرة تُعرف باسم "حظر ريدبرج" (Rydberg blockade). هذا القيد الفيزيائي يمنع النظام طبيعياً من الاستقرار في تكوينات غير صالحة، مما يؤدي فعلياً إلى تصفية الإجابات الخاطئة وترك الحلول الصالحة فقط.
تتضمن النواة الأساسية للطريقة الجديدة عملية تغيير سريع، أو "إخماد" (quench)، حيث يتم دفع النظام فجأة من حالة بسيطة بدايةً إلى شبكة معقدة من الاحتمالات. إذا سُمح للنظام بالتطور لفترة زمنية محددة، فإنه يستقر في حالة تراكب تحتوي على جميع الحلول الصالحة في وقت واحد. ثم يقوم الباحثون بقياس الذرات لمعرفة أي حل سيظهر. ومن خلال تكرار هذه العملية مرات عديدة، يمكنهم جمع مجموعة من العينات. وتكمن براعة هذا النهج في كيفية استخدام هذه العينات: حيث تحدد الخوارزمية المتغير الذي يظهر أكثر من غيره في حالة معينة، وتثبت ذلك المتغير على تلك الحالة، ثم تكرر العملية على المسألة المتبقية الأصغر حجماً. تسمح هذه الخطوة من الاختزال التدريجي للحاسوب بتقدير العدد الإجمالي للحلول عن طريق ضرب الاحتمالات المرصودة في كل خطوة.
لاختبار فكرتهم، قام الفريق أولاً بإجراء محاكاة مكثفة على حاسوب ليروا كيف ستتصرف الخوارزمية في ظروف مثالية. ووجدوا أنه بالنسبة للسلاسل أحادية الأبعاد البسيطة من الذرات، أنتجت الطريقة تقديرات دقيقة للغاية لعدد الحلول. وعندما انتقلوا إلى شبكات مثلثية ثنائية الأبعاد أكثر تعقيداً، ظلت النتائج قوية، رغم ظهور انحياز طفيف. نتج هذا الانحياز عن حقيقة أن التفاعلات الفيزيائية بين الذرات تمتد قليلاً أبعد من جيرانها المباشرين فقط، مما يحابي أنواعاً معينة من الحلول على غيرها. والأهم من ذلك، أظهرت عمليات المحاكاة أن آلية أخذ العينات الأساسية (RydSamp) تحقق أخذ عينات موحدة تقريباً لحالات تصل فيها المتغيرات إلى 10,000 متغير، وهو مقي scale أكبر بعشر مرات مما يمكن الوصول إليه عادةً بواسطة الحلول الكلاسيكية اليوم. وبينما تم اختبار خوارزمية العد الكاملة على حالات أصغر في المحاكاة، فإن هذا التوحيد يشير إلى أن الطريقة قوية بما يكفي للتعامل مع مسائل أكبر بكثير.
جاء الاختبار الحقيقي عندما طبق الباحثون خوارمايتهم على معالج كمومي حقيقي، وهو "أوريون ألفا" (Orion Alpha)، الموجود في منشأة في شيربروك. تستخدم هذه الآلة شبكة من 81 ذرة مرتبة في نمط مثلثي لتمثيل مسألة عد محددة. ولأن الأجهزة التجارية تفتقر إلى القدرة على معالجة كل ذرة بمفردها بدقة تامة، اضطر الفريق لتكييف طريقتهم. فبدلاً من تشغيل عملية الاختزال متعددة الخطوات بالكامل على الرقاقة الكمومية، استخدموا نهجاً هجيناً؛ حيث تركوا الحاسوب الكمومي يتولى الجزء الأكثر صعوبة من المسألة — وهو أخذ عينات من الحلول على قطع محددة من الشبكة — ثم استخدموا حاسوباً كلاسيكياً لإنهاء الحساب. وحتى مع هذا الإعداد المبسط والقيود المفروضة على الأجهزة الحالية، كانت التجربة ناجحة. فقد أنتج المعالج الكمومي تقديرات قريبة جداً من العدد الدقيق في مسار واحد، حيث وقعت ضمن عامل 1.01، بينما أعطى مسار آخر تقديراً ضمن عامل 5.
تشير النتائج إلى أن هذا النهج الأصيل للعد على الحواسيب الكمومية ذات الذرات المتعادلة يعد مساراً قابلاً للتطبيق للمضي قدماً. ورغم أن الأجهزة الحالية ليست مثالية بعد، وأن الطريقة تعتمد على مزيج من أخذ العينات الكمومية والحساب الكلاسيكي، إلا أن التجربة أثبتت أن آلة مكونة من 81 ذرة يمكنها معالجة مسألة يصعب على الحواسيب القياسية حلها بكفاءة. وأشار الباحثون إلى أنه مع نمو هذه الآلات وتحسن التحكم في الذرات الفردية، يمكن أن تصبح هذه الطريقة أداة قوية لحل بعض أكثر مسائل العد استعصاءً في العلم. وفي الوقت الحالي، يقف هذا العمل كدليل واضح على أن الأجهزة الكمومية يمكنها القيام بأكثر من مجرد إيجاد إجابة واحدة؛ إذ يمكنها البدء في عد الطرق الهائلة التي يمكن للنظام أن يوجد بها، مما يفتح نافذة جديدة على تعقيد العالم الفيزيائي.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.