⚛️ الفيزياء الكمومية

PriorTilt: Decoding quantum LDPC codes with sparse perturbations of belief propagation priors

تقدم الورقة البحثية PriorTilt، وهو متغير لانتشار الاعتقاد (belief propagation) يقوم بفك تشفير رموز LDPC الكمومية عن طريق إحداث اضطراب انتقائي في جزء صغير من نسب احتمالية السجل (log-likelihood ratios) المسبقة، مما يحقق معدلات خطأ منطقي أقل بكثير وأوقات فك تشفير أسرع مقارنة بـ Relay-BP، والبحث الشعاعي (beam search)، وفكاكات التشفير القياسية القائمة على خوارزمية min-sum BP.

المؤلف الأصلي: Min Ye, Nicolas Delfosse

نُشر 2026-11-11

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

CC BY 4.0

المؤلف الأصلي: Min Ye, Nicolas Delfosse

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

تعد الحواسيب الكمومية بحل مشكلات مستحيلة على آلات اليوم، لكنها هشة للغاية. فبتات المعلومات التي تستخدمها، والتي تسمى "الكيوبتات" (qubits)، تتأثر بسهولة بالحرارة أو الاهتزاز أو المجالات الكهرومغناطيسية الشاردة. ولبناء آلة مفيدة، يجب على العلماء حماية هذه الكيوبتات من الأخطاء باستخدام طريقة تسمى تصحيح الأخطاء. يتضمن ذلك نشر قطعة واحدة من المعلومات المنطقية عبر العديد من الكيوبتات الفيزيائية والتحقق منها باستمرار بحثاً عن الأخطاء. وتعتمد الطريقة الأكثر واعدة للقيام بذلك في الآلات واسعة النطاق على نوع محدد من الأكواد يُعرف باسم "كود التحقق من التكافؤ منخفض الكثافة" (low-density parity-check code). وتتميز هذه الأكواد بكفاءتها لأنها تستخدم اتصالات متفرقة بين الكيوبتات، ولكن فك تشفير المعلومات التي تنتجها يمثل لغزاً صعباً. الأداة القياسية لحل هذا اللغز هي خوارزمية تسمى "انتشار الاعتقاد" (belief propagation)، والتي تعمل مثل فريق من الجيران يتبادلون الملاحظات لمعرفة أين وقع الخطأ. ومع ذلك، في العالم الكمومي، غالباً ما تتعثر هذه الطريقة في حلقات مفرغة أو تفشل في إيجاد الإجابة الصحيحة لأن الروابط بين الكيوبتات تخلق دورات قصيرة مربكة.

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

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

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

اختبر الباحثون هذه الطريقة على ثلاثة أكواد كمومية مختلفة، بما في ذلك كود يحتوي على 144 كيوبت فيزيائياً يرمز لـ 12 كيوبت منطقياً. وقاموا بمحاكاة عملية فك التشفير في ظروف واقعية حيث تقع الأخطاء بمعدل واحد في كل ألف. في هذه الاختبارات، تفوقت الطريقة الجديدة على بديلين رائدين: تقنية تسمى "Relay-BP"، والتي تقوم بإعادة ضبط ذاكرتها بشكل متكرر، وفك تشفير "البحث الشعاعي" (beam search)، الذي يستكشف حلولاً متعددة محتملة في آن واحد. بالنسبة للكود المكون من 144 كيوبت، قلل "PriorTilt" من معدل الخطأ المنطقي بمعامل قدره 4.3 مقارنة بـ "Relay-BP" وبمعامل قدره 3.1 مقارنة بفك التشفير بالبحث الشعاعي. وهذا يعني أنه مقابل كل 4.3 خطأ كان سيحدث مع الطريقة القديمة، حدث خطأ واحد فقط مع الطريقة الجديدة. علاوة على ذلك، كان فك التشفير الجديد أسرع؛ فقد عالج البيانات في وقت أقل في المتوسط من "Relay-BP"، وكان أسرع بنحو ثلاث مرات من فك التشفير بالبحث الشعاعي.

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

ملخص تقني: PriorTilt – فك تشفير أكواد LDPC الكمومية عبر الاضطرابات المتفرقة لبوادئ انتشار الاعتقاد

بيان المشكلة
يُعد فك التشفير بانتشار الاعتقاد (BP) هو المعيار لفك التشفير التكراري لأكواد التحقق من التكثيف المنخفض (LDPC) الكلاسيكية، ولكنه يواجه قيوداً كبيرة في السياق الكمومي. غالباً ما تمتلك أكواد LDPC الكمومية رسومات تانر (Tanner graphs) تحتوي على دورات قصيرة وانحلال استقرار (stabilizer degeneracy)، مما يتسبب في حدوث تذبذب في خوارزمية BP، أو فشلها في إيجاد حلول متسقة مع المتلازمة (syndrome-consistent)، أو تقاربها نحو حالات منطقية خاطئة. وبينما تعمل التقنيات المتقدمة مثل BP مع فك التشفير ذو الإحصاء المرتب (BP-OSD) أو الطرق القائمة على البحث على تحسين الدقة، إلا أنها غالباً ما تتكبد تكاليف حوسبة عالية (مثل الحذف الغاوسي) أو زمن انتقال مرتفع. إن التحسينات الحالية على BP، مثل Relay-BP، تعزز الدقة ولكنها قد تتطلب إعادة ضبط الرسائل أو إجراء اضطرابات عبر جميع العقد بشكل متكرر، مما قد يزيد من التعقيد. ويتمثل التحدي في تطوير مفكك تشفير يجمع بين الدقة العالية وزمن الانتقال المنخفض والتنفيذ الفعال للأجهزة، وتحديداً لنماذج الضجيج على مستوى الدائرة.

المنهجية: مفكك التشفير PriorTilt
قدم المؤلفون Priorilt، وهو متغير من خوارزمية (min-sum BP) يقوم بتعديل نسب الاحتمال اللوغاريتمي (LLRs) الأولية فقط مع الحفاظ على قواعد تمرير الرسائل القياسية. تعمل الخوارزمية في مرحلتين رئيسيتين:

المرحلة الأولية: يعمل مفكك التشفير حتى $I_0 = 60$ دورة من خوارزمية BP القياسية غير المعدلة.
المرحلة المعدلة: إذا لم يتم الوصول إلى التقارب، ينتقل مفكك التشفير إلى جولات من $r=6$ دورات. في كل جولة $\tau$ ، يتم اضطراب الـ LLRs الأولية $\Lambda_j$ لعقد أخطاء محددة بمقدار إزاحة $o_j(\tau)$ ، مما يخلق بوادئ فعلياً $\tilde{\Lambda}_j(t) = \Lambda_j + o_j(\tau)$ .

الآليات الرئيسية:

الاضطراب الانتقائي: على عكس Relay-BP، الذي يقوم بتحديث البوادئ لجميع العقد تقريباً، يقوم PriorTilt بتحديد العقد "المعرضة للخطأ" بناءً على الإحصائيات من الجولة السابقة. تُعتبر العقدة $j$ معرضة للخطأ إذا كان مجموع الـ LLRs البعدية لها في الجولة السابقة، $S_j(\tau-1)$ ، أقل من عتبة $\theta \Lambda_j$ . هذه العقد فقط هي التي تتلقى إزاحات غير صفرية.
تعداد الإزاحة يتم تحديده بناءً على القيم القصوى المقطوعة للـ LLRs البعدية والرسائل الصادرة ( $M^-_j$ و $M^+_j$ ) من الجولة السابقة. يتم اختيار إشارة الإزاحة عشوائياً: باحتمالية $\pi$ ، تفضل الإزاحة فرضية "عدم وجود خطأ" ( $-c_1 M^-_j$ )؛ وباحتمالية $1-\pi$ ، تفضل فرضية "وجود خطأ" ( $-c_2 M^+_j$ ).
جدول الثلاث مراحل: يستخدم مفكك التشفير جدول معاملات ثلاثي المراحل ( $\Theta_1, \Theta_2, \Theta_3$ ) حيث تتغير المعاملات $(\theta, \pi, c_1, c_2)$ عبر مجموعات متتالية من الجولات. يسمح هذا لمفكك التشفير بتطبيق اضطرابات لطيفة في المراحل المبكرة واضطرابات أقوى وأكثر انحيازاً في الجولات اللاحقة للأخطاء المستعصية.
استمرارية الرسائل: من الأهمية بمكان أن PriorTilt يحتفظ برسائل "الخطأ إلى الكاشف" طوال عملية فك التشفير بأكملها ولا يقوم بإعادة ضبطها بين الجولات، على عكس Relay-بأسلوب (Relay-BP).

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

تعديل البوادئ المتفرق: يوضح البحث أن اضطراب أقل من 0.5% من الـ LLRs الأولية في كل جولة كافٍ لتحقيق مكاسب هائلة في تقليل معدل الخطأ المنطقي (LER).
بنية فعالة: من خلال الحفاظ على بنية تمرير رسائل BP القياسية وتعديل جزء ضئيل جداً من البوادئ فقط، يوفر PriorTilt مساراً نحو تنفيذ فعال للأجهزة (مثل FPGA أو ASIC) مقارنة بمفككات التشفير الأكثر تعقيداً أو تلك القائمة على الجبر الخطي.
قياس شامل: قدم المؤلفون مقارنة صارمة مقابل اثنين من أفضل النماذج المرجعية الحالية: Relay-BP ومفكك البحث الشعاعي (beam search)، عبر ثلاثة أكواد LDPC كمومية مرجعية: أكواد البايت (bivariate bicycle) وهي BB144 و BB70، وكود البايت المعمم GB102.

النتائج
قيم المؤلفون PriorTilt تحت ضجيج مستوى الدائرة عند معدلات خطأ فيزيائية $p = 10^{-3}$ و $p = 10^{-2}$ (و $p=0.003$ لفك تشفير XYZ).

الدقة: حقق Priorilt باستمرار معدلات خطأ منطقية (LER) أقل من كل من Relay-BP ومفكك البحث الشعاعي عبر جميع نقاط البيانات المختبرة.
- بالنسبة لكود BB144 عند $p=10^{-3}$ ، قلل PriorTilt من الـ LER بمقدار 4.3 ضعف بالنسبة لـ Relay-BP و 3.1 ضعف بالنسبة لمفكك البحث الشعاعي.
- مقارنة بـ min-sum BP القياسي مع نفس ميزانية التكرار (18,060 دورة)، حقق PriorTilt تقليلاً في الـ LER بنحو 610 ضعف لكود BB144.
زمن الانتقال والسرعة:
- عند $p=10^{-3}$ ، أظهر PriorTilt أوقات فك تشفير متوسطة أقل من Relay-BP في جميع الأكواد الثلاثة.
- حقق تسريعاً في متوسط سرعة فك التشفير يتراوح بين 2.6 إلى 3.0 ضعف مقارنة بمفكك البحث الشعاعي.
- بالنسبة لفك تشفير XYZ لكود BB144 (الذي يتضمن دورات قصيرة)، يطابق PriorTilt معدل LER الخاص بـ Relay-BP مع توفير تسريع قدره 1.77 ضعف.
التفرقة (Sparsity): في وضع المراحل الثلاث، كان متوسط نسبة عقد الخطأ التي تتلقى إزاحات غير صفرية أقل باستمرار من 0.5% (على سبيل المثال، 0.19% لـ BB144 عند $p=0.001$ )، مما يؤكد فرضية "الاضطراب المتفرق".

الأهمية والادعاءات
يزعم البحث أن PriorTilt يمثل تقدماً كبيراً في فك تشفير LDPC الكمومي من خلال إثبات أن الاضطرابات المتفرقة والانتقائية لبوادئ BP يمكن أن تتفوق بشكل كبير على كل من BP القياسي ومفككات التشفير الأكثر تعقيداً واستهلاكاً للموارد. ويؤكد المؤلفون أن قرب PriorTilt من BP القياسي - وتحديداً احتفاظه بإطار تمرير الرسائل وعدم إعادة ضبط الرسائل - يشير إلى أنه مناسب للتنفيذ الفعال في الأجهزة. تثبت النتائج أن PriorTilt يمثل مرجعاً جديداً للحالة الراهنة (state-of-the-art) لفك التشفير العملي لـ LDPC الكمومي، حيث يوفر مقايضة مواتية بين تقليل معدل الخطأ المنطقي وزمن انتقال فك التشفير. لا يدعي العمل حل جميع تحديات فك التشفير الكمومي، بل يضع الاضطراب المتفرق للبوادئ كاستراتيجية فعالة للغاية لتحسين التقارب في ظل وجود الدورات القصيرة والانحلال.

أبحاث مشابهة