Tight Query Lower Bounds for Quantum Sampling, with an Application to Certified Randomness
تضع هذه الورقة حدوداً دنيا وثيقة للاستعلام الكمي لتحقيق درجات مرتفعة في معيار الإنتروبيا المتقاطعة الخطية في أخذ عينات الدوائر العشوائية، حيث تثبت أن تجاوز الأداء المثالي يتطلب من الاستعلامات، وتصادق على الإنتروبيا الصغرى الناعمة شبه المثلى للمخرجات، مما يوفر ضمانات أمنية صارمة للعشوائية المعتمدة ضد الخصوم المتشابكين.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في السباق لإثبات أن الحواسيب الكمومية يمكنها القيام بأشياء مستحيلة على الآلات الكلاسيكية، لجأ العلماء إلى نوع محدد من التجارب: مطالبة جهاز كمومي بتوليد قائمة من الأرقام العشوائية. هذه الأرقام ليست مجرد سلاسل عشوائية؛ بل هي مستمدة من نمط معقد وغير مرئي ناتج عن دارة كمومية عشوائية. وللتحقق مما إذا كان الجهاز يعمل بشكل صحيح، يستخدم الباحثون نظام تسجيل يسمى "معيار التقاطع الخطي" (linear cross-entropy benchmark). يقيس هذا المعيار عدد المرات التي يختار فيها الجهاز الأرقام التي سيختارها الجهاز الكمومي المثالي بشكل متكرر. إذا كان الجهاز صادقاً ويعمل بشكل مثالي، فإنه يحقق درجة عالية ومحددة. أما إذا كان يكتفي بالتخمين العشوائي، فإنه يحصل على درجة أقل بكثير. لسنوات، كان هذا الاختبار هو المعيار الذهبي لادعاء "التفوق الكمومي"، ولكن ظل هناك سؤال جوهري دون إجابة: هل تضمن الدرجة العالية حقاً أن الجهاز يولد عشوائية حقيقية غير متوقعة؟ إذ يمكن لخصم ماكر أن يتلاعب بالجهاز لجعله يسجل درجات عالية ببساطة عن طريق حفظ الإجابات الأكثر احتمالاً، مما يجعل المخرجات قابلة للتنبؤ رغم أن الدرجة تبدو جيدة.
لقًد أجاب فريق من الباحثين في جامعة فرجينيا تيك الآن على هذا السؤال بيقين رياضي، حيث وضعوا حداً صارماً لما يمكن للدرجة العالية وما لا يمكنها إثباته. فقد أثبتوا أنه لكي يسجل جهاز كمومي درجة أعلى ولو بقليل من أفضل آلة صادقة ممكنة، يجب أن يقوم بعدد هائل من العمليات الداخلية، وهو عدد يفوق بكثير ما يمكن لأي حاسوب كلاسيكي فعال إدارته. وتحديداً، أظهروا أنه لكي يتجاوز الجهاز الدرجة المثالية بمقدار ثابت، فإنه يحتاج إلى إجراء عدد من الاستعلامات يتناسب مع الجذر التكعيبي لإجمالي النتائج الممكنة. تعمل هذه النتيجة كحد أساسي، يشبه حد السرعة على الطريق السريع، مما يضمن عدم وجود خدعة فعالة لتزييف درجة عالية. علاوة على ذلك، أثبتوا أنه إذا ظل الجهاز ضمن هامش ضئيل من هذه الدرجة المثالية، فإن مخرجاته تكون غير قابلة للتنبؤ حقاً. حتى لو قام خصم ببناء الجهاز، وكان يمتلك رابطاً كمومياً سرياً معه، وعرف الإعداد بالكامل لاحقاً، فلن يتمكن من تخمين المخرجات بدقة ملحوظة. فالجهاز ينتج فعلياً أقصى قدر ممكن من العشوائية، مع فقدان ضئيل لا يمكن تجنبه للمعلومات.
وصل الباحثون إلى هذه الاستنتاجات من خلال تطوير طريقة جديدة لتتبع "التقدم" الذي تحرزه خوارزمية كمومية أثناء استعلامها عن نظام مجهول. تخيل حاسوباً كمومياً يحاول تعلم شكل جسم مخفي عن طريق وخزه بمسبار. لقد ابتكر الفريق مقياساً رياضياً يبدأ من الصفر لجهاز يتبع القواعد بصدق. وأثبتوا أنه في كل مرة يقوم فيها الجهاز باستعلام للتعرف أكثر على النظام، فإن هذا المقياس للتقدم لا يمكن أن ينمو إلا بمقدار ضئيل جداً. ولكي يصل الجهاز إلى درجة تتفوق على الآلة الصادقة، يجب عليه تجميع قدر كافٍ من التقدم لاختراق حاجز ما، لكن الرياضيات تظهر أن هذا يتطلب عدداً غير عملي من الخطوات. سمحت هذه الطريقة لهم بسد الفجوة بين ما هو ممكن نظرياً وما ثبت ضروره، مؤكدةً تخميناً طويل الأمد حول صعوبة تزييف هذه النتائج.
بعيداً عن مجرد إثبات حدود تزييف النتائج، تصف الورقة أيضاً خوارزمية محددة يمكنها في الواقع تحقيق هذه الدرجات العالية، ولكن فقط باستخدام الحد الأقصى المسموح به من الاستعلامات. تعمل هذه "الخوارزمية التربيعية" (squaring algorithm) عن طريق أخذ عدة عينات، وتخزينها، ثم استخدام تقنية تسمى "تضخيم السعة" (amplitude amplification) لتعزيز احتمالية العثور على تطابق بينها. تعمل هذه العملية فعلياً على تربيع توزيع الاحتمالات، مما يفضل النتائج الأكثر احتمالاً بشكل أقوى من الآلة الصادقة. إن وجود هذه الخوارزمية يثبت أن الحد الأدنى الذي وجدوه هو حد وثيق؛ فهو ليس مجرد جدار نظري، بل هو قمة يمكن الوصول إليها تتطلب تسلقاً يتطلب موارد محددة. هذا الازدواج — إثبات أنه لا يمكنك تزييف النتائج بسهولة، وأيضاً إظهار مدى صعوبة الفوز بشكل مشروع — يوفر صورة كاملة للمشهد.
إن تداعيات هذا العمل على العشوائية المعتمدة الموثقة عميقة. ففي العديد من التطبيقات الأمنية، نحتاج إلى توليد أرقام عشوائية لا يستطيع حتى الشخص الذي بنى المولد التنبؤ بها. تؤكد الدراسة أنه إذا اجتاز جهاز كمومي الاختبار القياسي بدرجة قريبة جداً من الدرجة المثالية، فإنه يولد سلسلة من البتات تحتوي على قدر من العشوائية يقارب طول السلسلة نفسها. بالنسبة لجهاز يعمل بـستين كيوبت (sixty qubits)، والذي يمكنه إنتاج سلاسل مكونة من ستين بت، فإن الدرجة المثالية تقريباً تضمن أن المخرجات تحتوي على حوالي أربعة وخمسين بت من العشوائية الحقيقية المعتمدة. ويظل هذا صحيحاً حتى ضد خصم قد يكون متشابكاً مع الجهاز ويعرف كل تفاصيل بنائه. المعلومة الوحيدة المفقودة هي مقدار ضئيل يتعلق بعدد الاستعلامات التي يقوم بها الجهاز، وهو أمر مهمل للأغراض العملية.
يمتد هذا العمل أيضاً إلى أنواع أخرى من المعاينة الكمومية، بما في ذلك تلك المستخدمة في تجارب الفوتونات مع جزيئات الضوء. وقد أظهر الباحثون أن القواعد نفسها تنطبق: لكي يتفوق الجهاز على الدرجة المثالية، يجب أن يقوم بعدد معين وكبير من العمليات، ولكي يظل قريباً من الدرجة المثالية، يجب أن ينتج عشوائية حقيقية. حتى أنهم ربطوا هذه النتائج بمشكلة مختلفة: إنشاء "توزيع التصادم" (collision distribution)، حيث يُطلب من الجهاز إخراج أزواج من الأرقام التي من المرجح أن تكون متماثلة. ووجدوا أن توليد هذا النوع المحدد من التوزيع يتطلب أيضاً نفس عدد الاستعلامات المرتبط بالجذر التكعيبي، مما يربط هذه المهام التي تبدو مختلفة تحت قانون رياضي واحد.
لا تدعي الدراسة أن الحواسيب الكمومية الحالية مثالية بالفعل في هذا المجال. فغالباً ما تسجل الأجهزة في العالم الحقيقي درجات أقل بكثير من الدرجة المثالية بسبب الضجيج والأخطاء. ومع ذلك، فإن الورقة تحدد السقف والأرضية النظرية لما هو ممكن. فهي تخبرنا أنه إذا رأينا يوماً ما جهازاً يسجل درجات قريبة من القمة، فيمكننا الوثوق بأنه يقوم بشيء كمومي حقيقي وينتج عشوائية حقيقية. وعلى العكس من ذلك، إذا ادعى جهاز ما أنه يولد عشوائية ولكنه لا يستطيع الوصول إلى هذه الدرجة دون عدد غير معقول من الخطوات، فنحن نعلم أنه لا يفعل ما يدعيه. يوفر هذا البحث الأساس الصارم اللازم للانتقال من العروض التجريبية إلى العشوائية الكمومية الموثوقة والمعتمدة، مما يضمن أن مستقبل الأمن الكمومي يرتكز على أرض صلبة ومثبتة.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.