مؤشر هاراري في رسم القواسم الصفرية لمصفوفات مثلثية علوية

لماذا تهم المسافة في الشبكات المجردة

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

من قواعد جبرية إلى صور للروابط

يمكن تصوير العديد من الأجسام الجبرية، مثل الحلقات العددية أو المصفوفات، كشَبكات. في «رسم القواسم الصفرية»، تمثّل كل عقدة عنصرًا يمكنه تحويل عنصر آخر غير صفري إلى صفر عند ضربه به. تُربط عقدتان كلما كان ناتج ضربهما صفراً. يركّز هذا البحث على المصفوفات المثلثية العلوية — أي أن كل ما تحت القطر الرئيسي صفري — والتي عناصرها مأخوذة من نظام الأعداد البسيط Z₂ (بقيم 0 و1). حتى في هذا الإطار المُبسَّط تنشأ شبكة تفاعلات بين المصفوفات ذات ثراء غير متوقع.

قياس التقارب بمؤشر هاراري

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

بناء شبكات من مصفوفات بسيطة

يفحص المؤلفون أولًا كل المصفوفات المثلثية العلوية بحجم 2×2 و3×3 فوق Z₂. بالنسبة للمصفوفات 2×2 هناك ثماني احتمالات، سبعة منها غير صفرية وتشترك في علاقات قواسم صفرية. تشكل هذه العلاقات رسم قواسم صفرية صغيرًا درست أعمال سابقة بعض خصائصه. بالنسبة للمصفوفات المثلثية العلوية 3×3، هناك 64 احتمالًا؛ وباستبعاد المصفوفة الصفرية تمامًا يبقى 63 مرشحًا. يمكن اعتبار كل مصفوفة كهذه عقدة في شبكة، وتُرسَم الحواف تبعًا لكيفية تصرُّف منتجاتها. وبما أن ضرب المصفوفات قد لا يكون تبديليًا — أي أن AB قد يكون صفرًا حتى حين لا يكون BA كذلك — يميّز المؤلفون بين النسخ الموجهة وغير الموجهة من الرسوم الناتجة.

الاتصال الموجَّه مقابل الاتصال غير الموجَّه

في رسم القواسم الصفرية الموجَّه، تُرسم سهم من مصفوفة إلى أخرى متى كان ناتج ضربهما بهذا الترتيب صفرًا. تجعل هذه الاتجّاهية الشبكة أكثر تعقيدًا، وتعكس طبيعة ضرب المصفوفات غير التبديلية. يحسب المؤلفون مؤشر هاراري لرسم موجه صغير من مصفوفات 2×2 صراحة، فنالو قيمة 7/2. بالنسبة للحالة الأكبر بكثير 3×3، فإن تعداد كل المسافات الزوجية سيكون غير عملي، لذا ينظّمون المسافات في جداول مفصلة ثم يعبرون عن مؤشر هاراري في صيغة تركيبية مدمجة تتضمن معاملات ثنائية. كما يبينون أنه كلما تحوّلنا إلى مصفوفات أكبر أو إلى حلقات ذات عدد عناصر أكثر، يجب أن يتجاوز مؤشر هاراري حدًا أدنى معينًا، مما يلتقط حقيقة أن الاتصالية العامة لا يمكن أن تنخفض دون مستوى محدد.

عندما يصبح الضرب ثنائي الاتجاه

يعزل المؤلفون أيضًا تلك المصفوفات 3×3 التي تتفاعل بطريقة متماثلة تمامًا: إذا كان حاصل ضرب P_i في P_j صفراً، فحينها حاصل ضرب P_j في P_i يكون صفراً أيضًا. يؤدي تقييد الانتباه إلى هذه القواسم الصفرية المتبدلة إلى تكوين رسم قواسم صفرية غير موجَّه. لهذا الرسم، حيث الحواف لا تحمل اتجاهاً، يحسب الفريق مرة أخرى مؤشر هاراري. يستنتجون صيغة ثانية أنيقة، تعكس هذه المرة المسارات الأقصر والأكثر تماثلًا التي تنشأ عندما تكون كل علاقة ناتج صفر ثنائية الاتجاه. ويُثبت حد أدنى مشابه، موضحين كيف يتصرف المؤشر مع نمو الشبكة في الحجم أو التعقيد.

ماذا يخبرنا ذلك عن البنية

لغير المتخصص، الرسالة الأساسية هي أن مقياسًا عدديًا واحدًا — مؤشر هاراري — يمكنه ترميز معلومات دقيقة حول كيفية ارتباط عناصر نظام جبري. في حالة المصفوفات المثلثية العلوية فوق Z₂، تتبيّن أن رسوم القواسم الصفرية الموجهة وغير الموجهة لها مؤشرات هاراري مختلفة، مما يعكس الفرق بين تفاعلات اتجاه واحد وتفاعلات ثنائية الاتجاه. وبما أن هذه المؤشرات مفيدة بالفعل لتقييم المتانة في شبكات التشفير وللمقارنة بين البنية الجزيئية والخواص الفيزيائية، فإن هذه النتائج تمهّد الطريق لتحليل حلقات مصفوفات أكثر تعقيدًا ورسوم مرتبطة بها. يمكن للأبحاث المستقبلية، كما يقترح المؤلفون، توسيع هذا الإطار ليشمل مصفوفات أكبر، وأنظمة عددية أخرى وبُنى مكملة تُدعى رسوم القواسم غير الصفرية، مما يعمّق الجسر بين الجبر المجرد وتصميم الشبكات العملية.

الاستشهاد: Alshanqiti, O., Sharma, S. & Bhat, V.K. Harary index of the zero divisor graph of upper triangular matrices. Sci Rep 16, 7239 (2026). https://doi.org/10.1038/s41598-026-37880-6

الكلمات المفتاحية: رسم القواسم الصفرية, مؤشر هاراري, مصفوفات مثلثية علوية, ثوابت الرسم البياني, شبكات جبرية