Harary‑index för nollfaktor‑grafen av övre triangulära matriser

Varför avstånd i abstrakta nätverk spelar roll

På ytan låter en artikel om ”nollfaktor‑grafer för övre triangulära matriser” som något långt från vardagen. Men idéerna bakom är desamma som hjälper ingenjörer att utforma robusta kommunikationsnätverk och kemister att förutsäga molekylers beteende. Denna studie undersöker hur man tilldelar ett enda tal — Harary‑indexet — till en särskild typ av nätverk byggt av matriser, och visar hur det talet fångar hur tätt sammankopplat nätverket är. Att förstå sådan kopplingsstruktur på ett precist, matematiskt sätt ligger bakom modern kryptografi, fel‑toleranta system och även vissa modeller för komplexa kemiska strukturer.

Från algebraiska regler till sambandsskisser

Många algebraiska objekt, såsom ringar av tal eller matriser, kan visualiseras som nätverk. I en nollfaktor‑graf representerar varje nod ett element som kan förvandla ett annat icke‑noll element till noll när det multipliceras med det. Två element är länkade när deras produkt är noll. Denna artikel fokuserar på matriser som är övre triangulära — det vill säga allt under huvuddiagonalen är noll — och vars inslag kommer från det enkla tvåsymbolssystemet Z₂ (med värdena 0 och 1). Även i denna reducerade miljö uppstår ett överraskande rikt nätverk av interaktioner mellan matriser.

Mäta närhet med Harary‑indexet

För att jämföra olika nätverk använder matematiker numeriska sammanfattningar kallade topologiska index. Harary‑indexet är ett av dessa: det erhålls genom att betrakta varje par noder i en sammanhängande graf, mäta hur många steg de ligger ifrån varandra och summera reciprokvärdena av dessa avstånd. Par som är direkt kopplade bidrar mer till totalen än par som ligger långt ifrån varandra eller inte är förbundna alls. Inom kemin har detta tal använts för att koppla molekylstruktur till egenskaper som kokpunkt. Här för författarna över samma idé till en rent algebraisk miljö och applicerar Harary‑indexet på nollfaktor‑grafer byggda av övre triangulära matriser.

Bygga nätverk från enkla matriser

Författarna undersöker först alla övre triangulära 2×2‑ och 3×3‑matriser över Z₂. För 2×2‑matriser finns åtta möjligheter, varav sju är icke‑noll och deltar i nollfaktorrelationer. Dessa relationer bildar en liten nollfaktor‑graf som redan studerats tidigare. För 3×3 övre triangulära matriser finns 64 möjligheter; om man bortser från den helt nollställda matrisen återstår 63 kandidater. Varje sådan matris kan ses som en nod i ett nätverk, och kanter ritas ut enligt hur deras produkter beter sig. Eftersom matris­multiplikation inte nödvändigtvis är kommutativ — det vill säga AB kan vara noll även när BA inte är det — skiljer författarna mellan riktade och oriktade versioner av de resulterande graferna.

Riktad kontra oriktad koppling

I den riktade nollfaktor‑grafen dras en pil från en matris till en annan när deras produkt i den ordningen är noll. Denna riktning gör nätverket mer intrikat och speglar den icke‑kommutativa naturen hos matris­multiplikation. Författarna beräknar Harary‑indexet för en liten riktad graf från 2×2‑matriser explicit och får värdet 7/2. För det mycket större 3×3‑fallet vore det opraktiskt att lista alla parvisa avstånd, så de organiserar avstånden i detaljerade tabeller och uttrycker sedan Harary‑indexet i en kompakt kombinatorisk formel som involverar binomialkoefficienter. De visar också att när man går till större matriser eller till ringar med fler element måste Harary‑indexet överstiga en viss nedre gräns, vilket fångar att den övergripande kopplingen inte kan falla under en viss nivå.

När multiplikation blir två‑vägs

Författarna isolerar även de 3×3‑matriser som interagerar på ett helt symmetriskt sätt: om matrisen P_i multiplicerad med P_j är noll, så är även P_j multiplicerad med P_i noll. Att begränsa sig till dessa kommutativa nollfaktorer ger en oriktad nollfaktor‑graf. För denna graf, där kanter saknar riktning, beräknar teamet återigen Harary‑indexet. De härleder en andra elegant formel, som speglar de kortare och mer symmetriska vägar som uppstår när varje nollproduktionsrelation går åt båda hållen. En liknande nedre gräns bevisas också, vilket illustrerar hur indexet beter sig när nätverket växer i storlek eller komplexitet.

Vad detta säger om struktur

För en icke‑specialist är huvudbudskapet att ett enda numeriskt mått — Harary‑indexet — kan koda subtil information om hur element i ett algebraiskt system är länkade. I fallet med övre triangulära matriser över Z₂ visar det sig att riktade och oriktade nollfaktor‑grafer har olika Harary‑index, vilket speglar skillnaden mellan envägs‑ och tvåvägsinteraktioner. Eftersom sådana index redan är användbara för att bedöma robusthet i kryptografiska nätverk och för att korrelera molekylstruktur med fysikaliska egenskaper, banar dessa resultat väg för analys av mer komplicerade matrisringar och relaterade grafer. Framtida arbete, som författarna föreslår, kan utvidga detta ramverk till större matriser, andra talsystem och kompletterande konstruktioner kallade cozero‑divisor‑grafer, vilket fördjupar bron mellan abstrakt algebra och praktisk nätverksdesign.

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

Nyckelord: nollfaktor‑graf, Harary‑index, övre triangulära matriser, grafinvarianter, algebraiska nätverk