Improved constant factors for qubitized Hamiltonian simulation

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

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

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

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