Showing 1–50 of 71 results for author: Dembo, A

Potts and random cluster measures on locally regular-tree-like graphs

Authors: Anirban Basak, Amir Dembo, Allan Sly

Abstract: Fixing $β\ge 0$ and an integer $q \ge 2$, consider the ferromagnetic $q$-Potts measures $μ_n^{β,B}$ on finite graphs ${\sf G}_n$ on $n$ vertices, with external field strength $B \ge 0$ and the corresponding random cluster measures $\varphi^{q,β,B}_{n}$. Suppose that as $n \to \infty$ the uniformly sparse graphs ${\sf G}_n$ converge locally to an infinite $d$-regular tree ${\sf T}_{d}$, $d \ge 3$.… ▽ More Fixing $β\ge 0$ and an integer $q \ge 2$, consider the ferromagnetic $q$-Potts measures $μ_n^{β,B}$ on finite graphs ${\sf G}_n$ on $n$ vertices, with external field strength $B \ge 0$ and the corresponding random cluster measures $\varphi^{q,β,B}_{n}$. Suppose that as $n \to \infty$ the uniformly sparse graphs ${\sf G}_n$ converge locally to an infinite $d$-regular tree ${\sf T}_{d}$, $d \ge 3$. We show that the convergence of the Potts free energy density to its Bethe replica symmetric prediction (which has been proved in case $d$ is even, or when $B=0$), yields the local weak convergence of $\varphi^{q,β,B}_n$ and $μ_n^{β,B}$ to the corresponding free or wired random cluster measure, Potts measure, respectively, on ${\sf T}_{d}$. The choice of free versus wired limit is according to which has the larger Potts Bethe functional value, with mixtures of these two appearing {as limit points on} the critical line $β_c(q,B)$ where these two values of the Bethe functional coincide. For $B=0$ and $β>β_c$, we further establish a pure-state decomposition by showing that conditionally on the same dominant color $1 \le k \le q$, the $q$-Potts measures on such edge-expander graphs ${\sf G}_n$ converge locally to the $q$-Potts measure on ${\sf T}_{d}$ with a boundary wired at color $k$. △ Less

Submitted 26 December, 2023; originally announced December 2023.

Comments: 46 pages

MSC Class: 60K35; 82B20; 82B26

KPZ-type equation from growth driven by a non-Markovian diffusion

Authors: Amir Dembo, Kevin Yang

Abstract: We study a stochastic geometric flow that describes a growing submanifold $\mathbb{M}(t)\subseteq\mathbb{R}^{\mathrm{d}+1}$. It is an SPDE that comes from a continuum version of origin-excited random walk or once-reinforced random walk. It is given by simultaneously smoothing and inflating the boundary of $\mathbb{M}(t)$ in a neighborhood of the boundary trace of a reflecting Brownian motion. We s… ▽ More We study a stochastic geometric flow that describes a growing submanifold $\mathbb{M}(t)\subseteq\mathbb{R}^{\mathrm{d}+1}$. It is an SPDE that comes from a continuum version of origin-excited random walk or once-reinforced random walk. It is given by simultaneously smoothing and inflating the boundary of $\mathbb{M}(t)$ in a neighborhood of the boundary trace of a reflecting Brownian motion. We show that the large-scale fluctuations of an associated height function are given by a regularized Kardar-Parisi-Zhang (KPZ)-type equation on a manifold in $\mathbb{R}^{\mathrm{d}+1}$, modulated by a Dirichlet-to-Neumann operator. This is shown in any dimension $\mathrm{d}\geq1$. We also prove that in dimension $\mathrm{d}+1=2$, the regularization in this KPZ-type SPDE can be removed after renormalization. Thus, in dimension $\mathrm{d}+1=2$, fluctuations of the geometric flow have a double-scaling limit given by a singular KPZ-type equation. To our knowledge, this is the first instance of KPZ-type behavior in stochastic Laplacian growth models, which was asked about (for somewhat different models) in Parisi-Zhang '84 and Ramirez-Sidoravicius '04. △ Less

Submitted 26 December, 2023; v1 submitted 27 November, 2023; originally announced November 2023.

MSC Class: 82C24; 60H15; 58J65; 35R60

A flow-type scaling limit for random growth with memory

Authors: Amir Dembo, Kevin Yang

Abstract: We study a stochastic Laplacian growth model, where a set $\mathbf{U}\subseteq\mathbb{R}^{\mathrm{d}}$ grows according to a reflecting Brownian motion in $\mathbf{U}$ stopped at level sets of its boundary local time. We derive a scaling limit for the leading-order behavior of the growing boundary (i.e. "interface"). It is given by a geometric flow-type PDE. It is obtained by an averaging principle… ▽ More We study a stochastic Laplacian growth model, where a set $\mathbf{U}\subseteq\mathbb{R}^{\mathrm{d}}$ grows according to a reflecting Brownian motion in $\mathbf{U}$ stopped at level sets of its boundary local time. We derive a scaling limit for the leading-order behavior of the growing boundary (i.e. "interface"). It is given by a geometric flow-type PDE. It is obtained by an averaging principle for the reflecting Brownian motion. We also show that this geometric flow-type PDE is locally well-posed, and its blow-up times correspond to changes in the diffeomorphism class of the growth model. Our results extend those of Dembo-Groisman-Huang-Sidoravicius '21, which restricts to star-shaped growth domains and radially outwards growth, so that in polar coordinates, the geometric flow transforms into a simple ODE with infinite lifetime. Also, we remove the "separation of scales" assumption that was taken in Dembo-Groisman-Huang-Sidoravicius '21; this forces us to understand the local geometry of the growing interface. △ Less

Submitted 23 November, 2023; v1 submitted 26 October, 2023; originally announced October 2023.

MSC Class: 60K35; 60K37; 82C22; 82C24

Spectral measure for uniform $d$-regular digraphs

Authors: Arka Adhikari, Amir Dembo

Abstract: Consider the matrix $A_{\mathcal{G}}$ chosen uniformly at random from the finite set of all $N$-dimensional matrices of zero main-diagonal and binary entries, having each row and column of $A_{\mathcal{G}}$ sum to $d$. That is, the adjacency matrix for the uniformly random $d$-regular simple digraph $\mathcal{G}$. Fixing $d \ge 3$, it has long been conjectured that as $N \to \infty$ the correspond… ▽ More Consider the matrix $A_{\mathcal{G}}$ chosen uniformly at random from the finite set of all $N$-dimensional matrices of zero main-diagonal and binary entries, having each row and column of $A_{\mathcal{G}}$ sum to $d$. That is, the adjacency matrix for the uniformly random $d$-regular simple digraph $\mathcal{G}$. Fixing $d \ge 3$, it has long been conjectured that as $N \to \infty$ the corresponding empirical eigenvalue distributions converge weakly, in probability, to an explicit non-random limit, %measure $μ_d$ on $\mathbb{C}$, which is given by the Brown measure of the free sum of $d$ Haar unitary operators. We reduce this conjecture to bounding the decay in $N$ of the probability that the minimal singular value of the shifted matrix $A(w) = A_{\mathcal{G}} - w I$ is very small. While the latter remains a challenging task, the required bound is comparable to the recently established control on the singularity of $A_{\mathcal{G}}$. The reduction is achieved here by sharp estimates on the behavior at large $N$, near the real line, of the Green's function (aka resolvent) of the Hermitization of $A(w)$, which is of independent interest. △ Less

Submitted 21 October, 2023; originally announced October 2023.

Comments: 65 pages

MSC Class: 46L53; 60B10; 60B20; 05C50; 05C20

Typical structure of sparse exponential random graph models

Authors: Nicholas A. Cook, Amir Dembo

Abstract: We consider general Exponential Random Graph Models (ERGMs) where the sufficient statistics are functions of homomorphism counts for a fixed collection of simple graphs $F_k$. Whereas previous work has shown a degeneracy phenomenon in dense ERGMs, we show this can be cured by raising the sufficient statistics to a fractional power. We rigorously establish the naïve mean-field approximation for the… ▽ More We consider general Exponential Random Graph Models (ERGMs) where the sufficient statistics are functions of homomorphism counts for a fixed collection of simple graphs $F_k$. Whereas previous work has shown a degeneracy phenomenon in dense ERGMs, we show this can be cured by raising the sufficient statistics to a fractional power. We rigorously establish the naïve mean-field approximation for the partition function of the corresponding Gibbs measures, and in case of "ferromagnetic" models with vanishing edge density show that typical samples resemble a typical Erdős--Rényi graph with a planted clique and/or a planted complete bipartite graph of appropriate sizes. We establish such behavior also for the conditional structure of the Erdős--Rényi graph in the large deviations regime for excess $F_k$-homomorphism counts. These structural results are obtained by combining quantitative large deviation principles, established in previous works, with a novel stability form of a result of [5] on the asymptotic solution for the associated entropic variational problem. A technical ingredient of independent interest is a stability form of Finner's generalized Hölder inequality. △ Less

Submitted 2 April, 2024; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: Multiple changes in response to suggestions from referees. Added section 2 on proof ideas. Added 3 figures, including illustrations of the phase plane for joint upper tails. To appear in Ann. Appl. Probab

MSC Class: 60F10; 05C80; 60C05; 82B26

Capacity of the range of random walk: The law of the iterated logarithm

Authors: Amir Dembo, Izumi Okada

Abstract: We establish both the $\limsup$ and the $\liminf$ law of the iterated logarithm (LIL), for the capacity of the range of a simple random walk in any dimension $d\ge 3$. While for $d \ge 4$, the order of growth in $n$ of such LIL at dimension $d$ matches that for the volume of the random walk range in dimension $d-2$, somewhat surprisingly this correspondence breaks down for the capacity of the rang… ▽ More We establish both the $\limsup$ and the $\liminf$ law of the iterated logarithm (LIL), for the capacity of the range of a simple random walk in any dimension $d\ge 3$. While for $d \ge 4$, the order of growth in $n$ of such LIL at dimension $d$ matches that for the volume of the random walk range in dimension $d-2$, somewhat surprisingly this correspondence breaks down for the capacity of the range at $d=3$. We further establish such LIL for the Brownian capacity of a $3$-dimensional Brownian sample path and novel, sharp moderate deviations bounds for the capacity of the range of a $4$-dimensional simple random walk. △ Less

Submitted 3 March, 2024; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: Final version, to appear in Annals of Probability

On the limiting law of line ensembles of Brownian polymers with geometric area tilts

Authors: Amir Dembo, Eyal Lubetzky, Ofer Zeitouni

Abstract: We study the line ensembles of non-crossing Brownian bridges above a hard wall, each tilted by the area of the region below it with geometrically growing pre-factors. This model, which mimics the level lines of the $(2+1)$D SOS model above a hard wall, was studied in two works from 2019 by Caputo, Ioffe and Wachtel. In those works, the tightness of the law of the top $k$ paths, for any fixed $k$,… ▽ More We study the line ensembles of non-crossing Brownian bridges above a hard wall, each tilted by the area of the region below it with geometrically growing pre-factors. This model, which mimics the level lines of the $(2+1)$D SOS model above a hard wall, was studied in two works from 2019 by Caputo, Ioffe and Wachtel. In those works, the tightness of the law of the top $k$ paths, for any fixed $k$, was established under either zero or free boundary conditions, which in the former setting implied the existence of a limit via a monotonicity argument. Here we address the open problem of a limit under free boundary conditions: we prove that as the interval length, followed by the number of paths, go to $\infty$, the top $k$ paths converge to the same limit as in the free boundary case, as conjectured by Caputo, Ioffe and Wachtel. △ Less

Submitted 10 May, 2022; v1 submitted 5 January, 2022; originally announced January 2022.

Comments: Revision adds treatment of non-integer $T$, allows for boundary measures different than Lebesgue, and addresses referees comments. To appear in Annals Inst. H. Poincare

Regularity method and large deviation principles for the Erdős--Rényi hypergraph

Authors: Nicholas A. Cook, Amir Dembo, Huy Tuan Pham

Abstract: We develop a quantitative large deviations theory for random hypergraphs, which rests on tensor decomposition and counting lemmas under a novel family of cut-type norms. As our main application, we obtain sharp asymptotics for joint upper and lower tails of homomorphism counts in the $r$-uniform Erdős--Rényi hypergraph for any fixed $r\ge 2$, generalizing and improving on previous results for the… ▽ More We develop a quantitative large deviations theory for random hypergraphs, which rests on tensor decomposition and counting lemmas under a novel family of cut-type norms. As our main application, we obtain sharp asymptotics for joint upper and lower tails of homomorphism counts in the $r$-uniform Erdős--Rényi hypergraph for any fixed $r\ge 2$, generalizing and improving on previous results for the Erdős--Rényi graph ($r=2$). The theory is sufficiently quantitative to allow the density of the hypergraph to vanish at a polynomial rate, and additionally yields tail asymptotics for other nonlinear functionals, such as induced homomorphism counts. △ Less

Submitted 9 May, 2023; v1 submitted 17 February, 2021; originally announced February 2021.

Comments: Various minor changes based on feedback from referees. Introduction now includes illustrations of technical results for the concrete example of K_4^3 counts, in particular Theorem 1.5 on the sparse counting lemma. To appear in Duke Math. J

MSC Class: 60F10; 60C05; 60B20; 05C65

Diffusions interacting through a random matrix: universality via stochastic Taylor expansion

Authors: Amir Dembo, Reza Gheissari

Abstract: Consider $(X_{i}(t))$ solving a system of $N$ stochastic differential equations interacting through a random matrix $\mathbf J = (J_{ij})$ with independent (not necessarily identically distributed) random coefficients. We show that the trajectories of averaged observables of $(X_i(t))$, initialized from some $μ$ independent of $\mathbf J$, are universal, i.e., only depend on the choice of the dist… ▽ More Consider $(X_{i}(t))$ solving a system of $N$ stochastic differential equations interacting through a random matrix $\mathbf J = (J_{ij})$ with independent (not necessarily identically distributed) random coefficients. We show that the trajectories of averaged observables of $(X_i(t))$, initialized from some $μ$ independent of $\mathbf J$, are universal, i.e., only depend on the choice of the distribution $\mathbf{J}$ through its first and second moments (assuming e.g., sub-exponential tails). We take a general combinatorial approach to proving universality for dynamical systems with random coefficients, combining a stochastic Taylor expansion with a moment matching-type argument. Concrete settings for which our results imply universality include aging in the spherical SK spin glass, and Langevin dynamics and gradient flows for symmetric and asymmetric Hopfield networks. △ Less

Submitted 2 February, 2021; v1 submitted 23 June, 2020; originally announced June 2020.

Comments: 25 pages

MSC Class: 60J60; 60B20; 60J35; 60K35; 82C44

Everything is a Race and Nakamoto Always Wins

Authors: Amir Dembo, Sreeram Kannan, Ertem Nusret Tas, David Tse, Pramod Viswanath, Xuechao Wang, Ofer Zeitouni

Abstract: Nakamoto invented the longest chain protocol, and claimed its security by analyzing the private double-spend attack, a race between the adversary and the honest nodes to grow a longer chain. But is it the worst attack? We answer the question in the affirmative for three classes of longest chain protocols, designed for different consensus models: 1) Nakamoto's original Proof-of-Work protocol; 2) Ou… ▽ More Nakamoto invented the longest chain protocol, and claimed its security by analyzing the private double-spend attack, a race between the adversary and the honest nodes to grow a longer chain. But is it the worst attack? We answer the question in the affirmative for three classes of longest chain protocols, designed for different consensus models: 1) Nakamoto's original Proof-of-Work protocol; 2) Ouroboros and SnowWhite Proof-of-Stake protocols; 3) Chia Proof-of-Space protocol. As a consequence, exact characterization of the maximum tolerable adversary power is obtained for each protocol as a function of the average block time normalized by the network delay. The security analysis of these protocols is performed in a unified manner by a novel method of reducing all attacks to a race between the adversary and the honest nodes. △ Less

Submitted 30 August, 2020; v1 submitted 21 May, 2020; originally announced May 2020.

Comments: 27 pages, 12 figures. A shorter version of this paper will appear in the 2020 ACM Conference on Computer and Communications Security (CCS)

Universality for Langevin-like spin glass dynamics

Authors: Amir Dembo, Eyal Lubetzky, Ofer Zeitouni

Abstract: We study dynamics for asymmetric spin glass models, proposed by Hertz et al. and Sompolinsky et al. in the 1980's in the context of neural networks: particles evolve via a modified Langevin dynamics for the Sherrington--Kirkpatrick model with soft spins, whereby the disorder is i.i.d. standard Gaussian rather than symmetric. Ben Arous and Guionnet (1995), followed by Guionnet (1997), proved for Ga… ▽ More We study dynamics for asymmetric spin glass models, proposed by Hertz et al. and Sompolinsky et al. in the 1980's in the context of neural networks: particles evolve via a modified Langevin dynamics for the Sherrington--Kirkpatrick model with soft spins, whereby the disorder is i.i.d. standard Gaussian rather than symmetric. Ben Arous and Guionnet (1995), followed by Guionnet (1997), proved for Gaussian interactions that as the number of particles grows, the short-term empirical law of this dynamics converges a.s. to a non-random law $μ_\star$ of a ``self-consistent single spin dynamics,'' as predicted by physicists. Here we obtain universality of this fact: For asymmetric disorder given by i.i.d. variables of zero mean, unit variance and exponential or better tail decay, at every temperature, the empirical law of sample paths of the Langevin-like dynamics in a fixed time interval has the same a.s. limit $μ_\star$. △ Less

Submitted 24 January, 2020; v1 submitted 18 November, 2019; originally announced November 2019.

Comments: 19 pages, 2 figures

MSC Class: 60K35; 60F10; 60H10; 82C31; 82C44

Proof-of-Stake Longest Chain Protocols: Security vs Predictability

Authors: Vivek Bagaria, Amir Dembo, Sreeram Kannan, Sewoong Oh, David Tse, Pramod Viswanath, Xuechao Wang, Ofer Zeitouni

Abstract: The Nakamoto longest chain protocol is remarkably simple and has been proven to provide security against any adversary with less than 50% of the total hashing power. Proof-of-stake (PoS) protocols are an energy efficient alternative; however existing protocols adopting Nakamoto's longest chain design achieve provable security only by allowing long-term predictability (which have serious security i… ▽ More The Nakamoto longest chain protocol is remarkably simple and has been proven to provide security against any adversary with less than 50% of the total hashing power. Proof-of-stake (PoS) protocols are an energy efficient alternative; however existing protocols adopting Nakamoto's longest chain design achieve provable security only by allowing long-term predictability (which have serious security implications). In this paper, we prove that a natural longest chain PoS protocol with similar predictability as Nakamoto's PoW protocol can achieve security against any adversary with less than 1/(1+e) fraction of the total stake. Moreover we propose a new family of longest chain PoS protocols that achieve security against a 50% adversary, while only requiring short-term predictability. Our proofs present a new approach to analyzing the formal security of blockchains, based on a notion of adversary-proof convergence. △ Less

Submitted 22 February, 2020; v1 submitted 5 October, 2019; originally announced October 2019.

Comments: 65 pages, 16 figures

Upper Tail For Homomorphism Counts In Constrained Sparse Random Graphs

Authors: Sohom Bhattacharya, Amir Dembo

Abstract: Consider the upper tail probability that the homomorphism count of a fixed graph $H$ within a large sparse random graph $G_n$ exceeds its expected value by a fixed factor $1+δ$. Going beyond the Erdős-Rényi model, we establish here explicit, sharp upper tail decay rates for sparse random $d_n$-regular graphs (provided $H$ has a regular $2$-core), and for sparse uniform random graphs. We further de… ▽ More Consider the upper tail probability that the homomorphism count of a fixed graph $H$ within a large sparse random graph $G_n$ exceeds its expected value by a fixed factor $1+δ$. Going beyond the Erdős-Rényi model, we establish here explicit, sharp upper tail decay rates for sparse random $d_n$-regular graphs (provided $H$ has a regular $2$-core), and for sparse uniform random graphs. We further deal with joint upper tail probabilities for homomorphism counts of multiple graphs $H_1,\ldots, H_k$ (extending the known results for $k=1$), and for inhomogeneous graph ensembles (such as the stochastic block model), we bound the upper tail probability by a variational problem analogous to the one that determines its decay rate in the case of sparse Erdős-Rényi graphs. △ Less

Submitted 29 January, 2021; v1 submitted 6 September, 2019; originally announced September 2019.

Comments: to appear in Rand Str Alg

MSC Class: 05C80; 60C05; 60F10

Dynamics for spherical spin glasses: disorder dependent initial conditions

Authors: Amir Dembo, Eliran Subag

Abstract: We derive the thermodynamic limit of the empirical correlation and response functions in the Langevin dynamics for spherical mixed $p$-spin disordered mean-field models, starting uniformly within one of the spherical bands on which the Gibbs measure concentrates at low temperature for the pure $p$-spin models and mixed perturbations of them. We further relate the large time asymptotics of the resu… ▽ More We derive the thermodynamic limit of the empirical correlation and response functions in the Langevin dynamics for spherical mixed $p$-spin disordered mean-field models, starting uniformly within one of the spherical bands on which the Gibbs measure concentrates at low temperature for the pure $p$-spin models and mixed perturbations of them. We further relate the large time asymptotics of the resulting coupled non-linear integro-differential equations, to the geometric structure of the Gibbs measures (at low temperature), and derive their FDT solution (at high temperature). △ Less

Submitted 9 June, 2020; v1 submitted 3 August, 2019; originally announced August 2019.

Comments: To appear in J. Stat. Phys

Limit law for the cover time of a random walk on a binary tree

Authors: Amir Dembo, Jay Rosen, Ofer Zeitouni

Abstract: Let $T_n$ denote the binary tree of depth $n$ augmented by an extra edge connected to its root. Let $C_n$ denote the cover time of $T_n$ by simple random walk. We prove that $\sqrt{ \mathcal{C}_{n} 2^{-(n+1) } } - m_n$ converges in distribution as $n\to \infty$, where $m_n$ is an explicit constant, and identify the limit. Let $T_n$ denote the binary tree of depth $n$ augmented by an extra edge connected to its root. Let $C_n$ denote the cover time of $T_n$ by simple random walk. We prove that $\sqrt{ \mathcal{C}_{n} 2^{-(n+1) } } - m_n$ converges in distribution as $n\to \infty$, where $m_n$ is an explicit constant, and identify the limit. △ Less

Submitted 17 June, 2019; originally announced June 2019.

Persistence versus stability for auto-regressive processes

Authors: Amir Dembo, Jian Ding, Jun Yan

Abstract: The stability of an Auto-Regressive (AR) time sequence of finite order $L$, is determined by the maximal modulus $r^\star$ among all zeros of its generating polynomial. If $r^\star<1$ then the effect of input and initial conditions decays rapidly in time, whereas for $r^\star>1$ it is exponentially magnified (with constant or polynomially growing oscillations when $r^\star=1$). Persistence of such… ▽ More The stability of an Auto-Regressive (AR) time sequence of finite order $L$, is determined by the maximal modulus $r^\star$ among all zeros of its generating polynomial. If $r^\star<1$ then the effect of input and initial conditions decays rapidly in time, whereas for $r^\star>1$ it is exponentially magnified (with constant or polynomially growing oscillations when $r^\star=1$). Persistence of such AR sequence (namely staying non-negative throughout $[0,N]$) with decent probability, requires the largest positive zero of the generating polynomial to have the largest multiplicity among all zeros of modulus $r^\star$. These objects are behind the rich spectrum of persistence probability decay for AR$_L$ with zero initial conditions and i.i.d. Gaussian input, all the way from bounded below to exponential decay in $N$, with intermediate regimes of polynomial and stretched exponential decay. In particular, for AR$_3$ the persistence decay power is expressed via the tail probability for Brownian motion to stay in a cone, exhibiting the discontinuity of such power decay between the AR$_3$ whose generating polynomial has complex zeros of rational versus irrational angles. △ Less

Submitted 2 June, 2019; originally announced June 2019.

Comments: 34 pages

MSC Class: 60G15

Averaging Principle and Shape Theorem for a Growth Model with Memory

Authors: Amir Dembo, Pablo Groisman, Ruojun Huang, Vladas Sidoravicius

Abstract: We present a general approach to study a class of random growth models in $n$-dimensional Euclidean space. These models are designed to capture basic growth features which are expected to manifest at the mesoscopic level for several classical self-interacting processes originally defined at the microscopic scale. It includes once-reinforced random walk with strong reinforcement, origin-excited ran… ▽ More We present a general approach to study a class of random growth models in $n$-dimensional Euclidean space. These models are designed to capture basic growth features which are expected to manifest at the mesoscopic level for several classical self-interacting processes originally defined at the microscopic scale. It includes once-reinforced random walk with strong reinforcement, origin-excited random walk, and few others, for which the set of visited vertices is expected to form a "limiting shape". We prove an averaging principle that leads to such shape theorem. The limiting shape can be computed in terms of the invariant measure of an associated Markov chain. △ Less

Submitted 18 August, 2020; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: To appear in Comm. Pure Appl. Math.; Fixed earlier error in proof of Prop. 1.6(a) by adding to Assumption (L) the boundedness of F and the case p=infty in (1.15); In Prop. 1.6, parts (a) and (b) revised and new results added as parts (d) and (e). Example from Sec. 4.2 now included in Thm. 1.10, where the case H=0 revised as part (c). Proofs in Sec. 2 and Sec. 4 have been reorganized

MSC Class: 60K35; 60K37; 82C22; 82C24

Large deviations of subgraph counts for sparse Erdős--Rényi graphs

Authors: Nicholas A. Cook, Amir Dembo

Abstract: For any fixed simple graph $H=(V,E)$ and any fixed $u>0$, we establish the leading order of the exponential rate function for the probability that the number of copies of $H$ in the Erdős--Rényi graph $G(n,p)$ exceeds its expectation by a factor $1+u$, assuming $n^{-κ(H)}\ll p\ll1$, with $κ(H) = 1/(2Δ)$, where $Δ\ge 1$ is the maximum degree of $H$. This improves on a previous result of Chatterjee… ▽ More For any fixed simple graph $H=(V,E)$ and any fixed $u>0$, we establish the leading order of the exponential rate function for the probability that the number of copies of $H$ in the Erdős--Rényi graph $G(n,p)$ exceeds its expectation by a factor $1+u$, assuming $n^{-κ(H)}\ll p\ll1$, with $κ(H) = 1/(2Δ)$, where $Δ\ge 1$ is the maximum degree of $H$. This improves on a previous result of Chatterjee and the second author, who obtained $κ(H)=c/(Δ|E|)$ for a constant $c>0$. Moreover, for the case of cycle counts we can take $κ$ as large as $1/2$. We additionally obtain the sharp upper tail for Schatten norms of the adjacency matrix, as well as the sharp lower tail for counts of graphs for which Sidorenko's conjecture holds. As a key step, we establish quantitative versions of Szemerédi's regularity lemma and the counting lemma, suitable for the analysis of random graphs in the large deviations regime. △ Less

Submitted 27 April, 2020; v1 submitted 28 September, 2018; originally announced September 2018.

Comments: Improved the range of sparsity in Theorem 1.1 on upper tail for general H. Also changed order of Thm. 1.1-1.7, new remarks added about other works posted after v3, re-ordering Sec. 5-8 of v3 into Sec. 5-9 here

MSC Class: 60F10; 05C80; 60C05; 60B20

Slowdown estimates for one-dimensional random walks in random environment with holding times

Authors: Amir Dembo, Ryoki Fukushima, Naoki Kubota

Abstract: We consider a one dimensional random walk in random environment that is uniformly biased to one direction. In addition to the transition probability, the jump rate of the random walk is assumed to be spatially inhomogeneous and random. We study the probability that the random walk travels slower than its typical speed and determine its decay rate asymptotic. We consider a one dimensional random walk in random environment that is uniformly biased to one direction. In addition to the transition probability, the jump rate of the random walk is assumed to be spatially inhomogeneous and random. We study the probability that the random walk travels slower than its typical speed and determine its decay rate asymptotic. △ Less

Submitted 23 October, 2018; v1 submitted 2 July, 2018; originally announced July 2018.

Comments: 13 pages. There are corrections in the extreme value lemmas and the quenched slowdown estimates

MSC Class: 60K37; 60F10; 60J15

Journal ref: Electronic Communications in Probability 2018, Vol. 23, paper no. 89, 1-12

A large deviation principle for the Erdős-Rényi uniform random graph

Authors: Amir Dembo, Eyal Lubetzky

Abstract: Starting with the large deviation principle (LDP) for the Erdős-Rényi binomial random graph $\mathcal{G}(n,p)$ (edge indicators are i.i.d.), due to Chatterjee and Varadhan (2011), we derive the LDP for the uniform random graph $\mathcal{G}(n,m)$ (the uniform distribution over graphs with $n$ vertices and $m$ edges), at suitable $m=m_n$. Applying the latter LDP we find that tail decays for subgraph… ▽ More Starting with the large deviation principle (LDP) for the Erdős-Rényi binomial random graph $\mathcal{G}(n,p)$ (edge indicators are i.i.d.), due to Chatterjee and Varadhan (2011), we derive the LDP for the uniform random graph $\mathcal{G}(n,m)$ (the uniform distribution over graphs with $n$ vertices and $m$ edges), at suitable $m=m_n$. Applying the latter LDP we find that tail decays for subgraph counts in $\mathcal{G}(n,m_n)$ are controlled by variational problems, which up to a constant shift, coincide with those studied by Kenyon et al. and Radin et al. in the context of constrained random graphs, e.g., the edge/triangle model. △ Less

Submitted 30 April, 2018; originally announced April 2018.

Comments: 12 pages

MSC Class: 60F10; 05C80

Cutoff for lamplighter chains on fractals

Authors: Amir Dembo, Takashi Kumagai, Chikara Nakamura

Abstract: We show that the total-variation mixing time of the lamplighter random walk on fractal graphs exhibit sharp cutoff when the underlying graph is transient (namely of spectral dimension greater than two). In contrast, we show that such cutoff can not occur for strongly recurrent underlying graphs (i.e. of spectral dimension less than two). We show that the total-variation mixing time of the lamplighter random walk on fractal graphs exhibit sharp cutoff when the underlying graph is transient (namely of spectral dimension greater than two). In contrast, we show that such cutoff can not occur for strongly recurrent underlying graphs (i.e. of spectral dimension less than two). △ Less

Submitted 14 July, 2018; v1 submitted 7 November, 2017; originally announced November 2017.

Comments: 19 pages, 9 figures

MSC Class: 60J10; 28A80; 35K08

On the geometry of chemical reaction networks: Lyapunov function and large deviations

Authors: Andrea Agazzi, Amir Dembo, Jean-Pierre Eckmann

Abstract: In an earlier paper, we proved the validity of large deviations theory for the particle approximation of quite general chemical reaction networks (CRNs). In this paper, we extend its scope and present a more geometric insight into the mechanism of that proof, exploiting the notion of spherical image of the reaction polytope. This allows to view the asymptotic behavior of the vector field describin… ▽ More In an earlier paper, we proved the validity of large deviations theory for the particle approximation of quite general chemical reaction networks (CRNs). In this paper, we extend its scope and present a more geometric insight into the mechanism of that proof, exploiting the notion of spherical image of the reaction polytope. This allows to view the asymptotic behavior of the vector field describing the mass-action dynamics of chemical reactions as the result of an interaction between the faces of this polytope in different dimensions. We also illustrate some local aspects of the problem in a discussion of Wentzell-Freidlin (WF) theory, together with some examples. △ Less

Submitted 17 April, 2018; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: 32 pages, 11 figures

MSC Class: 60F10; 80A30 (Primary) 37B25; 60J75 (Secondary)

Exponential concentration for zeroes of stationary Gaussian processes

Authors: Riddhipratim Basu, Amir Dembo, Naomi Feldheim, Ofer Zeitouni

Abstract: We show that for any centered stationary Gaussian process of integrable covariance, whose spectral measure has compact support, or finite exponential moments (and some additional regularity), the number of zeroes of the process in $[0,T]$ is within $ηT$ of its mean value, up to an exponentially small in $T$ probability. We show that for any centered stationary Gaussian process of integrable covariance, whose spectral measure has compact support, or finite exponential moments (and some additional regularity), the number of zeroes of the process in $[0,T]$ is within $ηT$ of its mean value, up to an exponentially small in $T$ probability. △ Less

Submitted 20 September, 2017; originally announced September 2017.

Comments: 17 pages

MSC Class: 60G15; 60F10 (Primary) 60G10; 42A38 (Secondary)

The infinite Atlas process: Convergence to equilibrium

Authors: Amir Dembo, Milton Jara, Stefano Olla

Abstract: The semi-infinite Atlas process is a one-dimensional system of Brownian particles, where only the leftmost particle gets a unit drift to the right. Its particle spacing process has infinitely many stationary measures, with one distinguished translation invariant reversible measure. We show that the latter is attractive for a large class of initial configurations of slowly growing (or bounded) part… ▽ More The semi-infinite Atlas process is a one-dimensional system of Brownian particles, where only the leftmost particle gets a unit drift to the right. Its particle spacing process has infinitely many stationary measures, with one distinguished translation invariant reversible measure. We show that the latter is attractive for a large class of initial configurations of slowly growing (or bounded) particle densities. Key to our proof is a new estimate on the rate of convergence to equilibrium for the particle spacing in a triangular array of finite, large size systems. △ Less

Submitted 3 September, 2019; v1 submitted 12 September, 2017; originally announced September 2017.

Journal ref: Ann. Inst. H. Poincaré Probab. Statist., Volume 55, Number 2 (2019), 607-619

Brownian Particles with Rank-Dependent Drifts: Out-of-Equilibrium Behavior

Authors: Manuel Cabezas, Amir Dembo, Andrey Sarantsev, Vladas Sidoravicius

Abstract: We study the long-range asymptotic behavior for an out-of-equilibrium countable one-dimensional system of Brownian particles interacting through their rank-dependent drifts. Focusing on the semi-infinite case, where only the leftmost particle gets a constant drift to the right, we derive and solve the corresponding one- sided Stefan (free-boundary) equations. Via this solution we explicitly determ… ▽ More We study the long-range asymptotic behavior for an out-of-equilibrium countable one-dimensional system of Brownian particles interacting through their rank-dependent drifts. Focusing on the semi-infinite case, where only the leftmost particle gets a constant drift to the right, we derive and solve the corresponding one- sided Stefan (free-boundary) equations. Via this solution we explicitly determine the limiting particle-density profile as well as the asymptotic trajectory of the leftmost particle. While doing so we further establish stochastic domination and convergence to equilibrium results for the vector of relative spacings among the leading particles. △ Less

Submitted 9 August, 2017; v1 submitted 6 August, 2017; originally announced August 2017.

Comments: 31 pages

MSC Class: 60K35 (Primary); 35Q70; 60J60; 82C22 (Secondary)

Criticality of a randomly-driven front

Authors: Amir Dembo, Li-Cheng Tsai

Abstract: Consider an advancing `front' $ R(t) \in \mathbb{Z}_{\geq 0} $ and particles performing independent continuous time random walks on $ (R(t),\infty)\cap\mathbb{Z} $. Starting at $R(0)=0$, whenever a particle attempts to jump into $R(t)$ the latter instantaneously moves $k \ge 1$ steps to the right, absorbing all particles along its path. We take $ k $ to be the minimal random integer such that exac… ▽ More Consider an advancing `front' $ R(t) \in \mathbb{Z}_{\geq 0} $ and particles performing independent continuous time random walks on $ (R(t),\infty)\cap\mathbb{Z} $. Starting at $R(0)=0$, whenever a particle attempts to jump into $R(t)$ the latter instantaneously moves $k \ge 1$ steps to the right, absorbing all particles along its path. We take $ k $ to be the minimal random integer such that exactly $ k $ particles are absorbed by the move of $ R $, and view the particle system as a discrete version of the Stefan problem \begin{align*} &\partial_t u_*(t,ξ) = \tfrac12 \partial^2_ξ u_*(t,ξ), \quad ξ>r(t), &u_*(t,r(t))=0, &\tfrac{d~}{dt}r(t) = \tfrac12 \partial_ξu_*(t,r(t)), &t\mapsto r(t) \text{ non-decreasing }, \quad r(0):=0. \end{align*} For a constant initial particles density $u_*(0,ξ)=ρ{\bf 1}_{\{ξ>0\}}$, at $ρ<1$ the particle system and the PDE exhibit the same diffusive behavior at large time, whereasat $ρ\ge 1$ the PDE explodes instantaneously. Focusing on the critical density $ ρ=1 $, we analyze the large time behavior of the front $ R(t) $ for the particle system, and obtain both the scaling exponent of $R(t)$ and an explicit description of its random scaling limit. Our result unveils a rarely seen phenomenon where the macroscopic scaling exponent is sensitive to the amount of initial local fluctuations. Further, the scaling limit demonstrates an interesting oscillation between instantaneous super- and sub-critical phases. Our method is based on a novel monotonicity as well as PDE-type estimates. △ Less

Submitted 25 February, 2019; v1 submitted 28 May, 2017; originally announced May 2017.

Comments: 43 pages, 6 figures. Updated to match the version to be published

MSC Class: 60K35 (Primary) 35B30; 80A22 (Secondary)

Journal ref: Arch Rational Mech Anal 233, 643-699 (2019)

Random walks among time increasing conductances: heat kernel estimates

Authors: Amir Dembo, Ruojun Huang, Tianyi Zheng

Abstract: For any graph having a suitable uniform Poincare inequality and volume growth regularity, we establish two-sided Gaussian transition density estimates and parabolic Harnack inequality, for constant speed continuous time random walks evolving via time varying, uniformly elliptic conductances, provided the vertex conductances (i.e. reversing measures), increase in time. Such transition density upper… ▽ More For any graph having a suitable uniform Poincare inequality and volume growth regularity, we establish two-sided Gaussian transition density estimates and parabolic Harnack inequality, for constant speed continuous time random walks evolving via time varying, uniformly elliptic conductances, provided the vertex conductances (i.e. reversing measures), increase in time. Such transition density upper bounds apply for discrete time uniformly lazy walks, with the matching lower bounds holding once the parabolic Harnack inequality is proved. △ Less

Submitted 3 December, 2018; v1 submitted 21 May, 2017; originally announced May 2017.

Comments: 38 pages

Universal Persistence for Local Time of One-dimensional Random Walk

Authors: **g Miao, Amir Dembo

Abstract: We prove the power law decay $p(t,x) \sim t^{-φ(x,b)/2}$ in which $p(t,x)$ is the probability that the fraction of time up to $t$ in which a random walk $S$ of i.i.d. zero-mean increments taking finitely many values, is non-negative, exceeds $x$ throughout $s \in [1,t]$. Here $φ(x,b)= \mathbb{P}(\text{Lévy}(1/2,κ(x,b))<0)$ for… ▽ More We prove the power law decay $p(t,x) \sim t^{-φ(x,b)/2}$ in which $p(t,x)$ is the probability that the fraction of time up to $t$ in which a random walk $S$ of i.i.d. zero-mean increments taking finitely many values, is non-negative, exceeds $x$ throughout $s \in [1,t]$. Here $φ(x,b)= \mathbb{P}(\text{Lévy}(1/2,κ(x,b))<0)$ for $κ(x,b) = \frac{\sqrt{1-x} b - \sqrt{1+x}}{\sqrt{1-x} b + \sqrt{1+x}}$ and $b=b_S \geq 0$ measuring the asymptotic asymmetry between positive and negative excursions of the walk (with $b_s=1$ for symmetric increments). △ Less

Submitted 30 March, 2017; originally announced March 2017.

Comments: 11 pages

Large deviations theory for Markov jump models of chemical reaction networks

Authors: Andrea Agazzi, Amir Dembo, Jean-Pierre Eckmann

Abstract: We prove a sample path Large Deviation Principle (LDP) for a class of jump processes whose rates are not uniformly Lipschitz continuous in phase space. Building on it we further establish the corresponding Wentzell-Freidlin (W-F) (infinite time horizon) asymptotic theory. These results apply to jump Markov processes that model the dynamics of chemical reaction networks under mass action kinetics,… ▽ More We prove a sample path Large Deviation Principle (LDP) for a class of jump processes whose rates are not uniformly Lipschitz continuous in phase space. Building on it we further establish the corresponding Wentzell-Freidlin (W-F) (infinite time horizon) asymptotic theory. These results apply to jump Markov processes that model the dynamics of chemical reaction networks under mass action kinetics, on a microscopic scale. We provide natural sufficient topological conditions for the applicability of our LDP and W-F results. This then justifies the computation of non-equilibrium potential and exponential transition time estimates between different attractors in the large volume limit, for systems that are beyond the reach of standard chemical reaction network theory. △ Less

Submitted 22 October, 2017; v1 submitted 9 January, 2017; originally announced January 2017.

MSC Class: 60F10; 80A30 (primary); 37B25; 60J75 (secondary)

Empirical spectral distributions of sparse random graphs

Authors: Amir Dembo, Eyal Lubetzky, Yumeng Zhang

Abstract: We study the spectrum of a random multigraph with a degree sequence ${\bf D}_n=(D_i)_{i=1}^n$ and average degree $1 \ll ω_n \ll n$, generated by the configuration model, and also the spectrum of the analogous random simple graph. We show that, when the empirical spectral distribution (ESD) of $ω_n^{-1} {\bf D}_n $ converges weakly to a limit $ν$, under mild moment assumptions (e.g., $D_i/ω_n$ are… ▽ More We study the spectrum of a random multigraph with a degree sequence ${\bf D}_n=(D_i)_{i=1}^n$ and average degree $1 \ll ω_n \ll n$, generated by the configuration model, and also the spectrum of the analogous random simple graph. We show that, when the empirical spectral distribution (ESD) of $ω_n^{-1} {\bf D}_n $ converges weakly to a limit $ν$, under mild moment assumptions (e.g., $D_i/ω_n$ are i.i.d. with a finite second moment), the ESD of the normalized adjacency matrix converges in probability to $ν\boxtimes σ_{\rm sc}$, the free multiplicative convolution of $ν$ with the semicircle law. Relating this limit with a variant of the Marchenko--Pastur law yields the continuity of its density (away from zero), and an effective procedure for determining its support. Our proof of convergence is based on a coupling between the random simple graph and multigraph with the same degrees, which might be of independent interest. We further construct and rely on a coupling of the multigraph to an inhomogeneous Erdős-Rényi graph with the target ESD, using three intermediate random graphs, with a negligible fraction of edges modified in each step. △ Less

Submitted 14 May, 2020; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: 24 pages, 4 figures

MSC Class: 05C80; 60B20

Persistence of Gaussian processes: non-summable correlations

Authors: Amir Dembo, Sumit Mukherjee

Abstract: Suppose the auto-correlations of real-valued, centered Gaussian process $Z(\cdot)$ are non-negative and decay as $ρ(|s-t|)$ for some $ρ(\cdot)$ regularly varying at infinity of order $-α\in [-1,0)$. With $I_ρ(t)=\int_0^t ρ(s)ds$ its primitive, we show that the persistence probabilities decay rate of $ -\log\mathbb{P}(\sup_{t \in [0,T]}\{Z(t)\}<0)$ is precisely of order $(T/I_ρ(T)) \log I_ρ(T)$, th… ▽ More Suppose the auto-correlations of real-valued, centered Gaussian process $Z(\cdot)$ are non-negative and decay as $ρ(|s-t|)$ for some $ρ(\cdot)$ regularly varying at infinity of order $-α\in [-1,0)$. With $I_ρ(t)=\int_0^t ρ(s)ds$ its primitive, we show that the persistence probabilities decay rate of $ -\log\mathbb{P}(\sup_{t \in [0,T]}\{Z(t)\}<0)$ is precisely of order $(T/I_ρ(T)) \log I_ρ(T)$, thereby closing the gap between the lower and upper bounds of \cite{NR}, which stood as such for over fifty years. We demonstrate its usefulness by sharpening recent results of \cite{Sak} about the dependence on $d$ of such persistence decay for the Langevin dynamics of certain $\grad φ$-interface models on $\Z^d$. △ Less

Submitted 8 September, 2016; v1 submitted 26 August, 2015; originally announced August 2015.

Comments: Minor typos corrected. To appear in Probability Theory and Related Fields

MSC Class: 60G15; 82C24

Transience in growing subgraphs via evolving sets

Authors: Amir Dembo, Ruojun Huang, Ben Morris, Yuval Peres

Abstract: We extend the use of random evolving sets to time-varying conductance models and utilize it to provide tight heat kernel upper bounds. It yields the transience of any uniformly lazy random walk, on Z^d, d>=3, equipped with uniformly bounded above and below, independently time-varying edge conductances, of (effectively) non-decreasing in time vertex conductances (i.e. reversing measure), thereby af… ▽ More We extend the use of random evolving sets to time-varying conductance models and utilize it to provide tight heat kernel upper bounds. It yields the transience of any uniformly lazy random walk, on Z^d, d>=3, equipped with uniformly bounded above and below, independently time-varying edge conductances, of (effectively) non-decreasing in time vertex conductances (i.e. reversing measure), thereby affirming part of [ABGK, Conj. 7.1]. △ Less

Submitted 21 March, 2016; v1 submitted 21 August, 2015; originally announced August 2015.

Comments: 25 pages

Extremal Cuts of Sparse Random Graphs

Authors: Amir Dembo, Andrea Montanari, Subhabrata Sen

Abstract: For Erdős-Rényi random graphs with average degree $γ$, and uniformly random $γ$-regular graph on $n$ vertices, we prove that with high probability the size of both the Max-Cut and maximum bisection are $n\Big(\fracγ{4} + {\sf P}_* \sqrt{\fracγ{4}} + o(\sqrtγ)\Big) + o(n)$ while the size of the minimum bisection is $n\Big(\fracγ{4}-{\sf P}_*\sqrt{\fracγ{4}} + o(\sqrtγ)\Big) + o(n)$. Our derivation… ▽ More For Erdős-Rényi random graphs with average degree $γ$, and uniformly random $γ$-regular graph on $n$ vertices, we prove that with high probability the size of both the Max-Cut and maximum bisection are $n\Big(\fracγ{4} + {\sf P}_* \sqrt{\fracγ{4}} + o(\sqrtγ)\Big) + o(n)$ while the size of the minimum bisection is $n\Big(\fracγ{4}-{\sf P}_*\sqrt{\fracγ{4}} + o(\sqrtγ)\Big) + o(n)$. Our derivation relates the free energy of the anti-ferromagnetic Ising model on such graphs to that of the Sherrington-Kirkpatrick model, with ${\sf P}_* \approx 0.7632$ standing for the ground state energy of the latter, expressed analytically via Parisi's formula. △ Less

Submitted 5 May, 2015; v1 submitted 12 March, 2015; originally announced March 2015.

Comments: 19 pages

Journal ref: Annals of Probability, 2017, Vol 45, No. 2, 1190- 1217

Equilibrium Fluctuation of the Atlas Model

Authors: Amir Dembo, Li-Cheng Tsai

Abstract: We study the fluctuation of the Atlas model, where a unit drift is assigned to the lowest ranked particle among a semi-infinite ($ \mathbb{Z}_+ $-indexed) system of otherwise independent Brownian particles, initiated according to a Poisson point process on $ \mathbb{R}_+ $. In this context, we show that the joint law of ranked particles, after being centered and scaled by $t^{-1/4}$, converges as… ▽ More We study the fluctuation of the Atlas model, where a unit drift is assigned to the lowest ranked particle among a semi-infinite ($ \mathbb{Z}_+ $-indexed) system of otherwise independent Brownian particles, initiated according to a Poisson point process on $ \mathbb{R}_+ $. In this context, we show that the joint law of ranked particles, after being centered and scaled by $t^{-1/4}$, converges as $t \to \infty$ to the Gaussian field corresponding to the solution of the additive stochastic heat equation on $\mathbb{R}_+$ with Neumann boundary condition at zero. This allows us to express the asymptotic fluctuation of the lowest ranked particle in terms of a $ \frac{1}{4} $-fractional Brownian motion. In particular, we prove a conjecture of Pal and Pitman (2008) about the asymptotic Gaussian fluctuation of the ranked particles. △ Less

Submitted 12 March, 2015; originally announced March 2015.

Comments: 28 pages

MSC Class: 60K35 (Primary); 60H15; 82C22 (Secondary)

Matrix optimization under random external fields

Authors: Amir Dembo, Ofer Zeitouni

Abstract: We consider the quadratic optimization problem $$F_n^{W,h}:= \sup_{x \in S^{n-1}} ( x^T W x/2 + h^T x )\,, $$ with $W$ a (random) matrix and $h$ a random external field. We study the probabilities of large deviation of $F_n^{W,h}$ for $h$ a centered Gaussian vector with i.i.d. entries, both conditioned on $W$ (a general Wigner matrix), and unconditioned when $W$ is a GOE matrix. Our results valida… ▽ More We consider the quadratic optimization problem $$F_n^{W,h}:= \sup_{x \in S^{n-1}} ( x^T W x/2 + h^T x )\,, $$ with $W$ a (random) matrix and $h$ a random external field. We study the probabilities of large deviation of $F_n^{W,h}$ for $h$ a centered Gaussian vector with i.i.d. entries, both conditioned on $W$ (a general Wigner matrix), and unconditioned when $W$ is a GOE matrix. Our results validate (in a certain region) and correct (in another region), the prediction obtained by the mathematically non-rigorous replica method in Y. V. Fyodorov, P. Le Doussal, J. Stat. phys. 154 (2014). △ Less

Submitted 16 September, 2014; originally announced September 2014.

Monotone interaction of walk and graph: recurrence versus transience

Authors: Amir Dembo, Ruojun Huang, Vladas Sidoravicius

Abstract: We consider recurrence versus transience for models of random walks on domains of $\mathbb{Z}^d$, in which monotone interaction enforces domain growth as a result of visits by the walk (or probes it sent), to the neighborhood of domain boundary. We consider recurrence versus transience for models of random walks on domains of $\mathbb{Z}^d$, in which monotone interaction enforces domain growth as a result of visits by the walk (or probes it sent), to the neighborhood of domain boundary. △ Less

Submitted 14 June, 2014; originally announced June 2014.

Comments: 12 pages

Component sizes for large quantum erdos renyi graph near criticality

Authors: Amir Dembo, Anna Levit, Sreekar Vadlamani

Abstract: The $N$ vertices of a quantum random graph are each a circle independently punctured at Poisson points of arrivals, with parallel connections derived through for each pair of these punctured circles by yet another independent Poisson process. Considering these graphs at their critical parameters, we show that the joint law of the re-scaled by $N^{2/3}$ and ordered sizes of their connected componen… ▽ More The $N$ vertices of a quantum random graph are each a circle independently punctured at Poisson points of arrivals, with parallel connections derived through for each pair of these punctured circles by yet another independent Poisson process. Considering these graphs at their critical parameters, we show that the joint law of the re-scaled by $N^{2/3}$ and ordered sizes of their connected components, converges to that of the ordered lengths of excursions above zero for a reflected Brownian motion with drift. Thereby, this work forms the first example of an inhomogeneous random graph, beyond the case of effectively rank-1 models, which is rigorously shown to be in the Erdős-Rényi graphs universality class in terms of Aldous's results. △ Less

Submitted 3 January, 2019; v1 submitted 23 April, 2014; originally announced April 2014.

Comments: Final version. Proof of Proposition 3.7 rewritten completely

Nonlinear large deviations

Authors: Sourav Chatterjee, Amir Dembo

Abstract: We present a general technique for computing large deviations of nonlinear functions of independent Bernoulli random variables. The method is applied to compute the large deviation rate functions for subgraph counts in sparse random graphs. Previous technology, based on Szemeredi's regularity lemma, works only for dense graphs. Applications are also made to exponential random graphs and three-term… ▽ More We present a general technique for computing large deviations of nonlinear functions of independent Bernoulli random variables. The method is applied to compute the large deviation rate functions for subgraph counts in sparse random graphs. Previous technology, based on Szemeredi's regularity lemma, works only for dense graphs. Applications are also made to exponential random graphs and three-term arithmetic progressions in random sets of integers. △ Less

Submitted 29 April, 2016; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: 43 pages. To appear in Adv. Math

MSC Class: 60F10; 05C80; 60C05; 05A20

Walking within growing domains: recurrence versus transience

Authors: Amir Dembo, Ruojun Huang, Vladas Sidoravicius

Abstract: For normally reflected Brownian motion and for simple random walk on independently growing in time d-dimensional domains, d>=3, we establish a sharp criterion for recurrence versus transience in terms of the growth rate. For normally reflected Brownian motion and for simple random walk on independently growing in time d-dimensional domains, d>=3, we establish a sharp criterion for recurrence versus transience in terms of the growth rate. △ Less

Submitted 26 August, 2014; v1 submitted 16 December, 2013; originally announced December 2013.

Comments: 22 pages

Cut-off for lamplighter chains on tori: dimension interpolation and phase transition

Authors: Amir Dembo, Jian Ding, Jason Miller, Yuval Peres

Abstract: Given a finite, connected graph $G$, the lamplighter chain on $G$ is the lazy random walk $X^\diamond$ on the associated lamplighter graph $G^\diamond={\mathbf Z}_2 \wr G$. The mixing time of the lamplighter chain on the torus ${\mathbf Z}_n^d$ is known to have a cutoff at a time asymptotic to the cover time of ${\mathbf Z}_n^d$ if $d=2$, and to half the cover time if $d \ge 3$. We show that the m… ▽ More Given a finite, connected graph $G$, the lamplighter chain on $G$ is the lazy random walk $X^\diamond$ on the associated lamplighter graph $G^\diamond={\mathbf Z}_2 \wr G$. The mixing time of the lamplighter chain on the torus ${\mathbf Z}_n^d$ is known to have a cutoff at a time asymptotic to the cover time of ${\mathbf Z}_n^d$ if $d=2$, and to half the cover time if $d \ge 3$. We show that the mixing time of the lamplighter chain on $G_n(a)={\mathbf Z}_n^2 \times {\mathbf Z}_{a \log n}$ has a cutoff at $ψ(a)$ times the cover time of $G_n(a)$ as $n \to \infty$, where $ψ$ is an explicit weakly decreasing map from $(0,\infty)$ onto $[1/2,1)$. In particular, as $a > 0$ varies, the threshold continuously interpolates between the known thresholds for ${\mathbf Z}_n^2$ and ${\mathbf Z}_n^3$. Perhaps surprisingly, we find a phase transition (non-smoothness of $ψ$) at the point $a_*=πr_3 (1+\sqrt{2})$, where high dimensional behavior ($ψ(a)=1/2$ for all $a \ge a_*$) commences. Here $r_3$ is the effective resistance from $0$ to $\infty$ in ${\mathbf Z}^3$. △ Less

Submitted 14 August, 2018; v1 submitted 16 December, 2013; originally announced December 2013.

Comments: 40 pages and 5 figures

MSC Class: 60J10; 60G50; 82C41

On level sets of Gaussian fields

Authors: Sourav Chatterjee, Amir Dembo, Jian Ding

Abstract: In this short note, we present a theorem concerning certain "additive structure" for the level sets of non-degenerate Gaussian fields, which yields the multiple valley phenomenon for extremal fields with exponentially many valleys. In this short note, we present a theorem concerning certain "additive structure" for the level sets of non-degenerate Gaussian fields, which yields the multiple valley phenomenon for extremal fields with exponentially many valleys. △ Less

Submitted 18 October, 2013; originally announced October 2013.

Comments: 6 pages

MSC Class: 60G15; 60G70

Weakly Asymmetric Non-Simple Exclusion Process and the Kardar-Parisi-Zhang Equation

Authors: Amir Dembo, Li-Cheng Tsai

Abstract: We analyze a class of non-simple exclusion processes and the corresponding growth models by generalizing Gaertners Cole-Hopf transformation. We identify the main non-linearity and eliminate it by imposing a gradient type condition. For hop** range at most 3, using the generalized transformation, we prove the convergence of the exclusion process toward the Kardar-Parisi-Zhang (KPZ) equation. This… ▽ More We analyze a class of non-simple exclusion processes and the corresponding growth models by generalizing Gaertners Cole-Hopf transformation. We identify the main non-linearity and eliminate it by imposing a gradient type condition. For hop** range at most 3, using the generalized transformation, we prove the convergence of the exclusion process toward the Kardar-Parisi-Zhang (KPZ) equation. This is the first universality result concerning interacting particle systems in the context of KPZ universality class. While this class of exclusion processes are not explicitly solvable, we obtain the exact one-point limiting distribution for the step initial condition by using the previous result of Amir et al. (2011) and our convergence result. △ Less

Submitted 28 October, 2015; v1 submitted 22 February, 2013; originally announced February 2013.

Comments: 32 pages, 1 figure. Comm. Math. Phys. in press. Reverted to v3 (i.e. v5 == v3) because v4 was a different paper that was mistakenly uploaded and should be ignored. v1 has errors; major changes made in v2

MSC Class: 60K35 (Primary); 60H15; 82C22 (Secondary)

Large deviations for diffusions interacting through their ranks

Authors: Amir Dembo, Mykhaylo Shkolnikov, S. R. Srinivasa Varadhan, Ofer Zeitouni

Abstract: We prove a Large Deviations Principle (LDP) for systems of diffusions (particles) interacting through their ranks, when the number of particles tends to infinity. We show that the limiting particle density is given by the unique solution of the approriate McKean-Vlasov equation and that the corresponding cumulative distribution function evolves according to the porous medium equation with convecti… ▽ More We prove a Large Deviations Principle (LDP) for systems of diffusions (particles) interacting through their ranks, when the number of particles tends to infinity. We show that the limiting particle density is given by the unique solution of the approriate McKean-Vlasov equation and that the corresponding cumulative distribution function evolves according to the porous medium equation with convection. The large deviations rate function is provided in explicit form. This is the first instance of a LDP for interacting diffusions, where the interaction occurs both through the drift and the diffusion coefficients and where the rate function can be given explicitly. In the course of the proof, we obtain new regularity results for a certain tilted version of the porous medium equation. △ Less

Submitted 4 April, 2017; v1 submitted 22 November, 2012; originally announced November 2012.

Comments: 43 pages

MSC Class: 60F10; 60H10; 35K55; 82C22

Limiting Spectral Distribution of Sum of Unitary and Orthogonal Matrices

Authors: Anirban Basak, Amir Dembo

Abstract: We show that the empirical eigenvalue measure for sum of $d$ independent Haar distributed $n$-dimensional unitary matrices, converge for $n \to \infty$ to the Brown measure of the free sum of $d$ Haar unitary operators. The same applies for independent Haar distributed $n$-dimensional orthogonal matrices. As a byproduct of our approach, we relax the requirement of uniformly bounded imaginary part… ▽ More We show that the empirical eigenvalue measure for sum of $d$ independent Haar distributed $n$-dimensional unitary matrices, converge for $n \to \infty$ to the Brown measure of the free sum of $d$ Haar unitary operators. The same applies for independent Haar distributed $n$-dimensional orthogonal matrices. As a byproduct of our approach, we relax the requirement of uniformly bounded imaginary part of Stieltjes transform of $T_n$ that is made in [Guionnet, Krishnapur, Zeitouni; Theorem 1]. △ Less

Submitted 4 July, 2013; v1 submitted 25 August, 2012; originally announced August 2012.

Comments: 17 pages; changes in the presentation style, several minor changes in proofs

MSC Class: 46L53; 60B10; 60B20

No zero-crossings for random polynomials and the heat equation

Authors: Amir Dembo, Sumit Mukherjee

Abstract: Consider random polynomial $\sum_{i=0}^na_ix^i$ of independent mean-zero normal coefficients $a_i$, whose variance is a regularly varying function (in $i$) of order $α$. We derive general criteria for continuity of persistence exponents for centered Gaussian processes, and use these to show that such polynomial has no roots in $[0,1]$ with probability $n^{-b_α+o(1)}$, and no roots in $(1,\infty)$… ▽ More Consider random polynomial $\sum_{i=0}^na_ix^i$ of independent mean-zero normal coefficients $a_i$, whose variance is a regularly varying function (in $i$) of order $α$. We derive general criteria for continuity of persistence exponents for centered Gaussian processes, and use these to show that such polynomial has no roots in $[0,1]$ with probability $n^{-b_α+o(1)}$, and no roots in $(1,\infty)$ with probability $n^{-b_0+o(1)}$, hence for $n$ even, it has no real roots with probability $n^{-2b_α-2b_0+o(1)}$. Here, $b_α=0$ when $α\le-1$ and otherwise $b_α\in(0,\infty)$ is independent of the detailed regularly varying variance function and corresponds to persistence probabilities for an explicit stationary Gaussian process of smooth sample path. Further, making precise the solution $φ_d({\mathbf{x}},t)$ to the $d$-dimensional heat equation initiated by a Gaussian white noise $φ_d({\mathbf{x}},0)$, we confirm that the probability of $φ_d({\mathbf{x}},t)\neq0$ for all $t\in[1,T]$, is $T^{-b_α+o(1)}$, for $α=d/2-1$. △ Less

Submitted 9 January, 2015; v1 submitted 11 August, 2012; originally announced August 2012.

Comments: Published in at http://dx.doi.org/10.1214/13-AOP852 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP852

Journal ref: Annals of Probability 2015, Vol. 43, No. 1, 85-118

The replica symmetric solution for Potts models on d-regular graphs

Authors: Amir Dembo, Andrea Montanari, Allan Sly, Nike Sun

Abstract: We provide an explicit formula for the limiting free energy density (log-partition function divided by the number of vertices) for ferromagnetic Potts models on uniformly sparse graph sequences converging locally to the d-regular tree for d even, covering all temperature regimes. This formula coincides with the Bethe free energy functional evaluated at a suitable fixed point of the belief propagat… ▽ More We provide an explicit formula for the limiting free energy density (log-partition function divided by the number of vertices) for ferromagnetic Potts models on uniformly sparse graph sequences converging locally to the d-regular tree for d even, covering all temperature regimes. This formula coincides with the Bethe free energy functional evaluated at a suitable fixed point of the belief propagation recursion on the d-regular tree, the so-called replica symmetric solution. For uniformly random d-regular graphs we further show that the replica symmetric Bethe formula is an upper bound for the asymptotic free energy for any model with permissive interactions. △ Less

Submitted 23 July, 2012; originally announced July 2012.

Comments: 23 pages

MSC Class: 82B20; 82B23; 05C80; 60K35

Persistence of iterated partial sums

Authors: Amir Dembo, Jian Ding, Fuchang Gao

Abstract: Let $S_n^{(2)}$ denote the iterated partial sums. That is, $S_n^{(2)}=S_1+S_2+ ... +S_n$, where $S_i=X_1+X_2+ ... s+X_i$. Assuming $X_1, X_2,....,X_n$ are integrable, zero-mean, i.i.d. random variables, we show that the persistence probabilities $$p_n^{(2)}:=\PP(\max_{1\le i \le n}S_i^{(2)}< 0) \le c\sqrt{\frac{\EE|S_{n+1}|}{(n+1)\EE|X_1|}},$$ with $c \le 6 \sqrt{30}$ (and $c=2$ whenever $X_1$ is… ▽ More Let $S_n^{(2)}$ denote the iterated partial sums. That is, $S_n^{(2)}=S_1+S_2+ ... +S_n$, where $S_i=X_1+X_2+ ... s+X_i$. Assuming $X_1, X_2,....,X_n$ are integrable, zero-mean, i.i.d. random variables, we show that the persistence probabilities $$p_n^{(2)}:=\PP(\max_{1\le i \le n}S_i^{(2)}< 0) \le c\sqrt{\frac{\EE|S_{n+1}|}{(n+1)\EE|X_1|}},$$ with $c \le 6 \sqrt{30}$ (and $c=2$ whenever $X_1$ is symmetric). The converse inequality holds whenever the non-zero $\min(-X_1,0)$ is bounded or when it has only finite third moment and in addition $X_1$ is squared integrable. Furthermore, $p_n^{(2)}\asymp n^{-1/4}$ for any non-degenerate squared integrable, i.i.d., zero-mean $X_i$. In contrast, we show that for any $0 < γ< 1/4$ there exist integrable, zero-mean random variables for which the rate of decay of $p_n^{(2)}$ is $n^{-γ}$. △ Less

Submitted 15 May, 2012; originally announced May 2012.

Comments: overlaps and improves upon an earlier version by Dembo and Gao at arXiv:1101.5743

Report number: SU-1105 MSC Class: 60G50

Ferromagnetic Ising Measures on Large Locally Tree-Like Graphs

Authors: Anirban Basak, Amir Dembo

Abstract: We consider the ferromagnetic Ising model on a sequence of graphs $G_n$ converging locally weakly to a rooted random tree. Generalizing [Montanari, Mossel, Sly '11], under an appropriate "continuity" property, we show that the Ising measures on these graphs converge locally weakly to a measure, which is obtained by first picking a random tree, and then the symmetric mixture of Ising measures with… ▽ More We consider the ferromagnetic Ising model on a sequence of graphs $G_n$ converging locally weakly to a rooted random tree. Generalizing [Montanari, Mossel, Sly '11], under an appropriate "continuity" property, we show that the Ising measures on these graphs converge locally weakly to a measure, which is obtained by first picking a random tree, and then the symmetric mixture of Ising measures with $+$ and $-$ boundary conditions on that tree. Under the extra assumptions that $G_n$ are edge-expanders, we show that the local weak limit of the Ising measures conditioned on positive magnetization, is the Ising measure with $+$ boundary condition on the limiting tree. The "continuity" property holds except possibly for countably many choices of $β$, which for limiting trees of minimum degree at least three, are all within certain explicitly specified compact interval. We further show the edge-expander property for (most of) the configuration model graphs corresponding to limiting (multi-type) Galton Watson trees. △ Less

Submitted 29 October, 2015; v1 submitted 21 May, 2012; originally announced May 2012.

Comments: 37 pages, minor changes, to appear in AoP

Condensation of Silica Nanoparticles on a Phospholipid Membrane

Authors: V. E. Asadchikov, V. V. Volkov, Yu. O. Volkov, K. A. Dembo, I. V. Kozhevnikov, B. S. Roshchin, D. A. Frolov, A. M. Tikhonov

Abstract: The structure of the transient layer at the interface between air and the aqueous solution of silica nanoparticles with the size distribution of particles that has been determined from small-angle scattering has been studied by the X-ray reflectometry method. The reconstructed depth profile of the polarizability of the substance indicates the presence of a structure consisting of several layers of… ▽ More The structure of the transient layer at the interface between air and the aqueous solution of silica nanoparticles with the size distribution of particles that has been determined from small-angle scattering has been studied by the X-ray reflectometry method. The reconstructed depth profile of the polarizability of the substance indicates the presence of a structure consisting of several layers of nanoparticles with the thickness that is more than twice as large as the thickness of the previously described structure. The adsorption of 1,2-distearoyl-sn-glycero-3-phosphocholine molecules at the hydrosol/air interface is accompanied by the condensation of anion silica nanoparticles at the interface. This phenomenon can be qualitatively explained by the formation of the positive surface potential due to the penetration and accumulation of Na+ cations in the phospholipid membrane. △ Less

Submitted 3 November, 2011; originally announced November 2011.

Comments: 7 pages, 5 figures

Journal ref: JETP Letters 94, 585 (2011)

Factor models on locally tree-like graphs

Authors: Amir Dembo, Andrea Montanari, Nike Sun

Abstract: We consider homogeneous factor models on uniformly sparse graph sequences converging locally to a (unimodular) random tree $T$, and study the existence of the free energy density $φ$, the limit of the log-partition function divided by the number of vertices $n$ as $n$ tends to infinity. We provide a new interpolation scheme and use it to prove existence of, and to explicitly compute, the quantity… ▽ More We consider homogeneous factor models on uniformly sparse graph sequences converging locally to a (unimodular) random tree $T$, and study the existence of the free energy density $φ$, the limit of the log-partition function divided by the number of vertices $n$ as $n$ tends to infinity. We provide a new interpolation scheme and use it to prove existence of, and to explicitly compute, the quantity $φ$ subject to uniqueness of a relevant Gibbs measure for the factor model on $T$. By way of example we compute $φ$ for the independent set (or hard-core) model at low fugacity, for the ferromagnetic Ising model at all parameter values, and for the ferromagnetic Potts model with both weak enough and strong enough interactions. Even beyond uniqueness regimes our interpolation provides useful explicit bounds on $φ$. In the regimes in which we establish existence of the limit, we show that it coincides with the Bethe free energy functional evaluated at a suitable fixed point of the belief propagation (Bethe) recursions on $T$. In the special case that $T$ has a Galton-Watson law, this formula coincides with the nonrigorous "Bethe prediction" obtained by statistical physicists using the "replica" or "cavity" methods. Thus our work is a rigorous generalization of these heuristic calculations to the broader class of sparse graph sequences converging locally to trees. We also provide a variational characterization for the Bethe prediction in this general setting, which is of independent interest. △ Less

Submitted 16 December, 2013; v1 submitted 21 October, 2011; originally announced October 2011.

Comments: Published in at http://dx.doi.org/10.1214/12-AOP828 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP828

Journal ref: Annals of Probability 2013, Vol. 41, No. 6, 4162-4213