Random-Oracle Unitary Synthesis is Impossible

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

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

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

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

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

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