Analysis of high-dimensional distributions using pathwise methods. (English) Zbl 1533.60119
Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4246-4270 (2023).
Summary: The goal of this note is to present an emerging method in the analysis of high-dimensional distributions, which exhibits applications to several mathematical fields, such as functional analysis, convex and discrete geometry, combinatorics, and mathematical physics. The method is based on pathwise analysis: One constructs a stochastic process, driven by Brownian motion, associated with the high-dimensional distribution in hand. Quantities of interest related to the distribution, such as covariance, entropy, and spectral gap, are then expressed via corresponding properties of the stochastic process, such as quadratic variation, making the former tractable through the analysis the latter. We focus on one particular manifestation of this approach, the Stochastic Localization process. We review several results which can be obtained using Stochastic Localization and outline the main steps towards their proofs. By doing so, we try to demonstrate some of the ideas and advantages of the pathwise approach. We focus on two types of results relevant to high-dimensional distributions: The first one has to do with dimension-free concentration bounds, manifested by functional inequalities which have no explicit dependence on the dimension. Our main focus in this respect will be on the Kannan-Lovász-Simonovits conjecture, concerning the isoperimetry of high-dimensional log-concave measures. Additionally, we discuss concentration inequalities for Ising models and expansion bounds for complex-analytic sets. The second type of results concern the decomposition of a high-dimensional measure into mixtures of measures attaining a simple structure, with applications to mean-field approximations.
For the entire collection see [Zbl 1532.00040].
For the entire collection see [Zbl 1532.00040].
MSC:
| 60H30 | Applications of stochastic analysis (to PDEs, etc.) |
| 60G17 | Sample path properties |
| 60G44 | Martingales with continuous parameter |
| 52A23 | Asymptotic theory of convex bodies |
| 60-02 | Research exposition (monographs, survey articles) pertaining to probability theory |
Keywords:
concentration of measure; isoperimetric inequalities; high dimensional phenomena; mean-field models; Gaussian spaceReferences:
| [1] | D. Alonso-Gutiérrez and J. Bastero, Approaching the Kannan-Lovász-Simonovits and variance conjectures. Lecture Notes in Math. 2131, Springer, Cham, 2015. · Zbl 1318.52001 |
| [2] | S. Artstein-Avidan, A. Giannopoulos, and V. D. Milman, Asymptotic geometric analysis. Part I. Math. Surveys Monogr. 202, American Mathematical Society, Providence, RI, 2015. · Zbl 1337.52001 |
| [3] | D. Bakry and M. Emery, Diffusions hypercontractives. In Séminaire de probabil-ités, XIX, 1983/1984, pp. 177-206, Lecture Notes in Math. 1123, Springer, Berlin, 1985. · Zbl 0561.60080 |
| [4] | D. Bakry and M. Ledoux, Lévy-Gromov isoperimetric inequality for an infinite dimensional diffusion generator. Invent. Math. 123 (1995), 259-281. · Zbl 0855.58011 |
| [5] | K. Ball and V. H. Nguyen, Entropy jumps for isotropic log-concave random vec-tors and spectral gap. Studia Math. 213 (2012), no. 1, 81-96. · Zbl 1264.94077 |
| [6] | R. Bauerschmidt and T. Bodineau, A very simple proof of the LSI for high tem-perature spin systems. J. Funct. Anal. 276 (2019), no. 8, 2582-2588. · Zbl 1408.81033 |
| [7] | S. Bobkov, On isoperimetric constants for log-concave probability distribu-tions. In Geometric aspects of functional analysis. Israel Seminar 2004-2005, pp. 81-88, Lecture Notes in Math. 1910, Springer, 2007. · Zbl 1132.60301 |
| [8] | C. Borell, The Brunn-Minkowski inequality in Gauss space. Invent. Math. 30 (1975), no. 2, 207-216. · Zbl 0292.60004 |
| [9] | C. Borell, Geometric bounds on the Ornstein-Uhlenbeck velocity process. Z. Wahrsch. Verw. Gebiete 70 (1985), no. 1, 1-13. · Zbl 0537.60084 |
| [10] | C. Borell, Diffusion equations and geometric inequalities. Potential Anal. 12 (2000), no. 1, 49-71. · Zbl 0976.60065 |
| [11] | C. Borell, Isoperimetry, log-concavity, and elasticity of option prices. In New directions in mathematical finance, edited by P. Wilmott and H. Rasmussen, pp. 73-91, Wiley, 2002. |
| [12] | J. Bourgain, On the distribution of polynomials on high-dimensional convex sets. In Geometric Aspects of Functional Analysis (1989-1990), pp. 127-137, Lecture Notes in Math. 1469, Springer, 1991. · Zbl 0773.46013 |
| [13] | P. Cattiaux, A pathwise approach of some classical inequalities. Potential Anal. 20 (2004), no. 4, 361-394. · Zbl 1050.47041 |
| [14] | S. Chatterjee and A. Dembo, Nonlinear large deviations. Adv. Math. 299 (2019), 396-450. · Zbl 1356.60045 |
| [15] | Y. Chen, An almost constant lower bound of the isoperimetric coefficient in the KLS conjecture. Geom. Funct. Anal. 31 (2021), no. 1, 34-61. · Zbl 1495.52003 |
| [16] | R. Eldan, Thin shell implies spectral gap up to polylog via a Stochastic Localiza-tion scheme. Geom. Funct. Anal. 23 (2012), no. 2, 532-569. · Zbl 1277.52013 |
| [17] | R. Eldan, A two-sided estimate for the Gaussian noise stability deficit. Invent. Math. 201 (2015), no. 2, 561-624. · Zbl 1323.60035 |
| [18] | R. Eldan, Gaussian-width gradient complexity, reverse log-Sobolev inequalities and nonlinear large deviations. Geom. Funct. Anal. 28 (2018), no. 6, 1548-1596. · Zbl 1428.60045 |
| [19] | R. Eldan, Taming correlations through entropy-efficient measure decompositions with applications to mean-field approximation. Probab. Theory Related Fields 176 (2020), no. 3-4, 737-755. · Zbl 1436.82016 |
| [20] | R. Eldan and B. Klartag, Approximately gaussian marginals and the hyperplane conjecture. In Proc. of a workshop on “Concentration, Functional Inequalities and Isoperimetry”, pp. 55-68, Contemp. Math. 545, Amer. Math. Soc., 2011. · Zbl 1235.52012 |
| [21] | R. Eldan, F. Koehler, and O. Zeitouni, A spectral condition for spectral gap: fast mixing in high-temperature Ising models. 2020, arXiv:2007.08200. |
| [22] | M. Gromov, Isoperimetry of waists and concentration of maps. Geom. Funct. Anal. 13 (2003), no. 1, 178-215. · Zbl 1044.46057 |
| [23] | M. Gromov and V. D. Milman, Generalization of the spherical isoperimetric inequality to uniformly convex Banach spaces. Compos. Math. 62 (1987), 263-282. · Zbl 0623.46007 |
| [24] | O. Guedon and E. Milman, Interpolating thin-shell and sharp large-deviation esti-mates for isotropic log-concave measures. Geom. Funct. Anal. 21 (2011), no. 5, 1043-1068. · Zbl 1242.60012 |
| [25] | R. Kannan, L. Lovász, and M. Simonovits, Isoperimetric problems for convex bodies and a localization lemma. Discrete Comput. Geom. 13 (1995), 541-559. · Zbl 0824.52012 |
| [26] | B. Klartag, On convex perturbations with a bounded isotropic constant. Geom. Funct. Anal. 16 (2006), no. 6, 1274-1290. · Zbl 1113.52014 |
| [27] | B. Klartag, A central limit theorem for convex sets. Invent. Math. 168 (2007), 91-131. · Zbl 1144.60021 |
| [28] | B. Klartag, Needle decompositions in Riemannian geometry. Mem. Amer. Math. Soc. 249 (2017), no. 1180. · Zbl 1457.53028 |
| [29] | B. Klartag, Eldan’s Stochastic Localization and tubular neighborhoods of complex-analytic sets. J. Geom. Anal. 28 (2018), no. 3, 2008-2027. · Zbl 1409.32019 |
| [30] | B. Klartag and V. D. Milman, The slicing problem by Bourgain. In Analysis at Large, A Collection of Articles in Memory of Jean Bourgain. Springer (to appear). · Zbl 1539.52008 |
| [31] | M. Ledoux, Isoperimetry and Gaussian analysis. In Lectures on probability theory and statistics, pp. 165-294, Lecture Notes in Math., 1648. Springer, Berlin, Hei-delberg, 1996. · Zbl 0874.60005 |
| [32] | M. Ledoux, The concentration of measure phenomenon. Math. Surveys Monogr. 89, American Mathematical Society, Providence, RI, 2001. · Zbl 0995.60002 |
| [33] | Y. T. Lee and S. Vempala, The Kannan-Lovász-Simonovits conjecture. In Cur-rent developments in mathematics 2017, pp. 1-36, Int. Press, Somerville, MA, 2017. · Zbl 1474.52005 |
| [34] | Y. T. Lee and S. S. Vempala, Eldan’s Stochastic Localization and the KLS hyper-plane conjecture: an improved lower bound for expansion. In 2017 IEEE 58th annual symposium on foundations of computing (FOCS), pp. 998-1007, ACM, New York, 2017. |
| [35] | Y. T. Lee and S. S. Vempala, Eldan’s stochastic localization and the KLS conjec-ture: isoperimetry, concentration and mixing. 2018, arXiv:1612.01507. |
| [36] | J. Lehec, Representation formula for the entropy and functional inequalities. Ann. Inst. Henri Poincaré Probab. Stat. 49 (2013), no. 3, 885-899. · Zbl 1279.39011 |
| [37] | L. Lovász and M. Simonovits, Random walks in a convex body and an improved volume algorithm. Random Struct. Algebra 4 (1993), 359-412. · Zbl 0788.60087 |
| [38] | E. Milman, On the role of convexity in isoperimetry, spectral-gap and concentra-tion. Invent. Math. 177 (2009), no. 1, 1-43. · Zbl 1181.52008 |
| [39] | E. Milman and J. Neeman, The Gaussian multi-bubble conjecture. 2018, arXiv:1805.10961. |
| [40] | E. Mossel and J. Neeman, Robust optimality of Gaussian noise stability. J. Eur. Math. Soc. (JEMS) 17 (2015), no. 2, 433-482. · Zbl 1384.60062 |
| [41] | G. Pisier, Probabilistic methods in the geometry of Banach spaces. In Proba-bility and analysis (Varenna, 1985), pp. 167-241, Lecture Notes in Math. 1206, Springer, Berlin, 1986. · Zbl 0606.60008 |
| [42] | V. N. Sudakov and B. S. Tsirel’son, Extremal properties of half-spaces for spheri-cally invariant measures. J. Sov. Math. 9 (1978), no. 1, 9-18. · Zbl 0395.28007 |
| [43] | R. Vershynin, High-dimensional probability. An introduction with applications in data science. With a foreword by Sara van de Geer. Camb. Ser. Stat. Probab. Math. 47, Cambridge University Press, Cambridge, 2018. Ronen Eldan Department of Mathematics, Weizmann Institute of Science, Rehovot 76100, Israel, ronen.eldan@weizmann.ac.il · Zbl 1430.60005 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
