1
$\begingroup$

Suppose that we have vectors of events $\{H_1,...,H_n\}$ and $\{D_1,...,D_m\}$. Consider the following two sets of conditions:

Condition set 1

(1) $P(H_i H_j)=0$ for any $i\neq j$ and $\sum_iP(H_i)=1$

(2) $P(D_1D_2...D_m|H_i)=\prod_jP(D_j|H_i)$, $1\leq i\leq n$

(3) $P(D_1D_2...D_m|\overline{H_i})=\prod_jP(D_j|\overline{H_i})$, $1\leq i\leq n$

where $\overline{H_i}$ means the negation of $H_i$.

Condition set 2

(1) $P(H_i H_j)=0$ for any $i\neq j$ and $\sum_iP(H_i)=1$

(2) $P(D_rD_s|H_i)=P(D_r|H_i)P(D_s|H_i)$, for any $r\neq s$, $1\leq i\leq n$

(3) $P(D_rD_s|\overline{H_i})=P(D_r|\bar{H_i})P(D_s|\bar{H_i})$, for any $r\neq s$, $1\leq i\leq n$

Claim: If $n>2$, then at most one of the following fractions

$\frac{P(D_1|H_i)}{P(D_1|\overline{H_i})},\frac{P(D_2|H_i)}{P(D_2|\overline{H_i})},...,\frac{P(D_m|H_i)}{P(D_m|\overline{H_i})}$ can differ from unity, $1\leq i\leq n$.

The question: Is the 1st set of conditions sufficient to establishing the claim, or only the 2nd set of stronger conditions is sufficient? Either way, how can we prove it? Is there an intuitive explanation why the claim has to be true giving those conditions?


To understand the background and motivation for this problem, think of $\{H_1,...,H_n\}$ as a set of exhuastive and mutually independent (which means (1) applies) candidate hypotheses we want to test by some experiment that generates data $\{D_1,...,D_m\}$.

Define $O(H_i|D_1D_2...D_m)\equiv \frac{P(H_i|D_1D_2...D_m)}{P(\bar{H_i}|D_1D_2...D_m)}$ as the Odds that $H_i$ is true v.s false, giving data $D_1$ to $D_m$.

By this definition, $O(H_i|D_1D_2...D_m)=O(H_i)\frac{P(D_1D_2...D_m|H_i)}{P(D_1D_2...D_m|\bar{H_i})}$.

Now in such tests it is common that you can design your experiment so that the data $D_i$ are mutually independent, giving $H_i$. So (2) is true.

If the claim is true and you have more than two hypotheses to test, the experiment will serve its purpose only if (3) is false. To see why, suppose instead (3) holds, so the data are also independent giving the negation of $H_i$. Then we have

$O(H_i|D_1D_2...D_m)=O(H_i) \prod_j\frac{P(D_j|H_i)}{P(D_j|\bar{H_i})}$ (*)

But by the claim, only at most one of the fractions in the production can differ from $1$, which means at most one datum can be useful for improving upon the prior odds of a hypothesis ($O(H_i)$).

The lesson is that giving (1) and (2), even if $D_i$'s are physically or causally independent, (3) remains a strong ad hoc assumption that either reduces the information of additional data to triviality (if true) or calculates incorrect result by (*) (if false).


Source: E.T.Jaynes, Probability theory, exercise 4.1.

$\endgroup$
1
  • $\begingroup$ Don't have an answer yet but this might help. $x_1, x_2, \ldots x_n$ has no more than one $x$ differing from unity is equivalent to $\forall (i,j) (x_i-1)(x_j-1) = 0$ $\endgroup$
    – Arthur B
    Mar 23, 2012 at 21:36

1 Answer 1

2
$\begingroup$

A nice proof is given here, http://research.microsoft.com/pubs/66913/multiple-hypothesis.ps

$\endgroup$
1
  • $\begingroup$ dead link that s why we usually recommand people to not share links :) $\endgroup$ Oct 5, 2020 at 0:20

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.