Pub Date : 2024-02-28DOI: 10.1007/s00440-024-01262-8
Andrea Lelli, Alexandre Stauffer
We study the mixing time of a random walker who moves inside a dynamical random cluster model on the d-dimensional torus of side-length n. In this model, edges switch at rate (mu ) between open and closed, following a Glauber dynamics for the random cluster model with parameters p, q. At the same time, the walker jumps at rate 1 as a simple random walk on the torus, but is only allowed to traverse open edges. We show that for small enough p the mixing time of the random walker is of order (n^2/mu ). In our proof we construct a non-Markovian coupling through a multi-scale analysis of the environment, which we believe could be more widely applicable.
{"title":"Mixing time of random walk on dynamical random cluster","authors":"Andrea Lelli, Alexandre Stauffer","doi":"10.1007/s00440-024-01262-8","DOIUrl":"https://doi.org/10.1007/s00440-024-01262-8","url":null,"abstract":"<p>We study the mixing time of a random walker who moves inside a dynamical random cluster model on the <i>d</i>-dimensional torus of side-length <i>n</i>. In this model, edges switch at rate <span>(mu )</span> between <i>open</i> and <i>closed</i>, following a Glauber dynamics for the random cluster model with parameters <i>p</i>, <i>q</i>. At the same time, the walker jumps at rate 1 as a simple random walk on the torus, but is only allowed to traverse open edges. We show that for small enough <i>p</i> the mixing time of the random walker is of order <span>(n^2/mu )</span>. In our proof we construct a non-Markovian coupling through a multi-scale analysis of the environment, which we believe could be more widely applicable.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"76 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140003143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-23DOI: 10.1007/s00440-024-01260-w
Emanuele Dolera, Stefano Favaro, Edoardo Mainini
In Bayesian statistics, posterior contraction rates (PCRs) quantify the speed at which the posterior distribution concentrates on arbitrarily small neighborhoods of a true model, in a suitable way, as the sample size goes to infinity. In this paper, we develop a new approach to PCRs, with respect to strong norm distances on parameter spaces of functions. Critical to our approach is the combination of a local Lipschitz-continuity for the posterior distribution with a dynamic formulation of the Wasserstein distance, which allows to set forth an interesting connection between PCRs and some classical problems arising in mathematical analysis, probability and statistics, e.g., Laplace methods for approximating integrals, Sanov’s large deviation principles in the Wasserstein distance, rates of convergence of mean Glivenko–Cantelli theorems, and estimates of weighted Poincaré–Wirtinger constants. We first present a theorem on PCRs for a model in the regular infinite-dimensional exponential family, which exploits sufficient statistics of the model, and then extend such a theorem to a general dominated model. These results rely on the development of novel techniques to evaluate Laplace integrals and weighted Poincaré–Wirtinger constants in infinite-dimension, which are of independent interest. The proposed approach is applied to the regular parametric model, the multinomial model, the finite-dimensional and the infinite-dimensional logistic-Gaussian model and the infinite-dimensional linear regression. In general, our approach leads to optimal PCRs in finite-dimensional models, whereas for infinite-dimensional models it is shown explicitly how the prior distribution affect PCRs.
{"title":"Strong posterior contraction rates via Wasserstein dynamics","authors":"Emanuele Dolera, Stefano Favaro, Edoardo Mainini","doi":"10.1007/s00440-024-01260-w","DOIUrl":"https://doi.org/10.1007/s00440-024-01260-w","url":null,"abstract":"<p>In Bayesian statistics, posterior contraction rates (PCRs) quantify the speed at which the posterior distribution concentrates on arbitrarily small neighborhoods of a true model, in a suitable way, as the sample size goes to infinity. In this paper, we develop a new approach to PCRs, with respect to strong norm distances on parameter spaces of functions. Critical to our approach is the combination of a local Lipschitz-continuity for the posterior distribution with a dynamic formulation of the Wasserstein distance, which allows to set forth an interesting connection between PCRs and some classical problems arising in mathematical analysis, probability and statistics, e.g., Laplace methods for approximating integrals, Sanov’s large deviation principles in the Wasserstein distance, rates of convergence of mean Glivenko–Cantelli theorems, and estimates of weighted Poincaré–Wirtinger constants. We first present a theorem on PCRs for a model in the regular infinite-dimensional exponential family, which exploits sufficient statistics of the model, and then extend such a theorem to a general dominated model. These results rely on the development of novel techniques to evaluate Laplace integrals and weighted Poincaré–Wirtinger constants in infinite-dimension, which are of independent interest. The proposed approach is applied to the regular parametric model, the multinomial model, the finite-dimensional and the infinite-dimensional logistic-Gaussian model and the infinite-dimensional linear regression. In general, our approach leads to optimal PCRs in finite-dimensional models, whereas for infinite-dimensional models it is shown explicitly how the prior distribution affect PCRs.\u0000</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"36 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139952388","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-17DOI: 10.1007/s00440-024-01259-3
Shankar Bhamidi, Sanchayan Sen
A well-known open problem on the behavior of optimal paths in random graphs in the strong disorder regime, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade (Braunstein et al. in Phys Rev Lett 91(16):168701, 2003; Braunstein et al. in Int J Bifurc Chaos 17(07):2215–2255, 2007; Chen et al. in Phys Rev Lett 96(6):068702, 2006; Wu et al. in Phys Rev Lett 96(14):148702, 2006) is as follows: for a large class of random graph models with degree exponent (tau in (3,4)), distances in the minimal spanning tree (MST) on the giant component in the supercritical regime scale like (n^{(tau -3)/(tau -1)}). The aim of this paper is to make progress towards a proof of this conjecture. We consider a supercritical inhomogeneous random graph model with degree exponent (tau in (3, 4)) that is closely related to Aldous’s multiplicative coalescent, and show that the MST constructed by assigning i.i.d. continuous weights to the edges in its giant component, endowed with the tree distance scaled by (n^{-(tau -3)/(tau -1)}), converges in distribution with respect to the Gromov–Hausdorff topology to a random compact real tree. Further, almost surely, every point in this limiting space either has degree one (leaf), or two, or infinity (hub), both the set of leaves and the set of hubs are dense in this space, and the Minkowski dimension of this space equals ((tau -1)/(tau -3)). The multiplicative coalescent, in an asymptotic sense, describes the evolution of the component sizes of various near-critical random graph processes. We expect the limiting spaces in this paper to be the candidates for the scaling limit of the MST constructed for a wide array of other heavy-tailed random graph models.
统计物理学家提出了一个关于强无序机制下随机图中最优路径行为的著名开放性问题,并在过去十年中得到了大量数值证据的支持(Braunstein 等,发表于 Phys Rev Lett 91(16):168701, 2003;Braunstein 等,发表于 Int J Bifurc Chaos 17(07):2215-2255, 2007;Chen 等,发表于 Phys Rev Lett 96(6):068702, 2006;Wu 等,发表于 Phys Rev Lett 96(14):148702, 2006)。在 Phys Rev Lett 96(6):068702, 2006;Wu 等人在 Phys Rev Lett 96(14):148702, 2006)的结论如下:对于一大类具有度指数 ((tau in (3,4))的随机图模型,在超临界机制中巨型分量上的最小生成树(MST)中的距离就像(n^{(tau -3)/(tau-1)})一样缩放。本文的目的是在证明这一猜想方面取得进展。我们考虑了一个超临界非均质随机图模型,该模型的度指数((tau in (3, 4))与阿尔道斯的乘法凝聚密切相关,并证明了通过给边缘分配 i.i.d.(n^{-(tau-3)/(tau-1)})缩放的树距离,在分布上相对于格罗莫夫-豪斯多夫拓扑学(Gromov-Hausdorff topology)收敛于随机紧凑实树。此外,几乎可以肯定的是,这个极限空间中的每个点要么度数为一(树叶),要么度数为二,要么度数为无穷大(树枢),树叶集合和树枢集合在这个空间中都是密集的,而且这个空间的闵科夫斯基维度等于 ((tau-1)/(tau-3))。在渐近的意义上,乘法凝聚力描述了各种近临界随机图过程的分量大小的演化。我们希望本文中的极限空间能够成为为其他一系列重尾随机图模型构建的 MST 的缩放极限的候选空间。
{"title":"Geometry of the minimal spanning tree in the heavy-tailed regime: new universality classes","authors":"Shankar Bhamidi, Sanchayan Sen","doi":"10.1007/s00440-024-01259-3","DOIUrl":"https://doi.org/10.1007/s00440-024-01259-3","url":null,"abstract":"<p>A well-known open problem on the behavior of optimal paths in random graphs in the strong disorder regime, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade (Braunstein et al. in Phys Rev Lett 91(16):168701, 2003; Braunstein et al. in Int J Bifurc Chaos 17(07):2215–2255, 2007; Chen et al. in Phys Rev Lett 96(6):068702, 2006; Wu et al. in Phys Rev Lett 96(14):148702, 2006) is as follows: for a large class of random graph models with degree exponent <span>(tau in (3,4))</span>, distances in the minimal spanning tree (MST) on the giant component in the supercritical regime scale like <span>(n^{(tau -3)/(tau -1)})</span>. The aim of this paper is to make progress towards a proof of this conjecture. We consider a supercritical inhomogeneous random graph model with degree exponent <span>(tau in (3, 4))</span> that is closely related to Aldous’s multiplicative coalescent, and show that the MST constructed by assigning i.i.d. continuous weights to the edges in its giant component, endowed with the tree distance scaled by <span>(n^{-(tau -3)/(tau -1)})</span>, converges in distribution with respect to the Gromov–Hausdorff topology to a random compact real tree. Further, almost surely, every point in this limiting space either has degree one (leaf), or two, or infinity (hub), both the set of leaves and the set of hubs are dense in this space, and the Minkowski dimension of this space equals <span>((tau -1)/(tau -3))</span>. The multiplicative coalescent, in an asymptotic sense, describes the evolution of the component sizes of various near-critical random graph processes. We expect the limiting spaces in this paper to be the candidates for the scaling limit of the MST constructed for a wide array of other heavy-tailed random graph models.\u0000</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"24 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139903742","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-02DOI: 10.1007/s00440-023-01249-x
Antonio Agresti, Mark Veraar
In this paper we introduce the critical variational setting for parabolic stochastic evolution equations of quasi- or semi-linear type. Our results improve many of the abstract results in the classical variational setting. In particular, we are able to replace the usual weak or local monotonicity condition by a more flexible local Lipschitz condition. Moreover, the usual growth conditions on the multiplicative noise are weakened considerably. Our new setting provides general conditions under which local and global existence and uniqueness hold. In addition, we prove continuous dependence on the initial data. We show that many classical SPDEs, which could not be covered by the classical variational setting, do fit in the critical variational setting. In particular, this is the case for the Cahn–Hilliard equation, tamed Navier–Stokes equations, and Allen–Cahn equation.
{"title":"The critical variational setting for stochastic evolution equations","authors":"Antonio Agresti, Mark Veraar","doi":"10.1007/s00440-023-01249-x","DOIUrl":"https://doi.org/10.1007/s00440-023-01249-x","url":null,"abstract":"<p>In this paper we introduce the critical variational setting for parabolic stochastic evolution equations of quasi- or semi-linear type. Our results improve many of the abstract results in the classical variational setting. In particular, we are able to replace the usual weak or local monotonicity condition by a more flexible local Lipschitz condition. Moreover, the usual growth conditions on the multiplicative noise are weakened considerably. Our new setting provides general conditions under which local and global existence and uniqueness hold. In addition, we prove continuous dependence on the initial data. We show that many classical SPDEs, which could not be covered by the classical variational setting, do fit in the critical variational setting. In particular, this is the case for the Cahn–Hilliard equation, tamed Navier–Stokes equations, and Allen–Cahn equation.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"2 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139664773","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-30DOI: 10.1007/s00440-023-01257-x
Sam Olesker-Taylor, Luca Zanetti
In the Fastest Mixing Markov Chain problem, we are given a graph (G = (V, E)) and desire the discrete-time Markov chain with smallest mixing time (tau ) subject to having equilibrium distribution uniform on V and non-zero transition probabilities only across edges of the graph. It is well-known that the mixing time (tau _textsf {RW}) of the lazy random walk on G is characterised by the edge conductance (Phi ) of G via Cheeger’s inequality: (Phi ^{-1} lesssim tau _textsf {RW} lesssim Phi ^{-2} log |V|). Analogously, we characterise the fastest mixing time (tau ^star ) via a Cheeger-type inequality but for a different geometric quantity, namely the vertex conductance (Psi ) of G: (Psi ^{-1} lesssim tau ^star lesssim Psi ^{-2} (log |V|)^2). This characterisation forbids fast mixing for graphs with small vertex conductance. To bypass this fundamental barrier, we consider Markov chains on G with equilibrium distribution which need not be uniform, but rather only (varepsilon )-close to uniform in total variation. We show that it is always possible to construct such a chain with mixing time (tau lesssim varepsilon ^{-1} ({text {diam}} G)^2 log |V|). Finally, we discuss analogous questions for continuous-time and time-inhomogeneous chains.
在最快混合马尔可夫链问题中,我们给定了一个图(G = (V, E)),并希望得到混合时间最小的离散时间马尔可夫链,条件是均衡分布均匀分布在 V 上,并且图的边上的过渡概率不为零。众所周知,通过切格不等式,G 上懒惰随机游走的混合时间由 G 的边传导性(Phi )表征:(Phi ^{-1} lesssim tau _textsf {RW} lesssim Phi ^{-2} log |V||)。类似地,我们通过一个切格型不等式来描述最快混合时间:((Psi ^{-1} lesssim tau ^^star lesssim Psi ^{-2} (log |V|)^2/)。这一特性禁止了具有小顶点传导性的图的快速混合。为了绕过这个基本障碍,我们考虑了 G 上的马尔可夫链,它的均衡分布不需要是均匀的,而只需要在总变化上接近于均匀。我们证明,总是有可能构造出这样一个混合时间为 (tau lesssim varepsilon ^{-1} ({text {diam}} G)^2 log |V|)的链。最后,我们讨论连续时间链和时间同构链的类似问题。
{"title":"Geometric bounds on the fastest mixing Markov chain","authors":"Sam Olesker-Taylor, Luca Zanetti","doi":"10.1007/s00440-023-01257-x","DOIUrl":"https://doi.org/10.1007/s00440-023-01257-x","url":null,"abstract":"<p>In the Fastest Mixing Markov Chain problem, we are given a graph <span>(G = (V, E))</span> and desire the discrete-time Markov chain with smallest mixing time <span>(tau )</span> subject to having equilibrium distribution uniform on <i>V</i> and non-zero transition probabilities only across edges of the graph. It is well-known that the mixing time <span>(tau _textsf {RW})</span> of the lazy random walk on <i>G</i> is characterised by the edge conductance <span>(Phi )</span> of <i>G</i> via Cheeger’s inequality: <span>(Phi ^{-1} lesssim tau _textsf {RW} lesssim Phi ^{-2} log |V|)</span>. Analogously, we characterise the fastest mixing time <span>(tau ^star )</span> via a Cheeger-type inequality but for a different geometric quantity, namely the vertex conductance <span>(Psi )</span> of <i>G</i>: <span>(Psi ^{-1} lesssim tau ^star lesssim Psi ^{-2} (log |V|)^2)</span>. This characterisation forbids fast mixing for graphs with small vertex conductance. To bypass this fundamental barrier, we consider Markov chains on <i>G</i> with equilibrium distribution which need not be uniform, but rather only <span>(varepsilon )</span>-close to uniform in total variation. We show that it is always possible to construct such a chain with mixing time <span>(tau lesssim varepsilon ^{-1} ({text {diam}} G)^2 log |V|)</span>. Finally, we discuss analogous questions for continuous-time and time-inhomogeneous chains.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"55 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139648394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-22DOI: 10.1007/s00440-023-01248-y
Andrea Montanari, Yiqiao Zhong, Kangjie Zhou
In the negative perceptron problem we are given n data points ((varvec{x}_i,y_i)), where (varvec{x}_i) is a d-dimensional vector and (y_iin {+1,-1}) is a binary label. The data are not linearly separable and hence we content ourselves to find a linear classifier with the largest possible negative margin. In other words, we want to find a unit norm vector (varvec{theta }) that maximizes (min _{ile n}y_ilangle varvec{theta },varvec{x}_irangle ). This is a non-convex optimization problem (it is equivalent to finding a maximum norm vector in a polytope), and we study its typical properties under two random models for the data. We consider the proportional asymptotics in which (n,drightarrow infty ) with (n/drightarrow delta ), and prove upper and lower bounds on the maximum margin (kappa _{{textrm{s}}}(delta )) or—equivalently—on its inverse function (delta _{{textrm{s}}}(kappa )). In other words, (delta _{{textrm{s}}}(kappa )) is the overparametrization threshold: for (n/dle delta _{{textrm{s}}}(kappa )-{varepsilon }) a classifier achieving vanishing training error exists with high probability, while for (n/dge delta _{{textrm{s}}}(kappa )+{varepsilon }) it does not. Our bounds on (delta _{{textrm{s}}}(kappa )) match to the leading order as (kappa rightarrow -infty ). We then analyze a linear programming algorithm to find a solution, and characterize the corresponding threshold (delta _{textrm{lin}}(kappa )). We observe a gap between the interpolation threshold (delta _{{textrm{s}}}(kappa )) and the linear programming threshold (delta _{textrm{lin}}(kappa )), raising the question of the behavior of other algorithms.
{"title":"Tractability from overparametrization: the example of the negative perceptron","authors":"Andrea Montanari, Yiqiao Zhong, Kangjie Zhou","doi":"10.1007/s00440-023-01248-y","DOIUrl":"https://doi.org/10.1007/s00440-023-01248-y","url":null,"abstract":"<p>In the negative perceptron problem we are given <i>n</i> data points <span>((varvec{x}_i,y_i))</span>, where <span>(varvec{x}_i)</span> is a <i>d</i>-dimensional vector and <span>(y_iin {+1,-1})</span> is a binary label. The data are not linearly separable and hence we content ourselves to find a linear classifier with the largest possible <i>negative</i> margin. In other words, we want to find a unit norm vector <span>(varvec{theta })</span> that maximizes <span>(min _{ile n}y_ilangle varvec{theta },varvec{x}_irangle )</span>. This is a non-convex optimization problem (it is equivalent to finding a maximum norm vector in a polytope), and we study its typical properties under two random models for the data. We consider the proportional asymptotics in which <span>(n,drightarrow infty )</span> with <span>(n/drightarrow delta )</span>, and prove upper and lower bounds on the maximum margin <span>(kappa _{{textrm{s}}}(delta ))</span> or—equivalently—on its inverse function <span>(delta _{{textrm{s}}}(kappa ))</span>. In other words, <span>(delta _{{textrm{s}}}(kappa ))</span> is the overparametrization threshold: for <span>(n/dle delta _{{textrm{s}}}(kappa )-{varepsilon })</span> a classifier achieving vanishing training error exists with high probability, while for <span>(n/dge delta _{{textrm{s}}}(kappa )+{varepsilon })</span> it does not. Our bounds on <span>(delta _{{textrm{s}}}(kappa ))</span> match to the leading order as <span>(kappa rightarrow -infty )</span>. We then analyze a linear programming algorithm to find a solution, and characterize the corresponding threshold <span>(delta _{textrm{lin}}(kappa ))</span>. We observe a gap between the interpolation threshold <span>(delta _{{textrm{s}}}(kappa ))</span> and the linear programming threshold <span>(delta _{textrm{lin}}(kappa ))</span>, raising the question of the behavior of other algorithms.\u0000</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"113 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139558969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-16DOI: 10.1007/s00440-023-01256-y
Songzi Li, Xiang-Dong Li
We prove the Perelman type W-entropy formula for the geodesic flow on the (L^2)-Wasserstein space over a complete Riemannian manifold equipped with Otto’s infinite dimensional Riemannian metric. To better understand the similarity between the W-entropy formula for the geodesic flow on the Wasserstein space and the W-entropy formula for the heat flow of the Witten Laplacian on the underlying manifold, we introduce the Langevin deformation of flows on the Wasserstein space over a Riemannian manifold, which interpolates the gradient flow and the geodesic flow on the Wasserstein space over a Riemannian manifold, and can be regarded as the potential flow of the compressible Euler equation with damping on a Riemannian manifold. We prove the existence, uniqueness and regularity of the Langevin deformation on the Wasserstein space over the Euclidean space and a compact Riemannian manifold, and prove the convergence of the Langevin deformation for (crightarrow 0) and (crightarrow infty ) respectively. Moreover, we prove the W-entropy-information formula along the Langevin deformation on the Wasserstein space on Riemannian manifolds. The rigidity theorems are proved for the W-entropy for the geodesic flow and the Langevin deformation on the Wasserstein space over complete Riemannian manifolds with the CD(0, m)-condition. Our results are new even in the case of Euclidean spaces and complete Riemannian manifolds with non-negative Ricci curvature.
{"title":"W-entropy and Langevin deformation on Wasserstein space over Riemannian manifolds","authors":"Songzi Li, Xiang-Dong Li","doi":"10.1007/s00440-023-01256-y","DOIUrl":"https://doi.org/10.1007/s00440-023-01256-y","url":null,"abstract":"<p>We prove the Perelman type <i>W</i>-entropy formula for the geodesic flow on the <span>(L^2)</span>-Wasserstein space over a complete Riemannian manifold equipped with Otto’s infinite dimensional Riemannian metric. To better understand the similarity between the <i>W</i>-entropy formula for the geodesic flow on the Wasserstein space and the <i>W</i>-entropy formula for the heat flow of the Witten Laplacian on the underlying manifold, we introduce the Langevin deformation of flows on the Wasserstein space over a Riemannian manifold, which interpolates the gradient flow and the geodesic flow on the Wasserstein space over a Riemannian manifold, and can be regarded as the potential flow of the compressible Euler equation with damping on a Riemannian manifold. We prove the existence, uniqueness and regularity of the Langevin deformation on the Wasserstein space over the Euclidean space and a compact Riemannian manifold, and prove the convergence of the Langevin deformation for <span>(crightarrow 0)</span> and <span>(crightarrow infty )</span> respectively. Moreover, we prove the <i>W</i>-entropy-information formula along the Langevin deformation on the Wasserstein space on Riemannian manifolds. The rigidity theorems are proved for the <i>W</i>-entropy for the geodesic flow and the Langevin deformation on the Wasserstein space over complete Riemannian manifolds with the CD(0, <i>m</i>)-condition. Our results are new even in the case of Euclidean spaces and complete Riemannian manifolds with non-negative Ricci curvature.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"58 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139500645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-12DOI: 10.1007/s00440-023-01253-1
Alice Contat, Nicolas Curien, Perrine Lacroix, Etienne Lasalle, Vincent Rivoirard
We consider the problem of finding the initial vertex (Adam) in a Barabási–Albert tree process ( (mathcal {T}(n): n ge 1)) at large times. More precisely, given ( varepsilon >0), one wants to output a subset ( mathcal {P}_{ varepsilon }(n)) of vertices of ( mathcal {T}(n)) so that the initial vertex belongs to ( mathcal {P}_ varepsilon (n)) with probability at least (1- varepsilon ) when n is large. It has been shown by Bubeck, Devroye and Lugosi, refined later by Banerjee and Huang, that one needs to output at least ( varepsilon ^{-1 + o(1)}) and at most (varepsilon ^{-2 + o(1)}) vertices to succeed. We prove that the exponent in the lower bound is sharp and the key idea is that Adam is either a “large degree" vertex or is a neighbor of a “large degree" vertex (Eve).
{"title":"Eve, Adam and the preferential attachment tree","authors":"Alice Contat, Nicolas Curien, Perrine Lacroix, Etienne Lasalle, Vincent Rivoirard","doi":"10.1007/s00440-023-01253-1","DOIUrl":"https://doi.org/10.1007/s00440-023-01253-1","url":null,"abstract":"<p>We consider the problem of finding the initial vertex (Adam) in a Barabási–Albert tree process <span>( (mathcal {T}(n): n ge 1))</span> at large times. More precisely, given <span>( varepsilon >0)</span>, one wants to output a subset <span>( mathcal {P}_{ varepsilon }(n))</span> of vertices of <span>( mathcal {T}(n))</span> so that the initial vertex belongs to <span>( mathcal {P}_ varepsilon (n))</span> with probability at least <span>(1- varepsilon )</span> when <i>n</i> is large. It has been shown by Bubeck, Devroye and Lugosi, refined later by Banerjee and Huang, that one needs to output at least <span>( varepsilon ^{-1 + o(1)})</span> and at most <span>(varepsilon ^{-2 + o(1)})</span> vertices to succeed. We prove that the exponent in the lower bound is sharp and the key idea is that Adam is either a “large degree\" vertex or is a neighbor of a “large degree\" vertex (Eve).\u0000</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"29 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139459075","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-05DOI: 10.1007/s00440-023-01252-2
Barbara Dembin, Christophe Garban
We consider the standard first passage percolation model on ({mathbb {Z}}^ d) with a distribution G taking two values (0<a<b). We study the maximal flow through the cylinder ([0,n]^ {d-1}times [0,hn]) between its top and bottom as well as its associated minimal surface(s). We prove that the variance of the maximal flow is superconcentrated, i.e. in (O(frac{n^{d-1}}{log n})), for (hge h_0) (for a large enough constant (h_0=h_0(a,b))). Equivalently, we obtain that the ground state energy of a disordered Ising ferromagnet in a cylinder ([0,n]^ {d-1}times [0,hn]) is superconcentrated when opposite boundary conditions are applied at the top and bottom faces and for a large enough constant (hge h_0) (which depends on the law of the coupling constants). Our proof is inspired by the proof of Benjamini–Kalai–Schramm (Ann Probab 31:1970–1978, 2003). Yet, one major difficulty in this setting is to control the influence of the edges since the averaging trick used in Benjamini et al. (Ann Probab 31:1970–1978, 2003) fails for surfaces. Of independent interest, we prove that minimal surfaces (in the present discrete setting) cannot have long thin chimneys.
{"title":"Superconcentration for minimal surfaces in first passage percolation and disordered Ising ferromagnets","authors":"Barbara Dembin, Christophe Garban","doi":"10.1007/s00440-023-01252-2","DOIUrl":"https://doi.org/10.1007/s00440-023-01252-2","url":null,"abstract":"<p>We consider the standard first passage percolation model on <span>({mathbb {Z}}^ d)</span> with a distribution <i>G</i> taking two values <span>(0<a<b)</span>. We study the maximal flow through the cylinder <span>([0,n]^ {d-1}times [0,hn])</span> between its top and bottom as well as its associated minimal surface(s). We prove that the variance of the maximal flow is superconcentrated, i.e. in <span>(O(frac{n^{d-1}}{log n}))</span>, for <span>(hge h_0)</span> (for a large enough constant <span>(h_0=h_0(a,b))</span>). Equivalently, we obtain that the ground state energy of a disordered Ising ferromagnet in a cylinder <span>([0,n]^ {d-1}times [0,hn])</span> is superconcentrated when opposite boundary conditions are applied at the top and bottom faces and for a large enough constant <span>(hge h_0)</span> (which depends on the law of the coupling constants). Our proof is inspired by the proof of Benjamini–Kalai–Schramm (Ann Probab 31:1970–1978, 2003). Yet, one major difficulty in this setting is to control the influence of the edges since the averaging trick used in Benjamini et al. (Ann Probab 31:1970–1978, 2003) fails for surfaces. Of independent interest, we prove that minimal surfaces (in the present discrete setting) cannot have long thin chimneys.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"160 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139103070","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-04DOI: 10.1007/s00440-023-01255-z
Thomas Cass, Emilio Ferrucci
We compute the Wiener chaos decomposition of the signature for a class of Gaussian processes, which contains fractional Brownian motion (fBm) with Hurst parameter (H in (1/4,1)). At level 0, our result yields an expression for the expected signature of such processes, which determines their law (Chevyrev and Lyons in Ann Probab 44(6):4049–4082, 2016). In particular, this formula simultaneously extends both the one for (1/2 < H)-fBm (Baudoin and Coutin in Stochast Process Appl 117(5):550–574, 2007) and the one for Brownian motion ((H = 1/2)) (Fawcett 2003), to the general case (H > 1/4), thereby resolving an established open problem. Other processes studied include continuous and centred Gaussian semimartingales.
{"title":"On the Wiener chaos expansion of the signature of a Gaussian process","authors":"Thomas Cass, Emilio Ferrucci","doi":"10.1007/s00440-023-01255-z","DOIUrl":"https://doi.org/10.1007/s00440-023-01255-z","url":null,"abstract":"<p>We compute the Wiener chaos decomposition of the signature for a class of Gaussian processes, which contains fractional Brownian motion (fBm) with Hurst parameter <span>(H in (1/4,1))</span>. At level 0, our result yields an expression for the expected signature of such processes, which determines their law (Chevyrev and Lyons in Ann Probab 44(6):4049–4082, 2016). In particular, this formula simultaneously extends both the one for <span>(1/2 < H)</span>-fBm (Baudoin and Coutin in Stochast Process Appl 117(5):550–574, 2007) and the one for Brownian motion (<span>(H = 1/2)</span>) (Fawcett 2003), to the general case <span>(H > 1/4)</span>, thereby resolving an established open problem. Other processes studied include continuous and centred Gaussian semimartingales.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"10 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139103124","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}