⚛️ quantum physics

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra

تقدم هذه الورقة لغة "كوبل" (Cobble)، وهي لغة برمجة عالية المستوى تقوم تلقائياً بتجميع ترميزات الكتل للجبر الخطي الحسابي الكمي إلى دوائر فعالة وصحيحة مع تحليل تكلفة وتحسينات مدمجة، محققةً تسريعاً كبيراً مقارنة بالنماذج المرجعية غير المحسنة عبر مختلف الاختبارات المعيارية.

المؤلفون الأصليون: Charles Yuan

نُشر 2026-05-14

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Charles Yuan

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

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

تقدم هذه الورقة أداة جديدة تسمى Cobble لمساعدة الناس على بناء هذه الآلات الكمومية، وتحديداً لحل المسائل الرياضية التي تتضمن شبكات كبيرة من الأرقام (الجبر الخطي).

إليك كيف يعمل Cobble، مشروحاً من خلال تشبيهات بسيطة:

١. المشكلة: "الوصفة" مقابل "المخطط"

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

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

٢. الحل: Cobble هو "الطاهي الذكي"

Cobble هي لغة برمجة جديدة تسمح للمطورين بكتابة الوصفة باستخدام الرموز الرياضية العادية (مثل $A + B$ أو $A \times B$ ) بدلاً من ملايين الخطوات الصغيرة.

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

٣. التكلفة الخفية: عامل "إعادة المحاولة"

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

التشبيه: تخيل أنك تحاول رمي عملة معدنية للحصول على "صورة". في العالم الطبيعي، ترميها مرة واحدة فقط. أما في هذا العالم الكمومي، فالعملة مراوغة. أحياناً تضطر لرميها ١٠ مرات، وأحياناً ١٠٠ مرة، فقط للحصول على "صورة" واحدة صالحة. تطلق الورقة على هذا اسم تكلفة "عدم التطبيع" (subnormalization).
المشكلة: إذا كانت وصفتك فوضوية، فقد تضطر لرمي العملة ١,٠endo٠ مرة. وإذا قمت بتنظيف الوصفة، فقد تحتاج لرميها ١٠ مرات فقط. الهدف هو تقليل عدد مرات إعادة المحاولة.

٤. الحيل السحرية: "دمج المجموع" و"دمج كثير الحدود"

يمتلك Cobble حيلتين خاصتين لتنظيف الوصفة وتقليل تلك المحاولات المكلفة.

دمج المجموع (حيلة "الإلغاء"):
- السيناريو: تخيل أن وصفتك تقول: "أضف ٥ تفاحات، ثم اطرح ٣ تفاحات، ثم أضف تفاحتين".
- الطريقة القديمة: تذهب إلى المتجر، تشتري ٥، ثم ترمي ٣، ثم تشتري ٢. لقد قمت بثلاث رحلات.
- طريقة Cobble: ينظر إلى الرياضيات، ويرى أن $٥ - ٣ + ٢ = ٤$ ، ويقول لك: "فقط اشترِ ٤ تفاحات". هكذا تقوم برحلة واحدة فقط.
- في الورقة البحثية: تقوم هذه الحيلة بإلغاء الخطوات غير الضرورية في الرياضيات، مما يعني أن الحاسوب الكمومي لن يضطر لتكرار الرقصة عدة مرات.
دمج كثير الحدود (حيلة "الحركة الواحدة الكبيرة"):
- السيناريو: تخيل أنه يتعين عليك أداء حركة رقص معينة، ثم تكررها، ثم تكررها مرة أخرى، ولكن مع تغييرات طفيفة.
- الطريقة القديمة: تؤدي حركة الرقص، ثم تتوقف، ثم تبدأ من جديد، ثم تؤديها، ثم تتوقف، ثم تبدأ من جديد، وهكذا.
- طريقة Cobble: يدرك أن كل هذه الخطوات هي جزء من نمط واحد كبير. بدلاً من أداء حركة الرقص ثلاث مرات منفصلة، يبتكر "حركة خارقة" واحدة فعالة للغاية تقوم بكل شيء في آن واحد.
- في الورقة البحثية: يستخدم هذا تقنية تسمى تحويل القيمة المفردة الكمومية (QSVT). فهو يحول قائمة طويلة ومتعثرة من الخطوات إلى دائرة واحدة انسيابية.

٥. النتائج: جعلها أسرع

اختبر المؤلفون Cobble على عدة مسائل رياضية من العالم الحقيقي (مثل محاكاة الجسيمات أو تحليل البيانات).

النتيجة: باستخدام حيل "الدمج" هذه، جعل Cobble البرامج تعمل أسرع بمقدار ٢.٦ إلى ٢٥.٤ مرة من النسخ غير المحسنة.
لماذا يهم هذا: في العالم الكمومي، "السرعة" لا تعني مجرد توفير بضع ثوانٍ؛ بل تعني غالباً الفرق بين مسألة تستغرق مليون سنة لحلها ومسألة تستغرق بضع ساعات فقط.

ملخص

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

هذا يسمي المطورين بالتركيز على رياضيات المسألة بدلاً من الضياع في ميكانيكا الآلة الكمومية.

ملخص تقني: Cobble: تجميع ترميزات الكتل للحساب الخطي الكمي

بيان المشكلة

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

يواجه المطورون حالياً تحديين رئيسيين:

فجوة التجريد: تفتقر لغات البرمجة الكمية الحالية (مثل Qiskit وQ# وSilq) إلى تجريدات لإنشاء ومعالجة ترميزات الكتل. ويُضطر المطورون لتحديد منطق البوابات على مستوى البت (bit-level logic gates) للتعبيرات المصفوفية، مما قد يؤدي إلى دوائر تحتوي على ملايين البوابات.
الكفاءة ونموذج التكلفة: يصعب التفكير في ترميزات الكتل بسبب نموذج تكلفة غير تقليدي. فتكلفة البرنامج لا تقتصر فقط على عدد البوابات المنطقية، بل تشمل أيضاً عامل التقليل من المعايرة (subnormalization) ( $\alpha$ ). يحدد هذا العامل عدد مرات تكرار الدائرة المطلوبة لإنتاج إجابة صحيحة عبر الاختيار اللاحق (post-selection). علاوة على ذلك، فإن تحسينات الجبر الخطي الكلاسيكية، مثل إعادة استخدام التعبيرات الفرعية (على سبيل المثال، حساب $(A+B) \cdot (A+B)$ عبر إعادة استخدام $A+B$ )، غالباً ما تكون غير قابلة للتطبيق أو غير مربحة في السياق الكمي لأن ترميزات الكتل الوسيطة لا يمكن تخزينها مؤقتاً وإعادة استخدامها بسهولة.

المنهجية

يقدم المؤلفون Cobble، وهي لغة مجال محدد (DSL) ومترجم مصمم لسد الفجوة بين التدوين الرياضي عالي المستوى والدوائر الكمية الفعالة لترميزات الكتل.

تصميم اللغة

تسمح Cobble للمطورين بالتعبير عن ترميزات الكتل باستخدام مؤثرات رياضية عالية المستوى (الجمع، الضرب، الضرب التنسوري، والاختيار) بدلاً من البوابات منخفضة المستوى.

بنية النحو الأساسية: تدعم اللغة العمليات الحسابية على المصفوفات المرمزة ككتل ( $B[A]$ )، بما في ذلك الملحقات (adjoints)، والجمع، والضرب، والضرب التنسوري.
نظام النوع (Type System): تفرض Cobble شروط القابلية للتحقق الفيزيائي. فعلى سبيل المثال، تضمن أن الجمع المباشر (direct sums) له نفس معامل التقليل من المعايرة، وأن كثيرات الحدود المستخدمة في تحويل القيمة المفردة الكمية (QSVT) تُطبق على مصفوفات هيرميتية.
الدلالات (Semantics): توفر اللغة كلاً من الدلالات التفسيرية (المصفوفة المرمزة) ودلالات التجميع (الدائرة الكمية الناتجة). ويضمن المترجم أن البرامج ذات الأنواع الصحيحة تُجمع إلى دوائر كمية صالحة.

نموذج التكلفة

تنفذ Cobble نموذج تكلفة مشتق من الأبحاث النظرية لتقدير كفاءة البرنامج. تُعرف التكلفة الإجمالية للتشغيل كالتالي:
$\text{Cost} = \text{# Queries} \times \text{Subnormalization}$

الاستعلامات (Queries): عدد الاستدعاءات لـ "الأوراكل" (oracles) الصندوق الأسود (مثل البوابات الأساسية أو الدوائر المخصدة لتطبيقات معينة).
التقليل من المعايرة ( $\alpha$ ): معامل يمثل عدد مرات تكرار الدائرة المتوقع للنجاح.
التحليل: يحلل النظام كيف تؤثر استراتيجيات التنفيذ المختلفة (الجمع الخطي للوحدات LCU، وطريقة هورنر، وQSVT) على هذه التكاليف، كاشفاً أن "التقليل من المعايرة" غالباً ما يكون هو العائق المهيمن.

التحسينات

لمعالجة تحدي الكفاءة، تستخدم Cobble نظام إعادة كتابة (rewrite system) سليماً، وغير مخفض للتكلفة، ومتماثلاً قوياً، ويتميز بتحسينين رئيسيين:

دمج الجمع (Sum Fusion): يقوم هذا التحسين بتسطيح عمليات الجمع الخطي المتداخلة للمصفوفات. ومن خلال تبسيط التعبيرات جبرياً (على سبيل المثال، دمج الحدود ذات المعاملات السالبة)، فإنه يقلل عدد الاستعلامات ويخفض عامل التقليل من المعايرة، الذي غالباً ما يتضخم بسبب متباينة المثلث في تطبيقات LCU البدائية.
دمج كثيرات الحدود (Polynomial Fusion): يقوم هذا التحسين بدمج عمليات الجمع والضرب المتكررة في شكل كثير حدود رمزي مدمج ( $Poly(M, [a_0, \dots, a_d])$ ). وهذا يتيح استخدام تحويل القيمة المفردة الكمية (QSVT)، والذي يمكنه تنفيذ كثيرات الحدود المصفوفية بعدد أقل بكثير من الاستعلامات وتقليل أقل في معامل التقليل من المعايرة (باستخدام معيار $L_\infty$ ) مقارنة بطرق LCU أو هورنر (التي تستخدم معيار $L_1$ ).

تشمل عمليات إعادة الكتابة الإضافية تحليل التعبيرات الفرعية المشتركة (حيثما كان ذلك ممكناً، مثل التوزيع) وتبسيط الملحقات (adjoints).

المساهمات الرئيسية

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

النتائج

قيم المؤلفون Cobble على اختبارات معيارية للمحاكاة، والانحدار، والبحث، ومعالجة الصور.

التسريع: قللت التحسينات إجمالي تكلفة وقت التشغيل (الاستعلامات $\times$ $\times$ التقليل من المعايرة) بمقدار 2.6 $\times$ إلى 25.4 $\times$ مقارنة بالنماذج المرجعية غير المحسنة.
- مثال: شهد اختبار الانحدار تسريعاً بمقدار 24 $\times$ (تقليل التكلفة من 192 إلى 8).
- مثال: شهدت خوارزمية عكس المصفوفة انخفاضاً من $2.5 \times 10^6$ إلى $69.8$ في التكلفة عند استخدام QSVT عبر دمج كثيرات الحدود.
المقارنة مع محسنات الدوائر: عند مقارنتها بمحسنات الدوائر الحالية (مثل Quartz وQiskit وPytket)، حققت تحسينات Cobble الهيكلية عالية المستوى نتائج مساوية أو أفضل في تقليل عدد بوابات non-Clifford. والأهم من ذلك، قللت Cobelle استخدام الكيوبتات بمتوسط 51.6% (يصل إلى 90.9% في اختبارات معينة)، بينما فشلت المحسنات الحالية عموماً في تقليل عدد الكيوبتات لهذه البرامج.
القابلية للتوسع: يمكن لمترجم Cobble معالجة البرامج التي قد تحتوي دوائرها غير المحسنة على ملايين البوابات في جزء من الثانية، حيث تكمن التكلفة الزمنية الأساسية في الحل العددي الخارجي لزوايا طور QSP.

الأهمية والأثر

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

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

يضع المؤلفون Cobble ليس كحل كامل لكل هياكل المصفوفات، بل كخطوة تأسيسية نحو لغات متخصصة في المجال يمكنها التعامل مع هياكل المصفوفات المعقدة (مثل المصفوفات النطاقية Banded، ومصفوفات Toeplitz) وأتمتة الاستدلال حول التبادلية والخطأ في الإصدارات المستقبلية.