Índice de Harary do grafo de divisor de zero de matrizes triangulares superiores

Por que a distância em redes abstratas importa

À primeira vista, um artigo sobre “grafos de divisores de zero de matrizes triangulares superiores” soa distante do cotidiano. Ainda assim, as ideias por trás disso são as mesmas que ajudam engenheiros a projetar redes de comunicação resilientes e químicos a prever o comportamento de moléculas. Este estudo analisa como atribuir um único número — o índice de Harary — a um tipo especial de rede construída a partir de matrizes, e mostra como esse número captura o quão fortemente conectada a rede é. Compreender essa conectividade de forma precisa e matemática fundamenta a criptografia moderna, sistemas tolerantes a erros e até alguns modelos de estruturas químicas complexas.

De regras algébricas a representações de conexões

Muitos objetos algébricos, como anéis de números ou matrizes, podem ser visualizados como redes. Em um grafo de divisores de zero, cada nó representa um elemento que pode transformar outro elemento não nulo em zero quando multiplicado por ele. Dois elementos estão ligados sempre que seu produto é zero. Este artigo foca em matrizes que são triangulares superiores — ou seja, tudo abaixo da diagonal principal é zero — e cujos elementos pertencem ao simples sistema numérico Z₂ (com valores 0 e 1). Mesmo nesse cenário reduzido surge uma rede surpreendentemente rica de interações entre matrizes.

Medindo proximidade com o índice de Harary

Para comparar diferentes redes, matemáticos usam resumos numéricos chamados índices topológicos. O índice de Harary é um desses: obtém‑se examinando cada par de nós em um grafo conexo, medindo quantos passos os separam e somando os recíprocos dessas distâncias. Pares diretamente conectados contribuem mais para o total do que pares distantes ou desconectados. Na química, esse número tem sido usado para relacionar a estrutura molecular a propriedades como ponto de ebulição. Aqui, os autores trazem a mesma ideia para um ambiente puramente algébrico, aplicando o índice de Harary a grafos de divisores de zero construídos a partir de matrizes triangulares superiores.

Construindo redes a partir de matrizes simples

Os autores primeiro examinam todas as matrizes triangulares superiores 2×2 e 3×3 sobre Z₂. Para matrizes 2×2 há oito possibilidades, sete das quais são não nulas e participam de relações de divisor de zero. Essas relações formam um pequeno grafo de divisor de zero já estudado em trabalhos anteriores. Para matrizes triangulares superiores 3×3 há 64 possibilidades; descartando a matriz totalmente zero restam 63 candidatas. Cada uma dessas matrizes pode ser vista como um nó em uma rede, e arestas são traçadas de acordo com o comportamento de seus produtos. Como a multiplicação de matrizes pode não ser comutativa — ou seja, AB pode ser zero mesmo quando BA não é — os autores distinguem versões direcionadas e não direcionadas dos grafos resultantes.

Conectividade direcionada versus não direcionada

No grafo direcionado de divisores de zero, uma seta é desenhada de uma matriz para outra quando o produto naquela ordem é zero. Essa direcionalidade torna a rede mais intrincada, refletindo a natureza não comutativa da multiplicação de matrizes. Os autores calculam explicitamente o índice de Harary para um pequeno grafo direcionado originado de matrizes 2×2, obtendo o valor 7/2. Para o caso muito maior 3×3, listar todas as distâncias par a par seria impraticável, então organizam as distâncias em tabelas detalhadas e depois expressam o índice de Harary em uma fórmula combinatória compacta envolvendo coeficientes binomiais. Eles também mostram que, ao passar para matrizes maiores ou para anéis com mais elementos, o índice de Harary deve exceder um certo limite inferior, capturando o fato de que a conectividade geral não pode cair abaixo de um nível específico.

Quando a multiplicação vira mão dupla

Os autores também isolam aquelas matrizes 3×3 que interagem de maneira totalmente simétrica: se a matriz P_i multiplicada por P_j é zero, então P_j multiplicada por P_i também é zero. Restringir a atenção a esses divisores de zero comutativos produz um grafo de divisor de zero não direcionado. Para esse grafo, onde as arestas não têm direção, a equipe novamente calcula o índice de Harary. Eles derivam uma segunda fórmula elegante, desta vez refletindo os caminhos mais curtos e mais simétricos que surgem quando toda relação de produto zero ocorre nos dois sentidos. Um limite inferior similar é provado, ilustrando como o índice se comporta à medida que a rede cresce em tamanho ou complexidade.

O que isso nos diz sobre estrutura

Para um não especialista, a mensagem principal é que uma única medida numérica — o índice de Harary — pode codificar informações sutis sobre como elementos em um sistema algébrico estão ligados. No caso de matrizes triangulares superiores sobre Z₂, grafos de divisores de zero direcionados e não direcionados apresentam índices de Harary diferentes, espelhando a diferença entre interações unilaterais e bilaterais. Como tais índices já são úteis para avaliar robustez em redes criptográficas e para correlacionar estrutura molecular com propriedades físicas, esses resultados abrem caminho para analisar anéis de matrizes mais complicados e grafos relacionados. Trabalhos futuros, como sugerem os autores, poderiam estender esse arcabouço para matrizes maiores, outros sistemas numéricos e construções complementares chamadas grafos de co-divisores de zero, aprofundando a ponte entre álgebra abstrata e projeto prático de redes.

Citação: 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

Palavras-chave: grafo de divisor de zero, índice de Harary, matrizes triangulares superiores, invariantes de grafo, redes algébricas