Methods for Reducing Ancilla-Overhead in Block Encodings

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

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

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

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