Efficient Quantum Circuits for Electronic Hamiltonian Simulation without Pauli Expansion

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

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

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

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

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

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

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

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