Graph transformations and eigenvectors of the Laplacian, signless Laplacian and Adjacency matrices

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

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

تضمن جزء مركزي من استقصائهم فئة خاصة من الشبكات حيث يمكن أن تكون الأرقام التي تصف النقاط إما واحداً أو سالباً واحداً فقط. أطلق الفريق على هذه الشبكات اسم الشبكات "ثنائية القيم" (bivalent). وأرادوا معرفة أي أشكال من الشبكات يمكنها دعم مثل هذه المجموعة الصارمة من الأرقام. بالنسبة للأداة التي تقيس الفروق، أكدوا أن هذه الشبكات يجب أن تكون متوازنة تماماً، مثل لوحة الشطرنج حيث تتصل كل نقطة فقط بنقاط من النوع المقابل. وبالنسبة للأداة التي تقيس المجموع، وجدوا شرطاً مشابهاً ولكنه مختلف قليلاً: يجب أن تتكون الشبكة من قطع منفصلة ومتوازنة يمكن ربطها بطرق محددة. ومع ذلك، جاءت النتائج الأكثر إثارة للاهتمام من الأداة التي تحصي الاتصالات ببساطة. هنا، اكتشف الباحثون قيداً صارماً: لكي تدعم الشبكة ذات الشكل الشجري (tree-shaped)، وهو هيكل لا يحتوي على حلقات، هذه الأرقام المكونة من واحد وسالب واحد، يجب أن يكون لكل نقطة في الشبكة عدد فردي من الاتصالات.

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

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