⚛️ quantum physics

Low-gate-count block encodings for second-quantized fermionic Hamiltonians

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

المؤلفون الأصليون: Diyi Liu, Shuchen Zhu, Lin Lin, Guang Hao Low, Chao Yang

نُشر 2026-09-17

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

CC BY 4.0

المؤلفون الأصليون: Diyi Liu, Shuchen Zhu, Lin Lin, Guang Hao Low, Chao Yang

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

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

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

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

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

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

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

ملخص تقني: ترميز الكتل منخفض عدد البوابات لهاميلتونيات فيرميونات الكم الثانية

بيان المشكلة
يعد الترميز الكتلي (Block Encoding) الفعال لهاميلتونيات الأجسام المتعددة شرطًا أساسًا لخوارزميات الكم في الحوسبة العلمية، لا سيما في مرحلة الخطأ التصحيحي المبكر (Early Fault-Tolerant) للمحاكاة الكمومية. وتتمثل إحدى العقبات الرئيسية في الطرق الحالية، مثل نهج التركيبة الخطية للعمليات الموحدة (LCU)، في تكلفة الموارد المرتبطة بتحميل معاملات الهاميلتوني الكلاسيكية في الدوائر الكمومية. بالنسبة لهاميلتونيات البنية الإلكترونية العامة من النوع الثاني (second-quantized)، يبلغ عدد حدود التفاعل $L$ رتبة $\Theta(n^4)$ (حيث $n$ هو عدد المدارات الدورانية). وتؤدي الإنشاءات القياسية إلى تعقيد بوابات T يتناسب خطيًا مع $L$ (أي $O(n^4)$ ) ومع عامل دون تطبيع (subnormalization factor) $\alpha$ يتناسب أيضًا مع $O(n^4)$ . علاوة على ذلك، تتطلب العديد من التطبيقات محاكاة أنظمة ذات عدد ثابت من الجسيمات $\eta$ ، ومع ذلك، غالبًا ما تنتشر عمليات الترميز الكتلي القياسية عبر فضاء هيلبرت الكامل، مما يفشل في استغلال حفظ عدد الجسيمات لتقليل تكاليف الموارد.

المنهجية
يقترح المؤلفون إنشاءات صريحة جديدة لترميز بلوكات هاميلتونيات فيرميونات الكم الثانية التي تعمل مباشرة على تمثيل عدد الإشغال (occupation-number representation) بدلاً من رسم خرائط لعمليات فيرميون إلى سلاسل باولي أولاً. تعتمد المنهجية على أوراكلين (Oracles) أساسيين: أوراكل التشتت (Sparsity Oracle $O_C$ ) وأوراكل السعة (Amplitude Oracle $O_A$ ).

أوراكل التشتت ( $O_C$ ): بدلاً من استخدام بوابات متعددة التحكم لتحديد مواقع عناصر المصفوفة، يستخدم المؤلفون استراتيجية بحث عن البيانات تعتمد على التبادل (SWAP-based data-lookup). يستخدمون شبكات SWAP-UP لنقل الكيوبتات الممثلة للمدارات المشغولة إلى الموضع الأقل أهمية، مما يسمح بعمليات قلب بت (bit-flips) محكومة وتشفير طوري فعال. يقوم هذا النهج ببناء أوراكل تشتت الأعمدة باستخدام SWAP-UP، ودوائر السلم (ladder circuits - CNOT متدرجة)، وبوابات Pauli-Z المستهدفة للتعامل مع إشارات فيرميون.
أوراكل السعة ( $O_A$ ): لترميز القيم العددية للمعاملات، يجمع المؤلفون بين دائرة بحث عن البيانات بتقنية SELECT-SWAP وطريقة العينات المباشرة (direct sampling). تعمل تقنية SELECT-SWAP على تجميع عناصر البيانات لتقليل عدد بوابات T لتحميل البيانات الكلاسيكية من $O(L)$ إلى $\tilde{O}(\sqrt{L})$ . أما طريقة العينات المباشرة، فتقوم بتحويل التمثيل الثنائي للمعاملات إلى سعات احتمالية دون الحاجة إلى عمليات حسابية معقدة أو أخذ عينات بالاسم (alias sampling)، بشرط أن تكون المعاملات بمقياس $O(1)$ أو تتلاشى مع المؤشرات.
بناء الجسيمات ذو العدد الثابت $\eta$ : بالنسبة للأنظمة ذات عدد الجسيمات الثابت $\eta$ ، يقدم المؤلفون استراتيجية الانتشار غير المباشر (indirect diffusion). بدلاً من الانتشار عبر جميع مؤشرات المدارات الرسمية، يتم ضبط الانتشار بناءً على الحالة المدخلة $|j\rangle$ لتوليد تراكبات فقط فوق المؤشرات التي تقابل المدارات المشغولة. يتطلب هذا أوراكل كشف الإشغال ( $O_{occ}$ ) لحساب عنوان الكيوبت المشغول رقم $i$ بشكل مؤقت في سجل مساعد (ancilla register). هذا النهج المعتمد على الحالة يقيد الانتشار في الفضاء الفرعي ذي الصلة، مما يقلل بشكل كبير من عامل دون التطبيع.
الهاميلتونيات المهيكلة: تم توسيع الإطار ليشمل الهاميلتونيات ذات التباين الانتقالي (translation invariance)، والتفاعلات بين الجيران الأقرب، أو تلاشي المعاملات. في هذه الحالات، يتم تقليل عدد المعاملات المتميزة التي يجب تحميلها، ويتم دمج الانتشار غير المباشر مع دوائر حسابية لتوليد تراكبات لأزواج المؤشرات الصالحة (مثل $|p\rangle|p \pm m\rangle$ ) بدلاً من جميع الأزواج الممكنة.

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

تحسين تربيعي في تعقيد البوابات: بالنسبة لهاميلتونيات الكم الثانية العامة ذات $L$ من حدود التفاعل، يحقق الإنشاء المقترح عدد بوابات T يتناسب مع $\tilde{O}(\sqrt{L})$ (تحديداً $\tilde{O}(\sqrt{L \log(L/\epsilon)})$ )، وهو تحسين تربيعي مقارنة بالنمو الخطي $O(L)$ لطرق LCU/QROM القياسية. بالنسبة لهاميلتونيات البنية الإلكترونية ( $L \sim n^4$ )، يقلل هذا من عدد بوابات T من $O(n^4)$ إلى $\tilde{O}(n^2)$ .
تقليل عامل دون التطبيع في قطاع الجسيمات الثابت $\eta$ : بينما يظل عامل دون التطبيع عند $O(L) \sim O(n^4)$ في حالة الفضاء الهيلبرتي الكامل العامة، فإن الإنشاء الذي يستهدف فضاء عدد الجسيمات الثابت $\eta$ يقلل العامل من $O(L)$ إلى $O(n^2 \eta^2)$ للتفاعلات الثنائية العامة. عندما تكون $\eta \ll n$ ، يمثل هذا تقليلاً جوهرياً في تكلفة الـ qubitization لعملية التطور الزمني.
تقديرات الموارد المحسنة للنماذج المهيكلة:
- نماذج هوبارد (Hubbard Models): بالنسبة لنموذج هوبارد القياسي (الذي يحتوي على معاملين فريدين فقط)، يتلاشى تكلفة البحث عن البيانات، ويهيمن على التعقيد أوراكل التشتت، مما يعطي $O(n + \log(n/\epsilon))$ من بوابات T للفضاء الكامل و $O(n \log \eta + \log(\eta/\epsilon))$ لقطاع $\eta$ -جسيم.
- النماذج ذات التباين الانتقالي أو الموضعية: بالنسبة للهاميلتونيات ذات التباين الانتقالي أو المدارات الموضعية (حيث تتلاشى المعاملات)، يتم تقليل عدد المعاملات المتميزة $L_{distinct}$ . يتكيف الإنشاء مع هذه الهياكل، مما يخفض عدد ب gates T وعمق T مقارنة بالحالات غير المهيكلة.
المقارنة مع النماذج الحالية: تقارن الورقة نتائجها مع نموذج LCU الخاص بـ Babbush et al. [28] ونهج Trotter القائم على Kivlichan et al. [49]. تقدم الطريقة الجديدة أعداد T وعمق T أقل لعمليات المحاكاة القائمة على الـ qubitization. ومن الجدير بالذكر أنه بينما توجد نماذج مدخلات مرتبطة بالعدد الثابت للجسيمات (مثل Tong, An et al. [38])، فإن إنشاء المؤلفين هو الأول الذي يستهدف بشكل صريح قطاع $\eta$ -ثابت لهاميلتوني كم ثانٍ عام (بما في ذلك تفاعلات الجسم الواحد والجسمين غير القطرية) ويحقق مقياس دون تطبيع أمثل من خلال بناء الدائرة نفسها، دون الاعتماد على إزاحة الهاميلتوني أو التحسين الكلاسيكي المعتمد على الحالة.

الأهمية
يدعي المؤلفون أن هذا العمل يوفر مساراً عملياً نحو المحاكاة الكمومية المبكرة للأجسام المتعددة في مرحلة الخطأ التصحيحي. تكمن الأهمية في:

تقليل الموارد بشكل كبير: إن تقليل تعقيد بوابات T من الخطي إلى الجذر التربيعي في عدد الحدود ( $L$ ) وتقليل عامل دون التطبيع لأنظمة الجسيمات الثابتة يقللان مباشرة من التكاليف الإضافية (overhead) للخطأ التصحيحي لمحاكاة التطور الزمني ومشاكل القيم الذاتية.
استهداف الفضاء الفرعي المباشر: يعد هذا الإنشاء أول ترميز كتلي صريح يستهدف مباشرة قطاع $\eta$ -ثابت لهاميلتوني كم ثانٍ عام، محققاً مقياس دون تطبيع أمثل للتفاعلات غير القطرية من خلال بناء الدائرة وليس عبر إزاحة الهامتوني أو التحسين الكلاسيكي.
القابلية للتوسع: يتوسع النهج بكفاءة مع حجم النظام $n$ وعدد الجسيمات $\eta$ ، مما يجعله مناسباً لمحاكاة أنظمة جزيئية ومواد مكثفة أكبر مما كان ممكناً سابقاً باستخدام نماذج المدخلات القياسية.
النمطية (Modularity): الإطار عام ويمكن تكييفه مع هياكل مختلفة من الهاميلتوني (الجيران الأقرب، التباين الانتقالي، العاملية)، مما يوضح أن استغلال التناظرات الفيزيائية والمحلية يمكن دمجه بشكل منهجي لتقليل التكاليات بشكل أكبر.

تخلص الورقة إلى أنه بينما تكون التحسينات أكثر وضوحاً للهاميلتونيات المهيكلة وقطاعات الجسيمات الثابتة، فإن الإنشاء العام يقدم بالفعل مزايا كبيرة مقارنة بالطرق السابقة من خلال الاستفيد من شبكات SWAP-UP وعمليات بحث بيانات SELECT-SWAP لتقليل عبء بوابات Clifford+T.

أبحاث مشابهة