El siguiente post ha sido redactado como sección 6 de este documento . De hecho, se puede demostrar que el número de valores de los polinomios cromáticos a 4 crece exponencialmente.
El número de polinomios cromáticos crece exponencialmente. Esta respuesta es conjunta con Slava Krushkal .
El Álgebra cromática $\mathcal{C}_n$ es un álgebra sobre $\mathbb{C}[Q]$ (para un parámetro $Q$ ) formado a partir de combinaciones lineales de (clases de isotopía de) grafos planos en un rectángulo $R$ con $n$ puntos univalentes en la parte superior e inferior:
Dichos diagramas pueden componerse colocando uno sobre otro, fusionando los $n$ vértices univalentes juntos para obtener aristas. A continuación, cotice esta álgebra por algunas relaciones: la relación de supresión-contracción
y una relación para eliminar los bucles y matar los diagramas con puentes
Dichos diagramas representan gráficas planas que concuerdan fuera de las imágenes mostradas. Estas relaciones son satisfechas por el polinomio en $Q$ que cuenta el número de en ninguna parte los flujos cero (sobre un grupo abeliano con $Q$ elemnts) en un gráfico. También hay un trazado, en el que se cierra el gráfico de arriba a abajo y se evalúa el polinomio de flujo:
Para los genéricos $Q\in \mathbb{C}$ , se trata de un álgebra semisimple. De forma más general, se puede describir un álgebra plana que contiene todos los $\mathcal{C}_n$ s.
Para entender por qué el número de polinomios cromáticos crece exponencialmente, se trata de tomar algunos gráficos en $\mathcal{C}_n$ que generan un semigrupo en el álgebra. Como el álgebra es lineal, la alternativa de Tits para semigrupos implica que o bien este semigrupo debe contener un subsemigrupo libre o bien es virtualmente nilpotente. Esto último es poco probable, si se toman los generadores de $\mathcal{C}_n$ ya que es semisimple. Por lo tanto, el crecimiento de los elementos en el álgebra cuando uno multiplica estos generadores es exponencial. Entonces se pueden extraer las entradas de la matriz multiplicando con una base de $\mathcal{C}_n$ y tomando las trazas (para obtener productos internos con la base, y por lo tanto esencialmente las entradas de la matriz). El número de estas trazas crece exponencialmente, de ahí el número de polinomios de flujo de los grafos (de ahí los polinomios cromáticos de los grafos planos duales) en función del número de vértices.
Para concretar, tenemos un ejemplo explícito para demostrar este enfoque. Queremos la subálgebra de menor dimensión posible, por lo que es conveniente establecer $Q=\phi+1 = \frac{3+\sqrt{5}}{2}$ desde $\mathcal{C}_n$ tiene entonces un radical de traza no trivial generado por la relación de Tutte:
Para los gráficos trivalentes (cúbicos), es conveniente utilizar esta forma de la relación:
Añadiendo esta relación (que no afecta al valor del polinomio de flujo para grafos planos en $Q=\phi+1$ ) disminuye la dimensión del álgebra y, por tanto, facilita el cálculo.
Haremos una variación de la estrategia anterior. Consideremos los elementos $A, B$ de $\mathcal{C}_3$ en esta foto:
Podemos multiplicar (apilando) $A$ y $B$ con los gráficos $e_1, e_2$ que no son elementos de $\mathcal{C}_3^{\phi+1}$ , sino de un espacio vectorial relacionado $\mathcal{C}_{3,1}$ que es un módulo sobre $\mathcal{C}_3$ (realmente en el álgebra plana), para $Q=\phi+1$ (obtenido de la de la misma manera, tomando los grafos modulando las relaciones de supresión-contracción). Entonces podemos calcular $Ae_1= -\phi e_1, Ae_2=-\phi^2 e_2-\phi e_1,$ $Be_1=-\phi^2 e_2-\phi e_1, Be_2=-\phi e_2$ por lo que la acción de $A,B$ preserva el subespacio abarcado por $e_1,e_2$ . Éstas están representadas por las matrices:
$A=\left(\begin{array}{cc}-\phi & -\phi \\0 & -\phi^2\end{array}\right),$ $B=\left(\begin{array}{cc}-\phi^2 & 0 \\-\phi & -\phi\end{array}\right),$
Ahora, multiplica $A, B$ juntos $n$ veces, consiguiendo $2^n$ elementos de $\mathcal{C}_3$ . A continuación, añada $e_1, e_2$ en la parte inferior, y sus reflejos en la parte superior, para obtener un elemento de $\mathcal{C}_1$ . Entonces toma la traza, así que conecta por un arco que va de arriba a abajo y evaluar el polinomio de flujo. Los gráficos $A,B$ entonces tienen un subsemigrupo en $GL(2,\mathbb{R})$ que es libre (ya que tienen vectores propios distintos), por lo que los varios productos dan elementos distintos de $\mathcal{C}_3$ , y por lo tanto obtenemos al menos $2^{n/4}$ coeficientes distintos cuando emparejamos con el $e_i$ s y tomar el rastro.
Aquí está $ABAAB$ tapado de una manera:
0 votos
Supongo que está acotado por encima del número de mapas planares con $n$ países, y debería haber buenas estimaciones de que en la literatura.
0 votos
Parece que debería haber una base de datos de mapas planares, y luego, tras un trabajo, se podría buscar en oeis.
0 votos
De hecho, existe una gran literatura sobre la enumeración de mapas planares, empezando por el trabajo de Tutte. Además, no es exactamente lo que pide la pregunta, pero el trabajo de Tutte "On the enumeration of four-colored maps" ( dx.doi.org/10.1137/0117044 ) es algo relevante.
2 votos
@DavidTreumann Si dejas de lado la condición de planaridad, A245883 da el número de polinomios cromáticos distintos entre todos los grafos conectados en n nodos.
0 votos
Experimenté pegando dos triangulaciones ideales de un n-gon. Esto da una familia de unas 8^n triangulaciones de n vértices de la esfera, y para esta familia el número de polinomios cromáticos (empezando por n = 4) es 2,3,5,8,13,>=23,>=42,>=80,>=181, tal vez un crecimiento exponencial con una base menor que 8, no es que sepa demostrarlo.
1 votos
@DavidTreumann: Este enfoque dará todos los polinomios cromáticos de las triangulaciones planas (simpliciales), ya que Whitney demostró que una triangulación plana de 4 conexiones tiene un ciclo hamiltoniano. Se puede utilizar esto para demostrar que las triangulaciones planas tienen el mismo polinomio cromático que una con un ciclo hamiltoniano, por lo que al venir de pegar triangulaciones ideales de dos $n$ - de los gones. Una cosa curiosa es que se puede determinar una triangulación de un $n$ -gon al emparejarlo con el $n$ triangulaciones de un $n$ -gon que cono a un vértice, y luego tomar los polinomios cromáticos.
0 votos
Esto demuestra que el número de grafos en el "álgebra cromática" crece exponencialmente (aunque probablemente haya formas más sencillas de demostrarlo). Sin embargo, no sé cómo traducir esto en el crecimiento de los polinomios cromáticos. msp.org/gt/2009/13-2/p04.xhtml
0 votos
Eso es fantástico. Busqué el resultado de Whitney, aquí: jstor.org/stable/1968197 Entiendo lo que quieres decir sobre la recuperación de la triangulación, pero si un hemisferio tiene un punto de cono, el polinomio cromático tiene la forma $x(x-1)(x-2)(x-2)^p(x-3)^q$ No hay demasiados. Mi experimento informático de verano decía que este era el tipo de polinomio cromático más común cuando se elegían los dos hemisferios al azar.
0 votos
@DavidTreumann: Ahora tengo una prueba de que el número de polinomios cromáticos crece exponencialmente (con Slava Krushkal). Intentaré colgar una respuesta cuando tenga ocasión, pero requiere algunas imágenes para explicarlo (el otro día comenté la idea con Eric Zaslow). Los ejemplos son muy sencillos (como los gráficos cúbicos): se crea una escalera con tres postes verticales, y una secuencia de peldaños que pueden estar a ambos lados del poste central. Estos se rematan de varias maneras, y la parte superior se conecta a la parte inferior. Variando las secuencias de peldaños, se obtienen exponencialmente muchos polinomios cromáticos diferentes.