Indice di Harary del grafo dei divisori dello zero delle matrici triangolari superiori

Perché la distanza nelle reti astratte conta

A prima vista, un articolo su “grafi dei divisori dello zero di matrici triangolari superiori” sembra lontano dalla vita quotidiana. Eppure le idee sottostanti sono le stesse che aiutano gli ingegneri a progettare reti di comunicazione resilienti e i chimici a prevedere il comportamento delle molecole. Questo studio esamina come assegnare un numero singolo — l’indice di Harary — a un tipo speciale di rete costruita a partire dalle matrici, e mostra come quel numero catturi quanto la rete sia strettamente connessa. Capire tale connettività in modo preciso e matematico è alla base della crittografia moderna, dei sistemi tolleranti agli errori e perfino di alcuni modelli di strutture chimiche complesse.

Dalle regole algebriche alle rappresentazioni a grafo

Molti oggetti algebrici, come anelli di numeri o matrici, possono essere visualizzati come reti. In un grafo dei divisori dello zero, ogni nodo rappresenta un elemento che può trasformare un altro elemento non nullo in zero quando lo moltiplica. Due elementi sono collegati ogni volta che il loro prodotto è zero. Questo articolo si concentra su matrici triangolari superiori — cioè con tutti gli elementi al di sotto della diagonale principale uguali a zero — i cui elementi provengono dal semplice sistema numerico a due simboli Z₂ (con valori 0 e 1). Anche in questo contesto semplificato emerge una rete sorprendentemente ricca di interazioni tra matrici.

Misurare la vicinanza con l’indice di Harary

Per confrontare reti diverse, i matematici usano sommari numerici detti indici topologici. L’indice di Harary è uno di questi: si ottiene considerando ogni coppia di nodi in un grafo connesso, misurando a quante mosse sono l’uno dall’altro e sommando i reciproci di queste distanze. Le coppie direttamente connesse contribuiscono di più al totale rispetto a coppie distanti o non connesse. In chimica, questo numero è stato usato per mettere in relazione la struttura molecolare con proprietà come il punto di ebollizione. Qui gli autori portano la stessa idea in un contesto puramente algebrico, applicando l’indice di Harary ai grafi dei divisori dello zero costruiti a partire da matrici triangolari superiori.

Costruire reti da matrici semplici

Gli autori esaminano innanzitutto tutte le matrici triangolari superiori 2×2 e 3×3 su Z₂. Per le matrici 2×2 ci sono otto possibilità, sette delle quali sono non nulle e partecipano a relazioni di divisori dello zero. Queste relazioni formano un piccolo grafo dei divisori dello zero già studiato in lavori precedenti. Per le matrici 3×3 triangolari superiori ci sono 64 possibilità; scartando la matrice nulla si ottengono 63 candidati. Ciascuna di queste matrici può essere vista come un nodo in una rete, e si tracciano gli spigoli in base al comportamento dei loro prodotti. Poiché la moltiplicazione di matrici non è necessariamente commutativa — cioè AB può essere zero anche quando BA non lo è — gli autori distinguono tra versioni orientate e non orientate dei grafi risultanti.

Connettività diretta rispetto a quella non diretta

Nel grafo dei divisori dello zero orientato, si disegna una freccia da una matrice a un’altra quando il loro prodotto in quel preciso ordine è zero. Questa direzionalità rende la rete più intricata, riflettendo la natura non commutativa della moltiplicazione di matrici. Gli autori calcolano l’indice di Harary per un piccolo grafo orientato derivato dalle matrici 2×2 in modo esplicito, ottenendo il valore 7/2. Per il caso molto più grande delle 3×3, elencare tutte le distanze a coppie sarebbe poco pratico, quindi organizzano le distanze in tabelle dettagliate e poi esprimono l’indice di Harary in una compatta formula combinatoria che coinvolge coefficienti binomiali. Mostrano anche che, passando a matrici più grandi o a anelli con più elementi, l’indice di Harary deve superare un certo limite inferiore, catturando il fatto che la connettività complessiva non può scendere al di sotto di un livello specifico.

Quando la moltiplicazione diventa bidirezionale

Gli autori isolano anche quelle matrici 3×3 che interagiscono in modo pienamente simmetrico: se la matrice P_i moltiplicata per P_j è zero, allora anche P_j moltiplicata per P_i è zero. Limitare l’attenzione a questi divisori dello zero commutativi produce un grafo dei divisori dello zero non orientato. Per questo grafo, in cui gli spigoli non hanno direzione, il gruppo calcola ancora una volta l’indice di Harary. Ricavano una seconda formula elegante, questa volta riflettendo i percorsi più corti e più simmetrici che emergono quando ogni relazione di prodotto nullo vale in entrambe le direzioni. È dimostrato un limite inferiore simile, che illustra come l’indice si comporta al crescere della dimensione o della complessità della rete.

Cosa ci dice sulla struttura

Per un non specialista, il messaggio chiave è che una singola misura numerica — l’indice di Harary — può codificare informazioni sottili su come gli elementi di un sistema algebrico sono collegati. Nel caso delle matrici triangolari superiori su Z₂, i grafi dei divisori dello zero orientati e non orientati mostrano indici di Harary diversi, rispecchiando la differenza tra interazioni unidirezionali e bidirezionali. Poiché tali indici sono già utili per valutare la robustezza nelle reti crittografiche e per correlare la struttura molecolare con proprietà fisiche, questi risultati aprono la strada all’analisi di anelli di matrici più complicati e di grafi correlati. Come suggeriscono gli autori, lavori futuri potrebbero estendere questo quadro a matrici più grandi, ad altri sistemi numerici e a costruzioni complementari chiamate grafi dei co‑divisori dello zero, approfondendo il ponte tra algebra astratta e progettazione di reti pratiche.

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

Parole chiave: grafo dei divisori dello zero, indice di Harary, matrici triangolari superiori, invarianti di grafi, reti algebriche