Vue d’ensemble
L’article compagnon O4 examine une route candidate vers une borne structurelle sur l’exposant de cascade $\beta$ — le flux borné traduit en une estimation de taille de front via l’inégalité de Cheeger — et constate que cette route n’établit aucune borne : son argument comporte trois défauts indépendants. O5 n’importe rien d’O4 et teste une route différente, de nature représentation-théorique, sur la même cascade de relaxation LPS.
Le groupe engendré par les matrices de quaternions LPS est vérifié comme étant exactement $\mathrm{PSL}(2,\mathbb F_q)$ ou $\mathrm{PGL}(2,\mathbb F_q)$ (les deux cas se présentent parmi les $q$ testés), avec un graphe de Cayley symétrique et une table des caractères calculée par l’algorithme de Dixon et vérifiée via l’identité de Burnside, plutôt que transcrite depuis la classification classique.
La précaution centrale de l’article est que le poids de secteur naturel $\bar\mu_\rho$ — une moyenne de trace sur les six générateurs LPS — n’est pas une valeur propre du bloc de représentation correspondant, car ces six générateurs ne constituent qu’une petite partie de leur classe de conjugaison. Pour $q=13$, le spectre d’adjacence réel du graphe compte 55 valeurs propres distinctes contre seulement 9 moyennes de trace distinctes. Chaque construction de l’article est donc nommée et traitée comme un objet trace de caractère, jamais identifiée à une valeur propre spectrale prouvée.
Contributions principales
- Construction vérifiée du groupe et du graphe : les éléments du groupe sont canonicalisés par leur permutation induite sur $\mathbb{P}^1(\mathbb F_q)$ plutôt que par un quotient matriciel-scalaire ad hoc, reproduisant l’ordre exact du groupe sous forme close, un graphe de Cayley symétrique, et une croissance des coquilles conforme à l’arbre libre avant toute collision.
- Théorème de saturation par fonction de classe : pour tout encodage pondéré par fonction de classe $\pi_A(g)=(\kappa_\rho\chi_\rho(g))_{\rho}$, l’enveloppe $\mathcal R_A=\mathrm{span}\{\pi_A(g):g\in G\}$ a pour dimension $r_A=\mathrm{rank}(M_{\mathrm{tr}}D_\kappa)\le\mathrm{rank}(M_{\mathrm{tr}})\le|\mathrm{Cl}(G)|=O(q)$, bien en deçà de $|G|=O(q^3)$, car $\pi_A$ est constante sur les classes de conjugaison quels que soient les poids choisis. Un témoin générateur fini existe, mais une exploration explicite du graphe requiert bien davantage de sommets pour en trouver un.
- Résultat négatif pour les empreintes de transition fondées sur les caractères : elles s’effondrent vers une enveloppe fixe, de basse dimension, bien en deçà de la dimension ambiante trace-sélectionnée.
- Résultat négatif pour les proxys matriciels de dimension fixe : ils saturent leur propre petit espace ambiant en quelques coquilles, indépendamment de $q$.
- Empreinte fondée sur Steinberg : la seule construction à croissance ambiante véritablement $q$-structurelle, mais elle sature son rang ambiant complet dès les deux ou trois premières coquilles de distance graphique, pour chaque $q$ testé, ne laissant aucune fenêtre pré-saturation d’où extraire un exposant.
Interprétation
O5 est un résultat d’obstruction, non une construction de la véritable frontière spectrale. Il exclut les encodages finis par fonction de classe (trace de caractère) de la frontière de sommets comme source de la nouveauté riche, résolue mode par mode, dont un mécanisme de cascade viable aurait besoin — sans construire ni sélectionner cette frontière elle-même, résolue au niveau des valeurs propres.
- Les fonctions de classe fondées sur les sommets sont démontrablement trop rigides : le théorème de saturation les confine à une enveloppe abstraite de dimension $O(q)$, quels que soient les poids.
- Les empreintes de transition fondées sur les caractères plafonnent bien en deçà de leur propre dimension ambiante.
- Les proxys matriciels de dimension fixe saturent un petit espace ambiant trop vite pour être $q$-structurels.
- L’empreinte de Steinberg, la seule construction $q$-structurelle, sature si tôt qu’aucune fenêtre pré-saturation ne subsiste.
Une loi de redondance au niveau matriciel de la forme $\beta_{\mathrm{eff}}=1/(1/2+\alpha)$ n’est pas non plus soutenue par les constructions examinées ici : aucune construction testée ne fournit de régime où son exposant serait mesurable, et sa forme fonctionnelle coïncide avec une loi de conversion dont la Note de croissance de portée compagne prouve qu’elle ne se transporte pas nativement vers un autre substrat d’admissibilité.
Une véritable frontière résolue mode par mode, au niveau des valeurs propres — construite à partir des véritables blocs de représentation $A_\rho=\sum_{s}\rho(s)$ plutôt que de leur moyenne de trace — est une question distincte et plus difficile, laissée ouverte pour un futur article, sous son propre contrat.
Relation avec le programme Cosmochrony
O5 poursuit le problème ouvert laissé par la fenêtre phénoménologique $\beta^*\in(0.09,0.13)$ d’O3 et par la constatation d’O4 selon laquelle la route candidate qu’il examine vers une borne structurelle n’aboutit pas. L’admissibilité spectrale sélectionne les secteurs pertinents, la capacité spectrale et la rigidité de Gram contraignent la structure binaire admissible du groupe, la stratigraphie spectrale fixe l’organisation ADE à trois niveaux, et O1 ainsi qu’O3 restaurent l’ordre et amplifient la hiérarchie par croissance de la valence.
O5 ne clôt pas le problème de l’exposant de cascade. Il exclut les encodages finis par fonction de classe de la frontière de sommets comme source du mécanisme manquant, vérifié sur une fondation groupe/table des caractères corrigée et revue indépendamment, et resserre la recherche vers une construction véritablement résolue mode par mode, au niveau des valeurs propres — ouvrant naturellement vers O6.
Références
Jérôme Beau. Finite Character-Trace Saturation and the Limits of Vertex-Based Class-Function Cascades. Prépublication.