The Locality Gap: A Thermodynamic Law for Objective Facts

ملخص تقني: فجوة الموضعية والحقيقية الديناميكية الحرارية

بيان المشكلة
في إطار داروينية الكم (Quantum Darwinism)، تُعرَّف الحقائق الموضوعية بأنها قيم لنظام يتم نقشها بشكل متكرر في العديد من الأجزاء المستقلة التي يمكن الوصول إليها من البيئة. وبينما يفسر التكرار كيف يصل المراقبون إلى إجماع دون وصول مباشر إلى النظام، إلا أن هذا التكرار لا يزيد من معلومات شانون (Shannon information) للحدث الأساسي؛ إذ إن وجود $R$ من النسخ من بت (bit) لا يزال يحتوي على بت واحد فقط من عدم اليقين المنطقي. وبناءً على ذلك، ظل المعنى الديناميكي الحراري لهذا التكرار غير واضح. تعالج هذه الورقة السؤال التالي: ما هو المورد الفيزيائي الذي يتراكم عندما يكتسب حدث ما سحابة ضخمة من السجلات، وهل هناك بصمة ديناميكية حرارية عالمية تميز سجلات البث الموضوعية عن التخزين الفريد أو مشاركة الأسرار؟

المنهجية
يقترح المؤلف إطاراً ديناميكياً حرارياً مقارناً يعتمد على المحو المتساوي الحرارة العكسي (محو لانداور - Landauer erasure) تحت تحكم مقيد. تتضمن المنهجية ما يلي:

1. تعريف البنى الهيكلية: إنشاء سحابة سجل $F$ لحدث $X$ وتقسيم $\mathcal{P}$ لهذه السحابة إلى كتل لا يمكن التحكم فيها بشكل مشترك.
2. بروتوكول الأعمال الأربعة: مقارنة الحد الأدنى من العمل المطلوب لإعادة ضبط سحابة السجل تحت أربعة ظروف متميزة:
   • إعادة ضبط عالمية بدون معلومات المصدر ($W^\emptyset_{glob}$).
   • إعادة ضبط محلية للتقسيم بدون معلومات المصدر ($W^\emptyset_{\mathcal{P}}$).
   • إعادة ضبط عالمية مع توفير الحدث $X$ كمعلومات جانبية كلاسيكية حفازة ($W^X_{glob}$).
   • إعادة ضبط محلية للتقسيم مع توفير الحدث $X$ كمعلومات جانبية كلاسيكية حفازة ($W^X_{\mathcal{P}}$).
3. الفرق المزدوج: حساب "فجوة الموضعية" ($G^\emptyset_{\mathcal{P}}$) باعتبارها فرق العمل بين المحو المحلي والعالمي بدون معلومات جانبية. ثم حساب فجوة "قانون المصدر" ($G^X_{\mathcal{P}}$) مع المعلومات الجانبية. الكمية الجوهرية، شحنة الحقيقية الديناميكية الحرارية ($F^T_{\mathcal{P}}(X)$)، تُشتق من الفرق المزدوج: $F^T_{\mathcal{P}}(X) = G^\emptyset_{\mathcal{P}} - G^X_{\mathcal{P}}$.
4. النمذجة: يتم اختبار النظرية مقابل نماذج دقيقة قابلة للحل، بما في ذلك البث الكلاسيكي المثالي، والسجلات الثنائية المتماثلة المستقلة، ونماذج التصادم الكمومية ذات الحالة النقية، ومشاركة سر التكافؤ (parity secret sharing).

المساهمات والنتائج الرئيسية

• قانون فجوة الموضعية: تثبت الورقة أن عدم تماثل العمل بين متحكم عالمي ومتحكم محلي للتقسيم هو بالضبط الطاقة الحرة للارتباط التي لا يمكن للمتحكم المحلي الوصول إليها. وتحديداً، $G^\emptyset_{\mathcal{P}} = k_B T T_{\mathcal{P}}(F)$، حيث $T_{\mathcal{P}}(F)$ هي إجمالي ارتباط التقسيم.
• قانون فقدان المصدر للحقيقية: من خلال طرح الفجوة المدعومة بالمصدر، يعزل المؤلف الارتباطات التي تعزى تحديداً إلى الحدث $X$. الكمية الناتجة هي:
  $$F^T_{\mathcal{P}}(X) = k_B T \left[ \sum_{B \in \mathcal{P}} I(X:F_B) - I(X:F) \right]$$
  تمثل هذه الكمية درجة الحرارة مضروبة في الزيادة في إنتاج الإنتروبيا المنسوبة للحدث $X$ الناتجة عن فقدان مفتاح المصدر تحت تحكم مقيد.
• عدد السجل الديناميكي الحراري: يُعرف المؤلف إحداثياً طبيعياً $N^{\mathcal{P}}_X = 1 + F^T_{\mathcal{P}}(X) / (k_B T H(X))$، والذي يتراوح من 0 إلى $|\mathcal{P}|$.
  • البث المثالي: $N^{\mathcal{P}}_X = |\mathcal{P}|$ (أقصى شحنة موجبة). كل كتلة تحدد $X$ بشكل مستقل.
  • التخزين الفريد: $N^{\mathcal{P}}_X = 1$ (صفر شحنة). كتلة واحدة فقط تحمل $X$؛ أما الكتل الأخرى فهي غير مرتبطة به.
  • مشاركة السر المثالية: $N^{\mathcal{P}}_X = 0$ (أقصى شحنة سالبة). لا تكشف أي كتلة عن $X$، لكن اتحادها يحدده.
• حدود لانداور-داروينية (Landauer–Darwin Bounds): تشتق الورقة حدوداً دنيا لشحنة الحقيقية بناءً على عدد الأجزاء القابلة لفك التشفير بشكل مستقل. إذا سمحت $R$ من الكتل المنفصلة باستنتاج $X$ مع عجز $\delta$، فإن $F^T_{\mathcal{P}} \geq [R(1-\delta) - 1] k_B T H(X)$.
• صلابة النهايات الطرفية: الحدود "صلبة". الشحنة القريبة من سقف البث تشهد على أن كل كتلة هي سجل شبه كامل. الشحنة القريبة من أرضية مشاركة السر تشهد على أن كل كتلة هي شبه جاهلة بـ $X$.
• تصحيحات التفاعل: بالنسبة للهاملتونيان (Hamiltonians) ذات التفاعلات بين الكتل، يكتسب قانون الإنتروبيا فقط تصحيح طاقة التفاعل الدقيق المرتبط بـ $\|H_{int}\| \times 2$. توفر الورقة حداً محسناً باستخدام "بينسر" (Pinsker-refined) يتناسب مع الارتباط الملحوظ، مما يوفر معيار إيجابية أكثر حدة.

الأهمية والادعاءات
تدعي الورقة أنها توفر بصمة ديناميكية حرارية دقيقة للحقيقية الموضوعية دون تعديل ميكانيكا الكم أو افتراض الانهيار الموضوعي.

• تحديد المورد: تحدد المورد الديناميكي الحراري الناتج عن السجلات المتكررة كـ "عدم تماثل عمل" بين بنى التحكم، بدلاً من كونه متغيراً حالياً إضافياً.
  la
• الموضوعية التشغيلية: تعيد صياغة الموضوعية من كونها عبارة عن معلومات يمكن الوصول إليها إلى عدم تماثل عمل كمي تحت التحكم المحلي. تُعرَّف "الحقيقة العامة ديناميكياً" بأنها متغير كلاسيكي يمكن فك تشفيره بشكل مستقل من عدة كتل حيث يخلق فقدان المصدر فرقاً مزدوجاً موجباً للمحو المحلي-العالمي.
• الكلاسيكية: تتطلب النهاية الطرفية القصوى للحقيقية الموجبة أن تحتوي كتل السجل على حالات شرطية يمكن تمييزها تماماً، مما يعني أن المتغير المشبع يجب أن يكون كلاسيكياً (جبر مؤشر تبادلي/commuting pointer algebra). وهذا يربط الخط القاعدي التشغيلي بنظرية عدم البث (no-broadcasting theorem).
• الختم السببي: يقترح المؤلف (كفرضية، وليس كمبرهنة) أن شحنة الحقيقية يمكن أن تحدد حاجز "الختم السببي"، حيث يصبح الحد حدثاً مختوماً بالنسبة لوكيل إذا لم يتمكن أي متحكم مستقبلي مسموح له بإعادة توحيد ما يكفي من السجلات لإزالة عقوبة الموضعية الموجبة.

القيود والنطاق
يصرح المؤلف صراحةً أن النظرية لا تشتق قاعدة بورن (Born rule)، ولا تعدل معادلة شرودنجر، ولا تقدم انهياراً فيزيائياً. النتائج دقيقة ضمن الافتراضات التشغيلية المذكورة:

• محو عكسي، شبه ستاتيكي (في النظام التقاربي).
• بروتوكولات محلية صارمة للتقسيم (لا يوجد اتصال بين الكتل أو ذاكرة مشتركة).
• التعامل مع المعلومات الجانبية الكلاسيكية كعوامل حفازة.
• هاملتونيان جمعي (مع توفير حد تصحيح محدد للحالات غير الجمعية).

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