Iterated Graph Systems (II): Bernoulli percolation and critical-exponent universality classes on hierarchical lattices

ملخص تقني: أنظمة الرسوم البيانية المتكررة (II): بيرنولي للارتباط (Percolation) وفئات الشمولية لأسات التعقيد الحرجة على الشبكات الهرمية

بيان المشكلة
تبحث هذه الورقة في عملية "بيرنولي للارتباط" (Bernoulli percolation) على الشبكات الهرمية، وتتناول تحديداً ما إذا كانت البيانات الهندسية والبعدية وحدها كافية لتحديد فئة الشمولية (universality class) لأسات التعقيد الحرجة. بينما تعتمد الفيزياء الإحصائية على الشبكات الإقليدية غالباً على الأبعاد، أشار العمل السابق لكل من هاوزر وساسينا (1986) وهالبرستام وهاتشورافت إلى أنه في الشبكات الهرمية، يعتمد أس الارتباط $\nu_p$ وأس فيشر $\tau$ بقوة على طوبولوجيا الشبكة، حتى عندما تكون الأبعاد الجوهرية والاتصالات متطابقة. وهذا يثير مشكلة جوهرية: هل يمكن لعائلة محدودة من "الأبعاد الضرب-الاستبدالية" (مثل البعد الهوسدورفي) أن تصنف بشكل كامل فئات الشمولية لأسات التعقيد الحرجة لهذه الأنظمة؟ وعلاوة على على ذلك، هل يعني وجود أسات تعقيد متطابقة أن مقاييس إعادة التطبيع المنفصلة (discrete renormalisation scales) مرتبطة ببعضها (أي أنها متوافقة/commensurate عبر قوى صحيحة)؟

المنهجية
تقوم الورقة بصياغة دراسة هذه الأنظمة باستخدام أنظمة الرسوم البيانية المتكررة للحواف (EIGS).

1. الإطار: يعرف المؤلف "نظام EIGS هرمي كلاسيكي للحواف" باعتباره نظاماً حتمياً ناتجاً عن حافة واحدة عبر رسم بياني لقاعدة $R$ (rule graph) نهائي، متماثل طرفياً، بسيط، ومتصل، ومحدود. هذا الإطار يعمم "شبكة الماس الهرمية" (DHL).
2. تمثيل EIGS العشوائي: بناءً على عمل هامبلي وكومغاي (2010) وتوسيعاً للنتائج الأخيرة لألفيس وآخرين، يثبت المؤلف أن ارتباط بيرنولي للحواف الحرج، بشرط الاتصال الطرفي، يستحث نظام EIGS عشوائياً. يسمح هذا التمثيل بتحليل الكتلة الحرجة كفركتل (fractal) عشوائي موجه بالرسم البياني.
3. التحليل الطيفي: الأداة التحليلية الأساسية هي مصفوفة الكتلة $M_C(p)$، وهي مصفوفة $3 \times 3$ تصف العدد المتوقع للحواف "الحية" من حالات مختلفة (متصلة، غير متصلة ولكن نشطة، ونشطة عند طرف واحد) تحت قوانين الارتباط الشرطي. يحلل المؤلف الخصائص الطيفية لهذه المصفوفة عند الاحتمال الحرج $p_c$.
4. تعريف الأس: تركز الدراسة على ثمانية أسات تعقيد حرجة ($\beta, \nu, \delta, \eta_{av}, \gamma, \Delta, \alpha, \rho$). يثبت المؤلف أن أربعة منها ($\beta, \nu, \delta, \eta_{av}$) موجودة لكل قاعدة كلاسيكية وتحدد فئة الشمولية لأس التعقيد بناءً على توافق هذه القيم الأربع.
5. الأدوات نظرية الأعداد: لمعالجة توافق المقاييس، تستخدم الورقة مبرهنة الأسس الستة من نظرية الأعداد المتعالية، والتي تربط الطبيعة الجبرية لمضاعفات النمو بعقلانية نسب المقاييس.

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

• توصيف فئات الشمولية:
  تثبت الورقة أن نظامي EIGS كلاسيكيين ينتميان إلى نفس فئة الشمولية لأس التعقيد إذا وفقط إذا اتفقت ثلاثة أبعاد محددة:

  1. البعد المحيط ($\dim_H(\Xi)$): البعد الهوسدورفي للشبكة نفسها.
  2. بعد الكتلة ($\dim_M(C)$): مشتق من نصف قطر الطيف $\rho(M_C)$ لمصفوفة الكتلة الحرجة.
  3. البعد المحوري ($\dim_P(C)$): مشتق من مشتق دالة الموثوقية $\phi'_R(p_c)$.

  يقدم المؤلف صيغاً صريحة تربط الأسات الأربعة بهذه الأبعاد:

  • $\nu = 1 / \dim_P(C)$
  • $\beta = (\dim_H(\Xi) - \dim_M(C)) / \dim_P(C)$
  • $\delta = \dim_M(C) / (\dim_H(\Xi) - \dim_M(C))$
  • $\eta_{av} = 2 + \dim_H(\Xi) - 2\dim_M(C)$

• فشل التصنيف القائم على البعد:
  يثبت المؤلف أنه لا توجد عائلة محدودة من الأبعاد الضرب-الاستبدالية يمكنها تحديد فئة الشمولية. حيث يوضح أن بعد الكتلة الحرج $\dim_M(C)$ يحتفظ بمعلومات حول ترتيب الاستبدالات (البنية غير التبادلية) التي لا تستطيع الأبعاد الضرب-الاستبدالية (التي تعتمد فقط على مجموعة القواعد وليس تسلسلها) اكتشافها.

  • مثال: تبني المؤلف شبكتين متمايزتين، "Tie" و"Gem"، تمتلكان دوال موثوقية مختلفة، واحتمالات حرجة ($p_c$) مختلفة، ومصفوفات كتلة مختلفة، ومع ذلك تتشاركان في قيم متطابقة لكل من $\dim_H(\Xi)$ و $\dim_M(C)$ و $\dim_P(C)$. وعلى العكس من ذلك، فإن إعادة ترتيب الاستبدالات يمكن أن تغير $\dim_M(C)$ مع الحفاظ على الأبعاد الضرب-الاستبدالية، مما يثبت عدم كفاية الأبعاد الضرب-الاستبدالية للتصنيف.

• دحض توافق مقاييس التدرج:
  تعالج الورقة التخمين القائل بأن أسات التعقيد المتطابقة تتطلب مقاييس تدرج منفصلة متوافقة (أي أن $\log \ell_1 / \log \ell_2 \in \mathbb{Q}$).

  • باستخدام مبرهنة الأسس الستة، يظهر المؤلف أنه إذا استوفيت شروط عدم قابلية الاختزال المعينة، فإن المقاييس داخل فئة الشمولية يجب أن تكون متوافقة.
  • ومع ذلك، يبني المؤلف مثالاً مضاداً (المبرهنة 5.6) يوضح أن فئة شمولية واحدة يمكن أن تحتوي على عدد لا نهائي من الشبكات ذات مقاييس غير متوافقة ثنائياً. على وجه التحديد، يبني عائلة من الشبكات ذات المقياس $(19 \cdot 661^k)^{100}$ تشترك في نفس الأبعاد الحرجة، ومع ذلك لا يوجد أي تجميع نهائي لخطوات الاستبدال يجعل مقاييسها متوافقة. هذا النتيجة تدحض ضرورة وجود مقياس تدرج خشن منفصل مشترك للشمولية.

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