Source author record

Amir Dembo

Amir Dembo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

31works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

31 published item(s)

preprint2022arXiv

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

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.

preprint2021arXiv

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

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.

preprint2021arXiv

Upper Tail For Homomorphism Counts In Constrained Sparse Random Graphs

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.

preprint2020arXiv

Averaging Principle and Shape Theorem for a Growth Model with Memory

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.

preprint2020arXiv

Dynamics for spherical spin glasses: disorder dependent initial conditions

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).

preprint2020arXiv

Empirical spectral distributions of sparse random graphs

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.

preprint2020arXiv

Everything is a Race and Nakamoto Always Wins

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.

preprint2020arXiv

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

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.

preprint2020arXiv

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

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.

preprint2020arXiv

Universality for Langevin-like spin glass dynamics

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$.

preprint2019arXiv

Criticality of a randomly-driven front

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.

preprint2016arXiv

Nonlinear large deviations

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.

preprint2016arXiv

Persistence of Gaussian processes: non-summable correlations

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$.

preprint2016arXiv

Transience in growing subgraphs via evolving sets

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].

preprint2015arXiv

Equilibrium Fluctuation of the Atlas Model

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.

preprint2015arXiv

Ferromagnetic Ising Measures on Large Locally Tree-Like Graphs

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.

preprint2015arXiv

No zero-crossings for random polynomials and the heat equation

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$.

preprint2015arXiv

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

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 hopping 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.

preprint2014arXiv

Matrix optimization under random external fields

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).

preprint2013arXiv

Factor models on locally tree-like graphs

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.

preprint2013arXiv

Limiting Spectral Distribution of Sum of Unitary and Orthogonal Matrices

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].

preprint2012arXiv

Central limit theorem for biased random walk on multi-type Galton-Watson trees

Let T be a rooted supercritical multi-type Galton-Watson (MGW) tree with types coming from a finite alphabet, conditioned to non-extinction. The lambda-biased random walk (X_t, t>=0) on T is the nearest-neighbor random walk which, when at a vertex v with d(v) offspring, moves closer to the root with probability lambda/[lambda+d(v)], and to each of the offspring with probability 1/[lambda+d(v)]. This walk is recurrent for lambda>=rho and transient for 0<lambda<rho, with rho the Perron-Frobenius eigenvalue for the (assumed) irreducible matrix of expected offspring numbers. Subject to finite moments of order p>4 for the offspring distributions, we prove the following quenched CLT for lambda-biased random walk at the critical value lambda=rho: for almost every T, the process |X_{floor(nt)}|/sqrt{n} converges in law as n tends to infinity to a reflected Brownian motion rescaled by an explicit constant. This result was proved under some stronger assumptions by Peres-Zeitouni (2008) for single-type Galton-Watson trees. Following their approach, our proof is based on a new explicit description of a reversing measure for the walk from the point of view of the particle (generalizing the measure constructed in the single-type setting by Peres-Zeitouni), and the construction of appropriate harmonic coordinates. In carrying out this program we prove moment and conductance estimates for MGW trees, which may be of independent interest. In addition, we extend our construction of the reversing measure to a biased random walk with random environment (RWRE) on MGW trees, again at a critical value of the bias. We compare this result against a transience-recurrence criterion for the RWRE generalizing a result of Faraud (2011) for Galton-Watson trees.

preprint2012arXiv

Persistence of iterated partial sums

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^{-γ}$.

preprint2012arXiv

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

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.

preprint2011arXiv

Persistence of iterated partial sums

Let p_n denote the persistence probability that the first n iterated partial sums of integrable, zero-mean, i.i.d. random variables X_k, are negative. We show that p_n is bounded above up to universal constant by the square root of the expected absolute value of the empirical average of {X_k}. A converse bound holds whenever P(-X_1>t) is up to constant exp(-b t) for some b>0 or when P(-X_1>t) decays super-exponentially in t. Consequently, for such random variables we have that p_n decays as n^{-1/4} if X_1 has finite second moment. In contrast, we show that for any 0 < c < 1/4 there exist integrable, zero-mean random variables for which the rate of decay of p_n is n^{-c}.

preprint2010arXiv

Ising models on locally tree-like graphs

We consider ferromagnetic Ising models on graphs that converge locally to trees. Examples include random regular graphs with bounded degree and uniformly random graphs with bounded average degree. We prove that the "cavity" prediction for the limiting free energy per spin is correct for any positive temperature and external field. Further, local marginals can be approximated by iterating a set of mean field (cavity) equations. Both results are achieved by proving the local convergence of the Boltzmann distribution on the original graph to the Boltzmann distribution on the appropriate infinite random tree.

preprint2010arXiv

Markovian perturbation, response and fluctuation dissipation theorem

We consider the Fluctuation Dissipation Theorem (FDT) of statistical physics from a mathematical perspective. We formalize the concept of "linear response function" in the general framework of Markov processes. We show that for processes out of equilibrium it depends not only on the given Markov process X(s) but also on the chosen perturbation of it. We characterize the set of all possible response functions for a given Markov process and show that at equilibrium they all satisfy the FDT. That is, if the initial measure is invariant for the given Markov semi-group, then for any pair of times s<t and nice functions f,g, the dissipation, that is, the derivative in s of the covariance of g(X(t)) and f(X(s)) equals the infinitesimal response at time t and direction g to any Markovian perturbation that alters the invariant measure of X(.) in the direction of f at time s. The same applies in the so called FDT regime near equilibrium, i.e. in the limit s going to infinity with t-s fixed, provided X(s) converges in law to an invariant measure for its dynamics. We provide the response function of two generic Markovian perturbations which we then compare and contrast for pure jump processes on a discrete space, for finite dimensional diffusion processes, and for stochastic spin systems.

preprint2009arXiv

Spectral measure of heavy tailed band and covariance random matrices

We study the asymptotic behavior of the appropriately scaled and possibly perturbed spectral measure $μ$ of large random real symmetric matrices with heavy tailed entries. Specifically, consider the N by N symmetric matrix $Y_N^σ$ whose (i,j) entry is $σ(i/N,j/N)X_{ij}$ where $(X_{ij}, 0<i<j+1<\infty)$ is an infinite array of i.i.d real variables with common distribution in the domain of attraction of an $α$-stable law, $0<α<2$, and $σ$ is a deterministic function. For a random diagonal $D_N$ independent of $Y_N^σ$ and with appropriate rescaling $a_N$, we prove that the distribution $μ$ of $a_N^{-1}Y_N^σ+ D_N$ converges in mean towards a limiting probability measure which we characterize. As a special case, we derive and analyze the almost sure limiting spectral density for empirical covariance matrices with heavy tailed entries.