The resource cost of magic in a code block

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

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

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

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

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

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

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

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

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

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

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