Definir un hipergrafo para ser un par H=(V,E) donde V es un conjunto de vértices y E es cualquier conjunto de subconjuntos de V llamado bordes . Así, si cada arista U∈E tiene sólo dos elementos, entonces el hipergrafo H es equivalente a un gráfico simple ordinario. Decimos que una coloración χ:V→N de un hipergrafo H es adecuado para cada U∈E hay u1,u2∈U con χ(u1)≠χ(u2) . Podría parecer más natural exigir que χ(u1)≠χ(u2) para cada par de elementos distintos u1,u2∈U pero entonces las coloraciones del hipergrafo serían equivalentes a las coloraciones del grafo, ya que podríamos sustituir cada arista U∈E con una camarilla.
Dado un hipergrafo G=(V,E) definan la función simétrica cromática de G para ser XG=∑χxχ donde la suma es sobre las coloraciones adecuadas χ de G y xχ=∏v∈Vxv con x1,x2,… siendo indeterminados.
Creo que Stanley introdujo la función simétrica cromática de un hipergrafo en la última sección de este (pdf). Calcula XH para hipergráficos de la forma H=(V,E) donde E={S⊆V:|S|=k} . Pero escribe:
Existe una extensa teoría de la coloración de los hipergráficos, pero poco de esta teoría es enumerativa.
Esto fue en 1995. ¿Sigue siendo cierta esta afirmación? ¿Cuáles son algunos buenos ejemplos de trabajos que cuentan el número de coloraciones adecuadas de los hipergráficos? En particular, ¿hay otras clases agradables de hipergrafos H para el que podemos calcular XH ? ¿Hay alguna conjetura sobre cuándo XH ¿es Schur-positivo? Me interesan los casos en los que H no es equivalente a un gráfico ordinario.
0 votos
El papel que comentas ya no está etiquetado, ¿te refieres a esto? math.mit.edu/~rstan/pubs/pubfiles/100.pdf
0 votos
Ah, gracias por señalarlo. En realidad quería decir este su segundo trabajo sobre funciones simétricas cromáticas. El primero sólo trata de grafos ordinarios.
0 votos
Han pasado dos años desde que publiqué esta pregunta; supongo que debería responderla con algunas referencias que he encontrado.