Certified World Models as Sensing Clocks: Drift-Aware Deadlines for Active Perception

Résumé Technique : Les Modèles de Monde Certifiés comme Horloges de Perception

Énoncé du Problème
Les modèles de monde actuels peuvent prédire des états futurs mais manquent d'un mécanisme intrinsèque pour déterminer quand leurs prédictions expirent. Les agents s'appuyant sur des prédictions en boucle ouverte (« coasting » ou vol à vue) sont confrontés à un compromis critique : percevoir trop tard compromet la garantie de validité du modèle, tandis que percevoir trop tôt gaspille un budget de perception limité. Les approches existantes utilisent soit des périodes de replanification fixes (ignorant la fiabilité du modèle), soit des moniteurs réactifs qui n'agissent qu'après que les erreurs de prédiction ont déjà crû. Ce document traite du primitif manquant : une horloge de perception certifiée qui traduit l'horizon de validité d'un modèle de monde en une échéance opérationnelle pour déterminer quand un agent doit procéder à une nouvelle perception.

Méthodologie
La méthode proposée dérive une échéance de perception proactive à partir d'un modèle de monde équivariant et audité. L'innovation centrale est une méthode de déploiement sensible à la dérive qui corrige les horizons spectraux naïfs.

1. Horizon Spectral (Naïf) : Théoriquement, si l'erreur croît purement selon un taux d'expansion locale $\lambda$, l'échéance $T_\lambda$ est dérivée de $\log(\epsilon/e_0)/\lambda$. Cependant, les auteurs démontrent que sur de vrais modèles gelés, s'appuyer uniquement sur le taux de Lyapunov sur la variété ($\lambda$) surestime l'intervalle de vol à vue valide d'environ un ordre de grandeur.
2. Correction Sensible à la Dérive : L'échéance déployée est gouvernée par une enveloppe de dérive de déroulement native calibrée ($b^{UCB}_h$), qui capture le biais natif du modèle, le départ hors-variété et la dérive de déroulement que $\lambda$ omet.
   • La borne d'erreur réalisée est définie par : $r_h \le b^{UCB}_h + C e^{\lambda h}e_0 + \eta_h$.
   • Dans le régime de ressens complet (où l'erreur post-perception $e_0 \approx 0$), le terme spectral s'annule, et l'échéance se réduit à l'horloge de l'enveloppe de dérive : $T_{drift}(\epsilon) = \sup \{h : b^{UCB}_h \le \epsilon_{cert}\}$.
3. Le Certificat comme Horloge : Le système définit une métrique de Violation de Certificat par Intervalle Simultané (ICV) : la probabilité que l'erreur de prédiction dépasse une tolérance certifiée $\epsilon_{cert}$ à n'importe quel pas au sein d'un intervalle de vol à vue. L'échéance est fixée de telle sorte que cette probabilité soit bornée par une cible $\alpha$.

Contributions Clés
Le document présente quatre contributions positives spécifiques et énonce explicitement une limite :

1. Le Primitif d'Horloge de Perception : Une échéance de vol à vue certifiée qui contrôle la violation de certificat par intervalle simultané. Contra-irement aux horloges à période fixe ou aux moniteurs réactifs, il s'agit d'un déclencheur proactif fondé sur le certificat.
2. Méthode de Déploiement Sensible à la Dérive : La démonstration que les échéances déployables ne peuvent pas reposer uniquement sur $\lambda$. Le taux spectral sur la variété sert d'interface d'audit théorique, mais l'enveloppe de dérive de déroulement native porte la garantie réellement déployée.
3. Instanciation sur des Modèles Réels : La méthode a été instanciée sur un modèle de monde équivariant 3D VN-JEPA (Vector-Neuron Joint Embedding Predictive Architecture) gelé. L'horloge résultante a contrôlé avec succès l'ICV sur des intervalles tenus en réserve à travers plusieurs graines (seeds) et fragments de données (shards).
4. Base de Comparaison de Théorème de Contraste Réactif : Dans un benchmark synthétique où tous les ordonnanceurs partagent exactement le même modèle, l'horloge certifiée est restée valide sur la distribution de déploiement et a considérablement réduit les violations de queue événementielles (de 0,36 à 0,16) par rapport à l'ordonnancement par croyance attendue de mélange exact (MB-EIG) à budget de perception équivalent. Le MB-EIG nécessitait environ 3 fois plus de budget pour obtenir une protection similaire de la queue de distribution.

Résultats et Limites
Le document rapporte des résultats rigoureux tout en restreignant explicitement ses affirmations :

• Validation : Le primitif d'horloge de perception contrôle avec succès l'ICV sur le modèle VN-JEPA gelé (Étape 1b-lite).
• Risque de Queue : L'horloge certifiée surpasse les ordonnanceurs réactifs basés sur la croyance attendue pour gérer les intervalles « événementiels » rares et à haut risque (Étape 2A).
• Résultats Nuls (Limites) :
  • Temps d'avance (Lead-Time) : Dans des benchmarks à court horizon et dépendants de l'état, l'horloge certifiée n'a pas offert d'avantage de temps d'avance par rapport aux ordonnanceurs périodiques ou réactifs résiduels (Étape 2B).
  • Remplaçabilité : Dans le régime de ressens complet à court horizon, un horizon conforme empirique (non spectral) a égalé la validité et la performance de budget de l'horloge déployée. Cela suggère que le terme spectral n'est pas empiriquement dominant dans ce régime spécifique (Étape 2C-V).
  • Bord Spectral : Une exploration de réinitialisation partielle conçue pour activer le terme spectral ($\lambda$) n'a trouvé aucun avantage net en termes de budget par rapport aux horizons conformes (E0).

Signification et Revendications
Le document cadre explicitement sa contribution comme étant un nouveau primitif et une méthode de déploiement, et non une revendication de dominance empirique universelle.

• Ce qui est établi : L'interface « certificat-comme-horloge », qui transforme un horizon de validité en une échéance de re-perception opérationnelle, et la nécessité de corrections sensibles à la dérive pour le déploiement en conditions réelles.
• Ce qui n'est pas revendiqué : Les auteurs ne prétendent pas que les horloges spectrales dominent empiriquement tous les ordonnanceurs non spectraux (tels que les ordonnanceurs conformes ou robustes) dans tous les régimes.
• Identité Théorique : Ce travail relie les modèles de monde certifiés à l'inférence active, montrant que dans un modèle jouet gaussien, l'horloge certifiée et l'ordonnanceur de seuil épistémique paramètrent la même famille d'ordonnancement.

En résumé, l'article établit un cadre rigoureux pour déterminer quand un agent doit cesser le vol à vue et effectuer une nouvelle perception sur la base d'un horizon de validité certifié, tout en rapportant honnêtement que dans les régimes actuels de court horizon et de ressens complet, des méthodes conformes plus simples peuvent égaler les performances, laissant la supériorité de l'approche spectrale pour les régimes à plus long horizon ou de perception partielle comme travail futur.