TheoremBase

Directional Form of the Multivariate van Trees Inequality

Statement

Adopt the setting, notation and hypotheses (i)--(iv) of the multivariate van Trees inequality: the probability space (Ω,F,P)(\Omega,\mathcal{F},P), the natural number l≥1l\ge1, the measurable space (Y,G)(Y,\mathcal{G}) with its σ\sigma-finite measure μ\mu, the square-integrable random variables Θ1,…,Θl\Theta_{1},\dots,\Theta_{l} with Θ=(Θ1,…,Θl)\Theta=(\Theta_{1},\dots,\Theta_{l}), the measurable map D:Ω→YD:\Omega\to Y, and the van Trees information matrix JJ, which is positive definite by hypothesis (iv). Write E\mathbb{E} for the expectation, x⋅yx\cdot y for the dot product on the Euclidean space Rl\mathbb{R}^{l} and JzJz for the matrix-vector product. Let a,z∈Rla,z\in\mathbb{R}^{l} with zz nonzero, so that z⋅(Jz)>0z\cdot(Jz)>0 by claim 1 of Rank-One Lower Bound for the Inverse of a Positive Definite Matrix, and write a⋅Θ=∑j=1lajΘja\cdot\Theta=\sum_{j=1}^{l}a_{j}\Theta_{j}, a square-integrable random variable by the closure properties of square-integrability.

Then for every g:Y→Rg:Y\to\mathbb{R} measurable with respect to G\mathcal{G} and the Borel σ\sigma-algebra such that g(D)=g∘Dg(D)=g\circ D is square-integrable,

E[(g(D)−a⋅Θ)2] ≥ (a⋅z)2z⋅(Jz).\mathbb{E}\bigl[(g(D)-a\cdot\Theta)^{2}\bigr]\ \ge\ \frac{(a\cdot z)^{2}}{z\cdot(Jz)} .

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…