Linear gate bounds against natural functions for position-verification

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

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

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

---

الاكتشاف الكبير للورقة: الأمر لا يتعلق فقط بالعملات السحرية، بل بالعمل الجاد

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

تثبت الورقة حقيقة مدهشة وقوية: لكي يغش اللاعب غير الأمين بنجاح، عليه القيام بقدر هائل من العمل الكمومي.

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

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

حالة الاختبار: "الضرب الداخلي" (Inner Product)

لجعل هذا الأمر ملموسًا، اختبر المؤلفون نظريتهم على مسألة رياضية محددة تسمى الضرب الداخلي (Inner Product). تخيل أنك وصديقك تمتلكان كل منكما قائمة مكونة من 1,000 رقم (أصفار وآحاد). تريد معرفة ما إذا كان إجمالي عدد المرات التي تمتلكان فيها الرقم "1" في نفس الموقع فرديًا أم زوجيًا. هذا هو الضرب الداخلي.

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

هذا أمر بالغ الأهمية لأنه يخلق فجوة كبيرة بين الشخص الشريف والمخادع:

• الشخص الشريف: يحتاج للقيام بـرياضيات بسيطة (جهد خطي) وقليل من العمل الكمومي الثابت (مثل امتلاك كيوبت واحد أو اثنين).
• المخادع: يحتاج للقيام بقدر هائل من العمل الكمومي (جهد خطي) لإتمام عملية الخداع.

لقد أثبت المؤلفون ذلك رياضيًا، موضحين أنه لا يمكنك خداع هذه المخططات بموارد "دون خطية" (sub-linear). بعبارة أخرى، لا يمكنك الإفلات من القيام بجزء ضئيل من العمل إذا كان اللغز كبيرًا.

لماذا هذا مهم: ميزة "تحمل الفقد" (Loss-Tolerant)

أحد أروع الأشياء في هذه الورقة هو أنها تنطبق على نسخة من المخطط تكون متحملة للفقد (loss-tolerant). في العالم الحقيقي، إرسال الإشارات الكمومية (مثل فوتونات الضوء) عبر مسافات طويلة هو أمر فوضوي؛ حيث يُفقد الكثير منها أو يُمتص. اقترحت النظريات السابقة أنه إذا فقدت الكثير من الإشارات، فقد تختفي ضمانات الأمان.

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

ما الذي تستبعده هذه الورقة

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

كما يوضحون أنهم لا يحصون فقط حجم "الخزنة السحرية" (عدد الكيوبتات المحتفظ بها)، بل العمل الفعلي (عدد البوابات والقياسات التي يتم إجراؤها). وهذا مقياس أكثر صرامة وواقعية للصعوبة.

ما مدى ثقتهم؟

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

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