Benchmarking Digital-Analog Quantum Computation

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

تعتمد الحوسبة الكمومية الرقمية (DQC) على تفكيك الخوارزميات إلى سلاسل من بوابات الكيوبت المنفردة (SQGs) وبوابات الكيوبت المزدوجة (TQGs). ورغم كون هذا النهج شاملاً، إلا أنه عرضة لأخطاء التحكم ويتطلب معايرة دقيقة لكل بوابة. وقد طُرحت الحوسبة الكمومية الرقمية-التناظرية (DAQC) كنموذج بديل؛ حيث تستخدم DAQC التطور الطبيعي المستمر للجهاز تحت تأثير "هاميلتوني مورد" (resource Hamiltonian) متشابك (كتل تناظرية)، يتخلله بوابات الكيوبت المنفردة، لهندسة "هاملتونيات مستهدفة" محددة.

وبينما تعد DAQC بالمتانة ضد أخطاء التحكم وسهولة التنفيذ التجريبي، إلا أن الأدبيات السابقة افتقرت إلى تحليل منهجي لـ خصائص القياس (scaling properties) الخاصة بها عبر مختلف اتصالات الأجهزة. ولم يكن من الواضح ما إذا كانت DAQC تقدم ميزة حقيقية مقارنة بـ DQC من حيث قياس الخطأ، ووقت التنفيذ، والدقة (fidelity)، خاصة مع زيادة عدد الكيوبتات.

2. المنهجية

قام المؤلفون بتطوير إطار عمل شامل لتحليل DAQC من خلال توسيع تطبيقها ليشمل اتصالات كيوبت تعسفية (ليس فقط الكل-إلى-الكل أو السلاسل الخطية).

• صياغة البروتوكول العام:

  • حددوا هاميلتوني مورد ($\bar{H}_C$) يمثل التفاعلات الأصلية للجهاز (المفترضة من نوع ZZ-Ising)، وهاميلتوني مستهدف ($H_C$) يمثل الحوسبة المرغوبة.
  • اشتقوا طريقة لهندسة معاملات مستهدفة تعسفية عن طريق تشغيل سلسلة من الكتل التناظرية $c$ (حيث $c$ هو عدد الاتصالات).
  • من خلال تخلل بوابات X بين الكتل التناظرية، يمكنهم عكس إشارات حدود الاقتران، مما ينشئ نظاماً خطياً من المعادلات ($G t_f = M t$) حيث يتم حل متجه أوقات تشغيل الكتل التناظرية ($t$) عن طريق عكس مصفوفة الإشارة ($M$) المشتقة من الاتصال.
  • حللوا نموذجين:
    • الـ DAQC المتدرج (sDAQC): يتم تشغيل وإيقاف الكتل التناظرية بشكل متسلسل.
    • الـ DAQC المطرقي (bDAQC): يكون الهاملتوني التناظري يعمل دائماً، مع تطبيق بوابات SQGs كنبضات سريعة. هذا يؤدي إلى أخطاء عدم التبادل (Trotter)، ولكنه يتجنب أخطاء معايرة الرفع والخفض (ramp-up/down).

• نمذجة الخطأ:

  • حدد المؤلفون ونمذجوا أربعة مصادر رئيسية للخطأ:
    1. أخطاء الرفع والخفض: عدم اليقين في التوقيت عند تشغيل أو إيقاف الكتل التناظرية (ذات صلة بـ sDAQC).
    2. سوء توصيف الاقتران: الأخطاء في معاملات الهاملتوني المورد.
    3. أخطاء عدم التبادل: الأخطاء التي تنشأ في bDAQC عندما لا تتبادل بوابات SQGs والهاملتوني التناظري.
    4. تلاشي الترابط البيئي: الاسترخاء الحراري ($T_1$) الذي يؤثر على إجمالي وقت التنفيذ.
  • اشتقوا قوانين قياس تحليلية لعدد الكتل التناظرية ($n_{AB}$)، وحدود الكيوبت المزدوج ($n_{TQT}$)، وبوابات الكيوبت المنفرد ($n_{SQG}$)، ووقت التنفيذ ($t$) كدالة لعدد الكيوبتات ($N$).

• التحسين لاتصال النجمة (Star Connectivity):

  • اقترحوا بروتوكولاً محسناً لأجهزة اتصال النجمة (كيوبت مركزي واحد متصل بـ $N-1$ من الكيوبتات الخارجية). من خلال ترتيب بوابات X بعناية، قاموا ببناء مصفوفة إشارة محددة $M$ تقلل من عدد الك blocks وأوقات التشغيل، مما يقلص الخوارزمية فعلياً إلى كتلة تناظرية واحدة لبعض الهاملتونيات المتجانسة.

• المحاكاة العددية:

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

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

• تعميم DAQC: قدموا أول بروتوكول عام لتنفيذ DAQC شاملة على أجهزة ذات اتصالات تعسفية، متجاوزين نماذج الكل-إلى-الكل أو السلاسل الخطية المقيدة.
• التحليل المنهجي لقياس الخطأ: اشتقوا قوانين قياس صريحة تظهر أن DAQC تُدخل عموماً عدداً فوق خطي من حدود الكيوبت المزدوج ($O(N^5)$ لـ ATA-QFT) مقارنة بـ DQC ($O(N^2)$)، مما يؤدي إلى قياس أسوأ للخطأ في معظم الحالات.
• التحسين لاتصال النجمة: أثبتوا أنه بالنسبة لاتصالات محددة (النجمة) وخوارزميات محددة (GHZ)، يمكن لـ DAQC أن تتفوق على DQC. في حالة GHZ، يتطابق الهاملتوني المستهدف مع الهاملتوني المورد، مما يسمح بأداء العملية بأكملها في كتلة تناظرية واحدة، مما يقلل وقت التنفيذ من $O(N)$ إلى $O(1)$.
• تحليل المقايضة (Trade-off): حددوا منطقة قد تتفوق فيها DAQC على DQC: وهي عندما يكون وقت تنفيذ التفاعلات الرقمية (TQGs) بطيئاً جداً أو عندما تكون أوقات ترابط الكيوبتات ($T_1$) قصيرة جداً. في هذه الحالات، يمكن للوقت المنخفض للتنفيذ في DAHC (رغم تراكم أخطاء التحكم) أن يؤدي إلى دقة إجمالية أعلى بسبب تقليل التلاشي (decoherence).

4. النتائج

• العيب العام: بالنسبة للخوارزميات القياسية مثل QFT على اتصال الكل-إلى-الكل (ATA)، تؤدي DAQC أداءً أسوأ من DQC.
  • الدقة: تنخفض دقة DAHC بشكل كبير مع زيادة $N$. بالنسبة لـ $N=3$، تستخدم ATA-QFT في DQC ثلاث بوابات TQG، بينما تتطلب DAHC 18 حداً من حدود الكيوبت المزدوج (بسبب قياس $c^2$ للكتل التناظرية).
  • الوقت: يتزايد وقت التنفيذ في DAHC كـ $O(N^{2.05})$ لـ ATA-QFT، بينما يتزايد في DQC بشكل خطي $O(N)$.
• تفاصيل اتصال النجمة:
  • QFT: يحسن QFT في طوبولوجيا النجمة من الأداء مقارنة بحالة ATA، لكنه لا يزال يتراجع عموماً عن DQC في الدقة، رغم أنه يوفر قياساً زمنياً خطياً ($O(N)$) مقارنة بالقياس التربيعي ($O(N^2)$) في DQC.
  • حالة GHZ: تتفوق DAHC على DQC. لأن تحضير حالة GHZ على رسم بياني نجمي هو بطبيعته كتلة تناظرية واحدة، تحقق DAHC وقتاً ثابتاً للتنفيذ ($O(1)$) ودقة أعلى من خلال موازاة التفاعلات التي يجب على DQC القيام بها بشكل متسلسل.
• bDAQC مقابل sDAQC:
  • في حالة Star-QFT، يتفوق bDAQC على sDAQC عندما تكون $N > 6$. وذلك لأن خطأ عدم التبادل في bDAQC يتوسع بشكل ملائم ($O(1)$ لكل كتلة لطوبولوجيا النجمة) مقارنة بأخطاء الرفع والخفض في sDAQC.
• مقايضة الدقة مقابل الوقت:
  • تظهر المحاكاة العددية أنه بينما تراكم DAHC المزيد من أخطاء التحكم، فإن وقت تنفيذها الأقصر يمكن أن يخفف من التلاشي. إذا كانت التفاعلات الرقمية (TQGs) بطيئة (مثلاً 300 نانو ثانية) أو كان $T_1$ قصيراً (مثلاً 50 ميكرو ثانية)، يمكن لـ DAHC تحقيق دقة إجمالية أعلى من DQC لـ $N$ كبيرة بما يكفي.

5. الأهمية

تقدم هذه الورقة "مراجعة واقعية" لنماذج DAQC. فهي توضح أن DAQC ليست حلاً شاملاً للحوسبة الكمومية في العصر الحالي.

• متى تستخدم DAQC: تكون أكثر فائدة عندما يتطابق الهاملتوني المستهدف عن كثب مع الهاملتوني المورد الأصلي للجهاز (مثل تحضير حالة GHZ على رسم بياني نجمي) أو عندما تتطلب الخوارزمية موازاة العديد من التفاعلات التي ستكون متسلسلة في DQC.
• متى تتجنب DAQC: بالنسبة للخوارزميات المتفرقة (مثل QFT) على اتصالات عامة، فإن عبء إلغاء الاقترامات غير المرغوب فيها عبر كتل تناظرية متعددة يؤدي إلى الكثير من الحدود المسببة للخطأ، مما يجعل DQC متفوقاً.
• الاتجاه المستقبلي: يشير العمل إلى أن DAQC هي أداة واعدة لـ المحاكاة الكمومية والخوارزميات التباينية (variational algorithms) حيث يكون الهدف هو توليد التشابك عبر الجهاز بأكمله بسرعة، بدلاً من الحوسبة العامة القائمة على البوابات.

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