Let $G$ be an edge-colored graph on $n$ vertices. For a vertex $v$, the \emph{color degree} of $v$ in $G$, denoted by $d^c(v)$, is the number of colors appearing on the edges incident with $v$. Denote by $δ^c(G)=\min\{d^c(v):v\in V(G)\}$. By a theorem of H. Li, an $n$-vertex edge-colored graph $G$ contains a rainbow triangle if $δ^c(G)\geq \frac{n+1}{2}$. Inspired by this result, we consider two related questions concerning edge-colored books and friendship subgraphs of edge-colored graphs. Let $k\geq 2$ be a positive integer. We prove that if $δ^c(G)\geq \frac{n+k-1}{2}$ where $n\geq 3k-2$, then $G$ contains $k$ rainbow triangles sharing one common edge; and if $δ^c(G)\geq \frac{n+2k-3}{2}$ where $n\geq 2k+9$, then $G$ contains $k$ rainbow triangles sharing one common vertex. The special case $k=2$ of both results improves H. Li's theorem. The main novelty of our proof of the first result is a combination of the recent new technique for finding rainbow cycles due to Czygrinow, Molla, Nagle, and Oursler and some recent counting technique from \cite{LNSZ}. The proof of the second result is with the aid of the machine implicitly in the work of Turán numbers for matching numbers due to ErdÅs and Gallai.
- ID del Artículo: 2302.00851
- Título: Rainbow triangles sharing one common vertex or edge
- Autores: Xiaozheng Chen (Universidad de Zhengzhou), Bo Ning (Universidad de Nankai)
- Clasificación: math.CO (Matemática Combinatoria)
- Fecha de Publicación: 2 de febrero de 2023 (preimpresión en arXiv)
- Enlace del Artículo: https://arxiv.org/abs/2302.00851
Este artículo investiga el problema de existencia de triángulos arcoíris en grafos con aristas coloreadas. Para un grafo G con aristas coloreadas de n vértices, el grado cromático de un vértice v se define como dc(v), que representa la cantidad de colores distintos utilizados en las aristas adyacentes a v. El grado cromático mínimo se denota como δc(G)=min{dc(v):v∈V(G)}. El teorema de H. Li establece que cuando δc(G)≥2n+1, el grafo G contiene un triángulo arcoíris. Inspirados por esto, los autores investigan estructuras de libros (books) y grafos de amistad (friendship graphs) en grafos con aristas coloreadas. Los resultados principales demuestran que: cuando δc(G)≥2n+k−1 y n≥3k−2, G contiene k triángulos arcoíris que comparten una arista; cuando δc(G)≥2n+2k−3 y n≥2k+9, G contiene k triángulos arcoíris que comparten un vértice.
- Problema Clásico de Triángulos: Mantel (1907) demostró que un grafo sin triángulos de n vértices tiene como máximo ⌊4n2⌋ aristas
- Triángulos Estructurados: Erdős y otros investigaron los números de Turán para el grafo libro Bk (k triángulos que comparten una arista) y el grafo de amistad Fk (k triángulos que comparten un vértice)
- Subgrafos Arcoíris: Los subgrafos arcoíris y los subgrafos correctamente coloreados están estrechamente relacionados con muchas propiedades de grafos, como resultados de estabilidad clásicos, la conjetura de Bermond-Thomassen y la conjetura de Caccetta-Häggkvist
- Generalización del Teorema de H. Li: H. Li (2013) demostró que la condición de grado cromático mínimo δc(G)≥2n+1 garantiza la existencia de un triángulo arcoíris
- Triángulos Arcoíris Estructurados: Es natural considerar el caso de múltiples triángulos arcoíris que comparten vértices o aristas
- Conexión con Teoría de Grafos Clásica: Generalizar los conceptos clásicos de grafos libro y grafos de amistad a la configuración de grafos con aristas coloreadas
La investigación existente sobre triángulos arcoíris se concentra principalmente en la existencia de triángulos individuales, con menos investigación sobre arreglos estructurados de múltiples triángulos arcoíris (como compartir vértices o aristas).
- Teorema Principal 3: Demuestra que cuando δc(G)≥2n+k−1 y n≥3k−2, el grafo G contiene k triángulos arcoíris que comparten una arista (grafo libro con aristas coloreadas Bk)
- Teorema Principal 4: Demuestra que cuando δc(G)≥2n+2k−3 y n≥2k+9, el grafo G contiene k triángulos arcoíris que comparten un vértice (grafo de amistad con aristas coloreadas Fk)
- Mejora del Teorema de H. Li: Cuando k=2, ambos resultados principales mejoran el teorema original de H. Li
- Innovación Técnica: Combina la técnica de ciclos arcoíris de Czygrinow y otros con técnicas de conteo recientes
- Análisis de Extremalidad: Proporciona análisis de la rigidez de los resultados y construcciones extremales
Entrada: Grafo G=(V,E) con aristas coloreadas, donde ∣V∣=n, función de coloreo de aristas C:E→{1,2,…,k}Salida: Determinar si G contiene k triángulos arcoíris que comparten una arista (o un vértice)
Restricciones: El grado cromático mínimo δc(G) satisface un umbral específico
- Grado Cromático: dc(v)=∣{C(uv):u∈N(v)}∣
- α-Vecindario: Nα(v)={u∈N(v):C(uv)=α}
- Grado Monocromático: dmon(v)=max{∣Nα(v)∣:α∈C(G)}
Introducción del concepto de "coloreo restringido" de Czygrinow y otros:
- Para un vértice v y X⊆N(v), si α=C(xy) tal que vxy constituye un P3 arcoíris y α∈/C(y,N(y)∖X), entonces se dice que (v,X) restringe el color α para y
- Se denota σv,X(y) como el número de colores restringidos por (v,X)
- rt(v): Número de triángulos arcoíris que contienen el vértice v
- rt(v,x): Número de triángulos arcoíris que contienen simultáneamente los vértices v y x
- rt(v,X)=∑x∈Xrt(v,x)
Para un grafo minimal en aristas G y un vértice v, se tiene:
rt(v,Ni(v))≥∑x∈Ni(v)(dc(x)+dc(v)−n)+di(v)∑1≤j≤s(dj(v)−1)−di(v)(di(v)−1)−∑y∈N!(v)dvyc(y,Ni(v))
donde N!(v)=⋃α∈C(G){Nα(v):∣Nα(v)∣=1}.
Para un vértice v con grado monocromático máximo, se tiene B(v)≥0, y cuando B(v)=0 existen propiedades estructurales especiales.
- Asumir que no existen k triángulos arcoíris que comparten una arista
- Seleccionar un vértice v con grado monocromático máximo
- Utilizar la desigualdad de conteo del Lema 7
- Demostrar por contradicción la existencia de la estructura requerida
- Utilizar la teoría de números de Turán sobre emparejamientos de Erdős-Gallai
- Construir un grafo auxiliar G△(v) (formado por aristas de triángulos arcoíris que contienen v)
- Analizar el número de cobertura y emparejamiento de G△(v)
- Obtener una contradicción mediante análisis refinado de grados
Ejemplo 1: Construir un grafo tripartito completo equilibrado G[V1,V2,V3], donde ∣V(G)∣=3k−3, ∣V1∣=∣V2∣=∣V3∣=k−1, con coloreo correcto. Este grafo satisface dc(v)=2n+k−1 pero no contiene Bk o Fk, demostrando la rigidez de la condición "n≥3k−2" en el Teorema 3.
El artículo compara los resultados con los siguientes resultados clásicos:
- Teorema de H. Li: δc(G)≥2n+1 garantiza un triángulo arcoíris
- Resultados de Erdős y otros: Números de Turán clásicos para grafos libro y grafos de amistad
- Caso de Grafos sin Color: Condiciones de grado mínimo correspondientes
| Estructura | Condición en este Artículo | Requisito de Vértices | Condición de H. Li | Mejora |
|---|
| B2 | δc≥2n+1 | n≥4 | δc≥2n+1 | Mejora Constructiva |
| F2 | δc≥2n+1 | n≥13 | δc≥2n+1 | Mejora Constructiva |
| Bk | δc≥2n+k−1 | n≥3k−2 | - | Resultado Nuevo |
| Fk | δc≥2n+2k−3 | n≥2k+9 | - | Resultado Nuevo |
- Rigidez del Teorema 3: El Ejemplo 1 muestra que cuando n≤3k−3 se requiere una condición de grado cromático más fuerte δc≥2n+k
- Rigidez Asintótica: Cuando k=o(n), el resultado es asintóticamente riguroso
- H. Li (2013): Primer demostración de que la condición de grado cromático δc≥2n+1 garantiza un triángulo arcoíris
- B. Li y otros (2014): Demuestran que la condición más débil ∑vdc(v)≥2n(n+1) también es suficiente
- X. Li y otros (2022): Proporcionan una versión de conteo para triángulos arcoíris
- Mantel (1907): Cota superior del número de aristas en grafos sin triángulos
- Erdős-Edwards-Khadžiivanov-Nikiforov: Números de Turán para grafos libro
- Erdős y otros (1995): Números de Turán para grafos de amistad
- Czygrinow y otros (2021): Técnica de coloreo restringido para ciclos arcoíris
- Erdős-Gallai (1959): Teoría de números de Turán sobre emparejamientos
- Se generaliza exitosamente el resultado clásico de H. Li sobre triángulos arcoíris al caso de múltiples triángulos que comparten estructuras
- Se establecen condiciones suficientes para la existencia de grafos libro y grafos de amistad en grafos con aristas coloreadas
- Se proporciona análisis de rigidez y construcciones extremales de los resultados
- Requisito de Vértices: La condición n≥2k+9 en el Teorema 4 es relativamente fuerte
- Complejidad Técnica: La demostración involucra múltiples técnicas de conteo complejas y análisis estructural
- Grado de Generalización: Los resultados se enfocan principalmente en patrones de compartición específicos (arista única o vértice único)
- Patrones de Compartición Más Generales: Investigar arreglos más complejos de triángulos arcoíris
- Otras Estructuras Arcoíris: Generalizar a ciclos arcoíris, caminos arcoíris, etc.
- Problemas Algorítmicos: Diseñar algoritmos eficientes para encontrar estas estructuras
- Grafos Aleatorios: Resultados correspondientes en grafos con coloreo de aristas aleatorio
- Contribución Teórica Significativa: Generalización exitosa de un resultado clásico importante, estableciendo un nuevo marco teórico
- Innovación Técnica: Combinación ingeniosa de múltiples técnicas modernas (coloreo restringido, métodos de conteo, teoría de Turán)
- Completitud de Resultados: No solo proporciona resultados de existencia, sino que también analiza rigidez y casos extremales
- Escritura Clara: Estructura del artículo razonable, línea de demostración clara
- Complejidad de Demostración Alta: Muchos detalles técnicos que pueden afectar la accesibilidad de los resultados
- Alcance de Aplicación: Principalmente resultados teóricos, con escenarios de aplicación práctica poco claros
- Factores Constantes: Algunos factores constantes en las condiciones (como 2k+9) pueden no ser óptimos
- Valor Teórico: Proporciona nuevas direcciones de investigación para la combinatoria extremal y la teoría de subgrafos arcoíris
- Contribución Metodológica: Las técnicas de demostración pueden ser aplicables a otros problemas similares
- Investigación Posterior: Sienta las bases para investigación adicional en problemas relacionados
Esta investigación es principalmente aplicable a:
- Investigación teórica en combinatoria extremal
- Teoría de coloreo de grafos
- Problemas de existencia en teoría de grafos estructurales
- Problemas de detección de subestructuras en optimización combinatoria
El artículo cita 29 referencias importantes, incluyendo:
- H. Li (2013): Rainbow C3's and C4's in edge-colored graphs
- Erdős, Füredi, Gould, Gunderson (1995): Extremal graphs for intersecting triangles
- Czygrinow, Molla, Nagle, Oursler (2021): On odd rainbow cycles in edge-colored graphs
- Múltiples referencias clásicas en los campos de matemática combinatoria y teoría de grafos