The Threshold Theorem in Watts: Fault Tolerance as a Question About Objective Probability

مقامرة الكم الكبرى: لماذا قد يكلف بناء حاسوب مثالي أكثر مما تعتقد

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

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

فكرة الورقة الكبرى: حساب التكلفة الحقيقية

هذه الورقة، التي كتبها أميت هاجار، تطرح سؤالاً بسيطاً ولكنه ثوري: ماذا لو كانت "مبرهنة العتبة" صحيحة رياضياً ولكنها مستحيلة عملياً لأنها نسيت احتساب فاتورة الكهرباء؟

يقترح هاجار طريقة جديدة للنظر إلى الاحتمالية. بدلاً من التفكير في الاحتمال كguess (تخمين) أو شعور بالاعتقاد، يقترح أن نفكر فيه كـ بطاقة سعر. في وجهة نظره، تعتمد فرصة وصول الحاسوب إلى حالة معينة تماماً على مقدار الطاقة والوقت اللازمين للوصول إليها. إذا كانت التكلفة طاقة قليلة، فإن الاحتمالية تكون عالية (قريبة من 100%). وإذا كانت التكلفة كمية هائلة من الطاقة، فإن الاحتمالية تنخفض إلى ما يقرب من الصفر. ويسمي هذا "الواقعية المقيدة بالموارد" (resource-bounded realizability).

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

1. المعايرة (Calibration): الآلات تنحرف وتخرج عن الضبط. يجب عليك باستمرار إيقافها وإعادة معايرتها، مما يستغرق وقتاً وطاقة.
2. فك التشفير (Decoding): لإصلاح خطأ ما، يجب على حاسوب كلاسيكي قراءة البيانات ومعرفة ما حدث خطأ. هذا الحساب يستغرق وقتاً وقوة، ويجب أن يحدث فوراً قبل وقوع الخطأ التالي.
3. بطارية التماسك (The Coherence Battery): الحالات الكمومية تستمر فقط لجزء ضئيل من الثانية (ميكروثانية). يجب أن تنتهي عملية تصحيح الخطأ بأكملها قبل أن "تموت البطارية". إذا كانت العملية بطيئة جداً، تنهار الحالة، بغض regardless من جودة الرياضيات.
4. تفريغ الإنتروبيا (Entropy Flush): في كل مرة تصلح فيها خطأً، فإنك تخلق حرارة وفوضى (إنتروبيا). يجب عليك باستمرار التخلص من هذه الفوضى وإدخال أجزاء "مساعدة" (ancilla) جديدة وباردة. هذا يشبه تغيير زيت السيارة باستمرار أثناء قيادتها بسرعة الضوء.

الحكم: سباق ضد عداد الطاقة

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

يقدم هاجار طريقة جديدة لقياس جدوى الحواسيب الكمومية: الواط لكل عقد من تقليل الخطأ. تخيل أنك تريد جعل حاسوبك أكثر دقة بـ 10 مرات (عقد واحد من التحسن). كم ستكلفك الكهرباء الإضافية؟

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

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

القياسان اللذان سيحسمان الجدل

ينهي هاجار كلامه بتحدٍ. يقول إننا لسنا بحاجة للجدل حول النظريات أو نماذج الضجيج بعد الآن. نحن فقط بحاجة لتوصيل عداد طاقة. يقترح قياسين محددين يمكنهما حسم الجدل نهائياً:

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

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