Sampling hard circuits with verifiably high fidelity
تقدم هذه الورقة طريقة تستخدم دوائر مهيكلة ومصححة الأخطاء لتحقيق الصعوبة الحسابية المثبتة، وتوليد حالات كمومية عالية الدقة، واعتماد دقة قابل للتحقق في آن واحد، وهو ما تم إثباته تجريبياً باستخدام دائرة كليفورد مكونة من 70 كيوبت أسفرت عن حد أدنى لدقة الحالة يبلغ 0.284.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تحاول إثبات أن سيارة سباق جديدة، فائقة السرعة، هي في الواقع أسرع من أفضل دراجة في العالم. لا يمكنك فقط القول إنها "تبدو سريعة"؛ بل يجب عليك بالفعل أن تسابقها. لكن هنا تكمن العقبة: سيارة السباق معقدة وهشة للغاية لدرجة أنه إذا قدتها بسرعة كبيرة، ستبدأ في التفكك والاهتزاز، وإذا حاولت قياس سرعتها باستخدام ساعة توقيت عادية، فقد تنكسر ساعة التوقيت نفسها أو تعطيك قراءة خاطئة. هذا هو الوضع الحالي للحوسبة الكمومية. لقد بنى العلماء آلات تحتوي على مئات من "الكيوبتات" (qubits) الصغيرة التي يمكنها إجراء حسابات مستحيلة على الحواسيب العادية، لكن هذه الآلات صاخبة وعرضة للأخطاء. السؤال الكبير هو: كيف نثبت أننا نقوم بالفعل بعملية حسابية كمومية لا يستطيع حاسوب كلاسيكي تقليدي تقليدها، دون أن تفسد أخطاء الآلة نفسها هذا الإثبات؟
لفهم الحل، نحتاج إلى معرفة بعض الأشياء أولاً. "أخذ العينات" (sampling) يشبه رمي نرد غريب متعدد الأوجه ملايين المرات لمعرفة الأرقام التي ستظهر. الحواسيب الكمومية بارعة في رمي هذه النرد بطرق يصعب على الحواسيب العادية التنبؤ بها. ثانياً، "الدقة" (fidelity) هي مجرد كلمة منمقة لتعني "مدى مطابقة النتيجة لما كنا نتوقعه". إذا كان الحاسوب الكمومي صاخباً، فستكون الدقة "منخفضة"، مثل صورة ضبابية. وأخيراً، "كشف الخطأ" (error detection) هو وسيلة للتحقق مما إذا كانت الآلة قد ارتكبت خطأً أثناء السباق. إذا ارتكبت خطأً، يمكننا التخلص من نتيجة السباق تلك تحديداً والمحاولة مرة أخرى، والاحتفاظ فقط بالنتائج النظيفة. كان التحدي هو أن الطرق المستخدمة للتحقق من الأخطاء غالباً ما تجعل الحاسوب الكمومي بطيئاً جداً أو بسيطاً جداً ليكون مثيراً للاهتمام، بينما المشكلات فائقة الصعوبة عادة ما تكون معقدة للغاية بحيث لا يمكن التحقق من أخطائها.
يقدم هذا البحث طريقة ذكية لحل هذا اللغز. فقد ابتكر الباحثون، بالعمل مع معالجات IBM الكمومية، نوعاً خاصاً من الدوائر الكمومية التي هي في آن واحد معقدة للغاية بحيث يصعب على الحواسيب الكلاسيكية محاكاتها، وتمتلك أيضاً "كاشف حقيقة" مدمجاً. يسمون هذه الطريقة "أخذ عينات كليفورد المطعمة" (Doped Clifford Sampling - DCS). فكر في الدائرة الكمومية القياسية كأنها ندفة ثلج ضخمة ومتناظرة تماماً؛ إنها جميلة وسهلة الوصف، لكن الحاسوب الكلاسيكي يمكنه بسهولة معرفة شكلها. ولجعل الأمر صعباً، قام العلماء "بتطعيم" ندفة الثلج ببعض المكونات الخاصة الفوضوية (تسمى بوابات T)، والتي تكسر التناظر. هذا يجعل النمط معقداً للغاية بحيث لا يستطيع أي حاسوب خارق التنبؤ بالنتيجة.
الخدعة السحرية هنا هي كيفية التحقق من النتيجة. عادةً، إضافة تلك المكونات الفوضوية تجعل من المستحيل التحقق مما إذا كانت الآلة تعمل بشكل صحيح. لكن الفريق استخدم "كود الزمكان" (spacetime code)، وهو يشبه تغليف ندفة الثلج بشبكة واقية ذاتية التحقق. هذه الشبكة تحتوي على مستشعرات (تسمى المتلازمات - syndromes) يمكنها إخبارنا إذا انكسر جزء من ندفة الثلج أثناء السباق. إذا قالت المستشعرات "الوضع آمن"، فإننا نحتفظ بالنتيجة؛ وإذا قالت "مكسور"، فإننا نتخلص منها. ولأن المكونات الفوضوية أضيفت في أماكن محددة جداً لا تكسر الشبكة، فقد تمكن الفريق من إثبات أن النتائج التي سجلت "الوضع آمن" كانت في الواقع حالات كمومية عالية الجودة.
في تجربتهم، بنوا دائرة مكونة من 70 كيوبت (عجلات سيارة السباق) وشغلوها لـ 70 خطوة عميقة، مع إضافة 468 من تلك "البوابات الفوضوية" (T-gates). واستخدموا 97 كيوبت فيزيائياً في المجمل لإنشاء شبكتهم الواقية. بعد تصفية الأخطاء، تمكنوا من إنتاج حالة كمومية بـ "حد أدنى للدقة" (fidelity lower bound) يبلغ 0.284. وهذا يعني أنهم واثقون بنسبة 95% من أن النتيجة التي حصلوا عليها تشبه النتيجة النظرية المثالية بنسبة تصل إلى 28.4% على الأقل. ورغم أن هذا قد يبدو رقماً منخفضاً، إلا أنه في عالم الحواسيب الكمومية الصاخبة، يعد أمراً ضخماً لأنه يثبت نجاحهم في تشغيل عملية حسابية معقدة ومدققة من الأخطاء، والتي ستستغرق من حاسوب كلاسيكي وقتاً مستحيلاً لتقليدها.
لم يكتفِ الفريق بالتخمين بأن هذا يعمل، بل تحققوا من ذلك بعدة طرق. فقد فحصوا نسخاً أصغر من التجربة حيث يمكنهم قياس النتائج مباشرة ووجدوا أن طريقتهم صمدت. كما أظهروا أن "الضجيج" في آلتهم لم يغير طريقة عمل الشبكة الواقية، حتى بعد إضافة المكونات الفوضوية. وقدروا أن محاكاة تجربتهم المحددة على حاسوب كلاسيكي ستكون غير ممكنة تقنياً، مما أثبت فعلياً وجود "تفوق كمومي" حيث تقوم الآلة الكمومية بشيء لا يستطيع الحاسوب الكلاسيكي القيام به، مع تقديم شهادة تقول: "نعم، هذا حقيقي، وإليك الدليل".
هذا العمل يمثل خطوة مهمة للأمام لأنه يجسّر الفجوة بين عالمين: عالم المشكلات "الصعبة" التي تثبت التفوق الكمومي، وعالم الحوسبة "الموثوقة" التي نحتاجها للمستقبل. إنه يوضح أننا لسنا مضطرين للاختيار بين القيام بشيء مستحيل المحاكاة وبين القيام بشيء يمكننا الوثوق به. ومن خلال استخدام هذه الدوائر المهيكلة والمحققة من الأخطاء، فتح الباحثون باباً لتشغيل حسابات كمومية أعمق وأكثر تعقيداً يمكننا التحقق منها بالفعل، مما يقربنا من اليوم الذي يمكن فيه للحواسيب الكمومية حل مشكلات العالم الحقيقي دون أن نضطر لأخذ كلمتها على محمل التصديق فقط.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.