State Synthesis with an NP oracle

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

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

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

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

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

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

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