The Shot Gap: Bloch-Sphere Geometry and the Hidden Measurement Budget of Single-Qubit Quantum Classifiers
تكشف هذه الدراسة عن "فجوة لقطة" (shot gap) كبيرة بين الدقة ذات العتبة العالية والدقة الأقل في اللقطة الواحدة للمصنفات الكمومية أحادية الكيوبت، مما يثبت أن هندسة التضمين، وليس اختيار القياس أو عدم خطية الحدود، هي المحرك الرئيسي لهذا التفاوت، وتجادل بضرورة أن تنص تقارير الدقة صراحةً على عدد اللقطات المستخدمة لكل تنبؤ.
في عالم الحوسبة الكمومية الهادئ والمجهري، أبسط آلة ممكنة هي "الكيوبت" الواحد. لا تفكر فيه كرقاقة كمبيوتر صغيرة، بل كسهم واحد دوار يطفو في فضاء ثلاثي الأبعاد. يمكن لهذا السهم أن يشير إلى أي اتجاه، ويمثل توجهه المعلومات التي يحملها. يستخدم العلماء هذه الأسهم لبناء المصنفات، وهي أدوات مصممة لفرز الأشياء إلى مجموعتين، مثل فصل التفاح عن البرتقال. لاتخاذ قرار، تقوم الآلة بتدوير السهم بناءً على البيانات التي تتلقاها، ثم تتحقق من أي جانب من مستوى مسطح يشير إليه السهم. إذا أشار في اتجاه ما، تقول الآلة "تفاح"؛ وإذا أشار في الاتجاه الآخر، تقول "برتقال".
لسنوات، قام الباحثون بتقييم مدى جودة عمل هذه الآلات الكمومية عبر تشغيل الاختبار نفسه آلاف المرات وحساب متوسط النتائج. تعطي هذه الطريقة درجة عالية جدًا، مما يوحي بأن الآلة شبه مثالية. ومع ذلك، في العالم الحقيقي، غالبًا ما يتعين على الجهاز الكمومي اتخاذ قرار بمحاولة واحدة فقط، باستخدام قياس واحد لذلك السهم الدوار. والسؤال الذي لم يُطرح هو ما إذا كان أداء الآلة في "الطلقة الواحدة" يطابق متوسط درجتها العالية. إذا ادعت آلة أنها دقيقة بنسبة 95 بالمائة بناءً على آلاف المحاولات، فهل هي حقًا بهذا القدر من الجودة عندما تُجبر على اتخاذ قرار نهائي واحد؟
وضع باحث يدعى ألفريدو ميرليهت (Alfredo Merlet) نصب عينيه الإجابة على هذا السؤال من خلال النظر في الفجوة بين ما تعد به هذه الآلات وما تقدمه بالفعل في لحظة واحدة. ركز على مصنفات الكيوبت الواحد، وهي النوع الأكثر شفافية وأساسية من النماذج الكمومية. ومن خلال محاكاة هذه الآلات بدقة تامة، استطاع مقارنة النسخة المثالية ذات الدرجة العالية من المصنف مقابل واقع "الطلقة الواحدة". واكتشف وجود انفصال كبير، وهو فرق يسميه "فجوة الطلقة" (shot gap). في تجاربه، تبين أن النماذج التي بدت دقيقة بنسبة 85 إلى 98 بالمائة عند السماح لها بمتوسط نتائج عديدة، انخفضت دقتها لتصبح بين 67 و86 بالمائة عند إجبارها على اتخاذ قرار بقياس واحد فقط. لم تكن هذه الفجوة خطأً بسيطًا؛ بل كانت انخفاضًا جوهريًا في الأداء بلغ في المتوسط حوالي 16 نقطة مئوية عبر مهام مختلفة.
كشفت الدراسة أن هذه الفجوة ليست ناتجة عن سوء اختيار طريقة قياس السهم، ولا هي نتيجة فشل الآلة في تعلم المهمة. بدلاً من ذلك، تكمن المشكلة في كيفية حزم المعلومات داخل موضع السهم في المقام الأول. ووجد الباحثون أن طرق التدريب المستخدمة عادةً لتعليم هذه الآلات تركز على الحصول على الإجابة الصحيحة بعد محاولات عديدة، بدلاً من ضمان إشارة السهم بقوة كافية ليكون صحيحًا من المرة الأولى. وعندما يتم تدريب الآلة لتعظيم نجاح "الطلقة الواحدة"، تتقلص الفجوة بشكل كبير، وإن لم تختفِ تمامًا. كما اختبرت الدراسة افتراضًا شائعًا مفاده أن حدود القرار الأكثر تعقيدًا وانحناءً ستخلق فجوات أكبر، لكنها وجدت العكس تمامًا؛ حيث كانت الفجوة أصغر في المهام الأكثر تعقيدًا لأن النماذج كانت تعاني لتعلمها أصلاً، مما ترك مجالًا ضيقًا لانخفاض الدرجة أكثر من ذلك.
ولعل النتيجة الأكثر عملية هي أن عدد المرات التي يُطلب فيها من الآلة تكرار القياس يهم أكثر من بنية النموذج نفسه. أظهر الباحثون أنه إذا تم تدريب آلة للطلقة الواحدة ثم سُمح لها بإجراء أحد عشر قياسًا فقط، فيمكنها استعادة معظم الدقة المفقودة في سيناريو الطلقة الواحدة. ومع ذلك، إذا تم تدريب الآلة لتحسين الدرجة العالية والمتوسطة، فإنها تتطلب حوالي عشرة أضعاف عدد القياسات للوصول إلى نفس المستوى من الثقة. وهذا يشير إلى أن الطريقة التي نبلغ بها حاليًا عن نجاح المصنفات الكمومية هي طريقة مضللة. فدرجة 98 بالمائة لا تكون صحيحة إلا إذا سُمح للآلة بتكرار التجربة مئات المرات، وهي رفاهية قد لا تتوفر في التطبيقات الواقعية.
يعمل هذا العمل كتذكير بأنه في الحوسبة الكمومية، كما هو الحال في مجالات أخرى، فإن سياق القياس هو ما يحدد النتيجة. ويجادل الباحثون بأن التقارير المستقبلية حول التعلم الآلي الكمومي يجب أن تذكر دائمًا عدد القياسات التي أُجريت لتحقيق دقة معينة، تمامًا كما تذكر حاليًا مقدار البيانات المستخدمة في التدريب. فبدون هذا السياق، لا تحكي الدرجة العالية إلا نصف القصة. وتؤكد الدراسة أنه بينما يمكن لهذه الآلات الكمومية الصغيرة تعلم أنماط معقدة، فإن قدرتها على اتخاذ قرار موثوق في لحظة واحدة محدودة بهندسة حالتها الداخلية، وهو حد لا يمكن لأي قدر من القياس الذكي أن يتجاوزه بالكامل. إن الفجوة حقيقية، وقابلة للقياس، وهي خاصية في الآلة نفسها، تنتظر أن تؤخذ في الاعتبار في كيفية بناء وتقييم الجيل القادم من الذكاء الكمومي.
ملخص تقني: فجوة الطلقات في المصنفات الكمومية أحادية الكيوبت
بيان المشكلة تقوم مصنفات إعادة رفع البيانات أحادية الكيوبت برسم خرائط لبيانات المدخلات إلى نقاط على كرة بلوخ (Bloch sphere)، حيث تتشكل حدود القرار عبر تداخل دورات (rotations) تعتمد على البيانات ودورات قابلة للتدريب. تفترض بروتوكولات التقييم القياسية تقدير القيمة المتوقعة لمراقب (observable) مقاس (عادةً ⟨Z⟩) من خلال المتوسط عبر العديد من تكرارات الدائرة ("الطلقات" أو shots) وعتبة النتيجة. هذه الدقة المُبلغ عنها (A∞) تفترض مسبقاً وجود ميزانية قياس غير محدودة. ومع ذلك، في سيناريوهات الاستدلال العملي حيث تتوفر نسخة واحدة فقط من الإعداد والقياس، يكون أداء المصنف محدوداً بشكل أساسي بنظرية تمييز الحالة الكمومية، حيث ترتبط احتمالية التخمين الصحيح من نسخة واحدة من حالة مجهولة بحد هيلستروم (Helstrom limit) (AH)، والذي يعتمد فقط على التباعد بين متوسطات متجهات بلوخ الشرطية للفئات.
تحدد الورقة وجود تباين بين الدقة المعتمدة على العتبة (thresholded accuracy) والدقة المتاحة للطلقة الواحدة، وهو ما يسمى فجوة الطلقات (A∞−A1). المشكلة المركزية تكمن في تحديد حجم هذه الفجوة، وتحديد مصادرها (هندسة التضمين مقابل اختيار القياس)، وتقييم ما إذا كانت خسائر التدريب القياسية تعمل على تحسين الأداء للطلقة الواحدة.
المنهجية تستخدم الدراسة تجربة حوسبية مضبوطة باستخدام عمليات محاكاة دقيقة لاستبعاد ضوضاء الأجهزة وعدم اليقين الإحصائي.
المهام والبيانات: تم إنشاء أربع مهام تصنيف ثنائي اصطناعية ذات حقيقة أرضية معروفة (خطية، دائرية، XOR، ولوحة شطرنج 4×4) باستخدام مدخلات مستخرجة بانتظام من [−1,1]2. تم إدخال ضوضاء في الملصقات (labels) بمستويات 0% و10%.
بنية النموذج: مصنف إعادة رفع بيانات أحادي الكيوبت بعمق L∈{1,2,3,4,6}. تتكون كل طبقة من دورات RzRyRz بمعاملات قابلة للتدريب.
نظام التدريب: تصميم عاملي يتكون من 1,200 تشغيل يجمع بين 4 مهام، 5 أعماق، 3 خسائر تدريب، مستويين من الضوضاء، و10 بذور عشوائية (random seeds).
الخسائر التي تمت مقارنتها: تكلفة التماثل (fidelity cost - الخطأ التربيعي)، لوغاريتم الاحتمال للطلقة الواحدة (اللوغاريتم السالب لاحتمال حدوث قياس واحد صحيح)، وخسارة الهينج المنعمة (smoothed hinge loss - تحسين إشارة ⟨Z⟩).
المقاييس والتحقق:
A1: دقة الطلقة الواحدة (نتيجة قياس واحد).
AH: حد هيلستروم، المحسوب تحليلياً من متجهات بلوخ المتوسطة للفئات (rˉ0,rˉ1).
A∞: الدقة المعتمدة على العتبة (حد عدد لا نهائي من الطلقات).
AS: الدقة باستخدام S من الطلقات عبر التصويت بالأغلبية.
التحقق: تم التحقق من التدرجات (gradients) مقابل الفروق المحدودة؛ وتم التحقق من صحة محاكي كرة بلوخ مقابل محاكاة متجه الحالة الموحدة الصريحة؛ كما تم التحال من صحة حد هيلستروم عبر بحث شامل (brute-force) فوق اتجاهات القياس.
المساهمات الرئيسية
تفكيك قصور الطلقة الواحدة: توفر الورقة تفكيكاً مغلق الصيغة للخطأ (1−A1) إلى مكونين غير سالبين:
فقدان التضمين (1−AH): الخطأ الناتج عن الانتشار الهندسي للحالات المضمنة (مدى جودة فصل الفئات على كرة بلوخ).
فقدان القياس (AH−A1): الخطأ الناتج عن عدم محاذاة محور القياس المدرب بشكل مثالي مع قياس هيلستروم الأمثل.
تحديد كمية فجوة الطلقات: تقيس الدراسة الفجوة عبر مساحة واسعة من المعلمات، مما يكشف أنه بالنسبة للنماذج ذات العمق ≥2، تكون دقة الطلقة الواحدة أقل بكثير من الدقة المعتمدة على العتبة المُبلغ عنها.
اختبار الفرضيات: تم اختبار أربع فرضيات مسجلة مسبقاً:
H1:A1≤AH (تم التحقق من صحتها في جميع الـ 1,200 تشغيل).
H2: تزدزد الفجوة مع زيادة عدم خطية حدود القرار (لم يتم دعم هذه الفرضية؛ حيث كانت الفجوة أصغر في المهمة الأكثر عدم خطية، وهي لوحة الشطرنج، بسبب ضعف القدرة على التعلم).
H3: طول متجه بلوخ لمتوسط الفئة يتنبأ بالفجوة بشكل أفضل من خسارة التدريب (لم يتم دعم هذه الفرضية؛ حيث كانت خسارة التدريب متنبئاً أقوى).
H4: لوغاريتم الاحتمال للطلقة الواحدة ينتج فجوة أصغر من الخسائر الأخرى (تم دعم هذه الفرضية).
النتائج
حجم الفجوة: بالنسبة للدوائر بعمق اثنين أو أكثر، حققت النماذج التي بلغ متوسط دقتها المعتمدة على العتبة 0.857 دقة قدرها 0.696 فقط لكل طلقة واحدة، مما أدى إلى متوسط فجوة طلقات قدره 0.161. عند العمق ستة، حققت النماذج التي وصلت دقتها المعتمدة على العتبة إلى 0.93–0.98 في المهام الخطية والدائرية وXOR دقة تتراوح بين 0.67–0.86 لكل طلقة.
مصدر الفجوة: شكل فقدان التضمين 96.3% من قصور الطلقة الواحدة. كان القياس المدرب قريباً جداً من المثالية لهيلستروم في كل تشغيل؛ فكان القصور يكمن في هندسة الحالات المضمنة، وليس في اختيار قاعدة القياس.
تأثير خسارة التدريب:
خسارة الهينج المنعمة (Smoothed Hinge Loss)، التي تحسن الدرجة التقليدية المعتمدة على العتبة، أنتجت أكبر فجوات طلقات (0.26–0.29 في مهام الخطية/الدائرية/XOR).
لوغاريتم الاحتمال للطلقة الواحدة قلل الفجوة مقارنة بخسارة الهينج في 89% من التكوينات المزدوجة (بمتوسط خفض قدره 0.085) مع تكلفة ضئيلة في الدقة المعتمدة على العتبة (متوسط خسارة قدره 0.011).
استعادة ميزانية الطلقات: لاستعادة 74% من فجوة الطلقات، تطلب الأمر 11 طلقة تحت لوغاريتم الاحتمال للطلقة الواحدة، مقارنة باستعادة 41% فقط تحت خسارة الهينج. النموذج المدرب على الدرجة المعتمدة على العتبة يتطلب ما يقرب من عشرة أضعاف عدد الطلقات للوصول إلى دقته المُبلغ عنها.
الأهمية والادعاءات تجادل الورقة بأن الإبلاغ القياسي عن دقة المصنف الكمومي مضلل إذا لم يتم تحديد ميزانية الطلقات. تمثل "فجوة الطلقات" تكلفة موارد أساسية: فالنموذج الذي يبلغ عن دقة 0.98 قد يقدم دقة 0.72 فقط في سيناريو استدلال الطلقة الواحدة.
يدعي المؤلف ثلاثة آثار عملية:
القابلية للتدقيق: حد هيلستروم لمصنف أحادي الكيوبت مدرب هو أمر سهل التدقيق، حيث يتطلب فقط تقدير متوسطات متجهات بلوخ (X,Y,Z) دون الوصول إلى تفاصيل الدائرة الداخلية.
معايير الإبلاغ: يجب أن تذكر تقارير الدقة للمصنفات الكمومية عدد الطلقات لكل تنبؤ، على غرار ذكر حجم بيانات التدريب أو موارد الحوسبة.
اختيار دالة الخسارة: بالنسبة للتطبيقات المخصدة للاستخدام في الطلقة الواحدة أو الطلقات القليلة، فإن التدريب باستخدام لوغاريتم الاحتمال للطلقة الواحدة هو الأفضل، حيث يقلل بشكل كبير من الفجوة مع عقوبة ضئيلة على الدرجة المعتمدة على العتبة.
تحدد الدراسة صراحةً نطاق عملها بالمصنفات أحادية الكيوبت باستخدام المحاكاة الدقيقة، مشيرة إلى أن ضوضاء الأجهزة من المرجح أن تزيد من حدة الفجوة. وهي لا تدعي تحقيق تفوق كمومي، بل تسلط الضلية على فجوة منهجية في كيفية تقييم والإبلاغ عن نماذج التعلم الآلي الكمومي.