Unitary RQL Equals RQL

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

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

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

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

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

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

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

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

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