Skip to content

Commit c877b06

Browse files
authored
Merge pull request #115 from StatProofBook/master
update to master
2 parents a35f03a + dcf24e9 commit c877b06

6 files changed

Lines changed: 12 additions & 4 deletions

File tree

I/PbA.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ title: "Proof by Author"
88

99
- [Covariance matrix of the multinomial distribution](/P/mult-cov)
1010

11-
### JoramSoch (390 proofs)
11+
### JoramSoch (391 proofs)
1212

1313
- [Accuracy and complexity for the univariate Gaussian](/P/ug-anc)
1414
- [Accuracy and complexity for the univariate Gaussian with known variance](/P/ugkv-anc)
@@ -138,6 +138,7 @@ title: "Proof by Author"
138138
- [Invariance of the variance under addition of a constant](/P/var-inv)
139139
- [Inverse transformation method using cumulative distribution function](/P/cdf-itm)
140140
- [Joint likelihood is the product of likelihood function and prior density](/P/jl-lfnprior)
141+
- [Kullback-Leibler divergence for the Bernoulli distribution](/P/bern-kl)
141142
- [Kullback-Leibler divergence for the Dirichlet distribution](/P/dir-kl)
142143
- [Kullback-Leibler divergence for the gamma distribution](/P/gam-kl)
143144
- [Kullback-Leibler divergence for the matrix-normal distribution](/P/matn-kl)

I/PbN.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -424,3 +424,4 @@ title: "Proof by Number"
424424
| P416 | bvn-pdf | [Probability density function of the bivariate normal distribution](/P/bvn-pdf) | JoramSoch | 2023-09-22 |
425425
| P417 | bvn-pdfcorr | [Probability density function of the bivariate normal distribution in terms of correlation coefficient](/P/bvn-pdfcorr) | JoramSoch | 2023-09-29 |
426426
| P418 | mlr-olstr | [Ordinary least squares for multiple linear regression with two regressors](/P/mlr-olstr) | JoramSoch | 2023-10-06 |
427+
| P419 | bern-kl | [Kullback-Leibler divergence for the Bernoulli distribution](/P/bern-kl) | JoramSoch | 2023-10-13 |

I/PbT.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -165,6 +165,7 @@ title: "Proof by Topic"
165165

166166
### K
167167

168+
- [Kullback-Leibler divergence for the Bernoulli distribution](/P/bern-kl)
168169
- [Kullback-Leibler divergence for the Dirichlet distribution](/P/dir-kl)
169170
- [Kullback-Leibler divergence for the gamma distribution](/P/gam-kl)
170171
- [Kullback-Leibler divergence for the matrix-normal distribution](/P/matn-kl)

I/PwS.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,7 @@ title: "Proofs without Source"
4545
- [First raw moment is mean](/P/momraw-1st)
4646
- [Gamma distribution is a special case of Wishart distribution](/P/gam-wish)
4747
- [Joint likelihood is the product of likelihood function and prior density](/P/jl-lfnprior)
48+
- [Kullback-Leibler divergence for the Bernoulli distribution](/P/bern-kl)
4849
- [Kullback-Leibler divergence for the matrix-normal distribution](/P/matn-kl)
4950
- [Kullback-Leibler divergence for the normal distribution](/P/norm-kl)
5051
- [Linear combination of independent normal random variables](/P/norm-lincomb)

P/mlr-f.md

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -171,7 +171,7 @@ $$
171171

172172
and under the [null hypothesis](/D/h0) \eqref{eq:mlr-f-h0}, it can be evaluated as:
173173

174-
$$ \label{eq:mlr-t-s2}
174+
$$ \label{eq:mlr-f-s2}
175175
\begin{split}
176176
F &\overset{\eqref{eq:mlr-f-s1}}{=} \left( \hat{\gamma} - C^\mathrm{T} \beta \right)^\mathrm{T} \left( \frac{n-p}{\hat{\varepsilon}^\mathrm{T} \hat{\varepsilon}} Q \right) \left( \hat{\gamma} - C^\mathrm{T} \beta \right) / q \\
177177
&\overset{\eqref{eq:mlr-f-h0}}{=} \hat{\gamma}^\mathrm{T} \left( \frac{n-p}{\hat{\varepsilon}^\mathrm{T} \hat{\varepsilon}} Q \right) \hat{\gamma} / q \\
@@ -181,4 +181,6 @@ F &\overset{\eqref{eq:mlr-f-s1}}{=} \left( \hat{\gamma} - C^\mathrm{T} \beta \r
181181
&\overset{\eqref{eq:mlr-est}}{=} \hat{\beta}^\mathrm{T} C \left( \frac{1}{\hat{\sigma}^2} \left( C^\mathrm{T} (X^\mathrm{T} V^{-1} X)^{-1} C \right)^{-1} \right) C^\mathrm{T} \hat{\beta} / q \\
182182
&= \hat{\beta}^\mathrm{T} C \left( \hat{\sigma}^2 C^\mathrm{T} (X^\mathrm{T} V^{-1} X)^{-1} C \right)^{-1} C^\mathrm{T} \hat{\beta} / q \; .
183183
\end{split}
184-
$$
184+
$$
185+
186+
This means that the [null hypothesis](/D/h0) in \eqref{eq:mlr-f-h0} can be rejected when $F$ from \eqref{eq:mlr-f-s2} is as extreme or more extreme than the [critical value](/D/cval) obtained from [Fisher's F-distribution](/D/f) with $q$ numerator and $n-p$ denominator [degrees of freedom](/D/dof) using a [significance level](/D/alpha) $\alpha$.

P/mlr-t.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -161,4 +161,6 @@ t &\overset{\eqref{eq:mlr-t-s1}}{=} \frac{z}{\sqrt{v/(n-p)}} \\
161161
&\overset{\eqref{eq:mlr-rss}}{=} \frac{c^\mathrm{T} \hat{\beta}}{\sqrt{\frac{(y-X\hat{\beta})^\mathrm{T} V^{-1} (y-X\hat{\beta})}{n-p} \cdot c^\mathrm{T} (X^\mathrm{T} V^{-1} X)^{-1} c}} \\
162162
&\overset{\eqref{eq:mlr-est}}{=} \frac{c^\mathrm{T} \hat{\beta}}{\sqrt{\hat{\sigma}^2 c^\mathrm{T} (X^\mathrm{T} V^{-1} X)^{-1} c}} \; .
163163
\end{split}
164-
$$
164+
$$
165+
166+
This means that the [null hypothesis](/D/h0) in \eqref{eq:mlr-t-h0} can be rejected when $t$ from \eqref{eq:mlr-t-s2} is as extreme or more extreme than the [critical value](/D/cval) obtained from [Student's t-distribution](/D/t) with $n-p$ [degrees of freedom](/D/dof) using a [significance level](/D/alpha) $\alpha$.

0 commit comments

Comments
 (0)