Tobias Johnson, Matthew Junge, Hanbaek Lyu, David Sivakoff
Place an A-particle at each site of a graph independently with probability p, and otherwise place a B-particle. A- and B-particles perform independent continuous time random walks at rates λA and λB, respectively, and annihilate upon colliding with a particle of opposite type. Bramson and Lebowitz studied the setting λA=λB in the early 1990s. Despite recent progress, many basic questions remain unanswered when λA≠λB. For the critical case p=1/2 on low-dimensional integer lattices, we give a lower bound on the expected number of particles at the origin that matches physicists’ predictions. For the process with λB=0 on the integers and on the bidirected regular tree, we give sharp upper and lower bounds for the expected total occupation time of the root at and approaching criticality.
{"title":"Particle density in diffusion-limited annihilating systems","authors":"Tobias Johnson, Matthew Junge, Hanbaek Lyu, David Sivakoff","doi":"10.1214/23-aop1653","DOIUrl":"https://doi.org/10.1214/23-aop1653","url":null,"abstract":"Place an A-particle at each site of a graph independently with probability p, and otherwise place a B-particle. A- and B-particles perform independent continuous time random walks at rates λA and λB, respectively, and annihilate upon colliding with a particle of opposite type. Bramson and Lebowitz studied the setting λA=λB in the early 1990s. Despite recent progress, many basic questions remain unanswered when λA≠λB. For the critical case p=1/2 on low-dimensional integer lattices, we give a lower bound on the expected number of particles at the origin that matches physicists’ predictions. For the process with λB=0 on the integers and on the bidirected regular tree, we give sharp upper and lower bounds for the expected total occupation time of the root at and approaching criticality.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136297300","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}
We investigate the stationary measure π of SDEs driven by additive fractional noise with any Hurst parameter and establish that π admits a smooth Lebesgue density obeying both Gaussian-type lower and upper bounds. The proofs are based on a novel representation of the stationary density in terms of a Wiener–Liouville bridge, which proves to be of independent interest: We show that it also allows to obtain Gaussian bounds on the nonstationary density, which extend previously known results in the additive setting. In addition, we study a parameter-dependent version of the SDE and prove smoothness of the stationary density, jointly in the parameter and the spatial coordinate. With this, we revisit the fractional averaging principle of Li and Sieber (Ann. Appl. Probab. 32 (2022) 3964–4003) and remove an ad hoc assumption on the limiting coefficients. Avoiding any use of Malliavin calculus in our arguments, we can prove our results under minimal regularity requirements.
{"title":"On the (non)stationary density of fractional-driven stochastic differential equations","authors":"Xue-Mei Li, Fabien Panloup, Julian Sieber","doi":"10.1214/23-aop1638","DOIUrl":"https://doi.org/10.1214/23-aop1638","url":null,"abstract":"We investigate the stationary measure π of SDEs driven by additive fractional noise with any Hurst parameter and establish that π admits a smooth Lebesgue density obeying both Gaussian-type lower and upper bounds. The proofs are based on a novel representation of the stationary density in terms of a Wiener–Liouville bridge, which proves to be of independent interest: We show that it also allows to obtain Gaussian bounds on the nonstationary density, which extend previously known results in the additive setting. In addition, we study a parameter-dependent version of the SDE and prove smoothness of the stationary density, jointly in the parameter and the spatial coordinate. With this, we revisit the fractional averaging principle of Li and Sieber (Ann. Appl. Probab. 32 (2022) 3964–4003) and remove an ad hoc assumption on the limiting coefficients. Avoiding any use of Malliavin calculus in our arguments, we can prove our results under minimal regularity requirements.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135611967","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}
A Poisson system is a Poisson point process and a group action, together forming a measure-preserving dynamical system. Ornstein and Weiss proved Poisson systems over many amenable groups were isomorphic in their 1987 paper. We consider Poisson systems over nondiscrete, noncompact, locally compact Polish groups, and we prove by construction all Poisson systems over such a group are finitarily isomorphic, producing examples of isomorphisms for nonamenable group actions. As a corollary, we prove Poisson systems and products of Poisson systems are finitarily isomorphic. For a Poisson system over a group belonging to a slightly more restrictive class than above, we further prove it splits into two Poisson systems whose intensities sum to the intensity of the original, generalizing the same result for Poisson systems over Euclidean space proved by Holroyd, Lyons and Soo.
{"title":"Isomorphisms of Poisson systems over locally compact groups","authors":"Amanda Wilkens","doi":"10.1214/23-aop1642","DOIUrl":"https://doi.org/10.1214/23-aop1642","url":null,"abstract":"A Poisson system is a Poisson point process and a group action, together forming a measure-preserving dynamical system. Ornstein and Weiss proved Poisson systems over many amenable groups were isomorphic in their 1987 paper. We consider Poisson systems over nondiscrete, noncompact, locally compact Polish groups, and we prove by construction all Poisson systems over such a group are finitarily isomorphic, producing examples of isomorphisms for nonamenable group actions. As a corollary, we prove Poisson systems and products of Poisson systems are finitarily isomorphic. For a Poisson system over a group belonging to a slightly more restrictive class than above, we further prove it splits into two Poisson systems whose intensities sum to the intensity of the original, generalizing the same result for Poisson systems over Euclidean space proved by Holroyd, Lyons and Soo.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135612141","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}
Consider a uniform rooted Cayley tree Tn with n vertices and let m cars arrive sequentially, independently, and uniformly on its vertices. Each car tries to park on its arrival node, and if the spot is already occupied, it drives towards the root of the tree and parks as soon as possible. Lackner and Panholzer (J. Combin. Theory Ser. A 142 (2016) 1–28) established a phase transition for this process when m≈n2. In this work, we couple this model with a variant of the classical Erdős–Rényi random graph process. This enables us to describe the phase transition for the size of the components of parked cars using a modification of the multiplicative coalescent which we name the frozen multiplicative coalescent. The geometry of critical parked clusters is also studied. Those trees are very different from Bienaymé–Galton–Watson trees and should converge towards the growth-fragmentation trees canonically associated to the 3/2-stable process that already appeared in the study of random planar maps.
{"title":"Parking on Cayley trees and frozen Erdős–Rényi","authors":"Alice Contat, Nicolas Curien","doi":"10.1214/23-aop1632","DOIUrl":"https://doi.org/10.1214/23-aop1632","url":null,"abstract":"Consider a uniform rooted Cayley tree Tn with n vertices and let m cars arrive sequentially, independently, and uniformly on its vertices. Each car tries to park on its arrival node, and if the spot is already occupied, it drives towards the root of the tree and parks as soon as possible. Lackner and Panholzer (J. Combin. Theory Ser. A 142 (2016) 1–28) established a phase transition for this process when m≈n2. In this work, we couple this model with a variant of the classical Erdős–Rényi random graph process. This enables us to describe the phase transition for the size of the components of parked cars using a modification of the multiplicative coalescent which we name the frozen multiplicative coalescent. The geometry of critical parked clusters is also studied. Those trees are very different from Bienaymé–Galton–Watson trees and should converge towards the growth-fragmentation trees canonically associated to the 3/2-stable process that already appeared in the study of random planar maps.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135612138","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}
We prove that in wide generality the critical curve of the activated random walk model is a continuous function of the deactivation rate, and we provide a bound on its slope, which is uniform with respect to the choice of the graph. Moreover, we derive strict monotonicity properties for the probability of a wide class of “increasing” events, extending previous results of (Invent. Math. 188 (2012) 127–150). Our proof method is of independent interest and can be viewed as a reformulation of the ‘essential enhancements’ technique, which was introduced for percolation, in the framework of abelian networks.
{"title":"Essential enhancements in Abelian networks: Continuity and uniform strict monotonicity","authors":"Lorenzo Taggi","doi":"10.1214/23-aop1647","DOIUrl":"https://doi.org/10.1214/23-aop1647","url":null,"abstract":"We prove that in wide generality the critical curve of the activated random walk model is a continuous function of the deactivation rate, and we provide a bound on its slope, which is uniform with respect to the choice of the graph. Moreover, we derive strict monotonicity properties for the probability of a wide class of “increasing” events, extending previous results of (Invent. Math. 188 (2012) 127–150). Our proof method is of independent interest and can be viewed as a reformulation of the ‘essential enhancements’ technique, which was introduced for percolation, in the framework of abelian networks.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136297295","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}
The critical 2d stochastic heat flow (SHF) is a stochastic process of random measures on R2, recently constructed in (Invent. Math. 233 (2023) 325–460). We show that this process falls outside the class of Gaussian multiplicative chaos (GMC), in the sense that it cannot be realised as the exponential of a (generalised) Gaussian field. We achieve this by deriving strict lower bounds on the moments of the SHF that are of independent interest.
{"title":"The critical 2d stochastic heat flow is not a Gaussian multiplicative chaos","authors":"Francesco Caravenna, Rongfeng Sun, Nikos Zygouras","doi":"10.1214/23-aop1648","DOIUrl":"https://doi.org/10.1214/23-aop1648","url":null,"abstract":"The critical 2d stochastic heat flow (SHF) is a stochastic process of random measures on R2, recently constructed in (Invent. Math. 233 (2023) 325–460). We show that this process falls outside the class of Gaussian multiplicative chaos (GMC), in the sense that it cannot be realised as the exponential of a (generalised) Gaussian field. We achieve this by deriving strict lower bounds on the moments of the SHF that are of independent interest.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135611968","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}
We consider the N-particle Fleming–Viot process associated to a normally reflected diffusion with soft catalyst killing. The Fleming–Viot multicolor process is obtained by attaching genetic information to the particles in the Fleming–Viot process. We establish that, after rescaling time by t↦Nt, this genetic information converges to the (very different) Fleming–Viot process from population genetics, as N→∞. An extension is provided to dynamics given by Brownian motion with hard catalyst killing at the boundary of its domain.
{"title":"Scaling limit of the Fleming–Viot MultiColor process","authors":"Oliver Tough","doi":"10.1214/23-aop1654","DOIUrl":"https://doi.org/10.1214/23-aop1654","url":null,"abstract":"We consider the N-particle Fleming–Viot process associated to a normally reflected diffusion with soft catalyst killing. The Fleming–Viot multicolor process is obtained by attaching genetic information to the particles in the Fleming–Viot process. We establish that, after rescaling time by t↦Nt, this genetic information converges to the (very different) Fleming–Viot process from population genetics, as N→∞. An extension is provided to dynamics given by Brownian motion with hard catalyst killing at the boundary of its domain.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135611969","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}
We consider invasion percolation on the complete graph Kn, started from some number k(n) of distinct source vertices. The outcome of the process is a forest consisting of k(n) trees, each containing exactly one source. Let Mn be the size of the largest tree in this forest. Logan, Molloy and Pralat (2018) proved that if k(n)/n1/3→0 then Mn/n→1 in probability. In this paper, we prove a complementary result: if k(n)/n1/3→∞, then Mn/n→0 in probability. This establishes the existence of a phase transition in the structure of the invasion percolation forest around k(n)≍n1/3. Our arguments rely on the connection between invasion percolation and critical percolation, and on a coupling between multisource invasion percolation with differently-sized source sets. A substantial part of the proof is devoted to showing that, with high probability, a certain fragmentation process on large random binary trees leaves no components of macroscopic size.
{"title":"Multisource invasion percolation on the complete graph","authors":"Louigi Addario-Berry, Jordan Barrett","doi":"10.1214/23-aop1641","DOIUrl":"https://doi.org/10.1214/23-aop1641","url":null,"abstract":"We consider invasion percolation on the complete graph Kn, started from some number k(n) of distinct source vertices. The outcome of the process is a forest consisting of k(n) trees, each containing exactly one source. Let Mn be the size of the largest tree in this forest. Logan, Molloy and Pralat (2018) proved that if k(n)/n1/3→0 then Mn/n→1 in probability. In this paper, we prove a complementary result: if k(n)/n1/3→∞, then Mn/n→0 in probability. This establishes the existence of a phase transition in the structure of the invasion percolation forest around k(n)≍n1/3. Our arguments rely on the connection between invasion percolation and critical percolation, and on a coupling between multisource invasion percolation with differently-sized source sets. A substantial part of the proof is devoted to showing that, with high probability, a certain fragmentation process on large random binary trees leaves no components of macroscopic size.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135611964","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}
Giorgio Cipolloni, László Erdős, Dominik Schröder, Yuanyuan Xu
We establish a precise three-term asymptotic expansion, with an optimal estimate of the error term, for the rightmost eigenvalue of an n×n random matrix with independent identically distributed complex entries as n tends to infinity. All terms in the expansion are universal.
{"title":"On the rightmost eigenvalue of non-Hermitian random matrices","authors":"Giorgio Cipolloni, László Erdős, Dominik Schröder, Yuanyuan Xu","doi":"10.1214/23-aop1643","DOIUrl":"https://doi.org/10.1214/23-aop1643","url":null,"abstract":"We establish a precise three-term asymptotic expansion, with an optimal estimate of the error term, for the rightmost eigenvalue of an n×n random matrix with independent identically distributed complex entries as n tends to infinity. All terms in the expansion are universal.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135612139","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}
We study the Loewner evolution whose driving function is Wt=Bt1+iBt2, where (B1,B2) is a pair of Brownian motions with a given covariance matrix. This model can be thought of as a generalization of Schramm–Loewner evolution (SLE) with complex parameter values. We show that our Loewner evolutions behave very differently from ordinary SLE. For example, if neither B1 nor B2 is identically equal to zero, then the set of points disconnected from ∞ by the Loewner hull has nonempty interior at each time. We also show that our model exhibits three phases analogous to the phases of SLE: a phase where the hulls have zero Lebesgue measure, a phase where points are swallowed but not hit by the hulls and a phase where the hulls are space-filling. The phase boundaries are expressed in terms of the signs of explicit integrals. These boundaries have a simple closed form when the correlation of the two Brownian motions is zero.
{"title":"Loewner evolution driven by complex Brownian motion","authors":"Ewain Gwynne, Joshua Pfeffer, Minjae Park","doi":"10.1214/23-aop1639","DOIUrl":"https://doi.org/10.1214/23-aop1639","url":null,"abstract":"We study the Loewner evolution whose driving function is Wt=Bt1+iBt2, where (B1,B2) is a pair of Brownian motions with a given covariance matrix. This model can be thought of as a generalization of Schramm–Loewner evolution (SLE) with complex parameter values. We show that our Loewner evolutions behave very differently from ordinary SLE. For example, if neither B1 nor B2 is identically equal to zero, then the set of points disconnected from ∞ by the Loewner hull has nonempty interior at each time. We also show that our model exhibits three phases analogous to the phases of SLE: a phase where the hulls have zero Lebesgue measure, a phase where points are swallowed but not hit by the hulls and a phase where the hulls are space-filling. The phase boundaries are expressed in terms of the signs of explicit integrals. These boundaries have a simple closed form when the correlation of the two Brownian motions is zero.","PeriodicalId":50763,"journal":{"name":"Annals of Probability","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135611961","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}