Projection filters

Geometric algorithms for signal processing

Projection filters are a set of algorithms based on stochastic analysis and information geometry, or the differential geometric approach to statistics, used to find approximate solutions for filtering problems for nonlinear state-space systems.[1][2][3] The filtering problem consists of estimating the unobserved signal of a random dynamical system from partial noisy observations of the signal. The objective is computing the probability distribution of the signal conditional on the history of the noise-perturbed observations. This distribution allows for calculations of all statistics of the signal given the history of observations. If this distribution has a density, the density satisfies specific stochastic partial differential equations (SPDEs) called Kushner-Stratonovich equation, or Zakai equation. It is known that the nonlinear filter density evolves in an infinite dimensional function space.[4][5]

One can choose a finite dimensional family of probability densities, for example Gaussian densities, Gaussian mixtures, or exponential families, on which the infinite-dimensional filter density can be approximated. The basic idea of the projection filter is to use a geometric structure in the chosen spaces of densities to project the infinite dimensional SPDE of the optimal filter onto the chosen finite dimensional family, obtaining a finite dimensional stochastic differential equation (SDE) for the parameter of the density in the finite dimensional family that approximates the full filter evolution.[3] To do this, the chosen finite dimensional family is equipped with a manifold structure as in information geometry. The projection filter was tested against the optimal filter for the cubic sensor problem. The projection filter could track effectively bimodal densities of the optimal filter that would have been difficult to approximate with standard algorithms like the extended Kalman filter.[2][6] Projection filters are ideal for in-line estimation, as they are quick to implement and run efficiently in time, providing a finite dimensional SDE for the parameter that can be implemented efficiently.[2] Projection filters are also flexible, as they allow fine tuning the precision of the approximation by choosing richer approximating families, and some exponential families make the correction step in the projection filtering algorithm exact.[3] Some formulations coincide with heuristic based assumed density filters[3] or with Galerkin methods.[6] Projection filters can also approximate the full infinite-dimensional filter in an optimal way, beyond the optimal approximation of the SPDE coefficients alone, according to precise criteria such as mean square minimization.[7] Projection filters have been studied by the Swedish Defense Research Agency[1] and have also been successfully applied to a variety of fields including navigation, ocean dynamics, quantum optics and quantum systems, estimation of fiber diameters, estimation of chaotic time series, change point detection and other areas.[8]

History and development

The term "projection filter" was first coined in 1987 by Bernard Hanzon,[9] and the related theory and numerical examples were fully developed, expanded and made rigorous during the Ph.D. work of Damiano Brigo, in collaboration with Bernard Hanzon and Francois LeGland.[10][2][3] These works dealt with the projection filters in Hellinger distance and Fisher information metric, that were used to project the optimal filter infinite-dimensional SPDE on a chosen exponential family. The exponential family can be chosen so as to make the prediction step of the filtering algorithm exact.[2] A different type of projection filters, based on an alternative projection metric, the direct L 2 {\displaystyle L^{2}} metric, was introduced in Armstrong and Brigo (2016).[6] With this metric, the projection filters on families of mixture distributions coincide with filters based on Galerkin methods. Later on, Armstrong, Brigo and Rossi Ferrucci (2021)[7] derive optimal projection filters that satisfy specific optimality criteria in approximating the infinite dimensional optimal filter. Indeed, the Stratonovich-based projection filters optimized the approximations of the SPDE separate coefficients on the chosen manifold but not the SPDE solution as a whole. This has been dealt with by introducing the optimal projection filters. The innovation here is to work directly with Ito calculus, instead of resorting to the Stratonovich calculus version of the filter equation. This is based on research on the geometry of Ito Stochastic differential equations on manifolds based on the jet bundle, the so-called 2-jet interpretation of Ito stochastic differential equations on manifolds.[11]

Projection filters derivation

Here the derivation of the different projection filters is sketched.

Stratonovich-based projection filters

This is a derivation of both the initial filter in Hellinger/Fisher metric sketched by Hanzon[9] and fully developed by Brigo, Hanzon and LeGland,[10][2] and the later projection filter in direct L2 metric by Armstrong and Brigo (2016).[6]

It is assumed that the unobserved random signal X t R m {\displaystyle X_{t}\in \mathbb {R} ^{m}} is modelled by the Ito stochastic differential equation:

d X t = f ( X t , t ) d t + σ ( X t , t ) d W t {\displaystyle dX_{t}=f(X_{t},t)\,dt+\sigma (X_{t},t)\,dW_{t}}

where f and σ d W {\displaystyle \sigma \,dW} are R m {\displaystyle \mathbb {R} ^{m}} valued and W t {\displaystyle W_{t}} is a Brownian motion. Validity of all regularity conditions necessary for the results to hold will be assumed, with details given in the references. The associated noisy observation process Y t R d {\displaystyle Y_{t}\in \mathbb {R} ^{d}} is modelled by

d Y t = b ( X t , t ) d t + d V t {\displaystyle dY_{t}=b(X_{t},t)\,dt+dV_{t}}

where b {\displaystyle b} is R d {\displaystyle \mathbb {R} ^{d}} valued and V t {\displaystyle V_{t}} is a Brownian motion independent of W t {\displaystyle W_{t}} . As hinted above, the full filter is the conditional distribution of X t {\displaystyle X_{t}} given a prior for X 0 {\displaystyle X_{0}} and the history of Y {\displaystyle Y} up to time t {\displaystyle t} . If this distribution has a density described informally as

p t ( x ) d x = P r o b { X t d x | σ ( Y s , s t ) } {\displaystyle p_{t}(x)dx=Prob\{X_{t}\in dx|\sigma (Y_{s},s\leq t)\}}

where σ ( Y s , s t ) {\displaystyle \sigma (Y_{s},s\leq t)} is the sigma-field generated by the history of noisy observations Y {\displaystyle Y} up to time t {\displaystyle t} , under suitable technical conditions the density p t {\displaystyle p_{t}} satisfies the Kushner—Stratonovich SPDE:

d p t = L t p t   d t + p t [ b ( , t ) E p t ( b ( , t ) ) ] T [ d Y t E p t ( b ( , t ) ) d t ] {\displaystyle dp_{t}={\cal {L}}_{t}^{*}p_{t}\ dt+p_{t}[b(\cdot ,t)-E_{p_{t}}(b(\cdot ,t))]^{T}[dY_{t}-E_{p_{t}}(b(\cdot ,t))dt]}

where E p {\displaystyle E_{p}} is the expectation E p [ h ] = h ( x ) p ( x ) d x , {\displaystyle E_{p}[h]=\int h(x)p(x)dx,} and the forward diffusion operator L t {\displaystyle {\cal {L}}_{t}^{*}} is

L t p = i = 1 m x i [ f i ( x , t ) p t ( x ) ] + 1 2 i , j = 1 m 2 x i x j [ a i j ( x , t ) p t ( x ) ] {\displaystyle {\cal {L}}_{t}^{*}p=-\sum _{i=1}^{m}{\frac {\partial }{\partial x_{i}}}[f_{i}(x,t)p_{t}(x)]+{\frac {1}{2}}\sum _{i,j=1}^{m}{\frac {\partial ^{2}}{\partial x_{i}\partial x_{j}}}[a_{ij}(x,t)p_{t}(x)]}

where a = σ σ T {\displaystyle a=\sigma \sigma ^{T}} and T {\displaystyle T} denotes transposition. To derive the first version of the projection filters, one needs to put the p t {\displaystyle p_{t}} SPDE in Stratonovich form. One obtains

d p t = L t p t d t 1 2 p t [ | b ( , t ) | 2 E p t { | b ( , t ) | 2 } ] d t + p t [ b ( , t ) E p t { b ( , t ) } ] T d Y t   . {\displaystyle dp_{t}={\cal {L}}_{t}^{\ast }\,p_{t}\,dt-{\frac {1}{2}}\,p_{t}\,[\vert b(\cdot ,t)\vert ^{2}-E_{p_{t}}\{\vert b(\cdot ,t)\vert ^{2}\}]\,dt+p_{t}\,[b(\cdot ,t)-E_{p_{t}}\{b(\cdot ,t)\}]^{T}\circ dY_{t}\ .}

Through the chain rule, it's immediate to derive the SPDE for d p t {\displaystyle d{\sqrt {p_{t}}}} . To shorten notation one may rewrite this last SPDE as d p = F ( p ) d t + G T ( p ) d Y   , {\displaystyle dp=F(p)\,dt+G^{T}(p)\circ dY\ ,}

where the operators F ( p ) {\displaystyle F(p)} and G T ( p ) {\displaystyle G^{T}(p)} are defined as

F ( p ) = L t p 1 2 p [ | b ( , t ) | 2 E p { | b ( , t ) | 2 } ] , {\displaystyle F(p)={\cal {L}}_{t}^{\ast }\,p\,-{\frac {1}{2}}\,p\,[\vert b(\cdot ,t)\vert ^{2}-E_{p}\{\vert b(\cdot ,t)\vert ^{2}\}],}
G T ( p ) = p [ b ( , t ) E p { b ( , t ) } ] T . {\displaystyle G^{T}(p)=p\,[b(\cdot ,t)-E_{p}\{b(\cdot ,t)\}]^{T}.}

The square root version is d p = 1 2 p [ F ( p ) d t + G T ( p ) d Y ]   . {\displaystyle d{\sqrt {p}}={\frac {1}{2{\sqrt {p}}}}[F(p)\,dt+G^{T}(p)\circ dY]\ .}

These are Stratonovich SPDEs whose solutions evolve in infinite dimensional function spaces. For example p t {\displaystyle p_{t}} may evolve in L 2 {\displaystyle L^{2}} (direct metric d 2 {\displaystyle d_{2}} )

d 2 ( p 1 , p 2 ) = p 1 p 2   ,     p 1 , 2 L 2 {\displaystyle d_{2}(p_{1},p_{2})=\Vert p_{1}-p_{2}\Vert \ ,\ \ p_{1,2}\in L^{2}}

or p t {\displaystyle {\sqrt {p_{t}}}} may evolve in L 2 {\displaystyle L^{2}} (Hellinger metric d H {\displaystyle d_{H}} )

d H ( p 1 , p 2 ) = p 1 p 2 ,       p 1 , 2 L 1 {\displaystyle d_{H}({\sqrt {p_{1}}},{\sqrt {p_{2}}})=\Vert {\sqrt {p_{1}}}-{\sqrt {p_{2}}}\Vert ,\ \ \ p_{1,2}\in L^{1}}

where {\displaystyle \Vert \cdot \Vert } is the norm of Hilbert space L 2 {\displaystyle L^{2}} . In any case, p t {\displaystyle p_{t}} (or p t {\displaystyle {\sqrt {p_{t}}}} ) will not evolve inside any finite dimensional family of densitities,

S Θ = { p ( , θ ) ,   θ Θ R n }   ( o r   S Θ 1 / 2 = { p ( , θ ) ,   θ Θ R n } ) . {\displaystyle S_{\Theta }=\{p(\cdot ,\theta ),\ \theta \in \Theta \subset \mathbb {R} ^{n}\}\ (or\ S_{\Theta }^{1/2}=\{{\sqrt {p(\cdot ,\theta )}},\ \theta \in \Theta \subset \mathbb {R} ^{n}\}).}

The projection filter idea is approximating p t ( x ) {\displaystyle p_{t}(x)} (or p t ( x ) {\displaystyle {\sqrt {p_{t}(x)}}} ) via a finite dimensional density p ( x , θ t ) {\displaystyle p(x,\theta _{t})} (or p ( x , θ t ) {\displaystyle {\sqrt {p(x,\theta _{t})}}} ).

The fact that the filter SPDE is in Stratonovich form allows for the following. As Stratonovich SPDEs satisfy the chain rule, F {\displaystyle F} and G {\displaystyle G} behave as vector fields. Thus, the equation is characterized by a d t {\displaystyle dt} vector field F {\displaystyle F} and a d Y t {\displaystyle dY_{t}} vector field G {\displaystyle G} . For this version of the projection filter one is satisfied with dealing with the two vector fields separately. One may project F {\displaystyle F} and G {\displaystyle G} on the tangent space of the densities in S Θ {\displaystyle S_{\Theta }} (direct metric) or of their square roots (Hellinger metric). The direct metric case yields

d p ( , θ t ) = Π p ( , θ t ) [ F ( p ( , θ t ) ) ] d t + Π p ( , θ t ) [ G T ( p ( , θ t ) ) ] d Y t   {\displaystyle dp(\cdot ,\theta _{t})=\Pi _{p(\cdot ,\theta _{t})}[F(p(\cdot ,\theta _{t}))]\,dt+\Pi _{p(\cdot ,\theta _{t})}[G^{T}(p(\cdot ,\theta _{t}))]\circ dY_{t}\ }

where Π p ( , θ ) {\displaystyle \Pi _{p(\cdot ,\theta )}} is the tangent space projection at the point p ( , θ ) {\displaystyle p(\cdot ,\theta )} for the manifold S Θ {\displaystyle S_{\Theta }} , and where, when applied to a vector such as G T {\displaystyle G^{T}} , it is assumed to act component-wise by projecting each of G T {\displaystyle G^{T}} 's components. As a basis of this tangent space is

{ p ( , θ ) θ 1 , , p ( , θ ) θ n } , {\displaystyle \left\{{\frac {\partial p(\cdot ,\theta )}{\partial \theta _{1}}},\cdots ,{\frac {\partial p(\cdot ,\theta )}{\partial \theta _{n}}}\right\},}

by denoting the inner product of L 2 {\displaystyle L^{2}} with , {\displaystyle \langle \cdot ,\cdot \rangle } , one defines the metric

γ i j ( θ ) = p ( , θ ) θ i , p ( , θ ) θ j = p ( x , θ ) θ i p ( x , θ ) θ j d x {\displaystyle \gamma _{ij}(\theta )=\left\langle {\frac {\partial {p(\cdot ,\theta )}}{\partial \theta _{i}}}\,,{\frac {\partial {p(\cdot ,\theta )}}{\partial \theta _{j}}}\right\rangle =\int {\frac {\partial p(x,\theta )}{\partial \theta _{i}}}\,{\frac {\partial p(x,\theta )}{\partial \theta _{j}}}\,dx}

and the projection is thus

Π p ( , θ ) γ [ v ] = i = 1 n [ j = 1 n γ i j ( θ ) v , p ( , θ ) θ j ] p ( , θ ) θ i {\displaystyle \Pi _{p(\cdot ,\theta )}^{\gamma }[v]=\sum _{i=1}^{n}\left[\sum _{j=1}^{n}\gamma ^{ij}(\theta )\;\left\langle v,\,{\frac {\partial {p(\cdot ,\theta )}}{\partial \theta _{j}}}\right\rangle \right]\;{\frac {\partial {p(\cdot ,\theta )}}{\partial \theta _{i}}}}

where γ i j {\displaystyle \gamma ^{ij}} is the inverse of γ i j {\displaystyle \gamma _{ij}} . The projected equation thus reads

d p ( , θ t ) = Π p ( , θ ) [ F ( p ( , θ t ) ) ] d t + Π p ( , θ ) [ G T ( p ( , θ t ) ) ] d Y t {\displaystyle dp(\cdot ,\theta _{t})=\Pi _{p(\cdot ,\theta )}[F(p(\cdot ,\theta _{t}))]dt+\Pi _{p(\cdot ,\theta )}[G^{T}(p(\cdot ,\theta _{t}))]\circ dY_{t}}

which can be written as

i = 1 n p ( , θ t ) θ i d θ i = i = 1 n [ j = 1 n γ i j ( θ ) F ( p ( , θ t ) ) , p ( , θ ) θ j ] p ( , θ ) θ i d t + i = 1 n [ j = 1 n γ i j ( θ ) G T ( p ( , θ t ) ) , p ( , θ ) θ j ] p ( , θ ) θ i d Y t , {\displaystyle \sum _{i=1}^{n}{\frac {\partial p(\cdot ,\theta _{t})}{\theta _{i}}}\circ d\theta _{i}=\sum _{i=1}^{n}\left[\sum _{j=1}^{n}\gamma ^{ij}(\theta )\;\left\langle F(p(\cdot ,\theta _{t})),\,{\frac {\partial {p(\cdot ,\theta )}}{\partial \theta _{j}}}\right\rangle \right]\;{\frac {\partial {p(\cdot ,\theta )}}{\partial \theta _{i}}}dt+\sum _{i=1}^{n}\left[\sum _{j=1}^{n}\gamma ^{ij}(\theta )\;\left\langle G^{T}(p(\cdot ,\theta _{t})),\,{\frac {\partial {p(\cdot ,\theta )}}{\partial \theta _{j}}}\right\rangle \right]\;{\frac {\partial {p(\cdot ,\theta )}}{\partial \theta _{i}}}\circ dY_{t},}

where it has been crucial that Stratonovich calculus obeys the chain rule. From the above equation, the final projection filter SDE is d θ i = [ j = 1 n γ i j ( θ t ) F ( p ( x , θ t ) ) p ( x , θ t ) θ j d x ] d t + k = 1 d [ j = 1 n γ i j ( θ t ) G k ( p ( x , θ t ) ) p ( x , θ t ) θ j d x ] d Y k {\displaystyle d\theta _{i}=\left[\sum _{j=1}^{n}\gamma ^{ij}(\theta _{t})\;\int F(p(x,\theta _{t}))\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}dx\right]dt+\sum _{k=1}^{d}\;\left[\sum _{j=1}^{n}\gamma ^{ij}(\theta _{t})\;\int G_{k}(p(x,\theta _{t}))\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}\;dx\right]\circ dY_{k}}

with initial condition a chosen θ 0 {\displaystyle \theta _{0}} .

By substituting the definition of the operators F and G we obtain the fully explicit projection filter equation in direct metric:

d θ i ( t ) = [ j = 1 m γ i j ( θ t ) L t p ( x , θ t ) p ( x , θ t ) θ j d x j = 1 m γ i j ( θ t ) 1 2 [ | b ( x , t ) | 2 | b ( z , t ) | 2 p ( z , θ t ) d z ] p ( x , θ t ) p ( x , θ t ) θ j d x ] d t {\displaystyle d\theta _{i}(t)=\left[\sum _{j=1}^{m}\gamma ^{ij}(\theta _{t})\;\int {{\cal {L}}_{t}^{\ast }\,p(x,\theta _{t})}\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}dx-\sum _{j=1}^{m}\gamma ^{ij}(\theta _{t})\;\int {\frac {1}{2}}\left[\vert b(x,t)\vert ^{2}-\int \vert b(z,t)\vert ^{2}p(z,\theta _{t})dz\right]\;p(x,\theta _{t})\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}\;dx\right]dt}

+ k = 1 d [ j = 1 m γ i j ( θ t ) [ b k ( x , t ) b k ( z , t ) p ( z , θ t ) d z ] p ( x , θ t ) p ( x , θ t ) θ j d x ] d Y t k   . {\displaystyle +\sum _{k=1}^{d}\;\left[\sum _{j=1}^{m}\gamma ^{ij}(\theta _{t})\;\int \left[b_{k}(x,t)-\int b_{k}(z,t)p(z,\theta _{t})dz\right]\;p(x,\theta _{t})\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}\;dx\right]\circ dY_{t}^{k}\ .}

If one uses the Hellinger distance instead, square roots of densities are needed. The tangent space basis is then

{ p ( , θ ) θ 1 , , p ( , θ ) θ n } , {\displaystyle \left\{{\frac {\partial {\sqrt {p(\cdot ,\theta )}}}{\partial \theta _{1}}},\cdots ,{\frac {\partial {\sqrt {p(\cdot ,\theta )}}}{\partial \theta _{n}}}\right\},}

and one defines the metric

1 4 g i j ( θ ) = p θ i , p θ j = 1 4 1 p ( x , θ ) p ( x , θ ) θ i p ( x , θ ) θ j d x . {\displaystyle {\frac {1}{4}}g_{ij}(\theta )=\left\langle {\frac {\partial {\sqrt {p}}}{\partial \theta _{i}}}\,,{\frac {\partial {\sqrt {p}}}{\partial \theta _{j}}}\right\rangle ={\frac {1}{4}}\int {\frac {1}{p(x,\theta )}}\,{\frac {\partial p(x,\theta )}{\partial \theta _{i}}}\,{\frac {\partial p(x,\theta )}{\partial \theta _{j}}}\,dx.}

The metric g {\displaystyle g} is the Fisher information metric. One follows steps completely analogous to the direct metric case and the filter equation in Hellinger/Fisher metric is

d θ i = [ j = 1 n g i j ( θ t ) F ( p ( x , θ t ) ) p ( x , θ t ) p ( x , θ t ) θ j d x ] d t + k = 1 d [ j = 1 m g i j ( θ t ) G k ( p ( x , θ t ) ) p ( x , θ t ) p ( x , θ t ) θ j d x ] d Y t k   , {\displaystyle d\theta _{i}=\left[\sum _{j=1}^{n}g^{ij}(\theta _{t})\;\int {\frac {F(p(x,\theta _{t}))}{p(x,\theta _{t})}}\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}\;dx\right]dt+\sum _{k=1}^{d}\;\left[\sum _{j=1}^{m}g^{ij}(\theta _{t})\;\int {\frac {G_{k}(p(x,\theta _{t}))}{p(x,\theta _{t})}}\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}\;dx\right]\circ dY_{t}^{k}\ ,}

again with initial condition a chosen θ 0 {\displaystyle \theta _{0}} .

Substituting F and G one obtains d θ i ( t ) = [ j = 1 m g i j ( θ t ) L t p ( x , θ t ) p ( x , θ t ) p ( x , θ t ) θ j d x j = 1 m g i j ( θ t ) 1 2 | b t ( x ) | 2 p ( x , θ t ) θ j d x ] d t {\displaystyle d\theta _{i}(t)=\left[\sum _{j=1}^{m}g^{ij}(\theta _{t})\;\int {\frac {{\cal {L}}_{t}^{\ast }\,p(x,\theta _{t})}{p(x,\theta _{t})}}\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}\;dx-\sum _{j=1}^{m}g^{ij}(\theta _{t})\int {\frac {1}{2}}\vert b_{t}(x)\vert ^{2}{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}dx\right]dt}

+ k = 1 d [ j = 1 m g i j ( θ t ) b k ( x , t ) p ( x , θ t ) θ j d x ] d Y t k   . {\displaystyle +\sum _{k=1}^{d}\;\left[\sum _{j=1}^{m}g^{ij}(\theta _{t})\;\int b_{k}(x,t)\;{\frac {\partial p(x,\theta _{t})}{\partial \theta _{j}}}\;dx\right]\circ dY_{t}^{k}\ .}

The projection filter in direct metric, when implemented on a manifold S Θ {\displaystyle S_{\Theta }} of mixture families, leads to equivalence with a Galerkin method.[6]

The projection filter in Hellinger/Fisher metric when implemented on a manifold S Θ 1 / 2 {\displaystyle S_{\Theta }^{1/2}} of square roots of an exponential family of densities is equivalent to the assumed density filters.[3]

One should note that it is also possible to project the simpler Zakai equation for an unnormalized version of the density p. This would result in the same Hellinger projection filter but in a different direct metric projection filter.[6]

Finally, if in the exponential family case one includes among the sufficient statistics of the exponential family the observation function in d Y t {\displaystyle dY_{t}} , namely b ( x ) {\displaystyle b(x)} 's components and | b ( x ) | 2 {\displaystyle |b(x)|^{2}} , then one can see that the correction step in the filtering algorithm becomes exact. In other terms, the projection of the vector field G {\displaystyle G} is exact, resulting in G {\displaystyle G} itself. Writing the filtering algorithm in a setting with continuous state X {\displaystyle X} and discrete time observations Y {\displaystyle Y} , one can see that the correction step at each new observation is exact, as the related Bayes formula entails no approximation.[3]

Optimal projection filters based on Ito vector and Ito jet projections

Now rather than considering the exact filter SPDE in Stratonovich calculus form, one keeps it in Ito calculus form

d p t = L t p t   d t + p t [ b ( , t ) E p t ( b ( , t ) ) ] T [ d Y t E p t ( b ( , t ) ) d t ] . {\displaystyle dp_{t}={\cal {L}}_{t}^{*}p_{t}\ dt+p_{t}[b(\cdot ,t)-E_{p_{t}}(b(\cdot ,t))]^{T}[dY_{t}-E_{p_{t}}(b(\cdot ,t))dt].}

In the Stratonovich projection filters above, the vector fields F {\displaystyle F} and G {\displaystyle G} were projected separately. By definition, the projection is the optimal approximation for F {\displaystyle F} and G {\displaystyle G} separately, although this does not imply it provides the best approximation for the filter SPDE solution as a whole. Indeed, the Stratonovich projection, acting on the two terms F {\displaystyle F} and G {\displaystyle G} separately, does not guarantee optimality of the solution p ( , θ 0 + δ t ) {\displaystyle p(\cdot ,\theta _{0+\delta t})} as an approximation of the exact p 0 + δ t {\displaystyle p_{0+\delta t}} for say small δ t {\displaystyle \delta t} . One may look for a norm {\displaystyle \|\cdot \|} to be applied to the solution, for which

θ 0 + δ t argmin θ   p 0 + δ t p ( , θ ) . {\displaystyle \theta _{0+\delta t}\approx {\mbox{argmin}}_{\theta }\ \|p_{0+\delta t}-p(\cdot ,\theta )\|.}

The Ito-vector projection is obtained as follows. Let us choose a norm for the space of densities, {\displaystyle \|\cdot \|} , which might be associated with the direct metric or the Hellinger metric.

One chooses the diffusion term in the approximating Ito equation for θ t {\displaystyle \theta _{t}} by minimizing (but not zeroing) the δ t {\displaystyle \delta t} term of the Taylor expansion for the mean square error

E t [ p 0 + δ t p ( , θ 0 + δ t ) 2 ] {\displaystyle E_{t}[\|p_{0+\delta t}-p(\cdot ,\theta _{0+\delta t})\|^{2}]} ,

finding the drift term in the approximating Ito equation that minimizes the ( δ t ) 2 {\displaystyle (\delta t)^{2}} term of the same difference. Here the δ t {\displaystyle \delta t} order term is minimized, not zeroed, and one never attains ( δ t ) 2 {\displaystyle (\delta t)^{2}} convergence, only δ t {\displaystyle \delta t} convergence.

A further benefit of the Ito vector projection is that it minimizes the order 1 Taylor expansion in δ t {\displaystyle \delta t} of

E [ p 0 + δ t p ( , θ 0 + δ t ) ] . {\displaystyle \|E[p_{0+\delta t}-p(\cdot ,\theta _{0+\delta t})]\|.}

To achieve ( δ t ) 2 {\displaystyle (\delta t)^{2}} convergence, rather than δ t {\displaystyle \delta t} convergence, the Ito-jet projection is introduced. It is based on the notion of metric projection.

The metric projection of a density p L 2 {\displaystyle p\in L^{2}} (or p L 2 {\displaystyle {\sqrt {p}}\in L^{2}} ) onto the manifold S Θ {\displaystyle S_{\Theta }} (or S Θ 1 / 2 {\displaystyle S_{\Theta }^{1/2}} ) is the closest point on S Θ {\displaystyle S_{\Theta }} (or S Θ 1 / 2 {\displaystyle S_{\Theta }^{1/2}} ) to p {\displaystyle p} (or p {\displaystyle {\sqrt {p}}} ). Denote it by π ( p ) {\displaystyle \pi (p)} . The metric projection is, by definition, according to the chosen metric, the best one can ever do for approximating p {\displaystyle p} in S Θ {\displaystyle S_{\Theta }} . Thus the idea is finding a projection filter that comes as close as possible to the metric projection. In other terms, one considers the criterion θ 0 + δ t argmin θ   π ( p 0 + δ t ) p ( , θ ) . {\displaystyle \theta _{0+\delta t}\approx {\mbox{argmin}}_{\theta }\ \|\pi (p_{0+\delta t})-p(\cdot ,\theta )\|.}

The detailed calculations are lengthy and laborious,[7] but the resulting approximation achieves ( δ t ) 2 {\displaystyle (\delta t)^{2}} convergence. Indeed, the Ito jet projection attains the following optimality criterion. It zeroes the δ t {\displaystyle \delta t} order term and it minimizes the ( δ t ) 2 {\displaystyle (\delta t)^{2}} order term of the Taylor expansion of the mean square distance in L 2 {\displaystyle L^{2}} between π ( p 0 + δ t ) {\displaystyle \pi (p_{0+\delta t})} and p ( , θ 0 + δ t ) {\displaystyle p(\cdot ,\theta _{0+\delta t})} .

Both the Ito vector and the Ito jet projection result in final SDEs, driven by the observations d Y {\displaystyle dY} , for the parameter θ t {\displaystyle \theta _{t}} that best approximates the exact filter evolution for small times.[7]

Applications

Jones and Soatto (2011) mention projection filters as possible algorithms for on-line estimation in visual-inertial navigation,[12] mapping and localization, while again on navigation Azimi-Sadjadi and Krishnaprasad (2005)[13] use projection filters algorithms. The projection filter has been also considered for applications in ocean dynamics by Lermusiaux 2006.[14] Kutschireiter, Rast, and Drugowitsch (2022)[15] refer to the projection filter in the context of continuous time circular filtering. For quantum systems applications, see for example van Handel and Mabuchi (2005),[16] who applied the quantum projection filter to quantum optics, studying a quantum model of optical phase bistability of a strongly coupled two-level atom in an optical cavity. Further applications to quantum systems are considered in Gao, Zhang and Petersen (2019).[17] Ma, Zhao, Chen and Chang (2015) refer to projection filters in the context of hazard position estimation, while Vellekoop and Clark (2006)[18] generalize the projection filter theory to deal with changepoint detection. Harel, Meir and Opper (2015)[19] apply the projection filters in assumed density form to the filtering of optimal point processes with applications to neural encoding. Broecker and Parlitz (2000)[20] study projection filter methods for noise reduction in chaotic time series. Zhang, Wang, Wu and Xu (2014) [21] apply the Gaussian projection filter as part of their estimation technique to deal with measurements of fiber diameters in melt-blown nonwovens.

See also

References

  1. ^ a b "Swedish Defense Research Agency Scientific Report" (PDF). foi.se. Archived from the original (PDF) on 2016-03-03.
  2. ^ a b c d e f Brigo, Damiano; Hanzon, Bernard; LeGland, Francois (1998). "A differential geometric approach to nonlinear filtering: the projection filter". IEEE Transactions on Automatic Control. 43 (2): 247–252.
  3. ^ a b c d e f g Brigo, Damiano; Hanzon, Bernard; LeGland, Francois (1999). "Approximate nonlinear filtering by projection on exponential manifolds of densities". Bernoulli. 5 (3): 407–430.
  4. ^ Chaleyat-Maurel, Mireille and Dominique Michel (1984), Des resultats de non existence de filtre de dimension finie. Stochastics, volume 13, issue 1+2, pages 83–102.
  5. ^ M. Hazewinkel, S.I. Marcus, H.J. Sussmann (1983). Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor problem. Systems & Control Letters 3(6), Pages 331-340, https://doi.org/10.1016/0167-6911(83)90074-9.
  6. ^ a b c d e f Armstrong, John; Brigo, Damiano (2016). "Nonlinear filtering via stochastic PDE projection on mixture manifolds in L2 direct metric". Mathematics of Control, Signals and Systems. 28 (1): 1–33.
  7. ^ a b c d Armstrong, John; Brigo, Damiano; Rossi Ferrucci, Emilio (2019). "Optimal approximation of {SDE}s on submanifolds: the Ito-vector and Ito-jet projections". Proceedings of the London Mathematical Society. 119 (1): 176–213.
  8. ^ Armstrong, J., Brigo, D., and Hanzon, B. (2023). Optimal projection filters with information geometry. Info. Geo. (2023). https://doi.org/10.1007/s41884-023-00108-x
  9. ^ a b Bernard Hanzon (1987). A differential-geometric approach to approximate nonlinear filtering. In: C.T.J. Dodson, Editor, Geometrization of Statistical Theory, pages 219–223. ULMD Publications, University of Lancaster
  10. ^ a b Brigo, D. (1996). Filtering by projection on the manifold of exponential densities. PhD dissertation, Free University of Amsterdam
  11. ^ John Armstrong and Damiano Brigo (2018). Intrinsic stochastic differential equations as jets. Proceedings of the Royal Society A - Mathematical physical and engineering sciences, 474(2210), 28 pages. doi: 10.1098/rspa.2017.0559.
  12. ^ Jones, Eagle S; Soatto, Massimo (2011). "Visual-inertial navigation, mapping and localization: A scalable real-time causal approach". The International Journal of Robotics Research. 30 (4): 407–430.
  13. ^ Azimi-Sadjadi, Babak; Krishnaprasad, P.S. (2005). "Approximate nonlinear filtering and its application in navigation". Automatica. 41 (6): 945–956.
  14. ^ Lermusiaux, Pierre F. J (2006). "Uncertainty estimation and prediction for interdisciplinary ocean dynamics". Journal of Computational Physics. 217 (1): 176–199.
  15. ^ Kutschireiter, Anna; Rast, Luke; Drugowitsch, Jan (2022). "Projection filtering with observed state increments with applications in continuous-time circular filtering". IEEE Transactions on Signal Processing. 70.
  16. ^ van Handel, Ramon; Mabuchi, Hideo (2005). "Quantum projection filter for a highly nonlinear model in cavity QED". Journal of Optics B: Quantum and Semiclassical Optics. 7.
  17. ^ Gao, Qing; Gao, Guofeng; Petersen, Ian R (2019). "An exponential quantum projection filter for open quantum systems". Automatica. 99: 59–68.
  18. ^ Vellekoop, M. H.; Clark, J. M. C. (2006). "A nonlinear filtering approach to changepoint detection problems: Direct and differential-geometric methods". SIAM Review. 48 (2): 329–356.
  19. ^ Harel, Yuval; Meir, Ron; Opper, Manfred (2015). "A tractable approximation to optimal point process filtering: Application to neural encoding". Advances in Neural Information Processing Systems. 28.
  20. ^ Broecker, Jochen; Parlitz, Ulrich (2000). "Noise reduction and filtering of chaotic time series". Proc. NOLTA 2000.
  21. ^ Zhang, Xian Miao; Wu Wang, Rong; Xu, Bugau (2014). "Automated measurements of fiber diameters in melt-blown nonwovens". Journal of Industrial Textiles. 43 (4): 593–605.
  • v
  • t
  • e
Discrete timeContinuous timeBothFields and otherTime series modelsFinancial modelsActuarial modelsQueueing modelsPropertiesLimit theoremsInequalitiesTools
Disciplines
  • v
  • t
  • e
Continuous data
Center
Dispersion
Shape
Count data
Summary tables
Dependence
Graphics
Study design
Survey methodology
Controlled experiments
Adaptive designs
Observational studies
Statistical theory
Frequentist inference
Point estimation
Interval estimation
Testing hypotheses
Parametric tests
Specific tests
  • Z-test (normal)
  • Student's t-test
  • F-test
Goodness of fit
Rank statistics
Bayesian inference
Correlation
Regression analysis
Linear regression
Non-standard predictors
Generalized linear model
Partition of variance
Categorical
Multivariate
Time-series
General
Specific tests
Time domain
Frequency domain
Survival
Survival function
Hazard function
Test
Biostatistics
Engineering statistics
Social statistics
Spatial statistics
  • Category
  • icon Mathematics portal
  • Commons
  • WikiProject