File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -4,13 +4,14 @@ title: "Proof by Author"
44---
55
66
7- ### JoramSoch (250 proofs)
7+ ### JoramSoch (252 proofs)
88
99- [ (Non-)Multiplicativity of the expected value] ( /P/mean-mult )
1010- [ Accuracy and complexity for the univariate Gaussian] ( /P/ug-anc )
1111- [ Accuracy and complexity for the univariate Gaussian with known variance] ( /P/ugkv-anc )
1212- [ Addition law of probability] ( /P/prob-add )
1313- [ Addition of the differential entropy upon multiplication with a constant] ( /P/dent-add )
14+ - [ Addition of the differential entropy upon multiplication with invertible matrix] ( /P/dent-addvec )
1415- [ Additivity of the Kullback-Leibler divergence for independent distributions] ( /P/kl-add )
1516- [ Additivity of the variance for independent random variables] ( /P/var-add )
1617- [ Bayes' rule] ( /P/bayes-rule )
@@ -142,6 +143,7 @@ title: "Proof by Author"
142143- [ Monotonicity of probability] ( /P/prob-mon )
143144- [ Monotonicity of the expected value] ( /P/mean-mono )
144145- [ Necessary and sufficient condition for independence of multivariate normal random variables] ( /P/mvn-ind )
146+ - [ Non-invariance of the differential entropy under change of variables] ( /P/dent-noninv )
145147- [ Non-negativity of the Kullback-Leibler divergence] ( /P/kl-nonneg )
146148- [ Non-negativity of the Kullback-Leibler divergence] ( /P/kl-nonneg2 )
147149- [ Non-negativity of the Shannon entropy] ( /P/ent-nonneg )
Original file line number Diff line number Diff line change @@ -266,3 +266,5 @@ title: "Proof by Number"
266266| P258 | pdf-sumind | [ Probability density function of a sum of independent discrete random variables] ( /P/pdf-sumind ) | JoramSoch | 2021-08-30 |
267267| P259 | cf-fct | [ Characteristic function of a function of a random variable] ( /P/cf-fct ) | JoramSoch | 2021-09-22 |
268268| P260 | mgf-fct | [ Moment-generating function of a function of a random variable] ( /P/mgf-fct ) | JoramSoch | 2021-09-22 |
269+ | P261 | dent-addvec | [ Addition of the differential entropy upon multiplication with invertible matrix] ( /P/dent-addvec ) | JoramSoch | 2021-10-07 |
270+ | P262 | dent-noninv | [ Non-invariance of the differential entropy under change of variables] ( /P/dent-noninv ) | JoramSoch | 2021-10-07 |
Original file line number Diff line number Diff line change @@ -14,6 +14,7 @@ title: "Proof by Topic"
1414- [ Accuracy and complexity for the univariate Gaussian with known variance] ( /P/ugkv-anc )
1515- [ Addition law of probability] ( /P/prob-add )
1616- [ Addition of the differential entropy upon multiplication with a constant] ( /P/dent-add )
17+ - [ Addition of the differential entropy upon multiplication with invertible matrix] ( /P/dent-addvec )
1718- [ Additivity of the Kullback-Leibler divergence for independent distributions] ( /P/kl-add )
1819- [ Additivity of the variance for independent random variables] ( /P/var-add )
1920
@@ -186,6 +187,7 @@ title: "Proof by Topic"
186187### N
187188
188189- [ Necessary and sufficient condition for independence of multivariate normal random variables] ( /P/mvn-ind )
190+ - [ Non-invariance of the differential entropy under change of variables] ( /P/dent-noninv )
189191- [ Non-negativity of the Kullback-Leibler divergence] ( /P/kl-nonneg )
190192- [ Non-negativity of the Kullback-Leibler divergence] ( /P/kl-nonneg2 )
191193- [ Non-negativity of the Shannon entropy] ( /P/ent-nonneg )
You can’t perform that action at this time.
0 commit comments