Índice de Harary del grafo de divisores de cero de matrices triangulares superiores

Por qué importa la distancia en redes abstractas

A primera vista, un artículo sobre “grafos de divisores de cero de matrices triangulares superiores” suena alejado de la vida cotidiana. Sin embargo, las ideas detrás del trabajo son las mismas que ayudan a los ingenieros a diseñar redes de comunicación resistentes y a los químicos a predecir el comportamiento de las moléculas. Este estudio analiza cómo asignar un número único —el índice de Harary— a un tipo especial de red construida a partir de matrices, y muestra cómo ese número captura cuán estrechamente conectada está la red. Entender esa conectividad de forma precisa y matemática sustenta la criptografía moderna, los sistemas tolerantes a errores e incluso algunos modelos de estructuras químicas complejas.

De reglas algebraicas a mapas de conexiones

Muchos objetos algebraicos, como anillos de números o matrices, pueden visualizarse como redes. En un grafo de divisores de cero, cada nodo representa un elemento que puede convertir en cero a otro elemento no nulo al multiplicarlo. Dos elementos se unen siempre que su producto sea cero. Este artículo se centra en matrices que son triangulares superiores —es decir, todo lo que está por debajo de la diagonal principal es cero— y cuyos elementos proceden del sencillo sistema numérico de dos símbolos Z₂ (con valores 0 y 1). Incluso en este entorno simplificado surge una red sorprendentemente rica de interacciones entre matrices.

Medir la cercanía con el índice de Harary

Para comparar distintas redes, los matemáticos usan resúmenes numéricos llamados índices topológicos. El índice de Harary es uno de ellos: se obtiene considerando cada par de nodos en un grafo conexo, midiendo cuántos pasos los separan y sumando los recíprocos de esas distancias. Los pares que están directamente conectados contribuyen más al total que los pares que están lejos o no conectados. En química, este número se ha usado para relacionar la estructura molecular con propiedades como el punto de ebullición. Aquí, los autores trasladan la misma idea a un entorno puramente algebraico, aplicando el índice de Harary a grafos de divisores de cero construidos a partir de matrices triangulares superiores.

Construir redes a partir de matrices sencillas

Los autores examinan primero todas las matrices triangulares superiores 2×2 y 3×3 sobre Z₂. Para matrices 2×2 hay ocho posibilidades, siete de las cuales son no nulas y participan en relaciones de divisores de cero. Esas relaciones forman un pequeño grafo de divisores de cero ya estudiado en trabajos anteriores. Para las matrices triangulares superiores 3×3 hay 64 posibilidades; descartando la matriz nula quedan 63 candidatas. Cada una de esas matrices puede considerarse un nodo en una red, y se trazan aristas según cómo se comporten sus productos. Debido a que la multiplicación de matrices puede no conmutar —es decir, AB puede ser cero aun cuando BA no lo sea—, los autores distinguen entre versiones dirigidas y no dirigidas de los grafos resultantes.

Conectividad dirigida frente a no dirigida

En el grafo de divisores de cero dirigido, se dibuja una flecha de una matriz a otra cuando su producto en ese orden es cero. Esa direccionalidad hace la red más intrincada, reflejando la naturaleza no conmutativa de la multiplicación de matrices. Los autores calculan explícitamente el índice de Harary para un pequeño grafo dirigido de matrices 2×2, obteniendo un valor de 7/2. Para el caso mucho mayor de 3×3, listar todas las distancias por pares sería poco práctico, así que organizan las distancias en tablas detalladas y luego expresan el índice de Harary en una fórmula combinatoria compacta que involucra coeficientes binomiales. También muestran que, al pasar a matrices más grandes o a anillos con más elementos, el índice de Harary debe superar una cierta cota inferior, capturando el hecho de que la conectividad global no puede caer por debajo de un nivel específico.

Cuando la multiplicación es bidireccional

Los autores también aíslan aquellas matrices 3×3 que interactúan de forma totalmente simétrica: si la matriz P_i multiplicada por P_j es cero, entonces P_j multiplicada por P_i también lo es. Restringir la atención a estos divisores de cero conmutativos produce un grafo de divisores de cero no dirigido. Para este grafo, donde las aristas no tienen dirección, el equipo calcula de nuevo el índice de Harary. Derivan una segunda fórmula elegante, esta vez reflejando los caminos más cortos y simétricos que surgen cuando toda relación de producto cero funciona en ambas direcciones. Se prueba una cota inferior análoga, que ilustra cómo se comporta el índice a medida que la red crece en tamaño o complejidad.

Qué nos dice sobre la estructura

Para un no especialista, el mensaje clave es que una única medida numérica —el índice de Harary— puede codificar información sutil sobre cómo están vinculados los elementos en un sistema algebraico. En el caso de matrices triangulares superiores sobre Z₂, los grafos de divisores de cero dirigidos y no dirigidos resultan tener índices de Harary distintos, reflejando la diferencia entre interacciones unidireccionales y bidireccionales. Dado que tales índices ya son útiles para evaluar la robustez en redes criptográficas y para correlacionar la estructura molecular con propiedades físicas, estos resultados abren el camino para analizar anillos de matrices más complicados y grafos relacionados. Como sugieren los autores, trabajos futuros podrían ampliar este marco a matrices de mayor tamaño, otros sistemas numéricos y construcciones complementarias llamadas grafos de co-divisores de cero, profundizando el puente entre el álgebra abstracta y el diseño práctico de redes.

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

Palabras clave: grafo de divisores de cero, índice de Harary, matrices triangulares superiores, invariantes de grafos, redes algebraicas