Skip to main content

Convex geometry of finite exchangeable laws and de Finetti style representation with universal correlated corrections

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

$$\begin{aligned} \mu _k=\int _{\mathcal{P}_{\frac{1}{N}}(X)} F_{N,k}(\lambda ) \, \text{ d } \alpha (\lambda ) \end{aligned}$$

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.

Fig. 1
Fig. 2

Notes

  1. 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

  1. Agueh, Martial, Carlier, Guillaume: Barycenters in the Wasserstein space. SIAM J. Math. Anal. 43(2), 904–924 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  2. 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)

  3. Billingsley, Patrick: Convergence of Probability Measures. Wiley, Hoboken (1999)

    Book  MATH  Google Scholar 

  4. Bobkov, Sergey G.: Generalized symmetric polynomials and an approximate de Finetti representation. J. Theor. Probab. 18(2), 399–412 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  5. Brenier, Yann: Polar factorization and monotone rearrangement of vector-valued functions. Commun. Pure Appl. Math. 44(4), 375–417 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  6. Buttazzo, G., De Pascale, L., Gori-Giorgi, P.: Optimal-transport formulation of electronic density-functional theory. Phys. Rev. A 85, 062502 (2012)

    Article  Google Scholar 

  7. Comtet, Louis: Advanced Combinatorics: The Art of Finite and Infinite Expansions. Springer, Dordrecht (1974)

    Book  MATH  Google Scholar 

  8. 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)

    Article  MathSciNet  MATH  Google Scholar 

  9. Cotar, Codina, Friesecke, Gero, Pass, Brendan: Infinite-body optimal transport with Coulomb cost. Calc. Var. Partial Differ. Equ. 54(1), 717–742 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  10. Crane, H.: The ubiquitous Ewens sampling formula. Stat. Sci. 31(1), 1–19 (2016)

    MathSciNet  MATH  Google Scholar 

  11. 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)

  12. Diaconis, P., Freedman, D.: Finite exchangeable sequences. Ann. Probab. 8(4), 745–764 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  13. Diaconis, Persi: Finite forms of de Finetti’s theorem on exchangeability. Synthese 36(2), 271–281 (1977). (Foundations of probability and statistics, II)

    Article  MathSciNet  MATH  Google Scholar 

  14. Donnelly, P., Grimmett, G.: On the asymptotic distribution of large prime factors. J. Lond. Math. Soc. s2–47(3), 395–404 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  15. Ewens, W.J.: The sampling theory of selectively neutral alleles. Theor. Popul. Biol. 3(1), 87–112 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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)

    Article  MathSciNet  MATH  Google Scholar 

  18. Gangbo, Wilfrid, McCann, Robert J.: The geometry of optimal transportation. Acta Math. 177(2), 113–161 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  19. Gangbo, Wilfrid, Świȩch, Andrzej: Optimal maps for the multidimensional Monge-Kantorovich problem. Commun. Pure Appl. Math. 51(1), 23–45 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  20. Ghoussoub, Nassif, Moameni, Abbas: Symmetric Monge-Kantorovich problems and polar decompositions of vector fields. Geom. Funct. Anal. 24(4), 1129–1166 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  21. Graham, Ronald: An efficient algorithm for determining the convex hull of a finite planar set. Inf. Process. Lett. 1, 132–133 (1972)

    Article  MATH  Google Scholar 

  22. Hewitt, Edwin, Savage, Leonard J.: Symmetric measures on Cartesian products. Trans. Am. Math. Soc. 80, 470–501 (1955)

    Article  MathSciNet  MATH  Google Scholar 

  23. Hörmander, Lars: Notions of Convexity. Birkhäuser, Boston (1994)

    MATH  Google Scholar 

  24. Janson, Svante, Konstantopoulos, Takis, Yuan, Linglong: On a representation theorem for finitely exchangeable random vectors. J. Math. Anal. Appl. 442(2), 703–714 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  25. 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)

  26. Kallenberg, Olav: Probabilistic Symmetries and Invariance Principles. Probability and Its Applications (New York). Springer, New York (2005)

    MATH  Google Scholar 

  27. Karlin, S., McGregor, J.: Addendum to a paper of W. Ewens. Theor. Popul. Biol. 3(1), 113–116 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  28. Kerns, G.J., Székely, G.J.: De Finetti’s theorem for abstract finite exchangeable sequences. J. Theor. Probab. 19(3), 589–608 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  29. Khoo, Yuehaw, Ying, Lexing: Convex relaxation approaches for strictly correlated density functional theory. SIAM J. Sci. Comput. 41(4), B773–B795 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  30. Laraki, R., Lasserre, J.B.: Computing uniform convex approximations for convex envelopes and convex hulls. J. Convex Anal. 15(3), 635–654 (2008)

    MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Guillaume Carlier.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • 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