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

Résumé Technique : Appariements Équivariants Optimaux sur l'Hypercube de Dimension 6

Énoncé du Problème
L'article étudie le problème de la recherche d'appariements parfaits optimaux sur l'hypercube booléen $\{0, 1\}^6$, qui représente les 64 hexagrammes de l'I Ching. L'étude se concentre sur les appariements équivariants sous l'action du groupe de Klein à quatre éléments $K_4 = \langle \text{comp}, \text{rev} \rangle$, généré par le complément bit à bit ($\text{comp}$) et l'inversion des bits ($\text{rev}$). L'objectif principal est de déterminer quels appariements équivariants minimisent la distance de Hamming totale (la somme des distances entre les éléments appariés) et d'analyser comment l'inclusion de la conservation du poids de Hamming modifie le paysage d'optimisation. Plus précisément, l'article cherche à expliquer pourquoi la séquence historiquement significative du Roi Wen de l'I Ching correspond à une règle d'appariement spécifique.

Méthodologie
Les auteurs emploient une combinaison d'analyse combinatoire, de théorie des groupes et de vérification formelle :

1. Analyse de l'Action de Groupe : Les 64 sommets de l'hypercube sont partitionnés en orbites sous l'action de $K_4$. L'article distingue les orbites de taille 4 (hexagrammes génériques) et de taille 2 (palindromes et hexagrammes anti-symétriques).
2. Analyse des Coûts : La distance de Hamming $d_H$ est calculée pour tous les appariements possibles induits par les éléments du groupe : $\text{comp}$, $\text{rev}$, et $\text{comp} \circ \text{rev}$.
3. Le Lemme « Sans Conflit » : Un outil théorique central est le Lemme 2.12, qui établit que pour tout hexagramme $h$, les opérations $\text{comp}$ et $\text{rev}$ ne rivalisent jamais véritablement. Si $\text{rev}(h) \neq h$, alors $d_H(h, \text{rev}(h)) < d_H(h, \text{comp}(h)) = 6$. Si elles sont égales en coût, les options coïncident. Cela élimine les conflits d'optimisation globale, permettant à une règle « priorisant l'inversion » de type glouton de produire un optimum global.
4. Minimisation d'Énergie Pondérée : Pour résoudre la divergence entre l'appariement de Roi Wen et l'optimum de Hamming pur (qui autorise $\text{comp} \circ \text{rev}$), les auteurs introduisent une fonction d'énergie pondérée $E_{\alpha, \beta} = \alpha|\Delta w| + \beta d_H$, où $w$ est le poids de Hamming. Cela permet une analyse de la frontière de phase entre la préservation du poids et la minimisation de la distance.
5. Vérification Formelle : Tous les dénombrements d'orbites finies, les distinctions de cas et les vérifications computationnelles concernant les 32 paires de la séquence de Roi Wen ont été vérifiés en utilisant Lean 4 avec la bibliothèque Mathlib.

Résultats Clés

• Unicité de l'Appariement à Priorité d'Inversion (Théorème 1.1) : Parmi les appariements restreints aux appariements par $\text{comp}$ ou $\text{rev}$, il existe un appariement parfait unique qui minimise le coût total de Hamming. Cet appariement est défini par la règle de priorité d'inversion : appairer $h$ avec $\text{rev}(h)$ sauf si $h$ est un palindrome (où $\text{rev}(h)=h$), auquel cas l'appairer avec $\text{comp}(h)$.

  • Coût : Cet appariement a un coût total de Hamming de 120.
  • Comparaison : Ce coût est nettement inférieur à celui de l'appariement par complément uniquement, qui a un coût de 192.

• Isomorphisme avec la Séquence de Roi Wen (Théorème 1.2) : La séquence traditionnelle de Roi Wen de l'I Ching réalise exactement cet appariement unique à priorité d'inversion. Les 32 paires de la séquence correspondent précisément aux paires générées par la règle de priorité d'inversion.

• Optimalité de Hamming Pure vs Pondérée :

  • Si la contrainte est assouplie pour permettre l'action complète de $K_4$ (incluant $\text{comp} \circ \text{rev}$), le coût de Hamming pur peut être réduit à 96.
  • Cependant, la règle de Roi Wen est retrouvée comme l'optimum unique lorsque la préservation du poids de Hamming est priorisée. La règle de priorité d'inversion minimise d'abord les échecs de préservation du poids, puis la distance de Hamming.
  • Frontière de Phase (Théorème 4.9) : Dans le modèle d'énergie pondérée $E_{\alpha, \beta}$, le choix de priorité d'inversion (Roi Wen) est strictement optimal dès que $\alpha > \beta$. À $\alpha = \beta$, les choix sont équivalents ; pour $\alpha < \beta$, l'optimum de Hamming pur (utilisant $\text{comp} \circ \text{rev}$) est préféré.

• Contraintes Structurelles : L'article identifie que les 8 hexagrammes palindromiques forment 4 orbites de taille 2. Dans ces cas, l'inversion est triviale, forçant un appariement par complément qui échoue inévitablement à préserver le poids de Hamming. Cet échec est inévitable pour tout appariement équivariant non trivial sous $K_4$.

Signification et Revendications
L'article affirme que la séquence de Roi Wen n'est pas simplement un artefact historique mais est mathématiquement canonique. Elle représente la solution unique à un problème d'optimisation spécifique : minimiser la distance de Hamming parmi les appariements qui priorisent strictement la préservation du poids de Hamming (équilibre yin-yang).

Les auteurs soulignent que la nature « gloutonne » de la règle de Roi Wen fonctionne globalement en raison des propriétés arithmétiques spécifiques de l'hypercube de dimension 6 sous l'action de $K_4$. Le « Lemme Sans Conflit » garantit que les choix locaux (préférer l'inversion au complément) ne mènent jamais à une sous-optimalité globale au sein de la classe restreinte des appariements $\text{comp}/\text{rev}$. L'article conclut que la séquence de Roi Wen est stable sous un principe variationnel pondéré où la préservation du poids est valorisée plus hautement que la réduction de la distance ($\alpha > \beta$), fournissant une justification mathématique rigoureuse pour la structure de la séquence.

L'œuvre est modeste dans son ampleur, se concentrant strictement sur $n=6$ et le groupe $K_4$, notant que bien que des généralisations à $n$ existent, les conditions arithmétiques spécifiques qui éliminent les égalités ambiguës (spécifiquement concernant $n=6$) peuvent ne pas s'appliquer à toutes les dimensions.