Résumé Technique : Déterminisme dans les Théories de Structure

1. Énoncé du Problème

Le document traite du problème formel de la canonicalisation au sein des théories de structures plurielles, motivé spécifólnie par les défaillances des systèmes de raisonnement et de décision assistés par les Grands Modèles de Langage (LLM). Dans ces systèmes, un modèle de langage propose des interprétations candidates tandis qu'une théorie de structure symbolique définit l'ensemble des interprétations admissibles.

Le problème central est l'hallucination, définie ici comme une « canonicalisation non supportée » : le système émet une réponse déterminée alors que l'ensemble sous-jacent d'interprétations admissibles ne s'est pas effondré en un singleton. Le papier pose la question suivante : Sous quelles conditions structurelles une théorie de structure est-elle habilitée à produire une interprétation unique ?

La plupart des cadres de structures de marché (et, par extension, de nombreuses théories formelles) sont non déterministes, permettant la coexistence de plusieurs interprétations valides à une même position. Le document cherche à formaliser les conditions structurelles suffisantes sous lesquelles une lecture canonique peut être construite et à classifier les mécanismes par lesquels cela se produit.

2. Méthodologie et Cadre

2.1 Théories de Structure

L'auteur formalise une Théorie de Structure comme un triplet $T = (\Sigma, A, I)$, où :

• $\Sigma$ est une signature.
• $A$ est un ensemble d'axiomes.
• $I = I_{core} \cup I_{ext}$ est une politique d'inférence (le papier se concentre sur $I_{core}$).

La théorie opère sur des entrées $(N, \Theta, \Pi)$ représentant les réalisations de marché, les paramètres et les preuves structurelles. La famille d'interprétations admissibles $P_T$ est l'ensemble de toutes les assignations cohérentes avec les axiomes $A$ et la politique d'inférence.

Contraintes sur $I_{core}$ :
La politique d'inférence est restreinte à une inférence positive et non rétractive :

• (R1) Forme de Règle Positive : Les règles n'ajoutent que des conclusions ; aucune ne les supprime.
• (R2) Absence de Négation par l'Échec : Les prémisses sont des conjonctions positives ; aucune règle ne repose sur l'absence d'un prédicat dérivé.
• (R3) Absence de Rétractation : Aucune règle ne retire des conclusions précédemment dérivées.

2.2 Taxonomie de la Non-Déterminisme

Le papier classifie la non-déterminisme en deux types selon la manière dont la pluralité se comporte sous le raffinement de l'évidence :

• Type E (Pluralité Épistémique) : La pluralité disparaît à mesure que l'évidence est raffinée. Si $|P_T| > 1$, il existe un ensemble d'évidence raffiné $\Pi'$ tel que $|P_T(\Pi')| = 1$. (Exemple : la théorie ICT).
• Type S (Pluralité Structurelle) : La pluralité persiste même à l'évidence maximale ($\Pi_{full}$).
  • Type S-fort : Une sous-classe de Type S où les interprétations admissibles distinctes à $\Pi_{full}$ n'ont aucun borne supérieure commune sous l'ordre de spécification $\preceq_{spec}$. (Exemple : la théorie de Wyckoff).

2.3 Forces de Canonicalisation

Le cadre distingue trois niveaux de canonicalisation :

1. Stabilisation par Clôture (Propriété 4') : Chaque graine admissible converge sous un opérateur vers un point fixe (dépendant de la graine).
2. Achèvement Global (Propriété 4) : Toutes les graines convergent vers un seul point fixe unique.
3. Déterminisme (AC-6) : Le point fixe unique est la seule interprétation admissible.

3. Contributions Clés et Résultats

3.1 Mécanismes Duaux pour la Canonicalisation

Le papier établit que la canonicalisation n'est pas un processus opérateur-théorique monolithique mais se divise en deux formes fondamentalement différentes :

• Achèvement par Opérateur (Type E) :

  • Applicable aux théories de Type E.
  • Utilise un opérateur d'achèvement ($D_{comp}$) qui ajoute itérativement des conclusions jusqu'à ce qu'un point fixe soit atteint.
  • Requiert : Clôture, comparabilité (N4-comp) et extension compatible (C5-E).
  • Résultat : Établit la Stabilisation par Clôture (4'). Atteindre l'Achèvement Global (4) ou AC-6 nécessite un résultat de confluence globale supplémentaire (Question Ouverte OQ-GC-1 pour l'ICT).

• Construction par Sélecteur (Type S-fort) :

  • Applicable aux théories de Type S-fort.
  • Utilise un sélecteur canonique ($\phi$) qui choisit un élément unique parmi les ensembles locaux en fonction d'un ordre intrinsèque à la théorie.
  • Requiert : Comparabilité intrinsèque à la théorie (N4-sel) et compatibilité globale des choix sélectionnés (C5-S).
  • Résultat : Atteint directement AC-6.
  • Résultat d'Impossibilité : Pour les théories de Type S-fort, l'Achèvement Global (Propriété 4) via un opérateur extensif est prouvé impossible car les interprétations incomparables manquent d'une borne supérieure commune.

3.2 Lemme de Construction (Théorème 6b)

Le papier fournit un lemme de construction établissant les conditions suffisantes pour l'existence de ces mécanismes :

• Branche d'Achèvement : $N0 + N3 + N4\text{-comp} + C5\text{-E} \implies D_{comp}$ existe au niveau de force (4').
• Branche de Sélection : $N0 + N1 + N4\text{-sel} + C5\text{-S} \implies PhaseClassify$ existe à AC-6.

Une découverte critique est que la comparabilité intrinsèque à la théorie (N4) est nécessaire. Un contre-exemple minimal ($T_{ce}$) démontre que la clôture seule (sans comparabilité) est insuffisante pour la canonicalisation.

3.3 Classification des Mécanismes (Théorème U3)

Sous réserve d'une hypothèse de couverture de réalisation (OQ-Realization), le papier classifie chaque mécanisme intrinsèque à la théorie réalisé au sein d'une grammaire spécifique en :

• Classe C (Achèvement) : Réalisé via la clôture saturée des règles élémentaires (3a) ou la clôture saturée gardée (3c). Ceux-ci satisfont les propriétés (1)–(4').
• Classe S (Sélection) : Réalisé via la sélection induite par les axiomes (3b).

Distinction clé sur la Monotonie :

• Les mécanismes purement calculables par $I_{core}$ (Classe C, 3a) sont monotones sous l'ordre de spécification $\preceq_{spec}$ (Lemme C).
• Les mécanismes gardés (Classe C, 3c) sont génériquement non-monotones. L'ajout d'un prédicat peut activer une garde qui supprime une dérivation, bloquant une conclusion qui aurait été déclenchée dans un état plus petit. Le papier fournit un témoin concret ($D_{comp}^{HTF}$) où la monotonie échoue.

3.4 Opérateurs Multi-Timeframe et Échelonnés

Le papier étend le cadre aux hiérarchies multi-timeframe en utilisant un opérateur échelonné $D_{comp}^{HTF} = D_L \circ D_H$.

• Non-Commutativité : Le papier prouve que l'achèvement échelonné est structurellement non commutatif. Spécifiquement, pour l'architecture brute à deux opérateurs, l'ordre $D_L \circ D_H$ (appliquer $D_H$ [HTF] d'abord, puis $D_L$ [LTF]) est la seule linéarisation préservant l'admissibilité. L'ordre inverse peut produire des états inadmissibles.
• Phase 2 (Multi-Opérateur) : Le papier résume les conditions d'existence pour la canonicalisation multi-opérateur, définissant un « écart de sécurité » $\Phi^*$. La faisabilité est équivalente à $\Phi^* = 0$. Il établit une hiérarchie de conditions de compatibilité : $GCC \implies RUCS \implies PLCS$.

3.5 Structure Catégorique

Le papier définit la Détermination comme un pseudo-foncteur partiel ($Det$) associant des paires de théories et de structures de comparabilité à leurs extensions canoniques. Cela fournit un modèle catégorique pour les théories récursives (ex: Elliott Wave).

4. Signification et Revendications

Le papier prétend fournir un cadre unifié pour comprendre comment et quand les théories de structure peuvent être rendues déterministes, en distinguant entre :

1. L'incertitude épistémique (résoluble par l'accumulation d'évidence via l'achèvement).
2. L'incomparabilité structurelle (nécessitant un mécanisme de sélection).

Revendications Modestes et Questions Ouvertes :

• Le papier n'établit pas que l'ICT (Type E) atteint la détermination AC-6 ; il établit seulement la Stabilisation par Clôture (4'). L'achèvement global pour l'ICT reste une question ouverte (OQ-GC-1).
• La classification des mécanismes (Théorème U3) est conditionnelle à l'hypothèse que toutes les opérations intrinsèques à la théorie tombent dans la grammaire (3a)/(3b)/(3c) (OQ-Realization).
• L'inférence "Type S $\to$ Sélection" est prouvée uniquement pour les théories de Type S-fort. Le cas générique de Type S reste ouvert (OQ-TypeS-Imp).
• Le résultat de non-commutativité est limité à l'« architecture brute à deux opérateurs » ; d'autres architectures avec des opérateurs de réparation ou des points fixes joints ne sont pas exclues.

Conclusion :
La principale contribution est la séparation formelle entre la canonicalisation par clôture et par sélection, l'identification de la non-monotonie dans les systèmes gardés, et la définition rigoureuse des conditions structurelles (N4, C5) requises pour habiliter une sortie unique. Ce cadre offre une base formelle pour diagnostiquer l'« hallucination » dans les systèmes assistés par LLM comme étant l'émission d'une réponse déterminée alors que l'ensemble admissible sous-jacent ne s'est pas effondré en un singleton.