1
$\begingroup$

I'm trying to understand message passing for compressed sensing. I came acrross this distribution: enter image description here

As the title suggests, how does this distribution look like? I know the first products term in the right hand side is student distribution. But what happen when it's multiplied by the second term? Also, what is the "ds" in the left hand side of (2)?

$\endgroup$
8
  • $\begingroup$ en.wikipedia.org/wiki/Dirac_delta_function $\endgroup$ Jun 25, 2020 at 6:56
  • $\begingroup$ @kevin012 what is "ds" in the left side of (s)? $\endgroup$
    – William
    Jun 25, 2020 at 8:57
  • $\begingroup$ It's a mathematical notation from measure theory when the random variable is continuous. The left side is the same meaning as the probability density for a random variable $s$. $\endgroup$ Jun 25, 2020 at 9:18
  • $\begingroup$ @kevin012 still not clear. What is Dirac distribution on a hyperplane? $\endgroup$
    – William
    Jun 26, 2020 at 7:49
  • $\begingroup$ I'm not sure what the formula means because I don't know the context. The literal meaning is that the hyperplane is defined in the random vector space. And the Dirac delta function is defined on the subspace. If you want me to explain the concept, you need to give me more context on how the formula started. $\endgroup$ Jun 26, 2020 at 8:09

1 Answer 1

1
$\begingroup$

Let's consider the example when $N = 3$ and $n = 2$.

In the case, we are in the 3-dimensional space and we are handling of constraint which is in a plane.

As the plane is two dimensional, Dirac delta has two components which is represented by product:

$$\delta_{\{y_1 = (As)_1\}} \cdot \delta_{\{y_2 = (As)_2\}}$$

where $(As)_1$ is the first component of multiplication of $As$.

If you calculate a probability for the whole space, you need to calculate multiple integrals.

For example,

\begin{aligned} \int_{s_1= -\infty}^{s_1 = \infty} & \int_{s_2 = -\infty}^{s_2 = \infty} \int_{s_3 = -\infty}^{s_3 =\infty}\mu(\mathrm{d}s) \\ & = \int_{s_1= -\infty}^{s_1 = \infty} \int_{s_2 = -\infty}^{s_2 = \infty} \int_{s_3 = -\infty}^{s_3 =\infty} P(s) \cdot \delta_{\{y_1 = (As)_1\}} \cdot\delta_{\{y_2 = (As)_2\}} \mathrm{d} s_1 \mathrm{d} s_2 \mathrm{d} s_3 \\ & = \int_{a= -\infty}^{a = \infty} \int_{b = -\infty}^{b = \infty} P(a, b) \mathrm{d} a \mathrm{d} b \end{aligned}

where

$$P(s) = \dfrac{1}{Z}\prod\limits_{i=1}^{N}\exp(-\beta|s_i|)$$

and $\mathrm{d}a$ and $\mathrm{d}b$ are differentials on the hyperplane defined by the Dirac delta.

The Dirac delta function is to take the value which is satisfied by the hyperplane constraint. The integral in the 3D space is converted into the integral on the 2D hyperplane.

$\endgroup$
2
  • $\begingroup$ Why do you need the integration? I mean why do you need to find a probability for the whole space? Why do we need to integrate a PDF? Is the integration of $\mu (ds)$ over the whole space equals to one? $\endgroup$
    – William
    Jun 26, 2020 at 20:40
  • 1
    $\begingroup$ @AymenKareem Dirac delta is not the function in the ordinary sense. It gives sensible value only with the integral. $\endgroup$ Jun 26, 2020 at 23:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.