⚛️ quantum physics

Belief Propagation-based Disentanglers for Tensor Network State Preparation

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

المؤلفون الأصليون: Tomasz Szoł{}dra, Peter Schmelcher

نُشر 2026-08-25

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

CC BY 4.0

المؤلفون الأصليون: Tomasz Szoł{}dra, Peter Schmelcher

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

تعد الحواسيب الكمومية بحل مشكلات قد تستغرق الأجهزة الكلاسيكية آلاف السنين لحلها، لكنها تواجه عقبة جوهرية: وهي كيفية تشغيلها. فقبل أن تتمكن خوارزمية كمومية من العمل، يجب تحميل الآلة بحالة بداية محددة، وهي ترتيب دقيق للمعلومات عبر الكيوبتات (qubits) الخاصة بها. وبالنسبة للعديد من المهام المفيدة، بدءاً من محاكاة المواد الجديدة وصولاً إلى نمذجة الأنظمة المالية المعقدة، فإن إعداد هذه الحالة الابتدائية أمر صعب للغاية. فالمعلومات غالباً ما تكون متشابكة في شبكة من الارتباطات التي تزداد صعوبة في الإدارة بشكل أسเสีย مع كبر حجم النظام. وإذا كانت عملية الإعداد طويلة جداً أو معقدة للغاية، فإن المعلومات الكمومية الهشة تتلاشى قبل بدء الحساب الفعلي. ولطالما سعى العلماء لإيج way لفك تشابك هذه الحالات المعقدة بكفاءة، ويفضل أن يكون ذلك باستخدام طريقة تعتمد على الحواسيب الكلاسيكية لتخطيط الخطوات، مما يضمن أن الآلة الكمومية لا تضطر إلا لتنفيذ تسلسل قصير ومقدور عليه من العمليات.

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

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

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

اختبر الفريق هذه الطريقة على تحديين متميزين. أولاً، تناولوا مسألة رياضية تتعلق بتوزيع طبيعي ذي 17 بُعداً، وهو نوع من منحنى الجرس الممتد في أبعاد متعددة، وهو مهمة شائعة في علم البيانات. قاموا بتشفير هذا التوزيع على حاسوب كمومي يحتوي على 102 كيوبت. وباستخدام ثلاث إلى خمس طبقات فقط من بوابات فك التشابك، أعدوا الحالة بدقة (fidelity) تتراوح بين 0.9 و0.999. وهذا يعني أن الحالة المُعدة كانت مطابقة تقريباً للهدف النظري. ثانياً، طبقوا الطريقة على الحالة الأرضية لنموذج "إيسينج للمجال المستعرض" (transverse-field Ising model)، وهو نموذج قياسي للمغناطيسية، على شبكة مكونة من 127 كيوبت تحاكي بنية معالج "إيجل" (Eagle) من شركة IBM. وحتى في هذا السيناريو الأكثر تعقيداً، والذي يتضمن حلقات في هيكل الشبكة تجعل الحسابات صعبة عادةً، نجحت الطريقة في إعداد الحالة. وظلت الدقة عالية، حيث انخفضت قليلاً فقط بالقرب من النقطة الحرجة حيث تتغير مادة النموذج من طور إلى آخر، وهي منطقة تصبح فيها الارتباطات طويلة المدى للغاية ويصعب رصدها.

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

ملخص تقني: فك تشابك قائم على انتشار الاعتقاد لإعداد حالات شبكة التنسور

بيان المشكلة
يعد إعداد الحالة الكمومية (QSP) متطلباً أساسياً للعديد من الخوارزميات الكمومية، بما في ذلك التطور الزمني للهاملتوني، والبحث عن الحالة الأرضية، وتعلم الآلة الكمومي. وبينما يتطلب الإعداد الدقيق لأي حالة مكونة من $N$ كيوبت موارد أسية، فإن استغلال التقريبات الهيكلية مثل شبكات التنسور (Tensor Networks - TNs) يوفر مساراً نحو الكفاءة. ومع ذلك، تواجه طرق إعداد الحالات الحالية قيوداً كبيرة:

حالات مصفوفة المنتج (MPS) وشبكات تنسور الشجرة (TTN) تسمح بالانكماش الفعال والأشكال القانونية، مع وجود مخططات إعداد مستقرة.
شبكات التنسور ذات الحلقات (Loopy Tensor Networks) (مثل حالات الأزواج المتشابكة المسقطة PEPS أو شبكات التنسور على رسوم بيانية عشوائية) يصعب انكماشها بدقة وتفتقر إلى أشكال قانونية دقيقة.
تعتمد مخططات الإعداد الحالية للشبكات ذات الحلقات على افتراضات مقيدة (مثل فئات تنسور محددة، أو هاملتونيات والدة فريدة للحالة الأرضية) أو موارد غير وحدوية (قياسات، أو تبديد).
تعاني المنهجيات التباينية التي تحسن دقة الدائرة عالمياً من مشكلات "الهضاب القاحلة" (Barren Plateaus) (تلاشي التدرجات بشكل أسي) وتتطلب تهيئة جيدة، وهو أمر لا يتوفر دائماً. علاوة على ذلك، لا يمكن تقييم الدقة على الرسوم البيانية ذات الحلقات على نطاق واسع بشكل دقيق.

هناك فجوة في الطرق القادرة على إعداد حالات شبكة التنسور على رسوم بيانية ذات درجات محدودة (بما في ذلك تلك التي تحتوي على حلقات) باستخدام تحسين كلاسيكي بحت خالٍ من الهضاب القاحلة لدائرة كمومية رقمية ضحلة.

المنهجية
يقدم المؤلفون فك تشابك قائم على انتشار الاعتقاد (BPD)، وهو مخطط استدلالي لإعداد حالات شبكة التنسور عن طريق عكس عملية توليد التشابك. الفكرة الجوهرية هي دفع الحالة المستهدفة $|\psi\rangle$ إلى حالة منتج $|0\rangle^{\otimes N}$ عن طريق تطبيق بوابات مجاورة قريبة محسنة تباينياً، ثم استخدام المرافق الهيرميتي لهذا المسار لإعداد الحالة المستهدفة من $|0\rangle^{\otimes N}$ .

المكونات الرئيسية للمنهجية تشمل:

معيار انتشار الاعتقاد (BP Gauge): تستخدم الطريقة انتشار الاعتقاد (BP)، وهو مخطط معايرة لشبكة التنسور يقرب بيئة التنسور باستخدام مصفوفات الرسائل ( $M_{\mu,\nu}$ ). وبينما يكون دقيقاً للشبكات الشجرية، إلا أن BP هو تقريب للشبكات ذات الحلقات، ولكنه أثبت القدرة على تمكين المحاكاة الكلاسيكية واسعة النطاق.
تقليل إنتروبيا الحواف: بدلاً من التحسين العالمي، يتم اختزال المشكلة إلى عمليات تحسين تباينية محلية صارمة ومستقلة كلاسيكياً. لكل رابط $(\mu, \nu)$ ، يتم تحسين بوابة "فك تشابك" ثنائية الكيوبت $U_{\mu,\nu}(\theta)$ لتقليل إنتروبيا الحافة $S_\alpha(\mu, \nu)$ . يتم حساب هذه الإنتروبيا من القيم المفردة لحاصل ضرب رسائل BP ( $M_{\mu,\nu}^{1/2} M_{\nu,\mu}^{1/2}$ ) وهي تعمم إنتروبيا التشابك ثنائي الأجزاء على الشبكات ذات الحلقات.
التحسين التبايني المحلي: يتم تحسين بارامترات البوابة $\theta$ لتقليل $S_\alpha$ . يوضح المؤلفون أن تدرج دالة التكلفة المحلية هذه لا يتلاشى أسياً مع حجم النظام $N$ ، مما يتجنب الهضاب القاحلة. يتناقص تباين التدرج فقط بشكل حدودي مع بُعد الرابط $\chi$ .
التوازي عبر تلوين الحواف: لتطبيق بوابات فك التشابك بكفاءة، يتم جدولة الحواف في جولات متوازية باستخدام تلوين حواف الرسم البياني. يوجد دائماً تلوين بـ $K \le z + 1$ لون (حيث $z$ هو عدد التنسيق). يضمن هذا عمق طبقة فك التشابك بحد أقصى $z+1$ .
بناء الدائرة: بعد $L$ من طبقات فك التشابك، تقوم وحدات أحادية الكيوبت بتدوير الحالة المتبقية إلى $|0\rangle^{\otimes N}$ . دائرة إعداد الحالة المستهدفة هي المرافق الهيرميتي لهذا التسلسل.
التحسين الهجين: يمكن تحسين دائرة BPD بشكل أكبر باستخدام محسن البوابات المسحي (Evenbly-Vidal - EV)، بشرط أن تكون شبكة التداخل قابلة للانكماش بدقة (مثل TTNs أو الأنظمة الصغيرة).

النتائج الرئيسية
أثبت المؤلفون المنهجية على هدفين متميزين:

التوزيع الطبيعي متعدد المتغيرات: توزيع غاوسي ذو 17 بُعداً تم ترميزه على 102 كيوبت باستخدام شبكة تنسور شجرية (TTN) بهندسة "مشط" (comb geometry).
- باستخدام 3–5 طبقات فك تشابك، تحقق الطريقة عدم دقة (Infidelity $I = 1-F$ ) تبلغ حوالي $0.02$.
- عند دمجها مع مسحات EV ( $L=5$ )، تنخفض عدم الدقة إلى $I < 0.01$ .
- نجحت الطريقة في إعادة إنتاج التوزيع الاحتمالي والارتباطات (مثل الارتباط بين $x_1$ و $x_2$ ) للتوزيع المستهدف.
حالات الأرضية لنموذج إيسينج في المجال المستعرض (TFIM):
- نظام 64 كيوبت: على شبكة heavy-hex (طوبولوجيا IBM Eagle) مع بُعد رابط $\chi=8$ ، تحقق الطريقة $I < 0.01$ بـ 2 طبقة فقط عند $g_x=1.0$ . بالقرب من النقطة الحرجة ( $g_x \approx 1.4-1.5$ )، حيث تكون الارتباطات طويلة المدى، تصل ذروة عدم الدقة إلى $\approx 0.1$ عند 5 طبقات، وهو ما يتوافق مع مخروط الضوء المحدود للدائرة ومحدودية دقة BP عند الحرجة.
- نظام 127 كيوبت: على طوبولوجيا معالج IBM Eagle الكاملة ( $N=127, \chi=32$ )، تُعد الطريقة حالات أرضية بدقة تتراوح بين $0.9 - 0.999 $. تتطابق الملاحظات (معلم الترتيب$ \langle Z \rangle $، المغناطيسية المستعرضة$ \langle X \rangle $، والمترابط$ \langle ZZ \rangle$) مع الهدف عبر مخطط الطور، مع حدوث الانحرافات بشكل أساسي بالقرب من النقطة الحرجة حيث تتدهور دقة BP.

الأهمية والادعاءات
يدعي البحث سد فجوة حرجة في إعداد الحالة الكمومية من خلال توفير طريقة:

تعمم فك التشابك: توسع خوارزمية فك التشابك الكلاسيكي المتغير (CVD)، التي كانت محدودة سابقاً بنموذج MPS، لتشمل TTNs والشبكات ذات الحلقات.
تتجنب الهضاب القاحلة: من خلال تقليص المشكلة إلى عمليات تحسين محلية صارمة، تتجنب الطريقة مشكلات تلاشي التدرج الشائعة في الخوارزيات التباينية الكمومية العالمية (VQE).
الكفاءة الكلاسيكية: يتم إجراء التحسين بالكامل كلاسيكياً باستخدام رسائل BP، دون الحاجة إلى أجهزة كمومية أثناء مرحلة بناء الدائرة.
التوافق مع الأجهزة: الدوائر الناتجة ضحلة (العمق محدود بعد التنسيق) وتتكون من بوابات مجاورة قريبة، مما يجعلها مناسبة للأجهزة في عصر الكم القريب ذات الاتصال المحدود.
تعدد الاستخدامات: لا تتطلب الطة أن تكون الحالة المستهدفة هي الحالة الأرضية لهاملتوني معروف أو انتقال سلس من حالة سهلة الإعداد، مما يسمح بتحميل البيانات الكلاسيكية الموصوفة بـ TNs بما يتجاوز شكل MPS.

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

أبحاث مشابهة