SpiderLS: Leveraging Full ZX Reduction for Lattice Surgery Compilation
يُعد SpiderLS مترجماً مبتكراً لجراحة الشبكة (lattice surgery) يستفيد من الاختزال الكامل لمخطط ZX ومسار ترجمة متعدد المراحل لتحقيق تقليصات كبيرة في الحجم الزمكاني ووقت التجميع مقارنة بالنهج السابقة القائمة على ZX.
المؤلفون الأصليون:Hyungseok Kim, Changheon Lee, Seungjik Kim, Enhyeok Jang, Youngmin Kim, Seungwoo Choi, Hanbit Lee, Sungho Pyun, Won Woo Ro
تعد الحواسيب الكمومية بحل مشكلات مستعصية على آلات اليوم، لكنها هشة للغاية. ولكي تعمل بشكل موثوق، يجب حمايتها من أدنى اضطراب، وهو تحدٍ يتم مواجهته عبر طريقة تسمى تصحيح الخطأ الكمومي. تخيل قطعة واحدة من المعلومات موزعة عبر شبكة شاسعة من المكونات الفيزيائية، حيث يقوم النظام بفحص نفسه باستمرار لضمان عدم حدوث أي خطأ. وأحد أكثر الطرق واعدة لبناء هذا الدرع هو تقنية تُعرف باسم "الرمز السطحي" (surface code)، والتي ترتب هذه المكونات في نمط ثنائي الأبعاد. ولإجراء الحسابات، يجب التلاعب بهذه الشبكة بطريقة محددة للغاية: حيث يتم دمج أجزاء من الشبكة مؤقتًا مع بعضها البعض ثم فصلها لاحقًا لتبادل المعلومات. هذه العملية، التي تسمى "جراحة الشبكة" (lattice surgery)، هي المحرك العملي الذي يقود هذه الآلات المستقبلية، لكن تحديد كيفية جدولة عمليات الدمج والفصل هذه بكفاءة يمثل لغزًا حوسبيًا هائلاً؛ فإذا كان الجدول الزمني سيئًا، سيصبح الكمبيوتر كبيرًا جدًا وبطيئًا لدرجة تجعله غير مفيد.
لقد طور فريق من الباحثين في جامعة يونسي في سيول أداة جديدة تسمى "SpiderLS" لحل لغز الجدولة هذا. يعالج عملهم عقبة في كيفية ترجمة العلماء للبرامج الكمومية المعقدة إلى التعليمات الفيزيائية اللازمة لهذه الشبكات المصححة للأخطاء. في السابق، كانت المترجمات (compilers) التي تتعامل مع هذه الترجمة مجبرة على أن تكون حذرة للغاية؛ فقد كانت تعامل كل تفاعل في البرنامج الكمومي كحدث بسيط ومعزول، رافضةً دمج العمليات حتى عندما تسمح الفيزياء الأساسية بذلك. استند هذا الحذر إلى قاعدة صارمة: وهي أن نقطة اتصال واحدة في الشبكة لا يمكنها التعامل إلا مع عدد محدود من الروابط في وقت واحد. ونتيجة لذلك، كانت المترجمات تقوم بتفكيك المهام المعقدة إلى العديد من الخطوات الصغيرة والمتتالية، مما يهدر وقتًا ومساحة ثمينين. وقد أدرك الباحثون أن هذا القيد لم يكن ضروريًا، فمن خلال النظر إلى المشكلة من منظور رياضي مختلف، اكتشفوا أن الشبكة يمكنها في الواقع التعامل مع اتصالات أكثر تعقيدًا ومتعددة المسارات في آن واحد، بشرط توجيه هذه الاتصالات بشكل صحيح.
يعمل النظام الجديد، "SpiderLS"، عن طريق ترجمة البرنامج الكمومي أولاً إلى مخطط مبسط يكشف عن بنيته الحقيقية. وبدلاً من التوقف عند المستوى الأول من التبسيط، ترك الباحثون النظام يختزل المخطط بالكامل، مما يكشف عن فرص خفية لدمج عمليات متعددة في إجراءات واحدة أكبر. في النهج القديم، قد يضطر الكمبيوتر إلى تنفيذ ثلاث خطوات اتصال منفصلة واحدة تلو الأخرى، أما الطريقة الجديدة فتحدد أن هذه الخطوات الثلاث يمكن دمجها في عملية واحدة قوية متعددة الأجزاء. وبمجرد تحديد هذه العمليات الأكبر، يقوم النظام بتفكيكها إلى القياسات المحددة المطلوبة بواسطة "الرمز السطحي". ثم يعمل مثل مراقب حركة المرور، حيث يخصص هذه القياسات لمواقع محددة على الشبكة ويجد أقصر المسارات الخالية من التصادمات لكي تسلكها. تضمن هذه العملية استخدام الشبكة بأقصى كثافة ممكنة دون التسبب في تصادمات قد تجبر النظام على الانتظار.
إن نتائج هذا النهج مذهلة؛ فعند اختباره مقابل أفضل الأساليب الموجودة، قلل "SpiderLS" إجمالي المساحة والوقت المطلوبين لتشغيل البرامج الكمومية بنسبة تقارب النصف. وفي كثير من الحالات، انخفض الوقت اللازم لترجمة التعليمات بنسبة تقارب 100 بالمائة، مما يعني أن الأداة يمكنها توليد التعليمات بشكل فوري تقريبًا مقارنة بالدقائق أو الساعات التي كانت تتطلبها الأنظمة السابقة. اختبر الباحثون أداتهم على مجموعة واسعة من الخوارزميات الكمومية، بدءًا من روتينات البحث البسيطة وصولاً إلى المحاكاة المعقدة، ووجدوا أنها تنتج باستمرار جداول زمنية أكثر إيجازًا وكفاءة. والأهم من ذلك، أن هذه الكفاءة لم تأتِ على حساب الموثوقية؛ فقد حافظ النظام على نفس مستوى الحماية من الأخطاء كما في السابق. ومن خلال السماح للمترجم برؤية الإمكانات الكاملة لقدرات الشبكة، يثبت "SpiderLS" أنه يمكننا بناء حواسيب كمومية أكثر قوة دون الحاجة إلى بناء آلات فيزيائية أكبر.
ملخص تقني لورقة "SpiderLS: الاستفادة من اختزال ZX الكامل لتجميع جراحة الشبكة"
بيان المشكلة
تعتمد الحوسبة الكمومية ذات الخطأ التصحيحي (FTQC) بشكل كبير على كود السطح (surface code)، حيث يتم تنفيذ العمليات المنطقية عبر جراحة الشبكة (lattice surgery)—وهي عملية دمج وفصل رقع الكيوبتات المشفرة من خلال قياسات حاصل ضرب باولي (PPMs). ويعد تجميع الدوائر المنطقية إلى تجليات لجراحة الشبكة فعالة تقلل من تكلفة الزمكان (حاصل ضرب المساحة المكانية والخطوات الزمنية) عقبة حرجة في هذا النموذج.
استخدمت النهج الحديثة حساب ZX (ZX-calculus) كتمثيل وسيط (IR) لتمكين التحويلات التي تحافظ على الدلالات. ومع ذلك، فإن المجمّعات القائمة على ZX، مثل TopoLS، تقيد اختزال ZX للحفاظ على علاقة واحد لواحد بين عناكب ZX ووصلات جراحة الشبكة. ونظرًا للهندسة المستوية للرقع المنطقية، تدعم الوصلة الواحدة بحد أقصى أربع اتصالات (اثنان مكانيان واثنان زمانيان). وبناءً على ذلك، لا تستطيع هذه المجمّعات إجراء "اختزال كامل" لـ ZX إذا أدى ذلك إلى إنتاج عناكب ذات درجة أكبر من أربعة، رغم أن نموذج جراحة الشبكة الأساسي يدعم التفاعلات ذات الدرجات الأعلى عبر قياسات متعددة الرقع. هذا القيد يمنع المجمّع من استغلال إمكانات التحسين الكاملة لحساب ZX، مما يؤدي إلى أحجام زمكانية دون المستوى الأمثل وتكاليف تجميع عالية بسبب عمليات البحث المعقدة عن التضمين (embedding).
المنهجية
يقترح المؤلفون SpiderLS، وهو مجمّع لجراحة الشبكة يتغلب على قيد الدرجة-4 عن طريق فصل تمثيل عنكبوت ZX عن قيد الوصلة الفيزيائية. تمر عملية التجميع عبر أربع مراحل رئيسية:
اختزال ZX الكامل وترتيب التنفيذ: يقوم SpiderLS بترجمة دائرة Clifford+T المدخلة إلى مخطط ZX ويطبق روتين full_reduce() الخاص بـ PyZX. وخلافًا للأعمال السابقة، لا تتقيد هذه العملية بحد الوصلة ذي الأربعة حواف، مما يسمح بتوليد عناكب ذات درجات عالية. ثم يستخلص المجمّع ترتيب تنفيذ مباشرة من الرسم البيئي المختزل؛ حيث يحافظ على مجموعة من عناكب "الحدود الأمامية" النشطة ويستخرج بشكل تكراري التفاعلات القابلة للتنفيذ (عمليات CZ) وتحركات هادامارد (Hadamard moves)، مما يؤدي فعليًا إلى خطية الرسم البيئي المختزل في تسلسل من العمليات.
توليد الكود المستهدف: يتم تجميع تسلسل التنفيذ في برنامج مستهدف. يستغل SpiderLS ملاحظة أن بوابات CZ المتعددة التي تشترك في كيوبت تحكم مشترك يمكن دمجها في عملية واحدة متعددة الأهداف (على سبيل المثال، CZ(k)(qc;q1,…,qk)). يتم استخراج عمليات الطور (بوابات S و T) من أطوار العنكبوت، مع معالجة بوابات T عبر حقن الحالة السحرية (magic state injection). تنتج هذه المرحلة برنامجًا مستهدفًا مدمجًا يتكون من عمليات CZ متعددة الأهداف، وبوابات أحادية الكيوبت، وهادامارد.
تخفيض PPM والجدولة المنطقية: يتم تخفيض البرنامج المستهدف إلى تسلسل من قياسات PPM ذات زمن وحدة واحدة. ومن الأهمية بمكان أن عمليات CZ عالية الدرجة يتم تفكيكها إلى قياسات متعددة الرقع (على سبيل المثال، عملية CZ ذات 3 أهداف تصبح قياس MZZZX مكون من 4 رقع وقياس MZZ قياسي). ثم يقوم المجمّع بإجراء الجدولة المنطقية، وتعبئة هذه الـ PPMs في طبقات منطقية. كما يستخدم استراتيجية لتقليل عدد الكيوبتات المساعدة الداخلية المطلوبة مع الحفاظ على عمق جدول غير محدود للمساعدات.
التوجيه الزمكاني الطبقي: بدلاً من استخدام بحث شجرة مونت كارلو (MCTS) لحل مشكلة التضمين العالمي طبقة تلو الأخرى (كما في TopoLS)، يقوم SpiderLS بـ توجيه محلي مدرك للبنية. بمجرد تثبيت الجدول المنطقي، يقوم المجمّع بتوجيه كل PPM عبر اختيار حدود باولي متوافقة وبناء مسارات باستخدام بحث A*. إذا تعذر العثور على مسار صالح ضمن بحث محلي محدود، يتم تأجيل العملية إلى طبقة فيزيائية لاحقة. تتجنب استراتيجية "الالتزام أو التأجيل" هذه مساحة البحث الأسية للتضمين العالمي، مما يقلل بشكل كبير من وقت التجميع.
المساهمات الرئيسية
اختزال ZX الكامل لجراحة الشبكة: توضح الورقة أن عناكب ZX ليست ملزمة بالارتباط بنسبة واحد لواحد مع الوصلات محدودة الدرجة. ومن خلال الاستفادة من القياسات متعددة الرقع، يسمح SpiderLS باختزال ZX الكامل، مما يمكّن من دمج التفاعلات التي كانت مجزأة سابقًا لتلبية قيود الوصلات.
تجميع العمليات متعددة الأهداف: يحدد المجمّع التفاعلات ذات التحكم المشترك ويجمعها في عمليات متعددة الأهداف واحدة، مما يقلل العدد الإجمالي للعمليات المنطقية ويمكّن من تعبئة زمكانية أكثر كفاءة.
التوجيه المدرك للبنية: من خلال فصل الجدولة المنطقية عن التوجيه الهندسي واستخدام عمليات بحث محلية محدودة بدلاً من MCTS العالمي، يحقق SpiderLS انخفاضًا هائلاً في تعقيد التجميع.
التنفيذ والتقييم: يقدم المؤلفون تنفيذًا كاملاً لـ SpiderLS ويقيمونه مقابل مجمّعات حديثة (Liblsqecc، وDASCOT، وTopoLS).
النتائج
تم التقييم عبر مجموعة متنوعة من الدوائر الخوارزمية (مثل Bernstein-Vazirani، وQAOA، وQFT) ودوائر Clifford+T عشوائية:
الحجم الزمكاني: يحقق SpiderLS متوسط خفض قدره 49.2% في الحجم الزمكاني مقارنة بـ TopoLS. وينتج هذا الخفض أساسًا من انخفاض في عدد الخطوات الزمنية، والذي تم تحقيقه من خلال تجميع التفاعلات والقياسات متعددة الرقع.
وقت التجميع: يقلل SpiderLS وقت التجميع بنسبة 99.8% مقارنة بـ TopoLS. حيث أن الانتقال من تضمين MCTS إلى التوجيه المحلي المحدود يلغي العقبة الرئيسية في المجمّعات السابقة القائمة على ZX.
القابلية للتوسع: يحافظ SpiderLS على تكلفة تجميع منخفضة مقاربة بالمجمّعات القائمة على الدوائر (Liblsqecc، وDASCOT) مع التفوق عليها في كفاءة الزمكان. وهو يتوسع بفعالية مع عرض الدائرة، حيث يظهر انخفاضات ثابتة في الحجم مع زيادة أحجام المشكلات.
طلب الحالة السحرية: على الرغم من ضغط العمق الزمني، يحافظ SpiderLS على كثافة بوابة T مقاربة أو أقل من TopoLS، مما يشير إلى أن الضغط الزمني لا يركز الطلب على الحالة الساسية إلى درجة غير قابلة للإدارة.
الأهمية
تزعم الورقة أن SpiderLS يبرهن على الفوائد العملية للاستفادة من القوة التعبيرية الكاملة لحساب ZX لتجميع جراحة الشبكة. ومن خلال تخفيف القيد الاصطناعي الذي يفرض ضرورة مطابقة عناكب ZX مباشرة للوصلات الفيزيائية، يمكن للمجمّع توليد تجليات زمكانية أكثر إيجازًا. يثبت العمل أن التفاعلات عالية الدرجة، التي كانت تُعتبر سابقًا صعبة الربط، يمكن تحقيقها بكفاءة عبر القياسات متعددة الرقع. علاوة على ذلك، يثبت نهج التوجيه المقترح المدرك للبنية أنه يمكن تحقيق تجميع عالي الجودة لجراحة الشبكة دون التكلفة الحسابية الباهظة لعمليات البحث عن التضمين العالمي، مما يجعل التجميع الفعال أمرًا ممكنًا للبرامج الكمومية الأكبر حجمًا.