Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
    
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$ –  Arthur B Mar 23 '12 at 21:36
add comment

1 Answer

up vote 2 down vote accepted

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

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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