Quantum Circuit Overhead

ملخص تقني: العبء الإضافي للدوائر الكمومية

بيان المشكلة
تتضمن عملية التجميع الكمومي (Quantum compilation) تقريب العمليات الوحدوية (unitary operations) التعسفية باستخدام مجموعة محدودة وشاملة من البوابات الكمومية الأولية (مجموعة البوابات الأصلية). وبينما تضمن مبرهنة سولوفاي-كيتايف (SK) وتعميماتها (SKL) أن أي عملية وحدوية يمكن تقريبها بطول دائرة يتناسب لوغاريتميًا مع مقلوب الخطأ ($\ell(S, \epsilon) = O(\text{poly}(\log(1/\epsilon)))$)، إلا أن الكفاءة الكمية لمجموعات بوابات محددة تظل صعبة المقارنة. غالبًا ما تعتمد الحدود النظرية الموجودة على القياسات التقاربية أو الفجوات الطيفية التي يصعب حسابها لمجموعات محددة. علاوة على ذلك، في البنى التحتية العملية (سواء في عصر NISQ أو الحوسبة المتسامحة مع الخطأ)، غالبًا ما تكون تكاليف البوابات غير متجانسة؛ حيث تكون بعض البوابات (مثل البوابات التشابكية أو غير الكليفوردية) أكثر تكلفة بكثير من غيرها (مثل التحكمات المحلية أو بوابات كليفورد). هناك نقص في وجود مقياس موحد وقابل للحساب لتقييم كفاءة مجموعة بوابات $S$ بالنسبة للحد الأمثل النظري لمجموعة من نفس الحجم، ولأخذ نماذج التكلفة غير المتجانسة هذه في الاعتبار.

المنهجية
يقدم المؤلفون مقياسين جديدين: العبء الإضافي للدوائر الكمومية (QCO) والعبء الإضافي لدوائر T-الكمومية (T-QCO). تم اشتقاق هذين المقياسين من مبرهنات تشبه مبرهنة سولوفاي-كيتايف غير البنائية، والتي تربط كفاءة مجموعة البوابات بخصائص مؤثرات اللحظة (moment operators) المرتبطة بها.

1. الإطار النظري:

   • QCO: يُعرَّف بأنه النسبة بين طول الدائرة $\ell(S, \epsilon)$ المطلوب لتشكيل شبكة $\epsilon$ ( $\epsilon$-net) باستخدام مجموعة بوابات $S$، والطول الأمثل $\ell_{\text{opt}}(|S|, \epsilon)$ الذي يمكن تحقيقه بواسطة أي مجموعة بوابات لها نفس العدد $|S|$.
   • T-QCO: هو تكييف لنماذج التكلفة حيث توجد مجموعة فرعية من البوابات $C$ (الرخيصة) ومجموعة فرعية $T_i$ (المكلفة). يعامل هذا المقياس البوابات الرخيصة كأنها "مجانية"، ويحلل كفاءة مجموعة البوابات "المشتقة" $S_T$، المكونة من المدارات الملحقة (adjoint orbits) للبوابات المكلفة تحت تأثير المجموعة الرخيصة $C$.
   • الحدود العليا: يستخدم المؤلفون العلاقة بين شبكات $\epsilon$ وتصميمات $t$-وحدوية تقريبية $\delta$ ( $\delta$-approximate unitary $t$-designs). كما يحددون حدودًا عليا قابلة للحساب $Q(S, \epsilon)$ و $Q_T(S, \epsilon)$ بناءً على الفجوة الطيفية لمؤثرات اللحظة. وتحديدًا، تعتمد هذه الحدود على $\delta(\nu_S, t)$، وهي الفجوة بين مؤثر اللحظة $t$ لمجموعة البوابات ومقياس هير (Haar measure).
   • القيمة المثلى: يتم اشتقاق حد أدنى أمثل للعبء الإضافي بناءً على عدد البوابات $|S|$، ويرمز له بـ $Q_{\text{opt}}(S)$، والذي يعتمد على مقياس كستين-ماكاي (Kesten–McKay measure) للمشي العشوائي على المجموعات.

2. التنفيذ العددي:

   • أجرى المؤلفون حسابات عددية واسعة النطاق على مجموعات حوسبة فائقة لتقييم هذه الحدود العليا.
   • ركزوا على مجموعات بوابات الكيوب الواحد ($d=2$) لضمان القدرة على المعالجة، حيث قاموا بحساب القيم المفردة لمؤثرات اللحظة $t$ لمجموعات مختلفة.
   • قارنت الدراسة بين:
     • مجموعات البوابات العشوائية من نوع هير ($S_{\mu, n, r}$).
     • مجموعات البوابات المشتقة من مجموعات فرعية منتهية (مجموعة كليفورد $C$ ومجموعة هيرتز $H$) المكتملة ببوابة واحدة مكلفة (إما بوابة "خاصة" محددة أو بوابة عشوائية من نوع هير ذات رتبة $r$).
   • تم زيادة معامل $t$ (رتبة التصميم) حتى استقرت التوزيعات الاحتمالية لقيم العبء الإضافي.

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

• تعريف QCO و T-QCO: صاغ البحث مقياسًا نسبيًا لكفاءة مجموعة البوابات يقارن مجموعة محددة مقابل الأفضل نظريًا من حيث الحجم، ويمد هذا المفهوم ليشمل نماذج التكلفة غير المتجانسة (T-QCO).
• الحدود العليا القابلة للحساب: قدم المؤلفون صيغًا صريحة ($Q$ و $Q_T$) تعمل كحدود عليا للعبء الإضافي، والتي يمكن حسابها عدديًا عبر مؤثرات اللحظة دون الحاجة إلى تجميع دوائر صريح.
• تحليل مجموعات بوابات محددة:
  • مجموعة كليفورد: حللت الدراسة عمليات إكمال مجموعة كليفورد المكونة من 24 عنصرًا. وقد حددت أن بوابة $P(\pi/4)$ الشهيرة (التي تُسمى غالبًا بوابة T) هي خيار غير أمثل للغاية لإكمال مجموعة كليفورد من بين البوابات ذات الرتبة $r=8$. وُجد أن الإكمالات المثلى هي مرافقات (conjugates) لـ $P(3\pi/4)$ بواسطة دورات كرة بلوخ المحددة.
  • مجموعة هيرتز: بالنسبة لمجموعة هيرتز المكونة من 12 عنصرًا، تم تحديد بوابة "Super-Golden" (رتبة $r=2$) كإكمال أمثل، حيث حققت القيمة المثلى تقاربيًا لـ $Q_T$.
• التحقق من صحة الحدود: أثبتت التجارب العددية أن مقياس كستين-ماكاي يوفر حدًا وثيقًا للفجوة الطيفية في هذه المجموعات المحددة، مما يؤكد صلة الحدود النظرية الدنيا.

النتائج

• كفاءة المجموعات العشوائية مقابل الهيكلية: أظهرت مجموعات البوابات العشوائية من نوع هير (Haar-random) باستمرار قيم عبء إضافي أفضل (أقل) مقارنة بالمجموعات الهيكلية المشتقة من مجموعات كليفورد وهيرز في المجموعات المدروسة.
• عدم مثالية بوابة T: في سياق مجموعة كليفورد، تعطي بوابة T القياسية ($P(\pi/4)$) حدًا عليا لـ T-QCO يبلغ ($Q_T \approx 52$)، وهو أسوأ بكثير من القيمة المثلى ($Q_{\text{opt}} \approx 3.4$) وحتى أسوأ من الإكمالات العشوائية العامة ($Q_T \approx 3.7$).
• البوابات المثلى المحددة:
  • بالنسبة لمجموعة كليفورد مع الرتبة $r=8$، فإن البوابات المثلى هي مرافقات لـ $P(3\pi/4)$ بواسطة دورات حول المحاور $(x, y, 0)$ حيث $|x| \neq |y|$ وزوايا في النطاق $[\pi/8, \pi/2]$.
  • بالنسبة لمجموعة هيرتز مع الرتبة $r=2$، فإن بوابة Super-Golden هي المثلى.
• الاستقرار: استقرت توزيعات قيم العبء الإضافي بسرعة مع زيادة رتبة التصميم $t$، مما يشير إلى أن حسابات $t$ المحدودة كافية لتقدير العبء الإضافي التقاربي.

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

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