The Robustness of QAC0

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

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

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

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

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

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

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