Pub Date : 2024-03-12DOI: 10.1007/s00440-024-01265-5
Jacob Bedrossian, Kyle Liss
A variety of physical phenomena involve the nonlinear transfer of energy from weakly damped modes subjected to external forcing to other modes which are more heavily damped. In this work we explore this in (finite-dimensional) stochastic differential equations in ({mathbb {R}}^n) with a quadratic, conservative nonlinearity B(x, x) and a linear damping term—Ax which is degenerate in the sense that (textrm{ker} A ne emptyset ). We investigate sufficient conditions to deduce the existence of a stationary measure for the associated Markov semigroups. Existence of such measures is straightforward if A is full rank, but otherwise, energy could potentially accumulate in (textrm{ker} A) and lead to almost-surely unbounded trajectories, making the existence of stationary measures impossible. We give a relatively simple and general sufficient condition based on time-averaged coercivity estimates along trajectories in neighborhoods of (textrm{ker} A) and many examples where such estimates can be made.
各种物理现象都涉及到能量从受外力作用的弱阻尼模态向其他重阻尼模态的非线性转移。在这项工作中,我们将在 ({mathbb {R}}^n) 中的(有限维)随机微分方程中探讨这一点,该方程具有二次保守非线性 B(x, x) 和线性阻尼项-Ax,后者在 (textrm{ker} A ne emptyset ) 的意义上是退化的。我们研究了推导相关马尔可夫半群的静态量存在的充分条件。如果 A 是满级的,那么这种量度的存在是直接的,但如果不是这样,能量可能会在(textrm{ker} A) 中积累,并导致几乎可以肯定的无界轨迹,从而使静止量度的存在成为不可能。我们给出了一个相对简单和一般的充分条件,它基于沿轨迹在 (textrm{ker} A) 邻域中的时间平均矫顽力估计值,并给出了许多可以做出这种估计值的例子。
{"title":"Stationary measures for stochastic differential equations with degenerate damping","authors":"Jacob Bedrossian, Kyle Liss","doi":"10.1007/s00440-024-01265-5","DOIUrl":"https://doi.org/10.1007/s00440-024-01265-5","url":null,"abstract":"<p>A variety of physical phenomena involve the nonlinear transfer of energy from weakly damped modes subjected to external forcing to other modes which are more heavily damped. In this work we explore this in (finite-dimensional) stochastic differential equations in <span>({mathbb {R}}^n)</span> with a quadratic, conservative nonlinearity <i>B</i>(<i>x</i>, <i>x</i>) and a linear damping term—<i>Ax</i> which is degenerate in the sense that <span>(textrm{ker} A ne emptyset )</span>. We investigate sufficient conditions to deduce the existence of a stationary measure for the associated Markov semigroups. Existence of such measures is straightforward if <i>A</i> is full rank, but otherwise, energy could potentially accumulate in <span>(textrm{ker} A)</span> and lead to almost-surely unbounded trajectories, making the existence of stationary measures impossible. We give a relatively simple and general sufficient condition based on time-averaged coercivity estimates along trajectories in neighborhoods of <span>(textrm{ker} A)</span> and many examples where such estimates can be made.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"20 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140116969","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-03-05DOI: 10.1007/s00440-024-01266-4
Mathav Murugan
We study reflected diffusion on uniform domains where the underlying space admits a symmetric diffusion that satisfies sub-Gaussian heat kernel estimates. A celebrated theorem of Jones (Acta Math 147(1-2):71–88, 1981) states that uniform domains in Euclidean space are extension domains for Sobolev spaces. In this work, we obtain a similar extension property for metric spaces equipped with a Dirichlet form whose heat kernel satisfies a sub-Gaussian estimate. We introduce a scale-invariant version of this extension property and apply it to show that the reflected diffusion process on such a uniform domain inherits various properties from the ambient space, such as Harnack inequalities, cutoff energy inequality, and sub-Gaussian heat kernel bounds. In particular, our work extends Neumann heat kernel estimates of Gyrya and Saloff-Coste (Astérisque 336:145, 2011) beyond the Gaussian space-time scaling. Furthermore, our estimates on the extension operator imply that the energy measure of the boundary of a uniform domain is always zero. This property of the energy measure is a broad generalization of Hino’s result (Probab Theory Relat Fields 156:739–793, 2013) that proves the vanishing of the energy measure on the outer square boundary of the standard Sierpiński carpet equipped with the self-similar Dirichlet form.
我们研究的是均匀域上的反射扩散,其中底层空间允许满足亚高斯热核估计的对称扩散。琼斯(Jones)的一个著名定理(Acta Math 147(1-2):71-88, 1981)指出,欧几里得空间中的均匀域是索波列夫空间的扩展域。在这项研究中,我们获得了配备了迪里夏特形式的公度空间的类似扩展性质,该形式的热核满足亚高斯估计。我们引入了这一扩展性质的尺度不变版本,并将其用于证明这种均匀域上的反射扩散过程继承了环境空间的各种性质,如哈纳克不等式、截止能量不等式和亚高斯热核边界。特别是,我们的工作将 Gyrya 和 Saloff-Coste 的 Neumann 热核估计(Astérisque 336:145, 2011)扩展到了高斯时空尺度之外。此外,我们对扩展算子的估计意味着均匀域边界的能量度量始终为零。能量度量的这一性质是日野结果(Probab Theory Relat Fields 156:739-793, 2013)的广义概括,该结果证明了配备自相似迪里希勒形式的标准西尔潘斯基地毯外方形边界上能量度量的消失。
{"title":"Heat kernel for reflected diffusion and extension property on uniform domains","authors":"Mathav Murugan","doi":"10.1007/s00440-024-01266-4","DOIUrl":"https://doi.org/10.1007/s00440-024-01266-4","url":null,"abstract":"<p>We study reflected diffusion on uniform domains where the underlying space admits a symmetric diffusion that satisfies sub-Gaussian heat kernel estimates. A celebrated theorem of Jones (Acta Math 147(1-2):71–88, 1981) states that uniform domains in Euclidean space are extension domains for Sobolev spaces. In this work, we obtain a similar extension property for metric spaces equipped with a Dirichlet form whose heat kernel satisfies a sub-Gaussian estimate. We introduce a scale-invariant version of this extension property and apply it to show that the reflected diffusion process on such a uniform domain inherits various properties from the ambient space, such as Harnack inequalities, cutoff energy inequality, and sub-Gaussian heat kernel bounds. In particular, our work extends Neumann heat kernel estimates of Gyrya and Saloff-Coste (Astérisque 336:145, 2011) beyond the Gaussian space-time scaling. Furthermore, our estimates on the extension operator imply that the energy measure of the boundary of a uniform domain is always zero. This property of the energy measure is a broad generalization of Hino’s result (Probab Theory Relat Fields 156:739–793, 2013) that proves the vanishing of the energy measure on the outer square boundary of the standard Sierpiński carpet equipped with the self-similar Dirichlet form.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"238 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140035878","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-03-05DOI: 10.1007/s00440-024-01263-7
Abstract
We consider the following stochastic heat equation $$begin{aligned} partial _t u(t,x) = tfrac{1}{2} partial ^2_x u(t,x) + b(u(t,x)) + sigma (u(t,x)) {dot{W}}(t,x), end{aligned}$$defined for ((t,x)in (0,infty )times {mathbb {R}}), where ({dot{W}}) denotes space-time white noise. The function (sigma ) is assumed to be positive, bounded, globally Lipschitz, and bounded uniformly away from the origin, and the function b is assumed to be positive, locally Lipschitz and nondecreasing. We prove that the Osgood condition $$begin{aligned} int _1^infty frac{textrm{d}y}{b(y)}<infty end{aligned}$$implies that the solution almost surely blows up everywhere and instantaneously, In other words, the Osgood condition ensures that (textrm{P}{ u(t,x)=infty quad hbox { for all } t>0 hbox { and } xin {mathbb {R}}}=1.) The main ingredients of the proof involve a hitting-time bound for a class of differential inequalities (Remark 3.3), and the study of the spatial growth of stochastic convolutions using techniques from the Malliavin calculus and the Poincaré inequalities that were developed in Chen et al. (Electron J Probab 26:1–37, 2021, J Funct Anal 282(2):109290, 2022).
{"title":"Instantaneous everywhere-blowup of parabolic SPDEs","authors":"","doi":"10.1007/s00440-024-01263-7","DOIUrl":"https://doi.org/10.1007/s00440-024-01263-7","url":null,"abstract":"<h3>Abstract</h3> <p>We consider the following stochastic heat equation <span> <span>$$begin{aligned} partial _t u(t,x) = tfrac{1}{2} partial ^2_x u(t,x) + b(u(t,x)) + sigma (u(t,x)) {dot{W}}(t,x), end{aligned}$$</span> </span>defined for <span> <span>((t,x)in (0,infty )times {mathbb {R}})</span> </span>, where <span> <span>({dot{W}})</span> </span> denotes space-time white noise. The function <span> <span>(sigma )</span> </span> is assumed to be positive, bounded, globally Lipschitz, and bounded uniformly away from the origin, and the function <em>b</em> is assumed to be positive, locally Lipschitz and nondecreasing. We prove that the Osgood condition <span> <span>$$begin{aligned} int _1^infty frac{textrm{d}y}{b(y)}<infty end{aligned}$$</span> </span>implies that the solution almost surely blows up everywhere and instantaneously, In other words, the Osgood condition ensures that <span> <span>(textrm{P}{ u(t,x)=infty quad hbox { for all } t>0 hbox { and } xin {mathbb {R}}}=1.)</span> </span> The main ingredients of the proof involve a hitting-time bound for a class of differential inequalities (Remark 3.3), and the study of the spatial growth of stochastic convolutions using techniques from the Malliavin calculus and the Poincaré inequalities that were developed in Chen et al. (Electron J Probab 26:1–37, 2021, J Funct Anal 282(2):109290, 2022).</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"51 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140044150","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-28DOI: 10.1007/s00440-024-01264-6
Giovanni Conforti
We investigate the quadratic Schrödinger bridge problem, a.k.a. Entropic Optimal Transport problem, and obtain weak semiconvexity and semiconcavity bounds on Schrödinger potentials under mild assumptions on the marginals that are substantially weaker than log-concavity. We deduce from these estimates that Schrödinger bridges satisfy a logarithmic Sobolev inequality on the product space. Our proof strategy is based on a second order analysis of coupling by reflection on the characteristics of the Hamilton–Jacobi–Bellman equation that reveals the existence of new classes of invariant functions for the corresponding flow.
{"title":"Weak semiconvexity estimates for Schrödinger potentials and logarithmic Sobolev inequality for Schrödinger bridges","authors":"Giovanni Conforti","doi":"10.1007/s00440-024-01264-6","DOIUrl":"https://doi.org/10.1007/s00440-024-01264-6","url":null,"abstract":"<p>We investigate the quadratic Schrödinger bridge problem, a.k.a. Entropic Optimal Transport problem, and obtain weak semiconvexity and semiconcavity bounds on Schrödinger potentials under mild assumptions on the marginals that are substantially weaker than log-concavity. We deduce from these estimates that Schrödinger bridges satisfy a logarithmic Sobolev inequality on the product space. Our proof strategy is based on a second order analysis of coupling by reflection on the characteristics of the Hamilton–Jacobi–Bellman equation that reveals the existence of new classes of invariant functions for the corresponding flow.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"112 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140003269","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-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}