Indice de Harary du graphe des diviseurs de zéro des matrices triangulaires supérieures

Pourquoi la distance dans les réseaux abstraits compte

À première vue, un article sur les « graphes des diviseurs de zéro de matrices triangulaires supérieures » semble éloigné de la vie courante. Pourtant, les idées qui le sous-tendent sont les mêmes qui aident les ingénieurs à concevoir des réseaux de communication résilients et les chimistes à prévoir le comportement des molécules. Cette étude examine comment attribuer un nombre unique — l’indice de Harary — à un type particulier de réseau construit à partir de matrices, et montre comment ce nombre reflète la densité de connexions du réseau. Comprendre cette connectivité de manière rigoureuse et mathématique soutient la cryptographie moderne, les systèmes tolérants aux erreurs et même certains modèles de structures chimiques complexes.

Des règles algébriques à des images de connexions

De nombreux objets algébriques, comme des anneaux de nombres ou des matrices, peuvent être visualisés sous forme de réseaux. Dans un graphe des diviseurs de zéro, chaque nœud représente un élément qui peut annuler un autre élément non nul lorsqu’on le multiplie par lui. Deux éléments sont reliés chaque fois que leur produit est nul. Cet article se concentre sur des matrices triangulaires supérieures — c’est‑à‑dire dont tout ce qui est sous la diagonale principale est nul — et dont les coefficients appartiennent au système simple à deux symboles Z₂ (valeurs 0 et 1). Même dans ce cadre épuré, on obtient un réseau d’interactions entre matrices d’une richesse surprenante.

Mesurer la proximité avec l’indice de Harary

Pour comparer différents réseaux, les mathématiciens utilisent des quantités numériques appelées indices topologiques. L’indice de Harary est l’un d’eux : il se calcule en examinant chaque paire de nœuds dans un graphe connexe, en mesurant le nombre d’étapes qui les séparent, puis en additionnant les inverses de ces distances. Les paires directement reliées contribuent davantage au total que les paires éloignées ou non reliées. En chimie, ce nombre a été utilisé pour relier la structure moléculaire à des propriétés comme le point d’ébullition. Ici, les auteurs transposent la même idée dans un cadre purement algébrique, en appliquant l’indice de Harary aux graphes des diviseurs de zéro construits à partir de matrices triangulaires supérieures.

Construire des réseaux à partir de matrices simples

Les auteurs examinent d’abord toutes les matrices triangulaires supérieures 2×2 et 3×3 sur Z₂. Pour les matrices 2×2, il y a huit possibilités, dont sept sont non nulles et participent à des relations de diviseur de zéro. Ces relations forment un petit graphe des diviseurs de zéro déjà étudié dans des travaux antérieurs. Pour les matrices triangulaires supérieures 3×3, il y a 64 possibilités ; en écartant la matrice nulle on obtient 63 candidats. Chacune de ces matrices peut être vue comme un nœud d’un réseau, et des arêtes sont tracées selon le comportement de leurs produits. Comme la multiplication de matrices n’est pas nécessairement commutative — c’est‑à‑dire que AB peut être nul alors que BA ne l’est pas — les auteurs distinguent des versions orientées et non orientées des graphes obtenus.

Connectivité dirigée versus non dirigée

Dans le graphe orienté des diviseurs de zéro, une flèche va d’une matrice vers une autre lorsque leur produit dans cet ordre est nul. Cette directionnalité rend le réseau plus complexe, reflétant la nature non commutative de la multiplication matricielle. Les auteurs calculent explicitement l’indice de Harary pour un petit graphe orienté issu des matrices 2×2, obtenant une valeur de 7/2. Pour le cas beaucoup plus vaste des 3×3, l’énumération de toutes les distances par paires serait peu maniable, ils organisent donc les distances en tableaux détaillés puis expriment l’indice de Harary sous une formule combinatoire compacte faisant intervenir des coefficients binomiaux. Ils montrent également que, lorsqu’on passe à des matrices plus grandes ou à des anneaux avec plus d’éléments, l’indice de Harary doit dépasser une certaine borne inférieure, ce qui traduit le fait que la connectivité globale ne peut pas descendre en dessous d’un niveau donné.

Quand la multiplication devient bilatérale

Les auteurs isolent aussi ces matrices 3×3 qui interagissent de manière totalement symétrique : si la matrice P_i multipliée par P_j est nulle, alors P_j multipliée par P_i est aussi nulle. Restreindre l’attention à ces diviseurs de zéro commutatifs produit un graphe des diviseurs de zéro non orienté. Pour ce graphe, où les arêtes n’ont pas de sens, l’équipe calcule de nouveau l’indice de Harary. Ils obtiennent une seconde formule élégante, reflétant cette fois les chemins plus courts et plus symétriques qui apparaissent lorsque chaque relation de produit nul est bilatérale. Une borne inférieure similaire est démontrée, illustrant le comportement de l’indice lorsque le réseau grandit en taille ou en complexité.

Ce que cela révèle sur la structure

Pour le non‑spécialiste, le message clé est qu’une seule mesure numérique — l’indice de Harary — peut encoder des informations subtiles sur la façon dont les éléments d’un système algébrique sont reliés. Dans le cas des matrices triangulaires supérieures sur Z₂, les graphes des diviseurs de zéro orientés et non orientés présentent des indices de Harary différents, reflétant la différence entre interactions unidirectionnelles et bidirectionnelles. Étant donné que de tels indices sont déjà utiles pour évaluer la robustesse des réseaux cryptographiques et pour corréler la structure moléculaire avec des propriétés physiques, ces résultats ouvrent la voie à l’analyse d’anneaux de matrices plus compliqués et de graphes connexes. Les travaux futurs, suggèrent les auteurs, pourraient étendre ce cadre à des matrices de plus grande taille, à d’autres systèmes de nombres et à des constructions complémentaires appelées graphes des co‑diviseurs de zéro, renforçant le pont entre algèbre abstraite et conception pratique de réseaux.

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

Mots-clés: graphe des diviseurs de zéro, indice de Harary, matrices triangulaires supérieures, invariants de graphe, réseaux algébriques