Abstract
We present a novel analogue for finite exchangeable sequences of the de Finetti, Hewitt and Savage theorem and investigate its implications for multi-marginal optimal transport (MMOT) and Bayesian statistics. If \((Z_1, \ldots ,Z_N)\) is a finitely exchangeable sequence of N random variables taking values in some Polish space X, we show that the law \(\mu _k\) of the first k components has a representation of the form
for some probability measure \(\alpha \) on the set of \(\frac{1}{N}\)-quantized probability measures on X and certain universal polynomials \(F_{N,k}\). The latter consist of a leading term \(N^{k-1}\! /\prod _{j=1}^{k-1}(N\! -\! j) \lambda ^{\otimes k}\) and a finite, exponentially decaying series of correlated corrections of order \(N^{-j}\) (\(j=1, \ldots ,k\)). The \(F_{N,k}(\lambda )\) are precisely the extremal such laws, expressed via an explicit polynomial formula in terms of their one-point marginals \(\lambda \). Applications include novel approximations of MMOT via polynomial convexification and the identification of the remainder which is estimated in the celebrated error bound of Diaconis and Freedman (Ann Probab 8(4):745–764, 1980) between finite and infinite exchangeable laws.
This is a preview of subscription content, access via your institution.


Notes
Analogously, \((Z_1, \ldots ,Z_k)\) is called infinitely extendible if its law equals that of the first k elements of an infinite exchangeable sequence \(({\tilde{Z}}_1,{\tilde{Z}}_2, \ldots )\).
References
Agueh, Martial, Carlier, Guillaume: Barycenters in the Wasserstein space. SIAM J. Math. Anal. 43(2), 904–924 (2011)
Aldous, D.J.: Exchangeability and related topics. In: École d’été de probabilités de Saint-Flour, XIII—1983, volume 1117 of Lecture Notes in Math., pp. 1–198. Springer, Berlin (1985)
Billingsley, Patrick: Convergence of Probability Measures. Wiley, Hoboken (1999)
Bobkov, Sergey G.: Generalized symmetric polynomials and an approximate de Finetti representation. J. Theor. Probab. 18(2), 399–412 (2005)
Brenier, Yann: Polar factorization and monotone rearrangement of vector-valued functions. Commun. Pure Appl. Math. 44(4), 375–417 (1991)
Buttazzo, G., De Pascale, L., Gori-Giorgi, P.: Optimal-transport formulation of electronic density-functional theory. Phys. Rev. A 85, 062502 (2012)
Comtet, Louis: Advanced Combinatorics: The Art of Finite and Infinite Expansions. Springer, Dordrecht (1974)
Cotar, Codina, Friesecke, Gero, Klüppelberg, Claudia: Density functional theory and optimal transportation with Coulomb cost. Commun. Pure Appl. Math. 66(4), 548–599 (2013)
Cotar, Codina, Friesecke, Gero, Pass, Brendan: Infinite-body optimal transport with Coulomb cost. Calc. Var. Partial Differ. Equ. 54(1), 717–742 (2015)
Crane, H.: The ubiquitous Ewens sampling formula. Stat. Sci. 31(1), 1–19 (2016)
Dellacherie, C., Meyer, P.-A.: Probabilities and potential. B, volume 72 of North-Holland Mathematics Studies. North-Holland Publishing Co., Amsterdam,: Theory of martingales. Translated from the French by J. P, Wilson (1982)
Diaconis, P., Freedman, D.: Finite exchangeable sequences. Ann. Probab. 8(4), 745–764 (1980)
Diaconis, Persi: Finite forms of de Finetti’s theorem on exchangeability. Synthese 36(2), 271–281 (1977). (Foundations of probability and statistics, II)
Donnelly, P., Grimmett, G.: On the asymptotic distribution of large prime factors. J. Lond. Math. Soc. s2–47(3), 395–404 (1993)
Ewens, W.J.: The sampling theory of selectively neutral alleles. Theor. Popul. Biol. 3(1), 87–112 (1972)
Friesecke, G., Mendl, C.B., Pass, B., Cotar, C., Klüppelberg, C.: N-density representability and the optimal transport limit of the Hohenberg–Kohn functional. J. Chem. Phys. 139(16), 164109 (2013)
Friesecke, Gero, Vögler, Daniela: Breaking the curse of dimension in multi-marginal Kantorovich optimal transport on finite state spaces. SIAM J. Math. Anal. 50(4), 3996–4019 (2018)
Gangbo, Wilfrid, McCann, Robert J.: The geometry of optimal transportation. Acta Math. 177(2), 113–161 (1996)
Gangbo, Wilfrid, Świȩch, Andrzej: Optimal maps for the multidimensional Monge-Kantorovich problem. Commun. Pure Appl. Math. 51(1), 23–45 (1998)
Ghoussoub, Nassif, Moameni, Abbas: Symmetric Monge-Kantorovich problems and polar decompositions of vector fields. Geom. Funct. Anal. 24(4), 1129–1166 (2014)
Graham, Ronald: An efficient algorithm for determining the convex hull of a finite planar set. Inf. Process. Lett. 1, 132–133 (1972)
Hewitt, Edwin, Savage, Leonard J.: Symmetric measures on Cartesian products. Trans. Am. Math. Soc. 80, 470–501 (1955)
Hörmander, Lars: Notions of Convexity. Birkhäuser, Boston (1994)
Janson, Svante, Konstantopoulos, Takis, Yuan, Linglong: On a representation theorem for finitely exchangeable random vectors. J. Math. Anal. Appl. 442(2), 703–714 (2016)
Jaynes, E.: Some applications and extensions of the de Finetti representation theorem. In: Bayesian Inverence and Decision Techniques: Essays in Honor of Bruno de Finetti, pp. 31–42 (1986)
Kallenberg, Olav: Probabilistic Symmetries and Invariance Principles. Probability and Its Applications (New York). Springer, New York (2005)
Karlin, S., McGregor, J.: Addendum to a paper of W. Ewens. Theor. Popul. Biol. 3(1), 113–116 (1972)
Kerns, G.J., Székely, G.J.: De Finetti’s theorem for abstract finite exchangeable sequences. J. Theor. Probab. 19(3), 589–608 (2006)
Khoo, Yuehaw, Ying, Lexing: Convex relaxation approaches for strictly correlated density functional theory. SIAM J. Sci. Comput. 41(4), B773–B795 (2019)
Laraki, R., Lasserre, J.B.: Computing uniform convex approximations for convex envelopes and convex hulls. J. Convex Anal. 15(3), 635–654 (2008)
Acknowledgements
G.C. gratefully acknowledges the hospitality of TU Munich, where this work was begun while he held a John Von Neumann visiting professorship and acknowledges the support of the Lagrange Mathematics and Computation Research Center.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Carlier, G., Friesecke, G. & Vögler, D. Convex geometry of finite exchangeable laws and de Finetti style representation with universal correlated corrections. Probab. Theory Relat. Fields 185, 311–351 (2023). https://doi.org/10.1007/s00440-022-01115-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-022-01115-2
Keywords
- N-representability
- Finite exchangeability
- De Finetti
- Hewitt–Savage theorem
- Multi-marginal optimal transport
- Bayesian statistics
- Extremal measures
- Choquet theory
Mathematics Subject Classification
- 60G09
- 52A05
- 49Q22