Articulo de referencia

Gráfico de Nauru

4 ×S 3 )"},"girth":{"wt":"6"},"diameter":{"wt":"4"},"radius":{"wt":"4"},"chromatic_number":{"wt":"2"},"chromatic_index":{"wt":"3"},"properties":{"wt":"[[Symmetric graph|Symmetri...

En el campo matemático de la teoría de grafos , el grafo de Nauru es un grafo cúbico , bipartito y simétrico con 24 vértices y 36 aristas. Fue nombrado por David Eppstein en honor a la estrella de doce puntas de la bandera de Nauru . [ 1 ]

Tiene número cromático 2, índice cromático 3, diámetro 4, radio 4 y circunferencia 6. [ 2 ] También es un grafo 3 -conectado por vértices y 3 -conectado por aristas . Tiene grosor de libro 3 y número de cola 2. [ 3 ]

El grafo de Nauru requiere al menos ocho cruces en cualquier representación del mismo en el plano. Es uno de los tres grafos no isomorfos que comparten el título de ser el grafo cúbico más pequeño que requiere ocho cruces. Otro de estos tres grafos es el grafo de McGee , también conocido como la jaula (3-7) . [ 4 ] [ 5 ]

Construcción

El grafo de Nauru es hamiltoniano y puede describirse mediante la notación LCF  : [5, 9, 7, 7, 9, 5] 4 . [ 1 ]     

El grafo de Nauru también se puede construir como el grafo de Petersen generalizado G (12,  5) que está formado por los vértices de un dodecágono conectados a los vértices de una estrella de doce puntas en la que cada punta de la estrella está conectada a los puntos que están a cinco pasos de distancia de él.

También existe una construcción combinatoria del grafo de Nauru. Se toman tres objetos distinguibles y se colocan en cuatro cajas distinguibles, con no más de un objeto por caja. Hay 24 maneras de distribuir los objetos, correspondientes a los 24 vértices del grafo. Si es posible pasar de un estado a otro moviendo exactamente un objeto de su ubicación actual a una caja vacía, entonces los vértices correspondientes a los dos estados se unen mediante una arista. El grafo de transición de estados resultante es el grafo de Nauru. En otras palabras, es el grafo de disposición.A4,3{\displaystyle A_{4,3}}.

Propiedades algebraicas

El grupo de automorfismos del grafo de Nauru es un grupo de orden 144. [ 6 ] Es isomorfo al producto directo de los grupos simétricos S 4 y S 3 y actúa transitivamente sobre los vértices, las aristas y los arcos del grafo. Por lo tanto, el grafo de Nauru es un grafo simétrico (aunque no transitivo en distancia ). Posee automorfismos que transforman cualquier vértice en cualquier otro vértice y cualquier arista en cualquier otra arista. Según el censo de Foster , el grafo de Nauru es el único grafo cúbico simétrico con 24 vértices. [ 2 ]

El grafo de Petersen generalizado G ( n,k ) es transitivo por vértices si y solo si n  =  10 y k  = 2 o si ≡ ±1 (mod n ) y es transitivo por aristas solo en los siguientes siete casos: ( n,k ) = (4,1), (5,2), (8,3), (10,2), (10,3), ( 12,5), (24,5). [ 7 ] Por lo tanto, el grafo de Nauru es uno de los siete únicos grafos de Petersen generalizados simétricos. Entre estos siete grafos se encuentra el grafo cúbico.   GRAMO(4,1){\displaystyle G(4,1)}, el gráfico de PetersenGRAMO(5,2){\displaystyle G(5,2)}, el gráfico de Möbius-KantorGRAMO(8,3){\displaystyle G(8,3)}, el grafo dodecaédricoGRAMO(10,2){\displaystyle G(10,2)}y el gráfico de DesarguesGRAMO(10,3){\displaystyle G(10,3)}.

El grafo de Nauru es un grafo de Cayley de S 4 , el grupo simétrico de permutaciones en cuatro elementos, generado por las tres formas diferentes de intercambiar el primer elemento con uno de los otros tres  : (1 2), (1 3) y (1 4).

Utilizando las permutaciones con signo de (1,1,3) como vértices, el grafo de Nauru se obtiene uniendo pares a una distancia euclidiana de 6.

El polinomio característico del grafo de Nauru es igual a

(incógnita3)(incógnita2)6(incógnita1)3incógnita4(incógnita+1)3(incógnita+2)6(incógnita+3), {\displaystyle (x-3)(x-2)^{6}(x-1)^{3}x^{4}(x+1)^{3}(x+2)^{6}(x+3),\ }

lo que la convierte en una gráfica integral , una gráfica cuyo espectro se compone enteramente de números enteros.

Propiedades topológicas

Una incrustación simétrica del grafo de Nauru sobre una superficie de género 4, con seis caras dodecagonales.

El grafo de Nauru tiene dos incrustaciones diferentes como un poliedro regular generalizado : una superficie topológica particionada en aristas, vértices y caras de tal manera que existe una simetría que toma cualquier bandera (una tripleta incidente de un vértice, una arista y una cara) en cualquier otra bandera. [ 8 ]

Una de estas dos incrustaciones forma un toroide , por lo que el grafo de Nauru es un grafo toroidal : consta de 12 caras hexagonales junto con los 24 vértices y 36 aristas del grafo de Nauru. El grafo dual de esta incrustación es un grafo simétrico 6-regular con 12 vértices y 36 aristas.

La otra incrustación simétrica del grafo de Nauru tiene seis caras dodecagonales y forma una superficie de género 4. Su dual no es un grafo simple , puesto que cada cara comparte tres aristas con otras cuatro caras, sino un multigrafo . Este dual se puede formar a partir del grafo de un octaedro regular reemplazando cada arista por un haz de tres aristas paralelas.

El conjunto de caras de cualquiera de estas dos incrustaciones es el conjunto de polígonos de Petrie de la otra incrustación.

Propiedades geométricas

El gráfico de Nauru como gráfico de distancia unitaria, de Žitnik, Horvat y Pisanski (2010) .

Como todos los grafos de Petersen generalizados, el grafo de Nauru puede representarse mediante puntos en el plano de tal manera que los vértices adyacentes estén a una distancia unitaria; es decir, es un grafo de distancia unitaria . [ 9 ] Este y los prismas son los únicos grafos de Petersen generalizados G ( n , p ) que no pueden representarse de tal manera que las simetrías del dibujo formen un grupo cíclico de orden n . En cambio, su representación de grafo de distancia unitaria tiene el grupo diedral Dih 6 como su grupo de simetría.

Historia

La primera persona en escribir sobre el grafo de Nauru fue RM Foster , en un esfuerzo por recopilar todos los grafos cúbicos simétricos. [ 10 ] La lista completa de grafos cúbicos simétricos ahora lleva su nombre, el Censo de Foster , y dentro de esta lista el grafo de Nauru está numerado como grafo F24A, pero no tiene un nombre específico. [ 11 ] En 1950, HSM Coxeter citó el grafo por segunda vez, dando la representación hamiltoniana utilizada para ilustrar este artículo y describiéndolo como el grafo de Levi de una configuración proyectiva descubierta por Zacharias. [ 12 ] [ 13 ]

En 2003, Ed Pegg escribió en su columna en línea de MAA que F24A merecía un nombre, pero no propuso ninguno. [ 14 ] Finalmente, en 2007, David Eppstein utilizó el nombre de grafo de Nauru porque la bandera de la República de Nauru tiene una estrella de 12 puntas similar a la que aparece en la construcción del grafo como un grafo de Petersen generalizado. [ 1 ]

Referencias

  1. 1 2 3 Eppstein, D. , Las muchas caras del gráfico de Nauru , 2007.
  2. 1 2 Conder, M. y Dobcsányi, P. "Grafos simétricos trivalentes hasta 768 vértices." J. Combin. Math. Combin. Comput. 40, 41-63, 2002.
  3. Wolz, Jessica; Diseño de distribuciones lineales mediante SAT. Tesis de maestría, Universidad de Tubinga, 2018.
  4. Sloane, N.  J.  A. (ed.). "Secuencia A110507 (Número de nodos en el grafo cúbico más pequeño con número de cruces n)" . La enciclopedia en línea de secuencias enteras . Fundación OEIS..
  5. Pegg, ET ; Exoo, G. (2009), "Grafos de números que se cruzan", Mathematica Journal , 11 (2), doi : 10.3888/tmj.11.2-2.
  6. Royle, G. Datos F024A Archivados el 6 de marzo de 2011 en Wayback Machine
  7. Frucht, R.; Graver, JE; Watkins, ME (1971), "Los grupos de los grafos generalizados de Petersen", Actas de la Sociedad Filosófica de Cambridge , 70 (2): 211– 218, Bibcode : 1971PCPS...70..211F , doi : 10.1017/S0305004100049811 , S2CID 122686848 .
  8. McMullen, Peter (1992), "Los poliedros regulares de tipo { p , 3} con 2p vértices ", Geometriae Dedicata , 43 (3): 285–289 , doi : 10.1007/BF00151518 , S2CID 119591683 .
  9. Žitnik, Arjana; Horvat, Boris; Pisanski, Tomaž (2010), Todos los gráficos de Petersen generalizados son gráficos de unidades de distancia (PDF) , preimpresiones de IMFM, vol. 1109 .
  10. Foster, RM (1932), "Circuitos geométricos de redes eléctricas", Transactions of the American Institute of Electrical Engineers , 51 (2): 309– 317, Bibcode : 1932TAIEE..51..309F , doi : 10.1109/T-AIEE.1932.5056068 , S2CID 51638449 .
  11. Bouwer, IZ; Chernoff, WW; Monson, B.; Star, Z (1988), El censo de Foster , Centro de Investigación Charles Babbage.
  12. Coxeter, HSM (1950), "Configuraciones autoduales y grafos regulares", Bulletin of the American Mathematical Society , 56 (5): 413– 455, doi : 10.1090/S0002-9904-1950-09407-5.
  13. ^ Zacharias, M. ( 1941), "Untersuchungen über ebene Konfigurationen (124, 163)", Deutsche Mathematik , 6 : 147-170.
  14. Pegg, Ed (2003), Gráficos cúbicos simétricos , Asociación Matemática de América, archivado del original el 7 de mayo de 2013 , consultado el 20 de agosto de 2009..