A probability propagation in hypertrees

This paper introduces a mathematical model of a probability propagation in hypertrees. Suppose that a probability measure P on a set of random variables factors on a hypertree. That is, there is for each node a non-negative function \p of the configurations of the random variables represented by the node such that P is the product of these functions: P = \7P \p. Each pair (\3Y, {\p}) forms a factorization network of P, where \3Y is a Markov-tree representation of the hypertree. This paper introduces a local computation of the factorization network relative to an arbitrary subset of random variables, and derives the invariant properties of the network. Based on the invariance, the marginal of P on the given subset of random variables can be computed by propagating the local computation in the network.