⚛️ quantum physics

Optimizing Parallel Execution of Commuting Pauli Product Rotations

تقترح هذه الورقة خوارزميتين استدلاليتين، وهما إعادة ترتيب الكليكات (clique reshuffling) وإعادة هيكلة المولد (generator restructuring)، لتحسين التنفيذ المتوازي لتدويرات ناتج باولي التبادلية (commuting Pauli Product Rotations) في الحوسبة الكمومية المتحملة للأخطاء، وذلك من خلال التخفيف من قيود المنافذ لكل كيوبت، مما يحقق تقليلاً كبيراً في عمق الدوائر المحدودة بالأجهزة.

المؤلفون الأصليون: Sayam Sethi, Devika Nambisan, Jonathan Mark Baker

نُشر 2026-05-25

📖 4 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Sayam Sethi, Devika Nambisan, Jonathan Mark Baker

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك تحاول تنظيم حفلة رقص ضخمة وعالية المخاطر لجهاز كمبيوتر كمي. الهدف هو جعل الجميع يرقصون (يجري عمليات حسابية) بأسرع ما يمكن.

في عالم الحوسبة الكمية المتسامحة مع الخطأ (النوع الذي يمكنه إصلاح أخطائه بنفسه)، هناك قاعدة خاصة: إذا لم يتداخل راقصان (عمليات كمية) مع بعضهما البعض، فيمكنهما الرقص في نفس الوقت. وهذا ما يسمى "التبادل" (commuting).

ومع ذلك، هناك عقبة: ساحة الرقص (الأجهزة/Hardware) لديها حد صارم لعدد الأشخاص الذين يمكنهم الإمساك بيد راقص معين في وقت واحد. تخيل أن لكل راقص "يدين" فقط (منافذ/ports) للإمساك بهما. إذا حاول ثلاثة أشخاص الإمساك بنفس يد الراقص في آن واحد، فسيتعطل النظام أو يضطر للانتظار، مما يؤدي إلى إبطاء كل شيء.

هذه الورقة البحثية تتحدث عن مجموعة جديدة من القواعد لمساعدة مدير ساحة الرقص على تنظيم الحفلة بحيث يرقص الجميع معاً دون نفاد الأيدي.

المشكلة: عنق زجاجة "الإمساك بالأيدي"

نظر المؤلفون في نوع معين من الحسابات الكمية يسمى دوران ناتج باولي (Pauli Product Rotations). هذه تشبه حركات رقص معقدة.

المثالي: إذا كان لديك 4 حركات لا تتعارض مع بعضها، فينبغي أن تتمكن من أدائها جميعاً في مجموعة واحدة كبيرة (خطوة واحدة من الرقص).
الواقع: حتى لو لم تكن متعارضة، فقد يحاول الجميع الإمساك بـ "اليد X" أو "اليد Z" لنفس الراقص في نفس الوقت. إذا كانت الأجهزة تسمح بمسك يدين فقط في المرة الواحدة، فلا يمكنك القيام بالخطوات الأربع معاً. يجب عليك تقسيمها، فتقوم بـ 2 الآن و2 لاحقاً. هذا يقسم الخطوة الواحدة إلى خطوتين، مما يجعل الرقصة تستغرق وقتاً أطول (زيادة في "عمق الدائرة" أو circuit depth).

الحل: خدعتان جديدتان

يقترح المؤلفون حيلتين ذكيتين (اختصارات ذكية) لإعادة تنظيم ساحة الرقص واستيعاب المزيد من الناس دون كسر القواعد.

1. إعادة خلط المجموعات (خلطة "مخطط الجلوس")

تخيل مجموعة من الأصدقاء الذين ينسجمون مع بعضهم البعض (يتبادلون/commute). تضعهم جميعاً على طاولة واحدة. ولكن، ربما الطريقة التي يجلسون بها حالياً تجعلهم جميعاً يرغبون في الوصول إلى نفس "ملاحة الملح" (منفذ الجهاز).

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

2. إعادة هيكلة المولدات (إعادة الكتابة بـ "سحر الرياضيات")

هذه هي الخدعة الأكثر تعقيداً. تخيل مجموعة من الراقصين يؤدون روتيناً معيناً. هذا الروتين محدد بمجموعة من "الحركات الأساسية" (المولدات/generators).

الخدعة: في الرياضيات، يمكنك غالباً وصف نفس حركة الرقص النهائية باستخدام مزيج مختلف من الحركات الأساسية. وجد المؤلفون طريقة لإعادة كتابة رياضيات الرقصة بحيث يستخدم الراقصون أيدٍ مختلفة لتحقيق النتيجة ذاتها تماماً.
النتيجة: يعيدون كتابة التعليمات بحيث بدلاً من أن يمسك ثلاثة راقصين بـ "اليد X"، ربما يمسك أحدهم بـ "اليد X" والآخر بـ "اليد Z"، أو يلغي أحدهم الآخر بحيث لا يحتاج أحد للإمساك بيد على الإطلاق.
تشبيه: الأمر يشبه إدراك أنك لكي تصل إلى المطبخ، ليس عليك المرور عبر غرفة المعيشة المزدحمة (المنفذ المزدحم). يمكنك اتخاذ مسار مختلف عبر الممر يؤدي إلى نفس المكان، ولكن مع ازدحام أقل.

ماذا وجدوا؟

اختبر الفريق هذه الخدع على مكتبة من الدوائر الكمية القياسية (مثل QASMBench).

المكاسب: باستخدام هاتين الخدعتين معاً، قللوا من وقت الانتظار (العمق/depth) بنسبة متوسطة تتراوح بين 10% إلى 20%.
أفضل حالة: في سيناريوهات محددة، رأوا انخفاضات تصل إلى 50%. هذا يشبه قطع نصف وقت فيلم طويل بمجرد إعادة ترتيب المشاهد.
حد الأجهزة: لاحظوا أن هذه الخدع تعمل بشكل أفضل عندما تمتلك الأجهزة عدداً متوسطاً من "الأيدي" (المنافذ). إذا أصبح الجهاز مزدحماً جداً (عدد كبير من المنافذ المطلوبة)، فإن الخدع تساعد كثيراً. ولكن إذا أصبح الجهاز متطوراً للغاية مع وجود الكثير من المنافذ (حوالي 20 أو أكثر)، فإن الخدع تتوقف عن المساعدة لأن مشكلة عنق الزجاجة تختفي طبيعياً.

الخلاصة

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

فكر في الأمر كأنه تنظيم حركة المرور في مدينة كمية. لا يمكنك بناء المزيد من الطرق (الأجهزة) فوراً، ولكن من خلال تغيير أنماط المرور (إعادة الخلط) وإعادة توجيه السيارات (إعادة الهيكلة)، يمكنك تفكيك الازدحامات وإيصال الجميع إلى وجهتهم بشكل أسرع بكثير.

ملخص تقني: تحسين التنفيذ المتوازي لتدويرات حاصل الضرب لـ "باولي" المتبادلة

بيان المشكلة
في الحوسبة الكمومية ذات الخطأ التصحيحي (FTQC)، وتحديداً ضمن بنيات كود السطح المزودة بجراحة الشبكة (lattice surgery)، يتم تحديد الحد الأدي النظري لزمن الدائرة من خلال عدد مجموعات "تدويرات حاصل ضرب باولي" (PPRs) المتبادلة. وبينما يمكن نظرياً تنفيذ مجموعات الـ PPRs المتبادلة بالتوازي، إلا أن الأجهزة الفعلية تفرض قيوداً صارمة على "نقاط الوصول" أو "المنافذ" (ports) لكل كيوبت منطقي. في كود السطح القياسي، يوفر كل رقعة منطقية (logical patch) عدداً محدوداً من حواف X و Z (عادةً اثنان من كل منهما) للتفاعل مع المعلومات المنطقية.

عندما تتجاوز مجموعة من الـ PPRs المتبادلة ميزانية المنافذ لكل كيوبت (على سبيل المثال، تتطلب ثلاثة قياسات X متزامنة على كيوبت واحد بينما يتوفر منفذان فقط)، يجب تقسيم المجموعة إلى خطوات متتالية. هذا التقسيم يؤدي إلى تضخم عمق الدائرة بما يتجاوز الحد الأدنى النظري المستمد حصراً من علاقات التبادل. تركز أدوات التجميع الحالية غالباً على اتصال الطبقة الفيزيائية أو تقليل الضجيج، لكنها لا تعالج بشكل كافٍ هذا القيد المحدد على مستوى الطبقة المنطقية حيث تُجبر العمليات المتبادلة على التسلسل بسبب تشبع المنافذ.

المنهجية
يقترح المؤلفون إطار عمل للتجميع يعمل على تحسين التنفيذ المتوازي لـ PPRs دون زيادة العبء الإضافي للكيوبتات المنطقية. يفترض النهج أن الدائرة المدخلة قد تم تجميعها بالفعل إلى تسلسل من "قياسات حاصل ضرب باولي" (PPMs) عبر نموذج "الحوسبة القائمة على باولي" (PBC)، حيث يتم تبديل بوابات كليفورد (Clifford gates) إلى النهاية واستيعابها في القياسات، مما يترك التدويرات غير الكليفوردية وقياسات الحالة الموردية.

يقدم البحث خوارزميتين استدلاليتين (heuristics) لتقليل العمق المحدود بالأجهزة:

إعادة ترتيب المجموعات (Clique Reshuffling):

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

إعادة هيكلة المولدات (Generator Restructuring):

ضمن مجموعة متبادلة واحدة، تعمل مجموعة حاصلات الضرب كمجموعة مولدة للعملية المنطقية الصافية. وأي مجموعة مولدة مكافئة تؤدي نفس العملية المنطقية.
يستغل المؤلفون حقيقة أن الـ PPRs يتم تحويلها إلى PPMs عن طريق إلحاق قياس بقاعدة Z على حالة موردية فريدة لكل تدوير. يتيح هذا الهيكل استبدال حاصل الضرب $P_i$ بـ $P_i \otimes P_j$ (حيث $P_j$ هو حاصل ضرب آخر في المجموعة)، مما يؤدي فعلياً إلى إعادة كتابة المولد.
الهدف هو اختيار مجموعة مولدة جديدة تقلل من تكرار الرموز غير المحايدة (X, Y, Z) على كيوبتات محددة، مما يقلل من "ضغط المنافذ".
بما أن تعداد جميع المجموعات المولدة من رتبة $O(2^{s^2})$ أمر مستعصٍ حسابياً، يستخدم المؤلفون استدلالاً جشعاً (greedy heuristic). يقوم هذا الاستدلال باختيار أزواج من "باولي" لضربها بحيث ينتج عن ذلك حاصل الضرب تقليل عدد نوع منفذ معين على الكيوبتات التي تتجاوز حالياً حد الجهاز (على سبيل المثال، تقليل عدد X في كيوبت يحتوي على 3 متطلبات X إلى 2).

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

النتائج
قيم المؤلفون طرقهم باستخدام مجموعة QASMBench، حيث قاموا بتجميع الدوائر في تنسيقات Clifford+T و Clifford+Rz، ومن ثم تحويلها إلى PPRs.

تقليل العمق: حققت الخوارزميات الاستدلالية المدمجة متوسط تقليل في العمق المحدود بالأجهزة بنسبة 10-20% مقارنة بخط أساس غير مرتب. وفي حالات معينة، وصلت التخفيضات إلى 50%.
القابلية للتوسع: لوحظ أن مكاسب الأداء تتوسع مع زيادة ميزانية منافذ X/Z لكل كيوبت. ومع زيادة عدد منافذ X/Z المتاحة، تحسن تقليل العمق، ليصل في النهاية إلى التشبع بالقرب من 20 منفذاً. يشير هذا إلى أن الاستدلالات تظل فعالة حتى مع تطور بنيات الأجهزة لتوفال نقاط وصول أكثر.
الحساسية: لاحظ المؤلفون أن تخفيضات العمق تتناقص مع زيادة كثافة أوزان "باولي" غير التافهة (مما يؤدي إلى مجموعات تبادل أصغر). بالإضافة إلى ذلك، فإن زيادة عدد عمليات إعادة الترتيب تؤدي إلى عوائد متناقصة، حيث تتحقق معظم المكاسب في الدورات القليلة الأولى.

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

يصرح المؤلفون صراحةً أن تحليلهم يفترض توجيهاً غير مقيد (أي أنهم لا ينمذجون العبء الإضافي لتوجيه الكيوبتات المنطقية إلى منافذ محددة). كما يقرون بأن تطبيق هذه التحسينات على البنيات المقيدة بالتوجيه، مثل أكواد السطح المستوية (planar surface codes)، يتطلب مزيداً من التحليل وهو متروك للعمل المستقبلي. يعد هذا العمل بمثابة إثبات مفهوم لتحسين التوازي المدفوع بالمتطلبات المادية والذي يستفيد من الخصائص الجبرية لمجموعات "باولي" المتبادلة.