Vue d'ensemble
Pour chacune des cinq représentations $\chi_{2j+1}$, $j \in \{\tfrac12, 1, \tfrac32, 2, \tfrac52\}$, obtenues en restreignant la représentation de spin-$j$ de $\mathrm{SU}(2)$ au groupe icosaédral binaire $2I$, ce papier démontre un théorème conditionnel. Étant donné un support bipartite $V_{\chi_{2j+1}} \otimes V_{\chi_{2j+1}}$ — une structure de composition fournie, non dérivée d'un quelconque axiome d'admissibilité — et l'hypothèse explicite qu'un état sur ce support est invariant sous l'action diagonale de $2I$, l'état est exactement le singulet $\mathrm{SU}(2)$ $|\Omega_j\rangle = \tfrac{1}{\sqrt{2j+1}}\sum_m(-1)^{j-m}|m\rangle|-m\rangle$, à une phase près.
La preuve utilise $(V_j \otimes V_j)^{2I} \cong \mathrm{Hom}_{2I}(V_j^*, V_j)$, de dimension un par le lemme de Schur dès lors que la restriction de $V_j$ à $2I$ est irréductible et auto-duale — ce qui vaut pour les cinq secteurs, un cas de la correspondance de McKay classique pour le groupe icosaédral binaire. Une fois le singulet obtenu, le corrélateur à deux points suit par un calcul de trace explicite : $E(\hat a,\hat b) = -\tfrac{j(j+1)}{3}(\hat a\cdot\hat b)$.
Contributions principales
- Singulet invariant unique, pour tout $j$ : sous l'hypothèse explicite (H-inv) selon laquelle l'état conjoint est invariant diagonalement sous $2I$, l'état est exactement $|\Omega_j\rangle$ pour chacun des cinq secteurs admissibles — démontré via $(V_j\otimes V_j)^{2I} \cong \mathrm{Hom}_{2I}(V_j^*,V_j)$, de dimension un par le lemme de Schur, étant donné l'irréductibilité et l'auto-dualité du module restreint.
- Correspondance de McKay pour $2I$ : les cinq restrictions irréductibles (dimensions 2, 3, 4, 5, 6) tracent exactement le bras linéaire du diagramme de Dynkin affine $E_8$ engendré par produit tensoriel avec la représentation de définition, se terminant parce que la restriction suivante (dimension 7) est réductible.
- Corrélateur de Casimir : une fois le singulet obtenu, un calcul de trace explicite donne $E(\hat a,\hat b) = -\tfrac{j(j+1)}{3}(\hat a\cdot\hat b)$ pour les cinq secteurs.
- Portée : ce papier ne dérive pas (H-inv) depuis l'admissibilité ni depuis un quelconque argument d'indiscernabilité de Born–Infeld, ne dérive ni cohérence de phase, ni règle de Born, ni borne de type CHSH/Tsirelson, et ne sélectionne aucun secteur comme physiquement privilégié.
Remarque interprétative
Lu comme un point méthodologique : le théorème montre précisément ce qu'apporte une simple hypothèse d'invariance diagonale, sur un support bipartite fourni — un état unique, pour chacun des cinq secteurs, forcé par le seul lemme de Schur une fois établies l'irréductibilité et l'auto-dualité du module sous-jacent de $2I$. Le théorème du corrélateur calcule ensuite explicitement les moments d'ordre deux de cet état. Aucun des deux théorèmes ne dérive l'hypothèse dont il part, et aucun ne constitue en soi un principe de sélection physique, une loi de probabilité ou une inégalité de type Bell ; chacun nécessiterait son propre pont, énoncé et démontré séparément.
Position dans le programme
Ce papier partage sa portée à cinq secteurs avec le résultat de dégénérescence de valeur propre de Q2, qui fixe les secteurs concernés, mais ne dépend pas du calcul de valeur propre spécifique de Q2 pour son propre argument. Il ne dépend pas de Q1, dont le contenu démontré (un théorème de rigidité du support de Fourier, inconditionnel) est sans rapport avec le théorème conditionnel du singulet présenté ici. Le contrat fini de composition effective typant le support bipartite comme un « croisement K4 » fourni est discuté dans la remarque de portée propre au papier.
Directions ouvertes
- Dériver (H-inv). Savoir si l'hypothèse d'invariance diagonale sous $2I$ découle d'un principe d'admissibilité ou dynamique plus profond, énoncé séparément — plutôt que d'être fournie comme hypothèse — reste ouvert.
- Le support bipartite lui-même. Dériver $V_j \otimes V_j$, ou une couche générale d'états et d'effets dont il serait une instance, depuis une structure plus primitive, est une direction de programme distincte et ouverte.
- Extension multipartite. Les cinq secteurs posent la question d'états mêlant plus de deux secteurs ou plus de deux parties ; la présente construction à une seule paire ne traite pas cette question.
Référence
Jérôme Beau, Diagonal 2I-Invariance Selects the Universal Spin-j Singlet and Its Casimir Correlator, 2026. doi:10.5281/zenodo.19979535