⚛️ quantum physics

Highly Versatile FPGA-Implemented Cyber Coherent Ising Machine

تقدم هذه الورقة آلة "آيزينج" سيبرانية متماسكة للغاية مُنفذة على مصفوفة بوابات منطقية قابلة للبرمجة (FPGA) تستخدم قيمًا مستمرة من نوع FP32 وتحكمًا مرنًا في التسلسل لدعم خوارزميات متنوعة (بما في ذلك CIM وSB وJacobi SOR)، محققةً N=4096 من السبينات على شريحة واحدة وبسرعات حسابية تزيد عن عشرة أضعاف سرعة وحدات معالجة الرسومات لتمكين تطبيقات كانت غير ممكنة سابقًا مثل كشف تعدد المستخدمين بتقنية CDMA والاستشعار المضغوط L0.

المؤلفون الأصليون: Toru Aonishi, Tatsuya Nagasawa, Toshiyuki Koizumi, Mastiyage Don Sudeera Hasaranga Gunathilaka, Kazushi Mimura, Masato Okada, Satoshi Kako, Yoshihisa Yamamoto

نُشر 2026-07-27

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

CC BY 4.0

المؤلفون الأصليون: Toru Aonishi, Tatsuya Nagasawa, Toshiyuki Koizumi, Mastiyage Don Sudeera Hasaranga Gunathilaka, Kazushi Mimura, Masato Okada, Satoshi Kako, Yoshihisa Yamamoto

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

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

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

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

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

قصة آلة آيزينج السيبرانية

المشكلة: المدينة "الزجاجية"
تخيل أنك تحاول تنظيم حفلة ضخمة حيث يجب على الجميع الجلوس بجانب أصدقائهم وتجنب أعدائهم. إذا كان لديك 10 أشخاص، فالأمر سهل. أما إذا كان لديك 1,000، فقد أصبح كابوسًا. في عالم الفيزياء، يتم تمثيل هذا بشيء يسمى "نموذج آيزينج" (Ising model)، حيث تريد مغناطيسات صغيرة (لفات) أن تصطف مع بعض الجيران وتعارض آخرين. إن إيجاد مخطط الجلوس المثالي هو نفسه إيجاد "الحالة الأرضية" (أقل حالة طاقة) لهذا النظام.

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

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

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

الحل الجديد: السكين السويسري متعدد الاستخدامات
بنى الفريق في هذه الورقة بنية FPGA جديدة تعالج كل هذه المشكلات. يطلقون عليها اسم "آلة آيزينج المتماسكة السيبرانية". وإليك ما يجعلها مميزة:

تتحدث لغة الأرقام "الحقيقية": بدلاً من مجرد 0 و 1، تستخدم هذه الآلة "الأرقام العائمة أحادية الدقة" (FP32). هذا يشبه الترقية من تلفزيون أبيض وأسود إلى تلفزيون 4K ملون. يمكنها التعامل مع القيم العشرية الدقيقة والمعقدة اللازمة لمشكلات الهندسة في العالم الحقيقي.
تتعامل مع "الرياح": يمكنها الآن إدارة مصطلحات زيمان بشكل صحيح، مما يسمح لها بحل مشكلات مثل كاشف المستخدم المتعدد بنظام CDMA (معرفة من يتحدث في غرفة مزدحمة) و الاستشعار المضغوط القائم على تنظيم L0-norm (إعادة بناء صورة واضحة من قطع قليلة ضبابية، مثل صورة الرنين المغناطيسي).
هي كالحرباء: الآلة مبنية بوحدة "تحكم" تعمل مثل جهاز التحكم عن بعد. من خلال إعادة كتابة الكود على هذا الجهاز، يمكن للآلة التبديل بين أوضاع مختلفة:
- Open-loop CIM: النسخة الأصلية الأبسط.
- Closed-loop CIM: نسخة أحدث وأكثر تعقيدًا تستخدم "التحكم الفوضوي في السعة" (طريقة فخمة لقول إنها تهز الأشياء لتخرج من الحلول السيئة).
- Jacobi SOR: طريقة لحل الأنظمة الرياضية.
- Simulated Bifurcation (SB): خوارزمية أخرى شائعة يمكن للآلة تشغيلها إذا تم تغيير الكود.

السباق: الآلة السيبرانية ضد الـ GPU
للتأكد مما إذا كانت آلتهم الجديدة جيدة حقًا، وضعها الفريق في مواجهة بطاقة رسوميات عالية الأداء قياسية (NVIDIA Quadro RTX 8000)، وهي نوع من الرقائق المستخدمة في الألعاب والذكاء الاصطناعي. اختبروها في تحديين كبيرين:

المحقق اللاسلكي (CDMA): حاولوا معرفة أي من 4,096 مستخدمًا يرسل رسالة في قناة مليئة بالضجيج.
- النتيجة: كانت آلة الـ FPGA أسرع بـ 11 إلى 30 مرة من الـ GPU.
- الدقة: وجدت الإجابات تمامًا كما فعلت الـ GPU، وفي بعض الحالات (باستخدام وضع "Closed-loop")، كانت حتى أفضل في إيجاد الحل المثالي لأن "الهزات الفوضوية" ساعدتها على الهروب من المآزق.
مرمم الصور (L0RBCS): حاولوا إعادة بناء صورة رنين مغناطيسي بدقة 64×64 بكسل من 40% فقط من البيانات.
- النتيجة: كانت آلة الـ FPGA أسرع بـ 12 إلى 37 مرة من الـ GPU.
- الدقة: كانت الصور التي أنتجتها واضحة تمامًا، ومرة أخرى، أنتج نسخة "Closed-loop" صورًا أفضل قليلاً عبر الاقتراب من الحل المثالي النظري.

المقايضة: السرعة مقابل الدقة
قد تتساءل: "إذا كانت بهذه السرعة، فلما-ذا لم يفعل الجميع هذا من قبل؟" توضح الورقة أن هناك مقايضة. كانت آلات آيزينج السابقة (مثل آلات Simulated Bifurcation) سريعة للغاية لأنها استخدمت أرقامًا بسيطة وكان لديها أربعة أضعاف عدد "العمال" (وحدات المعالجة المتوازية) يعملون في وقت واحد. أما الآلة الجديدة فتستخدم أرقامًا عشرية دقيقة، مما يتطلب المزيد من الموارد المنطقية، لذا لديها عدد أقل من "العمال" (2,048 وحدة MAC PE مقارنة بـ 8,192 في الآلات الثنائية القديمة).

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

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

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

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

ملخص تقني: آلة كوهيرنت إيزينج (Coherent Ising Machine) عالية التنوع ومنفذة عبر تقنية FPGA

بيان المشكلة
تعد مشكلات الأمثلة التوافقية (Combinatorial optimization)، مثل تخصيص الموارد وتحسين المحافظ الاستثمارية، من المشكلات التي تنتمي لفئة NP-hard، مما يتطلب وقتاً أسياً لحلها مع زيادة حجم المشكلة. وبينما توفر آلات إيزينج الكمومية (QIMs) وآلات كوهيرنت إيزينج (CIMs) حلولاً محتملة، إلا أن التنفيذات الفيزيائية تواجه عقبات كبيرة في تحقيق اقتران كثيف وأعداد كبيرة من الدورات (spins - N) بسبب قيود الأسلاك والحدود الفيزيائية. ونتيجة لذلك، استنبط الباحثون معادلات قابلة للحساب كلاسيكياً من معادلات الماستر الكمومية (مثل المعادلات التفاضلية العشوائية لـ CIMs ونماذج التفرع المحاكي Simulated Bifurcation) ليتم حلها على أجهزة متوازية مثل وحدات معالجة الرسومات (GPUs) ومصفوفات البوابات المنطقية القابلة للبرمجة (FPGAs).

ومع ذلك، تعاني تطبيقات FPGA واسعة النطاق الحالية لهذه الخوارزميات (تحديداً Simulated Bifurcation و CIM) من قيود حرجة:

التفاعلات المنفصلة: تستخدم عادةً قيمًا ثنائية أو ثلاثية لمصفوفات الاقتران (J) لتوفير الذاكرة والموارد المنطقية، وهو أمر غير كافٍ لتطبيقات معالجة الإشارات في العالم الحقيقي التي تتطلب قيمًا حقيقية مستمرة.
غياب حدود زيمان (Zeeman terms): غالباً ما تفتقر إلى القدرة على تهيئة حدود زيمان (المجالات الخارجية)، وهي ضرورية لتطبيقات مثل الاستشعار المضغوط وكشف تعدد المستخدمين في تقنية CDMA.
جمود الخوارزمية: غالباً ما تكون بنية الأجهزة ثابتة لخوارزمية محددة؛ وتغيير النموذج يتطلب إعادة تصميم كاملة.
النطاق المحدود: لا يمكنها التعامل مع كل من مشكلات Ising و Quadratic Unconstrained Binary Optimization (QUBO) مع حدود زيمان في آن واحد، أو تنفيذ مخططات الأمثلة المتناوبة المطلوبة للمشكلات المعقدة مثل الاستشعار المضغوط القائم على تنظيم $L_0$ ( $L_0$ RBCS).

المنهجية
قام المؤلفون بتطوير "آلة كوهيرنت إيزينج سيبرانية" (Cyber CIM) تم تنفيذها على شريحة واحدة من نوع Xilinx ALVEO U250 FPGA. صُممت هذه البنية لتكون عالية التنوع، بحيث يمكنها تنفيذ ثلاث خوارزميات متميزة على نفس الوحدات العتادية بمجرد إعادة كتابة كود التحكم في التسلسل:

Open-Loop CIM: يحل معادلات Ising و QUBO دون التحكم في السعة.
Closed-Loop CIM: يحل معادلات Ising و QUBO مع التحكم في السعة الفوضوي (Chaotic Amplitude Control - CAC) للهروب من النهايات الصغرى المحلية.
Jacobi Successive Over-Relaxation (SOR): يحل المعادلات المتزامنة للأمثلة التربيعية.

الميزات التقنية الرئيسية:

الدقة: على عكس أنظمة FPGA السابقة التي استخدمت الحسابات الثنائية أو الحسابات ذات النقطة الثابتة، يستخدم هذا النظام الفاصلة العائمة أحادية الدقة (FP32) لمصفوفة الاقتران (J)، وحدود زيمان (g)، وحسابات التطور الزمني.
البنية المتنوعة: تشمل الوحدات الأساسية وحدة تحكم حسابي (CTL TOP) تقوم بتسلسل العمليات، ووحدة حساب المجال المحلي (CAL H) تحتوي على 2048 عنصر معالجة ضرب وتراكم (MAC) متوازية، ووحدة حساب التطور الزمني (CAL CSR).
إدارة الذاكرة: لتخزين مصفوفة الاقتران $4096 \times 4096$ بدقة FP32 داخل ذاكرة الـ FPGA الداخلية، يقوم النظام بتخزين المصفوفة المثلثية العليا فقط ويستخدم معدد (J MUX) لإعادة بناء المصفوفة المتماثلة أثناء الحساب.
الأمثلة المتناوبة: بالنسبة لـ $L_0$ RBCS، يقوم النظام بالتناوب بين CIM (لتحسين متجه الدعم الثنائي q) و Jacobi SOR (لتحسين إشارة المصدر المستمرة r).

التقييم التجريبي
تم اختبار النظام مقابل وحدة معالجة رسومات NVIDIA Quadro RTX 8000 باستخدام تطبيقين محددين يتطلبان تفاعلات مستمرة وحدود زيمان:

كشف تعدد المستخدمين في CDMA: مشكلة أمثلة Ising Hamiltonian.
$L_0$ RBCS: مشكلة QUBO Hamiltonian تتضمن استعادة الإشارات المتفرقة.

أُجريت التجارب على أحجام أنظمة $N=1024$ و $N=2048$ و $N=4096$ .

النتائج

التنوع والدقة: نجح نظام FPGA في تنفيذ كل من Open-loop CIM و Closed-loop CIM، بالإضافة إلى Jacobi SOR، على نفس العتاد. بالنسبة لكشف CDMA، أنتج نظام FPGA و GPU مسارات حل متطابقة لـ open-loop CIM. بالنسبة لـ closed-loop CIM، لوحظت اختلافات طفيفة في المسار، وتُعزى إلى انحراف FPGA عن قواعد تقريب IEEE 754 الصارمة، مما أثر على الديناميكيات الفوضوية لـ CAC. ومع ذلك، حقق نهج closed-loop عموماً معدلات خطأ في البتات (bit-error rates) أقل من نهج open-loop على كلا المنصتين.
أداء إعادة البناء: في مهام $L_0$ RBCS (سواء للإشارات العشوائية أو بيانات MRI)، حقق نظام FPGA و GPU نتائج جذر متوسط مربع الخطأ (RMSE) متقاربة، حيث تفوق نهج closed-loop CS عموماً على نهج open-loop CS من خلال إيجاد حلول أقرب إلى الحالة الأرضية النظرية.
السرعة: أظهر تنفيذ FPGA ميزة سرعة كبيرة مقارنة بـ GPU.
- بالنسبة لكشف CDMA، كان نظام FPGA أسرع بـ 13 إلى 30 مرة من GPU، اعتماداً على حجم النظام والخوارزمية.
- بالنسبة لـ $L_0$ RBCS، كان نظام FPGA أسرع بـ 12 إلى 37 مرة من GPU.
- يشير المؤلفون إلى أنه بينما يقل التوازي في FPGA (64 وحدة MAC) عن ربع التوازي في تنفيذ سابق لـ Simulated Bifurcation (SB) على شريحة واحدة (والذي استخدم 256 وحدة MAC ولكن بتفاعلات ثنائية)، فإن استخدام FP32 سمح بحل مشكلات كانت مستعصية سابقاً على الـ FPGA.

الأهمية والادعاءات
يزعم البحث أن هذه الـ Cyber CIM تمثل خطوة كبيرة للأمام في تنفيذات آلات Ising القائمة على FPGA من خلال إعطاء الأولوية للتنوع والدقة على كثافة التوازي الخام.

تجاوز القيود: يعد هذا أول نظام FPGA واسع النطاق يدعم التفاعلات ذات القيم المستمرة (FP32) وحدود زيمان القابلة للتهيئة، مما يتيح تطبيقات مثل كشف تعدد المستخدمين في CDMA والاستشعار المضغوط التي لم تكن ممكنة مع أنظمة FPGA السابقة ذات التفاعلات الثنائية.
حيادية الخوارزمية: تسمت البنية بالقدرة على تنفيذ خوارزميات متعددة (Open-loop CIM، Closed-loop CIM، Jacobi SOR، وربما SB) على نفس العتاد دون إعادة تصميم، مما يتكيف مع التحديثات المتكررة في نماذج أبحاث CIM.
الأداء: رغم امتلاكها توازياً أقل من أنظمة FPGA ذات التفاعلات الثنائية، تحقق Cyber CIM سرعات حسابية تزيد عن عشرة أضعاف سرعة تنفيذات GPU للمشكلات المعقدة في العالم الحقيقي.
الإمكانات المستقبلية: يقترح المؤلفون أنه يمكن تحسين سرعات الحساب بشكل أكبر من خلال زيادة التوازي عبر تجميع الـ FPGA (Clustering) أو من خلال استخدام وحدات FPGA ذات ذاكرة داخلية أكبر لإزالة اختناق J MUX، مما قد يسمح بترددات ساعة أعلى.

قصة آلة آيزينج السيبرانية

أبحاث مشابهة