The Fully Depolarizing Noise Conjecture for Entangled Physical States: A Twenty-Year Perspective
في هذه الورقة التي تُكرم يوري غوريفيتش، يعيد المؤلف زيارة حدسية عمرها عشرون عاماً تربط بين الضجيج في الكيوبتات المتشابكة وبين وجود مكون إزالة استقطاب كامل يفرض تحدياً جوهرياً أمام القدرة على تحمل الأخطاء الكمومية، بينما يناقش أيضاً حساسية الضجيج في أنظمة NISQ، والتحليل الإحصائي لادعاءات التفوق الكمومي، وتأملات شخصية حول علاقتهما العلمية.
لقد استحوذ حلم بناء حاسوب كمي على ألباب العلماء والمهندسين لعقود من الزمن، واعداً بآلات يمكنها حل مشكلات تتجاوز بكثير قدرات أقوى الحواسيب الفائقة اليوم. وفي قلب هذا الحلم تكمن فكرة التشابك، وهو ارتباط غريب حيث يصبح جزيئان صغيران، مثل الذرات أو الإلكترونات، مرتبطين بحيث تؤثر حالة أحدهما فوراً على الآخر، بغض النظر عن مدى بعدهما عن بعضهما البعض. هذا الاتصال هو الوقود للقوة الكمية، ولكنه هش للغاية أيضاً. في العالم الحقيقي، تتعرض هذه الجسيمات باستمرار لقصف من الحرارة والاهتزاز والموجات الكهرومغناطيسية، مما يتسبب في فقدان حالاتها الكمية الدقيقة في عملية تسمى "فقدان الترابط" (decoherence). لبناء حاسوب يعمل، يجب على المهندسين حماية هذه الجسيمات من هذا الضجيج، وهو تحدٍ صعب للغاية لدرجة أنه يتطلب مفهوماً يسمى "تحمل الخطأ" (fault tolerance). يفترض هذا النهج أنه إذا حدثت الأخطاء نادراً وبشكل مستقل عن بعضها البعض، يمكن للنظام اكتشافها وإصلاحها بشكل أسرع من تراكمها، مما يسمح للحاسوب بإجراء حسابات معقدة دون الانهيار.
ومع ذلك، فإن فكرة عمرها عشرون عاماً اقترحها عالم الرياضيات جيل كالاي تشير إلى أن هذه الاستراتيجية بأكملها قد تكون مبنية على افتراض خاطئ حول كيفية عمل الطبيعة. في ورقة بحثية كتبت لمجلد يكرم صديقه وزميله يوري غوريفيتش، يستعرض كالاي فرضية طرحها لأول مرة في عام 2006. ويجادل بأن الضجيج الذي يؤثر على الجسيمات الكمية ليس عشوائياً ومستقلاً كما تفترض النماذج الحالية. بدلاً من ذلك، يقترح أنه كلما تشابك جسيمان فيزيائيان، فإن الضجيج الذي يؤثر عليهما يكون مرتبطاً بطبيعته. وتحديداً، يشير إلى أن هناك احتمالاً كبيراً أن يتم مسح المعلومات من كلا الجسيمين في نفس الوقت تماماً، وهي ظاهرة تُعرف باسم "الضجيج الموحد بالكامل المشترك" (joint fully depolarizing noise). وإذا كان هذا صحيحاً، فلن تكون الأخطاء حوادث معزولة يمكن للحاسوب إصلاحها بسهولة؛ بل ستكون أحداثاً متزامنة تغمر قدرة النظام على تصحيح نفسه، مما قد يجعل بناء حواسيب كمية واسعة النطاق أمراً مستحيلاً.
لا تدعي ورقة كالاي البحثية أنها أثبتت هذا الاستحالة بعد. بل تعمل كخارطة طريق لكيفية اختبار هذا القيد الهيكلي ضد العالم المادي. ويجادل بأن النماذج القياسية التي يستخدمها المهندسون تعامل الأخطاء في الجسيمات المختلفة كأحداث منفصلة، مثل شخصين يسقط كل منهما أغراضه الخاصة والمتميزة. أما فرضيته فتفترض أن الأخطاء في الواقع تشبه هبة ريح واحدة تسقط شخصين يقفان بالقرب من بعضهما البعض. وتحدد الورقة طريقة محددة للتحقق من ذلك: من خلال مقارنة كيفية سلوك الأخطاء عندما يكون الجسيمان متشابكين مباشرة مقابل عندما يكونان متشابكين بشكل غير مباشر عبر جسيم ثالث. في النماذج القياسية، يجب أن يجعل التشابك غير المباشر احتمال حدوث خطأ متزامن أصغر بكثير، حيث ينخفض من احتمال خطي إلى احتمال تربيعي. ويتوقع كالاي أن الطبيعة لا تسمح بهذا الاختزال؛ فحتى عندما يكون الاتصال غير مباشر، يجب أن يظل احتمال فشل كلا الجسيمين معاً مرتفعاً، بما يضاهي معدل الخطأ في الاتصال المباشر.
إن تداعيات هذه الفكرة عميقة بالنسبة لمجال الحوسبة الكمية. فإذا كان كالاي على حق، فإن الأخطاء في النظام الكمي لن تكون مجرد بعض الأخطاء المتفرقة التي يمكن تنظيفها. بدلاً من ذلك، ستكون إخفاقات واسعة النطلة ومتزامنة حيث تفقد العديد من الجسيمات معلوماتها في وقت واحد. وهذا من شأنه أن يكسر النظريات الرياضية التي تعد بتحمل الخطأ، مما يشير إلى أنه مهما بلغت جودة الهندسة، فإن الضجيج سينمو دائماً بسرعة أكبر من القدرة على السيطرة عليه. كما تتطرق الورقة إلى شكوك أوسع تجاه الادعاءات الأخيرة المتعلقة بـ "التفوق الكمي"، حيث أعلنت شركات أن أجهزتها قد أدت مهاماً مستحيلة على الحواسيب الكلاسيكية. وقد طور كالاي وزملاؤه أدوات إحصائية لتدقيق هذه الادعاءات، مجادلين بأن البيانات قد لا تكون قوية كما تم الإبلاغ عنها، وأن النتائج المرصودة قد تكون متأثرة بالحواسيب الكلاسيكية نفسها المستخدمة لتصميم ومعايرة التجارب.
ولحسم المسألة، يقترح كالاي سلسلة من التجارب التي يمكن إجراؤها على الأجهزة الحالية، والتي تحتوي بالفعل على عشرات الكيوبتات (qubits). ويقترح البحث في الأنماط الإحصائية للأخطاء في هذه الآلات لمعرفة ما إذا كانت تظهر علامات الضجيج المتزامن الذي يتوقعه. وسيتضمن ذلك عدم تحليل عدد مرات حدوث الأخطاء فحسب، بل أيضاً كيفية ارتباطها عبر أجزاء مختلفة من النظام. وتقر الورقة بأن هذه الاختبارات صعبة وتتطلب قياسات دقيقة، لكنها تؤكد أن التكنولوجيا أصبحت متقدمة بما يكفي لمحاولة القيام بها. الهدف ليس استبعاد المجال، بل إخضاع أكثر افتراضاته تفاؤلاً لاختبار جهد صارم. وإذا صحت الفرضية، فهذا يعني أن الطريق نحو حاسوب كمي شامل مسدود بقانون أساسي من قوانين الفيزياء. وإذا تم دحضها، فسيؤدي ذلك إلى إزالة عقبة نظرية كبرى والتحقق من صحة النهج الهندسية الحالية.
طوال الورقة، يتأمل كالاي في طبيعة التقدم العلمي والعلاقة بين النظرية والواقع. ويعقد أوجه تشابه بين تحديات الحوسبة الكمية ومجالات أخرى تكافح فيها النماذج النظرية لاستيعاب فوضى العالم الحقيقي، مثل الحوسبة المتوازية أو حدود الإبداع البشري. كما يشارك تأملات شخصية حول صداقته الطويلة مع يوري غوريفيتش، عالم المنطق وعلوم الحاسوب، مشيراً إلى كيف شكل اهتمامهما المشترك بالفجوة بين النظرية المجردة والتطبيق العملي مسيرتيهما المهنية. هذا البعد الشخصي يؤكد الموضوع المركزي للورقة: وهو أن فهم حدود الحوسبة لا يتطلب صرامة رياضية فحسب، بل يتطلب أيضاً اشتباكاً نقدياً عميقاً مع كيفية سلوك الأنظمة الفيزيائية فعلياً. وتختتم الورقة بالتأكيد على أن الإجابة على مسألة إمكانية بناء حواسيب كمية لن تأتي من معادلة جديدة، بل من المراقبة الدقيقة للضجيج في الآلات التي نبنيها اليوم.
ملخص تقني: فرضية الضجيج الكامل لإزالة الاستقطاب للحالات الفيزيائية المتشابكة
1. المشكلة تتناول الورقة البحثية الجدوى الأساسية للحوسبة الكمومية القابلة للتوسع ذات التسامح مع الخطأ (FTQC). وبينما تؤكد "مبرهنة العتبة" أن الحوسبة الكمومية ذات التسامح مع الخطأ ممكنة بشرط أن تكون معدلات الضجيج دون عتبة ثابتة وأن تستوفي فرضيات المحلية والارتباط الضعيف، يجادل المؤلف بأن هذه الافتراضات قد تكون غير واقعية من الناحية الفيزيائية. تكمن المشكلة الجوهرية في ما إذا كان الضجيج في الأنظمة الكمومية الفيزيائية يحتوي بطبيعته على سمات هيكلية — وتحديداً الأخطاء المترابطة — التي تمنع الكبح الأسي للأخطاء المطلوب لتحقيق التسامح مع الخطأ. تعيد الورقة مراجعة فرضية اقترحها عام 2006 لتحديد عائق هيكلي محدد: الحتمية بوجود ضجيج كامل لإزالة الاستقطاب المشترك في الحالات المتشابكة الفيزيائية.
2. المنهجية والصياغة تستخدم الورقة نهجاً هيكلياً لنمذجة الضجيج، حيث تميز بين الاشتقاقات الميكانيكية (مصادر فيزيائية محددة مثل الفوتونات الحرارية) والقيود الهيكلية على قناة الضجيج الفعالة.
الفرضية (FDNC): الفرضية المركزية هي أنه لأي تنفيذ فيزيائي للحاسوب الكمومي، كلما تشابكت كيوبتان فيزيائيتان (أو امتلكتا تشابكاً قابلاً للاستخراج محلياً)، فإن قناة الضجيج الفعالة التي تؤثر عليهما تحتوي على مكون مشترك من إزالة الاستقطاب الكاملة.
التعريف الرسمي: لتكن E هي قناة الضجيء الفعالة على نظام يحتوي على كيوبتين A و B. لتكن DAB هي قناة إزالة الاستقطاب الكامل المشتركة (التي تستبدل حالة A و B بالحالة المختلطة القصوى IAB/4). تفترض الفرضية أن "وزن إزالة الاستقطاب" wAB(E)، المعرف كأقصى قيمة لـ λ بحيث E=λDAB+(−λ)F لبعض الخرائط من نوع CPTP، يحقق: wAB(E)≥c⋅E(ψ) حيث E(ψ) هي إنتروبيا التشابك للحالة ∣ψ⟩، و c>0 هو ثابت يعتمد على التنفيذ الفيزيائي.
حالة حالة بيل (Bell State): بالنسبة لحالات بيل المتشابكة قصوى، تؤكد الفرضية أن وزن مكون إزالة الاستقطاب الكامل المشترك يكون مقارباً لمعدل هذا الضجيج في بوابات التشابك ثنائية الكيوبت الأساسية.
التشابك غير المباشر: جانب حاسم في المنهجية هو الادعاء بأن هذا المكون من الضجيج لا يمكن "تطهيره" أو كبحه تربيعياً (على سبيل المثال، من t إلى t2) عندما يتم توليد التشابك بشكل غير مباشر عبر كيوبتات وسيطة، أو قياسات، أو هويات الدوائر. تسمح نماذج الضجيج العشوائية القياسية بهذا الكبح، بينما تؤكد فرضية FDNC أن الطبيعة لا تفعل ذلك.
التوسيع ليشمل التشابك القابل للاستخراج محلياً: تم تعميم الفرضية على أزواج الكيوبتات ذات التشابك القابل للاستخراج محلياً (بالمعنى الذي وضعه Verstraete–Popp–Cirac)، مؤكدة أن هيكل الضجيج يستمر حتى عندما يتم استخراج التشابك من حالات أكبر متعددة الكيوبتات عبر قياسات محلية.
3. المساهمات الرئيسية والنتائج النظرية
تزامن الخطأ: توضح الورقة أن وجود أخطاء إزالة الاستقطاب الكامل المترابطة ثنائية الكيوبت يؤدي إلى تزامن الخطأ. باستخدام نموذج احتمالي (المبرهنة 4.1)، يوضح المؤلف أنه حتى لو كانت احتمالات الخطأ الفردية صغيرة، فإن الارتباطات الثنائية القوية يمكن أن تفرض احتمالاً غير مهمل للأخطاء المتزامنة ذات المقياس الخطي (حدث ذيل حيث يتم إزالة استقطاب O(n) من الكيوبتات).
التمييز في مقاييس الخطأ: يسلط التحليل الضوء على التباين بين معدلات الخطأ المقاسة بواسطة مسافة التتبع (trace distance) ومعدلات الخطأ المقاسة بعدد أخطاء الكيوبت. يمكن لخطأ صغير في مسافة التتبع (القدرة على التمييز عن الحالة المثالية) أن يقابل عدداً كبيراً من أخطاء الكيوبت الفيزيائية إذا كان الخطأ متزامناً وينتشر عبر الحوسبة. يشير هذا إلى أن مقاييس التسامح مع الخطأ القياسية القائمة على مسافة التتبع قد تقلل من تقدير عبء الضجيج المترابط.
حساسية الضجيج والتعقيد الحسابي: تضع الورقة فرضية FDNC ضمن إطار شكوك أوسع يتعلق بـ حساسية الضجيج. وبالاستناد إلى أعمال غاي كيندلر، يجادل المؤلف بأن الضجيج عند مستوى ثابت يدمر البنية عالية الدرجة لتوزيعات أخذ العينات المثالية (مثل تصوير بوزون أو أخذ عينات الدائرة العشوائية). وبالتالي، فإن الأجهزة الكمومية ذات الحجم المتوسط والمشوبة بالضجيج (NISQ) قد تنتج توزيعات يمكن تقريبها بعمليات كلاسيكية منخفضة التعقيد، مما يجعل ادعاءات "التفوق الكمومي" غير قابلة للتحقيق بدون التسامح مع الخطأ.
التحليل الإحصائي للتجارب: تقدم الورقة إطاراً إحصائياً لفحص الادعاءات التجريبية حول التفوق الكمومي (تحديداً تجربة جوجل لعام 2019). وهي تنتقد الاعتماد على "قياس التقاطع الخطي للإنتروبيا" (XEB) كمقياس وحيد، بحجة أنه يوفر معلومات محدودة عن البنية الداخلية للأخطاء. يثير المؤلف مفهوم "التداخل الحوسبي الكلاسيكي"، حيث قد يؤدي المعالجة الكلاسيكية في المعايرة أو اختيار البيانات إلى تضخيم قيم الدقة (fidelity) المبلغ عنها بشكل مصطنع.
4. الاختبارات التجريبية المقترحة تحدد الورقة مسارات تجريبية قابلة للتنفيذ لاختبار FDNC، مشيرة إلى أن أجهزة NISQ الحالية (10-50 كيوبت) تقع ضمن نطاق هذه الاختبارات:
المقارنة المباشرة مقابل غير المباشرة: مقارنة قناة الضجيج الفعالة لزوج بيل تم إنشاؤه مباشرة عبر بوابة ثنائية الكيوبت مقابل زوج تم إنشاؤه بشكل غير مباشر (على سبيل المثال، عبر حالة GHZ وقياس). تتنبأ FDNC بأن وزن إزالة الاستقطاب المشترك يجب أن يظل خطياً (O(t)) في الحالة غير المباشرة، بينما تتنبأ النماذج القياسية بكبح تربيعي (O(t2)).
توموجرافيا العملية (Process Tomography): بدلاً من توموجرافيا الحالة لزوج بيل واحد (التي لا يمكنها التمييز بين إزالة الاستقطاب أحادي الكيوبت وإزالة الاستقطاب المشترك)، تقترح الورقة استخدام مجموعة شاملة من المدخلات الناتجة لإعادة بناء القناة الكاملة وعزل مكون إزالة الاستقطاب المشترك.
تحليل المتلازمة (Syndrome Analysis): تحليل بيانات المتلازمة من أكواد تصحيح الخطأ الكمومي للبحث عن "الذيول الثقيلة" في توزيع الفحوصات المتأثرة، مما يشير إلى تزامن الخطأ.
هيكل الارتباط: فحص بيانات أخذ عينات الدائرة العشوائية بحثاً عن ارتباطات بين أخطاء الكيوبت تتجاوز توقعات p2 لنماذج الضجيج المستقلة.
5. الأهمية والادعاءات تدعي الورقة أن FDNC تعمل بمثابة "اختبار جهد هيكلي" للحوسبة الكمومية. تكمن أهميتها في:
تحدي مبرهنة العتبة: إذا كانت صحيحة، فإن FDNC تعني أن افتراضات الارتباط الضعيف لمبرهنة العتبة غير قابلة للتحقيق فيزيائياً، مما قد يجعل الحوسبة الكمومية القابلة للتوسع مستحيلة بغض النظر عن التحسينات الهندسية.
المبادئ التشغيلية: يقترح المؤلف أنه في عالم بلا FTQC، قد تكتسب المبادئ الكمومية القياسية (مثل مبدأ عدم اليقين بين الزمن والطاقة أو مبرهنة عدم النسخ) معاني تشغيلية أقوى. على سبيل المثال، قد تكون الحالات الكمومية المعقدة غير قابلة لإعادة الإنتاج عملياً حتى لو كانت أوصافها المثالية معروفة.
الدقة العلمية: تدعو الورقة إلى تحول من "التحقق" (الاتساق مع نموذج ما) إلى "الصلاحية" (دقة النموذج نفسه) في الحوسبة الكمومية التجريبية، وتحث على الشفافية، والوصول إلى البيانات الخام، والتدقيق الإحصائي للكشف عن النتائج غير المعقولة أو الادعاءات التي تبدو "أفضل من أن تكون حقيقية".
يحافظ المؤلف على موقف متواضع، مقراً بأن الفرضية تظل مفتوحة، وأن الإجابة تكمن في التدقيق التجريبي الدقيق. لا تدعي الورقة إثبات استحالة الحواسيب الكمومية عبر مبرهنة رياضية، بل تطرح عائقاً فيزيائياً قابلاً للاختبار، والذي إذا تأكد، سيغير مسار المجال بشكل جذري.