Classification of bipartite observables III: simplicity, mixtures and quantum error correction

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

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

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

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

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

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

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