Exchangeable Bernoulli random variables and Bayes' postulate

Abstract

We discuss the implications of Bayes' postulate in the setting of exchangeable Bernoulli random variables. Bayes' postulate, here, stipulates a uniform distribution on the total number of successes in any number of trials. For an infinite sequence of exchangeable Bernoulli variables the conditions of Bayes' postulate are equivalent to a uniform (prior) distribution on the underlying mixing variable which necessarily exists by De Finetti's representation theorem. We show that in the presence of exchangeability, the conditions of Bayes' postulate are implied by a considerably weaker assumption which only specifies the probability of n successes in n trials, for every n. The equivalence of the Bayes' postulate and the weak assumption holds for both finite and infinite sequences. We also explore characterizations of the joint distribution of finitely many exchangeable Bernoulli variables in terms of probability statements similar to the weak assumption. Finally, we consider extensions of Bayes' postulate in the framework of exchangeable multinomial trials.