Número de Esclavitud Independiente en Gráficos bajo Restricciones de Cintura

Información Básica

• ID del Artículo: 2411.01687
• Título: Independent Bondage Number in Graphs under Girth Constraints
• Autores: E.G.K.M. Gamlath, Andrew Pham, Bing Wei
• Clasificación: math.CO (Matemática Combinatoria)
• Fecha de Publicación: 15 de octubre de 2025 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2411.01687

Resumen

Dado un gráfico finito simple $G$, el número de esclavitud independiente (independent bondage number) de un gráfico $G$ es el tamaño del conjunto de aristas mínimo cuya eliminación produce un gráfico con número de dominación independiente estrictamente mayor que el de $G$. Aunque el número de esclavitud en gráficos bajo restricciones de cintura ha sido estudiado, los resultados para el número de esclavitud independiente siguen siendo escasos. Este estudio establece cotas superiores para el número de esclavitud independiente de gráficos planos bajo restricciones de cintura dadas, extendiendo los resultados de Fischermann, Rautenbach y Volkmann sobre el número de esclavitud, así como los resultados de Borodin e Ivanova sobre la estructura de gráficos planos. En particular, se identifican estructuras adicionales y se establecen cotas para el número de esclavitud independiente de gráficos planos que satisfacen $\delta(G) \geq 2$ y $g(G) \geq 5$, $\delta(G) \geq 3$ y $g(G) \geq 4$, y $\delta(G) \geq 2$ y $g(G) \geq 10$.

Antecedentes y Motivación de la Investigación

Definición del Problema e Importancia

1. Conceptos Centrales:
   • Conjunto de Dominación Independiente: Un conjunto de vértices que es simultáneamente independiente y dominante
   • Número de Dominación Independiente $\gamma_i(G)$: La cardinalidad del conjunto de dominación independiente mínimo
   • Número de Esclavitud Independiente $b_i(G)$: El tamaño mínimo del conjunto de aristas $B$ tal que $\gamma_i(G-B) > \gamma_i(G)$
2. Significado de la Investigación:
   • Mide la fragilidad de la estructura de dominación independiente de una red ante fallos de aristas
   • Posee valor de aplicación importante en el análisis de fallos de enlaces en redes interconectadas
   • Extiende el alcance de la investigación en la teoría de dominación clásica
3. Limitaciones de la Investigación Existente:
   • El número de esclavitud tradicional $b(G)$ ha sido estudiado sistemáticamente bajo restricciones de cintura
   • Los resultados relacionados con el número de esclavitud independiente $b_i(G)$ son extremadamente limitados, especialmente bajo restricciones de cintura
   • Faltan resultados de cotas superiores constantes para clases de gráficos específicas
4. Motivación de la Investigación:
   • Inspirado por los resultados de Fischermann et al. (2003) sobre restricciones de cintura en el número de esclavitud de gráficos planos
   • Exploración natural de si el número de esclavitud independiente también puede obtener cotas superiores constantes similares bajo restricciones de cintura
   • Llenar el vacío en la investigación teórica del número de esclavitud independiente

Contribuciones Principales

1. Se Establecieron Cuatro Teoremas de Cota Superior Constante Principal:
   • Cuando $\delta(G) \geq 3$ y $g(G) \geq 4$: $b_i(G) \leq 6$
   • Cuando $\delta(G) \geq 2$ y $g(G) \geq 5$: $b_i(G) \leq 5$
   • Cuando $\delta(G) \geq 2$ y $g(G) \geq 7$: $b_i(G) \leq 4$
   • Cuando $\delta(G) \geq 2$ y $g(G) \geq 10$: $b_i(G) \leq 3$
2. Se Identificaron Múltiples Configuraciones de Estructuras Gráficas Clave:
   • Para $\delta(G) \geq 2$ y $g(G) \geq 5$: Se identificaron 10 configuraciones inevitables
   • Para $\delta(G) \geq 3$ y $g(G) \geq 4$: Se identificaron 3 configuraciones clave
   • Se construyó un conjunto de esclavitud independiente correspondiente para cada configuración
3. Se Extendió el Marco Teórico Existente:
   • Se generalizaron los resultados del número de esclavitud de Fischermann et al. al número de esclavitud independiente
   • Se utilizó y desarrolló la teoría de estructura de gráficos planos de Borodin e Ivanova
4. Se Proporcionó un Método de Prueba Sistemático:
   • Se empleó el método de descarga (discharging method) para identificar estructuras inevitables
   • Se proporcionó una prueba de conjunto de esclavitud independiente constructiva para cada estructura

Explicación Detallada de Métodos

Fundamentos Teóricos

Sistema de Definiciones:

• Número de esclavitud independiente del gráfico $G$: $b_i(G) = \min\{|B| : B \subseteq E(G), \gamma_i(G-B) > \gamma_i(G)\}$
• Cintura $g(G)$: La longitud del ciclo más corto en el gráfico
• Grado mínimo $\delta(G)$: El grado mínimo de los vértices en el gráfico

Lema Clave:

Teorema 1 (Priddy, Wang, Wei): Para un gráfico no vacío G,
b_i(G) ≤ min{d(u) + d(v) - |N(u) ∩ N(v)| - 1 : uv ∈ E(G)}

Método Principal: Técnica de Descarga

Principio del Método de Descarga:

1. Asignación de Carga Inicial: Se asigna carga según tres formas naturales de la fórmula de Euler
   • Carga de vértice: $d(v) - 6$, carga de cara: $2\ell(f) - 6$ (descarga de vértice)
   • Carga de vértice: $2d(v) - 6$, carga de cara: $\ell(f) - 6$ (descarga de cara)
   • Carga de vértice: $d(v) - 4$, carga de cara: $\ell(f) - 4$ (descarga equilibrada)
2. Reglas de Redistribución de Carga: Se diseñan reglas específicas para que la carga fluya desde vértices/caras con carga positiva hacia vértices/caras con carga negativa
3. Identificación de Estructuras: Mediante el análisis de la distribución de carga final, se prueba la inevitabilidad de ciertas estructuras

Estrategia de Implementación Concreta

Para el caso $\delta(G) \geq 2$ y $g(G) \geq 5$:

Reglas de Descarga:

• (R1) Cada vértice de grado 2 toma $\frac{1}{2}$ de carga de cada vértice adyacente y de cada cara incidente
• (R2) Cada vértice de grado 3 toma $\frac{1}{3}$ de carga de cada cara incidente
• (R3) Reglas de asignación de carga para vértices específicos de grado 6
• (R4) Reglas de asignación de carga para vértices específicos de grado 5

Verificación de Hechos Clave:

• Hecho 1: Cada vértice de grado ≤4 tiene carga final cero
• Hecho 2: Exclusividad mutua de la asignación de carga de vértices de grado 5+
• Hechos 3-8: Garantía de carga no negativa para varios vértices y caras

Resultados Principales

Teorema 7: Caracterización de Estructura para $\delta(G) \geq 2$ y $g(G) \geq 5$

Cada gráfico plano $G$ que satisface las condiciones debe contener una de las siguientes configuraciones:

• (a) Arista $(2,4^-)$ o arista $(3,3^-)$
• (b) Vértice $v \in S(5^+, [d(v)-1]^+)$ cuyos vecinos restantes son vértices de grado 4 o vértices en $S(5^+,1^+)$
• (c)-(j) Ocho configuraciones complejas que involucran vértices de grado 5 con vecinos de grado 2 compartiendo una cara de 5-ciclo

Teorema 8: Cota Superior del Número de Esclavitud Independiente

Para gráficos planos $G$ con $\delta(G) \geq 2$ y $g(G) \geq 5$: $b_i(G) \leq 5$

Esquema de Prueba:

1. Se construye un conjunto de aristas $B$ de tamaño ≤5 para cada configuración
2. Se prueba que la eliminación de $B$ aumenta estrictamente el número de dominación independiente
3. Se utiliza prueba por contradicción y propiedades del conjunto de dominación independiente

Otros Resultados Principales

Teorema 10: $\delta(G) \geq 3$ y $g(G) \geq 4$ ⟹ $b_i(G) \leq 6$

Corolario 1: $\delta(G) \geq 2$ y $g(G) \geq 7$ ⟹ $b_i(G) \leq 4$ (basado en el lema de Cranston-West)

Teorema 13: $\delta(G) \geq 2$ y $g(G) \geq 10$ ⟹ $b_i(G) \leq 3$

Puntos de Innovación Técnica

Innovación Metodológica

1. Primera aplicación sistemática del método de descarga a la investigación del número de esclavitud independiente
2. Desarrollo de nuevas estrategias de asignación de carga: Diseñadas específicamente para las propiedades particulares del número de esclavitud independiente
3. Establecimiento de un marco completo de identificación de estructuras y construcción de conjuntos de esclavitud

Contribuciones Teóricas

1. Extensión de resultados clásicos: Generalización del número de esclavitud al número de esclavitud independiente
2. Llenado de vacío teórico: Proporciona los primeros resultados sistemáticos del número de esclavitud independiente bajo restricciones de cintura
3. Identificación de nuevas estructuras gráficas: Descubrimiento de configuraciones clave que afectan el número de esclavitud independiente

Técnicas de Prueba

1. Análisis de carga refinado: Mediante verificación detallada de hechos se asegura la corrección del proceso de descarga
2. Prueba constructiva: Se construye explícitamente un conjunto de esclavitud independiente para cada configuración
3. Completitud del análisis de casos: Se agotan todas las configuraciones de estructura posibles

Trabajo Relacionado

Desarrollo Histórico

1. 1979: Garey y Johnson prueban la completitud NP del problema del número de dominación
2. 1983: Bauer et al. introducen el concepto de estabilidad de línea de dominación
3. 1990: Fink et al. definen formalmente el número de esclavitud
4. 2003: Fischermann et al. establecen cotas superiores del número de esclavitud bajo restricciones de cintura

Investigación del Número de Esclavitud Independiente

1. 2018: Priddy, Wang, Wei estudian sistemáticamente por primera vez el número de esclavitud independiente
2. 2021: Pham y Wei establecen cotas superiores constantes para gráficos planos con $\delta(G) \geq 3$
3. Este artículo: Primera investigación del número de esclavitud independiente bajo restricciones de cintura

Comparación de Métodos Técnicos

• Método tradicional: Basado principalmente en análisis de restricciones de grado y estructura local
• Método de este artículo: Combina restricciones de cintura y técnica de descarga, proporcionando caracterización de estructura más refinada

Conclusiones y Discusión

Conclusiones Principales

Se establece un sistema completo de cotas superiores para el número de esclavitud independiente de gráficos planos bajo restricciones de cintura: