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

Resumo Técnico: Emparelhamentos Equivariantes Ótimos no 6-Cubo

Enunciação do Problema
O artigo investiga o problema de encontrar emparelhamentos perfeitos ótimos no hipercubo booleano $\{0, 1\}^6$, que representa os 64 hexagramas do I Ching. O estudo foca em emparelhamentos que são equivariantes sob a ação do grupo de Klein $K_4 = \langle \text{comp}, \text{rev} \rangle$, gerado pelo complemento bit a bit ($\text{comp}$) e pela reversão de bits ($\text{rev}$). O objetivo principal é determinar quais emparelhamentos equivariantes minimizam a distância de Hamming total (a soma das distâncias entre elementos pareados) e analisar como a inclusão da conservação do peso de Hamming altera o cenário de otimização. Especificamente, o artigo busca explicar por que a sequência historicamente significativa do Rei Wen do I Ching corresponde a uma regra de emparelhamento específica.

Metodologia
Os autores empregam uma combinação de análise combinatória, teoria dos grupos e verificação formal:

1. Análise da Ação do Grupo: Os 64 vértices do hipercubo são particionados em órbitas sob a ação de $K_4$. O artigo distingue entre órbitas de tamanho 4 (hexagramas genéricos) e tamanho 2 (palíndromos e hexagramas antissimétricos).
2. Análise de Custo: A distância de Hamming $d_H$ é calculada para todos os pareamentos possíveis induzidos pelos elementos do grupo: $\text{comp}$, $\text{rev}$ e $\text{comp} \circ \text{rev}$.
3. O Lema "Sem Conflito": Uma ferramenta teórica central é o Lema 2.12, que estabelece que, para qualquer hexagrama $h$, as operações $\text{comp}$ e $\text{rev}$ nunca competem genuinamente. Se $\text{rev}(h) \neq h$, então $d_H(h, \text{rev}(h)) < d_H(h, \text{comp}(h)) = 6$. Se forem iguais em custo, as opções coincidem. Isso elimina conflitos de otimização global, permitindo que uma regra "greedy" de "prioridade de reversão" produza um ótimo global.
4. Minimização de Energia Ponderada: Para abordar a discrepância entre o emparelhamento do Rei Wen e o ótimo puro de Hamming (que permite $\text{comp} \circ \text{rev}$), os autores introduzem uma função de energia ponderada $E_{\alpha, \beta} = \alpha|\Delta w| + \beta d_H$, onde $w$ é o peso de Hamming. Isso permite uma análise de fronteira de fase entre a preservação de peso e a minimização de distância.
5. Verificação Formal: Todas as contagens de órbitas finitas, distinções de casos e verificações computacionais relativas aos 32 pares da sequência do Rei Wen foram verificadas usando Lean 4 com a biblioteca Mathlib.

Resultados Chave

• Unicidade do Emparelhamento de Prioridade de Reversão (Teorema 1.1): Entre emparelhamentos restritos a pareamentos $\text{comp}$ ou $\text{rev}$, existe um único emparelhamento perfeito que minimiza o custo total de Hamming. Este emparelhamento é definido pela regra de prioridade de reversão: pareie $h$ com $\text{rev}(h)$ a menos que $h$ seja um palíndromo (onde $\text{rev}(h)=h$), caso em que pareie-o com $\text{comp}(h)$.

  • Custo: Este emparelhamento tem um custo total de Hamming de 120.
  • Comparação: Isso é significativamente menor do que o emparelhamento apenas de complemento, que tem um custo de 192.

• Isomorfismo com a Sequência do Rei Wen (Teorema 1.2): A sequência tradicional do Rei Wen do I Ching realiza exatamente este único emparelhamento de prioridade de reversão. Os 32 pares na sequência correspondem precisamente aos pares gerados pela regra de prioridade de reversão.

• Hamming Puro vs. Optimalidade Ponderada:

  • Se a restrição for relaxada para permitir a ação completa de $K_4$ (incluindo $\text{comp} \circ \text{rev}$), o custo puro de Hamming pode ser reduzido para 96.
  • No entanto, a regra do Rei Wen é recuperada como o ótimo único quando a preservação do peso de Hamming é priorizada. A regra de prioridade de reversão minimiza primeiro as falhas de preservação de peso e, em segundo lugar, a distância de Hamming.
  • Fronteira de Fase (Teorema 4.9): No modelo de energia ponderada $E_{\alpha, \beta}$, a escolha de prioridade de reversão (Rei Wen) é estritamente ótima sempre que $\alpha > \beta$. Em $\alpha = \beta$, as escolhas empatam; para $\alpha < \beta$, o ótimo puro de Hamming (usando $\text{comp} \circ \text{rev}$) é preferido.

• Restrições Estruturais: O artigo identifica que os 8 hexagramas palíndromos formam 4 órbitas de tamanho 2. Nestes casos, a reversão é trivial, forçando um pareamento de complemento que inevitavelmente falha em preservar o peso de Hamming. Esta falha é inevitável para qualquer emparelhamento $K_4$-equivariante não trivial.

Significado e Alegações
O artigo alega que a sequência do Rei Wen não é meramente um artefato histórico, mas é matematicamente canônica. Ela representa a solução única para um problema de otimização específico: minimizar a distância de Hamming entre emparelhamentos que priorizam estritamente a preservação do peso de Hamming (equilíbrio yin-yang).

Os autores enfatizam que a natureza "greedy" da regra do Rei Wen funciona globalmente devido às propriedades aritméticas específicas do 6-cubo sob a ação de $K_4$. O "Lema Sem Conflito" garante que escolhas locais (preferir reversão sobre complemento) nunca levam à subotimalidade global dentro da classe restrita de emparelhamentos $\text{comp}/\text{rev}$. O artigo conclui que a sequência do Rei Wen é estável sob um princípio variacional ponderado onde a preservação de peso é valorizada mais altamente do que a redução de distância ($\alpha > \beta$), fornecendo uma justificação matemática rigorosa para a estrutura da sequência.

O trabalho é modesto em seu escopo, focando estritamente em $n=6$ e no grupo $K_4$, observando que, embora generalizações para $n$ existam, as condições aritméticas específicas que eliminam empates ambíguos (especificamente em relação a $n=6$) podem não valer para todas as dimensões.