Reopening the one clean qubit case of a semi-grand challenge

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

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

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

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

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

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