Exact Diagonal Completion on Reachable Subspaces: Application to QAOA Placement
تقترح هذه الورقة طريقة إكمال قطري دقيقة باستخدام تحسين (weighted-ℓ1) لتقليل عمق الدائرة الكمومية لمسائل التوزيع القائمة على خوارزمية التحسين التقريبي الكمومي (QAOA) من خلال استغلال حالات الترميز غير المستخدمة، مما يحقق تقليلاً كبيراً في بوابات (CX) في سياقات تخليق محددة، ولكنها تفشل في إثبات ميزة نهائية شاملة مقارنة بالأساليب الكلاسيكية.
المؤلفون الأصليون:Owen Friedewald, Ali Shiri Sichani, Chi-Ren Shyu
في عالم الحوسبة الكمومية، يحاول الباحثون باستمرار حل ألغاز معقدة من خلال ترتيب جسيمات دقيقة تسمى الكيوبتات (qubits). وتعد خوارزمية التقريب الكمي للتحسين (QAOA) واحدة من أكثر الطرق واعدة في هذا المجال. فكر في هذه الخوارية كمسافر يحاول إيجتد أقصر طريق عبر مشهد طبيعي شاسع وضبابي؛ لا يحتاج المسافر إلى رؤية الخريطة بأكملها ليجد طريقاً جيداً، بل يحتاج فقط إلى استكشاف المسارات المحددة المتاحة له بالفعل. ومع ذلك، فإن الأدوات الرياضية المستخدمة لتوجيه هذا المسافر غالباً ما تُبنى لتعمل على خريطة أكبر بكثير من التضاريس الفعلية، بما في تضم مسارات لا يمكن للمسافر الوصول إليها أبداً. وهذا يخلق مشكلة: يتعين على الكمبيوتر أن يحمل معه أمتعة ثقيلة وغير ضرورية — حسابات إضافية لمسارات غير موجودة — مما يبطئ كل شيء ويستهلك طاقة ثمينة.
لقد وجد فريق من الباحثين في جامعة ميسوري طريقة لتخفيف هذا الحمل. فقد ركزوا على نوع محدد من الألغاز يسمى "التوزيع" (placement)، والذي يتضمن ترتيب المكونات الإلكترونية على شريحة لتقليل طول الأسلاك التي تربط بينها. وفي دراستهم، اكتشفوا أنه نظراً لأن الكمبيوتر الكمومي لا يمكنه زيارة سوى جزء صغير من الترتيبات الممكنة، فإنه يمكن إعادة كتابة التعليمات الرياضية للرحلة. ومن خلال ملء الفراغات في هذه التعليمات بقيم لا تغير النتيجة النهائية ولكنها تجعل الرياضيات أبسط، تمكنوا من تجريد الخطوات غير الضرورية. لقد اختبروا هذه الفكرة عبر 160 تخطيطاً هندسياً مختلفاً ووجدوا أنه تحت ظروف محددة، أدى هذا "التنظيف" للتعليمات إلى تقليل عدد العمليات الأساسية التي يحتاجها الكمبيوتر بشكل كبير.
اقترب الباحثون من هذا الأمر من خلال النظر في كيفية تخزين الكمبيوتر الكمومي للمعلومات حول موقع كل مكون. استخدموا طريقة حيث يحتفظ الكمبيوتر بقائمة من المواقع المحتملة، بعضها مشغول بأجزاء حقيقية والبعض الآخر فارغ. وعندما يقوم الكمبيوتر بتبديل هذه الأجزاء حول بعضها البعض لإيجاد ترتيب أفضل، يجب عليه التأكد من أنه لن يتسبب أبداً في موقف غير قانوني، مثل محاولة جزأين الجلوس في نفس المكان. أدرك الفريق أن الصيغة الرياضية المستخدمة لحساب المسافة بين الأجزاء تحتوي على مدخلات لكل تركيبة ممكنة من المواقع، بما في ذلك تلك التي يستحيل الوصول إليها. وقد عاملوا هذه المدخلات المستحيلة كقيم "لا تهم" (don't care). وبدلاً من تركها كأصفار أو التخمين، استخدموا عملية تحسين متطورة لاختيار قيم من شأنها جعل الدائرة النهائية أصغر ما يمكن.
وعندما طبقوا هذه الطريقة على حالات الاختبار الخاصة بهم، كانت النتائج مذهلة لبعض الإعدادات. ففي التخطيطات التي لم يكن فيها عدد المواقع المتاحة قوة كاملة للعدد اثنين (أي وجود مواقع غير مستخدمة)، قللت الطريقة الجديدة من عدد اتصالات الكيوبت الثنائية المطلوبة بنسبة تصل إلى 53.9 بالمائة مقارنة بالطرق القياسية لملء الفراغات. كان هذا الانخفاض ثابتاً عبر 96 حالة اختبار مختلفة حيث وجدت أكواد غير مستخدمة. ومع ذلك، كان الباحثون حذرين في ملاحظة أن هذه الميزة لم تكن عالمية؛ فعندما استخدموا طريقة مختلفة وأكثر عمومية لبناء الدائرة، تقلصت الوفورات بشكل كبير، لتنخفض إلى أقل من واحد بالمائ@ في بعض الحالات. أظهر هذا أن فائدة طريقتهم الجديدة تعتمد بشدة على الأدوات المحددة المستخدمة لترجمة الرياضيات إلى دائلة عاملة.
وبعيداً عن مجرد جعل الدائرة أصغر، نظر الفريق فيما إذا كان هذا يساعد الكمبيوتر فعلياً في حل مشكلة التوزيع بشكل أفضل. أجروا عمليات محاكاة تقارن طريقتهم الجديدة بالتقنيات الأقدم والأكثر رسوخاً. وبينما أنتج نهجهم نتائج أفضل في سيناريوهات معينة، لا سيما مع الإعدادات الأصغر التي تتضمن أربعة مكونات، إلا أنه لم يتفوق باستمرار على الطرق التقليدية. في كثير من الحالات، كانت الطرق القديمة، التي يُسمح لها باستخدام طبقات أكثر من العمليات، تؤدي بنفس الكفاءة أو أفضل. كما اختبر الباحثون ما إذا كان يمكن استخدام التوزيعات التي وجدها أسلوبهم الكمومي في تدفق تصميم حقيقي؛ حيث نجحوا في دمج 72 توزيعاً محلياً مختلفاً في برنامج قياسي لتصميم الرقائق، واجتازت جميعها الفحوصات اللازمة لتوجيه الأسلاك دون أخطاء. أثبت هذا أن الطريقة أنتجت نتائج صالحة وقابلة للاستخدام، حتى لو لم تثبت بعد أنها حل متفوق مقارنة بالحواسيب الكلاسيكية.
تسلط الدراسة الضوء في النهاية على درس بالغ الأهمية للمجال: إن إيجاد اختصار في الرياضيات لا يضمن تلقائياً حلاً أسرع أو أفضل في العالم الحقيقي. وجد الباحثون أنه بينما نجحت تقنيتهم في "تقليم الدهون" من الدائرة الكمومية، فإن الأداء العام كان لا يزال محدوداً بعوامل أخرى، مثل تعقيد عمليات الخلط والاتصالات الفيزيائية بين الكيوبتات. وخلصوا إلى أنه بينما تعد عملية "الإكمال القطري الدقيق" أداة قوية لتبسيط أجزاء معينة من الخوارزمية الكمومية، إلا أنها ليست سوى قطعة واحدة من لغز أكبر بكثير. إن الطريق إلى حل كمومي متفوق حقاً لتصميم الرقائق سيتطلب موازنة هذه الوفورات في الدائرة مع تكاليف بقية النظام، وفي الوقت الحالي، تظل الحواسيب الكلاسيكية هي الخيار الأقوى لهذه المهام. ويعتبر هذا العمل بمثابة عرض واضح على أنه في الحوسبة الكمومية، يجب قياس كل عملية تحسين في سياق الآلة بأكملها، وليس بمعزل عنها.
ملخص تقني: الإكمال القطري الدقيق للفضاءات الجزئية القابلة للوصول: تطبيق على وضع QAOA
بيان المشكلة
غالبًا ما يتم تخليق الدوائر الكمومية من مؤثرات معرفة على فضاء هيلبرت الكامل، حتى عندما تكون الخوارزمية مقيدة بفضاء جزئي قابل للوصول صغير. بالنسبة لمؤثرات التكلفة القطرية، فإن المدخلات المقابلة لحالات القاعدة الحسابية غير القابلة للوصول لا تؤثر على مخرجات الخوارزمية المثالية. ومع ذلك، فإن اختيار هذه المدخلات القطرية "غير المحددة" يشكل فرصة للتجميع (compilation). إذ يمكن أن تؤدي عمليات الإكمال الدقيقة المختلفة لنفس الفعل المطلوب إلى أطياف "والش" (Walsh spectra) مختلفة، وبالتالي تكاليف دوائر (عدد البوابات) مختلفة. يبحث هذا البحث في مشكلة "الإكمال القطري الدقيق" هذه تحديدًا لتطبيق خوارزمية التحسين التقريبي الكمومي (QAOA) على مشكلة وضع الدوائر (circuit placement)، حيث يكون الهدف هو تعيين خلايا الدائرة لمواقع فيزيائية مع تقليل أطوال الترابط.
المنهجية
يقترح المؤلفون إطار عمل لتحسين المدخلات غير المحددة لمؤثر المسافة (مسافة مانهاتن) قبل تطبيق تخليق الدائرة.
الترميزات والفضاءات الجزئية القابلة للوصول:
ترميز التشفير الأحادي (One-hot Encoding): يستخدم $nm$ من الكيوبتات مع خلاطات XY (كاملة أو حلقية) تحافظ على استثارة الصف.
ترميز تبديل الرموز (Token Permutation Encoding): يستخدم n من سجلات الخلايا الحقيقية و m−n من سجلات الرموز المميزة "الفارغة" (EMPTY) القابلة للتمييز، كل منها بحجم k=⌈log2m⌉. يحافظ هذا الترميز على تبديل المواقع الصالحة عبر بوابات التبديل (Fredkin gates)، مما يضمن أن جميع عمليات الوضع المقاسة قانونية. يستخدم ترميز الرموز عددًا أقل من الكيوبتات مقارنة بـ "التشفير الأحادي" فقط عندما يكون $mk+1 < nm$؛ ومع ذلك، فإن زيادة عدد الفراغات يمكن أن يلغي أو يعكس ميزة عرض النطاق الترددي هذه (على سبيل المثال، عند أربع خلايا وستة عشر موقعًا، يستخدم ترميز الرموز 65 كيوبت مقابل 64 لـ "التشفير الأحادي").
الإكمال القطري الدقيق:
يتم تمديد مؤثر المسافة إلى الأكواد الثنائية غير الصالحة (الملصقات غير المستخدمة) لتقليل تكلفة الدائرة.
إكمال ℓ1 الموزون (L1): يصيغ المؤلفون برنامجًا خطيًا (LP) لإيجح معاملات "والش" cj التي تقلل من معيار ℓ1 الموزون (بديل التشتت/sparsity) بشرط مطابقة مسافة مانهاتن على جميع أزواج المواقع الصالحة. هذا نهج "البحث عن السعة الموزونة" (weighted basis pursuit).
التكرار المهيكل (Structured Recurrence): للمصفوفات ذات الفهرسة الإحداثية المنتظمة، يتم اشتقاق علاقة تكرار متفرقة لبناء أطوار المسافة الدقيقة دون حل البرنامج الخطي الكثيف، مما يتطلب فقط O(m) من الحدود في المستطيلات المتوازنة.
استراتيجيات التخليق:
يتم تخليق معاملات "والش" الناتجة إلى دوائر باستخدام تخليق غراي (Gray synthesis)، الذي يجمع الحدود حسب أعلى كيوبت فهرس ويتحرك عبر أقنعة التحكم بترتيب كود "غراي" المنعكس لتعظيم إلغاء بوابات CNOT (CX) المتجاورة.
تُجرى مقارنات ضد التعبئة الصفرية (zero-padding)، وتمديدات الإحداثيات الافتراضية، وتمديدات أقرب كود، وتمديدات الملء المتوسط، بالإضافة إلى طرق التخليق القطرية العامة (Qiskit, PyZX).
التصميم التجريبي:
المجموعات (Cohorts): 160 هندسة (100 أولية، 60 تكرار) مع 4 خلايا وأعداد مواقع متغيرة (m=6,8,9,12,16).
المقاييس: عدد بوابات CX، عمق الدائرة، وجودة الوضع (الاحتمالية المثلى، التكلفة المثلى المتوقعة).
التكامل: تدمج دراسة منفصلة عمليات وضع QAOA المختارة في تدفق تصميم فيزيائي لـ OpenROAD للتحقق من القانونية والجدوى اللاحقة.
المساهمات الرئيسية
بناء أطوار مسافة مانهاتن الدقيقة: يبني المؤلفون أطوار المسافة الدقيقة باستخدام برنامج خطي موزون-ℓ1 وتكرار إحداثي متفرق. ويثبتون أن هذه البناءات تتفق مع الفعل المطلوب في جميع الحالات القابلة للوصول، بغض النظر عن القيم المخصصة للحالات غير القابلة للوصول.
توفير البوابات المعتمد على التخليق: عبر 160 هندسة، يقلل إكمال L1 من أعداد بوابات CX مقارنة بأربعة تمديدات بديلة في جميع الحالات الـ 96 التي تحتوي على أكواد ثنائية غير مستخدمة تحت تخليق غراي. ومع ذلك، يوضح البحث أن هذه المكاسب تعتمد بشدة على طريقة التخليق؛ ففي حالة استخدام التخليق القطري العام، تنخفض التخفيضات بشكل كبير (على سبيلما: من 53.9% إلى 1.3% عند 9 مواقع).
تحليل موارد الدائرة الكاملة: تقيم الدراسة تأثير توفير الأطوار على الدائرة الكاملة. وبينما يقلل إكمال L1 من عدد بوابات مكون الطور، فإن الميزة الإجمالية للموارد محدودة بعمق الخلاط (mixer depth) والتسلسل (serialization). يقلل الخلط المتوازي من عمق دائرة الرموز ولكنه لا يتفوق باستمرار على خطوط الأساس لـ "التشفير الأحادي" في إجمالي العمق أو عدد البوابات عبر جميع طبولوجيا الأجهزة.
جودة الوضع والتكامل: تظهر المحاكاة المثالية جودة حل تعتمد على الخط الأساسي، حيث غالبًا ما تتفوق البحث الكلاسيكي على QAOA في الحالات الصغيرة المختبرة. ومع ذلك، يوضح البحث مسار تكامل ملموس: نجحت 72 عملية وضع محلية تم إنشاؤها بواسطة QAOA من ستة تصميمات RTL في اجتياز مرحلتي تخليق شجرة الساعة والتوجيه العالمي في OpenROAD مع صفر تجاوز (zero overflow).
النتائج
تقليل البوابات: تحت تخليق غراي، يحقق إكمال L1 تخفيضات وسيطة في CX بنسبة 28.0%، و53.9%، و21.6% مقارنة بتمديد الإحداثيات الافتراضية لـ 6، 9، و12 موقعًا، على التوالي.
حساسية التخليق: عند استخدام التخليق القطري العام (زوايا ثابتة)، تتضاءل ميزة إكمال L1 بشكل حاد (على سبيل المثال، تخفيضات 10.9%، 1.3%، 0.7%)، مما يثبت أن الفائدة ليست مستقلة عن المترجم (compiler-independent).
مقايضات الموارد: تمتلك دوائر الرموز مع إكمال L1 عددًا أقل من كيوبتات البيانات مقارنة بـ "التشفير الأحادي" فقط عندما تكون الفراغات قليلة؛ ومع زيادة الفراغات، يمكن فقدان أو عكس ميزة العرض (على سبيل المثال، 65 كيوبت مقابل 64 لـ "التشفير الأحادي" عند 4 خلايا/16 موقعًا). بالإضافة إلى ذلك، غالبًا ما تكون دوائر الرموز أعمق بسبب شبكات التبديل. يقلل التوازي في عمليات التبديل العمق بنسبة ~20-24% ولكنه لا يحقق تفوقًا عالميًا في الموارد على ترميزات "التشفير الأحادي".
جودة الحل: عند تكاليف الدائرة المتساوية، تظهر ترميزات الرموز احتمالية مثلى أعلى من خطوط أساس "التشفير الأحادي" في بعض حالات الـ 4 خلايا، لكن هذه الميزة لا تستمر باستمرار عبر الأحجام الأكبر (5-6 خلايا) أو أنظمة التدريب المختلفة. كما يجد البحث الجشع متعدد البدايات الكلاسيكي حلولًا أفضل باستمرار من QAOA في الحالات المختبرة.
الجدوى اللاحقة: اجتازت جميع عمليات وضع QAOA الـ 72 والـ 216 عملية وضع كلاسيكية في دراسة OpenROAD مرحلتي تخليق شجرة الساعة والتوجيه العالمي مع صفر تجاوز، مما يؤكد قانونية عمليات الوضع المولدة للتصميم الفيزيائي.
الأهمية والادعاءات
يدعي البحث بتواضع أن الإكمال القطري الدقيق هو قرار تصميم دائرة حيوي يمكن أن يقلل تكاليف التنفيذ دون تغيير سلوك الخوارزمية المثالية. ويؤكد المؤلفون أن:
الحرية حقيقية ولكنها سياقية: إن القدرة على اختيار مدخلات قطرية غير محددة توفر فرصًا حقيقية للتحسين، لكن حجم الفائدة مرتبط ارتباطًا وثيقًا بطريقة التخليق والترميز المحدد.
لم يتم إثبات تفوق شامل للنهاية إلى النهاية: بينما تم تحسين بناء الطور، لا يثبت البحث تفوقًا كموميًا للوضع. تظهر نتائج الدائرة الكاملة أن تكاليف الخلاط، والاتصال، وصعوبة تدريب الدوائر المتغيرة غالبًا ما تلغي توفيرات مستوى الطور.
مسار التكامل: المساهمة العملية الرئيسية هي إثبات أن QAOA يمكن أن يولد عمليات وضع محلية قانونية وعالية الجودة ومتوافقة مع تدفقات أتمتة التصميم الإلكتروني (EDA) القياسية، حتى لو لم يتفوق الحاسوب الكمومي بعد على الاستدلالات الكلاسيكية في هذه الحالات الصغيرة المحددة.
يعمل هذا العمل كتقييم صارم لتقنية تجميع محددة (الإكمال) ضمن تطبيق كمومي مقيد (الوضع)، موضحًا الفجوة بين تبسيط المؤثر النظري وتقليل الموارد الكمومية العملي.