Indeks Harary’ego grafu zerodzielników macierzy trójkątnych górnych

Dlaczego odległość w abstrakcyjnych sieciach ma znaczenie

Na pierwszy rzut oka artykuł o „grafach zerodzielników macierzy trójkątnych górnych” wydaje się odległy od codzienności. Tymczasem idee za nim stojące są takie same, które pomagają inżynierom projektować odporne sieci komunikacyjne i chemikom przewidywać zachowanie cząsteczek. Badanie to pokazuje, jak przypisać jedną liczbę — indeks Harary’ego — specjalnemu rodzajowi sieci zbudowanej z macierzy i wykazuje, że liczba ta oddaje, jak ciasno powiązana jest sieć. Precyzyjne matematyczne rozumienie takiej łączności leży u podstaw współczesnej kryptografii, systemów tolerujących błędy, a także niektórych modeli złożonych struktur chemicznych.

Od reguł algebraicznych do obrazów powiązań

Wiele obiektów algebraicznych, takich jak pierścienie liczb czy macierze, można zwizualizować jako sieci. W grafie zerodzielników każdy węzeł reprezentuje element, który może przekształcić inny niezerowy element w zero przez mnożenie. Dwa elementy łączy krawędź zawsze wtedy, gdy ich iloczyn jest zerowy. W artykule skupiono się na macierzach trójkątnych górnych — czyli takich, w których wszystko poniżej głównej przekątnej jest zerem — o współczynnikach z prostego układu dwusymbolowego Z₂ (z wartościami 0 i 1). Nawet w tym odchudzonym środowisku powstaje zaskakująco bogata sieć zależności między macierzami.

Mierzenie bliskości indeksem Harary’ego

Aby porównywać różne sieci, matematycy używają podsumowań liczbowych zwanych indeksami topologicznymi. Indeks Harary’ego jest jednym z nich: otrzymuje się go, rozważając każdą parę węzłów w spójnym grafie, mierząc, ile kroków je dzieli, i sumując odwrotności tych odległości. Pary połączone bezpośrednio przyczyniają się bardziej do sumy niż pary daleko od siebie lub w ogóle niepołączone. W chemii liczba ta była wykorzystywana do łączenia struktury molekuł z właściwościami, takimi jak temperatura wrzenia. Tutaj autorzy przenoszą tę ideę do czysto algebraicznego kontekstu, stosując indeks Harary’ego do grafów zerodzielników zbudowanych z macierzy trójkątnych górnych.

Budowanie sieci z prostych macierzy

Autorzy najpierw badają wszystkie macierze trójkątne górne 2×2 i 3×3 nad Z₂. Dla macierzy 2×2 możliwości jest osiem, z których siedem jest niezerowych i bierze udział w relacjach zerodzielnikowych. Te relacje tworzą mały graf zerodzielników już badany we wcześniejszych pracach. Dla macierzy 3×3 trójkątnych górnych możliwości jest 64; odrzucając macierz zerową pozostaje 63 kandydatów. Każdą taką macierz można traktować jako węzeł w sieci, a krawędzie rysuje się zgodnie z tym, jak zachowują się ich iloczyny. Ponieważ mnożenie macierzy nie musi być przemienne — tzn. AB może być zerem nawet gdy BA nie jest — autorzy rozróżniają wersje skierowane i nieskierowane powstałych grafów.

Łączność skierowana kontra nieskierowana

W skierowanym grafie zerodzielników strzałka prowadzi od jednej macierzy do drugiej, gdy ich iloczyn w tej kolejności jest zerowy. Ta kierunkowość czyni sieć bardziej złożoną, odzwierciedlając nieprzemienny charakter mnożenia macierzy. Autorzy obliczają indeks Harary’ego dla małego grafu skierowanego z macierzy 2×2 wprost, otrzymując wartość 7/2. Dla znacznie większego przypadku 3×3 wypisanie wszystkich odległości byłoby niepraktyczne, więc zorganizowali odległości w szczegółowe tabele, a następnie wyrazili indeks Harary’ego w zwartej kombinatorycznej formule z współczynnikami dwumianowymi. Pokazują też, że przechodząc do większych macierzy lub pierścieni z większą liczbą elementów, indeks Harary’ego musi przekroczyć pewną dolną granicę, co oddaje fakt, że ogólna łączność nie może spaść poniżej określonego poziomu.

Kiedy mnożenie staje się obustronne

Autorzy wydzielają również te macierze 3×3, które wchodzą w relacje w sposób w pełni symetryczny: jeśli macierz P_i pomnożona przez P_j daje zero, to także P_j pomnożona przez P_i daje zero. Ograniczenie uwagi do tych przemiennych zerodzielników daje nieskierowany graf zerodzielników. Dla tego grafu, w którym krawędzie nie niosą kierunku, zespół ponownie oblicza indeks Harary’ego. Wyprowadzają drugą elegancką formułę, odzwierciedlającą krótsze i bardziej symetryczne ścieżki, które pojawiają się, gdy każda relacja zerowego iloczynu zachodzi w obie strony. Dowiedziono także podobnej dolnej granicy, ilustrującej zachowanie indeksu wraz ze wzrostem rozmiaru lub złożoności sieci.

Co to mówi o strukturze

Dla osoby niespecjalizującej się kluczowy wniosek jest taki, że pojedyncza miara liczbowa — indeks Harary’ego — potrafi zakodować subtelne informacje o tym, jak elementy w systemie algebraicznym są powiązane. W przypadku macierzy trójkątnych górnych nad Z₂ grafy zerodzielników skierowane i nieskierowane mają różne indeksy Harary’ego, co odzwierciedla różnicę między interakcjami jednokierunkowymi i obustronnymi. Ponieważ takie indeksy są już użyteczne przy ocenie odporności w sieciach kryptograficznych i przy korelowaniu struktury molekuł z właściwościami fizycznymi, wyniki te torują drogę do analizowania bardziej skomplikowanych pierścieni macierzy i powiązanych grafów. Przyszłe prace, jak sugerują autorzy, mogą rozszerzyć to ramy na większe macierze, inne układy liczbowej i komplementarne konstrukcje zwane grafami współzerodzielników, pogłębiając most między abstrakcyjną algebrą a praktycznym projektowaniem sieci.

Cytowanie: 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

Słowa kluczowe: graf zerodzielników, indeks Harary’ego, macierze trójkątne górne, inwarianty grafowe, sieci algebraiczne