Barriers to dequantization of near-term molecular electronic structure methods
تثبت هذه الورقة أنه، في ظل فرضية المعممة، فإن المحاكاة الكلاسيكية لخوارزميات كمومية محددة لفترة الـ "near-term" مخصصة للبنية الإلكترونية الجزيئية هي عملية صعبة، مما يستبعد استراتيجيات "إزالة الكم" (dequantization) القائمة على العينات للنماذج (ansätze) التي تتضمن كل من الارتباطات الساكنة والديناميكية، ويبرز ضرورة وجود أجهزة كمومية لحل الأنظمة التحفيزية المعقدة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلف ولم يصادق عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في عالم الكيمياء، يعد فهم كيفية التصاق الذرات ببعضها لتكوين الجزيئات مسألة تتعلق بحساب الإلكترونات والتنبؤ بكيفية حركتها. بالنسبة للجزيئات البسيطة، اعتمد العلماء لفترة طويلة على برامج حاسوبية قوية لحل هذه الألغاز، حيث يعاملون الإلكترونات كما لو كانت مسافرين مستقلين يتحركون عبر مشهد سلس. ومع ذلك، فإن الطبيعة غالباً ما تكون أكثر تعقيداً من المشهد السلس. ففي العديد من العمليات الكيميائية الهامة، مثل عندما تنكسر رابطة كيميائية أو عندما يعمل ذرة معدنية كحفاز لتسريع التفاعل، تصبح الإلكترونات متشابكة بعمق. فهي تتوقف عن التصرف كمسافرين مستقلين وتبدأ في التحرك في رقصة منسقة وفوضوية حيث يؤثر موقع أحدها فوراً على الآخرين. هذه الظاهرة، المعروفة باسم الارتباط القوي، تخلق جداراً حاسوبياً لا تستطيع الحواسيب الكلاسيكية تسلقه. إذ تنمو التعقيدات الرياضية بسرعة كبيرة لدرجة أن أكثر الحواسيب الفائقة قوة في العالم لا يمكنها حساب طاقة هذه الأنظمة بالدقة المطلوبة لفهم كيفية عملها.
هنا يأتي دور الوعد الذي تقدمه الحوسبة الكمومية. فخلافاً للحواسيب الكلاسيكية التي تعالج المعلومات في بتات من الصفر والواحد، تستخدم الحواسيب الكمومية بتات كمومية، أو "كيوبتات"، والتي يمكن أن توجد في حالات متعددة في آن واحد. وهذا يسمح لها بمحاكاة سلوك الإلكترونات مباشرة، مما قد يتجاوز الجدار الحسابي الذي يحبط الآلات الكلاسيكية. ولكن ظل هناك سؤال جوهري يلوح في الأفق: هل هذه الآلات الكمومية ضرورية حقاً، أم أن خوارزمية كلاسيكية جديدة وذكية قد تحل هذه المشكلات بنفس الكفاءة في النهاية؟ لقد قدم فريق من الباحثين في جامعة كاليفورنيا، بيركلي، الآن إجابة مهمة لفئة محددة وحيوية من المشكلات الكيميائية. فقد أظهروا أنه بالنسبة لأكثر الأنظمة الجزيئية صعوبة — تلك التي تتضمن كسر الروابط والمحفزات المعدنية المعقدة — فمن المرجح عدم وجود طريقة فعالة للحاسوب الكلاسيكي لمحاكاة السلوك الكمومي للإلكترونات، وذلك تحت الافتراض السائد بأن "الهرم متعدد الحدود" (polynomial hierarchy) لا ينهار (وهو شرط متعلق بفرضية P ≠ NP المعممة). ويشير عملهم إلى أنه لفك أسرار هذه الأنظمة، يجب علينا التوجه نحو الأجهزة الكمومية.
ركز الباحثون تحقيقاتهم على جيل جديد من الخوارزميات الكمومية المصممة للعمل على الآلات غير المثالية والمشوبة بالضجيج المتاحة اليوم. هذه الخوارزميات، المعروفة باسم "المحللات الطيفية الكمومية غير المتعامدة"، تعمل من خلال إعداد مجموعة من "الحالات المرجعية" المختلفة. فكر في هذه الحالات كأنها رسومات تخطيطية مختلفة للتوزيع الإلكتروني للجزيء، كل منها مرسوم من منظور أو قاعدة مدارية مختلفة قليلاً. ثم تقوم الخوارزمية بدمج هذه الرسومات لإيجاد الصورة الأكثر دقة لطاقة الجزيء. وتتضمن الخطوة الرئيسية في هذه العملية حساب مدى تداخل هذه الرسومات المختلفة مع بعضها البعض. فإذا كان بإمكان الحاسوب الكلاسيكي حساب هذه التداخلات بسهولة، لكان بإمكانه محاكاة العملية الكمومية بأكملها دون الحاجة إلى حاسوب كمومي. وهذا الاحتمال، المعروف باسم "إلغاء الكمومية" (dequantization)، من شأنه أن يجعل الميزة الكمومية بلا قيمة.
ولاختبار ذلك، صاغ الفريق برهاناً رياضياً صارماً يوضح أنه بالنسبة لأنواع معينة من الحالات المرجعية، يكون حساب هذه التداخلات صعباً حاسوبياً على الحاسوب الكلاسيكي للقيام به بكفاءة، بافتراض صحة فرضية P ≠ NP المعممة. وقد أثبتوا أنه إذا تمكن الحاسوب الكلاسيكي من أداء هذه المهمة بكفاءة، فإن ذلك سيؤدي إلى انهيار الهرم الحسابي بأكمله، وهو سيناريو يعتقد الرياضيون أنه مستحيل. ويعتمد البرهان على مفهوم "السحر الفرميوني" (fermionic magic)، وهو نوع محدد من الموارد الكمومية التي تمتلكها هذه الحالات المرجعية. فعندما يتم تدوير هذه الحالات في قواعد مدارية مختلفة، فإنها تولد نمطاً من الاحتمالات معقداً ومنتشراً للغاية بحيث لا يمكن لأي خوارزمية كلاسيكية التنبؤ به أو أخذ عينات منه دون وقت مستحيل، بشرط ألا ينهار الهرم متعدد الحدود. وقد أظهر الباحثون أن هذه الصعوبة تنطبق على نهجين رائدين في الكيمياء الكمومية القريبة من المستقبل: أحدهما يستخدم تركيبات خطية من "حالات مصفوفة المنتج" (matrix product states)، والآخر يستخدم "دوائر كلوستر جاسترو الموحدة" (unitary cluster Jastrow circuits). وكلا الطريقتين مصممتان لالتقاط الارتباطات الساكنة والديناميكية الصعبة الموجودة في الجزيئات الواقعية.
إن الآثار المترتبة على هذا الاكتشاف عميقة لمستقبل الاكتشاف الكيميائي. فقد طبق الباحثون تحليل التعقيد الخاص بهم على أنظمة حفزية واقعية، مثل عامل الحديد والموليبدينوم المساعد الموجود في إنزيم "النيتروجيناز"، والذي يساعد في تحويل النيتروجين الجوي إلى أمونيا، ومعقد تطور الأكسجين في النباتات، والذي يشطر الماء لإطلاق الأكسجين. تتضمن هذه الأنظمة ذرات معادن انتقالية تحتوي على إلكترونات غير مزدوجة متعددة، مما يخلق تلك الارتباطات القوية جداً التي تعاني الحواسيب الكلاسيكية للتعامل معها. وتؤكد الدراسة أن الخوارزميات الكمومية المصممة لمعالجة هذه المشكلات المحددة هي على الأرجح المسار الوحيد للمضي قدماً، حيث إن أكثر الطرق المختصرة الواعدة التي قد تكون استخدمتها الحواسيب الكلاسيكية لتجاوز الحاجة إلى الأجهزة الكمومية قد استُبعدت بموجب افتراضات التعقيد القياسية. ومن خلال إثبات أن العناصر المصفوفية غير القطرية بين هذه الحالات الكمومية لا يمكن تقريبها بكفاءة باستخدام طرق أخذ العينات الكلاسيكية للأنواع المحددة من عائلات الحالات التي حللها الفريق، فقد وضعوا حاجزاً قولاً أمام "إلغاء الكمومية".
هذا لا يعني أن الحواسيب الكلاسيكية عديمة الفائدة. فبالنسبة للجزيئات الأبسط حيث تتصرف الإلكترونات بشكل أكثر استقلالية، تظل الطرق الكلاسيكية هي المعيار الذهبي. ومع ذلك، بالنسبة للأنظمة التي تقود عمليات الحفز، وكسر الروابط، والكيمياء المعقدة للحياة، فقد ثبت الآن أن حاجز "إلغاء الكمومية" لا يمكن تجاوزه بموجب الافتراضات الرياضية القياسية. ويؤكد الباحثون أن نتائجهم تنطبق على فئات الحالات المحددة التي حللوها، بافتراض عدم انهيار الهرم متعدد الحدود. كما أشاروا إلى أنه بينما يعتمد برهانهم على ظروف مثالية خالية من الضجيج، فإن الصعوبة الجوهرية تظل حجة قوية على ضرورة الأجهزة الكمومية. وبينما تتحسن الأجهزة الكمومية وتصبح عملية تصحيح الأخطاء أكثر قوة، يمكن استخدام هذه الخوارزميات قريباً لمحاكاة البنى الإلكترونية للمحفزات التي حيرت العلماء لعقود.
ويتضمن المسار المستقبلي تحسين هذه الأساليب الكمومية لتعمل على الآلات الحالية غير المثالية. ويشير الباحثون إلى أن الدوائر المطلوبة لإعداد هذه الحالات المعقدة ضحلة بشكل مفاجئ، مما يعني أنه يمكن تشغيلها على الأجهزة المتاحة حالياً والتي تمتلك عدداً محدوداً من الكيوبتات. فعلى سبيل المثال، قد تتطلب محاكاة معقد تطور الأكسجين دوائر تحتوي فقط على بضع مئات من بوابات "الكيوبت الثنائي"، وهو مقياس يقع ضمن نطاق التكنولوجيا المتطورة. وبينما لا يزال الوصول إلى القوة الكاملة للحواسيب الكمومية المقاومة للأخطاء على بعد سنوات، فإن هذا العمل يوفر خارطة طريق واضحة. فهو يحدد المشكلات المحددة التي ستوفر فيها الحواسيب الكمومية ميزة حقيقية، ويثبت أنه بالنسبة لأصعب التحديات في البنية الإلكترونية الجزيئية، فمن المرجح عدم وجود بديل كلاسيكي. إن عصر محاكة أكثر الأنظمة الكيميائية تعقيداً قد يقترب أخيراً، ليس لأننا وجدنا طريقة أفضل للحساب على آلة كلاسيكية، بل لأننا أثبتنا أن الطبيعة الكمومية لهذه الأنظمة تتطلب حلاً كمومياً.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.