Filtrado generalizado

El filtrado generalizado es un esquema de filtrado bayesiano genérico para modelos de espacio de estado no lineales.​ Se basa en un principio variacional de mínima acción, formulado en coordenadas generalizadas.​ Tenga en cuenta que el concepto de "coordenadas generalizadas" como se usa aquí difiere del concepto de coordenadas generalizadas de movimiento como se usa en el análisis de sistemas dinámicos (multicuerpo). El filtrado generalizado proporciona densidades posteriores sobre estados ocultos (y parámetros) que generan datos observados utilizando un descenso de gradiente generalizado en energía libre variacional, bajo el supuesto de Laplace . A diferencia del filtrado clásico (p. ej. Kalman-Bucy o de partículas), el filtrado generalizado evita las suposiciones markovianas sobre fluctuaciones aleatorias. Además, opera en línea, asimilando datos para aproximar la densidad posterior sobre cantidades desconocidas, sin la necesidad de pasos hacia atrás. Los casos especiales incluyen filtrado variacional,​ maximización dinámica de expectativas​ y codificación predictiva generalizada.

Definición

Definición : el filtrado generalizado se basa en la tupla $(\Omega ,U,X,S,p,q)$ :

• Un espacio muestral $\Omega$ desde el cual se dibujan las fluctuaciones aleatorias $\omega \in \Omega$
• Estados de control $U\in \mathbb {R}$ - que actúan como causas externas, entradas o términos forzados
• Estados ocultos $X:X\times U\times \Omega \to \mathbb {R}$ - que causan estados del sensor y dependen de los estados de control
• Estados del sensor $S:X\times U\times \Omega \to \mathbb {R}$ - un mapeo probabilístico de estados ocultos y de control
• Densidad generativa $p({\tilde {s}},{\tilde {x}},{\tilde {u}}\mid m)$ - sobre estados sensoriales, ocultos y de control bajo un modelo generativo $m$
• Densidad de variación $q({\tilde {x}},{\tilde {u}}\mid {\tilde {\mu }})$ - sobre estados ocultos y de control con media ${\tilde {\mu }}\in \mathbb {R}$

Aquí ~ denota una variable en coordenadas generalizadas de movimiento: ${\tilde {u}}=[u,u',u'',\ldots ]^{T}$

Filtrado generalizado

El objetivo es aproximar la densidad posterior sobre los estados ocultos y de control, dados los estados del sensor y un modelo generativo, y estimar la (ruta integral de la) evidencia del modelo $p({\tilde {s}}(t)\vert m)$ para comparar diferentes modelos. Esto generalmente implica una marginación intratable sobre estados ocultos, por lo que la evidencia del modelo (o probabilidad marginal) se reemplaza con un límite de energía libre variacional.​ Dadas las siguientes definiciones:

${\tilde {\mu }}(t)={\underset {\tilde {\mu }}{\operatorname {arg\,min} }}\{F({\tilde {s}}(t),{\tilde {\mu }})\}$

$G({\tilde {s}},{\tilde {x}},{\tilde {u}})=-\ln p({\tilde {s}},{\tilde {x}},{\tilde {u}}\vert m)$

Denota la entropía de Shannon de la densidad $q$ por $H[q]=E_{q}[-\log(q)]$ . Entonces podemos escribir la energía libre variacional de dos maneras:

$F({\tilde {s}},{\tilde {\mu }})=E_{q}[G({\tilde {s}},{\tilde {x}},{\tilde {u}})]-H[q({\tilde {x}},{\tilde {u}}\vert {\tilde {\mu }})]=-\ln p({\tilde {s}}\vert m)+D_{KL}[q({\tilde {x}},{\tilde {u}}\vert {\tilde {\mu }})\vert \vert p({\tilde {x}},{\tilde {u}}\vert {\tilde {s}},m)]$

La segunda igualdad muestra que minimizar la energía libre variacional (i) minimiza la divergencia Kullback-Leibler entre la densidad posterior variable y verdadera y (ii) hace que la energía libre variacional sea la (aproximación ligada a la) evidencia logarítmica negativa (porque la divergencia nunca puede ser menor que cero).​ Bajo el supuesto de Laplace $q({\tilde {x}},{\tilde {u}}\mid {\tilde {\mu }})={\mathcal {N}}({\tilde {\mu }},C)$ la densidad variacional es gaussiana y la precisión que minimiza la energía libre es $C^{-1}=\Pi =\partial _{{\tilde {\mu }}{\tilde {\mu }}}G({\tilde {\mu }})$ . Esto significa que la energía libre puede expresarse en términos de la media variacional​ (omitiendo constantes):

$F=G({\tilde {\mu }})+\textstyle {1 \over 2}\ln \vert \partial _{{\tilde {\mu }}{\tilde {\mu }}}G({\tilde {\mu }})\vert$

Las medias variacionales que minimizan la (integral de ruta) de energía libre ahora se pueden recuperar resolviendo el filtro generalizado:

${\dot {\tilde {\mu }}}=D{\tilde {\mu }}-\partial _{\tilde {\mu }}F({\tilde {s}},{\tilde {\mu }})$

dónde $D$ es un operador derivada de matrices de identidad de manera que $D{\tilde {u}}=[u',u'',\ldots ]^{T}$

Base variacional

El filtrado generalizado se basa en el siguiente lema: la solución autoconsistente para ${\dot {\tilde {\mu }}}=D{\tilde {\mu }}-\partial _{\tilde {\mu }}F(s,{\tilde {\mu }})$ satisface el principio variacional de la acción estacionaria, donde la acción es la integral de ruta de la energía libre variacional

$S=\int dt\,F({\tilde {s}}(t),{\tilde {\mu }}(t))$

Prueba : la autoconsistencia requiere que el movimiento de la media sea la media del movimiento y (por el lema fundamental del cálculo variacional )

${\dot {\tilde {\mu }}}=D{\tilde {\mu }}\Leftrightarrow \partial _{\tilde {\mu }}F({\tilde {s}},{\tilde {\mu }})=0\Leftrightarrow \delta _{\tilde {\mu }}S=0$

En pocas palabras, las pequeñas perturbaciones en el camino de la media no cambian la energía libre variacional y tienen la menor acción de todos los caminos (locales) posibles.

Observaciones: heurísticamente, el filtrado generalizado realiza un descenso de gradiente en energía libre variacional en un marco de referencia móvil: ${\dot {\tilde {\mu }}}-D{\tilde {\mu }}=-\partial _{\tilde {\mu }}F(s,{\tilde {\mu }})$, donde el marco en sí minimiza la energía libre variacional. Para un ejemplo relacionado en física estadística, vea Kerr y Graham​ quienes usan la dinámica de conjunto en coordenadas generalizadas para proporcionar una versión generalizada de fase-espacio de Langevin y las ecuaciones de Fokker-Planck asociadas.

En la práctica, el filtrado generalizado utiliza linealización local​ en intervalos $\Delta t$ para recuperar actualizaciones discretas

${\begin{aligned}\Delta {\tilde {\mu }}&=(\exp(\Delta t\cdot J)-I)J^{-1}{\dot {\tilde {\mu }}}\\J&=\partial _{\tilde {\mu }}{\dot {\tilde {\mu }}}=D-\partial _{{\tilde {\mu }}{\tilde {\mu }}}F({\tilde {s}},{\tilde {\mu }})\end{aligned}}$

Esto actualiza las medias de las variables ocultas en cada intervalo (generalmente el intervalo entre observaciones).

Referencias

• Datos: Q17090669