Delay-Penalty Comparison for Sequential Testing and Quickest Detection in State-Dependent Diffusion Models

Résumé technique : Comparaison des pénalités de délai pour les tests séquentiels et la détection rapide dans les modèles de diffusion dépendant de l'état

Énoncé du problème
L'article traite de deux problèmes fondamentaux de l'analyse séquentielle : le test d'hypothèse séquentiel et la détection bayésienne rapide (le problème du désordre). Dans les deux contextes, un observateur surveille un processus de diffusion $X_t$ dont la dérive bascule entre deux alternatives ($\mu_0$ et $\mu_1$) à un instant inobservable ou sous une hypothèse inconnue. La caractéristique distinctive de ce travail est l'hypothèse de rapports signal sur bruit dépendants de l'état, où le coefficient de diffusion $\sigma(X_t)$ et la différence de dérive $\mu_1(X_t) - \mu_0(X_t)$ dépendent de l'observation actuelle.

Dans les modèles standards avec des rapports signal sur bruit constants, la probabilité a posteriori (ou le rapport de vraisemblance) forme un état de Markov unidimensionnel fermé. Cependant, lorsque le rapport signal sur bruit est dépendant de l'état, la probabilité a posteriori seule est insuffisante pour décrire l'évolution du système. La statistique suffisante naturelle devient le processus augmenté $(\Pi_t, X_t)$, composé de la probabilité a posteriori $\Pi_t$ et de la diffusion observée $X_t$. Cela résulte en un processus de diffusion multidimensionnel et dégénéré. L'article se concentre sur la comparaison statique de ces problèmes : plus précisément, comment les règles d'arrêt optimal (seuils d'alarme) changent lorsque la structure de la pénalité de délai (coût courant) change, plutôt que de chercher des solutions explicites pour des modèles spécifiques.

Méthodologie
Les auteurs emploient un cadre unifié basé sur la théorie de l'arrêt optimal et le filtrage :

1. Réduction par filtrage : L'article établit d'abord que pour les diffusions dépendantes de l'état, la paire $(\Pi_t, X_t)$ (ou équivalemment le processus de cotes $(\Phi_t, X_t)$) constitue une statistique suffisante de Markov homogène dans le temps. Les auteurs dérivent le générateur dégénéré $\mathcal{L}$ explicite pour ce processus augmenté. La dégénérescence provient du fait que les deux coordonnées sont pilotées par un unique mouvement brownien d'innovation, ce qui entraîne une matrice de diffusion dont le déterminant est nul.
2. Formulation de l'arrêt optimal : Les tests séquentiels et la détection rapide sont tous deux réduits à la minimisation d'une fonctionnelle de coût de la forme :
   $$V(y) = \inf_{\tau} \mathbb{E}_y \left[ \int_0^\tau f(Y_s) ds + G(Y_\tau) \right]$$
   où $Y$ est l'état de Markov, $f$ est le coût courant (délai ou coût d'échantillonnage) et $G$ est le coût terminal (erreur ou coût de fausse alarme). La fonction de valeur $V$ satisfait une inégalité variationnelle (ou un système de complémentarité) impliquant le générateur $\mathcal{L}$.
3. Principe de comparaison : La contribution méthodologique centrale est un théorème de comparaison de la pénalité de délai. Au lieu de résoudre l'inégalité variationnelle, les auteurs comparent deux problèmes ayant le même coût terminal $G$ et le même processus d'état $Y$, mais avec des coûts courants différents $f_1$ et $f_2$. En établissant un ordre ponctuel des coûts courants, ils dérivent un ordre des fonctions de valeur, des régions de continuation et des temps d'arrêt optimaux.

Contributions clés et résultats

• Identification d'un état de Markov unifié : L'article prouve rigoureusement que pour les diffusions dépendantes de l'état, la probabilité a posteriori n'est pas un état de Markov fermé. La statistique suffisante fermée est le processus augmenté $(\Pi_t, X_t)$, et les auteurs fournissent le générateur explicite pour ce processus, soulignant sa nature elliptique dégénérée.
• Théorème de comparaison de la pénalité de délai : Le principal résultat théorique (Théorème 6) stipule que pour un coût terminal fixé, si la pénalité de délai courante $f_1$ est ponctuellement plus grande que $f_2$ ($f_1 \ge f_2$), alors :
  1. La fonction de valeur augmente ($V_1 \ge V_2$).
  2. La région de continuation rétrécit ($C_1 \subseteq C_2$).
  3. Le temps d'arrêt optimal survient plus tôt ($\tau^*_1 \le \tau^*_2$) presque sûrement.
• Monotonie des frontières : Si la région d'arrêt admet une représentation unilatérale dans la coordonnée de la probabilité a posteriori (c'est-à-dire que l'arrêt se produit quand $\Pi_t \ge b(X_t)$), le théorème de comparaison implique un ordre monotone des frontières d'alarme : $b_1(x) \le b_2(x)$. Cela signifie qu'une pénalité de délai plus élevée abaisse le seuil de déclenchement de l'alarme.
• Extension aux pénalités non linéaires : Le cadre s'étend aux coûts de délai non linéaires (par exemple, les pénalités convexes) en augmentant l'espace d'état avec une statistique de "mémoire de la pénalité" (l'espérance conditionnelle de la pénalité marginale). Le principe de comparaison reste valable tant que les pénalités marginales sont ordonnées ponctuellement.
• Illustration numérique : Les auteurs fournissent un exemple travaillé utilisant le modèle de Shiryaev avec un rapport signal sur bruit constant (où l'état se réduit à une dimension). Ils résolvent l'inégalité variationnelle numériquement à l'aide d'une méthode de différences finies avec itération projetée. Les résultats confirment la prédiction théorique : à mesure que le taux de coût de délai linéaire $c$ augmente, le seuil de probabilité a posteriori optimale $p^*(c)$ diminue de manière monotone.

Signification et revendications
L'article se positionne comme une contribution structurelle plutôt que constructive. Il ne vise pas à fournir de nouvelles formules explicites pour les frontières libres dans des modèles complexes dépendants de l'état, qui sont souvent intraitables. Au lieu de cela, il propose un principe de comparaison qui clarifie le comportement qualitatif des règles optimales sous l'effet de variations de la structure de pénalité.

Les auteurs affirment que ce cadre :

• Clarifie comment l'information dépendante de l'état et les coûts de délai non linéaires affectent conjointement la géométrie des règles de test séquentiel et de détection rapide.
• Fournit un outil robuste pour les praticiens afin de comprendre comment les seuils d'alarme se déplacent lorsque les structures de pénalité changent (par exemple, dans le changement de régime financier, la surveillance de la santé structurelle ou la surveillance épidémiologique) sans avoir besoin de résoudre à nouveau le problème complet de l'arrêt optimal.
• S'applique largement aux coûts de délai linéaires et non linéaires, à condition que la structure markovienne de l'état augmenté soit maintenue.

L'article note explicitement que la structure de frontière unilatérale requise pour le résultat spécifique d'ordonnancement des frontières repose sur des conditions (telles que les rapports signal sur bruit monotones) établies dans la littérature antérieure (par exemple, Gapeev, Shiryaev, Ernst et Peskir), et ne tente pas de prouver l'existence de telles structures pour des diffusions arbitraires dépendantes de l'état.