The View from Within: What Can Embedded Observers (Not) Learn?

Résumé technique : « La vue de l'intérieur : que peut (ne pas pouvoir) apprendre un observateur embarqué ? »

Énoncé du problème
La physique classique adopte traditionnellement une perspective à la troisième personne, supposant une réalité indépendante de l'observateur où les propriétés sont mesurables avec précision et les perturbations sont rectifiables. Cependant, les observateurs sont eux-mêmes des systèmes physiques embarqués dans le monde qu'ils observent. Cet article étudie la tension entre la description à la troisième personne des lois physiques et la perspective à la première personne d'un observateur embarqué. Plus précisément, il pose la question suivante : quelles limitations sur l'apprentissage (horizons épistémiques) apparaissent pour un observateur qui est un système physique interagissant avec un autre système, même dans un cadre classique entièrement déterministe ? Les auteurs cherchent à déterminer si des limites fondamentales à la connaissance, analogues à l'incertitude quantique, peuvent émerger des contraintes physiques du processus d'observation lui-même, plutôt que de restrictions épistémiques postulées.

Méthodologie
Les auteurs emploient une « théorie jouet nomique », un modèle classique déterministe de particules possédant des coordonnées de position et de quantité de mouvement définies sur un espace vectoriel symplectique. Le cadre formalise quatre aspects clés de l'apprentissage (Figure 1) :

1. Théorie physique fondamentale : La cinématique et la dynamique des particules classiques (applications symplectiques et opérations de mise au rebut).
2. Variable manifeste : La variable physique du sujet (l'observateur) qui constitue son enregistrement empirique. Les auteurs considèrent trois types :
   • Triviale : l'enregistrement ne porte aucune information.
   • Poisson : l'enregistrement distingue seulement un grossissement de l'état du sujet (par exemple, une projection de position), représentant une connaissance de soi partielle.
   • Complète : l'enregistrement est l'état ontique complet du sujet, représentant une connaissance de soi complète.
3. États prêts (Ready States) : Les ressources informationnelles initiales disponibles pour le sujet (le « système prêt » $R$). Elles sont définies par la variabilité de l'état initial :
   • Triviale : aucune contrainte sur l'état initial ($V=R$).
   • Poisson : l'état initial est contraint à un sous-espace coisotrope (information partielle).
   • Complète : l'état initial est fixé ($V=\{0\}$).
4. Type d'apprentissage : La direction temporelle et la répétabilité de l'interaction :
   • Rétrodiction : apprendre l'état passé de l'objet.
   • Prédiction : apprendre l'état futur de l'objet.
   • Mesures répétables : interactions où l'information rétrodite persiste dans l'objet, permettant l'apprentissage simultané du passé et du futur.

L'apprentissage est modélisé comme une interaction physique (mesure) $M: B \oplus R \to B \oplus S$, où $B$ est l'objet, $R$ le système prêt, et $S$ le sujet. Les auteurs analysent le « sous-espace rétrodictivement inaccessible » ($I_{ret}$) et le « sous-espace prédictivement inaccessible » ($I_{pre}$) pour déterminer quelles variables de l'objet peuvent être inférées à partir de l'enregistrement du sujet.

Contributions clés et résultats
L'article cartographie systématiquement les horizons épistémiques pour toutes les combinaisons de variables manifestes, d'états prêts et de types d'apprentissage (résumées dans les Tables 2–4). Les principales conclusions sont :

1. Émergence d'horizons épistémiques dans le déterminisme : Même dans une théorie classique déterministe, les observateurs embarqués font face à des limitations fondamentales sur ce qu'ils peuvent apprendre. Ces horizons ne sont pas postulés mais dérivés des contraintes physiques de l'interaction et des ressources de l'observateur.
2. Le principe de l'équilibre de la connaissance : Pour des sujets ayant des variables manifestes Poisson et des états prêts Poisson, l'article retrouve le principe d'équilibre de la connaissance de Spekkens : un sujet peut apprendre au plus la moitié des degrés de liberté de l'objet. Plus précisément, seules les variables de Poisson (celles ayant des noyaux coisotropes) peuvent être apprises. Cela restitue les caractéristiques épistémiques de la théorie jouet de Spekkens et, par extension, de la sous-théorie des stabilisateurs de la mécanique quantique pour les systèmes de dimension impaire.
3. La nécessité des contraintes sur l'état prêt : Les auteurs démontrent qu'une connaissance de soi partielle (variables manifestes Poisson) est insuffisante pour générer un horizon épistémique.
   • Si un sujet possède une variable manifeste Poisson mais un accès à des états prêts complets, il peut rétrodire l'état ontique complet de n'importe quel objet (pas d'horizon épistémique).
   • Cependant, si le sujet possède une variable manifeste complète (connaissance de soi totale) mais seulement des états prêts Poisson, un horizon épistémique non trivial persiste si et seulement si la mesure doit être répétable. Dans ce cas, seules les variables de Poisson peuvent être rétrodites de manière répétable.
4. Asymétrie entre rétrodiction et prédiction :
   • La rétrodiction est généralement moins contrainte que la prédiction. Par exemple, un sujet avec une variable manifeste complète et des états prêts Poisson peut rétrodire n'importe quelle variable (Corollaire 3.4) mais fait face à un horizon d'équilibre de la connaissance pour la rétrodiction répétable (Théorème 3.8).
   • La prédiction est sensible à la perturbation de la mesure. Avec des états prêts triviaux, la prédiction est impossible (horizon épistémique total) car les applications surjectives ne peuvent pas créer de corrélations à partir d'entrées non contraintes. Avec des états prêts Poisson, la prédiction est limitée aux variables de Poisson (Théorème 3.11).
5. La répétabilité comme contrainte forte : Les mesures répétables imposent des limites plus strictes que la rétrodiction ou la prédiction seules. Elles exigent que l'information rétrodite soit préservée dans l'objet, exclignant de fait les interactions qui se contentent d'échanger des états ou de perturber l'objet pour encoder l'information. L'article prouve que pour les mesures répétables, l'horizon épistémique est déterminé entièrement par les états prêts disponibles, et non par la seule variable manifeste.

Signification et revendications
L'article affirme fournir un langage et des outils formels pour étudier comment la perspective à la première personne diffère de la perspective à la troisième personne au-delà des simples modèles jouets. Sa signification réside dans :

• Dériver l'incertitude à partir du physicalisme : Il montre que des limitations de type incertitude (horizons épistémiques) peuvent émerger naturellement de la constitution physique de l'observateur et de la nature des interactions physiques, sans invoquer le principe d'équilibre de la connaissance comme un postulat fondamental.
• Clarifier le rôle des ressources : Il distingue les rôles de la connaissance de soi (variables manifestes) et de l'information initiale (états prêts). Les auteurs soutiennent que l'horizon épistémique dérivé dans leur travail précédent [26] n'était pas uniquement dû à une connaissance de soi partielle, mais reposait de manière critique sur l'hypothèse d'une information initiale imparfaite (états prêts Poisson).
• Connexion avec la théorie quantique : Les résultats suggèrent que des caractéristiques de type quantique (spécifiquement la sous-théorie des stabilisateurs) peuvent émerger dans une ontologie déterministe lorsque les observateurs sont limités à des états prêts Poisson. Cela offre une voie potentielle pour expliquer l'incertitude inhérente à la théorie quantique du point de vue des observateurs embarqués.
• Perspectivisme : Le cadre soutient un « perspectivisme physique modéré », où une description neutre de la perspective existe, mais où l'apparence du système (état épistémique) dépend des ressources physiques spécifiques du sujet et de ses interactions.

Les auteurs restent modestes, notant que l'extension de ces résultats à la pleine théorie quantique est non triviale en raison des problèmes d'interprétation concernant les états ontiques et la séparabilité des sujets et des objets. Ils ne prétendent pas dériver la mécanique quantique complète, mais plutôt identifier les conditions structurelles sous lesquelles des restrictions épistémiques de type quantique émergent dans un cadre classique.