Minimum MSE estimation derivation

AI Thread Summary
The discussion focuses on the derivation of Minimum Mean Square Error (MMSE) estimation, specifically addressing a complex term involving integrals and conditional probabilities. Participants seek clarity on the presence of a specific term in the MMSE equation and whether it can ever be zero. It is highlighted that this term accounts for the difference between E(x^2) and [E(x)]^2, which is crucial for understanding the average mean square error. The conversation emphasizes that when Z equals E[x|Y=y], the MMSE is minimized. Overall, the thread aims to clarify the mathematical foundations of MMSE estimation.
EmmaSaunders1
Messages
45
Reaction score
0
Hello,

Would anyone be-able to recommend a good, easy to read article which outlines MMSE and its derivation. Specifically I am having trouble finding this term


<br /> + \int x&#039;xP(x|y)dx-\left \| \int xP(x|y)dx \right \|^2<br />

from

<br /> E({\left | \left | X-z \right | \right |}^2|Y=y)<br /> =\int (x-z)&#039;(x-z)P(x|y)dx\\<br /> =[z&#039;-\int x&#039;P(x|y)dx][z-\int xP(x|y)dx] + \int x&#039;xP(x|y)dx-\left \| \int xP(x|y)dx \right \|^2<br />

Thank you
 
Physics news on Phys.org
Shouldnt the term just be zero - I can't understand it's presence - are there any conditions in which it is not zero??
 
For anyone who is interested - the last term

<br /> + \int x&#039;xP(x|y)dx-\left \| \int xP(x|y)dx \right \|^2<br />

is necessary to account for the difference between E(x^2) and [E(x)]^2. When Z = E[x|Y=y] the term

<br /> E({\left | \left | X-z \right | \right |}^2|Y=y)<br />

Is a minimum and reduces to

<br /> + \int x&#039;xP(x|y)dx-\left \| \int xP(x|y)dx \right \|^2 = <br />

Then

<br /> E({\left | \left | X \right | \right |}^2|Y=y)-E(X|Y=y)^2\\<br /> =E({\left | \left | X \right | \right |}^2|Y=y)-{\left | \left | \hat{X} \right | \right |}^2<br />

which is the average mean square error
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top