⚛️ quantum physics

Speed-oriented quantum circuit backend

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

المؤلفون الأصليون: Sören Wilkening

نُشر 2026-04-24

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

CC BY 4.0

المؤلفون الأصليون: Sören Wilkening

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

تخيل أنك تحاول بناء قلعة "ليغو" ضخمة ومعقدة للغاية. في عالم الحوسبة الكمومية، هذه القلعة هي دائرة كمومية — وهي مجموعة من التعليمات التي تخبر الحاسوب الكمومي بما يجب فعله.

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

تقدم هذه الورقة أداة جديدة تسمى "الخلفية البرمجية للدائرة الكمومية الموجهة نحو السرعة" (Speed-Oriented Quantum Circuit Backend). فكر في هذا كطابعة ثلاثية الأبعاد عالية السرعة ومخصصة صناعيًا لتصميم المخططات فقط.

إليك تفصيل لما قاموا به، باستخدام تشبيهات بسيطة:

1. المشكلة: عنق زجاجة "التحضير"

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

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

2. الحل: "منظم ذكي"

قام المؤلف، سورين ويلكينج (Sören Wilkening)، ببناء حزمة برمجية جديدة مكتوبة بلغة C (وهي لغة برمجة منخفضة المستوى وسريعة جدًا). بدلاً من محاولة القيام بكل شيء (المحاكاة، التشغيل، والتحسين)، تقوم هذه الأداة بـ شيء واحد بإتقان: توليد الدائرة بأسرع ما يمكن.

لجعل هذا سريعًا، قام بتغيير طريقة تخزين البيانات:

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

3. خدعة "خط التجميع"

تتضمن البرمجيات أيضًا ميزة خاصة للمهام الشائعة.

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

4. النتائج: تسريع الزمن

اختبر الفريق أداتهم مقابل 12 حزمة برمجية كمومية شهيرة أخرى (مثل Qiskit و Cirq و Q#).

السباق: حاولوا بناء دوائر لأنظمة تتراوح من عدد قليل من الكيوبتات وصولاً إلى 2,000 كيوبت.
الفائز: كانت أداتهم أسرع بشكل جنوني.
- بالنسبة لنظام مكون من 2,000 كيوبت، كانت أداتهم أسرع بمقدار يصل إلى 1.7 مليون مرة من Q# و 1,200 مرة من PyTKet.
- كما استخدمت ذاكرة أقل بكثير. فبينما احتاجت الأدوات الأخرى إلى جيجابايت من ذاكرة الوصول العشوائي (RAM) (مثل ملء مستودع بالصناديق) لتخزين مخطط دائرة مكونة من 2,000 كيوبت، لم تحتج أداتهم إلا إلى بضع مئات من الميجابايت (مثل حقيبة ظهر واحدة).

لماذا يهم هذا؟

قد تتساءل، "لماذا نهتم إذا كان رسم المخطط يستغرق ثانية واحدة أو ساعة؟"

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

الخلاصة

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

إليك ملخص تقني مفصل لورقة "الخلفية البرمجية للدوائر الكمومية الموجهة نحو السرعة" (Speed-oriented quantum circuit backend) للباحث سورين ويلكينينج.

1. بيان المشكلة

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

عنق الزجاجة: في سير العمل الحالي، غالباً ما تهيمن الوقت والذاكرة المطلوبة لتوليد أوصاف الدوائر (تجميع الدوائر - circuit compilation) على إجمالي وقت التشغيل، لا سيما في تطبيقات مثل التحسين التوافقي (combinatorial optimization) حيث يجب تقليل المعالجة المسبقة الكلاسيكية للحفاظ على التفوق الكمومي المحتمل.
محدودية الأدوات الحالية: تعتمد الأطر البرمجية الشهيرة (مثل Qiskit وCirq وQ#) عادةً على دمج توليد الدوائر مع ميزات المحاكاة والتنفيذ. وتعتمد هياكل بياناتها غالباً على قوائم خطية أو رسوم بيانية معقدة تترتب عليها تعقيدات من رتبة $O(N)$ لمهام التحسين (مثل تحديد إلغاء البوابات العكسية)، كما تعاني من ارتفاع في استهلاك الذاكرة وزيادة في التكاليف الزمنية الثابتة التي تتوسع بشكل سيئ مع زيادة عدد الكيوبتات (على سبيل المثال، ما يتجاوز 100 كيوبت).
الفجوة: هناك نقص في الخلفيات البرمجية المخصصة ذات الإنتاجية العالية والمصممة خصيصاً لبناء دوائر سريعة للأنظمة الضخمة (آلاف الكيوبتات) حيث تُعطى الأولوية للتحسين "الكافي" على حساب التحسين الشامل البطيء.

2. المنهجية

يقترح المؤلف حزمة برمجية جديدة مكتوبة بلغة C لضمان الحد الأدنى من التبعيات وأقصى قدر من الأداء. تكمن الابتكارات الجوهرية في هياكل البيانات والنهج الخوارزمي لإدراج البوابات.

أ. هياكل البيانات

التمثيل الطبقي (Layered Representation): بدلاً من القائمة أحادية البعد المتسلسلة، يتم تخزين الدائرة كبنية ثنائية الأبعاد حيث تمثل الصفوف طبقات (مجموعات من العمليات المستقلة متبادلة التأثير التي تعمل على كيوبتات منفصلة). وهذا يسمح بتحديد التنفيذ المتوازي.
جداول البحث للوصول بـ $O(1)$ :
- last_layer_of_qubit: جدول يخزن تاريخ الطبقات التي شغلتها كل كيوبت. يسمح هذا للنظام بتحديد أقل طبقة ممكنة للبوابة الجديدة فوراً دون مسح الدائرة بأكملها ( $O(1)$ مقابل $O(\log N)$ أو $O(N)$ ).
- gate_index: مصفوفة ثنائية الأبعاد تربط (الطبقة، الكيوبت) بمؤشر بوابة محدد، مما يتيح البحث الفعال للتحقق من التبادل (commutation) والإلغاء.
إلغاء ودمج البوابات:
- الإلغاء العكسي: إذا كانت البوابة الجديدة هي معكوس آخر بوابة على كيوبت معين، يقوم النظام بإلغائهما فوراً عن طريق إنقاص مؤشر فهرس الطبقة، متجنباً إعادة ترتيب القائمة.
- دمج المعلمات (Parameter Merging): بالنسبة للبوابات البارامترية (مثل بوابات الطور المتحكم بها) ذات عناصر تحكم وأهداف متطابقة، يقوم النظام بدمج المعلمات بدلاً من إضافة بوابة جديدة.

ب. النهج الخوارزمي

الخوارزمية 1 (حساب الطبقة الدنيا): تستخدم جدول البحث للعثور على أعمق طبقة يمكن أن تشغلها البوابة الجديدة بناءً على الكيوبتات المستهدفة والمتحكم بها.
الخوارزمية 2 (إدراج البوابة):
- تتحقق من التبادل مع البوابات في الطبقة المستهدفة لإمكانية "تبديل" البوابة إلى طبقة أبكر، مما يقلل العمق.
- تقوم بالإلغاء الفوري للبوابات العكسية.
- تدمج المعلمات للبوابات البارامترية المتوافقة.
التجريد على مستوى التعليمات (Instruction-Level Abstraction): يدعم النظام مفهوم "قائمة التعليمات" (هيكل البيانات 3). بدلاً من إضافة البوابات واحدة تلو الأخرى، يمكن التعامل مع العمليات عالية المستوى (مثل تحويل فورييه الكمي QFT، أو الجمع الصحيح) كتعليمات محددة مسبقاً. تقوم الخلفية البرمجية بوضع هذه البوابات مباشرة في طبقاتها المثلى، متجاوزة عبء الإدراج المتسلسل للبوابة تلو الأخرى.

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

خلفية برمجية عالية الأداء: مكتبة مكتوبة بلغة C تركز حصرياً على بناء الدوائر، ومنفصلة عن المحاكاة أو التنفيذ، ومصممة لزمن تشغيل يقترب من المثالي.
هياكل بيانات محسنة: تقديم التخزين الطبقي مع جداول بحث خاصة بكل كيوبت يقلل من تعقيد إدراج البوابات والتحسين إلى $O(1)$ في كثير من الحالات العملية.
القابلية للتوسع: النظام قادر على توليد دوائر لأنظمة تصل إلى 2000 كيوبت، وهو مقياس تفشل فيه الأدوات الحالية أو تصبح بطيئة للغاية.
النماذج الأولية للتعليمات (Instruction Primitives): دعم النماذج عالية المستوى (الحسابات الثنائية، الحسابات الصحيحة، QFT) التي تسمح بالترميز (tokenization) وتحسين إضافي (مثل تجنب أزواج QFT/inverse-QFT الزائدة).

4. النتائج

تقارن الورقة البحثية هذه الخلفية الجديدة (QCB) مع 12 إطار عمل من أحدث ما توصل إليه العلم (بما في ذلك Qiskit وCirq وQ# وPyTKet وPennyLane) باستخدام تحويل فورييه الكمي (QFT) كمعيار قياسي.

أداء زمن التشغيل:
- للدوائر الصغيرة (1-10 كيوبت)، تعد الخلفية الجديدة أسرع بمعدل 2 إلى 3 مراتب عشرية من الأدوات الموجودة.
- لدوائر QFT المكونة من 2000 كيوبت:
  - أسرع بـ 47 مرة من PyTKet (نسخة QCB الأساسية).
  - أسرع بـ 1,209 مرة من PyTKet (نسخة QCB المحسنة).
  - أسرع بـ 67,800 مرة من Q# (نسخة QCB الأساسية).
  - أسرع بـ 1,748,000 مرة من Q# (نسخة QCB المحسنة).
كفاءة الذاكرة:
- يتطلب توليد دائرة QFT لـ 2000 كيوبت فقط 100-300 ميجابايت من ذاكرة الوصول العشوائي (RAM).
- تتطلب معظم الأدوات الأخرى عدة جيجابايت من الذاكرة لنفس المهمة.
- يقترب هذا النهج من الحد الأدنى النظري لتخزين البيانات ومعالجتها.
الحدود النظرية: تقترب نسخة "QCB-improved" (التي تستخدم التعليمات المحددة مسبقاً) من الحد المادي للأجهزة لزمن توليد الدائرة، مما يشير إلى أن التنفيذات أحادية المسار (single-threaded) لا يمكن أن تكون أسرع بشكل كبير.

5. الأهمية

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

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