Un Nuevo Polinomio para Grafos Virtuales 4-Valentes Coloreables en Tablero de Ajedrez

Información Básica

• ID del Artículo: 2410.15574
• Título: Un Nuevo Polinomio para Grafos Virtuales 4-Valentes Coloreables en Tablero de Ajedrez
• Autores: Hamid Abchir, Khaled Qazaqzeh, Mohammed Sabak
• Instituciones de los Autores: Universidad Hassan II (Marruecos), Universidad Yarmouk (Jordania)
• Clasificación: math.CO (Combinatoria), math.GT (Topología Geométrica)
• Fecha de Presentación: Octubre de 2024, versión más reciente 7 de noviembre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2410.15574v3
• Clasificación Matemática: 05C31, 57K14

Resumen

En este artículo se define un nuevo invariante polinomial para cualquier grafo virtual 4-valente coloreables en tablero de ajedrez con vértices signados, basado en la expansión de circuitos eulerianos. Esto proporciona una nueva formulación combinatoria para el polinomio de Jones-Kauffman de enlaces virtuales coloreables en tablero de ajedrez.

Antecedentes de Investigación y Motivación

Problema de Investigación

Este artículo tiene como objetivo establecer un nuevo invariante polinomial para grafos 4-valentes coloreables en tablero de ajedrez y proporcionar una nueva representación combinatoria del polinomio de Jones-Kauffman a través de este invariante.

Importancia del Problema

1. Problema central en la teoría de nudos: El polinomio de Jones-Kauffman es uno de los invariantes más importantes en la teoría de enlaces virtuales. Desde que Kauffman introdujo la teoría de nudos virtuales en 1999, la búsqueda de una representación combinatoria de este polinomio ha sido un problema central en el campo.
2. Conexión entre teoría de grafos y teoría de nudos: El estudio de invariantes de nudos mediante métodos de teoría de grafos puede revelar la naturaleza combinatoria de estructuras topológicas. Esta conexión ha sido de gran interés desde el trabajo de Thistlethwaite en los años 1980.
3. Unificación teórica: Esta investigación continúa la tradición de representar el polinomio de Jones mediante polinomios de grafos (como el polinomio de Tutte y el polinomio de Bollobás-Riordan).

Limitaciones de Métodos Existentes

1. Método de Bollobás-Riordan: Aunque en los años posteriores a 2000, varios estudiosos utilizaron el polinomio de Bollobás-Riordan para representar el polinomio de Jones-Kauffman, estos métodos utilizan diferentes construcciones de grafos de cinta y diferentes sustituciones polinomiales, careciendo de uniformidad.
2. Alcance de aplicabilidad: Los métodos existentes se dirigen principalmente a enlaces virtuales generales o enlaces clásicos, careciendo de métodos combinatorios especializados para la subclase importante pero especial de los coloreables en tablero de ajedrez.
3. Complejidad computacional: Se necesitan métodos de representación combinatoria más directos y fáciles de calcular.

Motivación de la Investigación

Este artículo adopta un enfoque directo basado en circuitos eulerianos, proporcionando una nueva perspectiva combinatoria para la importante subclase de enlaces virtuales coloreables en tablero de ajedrez, simplificando el cálculo y revelando estructuras combinatorias más profundas.

Contribuciones Principales

1. Nuevo invariante polinomial: Se define un nuevo invariante polinomial $X_G(q)$ para grafos 2-dirigidos coloreables en tablero de ajedrez con vértices signados, basado en la suma ponderada de todos los circuitos eulerianos del grafo.
2. Prueba de invariancia: Se demuestra que $X_G(q)$ es un invariante de la clase de isomorfismo de grafos e independiente de la elección del coloreado en tablero de ajedrez y del etiquetado de vértices (Teorema 3.1).
3. Relaciones skein: Se establecen las relaciones skein satisfechas por el polinomio (Teorema 3.3), que son propiedades clave que conectan polinomios de grafos con polinomios de nudos.
4. Recuperación del polinomio de Jones-Kauffman: Se demuestra que para enlaces virtuales coloreables en tablero de ajedrez, el polinomio de Jones-Kauffman puede recuperarse del polinomio $X_G(q)$ del grafo sombra (Corolario 3.4): $f_L(q) = (-q)^{-3\omega(L)}X_G(q)$
5. Marco combinatorio: Se proporciona un marco combinatorio completo, incluyendo palabras de actividad, clasificación de estados de vértices (interno/externo, activo/muerto) y mecanismo de asignación de pesos.

Explicación Detallada del Método

Definición de la Tarea

Entrada: Un grafo 2-dirigido coloreables en tablero de ajedrez $G$ con vértices signados (cada vértice tiene 2 aristas entrantes y 2 salientes, con vértices marcados con + o -)

Salida: Polinomio de Laurent $X_G(q) \in \mathbb{Z}[q^{-1}, q]$

Condiciones de restricción:

• El grafo debe ser coloreables en tablero de ajedrez (equivalente a tener estructura fuente-destino)
• El grafo debe ser euleriano (cada vértice tiene grado entrante igual al grado saliente)

Método de Construcción Principal

1. Circuitos Eulerianos y Grafos de Acordes

Para cualquier circuito euleriano $\gamma$ de un grafo 2-dirigido $G$:

• Se dibuja un círculo $C$ en el plano con $2n$ puntos equidistantes (donde $n$ es el número de vértices)
• Recorriendo $\gamma$, se etiquetan secuencialmente los vértices encontrados
• Cada vértice se visita exactamente dos veces, conectando los dos puntos correspondientes con un acorde
• Se obtiene el grafo de acordes $C(\gamma)$

Relación de entrelazamiento: Si dos vértices $v_i$ y $v_j$ tienen acordes que se intersecan en $C(\gamma)$, se dice que están entrelazados en $\gamma$. Se denota con $C_i(\gamma)$ el conjunto de índices de vértices entrelazados con $v_i$.

2. Construcción de γ-estados

Se realiza una operación de eliminación de vértices en el circuito euleriano $\gamma$:

• En el vértice $v_i$, se fusionan las dos aristas entrantes y la arista saliente correspondiente
• Se elimina el vértice, colocando una marca en la nueva arista
• El tipo de marca se determina según el coloreado, el signo del vértice y el orden de recorrido de las aristas:
  • A, B: corresponden a una combinación de coloreado y signo
  • a, b: corresponden a otra combinación

Finalmente se obtiene un círculo incrustado con $n$ marcas.

3. Clasificación de Actividad de Vértices

Cada vértice $v_i$ relativo a $\gamma$ tiene dos dimensiones de estado independientes:

Interno/Externo:

• Interno (Internal): La $i$-ésima marca es A o B
• Externo (External): La $i$-ésima marca es a o b

Activo/Muerto:

• Activo (Live): $C_i(\gamma) \subseteq \{i+1, \ldots, n\}$ (solo entrelazado con vértices posteriores)
• Muerto (Dead): en caso contrario

Esto produce 8 estados posibles, correspondientes a 8 letras en la palabra de actividad: $\{L, D, l, d, \bar{L}, \bar{D}, \bar{l}, \bar{d}\}$

4. Asignación de Pesos

Cada letra de actividad corresponde a un peso monomio $\mu_i(\gamma)$:

Peso del circuito euleriano: $\mu(\gamma) = \prod_{i=1}^n \mu_i(\gamma)$

5. Definición del Polinomio

$X_G(q) := \sum_{\text{circuitos eulerianos } \gamma \text{ de } G} \mu(\gamma)$

Para grafos no conexos: $X_G(q) = (-(q^2 + q^{-2}))^{m-1} \prod_{i=1}^m X_{G_i}(q)$ donde $G_1, \ldots, G_m$ son las componentes conexas.

Puntos de Innovación Técnica

1. Método Directo Basado en Circuitos Eulerianos

A diferencia del polinomio de Bollobás-Riordan que requiere construcciones complejas de grafos de cinta, este artículo utiliza directamente la propiedad euleriana de grafos 2-dirigidos, definiendo el polinomio mediante la expansión de circuitos eulerianos.

2. Sistema de Clasificación de Actividad Refinado

La introducción de 8 estados de actividad es más refinada que los 4 estados tradicionales del polinomio de Tutte, permitiendo capturar más información de enlaces virtuales.

3. Técnica de Grafos de Entrelazamiento

Se utiliza el grafo de entrelazamiento $H(\gamma)$ (con el mismo conjunto de vértices, con aristas conectando pares de vértices entrelazados en $\gamma$) y su operación pivot para establecer conexiones entre diferentes circuitos eulerianos (Lema 4.8).

4. Mecanismo de Cancelación por Emparejamiento

En la prueba de invariancia, mediante argumentos de emparejamiento ingenioso (particularmente en la prueba del Teorema 3.1 en las Tablas 3 y 4), las contribuciones de ciertos pares de circuitos eulerianos se anulan mutuamente, siendo esto clave para probar la independencia.

Configuración Experimental

Cálculo de Ejemplos

El artículo proporciona ejemplos de cálculo concretos (Ejemplo 3.5):

Entrada: Nudo coloreables en tablero de ajedrez $K = 5.2426$

• El grafo sombra tiene 5 vértices, todos con signo negativo
• Hay un total de 9 circuitos eulerianos

Proceso de cálculo:

1. Enumerar los 9 circuitos eulerianos
2. Dibujar el grafo de acordes para cada circuito
3. Determinar el estado de actividad de cada vértice
4. Calcular el peso de cada circuito
5. Sumar para obtener el polinomio

Resultados:

• $X_{G_D}(q) = -q^{-7} - q^{-3} + q^5$
• writhe $\omega(D) = -5$
• Polinomio de Jones-Kauffman: $f_K(q) = q^8 + q^{12} - q^{20}$

Método de Verificación

Se verifica la corrección comparando con el polinomio de Jones-Kauffman conocido.

Resultados Experimentales

Resultados Principales

Teorema 3.1 (Invariancia)

El polinomio $X_G(q)$ posee las siguientes propiedades de invariancia:

1. Invariancia de isomorfismo de grafos: Grafos isomorfos tienen el mismo polinomio
2. Independencia del coloreado: No depende de la elección del coloreado en tablero de ajedrez
3. Independencia del etiquetado: No depende de la forma de etiquetar los vértices

Estrategia de prueba:

• Independencia del coloreado: se verifica directamente por simetría
• Independencia del etiquetado: se demuestra que intercambiar vértices adyacentes $v_i \leftrightarrow v_{i+1}$ no cambia el valor del polinomio
• Técnica clave: emparejar todos los circuitos eulerianos de modo que la contribución total de cada par sea igual o se anule

Teorema 3.3 (Relaciones Skein)

Para un vértice fijo $v$, sean $G^v_0$ y $G^v_1$ los grafos obtenidos por dos operaciones de fusión diferentes:

1. Si $v$ tiene signo positivo: $X_{G^v}(q) = qX_{G^v_0}(q) + q^{-1}X_{G^v_1}(q)$
2. Si $v$ tiene signo negativo: $X_{G^v}(q) = q^{-1}X_{G^v_0}(q) + qX_{G^v_1}(q)$

Esto corresponde completamente con las relaciones skein del corchete de Kauffman.

Corolario 3.4 (Recuperación del Polinomio de Jones-Kauffman)

Para un enlace virtual coloreables en tablero de ajedrez $L$: $f_L(q) = (-q)^{-3\omega(L)}X_G(q)$

Esto indica que el nuevo polinomio caracteriza completamente el polinomio de Jones-Kauffman de enlaces virtuales coloreables en tablero de ajedrez.

Descubrimientos Teóricos

Proposición 3.2 (Dualidad)

Después de cambiar todos los signos de vértices: $X_{\bar{G}}(q) = X_G(q^{-1})$

Esto refleja propiedades de simetría del polinomio.

Puntos Destacados de Técnicas de Prueba

1. Operación pivot del grafo de entrelazamiento (Lema 4.8): $H^{uv} = H(\gamma^{uv})^{uv}$ Esta relación es clave para conectar diferentes circuitos eulerianos.
2. Leyes de transformación de conjuntos de entrelazamiento (Lemas 4.9-4.11): Describen con precisión cómo cambian los conjuntos de entrelazamiento bajo operaciones de transposición de vértices.
3. Preservación de palabras de actividad (Lema 4.12): Bajo ciertas condiciones, ciertos estados de actividad de vértices se preservan bajo operaciones de transposición.

Trabajos Relacionados

Línea de Desarrollo Histórico

Años 1980: Enlaces Clásicos

• Thistlethwaite (1988): Representa el polinomio de Jones de enlaces clásicos usando el polinomio de Tutte mejorado de grafos planos
• Abrió el camino para estudiar invariantes de nudos usando polinomios de grafos

Años 2000: Método de Grafos de Cinta

• Bollobás-Riordan (2002): Introduce el polinomio de grafos de cinta, generalizando el polinomio de Tutte
• Chmutov-Pak (2007): Representa el corchete de Kauffman de enlaces virtuales coloreables en tablero de ajedrez usando el polinomio de Bollobás-Riordan
• Chmutov-Voltz (2008): Generaliza a enlaces virtuales generales
• Dasbach et al. (2008): El caso de enlaces clásicos
• Chmutova-Pak (2009): Introduce nuevos conceptos duales para unificar resultados anteriores

2017: Método de Grafos Cíclicos

• Deng et al. (2018): Introduce el concepto de grafo cíclico (equivalente a grafo de cinta orientable), define nuevo polinomio relacionado con el polinomio de Jones-Kauffman

Posicionamiento de Este Artículo

Este artículo continúa la tradición de métodos combinatorios, pero adopta la expansión de circuitos eulerianos más directa, especializada para el caso coloreables en tablero de ajedrez, proporcionando una nueva perspectiva diferente del método de grafos de cinta.

Conceptos Relacionados

Teoría de Nudos Virtuales

• Kauffman (1999): Introduce nudos virtuales como una generalización natural de nudos clásicos
• Kamada (2002, 2004): Estudia propiedades del polinomio de Jones de nudos virtuales coloreables en tablero de ajedrez
• Manturov (2009, 2011): Demuestra que la colorabilidad en tablero de ajedrez de grafos 4-valentes es equivalente a poder incrustarse en superficies orientables

Fundamentos de Teoría de Grafos

• Arratia-Bollobás-Sorkin (2004): Polinomio de entrelazamiento y técnicas de circuitos eulerianos, cuya prueba utiliza ampliamente lemas de este trabajo

Conclusiones y Discusión

Conclusiones Principales

1. Establecimiento del nuevo invariante: Se define exitosamente un nuevo invariante polinomial $X_G(q)$ basado en circuitos eulerianos para grafos 2-dirigidos coloreables en tablero de ajedrez.
2. Equivalencia con el polinomio de Jones-Kauffman: Para enlaces virtuales coloreables en tablero de ajedrez, el nuevo polinomio proporciona una representación combinatoria completa del polinomio de Jones-Kauffman.
3. Completitud teórica: Se demuestran propiedades clave como invariancia y relaciones skein, estableciendo un marco teórico completo.

Limitaciones

1. Restricción del alcance de aplicabilidad:
   • Solo aplicable a enlaces virtuales coloreables en tablero de ajedrez
   • No puede manejar enlaces virtuales generales (aunque estos ya tienen otros métodos disponibles)
2. Complejidad computacional:
   • Requiere enumerar todos los circuitos eulerianos, cuya cantidad puede crecer exponencialmente con la complejidad del grafo
   • El artículo no discute la complejidad algorítmica ni la eficiencia computacional práctica
3. Intuición geométrica:
   • La definición de palabras de actividad es bastante abstracta, careciendo de interpretación geométrica o topológica clara
   • El significado combinatorio de los 8 estados no es suficientemente claro
4. Limitaciones de aplicación:
   • Solo proporciona un ejemplo de cálculo
   • No explora aplicaciones del método en otros problemas (como identificación de nudos, cálculo de invariantes)

Direcciones Futuras

El artículo no propone explícitamente direcciones futuras, pero las posibles direcciones de investigación incluyen:

1. Generalización a enlaces virtuales generales: ¿Se puede modificar la definición para aplicarla al caso no coloreables en tablero de ajedrez?
2. Optimización algorítmica: Desarrollar algoritmos eficientes para reducir la enumeración de circuitos eulerianos, o encontrar métodos de cálculo recursivo.
3. Interpretación combinatoria más profunda: Explorar el significado combinatorio o topológico más profundo de palabras de actividad y estados de vértices.
4. Relaciones con otros invariantes: Investigar la relación entre $X_G(q)$ y otros polinomios de grafos o invariantes de nudos.
5. Extensión de aplicaciones: Aplicaciones en clasificación de nudos, estimación de número de cruces y otros problemas.

Evaluación Profunda

Ventajas

1. Innovación del Método

• Construcción novedosa: Aunque el uso de circuitos eulerianos no es nuevo, su combinación con el sistema de palabras de actividad y técnicas de grafos de entrelazamiento forma una metodología única.
• Directividad: Comparado con el polinomio de Bollobás-Riordan que requiere construir grafos de cinta, este método opera directamente en grafos 2-dirigidos, con conceptos más claros.

2. Rigor Teórico

• Pruebas completas: La prueba del Teorema 3.1 ocupa 8 páginas, analizando detalladamente todos los casos posibles, utilizando argumentos de emparejamiento y tablas para presentar claramente.
• Profundidad técnica: Utiliza ampliamente grafos de entrelazamiento, operaciones pivot y otras técnicas avanzadas de teoría de grafos, con considerable contenido técnico.
• Sistema de lemas: Establece una serie de lemas (4.8-4.12) que apoyan el teorema principal, con cadena lógica clara.

3. Valor de los Resultados

• Nueva perspectiva combinatoria: Proporciona la quinta representación combinatoria principal del polinomio de Jones-Kauffman (después de Thistlethwaite y tres métodos de Bollobás-Riordan).
• Ventaja de especialización: Para el caso coloreables en tablero de ajedrez puede ser más efectivo que métodos generales.

4. Calidad de Escritura

• Estructura clara: Conocimientos preliminares, resultados principales y pruebas están bien organizados.
• Notación estándar: El uso de símbolos matemáticos es estándar, con definiciones claras.
• Ejemplos suficientes: Proporciona diagramas concretos y ejemplos de cálculo para ayudar a la comprensión.

Insuficiencias

1. Practicidad Cuestionable del Método

• Análisis de complejidad computacional ausente: El número de circuitos eulerianos puede ser muy grande (en el Ejemplo 3.5 con solo 5 vértices hay 9), pero el artículo no discute la complejidad.
• Comparación con métodos existentes ausente: No compara eficiencia computacional, no está claro si tiene ventajas sobre el cálculo directo del corchete de Kauffman u otros métodos.

2. Profundidad Teórica Limitada

• Interpretación combinatoria insuficiente: Los 8 estados de actividad carecen de interpretación clara de significado combinatorio o topológico.
• Perspectivas nuevas limitadas: Principalmente reexpresa el polinomio de Jones-Kauffman ya conocido, sin producir nuevas perspectivas en teoría de nudos.
• Claridad de generalización insuficiente: ¿Por qué este método solo es aplicable al caso coloreables en tablero de ajedrez? ¿Se puede generalizar?

3. Verificación Experimental Insuficiente

• Ejemplo único: Solo proporciona un ejemplo con 5 vértices, careciendo de ejemplos más complejos o diversos.
• Aplicaciones ausentes: No muestra aplicaciones del método en problemas prácticos (como cálculo de tablas de nudos, verificación de invariantes).
• Experimentos comparativos ausentes: No hay comparación práctica de eficiencia computacional o conveniencia con otros métodos.

4. Problemas de Detalles Técnicos

• Tablas 3 y 4: Aunque exhaustivas, son demasiado largas, posiblemente permitiendo argumentos más concisos.
• Notación compleja: Abundancia de subíndices y superíndices (como $((\gamma^{v_iv_j})^{v_iv_j})$) aumenta la dificultad de lectura.
• Falta de intuición geométrica: Aunque el proceso de construcción es riguroso, carece de ilustraciones geométricas para ayudar a la comprensión.

5. Limitaciones de la Revisión de Literatura

• Motivación insuficientemente clara: No explica claramente por qué se necesita una quinta representación combinatoria, qué deficiencias específicas tienen los métodos existentes.
• Comparación de trabajos relacionados superficial: Solo enumera trabajos relacionados sin comparar profundamente las ventajas y desventajas de cada método.

Evaluación de Impacto

Contribución Académica

• Valor teórico: Proporciona una nueva herramienta para la teoría de nudos virtuales, enriqueciendo la teoría combinatoria del polinomio de Jones.
• Rango de influencia: Principalmente influye en el campo de intersección de teoría de nudos y teoría de grafos, con influencia limitada en teoría de nudos pura o teoría de grafos pura.
• Potencial de citación: Moderado, probablemente será citado por estudiosos que investigan nudos virtuales o polinomios de grafos, pero es poco probable que se convierta en un artículo altamente citado.

Valor Práctico

• Herramienta computacional: La practicidad es cuestionable a menos que se demuestre ventaja computacional.
• Valor educativo: Puede servir como caso de estudio para demostrar técnicas de circuitos eulerianos y conexiones grafo-nudo.

Reproducibilidad

• Reproducibilidad teórica: Las definiciones y pruebas son detalladas, los resultados teóricos son completamente reproducibles.
• Reproducibilidad computacional: Se proporciona un algoritmo concreto, en principio programable, pero el artículo no proporciona código.
• Facilidad de verificación: Los resultados pueden verificarse mediante tablas de polinomios de Jones conocidos.

Escenarios de Aplicabilidad

Investigación Teórica

1. Invariantes de nudos virtuales: Investigar propiedades y clasificación de nudos virtuales coloreables en tablero de ajedrez.
2. Polinomios de grafos: Investigar conexiones entre polinomios de grafos e invariantes topológicos.
3. Teoría combinatoria de nudos: Buscar interpretaciones combinatorias de invariantes de nudos.

Aplicaciones Computacionales

1. Nudos a pequeña escala: Para nudos con pocos vértices, pueden calcularse manualmente o programarse.
2. Verificación teórica: Verificar resultados de cálculos del polinomio de Jones o propiedades.
3. Categorías especiales: Investigación computacional especializada de nudos coloreables en tablero de ajedrez.

Escenarios No Aplicables

1. Cálculo a gran escala: La explosión del número de circuitos eulerianos lo hace inadecuado para nudos complejos.
2. Enlaces virtuales generales: No puede manejar casos no coloreables en tablero de ajedrez.
3. Aplicaciones en tiempo real: La complejidad computacional lo hace difícil de usar en aplicaciones que requieren respuesta rápida.

Evaluación General

Calidad Académica: B+

Este es un artículo de teoría de nudos técnicamente riguroso y teóricamente completo. Los autores establecen exitosamente una nueva representación polinomial basada en circuitos eulerianos para enlaces virtuales coloreables en tablero de ajedrez, con pruebas detalladas y correctas. Sin embargo, el artículo tiene insuficiencias en la aclaración de motivación, análisis de practicidad y demostración de aplicaciones, limitando su impacto.

Innovación: B

El método tiene cierta novedad, pero esencialmente es una nueva representación de un resultado conocido (polinomio de Jones-Kauffman), sin producir nuevas perspectivas en teoría de nudos. Técnicamente, el uso ingenioso de circuitos eulerianos y grafos de entrelazamiento es sofisticado, pero las ideas básicas no son completamente nuevas.

Importancia: B

Proporciona una nueva herramienta para una categoría específica de nudos virtuales, enriqueciendo el conjunto de métodos en el campo. Sin embargo, el alcance de aplicabilidad es limitado (solo coloreables en tablero de ajedrez) y no se demuestra ventaja clara sobre métodos existentes, limitando su importancia.

Recomendación: Recomendado para investigadores en teoría de nudos virtuales y teoría combinatoria de nudos

Para estudiosos que investigan invariantes de nudos virtuales, polinomios de grafos o métodos combinatorios en teoría de nudos, este es un artículo que vale la pena leer. Sin embargo, para investigadores generales en teoría de nudos o teoría de grafos, su atractivo es limitado.

Referencias (Literatura Clave)

1. Kauffman, L. (1999): Virtual Knot Theory - Trabajo fundamental en teoría de nudos virtuales
2. Bollobás, B., Riordan, O. (2002): A polynomial of graphs on surfaces - Polinomio de Bollobás-Riordan
3. Chmutov, S., Pak, I. (2007): The Kauffman bracket and Bollobás-Riordan polynomial - Trabajo anterior en caso coloreables en tablero de ajedrez
4. Arratia, R., Bollobás, B., Sorkin, G.B. (2004): The interlace polynomial - Polinomio de entrelazamiento y técnicas de circuitos eulerianos
5. Manturov, V.O. (2009, 2011): Embeddings of 4-valent framed graphs - Caracterización equivalente de colorabilidad en tablero de ajedrez
6. Kamada, N. (2002, 2004): Jones polynomials of checkerboard-colorable virtual knots - Propiedades del polinomio de Jones de nudos virtuales coloreables en tablero de ajedrez