Exact cospectrality probabilities for uniform random matrices

ملخص تقني: احتمالات التماثل الطيفي الدقيقة للمصفوفات العشوائية المنتظمة

بيان المشكلة
تتناول الورقة البحثية مشكلة التوصيف الطيفي للمصفوفات المنفصلة، وتحديداً استقصاء احتمال بقاء مصفوفة متناظمة عشوائية مدخلاتها في مجموعة منفصلة (مثل حلقة الأعداد الصحيحة $\mathcal{O}_K$ لحقل عددي جبري $K$) ضمن تلك المجموعة بعد إجراء عملية الترافق بواسطة مصفوفة متعامدة $Q$.

بينما تشير الحالة "العامة" إلى أن الرسم البياني أو المصفوفة العشوائية يتم توصيفهما بشكل فريد بواسطة طيفهما (حدسية هيمرز)، فإن وجود مصفوفات متعامدة غير بديهية $Q$ بحيث يكون $Q^\top X Q$ له نفس طيف $X$ (التماثل الطيفي) يعقد هذا الأمر. السؤال الجوهري هو: بالنظر إلى مصفوفة متعامدة ثابتة $Q$ (قد تحتوي على مدخلات جبرية) ومصفوفة متناظمة عشوائية $X$ مدخلاتها موزعة بانتظام في $\mathcal{O}_K$، ما هو الاحتمال الدقيق لأن يكون الترافق $Q^\top X Q$ ذا مدخلات في $\mathcal{O}_K$؟

لقد وضعت الأعمال السابقة، مثل عمل وانغ وتشادو [33]، حدوداً عليا تقاربية للمصفوفات المتعامدة النسبية ذات المقامات المحدودة عندما تؤول الأبعاد $n \to \infty$. تهدف هذه الورقة إلى تقديم صيغ دقيقة وغير تقاربية لهذا الاحتمال للأبعاد الثابتة ولجميع الحقول العددية الجبرية، متجاوزة بذلك النظام التقاربي.

المنهجية
يستخدم المؤلف مزيجاً من نظرية الأعداد الجبرية، ونظرية المثال في النطاقات ديديند (Dedekind domains)، وحجج الثبات الاحتمالي.

1. الإطار الجبري: تُجرى الدراسة ضمن حقل عددي جبري $K$ مع حلقة أعدائه الصحيحة $\mathcal{O}_K$. يُعرَّف "مستوى" $\ell$ للمصفوفة $Q$ بأنه أصغر عدد صحيح بحيث يكون $\ell Q \in \mathcal{O}_K^{n \times n}$. ويستخدم التحليل الصيغة الطبيعية لسميث (Smith normal form) ومثالات سميث (Smith ideals) ($\mathfrak{d}_i$) المرتبطة بالمصفوفة $\ell Q$.
2. الثبات الاحتمالي: يعتمد البرهان على ثبات الترجمة للتوزيع المنتظم فوق حلقة القسمة $\mathcal{O}_K / \ell^2 \mathcal{O}_K$. ومن خلال الاستفادة من حقيقة أن قانون المصفوفة المتناظرة العشوائية $X$ ثابت تحت الترجمة بمصفوفات متناظرة حتمية، يوضح المؤلف أن احتمال كون $Q^\top X Q$ صحيحاً يعتمد فقط على الصيغة الطبيعية لسميث للمصفوفة $\ell Q$، مما يسمح باستبدال $Q$ فعلياً بمصفوفة قطرية في حساب الاحتمال.
3. الاختزال القائم على نظرية المثال: يتم اختزال المشكلة إلى عد الحلول لمتطابقات تتضمن مثالات سميث. وتفرض تعامدية $Q$ قيوداً هيكلية محددة على هذه المثالات (تحديداً العلاقات بين $\mathfrak{d}_i$ و $\mathfrak{d}_{n-i+1}$)، مما يبسط الصيغة العامة المستمدة للمصفوفات التعسفية.

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

• صيغة الاحتمال الدقيقة (مبرهنة 1.3): النتيجة الأساسية هي صيغة دقيقة للاحتمال $\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n})$. بالنسبة لمصفوفة متناظرة عشوائية $X$ ذات مدخلات موزعة بانتظام بمقياس $\ell^2$، يُعطى الاحتمال بـ:
  $$\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n}) = \prod_{i=1}^{\lfloor n/2 \rfloor} \prod_{j=i}^{n-i} \frac{\mathrm{N}_{\mathcal{O}_K}(\mathfrak{d}_i \mathfrak{d}_j)}{\mathrm{N}_{\mathcal{O}_K}(\ell^2 \mathcal{O}_K)}$$
  حيث $\mathfrak{d}_i$ هي مثالات سميث لـ $\ell Q$ و $\mathrm{N}$ يشير إلى نورم المثال (ideal norm). تنطبق هذه الصيغة على أي حقل عددي جبري وتطبق على كل من المجموعات المتناظرة والهيرميتية.

• التماثل الطيفي النسبي في الأبعاد المنخفضة (مبرهنتان 1.6 و 1.7): تستنتج الورقة صيغاً صريحة للعدد المتوقع للمصفوفات المتعامدة النسبية ذات مقام معين $\ell$ التي تحافظ على التكامل للأبعاد $n=2$ و $n=3$:

  • البعد 2: يكون العدد المتوقع غير صفري فقط إذا كانت جميع العوامل الأولية لـ $\ell$ متطابقة مع $1 \pmod 4$. التوقع هو $\mathbb{E}[N_2(\ell)] = 2^{r+3}/\ell^2$، حيث $r$ هو عدد العوامل الأولية المتميزة.
  • البعد 3: يكون العدد المتوقع غير صفري فقط إذا كان $\ell$ عدداً فردياً. التوقع هو $\mathbb{E}[N_3(\ell)] = \frac{48}{\ell^2} \prod_{p|\ell} (1 + 1/p)$.

• عدم الرتابة (Non-Monotonicity): أحد النتائج الهامة هي أن اعتماد العدد المتوقع لعمليات الترافق الحافظة على المقام $\ell$ هو غير رتيب. فبينما يوحي عامل $1/\ell^2$ بتناقص عام، فإن التقلبات العددية في التحليل الأولي لـ $\ell$ (تحديداً عدد وحجم العوامل الأولية) تسبب زيادات موضعية في الاحتمال.

• الحدود على التماثل الطيفي النسبي (استنتاج 1.8): باستخدام التوقعات الدقيقة، يضع المؤلف حداً مفاده أنه بالنسبة لـ $n \le 3$، فإن احتمال كون مصفوفة صحيحة عشوائية متماثلة طيفياً مع مصفوفة أخرى عبر مصفوفة متعامدة نسبية (بمقام محدود ولكن كبير بشكل تعسفي) هو أقل تماماً من 1.

  • بالنسبة لـ $n=2$، الحد الأعلى يقارب $0.114$.
  • بالنسبة لـ $n=3$، الحد الأعلى يقارب $0.296$.
    يوفر هذا نسخة صارمة وغير تقاربية من حدسية هيمرز للأبعاد المنخفضة.

الأهمية والادعاءات
تدعي الورقة أنها تقدم أول صيغ دقيقة وغير تقاربية لاحتمال حفظ التكامل تحت الترافق المتعامد، وربط هذا الاحتمال مباشرة بـ مثالات سميث للمصفوفة المرافقة.

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

يربط هذا العمل بين الدراسة الاحتمالية للمصفوفات العشوائية والشروط الحتمية الكافية للتوصيف الطيفي (بالإشارة إلى أعمال كيو، وانغ، وتشانغ [23] ووانغ وي [32])، مما يشير إلى أن صيغ سميث الطبيعية تلعب دوراً جوهرياً في تحديد ما إذا كانت المصفوفة توصف بشكل فريد بواسطة طيفها. وتختتم الورقة باقتراح حدسية (الحدسية 1.9) مفادها أن هذا التباين الصارم (الاحتمال $< 1$) ينطبق على جميع الأبعاد الثابتة $n$، رغم أن إثبات ذلك للأبعاد $n$ العامة يظل مسألة مفتوحة وصعبة.