Optimal Equivariant Matchings on the 6-Cube with an Application to the King Wen Sequence

Resumen Técnico: Emparejamientos Equivariantes Óptimos en el 6-Cubo

Enunciado del Problema
El artículo investiga el problema de encontrar emparejamientos perfectos óptimos en el hipercubo booleano $\{0, 1\}^6$, que representa los 64 hexagramas del I Ching. El estudio se centra en emparejamientos que son equivariantes bajo la acción del grupo de Klein $K_4 = \langle \text{comp}, \text{rev} \rangle$, generado por el complemento bit a bit ($\text{comp}$) y la reversión de bits ($\text{rev}$). El objetivo principal es determinar qué emparejamientos equivariantes minimizan la distancia de Hamming total (la suma de distancias entre elementos emparejados) y analizar cómo la inclusión de la conservación del peso de Hamming altera el paisaje de optimización. Específicamente, el artículo busca explicar por qué la secuencia históricamente significativa del Rey Wen del I Ching corresponde a una regla de emparejamiento específica.

Metodología
Los autores emplean una combinación de análisis combinatorio, teoría de grupos y verificación formal:

1. Análisis de la Acción del Grupo: Los 64 vértices del hipercubo se dividen en órbitas bajo la acción de $K_4$. El artículo distingue entre órbitas de tamaño 4 (hexagramas genéricos) y de tamaño 2 (palíndromos y hexagramas antisimétricos).
2. Análisis de Costos: Se calcula la distancia de Hamming $d_H$ para todos los emparejamientos posibles inducidos por los elementos del grupo: $\text{comp}$, $\text{rev}$ y $\text{comp} \circ \text{rev}$.
3. El Lema "Sin Conflicto": Una herramienta teórica central es el Lema 2.12, que establece que para cualquier hexagrama $h$, las operaciones $\text{comp}$ y $\text{rev}$ nunca compiten genuinamente. Si $\text{rev}(h) \neq h$, entonces $d_H(h, \text{rev}(h)) < d_H(h, \text{comp}(h)) = 6$. Si son iguales en costo, las opciones coinciden. Esto elimina conflictos de optimización global, permitiendo que una regla codiciosa de "prioridad a la reversión" produzca un óptimo global.
4. Minimización de Energía Ponderada: Para abordar la discrepancia entre el emparejamiento del Rey Wen y el óptimo puro de Hamming (que permite $\text{comp} \circ \text{rev}$), los autores introducen una función de energía ponderada $E_{\alpha, \beta} = \alpha|\Delta w| + \beta d_H$, donde $w$ es el peso de Hamming. Esto permite un análisis de la frontera de fase entre la preservación del peso y la minimización de la distancia.
5. Verificación Formal: Todos los conteos de órbitas finitas, distinciones de casos y comprobaciones computacionales relacionadas con las 32 parejas de la secuencia del Rey Wen fueron verificados utilizando Lean 4 con la biblioteca Mathlib.

Resultados Clave

• Unicidad del Emparejamiento con Prioridad a la Reversión (Teorema 1.1): Entre los emparejamientos restringidos a emparejamientos de $\text{comp}$ o $\text{rev}$, existe un emparejamiento perfecto único que minimiza el costo total de Hamming. Este emparejamiento se define por la regla de prioridad a la reversión: emparejar $h$ con $\text{rev}(h)$ a menos que $h$ sea un palíndromo (donde $\text{rev}(h)=h$), en cuyo caso emparejarlo con $\text{comp}(h)$.

  • Costo: Este emparejamiento tiene un costo total de Hamming de 120.
  • Comparación: Esto es significativamente menor que el emparejamiento solo de complemento, que tiene un costo de 192.

• Isomorfismo con la Secuencia del Rey Wen (Teorema 1.2): La secuencia tradicional del Rey Wen del I Ching realiza exactamente este emparejamiento único con prioridad a la reversión. Las 32 parejas en la secuencia corresponden precisamente a las parejas generadas por la regla de prioridad a la reversión.

• Hamming Puro vs. Optimalidad Ponderada:

  • Si la restricción se relaja para permitir la acción completa de $K_4$ (incluyendo $\text{comp} \circ \text{rev}$), el costo de Hamming puro puede reducirse a 96.
  • Sin embargo, la regla del Rey Wen se recupera como el óptimo único cuando se prioriza la preservación del peso de Hamming. La regla de prioridad a la reversión minimiza primero los fallos de preservación del peso y, en segundo lugar, la distancia de Hamming.
  • Frontera de Fase (Teorema 4.9): En el modelo de energía ponderada $E_{\alpha, \beta}$, la elección de prioridad a la reversión (Rey Wen) es estrictamente óptima siempre que $\alpha > \beta$. En $\alpha = \beta$, las opciones empatan; para $\alpha < \beta$, se prefiere el óptimo puro de Hamming (usando $\text{comp} \circ \text{rev}$).

• Restricciones Estructurales: El artículo identifica que los 8 hexagramas palíndromos forman 4 órbitas de tamaño 2. En estos casos, la reversión es trivial, forzando un emparejamiento de complemento que inevitablemente falla en preservar el peso de Hamming. Este fallo es inevitable para cualquier emparejamiento $K_4$-equivariante no trivial.

Significado y Afirmaciones
El artículo afirma que la secuencia del Rey Wen no es meramente un artefacto histórico, sino que es matemáticamente canónica. Representa la solución única a un problema de optimización específico: minimizar la distancia de Hamming entre emparejamientos que priorizan estrictamente la preservación del peso de Hamming (equilibrio yin-yang).

Los autores enfatizan que la naturaleza "codiciosa" de la regla del Rey Wen funciona globalmente debido a las propiedades aritméticas específicas del 6-cubo bajo la acción de $K_4$. El "Lema Sin Conflicto" asegura que las elecciones locales (preferir la reversión sobre el complemento) nunca conducen a una suboptimalidad global dentro de la clase restringida de emparejamientos $\text{comp}/\text{rev}$. El artículo concluye que la secuencia del Rey Wen es estable bajo un principio variacional ponderado donde la preservación del peso se valora más que la reducción de la distancia ($\alpha > \beta$), proporcionando una justificación matemática rigurosa para la estructura de la secuencia.

El trabajo es modesto en su alcance, centrándose estrictamente en $n=6$ y el grupo $K_4$, señalando que, aunque existen generalizaciones para $n$, las condiciones aritméticas específicas que eliminan empates ambiguos (específicamente con respecto a $n=6$) pueden no sostenerse para todas las dimensiones.