Sharp Bounds and Extremal Fuzzy Graphs for the Fuzzy Sombor Index

Resumen Técnico: Límites Agudos y Grafos Difusos Extremales para el Índice Sombor Difuso

Enunciado del Problema
El artículo aborda la falta de una caracterización sistemática respecto al comportamiento extremal del Índice Sombor Difuso ($SO_\mu$) dentro del marco de la teoría de grafos difusos. Mientras que el índice Sombor clásico ha sido estudiado extensamente en grafos nítidos —donde los caminos típicamente minimizan y las estrellas maximizan el índice entre los árboles—, la extensión a grafos difusos introduce nuevas complejidades. En los grafos difusos, los grados de los vértices y las fortalezas de las aristas son valores continuos en $(0, 1]$, y el índice depende tanto de los valores de pertenencia de las aristas $\mu(u, v)$ como de los grados de vértice difusos $\mu_u$. El estudio busca determinar qué estructuras de grafos difusos minimizan o maximizan $SO_\mu$ (y su generalización $SO_\mu^\alpha$ para $\alpha > 1$) bajo restricciones de orden fijo ($n$) y tamaño difuso fijo ($m_\mu$). Además, el artículo tiene como objetivo establecer desigualdades agudas que relacionen $SO_\mu$ con otros índices topológicos difusos establecidos, específicamente los índices difusos de Zagreb, Randić y Nirmala.

Metodología
La investigación emplea métodos analíticos arraigados en la teoría de grafos y principios de optimización. Los autores definen el Índice Sombor Difuso como:
$$SO_\mu(\Gamma) = \sum_{uv \in E(\Gamma)} \mu(u, v) \sqrt{\mu_u^2 + \mu_v^2}$$
donde $\mu_u = \sum_{v \in V} \mu(u, v)$ es el grado difuso del vértice $u$. La metodología incluye:

1. Análisis Extremal: Investigar familias específicas de grafos difusos (caminos, estrellas, ciclos, grafos completos y grafos unicíclicos) para identificar configuraciones estructurales que produzcan valores mínimos o máximos del índice.
2. Argumentos de Convexidad e Inequalidades: Utilizar la convexidad de la función $f(\eta) = \eta \sqrt{x^2 + y^2}$ y las propiedades de las transformaciones convexas (para $\alpha > 1$) para demostrar que concentrar las pertenencias de las aristas en topologías específicas (como las estrellas) maximiza el índice, mientras que dispersarlas (como en los caminos) lo minimiza.
3. Análisis Comparativo: Derivar cotas algebraicas que relacionen $SO_\mu$ con el Primer Índice de Zagreb Difuso ($M_1$), el Índice de Randić Difuso ($R$) y el Índice de Nirmala Difuso ($N$), particularmente para grafos difusos regulares e irregulares.
4. Verificación Numérica: Proporcionar datos tabulados para valores específicos de $n$ y $m_\mu$ para ilustrar el comportamiento del índice a través de diferentes familias de grafos.

Contribuciones y Resultados Clave
El artículo establece varios resultados definitivos respecto a los límites y los grafos extremales para el Índice Sombor Difuso:

• Límites Generales:

  • Mínimo: Para grafos difusos conexos con orden fijo $n$ y tamaño difuso fijo $m_\mu$, el índice se minimiza mediante el camino difuso ($P_n^f$), donde las pertenencias de las aristas se distribuyen lo más uniformemente posible para equilibrar los grados difusos. El mínimo absoluto (cero) se logra mediante el grafo difuso vacío.
  • Máximo: El índice se maximiza mediante el grafo completo difuso uniforme ($K_n^f$), donde todas las pertenencias de las aristas son iguales. Para un $m_\mu$ fijo, el máximo se logra cuando las pertenencias se concentran en las aristas de un grafo completo.

• Árboles y Grafos Unicíclicos Extremales:

  • Entre los árboles difusos con $n$ y $m_\mu$ fijos, el camino difuso ($P_n^f$) minimiza el índice, y la estrella difusa ($S_n^f$) lo maximiza. La estrella maximiza el índice al concentrar el tamaño difuso total en un único vértice central, creando un nodo de alto grado.
  • Entre los grafos difusos unicíclicos, el índice se minimiza mediante el ciclo difuso ($C_n^f$) con pertenencias de aristas uniformes y se maximiza mediante una estructura donde el grafo subyacente es un ciclo con una estrella adjunta (concentrando grados).

• Índice Generalizado ($SO_\mu^\alpha$):

  • Para $\alpha > 1$, los grafos extremales permanecen iguales que para $\alpha = 1$. El grafo completo difuso maximiza de manera única el índice generalizado, y el camino difuso lo minimiza, debido a la naturaleza estrictamente creciente y convexa de la función potencia.

• Desigualdades con Otros Índices:

  • El artículo deriva desigualdades agudas que vinculan $SO_\mu$ con el Índice de Randić Difuso ($R$), mostrando $SO_\mu(\Gamma) \geq \sqrt{2} R(\Gamma) \cdot \delta_\mu$ (donde $\delta_\mu$ es el grado difuso mínimo).
  • Se establecen cotas que relacionan $SO_\mu$ con el Índice de Zagreb Difuso ($M_1$) y el Índice de Nirmala Difuso ($N$), demostrando que $SO_\mu$ ocupa una posición intermedia entre medidas lineales y cuadráticas de los grados de los vértices.

Significado
El artículo afirma que estos hallazgos avanzan la teoría de los índices de grafos difusos al extender los resultados extremales clásicos al dominio difuso. Los autores destacan que, si bien las estructuras topológicas subyacentes (caminos, estrellas, ciclos) que extremizan el índice en grafos nítidos siguen siendo válidas en el contexto difuso, la naturaleza continua de las pertenencias de las aristas permite una optimización más fina. Específicamente, los resultados sugieren que el Índice Sombor Difuso es un descriptor sensible para detectar la centralización estructural y la vulnerabilidad en redes difusas. La capacidad de modelar la "intensidad estructural" y la varianza de los grados convierte al índice en una herramienta valiosa para analizar redes donde están presentes la incertidumbre y las fortalezas de conexión variables. El estudio proporciona un marco fundamental para futuras investigaciones sobre índices topológicos difusos, ofreciendo cotas precisas que pueden utilizarse para la evaluación y comparación del rendimiento de redes.