6 votos

¿Cuál es el estado de esta forma fuerte de la conjetura de Hedetniemi?

En esta pregunta, un grafo es un grafo finito, no dirigido, sin bucles o aristas múltiples, y un coloreado de un grafo es un coloreado de vértices adecuado. El producto $G \times H$ de los grafos $G$ y $H$ es el grafo cuyo conjunto de vértices es el producto de los conjuntos de vértices de $G$ y $H$ y cuyo conjunto de aristas es el producto de los conjuntos de aristas de $G$ y $H$, con la relación de incidencia obvia.

Sean $G$ y $H$ grafos. Cualquier coloreado de $n$ colores de $G$ da lugar a un coloreado de $n$ colores de $G \times H$: simplemente pinte $(x, y)$ del mismo color que $x$. (O, si lo prefiere, un coloreado de $n$ colores de un grafo es simplemente un homomorfismo en el grafo completo $K_n$, por lo que podemos componer el coloreado $G \to K_n$ con la proyección $G \times H \to G$ para obtener un coloreado $G \times H \to K_n$). De manera similar, cualquier coloreado de $n$ colores de $H$ da lugar a un coloreado de $n$ colores de $G \times H. Digamos que un coloreado de $G \times H$ que surge de una de estas dos formas es obtenido por proyección.

El párrafo anterior deja en claro que $\chi(G \times H) \leq \min\{ \chi(G), \chi(H) \}$, donde $\chi$ significa número cromático. La conjetura de Hedetniemi establece que esta es una igualdad. En otras palabras, dice que no hay coloreados de un producto más económicos que aquellos obtenidos por proyección. Mi pregunta:

Sean $G$ y $H$ grafos. ¿Está cada coloreado de $G \times H$ con $\chi(G \times H)$ colores obtenido por proyección?

No se puede saber a ciencia cierta que la respuesta sea sí, a menos que me haya perdido alguna noticia, ya que eso implicaría la conjetura de Hedetniemi. Pero tal vez la respuesta sea no, o tal vez se sepa que esta conjetura aparentemente más fuerte en realidad se deduciría de la conjetura original de Hedetniemi.


Editar  Suponga que los grafos están conectados, de lo contrario, la respuesta es trivialmente no. (Por ejemplo, considere $(K_2 \sqcup K_2) \times K_2$).

5voto

jlleblanc Puntos 2957

La respuesta es no. En los comentarios, Gil Kalai sugirió mirar productos de dos ciclos impares, y de hecho, esto produce un contraejemplo.

Considere $C_3 \times C_5$, donde $C_n$ denota el ciclo de $n$. Esto tiene un número cromático de $3$, y hay una coloración de 3 colores dada por $$ \begin{pmatrix} 1&3&1&2&3\\ 1&2&1&2&3\\ 1&2&1&2&3 \end{pmatrix} $$ (en una notación que espero sea obvia). Esto claramente no se obtiene por proyección.

De hecho, este también es un contraejemplo a una forma más débil de esta fuerte forma de la conjetura de Hedetniemi: que cada coloración de $G \times H$ por $\chi(G \times H)$ colores se obtiene por proyección después de algún automorfismo de $G \times H. Para cualquier coloración de este tipo de $C_3 \times C_5$ tiene o bien 5 de cada color o bien 3 de uno y 6 de cada uno de los otros dos; pero ninguno de estos casos es válido para la coloración mostrada arriba.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X