HUGR: تمثيل وسيط موحد للبرامج الكمية-الكلاسيكية

المعلومات الأساسية

• معرّف الورقة: 2510.11420
• العنوان: HUGR: A Quantum-Classical Intermediate Representation
• المؤلفون: Mark Koch, Agustín Borgna, Seyon Sivarajah, Alan Lawrence, Alec Edgington, Douglas Wilson, Craig Roy, Luca Mondada, Lukas Heidemann, Ross Duncan (Quantinuum)
• التصنيف: cs.PL (لغات البرمجة)، quant-ph (الفيزياء الكمية)
• تاريخ النشر: 13 أكتوبر 2025 (نسخة arXiv المسبقة)
• رابط الورقة: https://arxiv.org/abs/2510.11420

الملخص

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

الخلفية البحثية والدافع

تعريف المشكلة

تتضمن تطبيقات الحوسبة الكمية الحديثة عادة التفاعل بين المعالجات الكمية والكلاسيكية، خاصة في الخوارزميات التي تتطلب قرارات كلاسيكية ضمن وقت التماسك الكمي. على سبيل المثال:

1. بروتوكولات التكرار حتى النجاح: تحكم كلاسيكي قائم على نتائج القياس المتوسطة لتحديد العمليات الكمية التالية
2. خوارزميات تصحيح الأخطاء الكمية: تتطلب منطق كلاسيكي معقد لفك تشفير الأخطاء في الوقت الفعلي وتطبيق التصحيحات
3. التحسين الهجين الكمي-الكلاسيكي: تكامل وثيق بين المعالجة الكمية والكلاسيكية

أهمية المشكلة

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

قيود الطرق الموجودة

1. الأطر التقليدية (Cirq و Qiskit و TKET وغيرها): تمثل الدوائر الكمية بشكل أساسي كقائمة أو رسم بياني للبوابات، مع دعم محدود للبرامج الكمية-الكلاسيكية الديناميكية
2. QIR: بناءً على LLVM IR، يعامل البتات الكمية كمؤشرات معتمة، يتطلب تحليل تدفق بيانات عام لتتبع البتات الكمية، يفتقر إلى قابلية التوسع
3. OpenQASM 3: يشبه لغة برمجة عالية المستوى بدلاً من التمثيل الوسيط

الدافع البحثي

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

المساهمات الأساسية

1. اقتراح إطار HUGR: أول تمثيل رسم بياني قائم على الموحد لبرامج كمية-كلاسيكية مختلطة
2. بنية رسم بياني هرمية: تدعم تدفق تحكم متداخل بشكل تعسفي وتجريد متعدد المستويات
3. ضمانات سلامة النوع: نظام نوع ثابت صارم وأنواع كمية خطية تضمن صحة البرنامج
4. تصميم قابل للتوسع: نظام تعريف العمليات وأنواع البيانات المعيارية، مشابه لنظام اللهجات في MLIR
5. دعم تحسين فعال: تقنيات تحسين قائمة على مطابقة الأنماط، تدعم المعالجة المتوازية والتركيب الفعال
6. تطبيق مفتوح المصدر: توفير مواصفات كاملة وتطبيق مرجعي بلغة Rust

شرح الطريقة

تعريف المهمة

يهدف HUGR إلى توفير تمثيل وسيط يمكنه:

• الإدخال: وصف عالي المستوى لبرامج كمية-كلاسيكية مختلطة
• الإخراج: تمثيل بنية رسم بياني قابل للتحسين والتحليل
• القيود: الحفاظ على سلامة النوع وقيود النوع الكمي الخطي وعلم البرنامج

معمارية النموذج

1. أساس الرسم البياني لتدفق البيانات

يمثل HUGR البرنامج كرسم بياني لتدفق البيانات يربط عقد الإدخال والإخراج:

• العقد: عمليات كمية أو كلاسيكية
• الحواف: اتصالات موجهة تحمل البتات الكمية أو البيانات الكلاسيكية
• المنافذ: واجهات إدخال/إخراج مرقمة بشكل صريح على العقد

In → Addf64 → Rz → Out
      ↓      ↗
     f64   Rx

2. نظام النوع

• النوع الثابت: جميع الحواف لها نوع ثابت، وعمليات العقد لها توقيعات ثابتة
• النوع الكمي الخطي: منافذ البتات الكمية يمكن أن تحتوي على حافة اتصال واحدة فقط، مما يمنع نسخ البتات الكمية
• نسخ القيم الكلاسيكية: يمكن نسخ القيم الكلاسيكية واستخدامها عدة مرات

3. البنية الهرمية

يمكن للعقد أن تحتوي على رسوم بيانية فرعية متداخلة، تدعم:

• عمليات شرطية: فروع بين رسوم بيانية تنفيذ متعددة بناءً على إدخال التحكم
• عمليات الحلقة الطرفية: رسوم بيانية فرعية لتدفق البيانات للحلقات المنظمة
• عقد CFG: رسوم بيانية تدفق تحكم غير منظمة، تحتوي على عقد BasicBlock

4. الدوال والأنواع ذات الترتيب الأعلى

• FuncDef: دالة معرفة كرسم بياني لتدفق البيانات
• FuncDecl: إعلان دالة خارجية
• حواف ثابتة: تمثل قيم ثابتة في وقت الترجمة (خطوط متقطعة)
• LoadFunction: تحويل قيمة دالة ثابتة إلى قيمة وقت تشغيل ديناميكية
• توقيعات متعددة الأشكال: تدعم تعريفات الدوال مع متغيرات النوع

نقاط الابتكار التقني

1. التمثيل الموحد الكمي-الكلاسيكي

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

2. قيود النوع الخطي

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

3. نظام التوسع المعياري

يتم فصل HUGR الأساسي عن العمليات المحددة، مما يسمح للمستخدمين بتعريف عمليات وأنواع بيانات خاصة بالمجال دون تعديل التطبيق الأساسي.

4. دعم التجريد الهرمي

يدعم تمثيل البرنامج والتحويل عبر مستويات تجريد متعددة، من وصف الخوارزمية عالي المستوى إلى مجموعة التعليمات الخاصة بالأجهزة.

إعداد التجربة

تفاصيل التطبيق

• التطبيق المرجعي: تطبيق بلغة Rust، يستفيد من ميزات السلامة في الذاكرة
• متاح مفتوح المصدر: المواصفات الكاملة والتطبيق على github.com/CQCL/hugr
• توافق MLIR: توفير نموذج أولي للهجة MLIR (github.com/CQCL/hugr-mlir)

برامج مثال

توفر الورقة عدة برامج مثال للتحقق من قدرة التعبير في HUGR:

1. دوران الزاوية الديناميكي

In → Add → Rz → Rx → Out
     ↓    ↗    ↗
    f64  f64  qubit

2. بوابة كمية شرطية

برنامج يقوم بتنفيذ بوابة H أو X بشكل شرطي بناءً على نتيجة القياس

3. بروتوكول التكرار حتى النجاح

مثال كامل لتطبيق عملية $(I + i\sqrt{2}X)/\sqrt{3}$

نتائج التجربة

التحقق من قدرة التعبير

تتحقق الورقة من خلال أمثلة محددة من أن HUGR يمكنه التعبير عن:

1. الدوائر الكمية التقليدية: الدوائر الثابتة والمعاملة
2. حلقات التحسين الهجينة: خوارزميات مختلطة كمية-كلاسيكية
3. منطق كمي-كلاسيكي في الوقت الفعلي: تحكم ديناميكي بناءً على القياس المتوسط
4. تدفق التحكم المنظم: فروع شرطية وحلقات
5. تدفق التحكم غير المنظم: رسوم بيانية تدفق تحكم تعسفية

أداء التحسين

يتمتع التحسين القائم على مطابقة الأنماط من البنية الرسومية بالمزايا التالية:

• مطابقة فعالة: توفر تسميات المنافذ بنية إضافية، أكثر كفاءة من فحص الرسم البياني الفرعي العام
• دعم المعالجة المتوازية: تسمح مطابقة الأنماط بتركيب فعال لقواعد إعادة الكتابة
• قابلية التوسع: القدرة على البحث في عشرات الآلاف من الأنماط في نفس الوقت

ضمانات سلامة النوع

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

الأعمال ذات الصلة

مقارنة مع الأطر الكمية التقليدية

مقارنة مع QIR

• مزايا QIR: بناءً على بنية LLVM الناضجة
• قيود QIR:
  • البتات الكمية كمؤشرات معتمة، تتطلب تحليل عام
  • نقص في قابلية التوسع، صعوبة إضافة تجريدات عالية المستوى
  • نموذج عملية قائم على الآثار الجانبية يعقد التحسين

العلاقة مع MLIR

• التشابه: كلاهما يعتمد نظام اللهجات لدعم التجريدات الخاصة بالمجال
• مزايا HUGR:
  • تصميم متخصص لمجال الكم
  • النوع الخطي كمفهوم من الدرجة الأولى
  • تطبيق Rust يوفر سلامة الذاكرة
  • مستقل عن MLIR الذي يتغير بسرعة

الخلاصة والمناقشة

الاستنتاجات الرئيسية

1. نجح HUGR في توحيد تمثيل البرامج الكمية-الكلاسيكية، مع دعم طيف كامل من الدوائر التقليدية إلى الخوارزميات الهجينة المعقدة
2. توفر البنية الرسومية الهرمية ونظام النوع الصارم أساساً متيناً لتطوير أدوات الترجمة
3. يدعم التصميم القابل للتوسع التطور السريع في مجال الحوسبة الكمية وتكامل التجريدات الجديدة
4. يوفر إطار التحسين القائم على مطابقة الأنماط طريقة جديدة لتحسين البرنامج بكفاءة

القيود

1. منحنى التعلم: قد تزيد تعقيد HUGR مقارنة بالتمثيل الدائري التقليدي من تكاليف تعلم المطورين
2. نظام الأدوات: كإطار عمل جديد، يتطلب وقتاً لبناء سلسلة أدوات كاملة ودعم المجتمع
3. تقييم الأداء: تفتقر الورقة إلى مقارنة أداء كمية مع الأطر الموجودة
4. النشر العملي: لم يتم عرض التطبيق على برامج كمية واسعة النطاق

الاتجاهات المستقبلية

1. تحسين سلسلة الأدوات: تطوير دعم لمزيد من لغات الواجهة الأمامية وأهداف الواجهة الخلفية
2. خوارزميات التحسين: استكشاف تقنيات تحسين أكثر تحديداً للحوسبة الكمية
3. التحقق الرسمي: توفير دعم التحقق الرسمي لبرامج HUGR
4. التكامل مع الأجهزة: تكامل عميق مع منصات الأجهزة الكمية المحددة

التقييم المتعمق

المزايا

1. ابتكار قوي: أول تمثيل رسم بياني موحد كمي-كلاسيكي، يحل مشكلة تقنية مهمة
2. تصميم شامل: تصميم شامل من نظام النوع إلى إطار التحسين، مع مراعاة دقيقة
3. قيمة عملية عالية: يستهدف بشكل مباشر احتياجات الحوسبة الكمية الفعلية، من المحتمل أن يدفع تطور المجال
4. مساهمة مفتوحة المصدر: يقلل التطبيق المفتوح المصدر الكامل من حواجز الاعتماد

أوجه القصور

1. التحقق التجريبي محدود: التحقق بشكل أساسي من خلال الأمثلة، يفتقد تقييم الأداء على نطاق واسع
2. غياب المقارنة الكمية: نقص المقارنات الكمية لتأثيرات التحسين ووقت الترجمة مع الأطر الموجودة
3. تجربة المستخدم: تقييم غير كافٍ لسهولة الاستخدام كتمثيل وسيط
4. بناء النظام البيئي: يتطلب بناء سلسلة أدوات وبناء مجتمع جديد وقتاً

التأثير

1. القيمة الأكاديمية: توفير أساس نظري جديد لبحث لغات البرمجة الكمية والمترجمات
2. التطبيق الصناعي: تزيد الخلفية الصناعية لـ Quantinuum من احتمالية التطبيق العملي
3. إمكانية التوحيد: من المحتمل أن تصبح معياراً لتمثيل البرامج الكمية-الكلاسيكية المختلطة
4. تعزيز التطور: قد تحفز نماذج برمجة كمية جديدة وتقنيات تحسين

السيناريوهات المناسبة

1. بحث الخوارزميات الكمية: دعم تمثيل وتحسين الخوارزميات الكمية المعقدة
2. تطوير مترجمات كمية: توفير تمثيل وسيط موحد لمترجمات كمية
3. تطبيقات الحوسبة المختلطة: مناسب بشكل خاص للتطبيقات التي تتطلب تفاعل وثيق بين الكمي والكلاسيكي
4. هندسة البرامج الكمية: توفير بنية أساسية لتطوير برامج كمية واسعة النطاق

المراجع

تستشهد الورقة بـ 25 مرجعاً ذا صلة، تغطي:

• الخوارزميات والبروتوكولات الكمية (التكرار حتى النجاح وتصحيح الأخطاء الكمية وغيرها)
• أطر البرمجة الكمية الموجودة (Cirq و Qiskit و TKET و PennyLane وغيرها)
• بنية المترجمات (LLVM و MLIR)
• نظرية نظام النوع (الأنواع الخطية)
• تقنيات تحسين الرسوم البيانية ومطابقة الأنماط

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