De Finetti theorem
Consider a sequence of independent identically-distributed random variables , , with (cf. Random variable). Clearly, their law is invariant under permutation, i.e. for any finite subset of and for any permutation of , the joint distribution of () is the same as the joint distribution of (). Denoting by the joint law of the 's, one can express the above-stated invariance property as follows: . Clearly, this property of is preserved under convex combinations. A sequence of random variables (or, equivalently, their probability distribution) whose finite-dimensional joint laws are invariant under permutations is called exchangeable or symmetric.
The following question may be asked: Are the convex combinations of laws of independent identically-distributed random variables the only exchangeable probability measures? The answer is no if , and yes if . The latter statement is De Finetti's theorem. Thus, an equivalent statement of De Finetti's theorem is that the extremal points of the convex set of exchangeable probability measures on an infinite product space are the laws of sequences of independent identically-distributed random variables.
De Finetti's theorem asserts, moreover, that this convex set is a simplex, i.e. any of its points is the barycentre of a unique probability measure, called the mixing measure, concentrated on the extremal points. This statement remains true for probability measures that are invariant under groups much more general than the (finite) permutations on the natural integers, while the product structure of the extremals seems to be specific to the permutation group.
A slightly tronger statement is as follows: exchangeable random variables are conditionally independent on the -algebra at infinity.
The following inequality, which might be called the conditional De Finetti theorem and is valid for any finite sequence of exchangeable random variables, explains why De Finetti's theorem (in its stronger formulation) holds exactly if but only approximately if :
where is the conditional expectation onto the -algebra generated by the symmetric measurable functions of the first random variables; is the sup-norm; and is a bounded measurable function of the th random variable (). Intuitively, as , (the conditional expectation onto the fixed point -algebra of the whole permutation group), while the right-hand side of (a1) tends to zero. Thus, the inequality (a1) implies that factorizes in products of functions of the single random variable. This is the conditional independence asserted in De Finetti's theorem. The triviality of the fixed-point -algebra characterizes the extremal symmetric measures which, therefore, also factorize. The Hewitt–Savage lemma, often quoted in connection with De Finetti's theorem, asserts that the fixed-point -algebra coincides with the tail -algebra, i.e. the fixed-point -algebra of the shift (which maps the th random variable into the st), whose triviality characterizes ergodic measures (cf. Invariant measure).
De Finetti's theorem has been generalized in a number of ways, in particular:
2) replacing independence by -dependence [a5];
3) for Markov chains [a2];
4) for conditional expectations rather than measures; for a continuous (even multi-dimensional) index set rather than [a1];
5) for measures that are quasi-invariant, rather than invariant, under the permutation group;
6) to quantum versions [a7].
Moreover, active research is still (1996) devoted to the problem of characterizing the extremal points of various types of symmetric finite sequences of random variables, the so-called finite De Finetti theorem.
Since the symmetric random variables are convex combinations of independent identically-distributed random variables, many theorems (e.g. limit theorems) which are valid for the latter continue to be true for the former; however, the corresponding proofs often require additional ingenuity.
In physics, the main application of De Finetti's theorem is to the so-called mean field models, characterized as follows: One starts from a homogeneous product measure , called the free measure and interpreted as the distribution of a sequence of independent identically-distributed random variables . One perturbs it by a Radon–Nikodým density (Gibbs factor) of the form , where is a normalization factor and is a function of . Such a function is called a mean field type interaction (when the sum is replaced by an arbitrary symmetric function of the 's, one speaks of generalized mean field models). Under mild growth conditions on the , the sequence of perturbed probability measures
has a limit which is necessarily a symmetric probability measure hence, by De Finetti's theorem, the barycentre of a family of homogeneous product measures. The a priori knowledge of the structure of the limit and the simplicity of this structure allows one to calculate or estimate explicitly many quantities of physical interest.
The multi-dimensional and the -dependent versions of De Finetti's theorem have both been proved directly by a quantum probabilistic approach (a further confirmation of the fruitfulness of this approach for most traditional problems in classical probability; cf. Quantum probability).
The independent increment stationary processes are the continuous analogue of the independent identically-distributed sequences. Moreover, on the general class of increment processes, i.e. random-variable-valued finitely-additive measures indexed by bounded closed intervals of , one can naturally define an action of the permutation group by permuting among themselves intervals that are translates of each another. An increment process is called exchangeable if it is invariant under the above-mentioned action of the permutation group. The continuous version of De Finetti's theorem asserts that the extremal points of an exchangeable increment process are independent increment stationary processes. With minor verbal changes in the assumptions, the result can be extended by replacing the -dimensional index set , acted upon by translations, by a more general topological space acted upon by a more general group.
A natural generalization of the notion of independence is the notion of -dependence. A sequence of random variables is called -dependent (cf. -dependent process) if the random variables whose indices are more than apart are independent. This means that, for any natural integer and for any sequence of intervals such that
if (), the blocks of random variables , , , are independent (these definitions are formulated so as to make clear the multi-dimensional generalization).
The sequence is called -symmetric if, for any and for any permutation on , one has
for any function of the random variables , ().
Clearly, -independence is usual independence.
Denote by the set of all shift-invariant -symmetric probability measures with the weak topology. The De Finetti theorem for -symmetric random variables states that the closed extremal boundary of the compact convex set consists of all the shift-invariant -dependent states. Every admits an integral decomposition
with a unique probability Radon measure on the shift-invariant -dependent states.
The proof [a5] depends on Ressel's characterization of completely positive-definite bounded functions on an Abelian semi-group , [a6], according to which for any such function there exists a unique Radon measure over the space of non-negative semi-characters on such that . Recall that, for an Abelian semi-group written additively, a function is called completely positive-definite if for all , and and that a semi-character is a function for which and .
|[a1]||L. Accardi, Y.G. Lu, "A continuous version of De Finetti's theorem" Ann. of Probab. , 21 (1993) pp. 1478–1493|
|[a2]||P. Diaconis, D. Freedman, "A dozen De Finetti-style results in search of a theory" Ann. Inst. Henri Poincare Suppl. au N.2 , 23 (1987) pp. 397–423|
|[a3]||L.E. Dubins, D.A. Freedman, "Exchangeable processes need not be mixtures of independent, identically distributed random variables" Z. Wahrscheinlichkeitsth. verw. Gebiete , 48 (1979) pp. 115–132|
|[a4]||E. Hewitt, L.F. Savage, "Symmetric measures on Cartesian products" Trans. Amer. Math. Soc. , 80 (1955) pp. 470–501|
|[a5]||D. Petz, "A De Finetti-type theorem with -dependent states" Probab. Th. Rel. Fields , 85 (1990) pp. 65–72|
|[a6]||P. Ressel, "De Finetti-type theorems: an analytical approach" Ann. of Probab. , 13 (1985) pp. 898–922|
|[a7]||E. Störmer, "Symmetric states of infinite tensor products of -algebras" J. Funct. Anal. , 3 (1969) pp. 48–68|
|[a8]||?. Bühlman, "Austauschbare Stochastische Variablen und ihre Grenzwertsatze" Univ. California Publ. Stat. (1960) pp. 31–36|
|[a9]||D.A. Freedman, "Invariance under mixing which generalize De Finetti's theorem: continuous time parameter" Ann. Math. Stat. , 33 (1962) pp. 916–923|
|[a10]||D.A. Freedman, "Invariance under mixing which generalize De Finetti's theorem: continuous time parameter" Ann. Math. Stat. , 34 (1963) pp. 1194–1216|
De Finetti theorem. L. Accardi (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=De_Finetti_theorem&oldid=12884