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}
Pub Date : 2024-01-04DOI: 10.1007/s00440-023-01254-0
Nicolas Clozeau, Francesco Mattesini
We study a random matching problem on closed compact 2-dimensional Riemannian manifolds (with respect to the squared Riemannian distance), with samples of random points whose common law is absolutely continuous with respect to the volume measure with strictly positive and bounded density. We show that given two sequences of numbers n and (m=m(n)) of points, asymptotically equivalent as n goes to infinity, the optimal transport plan between the two empirical measures (mu ^n) and (nu ^{m}) is quantitatively well-approximated by (big (text {Id},exp (nabla h^{n})big )_#mu ^n) where (h^{n}) solves a linear elliptic PDE obtained by a regularized first-order linearization of the Monge–Ampère equation. This is obtained in the case of samples of correlated random points for which a stretched exponential decay of the (alpha )-mixing coefficient holds and for a class of discrete-time sub-geometrically ergodic Markov chains having a unique absolutely continuous invariant measure with respect to the volume measure.
我们研究了闭合紧凑二维黎曼流形(关于黎曼距离平方)上的随机匹配问题,随机点样本的共同规律是绝对连续的,关于体积度量,其密度为严格正值且有界。我们证明,给定两个数序列 n 和点的(m=m(n)),当 n 变为无穷大时渐近相等,两个经验度量 (mu ^n) 和 (nu ^{m})之间的最优传输计划在数量上可以用 (big (text {Id}、exp(nabla h^{n})big )_#mu ^n),其中 (h^{n}) 解决的是一个线性椭圆 PDE,由 Monge-Ampère 方程的正则化一阶线性化得到。这是在相关随机点样本的情况下得到的,对于这些样本,(α)-混合系数的拉伸指数衰减是成立的,而且对于一类离散时间次几何遍历马尔可夫链来说,也是成立的,这一类马尔可夫链在体积度量方面具有唯一的绝对连续不变度量。
{"title":"Annealed quantitative estimates for the quadratic 2D-discrete random matching problem","authors":"Nicolas Clozeau, Francesco Mattesini","doi":"10.1007/s00440-023-01254-0","DOIUrl":"https://doi.org/10.1007/s00440-023-01254-0","url":null,"abstract":"<p>We study a random matching problem on closed compact 2-dimensional Riemannian manifolds (with respect to the squared Riemannian distance), with samples of random points whose common law is absolutely continuous with respect to the volume measure with strictly positive and bounded density. We show that given two sequences of numbers <i>n</i> and <span>(m=m(n))</span> of points, asymptotically equivalent as <i>n</i> goes to infinity, the optimal transport plan between the two empirical measures <span>(mu ^n)</span> and <span>(nu ^{m})</span> is quantitatively well-approximated by <span>(big (text {Id},exp (nabla h^{n})big )_#mu ^n)</span> where <span>(h^{n})</span> solves a linear elliptic PDE obtained by a regularized first-order linearization of the Monge–Ampère equation. This is obtained in the case of samples of correlated random points for which a stretched exponential decay of the <span>(alpha )</span>-mixing coefficient holds and for a class of discrete-time sub-geometrically ergodic Markov chains having a unique absolutely continuous invariant measure with respect to the volume measure.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"104 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139103417","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 : 2023-12-29DOI: 10.1007/s00440-023-01251-3
Abstract
We consider the limit of solutions of scaled linear kinetic equations with a reflection-transmission-killing condition at the interface. Both the coefficient describing the probability of killing and the scattering kernel degenerate. We prove that the long-time, large-space limit is the unique solution of a version of the fractional in space heat equation that corresponds to the Kolmogorov equation for a symmetric stable process, which is reflected, or transmitted while crossing the interface and is killed upon the first hitting of the interface. The results of the paper are related to the work in Komorowski et al. (Ann Prob 48:2290–2322, 2020), where the case of a non-degenerate probability of killing has been considered.
{"title":"Anomalous diffusion limit for a kinetic equation with a thermostatted interface","authors":"","doi":"10.1007/s00440-023-01251-3","DOIUrl":"https://doi.org/10.1007/s00440-023-01251-3","url":null,"abstract":"<h3>Abstract</h3> <p>We consider the limit of solutions of scaled linear kinetic equations with a reflection-transmission-killing condition at the interface. Both the coefficient describing the probability of killing and the scattering kernel degenerate. We prove that the long-time, large-space limit is the unique solution of a version of the fractional in space heat equation that corresponds to the Kolmogorov equation for a symmetric stable process, which is reflected, or transmitted while crossing the interface and is killed upon the first hitting of the interface. The results of the paper are related to the work in Komorowski et al. (Ann Prob 48:2290–2322, 2020), where the case of a non-degenerate probability of killing has been considered. </p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"8 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139065674","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 : 2023-12-28DOI: 10.1007/s00440-023-01250-4
Hariharan Narayanan, Scott Sheffield, Terence Tao
Associated to two given sequences of eigenvalues (lambda _1 ge cdots ge lambda _n) and (mu _1 ge cdots ge mu _n) is a natural polytope, the polytope of augmented hives with the specified boundary data, which is associated to sums of random Hermitian matrices with these eigenvalues. As a first step towards the asymptotic analysis of random hives, we show that if the eigenvalues are drawn from the GUE ensemble, then the associated augmented hives exhibit concentration as (n rightarrow infty ). Our main ingredients include a representation due to Speyer of augmented hives involving a supremum of linear functions applied to a product of Gelfand–Tsetlin polytopes; known results by Klartag on the KLS conjecture in order to handle the aforementioned supremum; covariance bounds of Cipolloni–Erdős–Schröder of eigenvalue gaps of GUE; and the use of the theory of determinantal processes to analyze the GUE minor process.
与两个给定的特征值序列 (lambda _1 ge cdots ge lambda _n) 和 (mu _1 ge cdots ge mu _n)相关联的是一个自然多面体,即具有指定边界数据的增强蜂巢多面体,它与具有这些特征值的随机赫米矩阵之和相关联。作为随机蜂巢渐近分析的第一步,我们证明,如果特征值是从 GUE 集合中抽取的,那么相关的增强蜂巢会表现为集中(n rightarrow infty )。我们的主要内容包括:Speyer 提出的增强蜂巢表示法,它涉及应用于 Gelfand-Tsetlin 多面体乘积的线性函数的上峰;Klartag 为处理上述上峰而提出的关于 KLS 猜想的已知结果;Cipolloni-Erdős-Schröder 对 GUE 特征值差距的协方差约束;以及使用行列式过程理论来分析 GUE 小过程。
{"title":"Sums of GUE matrices and concentration of hives from correlation decay of eigengaps","authors":"Hariharan Narayanan, Scott Sheffield, Terence Tao","doi":"10.1007/s00440-023-01250-4","DOIUrl":"https://doi.org/10.1007/s00440-023-01250-4","url":null,"abstract":"<p>Associated to two given sequences of eigenvalues <span>(lambda _1 ge cdots ge lambda _n)</span> and <span>(mu _1 ge cdots ge mu _n)</span> is a natural polytope, the polytope of <i>augmented hives</i> with the specified boundary data, which is associated to sums of random Hermitian matrices with these eigenvalues. As a first step towards the asymptotic analysis of random hives, we show that if the eigenvalues are drawn from the GUE ensemble, then the associated augmented hives exhibit concentration as <span>(n rightarrow infty )</span>. Our main ingredients include a representation due to Speyer of augmented hives involving a supremum of linear functions applied to a product of Gelfand–Tsetlin polytopes; known results by Klartag on the KLS conjecture in order to handle the aforementioned supremum; covariance bounds of Cipolloni–Erdős–Schröder of eigenvalue gaps of GUE; and the use of the theory of determinantal processes to analyze the GUE minor process.</p>","PeriodicalId":20527,"journal":{"name":"Probability Theory and Related Fields","volume":"32 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2023-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139065385","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}