Abstract:De Finetti's classical result of [18] identifying the law of an exchangeable family of random variables as a mixture of i.i.d. laws was extended to structure theorems for more complex notions of exchangeability by Aldous [1,2,3], Hoover [41,42], Kallenberg [44] and Kingman [47]. On the other hand, such exchangeable laws were first related to questions from combinatorics in an independent analysis by Fremlin and Talagrand [29], and again more recently in Tao [62], where they appear as a natural proxy for the `leading order statistics' of colourings of large graphs or hypergraphs. Moreover, this relation appears implicitly in the study of various more bespoke formalisms for handling `limit objects' of sequences of dense graphs or hypergraphs in a number of recent works, including Lovász and Szegedy [52], Borgs, Chayes, Lovász, Sós, Szegedy and Vesztergombi [17], Elek and Szegedy [24] and Razborov [54,55]. However, the connection between these works and the earlier probabilistic structural results seems to have gone largely unappreciated. In this survey we recall the basic results of the theory of exchangeable laws, and then explain the probabilistic versions of various interesting questions from graph and hypergraph theory that their connection motivates (particularly extremal questions on the testability of properties for graphs and hypergraphs). We also locate the notions of exchangeability of interest to us in the context of other classes of probability measures subject to various symmetries, in particular contrasting the methods employed to analyze exchangeable laws with related structural results in ergodic theory, particular the Furstenberg-Zimmer structure theorem for probability-preserving $\mathbb {Z}$-systems, which underpins Furstenberg's ergodic-theoretic proof of Szemerédi's Theorem. The forthcoming paper [10]--hereditarytest will make a much more elaborate appeal to the link between exchangeable laws and dense (directed) hypergraphs to establish various results in property testing.

Formal construction of some exchangeable structures

The Comparable Structure of Exchange Rings

Exchangeable choice functions

Construction schemes: transferring structures from $ω$ to $ω_1$

The Design and Regulation of Exchanges: A Formal Approach

Constructions of Indecomposable Representations of Algebras Via Reflection Functors

Toward a Combinatorial Theory of SET and Related Card Games

When invariance implies exchangeability (and applications to invariant Keisler measures)

Exchange Rings and Comparable Conditions

Generalized Chinese restaurant construction of exchangeable Gibbs partitions and related results

Connecting classical finite exchangeability to quantum theory

Uncountable homogeneous structures

Formalization of some central theorems in combinatorics of finite sets

Models with second order properties, V: A General principle

Generalizing the de Finetti--Hewitt--Savage theorem

Semiautomatic Structures

Congruence Closure Modulo Permutation Equations

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations

Equivalent Choice Functions and Stable Mechanisms

Indecomposability and irreducibility of monomial representations for set-theoretical solutions to the Yang-Baxter equation

On exchangeable random variables and the statistics of large graphs and hypergraphs