Ancilla-free optimal quantum adder

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

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

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

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

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

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

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

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

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