Searcharxiv⌕ Search

arXiv subjects

Shirshendu Ganguly

Publications and source records attributed to Shirshendu Ganguly.

At least 37 records · Page 2Linked to original sources

Stability and chaos in dynamical last passage percolation

Many complex statistical mechanical models have intricate energy landscapes. The ground state, or lowest energy state, lies at the base of the deepest valley. In examples such as spin glasses and Gaussian polymers, there are many valleys; the abundance of near-ground states (at the base of valleys) indicates the phenomenon of chaos, under which the ground state alters profoundly when the model's disorder is slightly perturbed. In this article, we compute the critical exponent that governs the onset of chaos in a dynamic manifestation of a canonical model in the Kardar-Parisi-Zhang [KPZ] universality class, Brownian last passage percolation [LPP]. In this model in its static form, semi-discrete polymers advance through Brownian noise, their energy given by the integral of the white noise encountered along their journey. A ground state is a geodesic, of extremal energy given its endpoints. We perturb Brownian LPP by evolving the disorder under an Ornstein-Uhlenbeck flow. We prove that, for polymers of length $n$, a sharp phase transition marking the onset of chaos is witnessed at the critical time $n^{-1/3}$. Indeed, the overlap between the geodesics at times zero and $t > 0$ that travel a given distance of order $n$ will be shown to be of order $n$ when $t\ll n^{-1/3}$; and to be of smaller order when $t\gg n^{-1/3}$. We expect this exponent to be shared among many interface models. The present work thus sheds light on the dynamical aspect of the KPZ class; it builds on several recent advances. These include Chatterjee's harmonic analytic theory [Cha14] of equivalence of superconcentration and chaos in Gaussian spaces; a refined understanding of the static landscape geometry of Brownian LPP developed in the companion paper [GH20]; and, underlying the latter, strong comparison estimates of the geodesic energy profile to Brownian motion in [CHH19].

math.PR↗

The ant on loops: Alexander-Orbach conjecture for the critical level set of the Gaussian free field

Alexander and Orbach (AO) in 1982 conjectured that the simple random walk on critical percolation clusters (also known as the ant in the labyrinth) in Euclidean lattices exhibit mean field behavior; for instance, its spectral dimension is $4/3$. While false in low dimensions, this is expected to be true above the upper critical dimension of six. First rigorous results in this direction go back to Kesten who verified this on the tree. After many developments, in a breakthrough work, Kozma and Nachmias [KN] established the AO conjecture for bond percolation on $\mathbb{Z}^d$ for $d>19$ and $d>6$ for the spread out lattice. We investigate the validity of the AO conjecture for the critical level set of the Gaussian Free Field (GFF), a canonical dependent percolation model of central importance. In an influential work, Lupu proved that for the cable graph of $\mathbb{Z}^d$ (which is obtained by also including the edges), the signed clusters of the associated GFF are given by the corresponding clusters in a Poisson loop soup, thus reducing the analysis to the study of the latter. In 2021, Werner put forth an evocative picture for the critical behavior in this setting drawing an analogy with the usual bond case. Building on this, Cai and Ding established the universality of the extrinsic one arm exponent for all $d > 6.$ In this article, we carry this program further, and consider the random walk on sub-sequential limits of the cluster of the origin conditioned to contain far away points. These form candidates for the Incipient Infinite Cluster (IIC), first introduced by Kesten in the planar case. Inspired by the program of [KN], introducing several novel ideas to tackle the long range nature of this model and its effect on the intrinsic geometry of the percolation cluster, we establish that the AO conjecture indeed holds for any sub-sequential IIC, for all large enough dimensions.

math.PR↗

Optimal tail exponents in general last passage percolation via bootstrapping & geodesic geometry

We consider last passage percolation on $\mathbb Z^2$ with general weight distributions, which is expected to be a member of the Kardar-Parisi-Zhang (KPZ) universality class. In this model, an oriented path between given endpoints which maximizes the sum of the i.i.d. weight variables associated to its vertices is called a geodesic. Under natural conditions of curvature of the limiting geodesic weight profile and stretched exponential decay of both tails of the point-to-point weight, we use geometric arguments to upgrade the assumptions to prove optimal upper and lower tail behavior with the exponents of $3/2$ and $3$ for the weight of the geodesic from $(1,1)$ to $(r,r)$ for all large finite $r$. The proofs merge several ideas, including the well known super-additivity property of last passage values, concentration of measure behavior for sums of stretched exponential random variables, and geometric insights coming from the study of geodesics and more general objects called geodesic watermelons. Previously such optimal behavior was only known for exactly solvable models, with proofs relying on hard analysis of formulas from integrable probability, which are unavailable in the general setting. Our results illustrate a facet of universality in a class of KPZ stochastic growth models and provide a geometric explanation of the upper and lower tail exponents of the GUE Tracy-Widom distribution, the conjectured one point scaling limit of such models. The key arguments are based on an observation of general interest that super-additivity allows a natural iterative bootstrapping procedure to obtain improved tail estimates.

math.PR↗

Characterizing Gibbs states for area-tilted Brownian lines

Gibbsian line ensembles are families of Brownian lines arising in many natural contexts such as the level curves of three dimensional Ising interfaces, the solid-on-solid model, multi-layered polynuclear growth etc. An important example is a class of non-intersecting Brownian lines above a hard wall, which are subject to geometrically growing area tilt potentials, which we call the $λ$-tilted line ensemble, where $λ>1$. The model was introduced by Caputo, Ioffe and Wachtel [CIW] in 2018, as a putative scaling limit of the level lines of entropically repulsed solid-on-solid interfaces. In this article we address the problem of classifying all Gibbs measures for $λ$-tilted line ensembles. A stationary infinite volume Gibbs measure was already constructed by [CIW], and the uniqueness of this translation invariant Gibbs measure was recently established by Caputo and Ganguly. Our main result here is a strong characterization for Gibbs measures of $λ$-tilted line ensembles in terms of a two parameter family. Namely, we show that the extremal Gibbs measures are completely characterized by the behavior of the top line $X^1$ at positive and negative infinity, which must satisfy the parabolic growth $$X^{1}(t)=t^2+L\,|t|\,\mathbf{1}_{t<0}+R\,|t|\,\mathbf{1}_{t>0}+o(|t|)\,,\quad \text{ as } \;|t| \to \infty,$$ where $L,R$ are real parameters, including $-\infty,$ with $L+R<0$. The case $L=R=-\infty$ corresponds to the unique translation invariant Gibbs measure. The result bears some analogy to the Airy wanderers, an integrable model introduced and studied in the context of the Airy line ensemble. A crucial step in our proof, of independent significance, is a complete characterization of the extremal Gibbs states associated to a single area-tilted Brownian excursion, which can be interpreted as non-translation invariant versions of the Ferrari-Spohn diffusion.

math.PR↗

Uniqueness, mixing, and optimal tails for Brownian line ensembles with geometric area tilt

We consider non-colliding Brownian lines above a hard wall, which are subject to geometrically growing (given by a parameter $λ>1$) area tilts, which we call the $λ$-tilted line ensemble (LE). The model was introduced by Caputo, Ioffe, Wachtel [CIW] in 2019 as a putative scaling limit for the level lines of low-temperature 3D Ising interfaces. While the LE has infinitely many lines, the case of the single line, known as the Ferrari-Spohn (FS) diffusion, is one of the canonical interfaces appearing in the Kardar-Parisi-Zhang (KPZ) universality class. In contrast with well studied models with determinantal structure such as the Airy LE constructed by Corwin and Hammond as well as the FS diffusion, the $λ$-tilted LE is non-integrable. [CIW] constructed a stationary infinite volume Gibbs measure (the zero boundary LE) as a limit of finite LEs on finite intervals with zero boundary conditions, and obtained control on its fluctuations in terms of first moment estimates. Subsequently, Dembo, Lubetzky, Zeitouni revisited the case of finitely many lines and established an equivalence between the free and the zero boundary LEs. In this article we develop probabilistic arguments to resolve several questions that remained open. We prove that the infinite volume zero boundary LE is mixing and hence ergodic and establish a quantitative decay of correlation. Further, we prove an optimal upper tail estimate for the top line matching that of the FS diffusion. Finally, we prove uniqueness of the Gibbs measure in the sense that any uniformly tight LE (a notion which includes all stationary $λ$-tilted LE) must be the zero boundary LE. This immediately implies that the LE with free boundary conditions, as the number of lines and the domain size go to infinity arbitrarily converges to this unique LE.

math.PR↗

Cutoff for the Glauber dynamics of the lattice free field

The Gaussian Free Field (GFF) is a canonical random surface in probability theory generalizing Brownian motion to higher dimensions. In two dimensions, it is critical in several senses, and is expected to be the universal scaling limit of a host of random surface models in statistical physics. It also arises naturally as the stationary solution to the stochastic heat equation with additive noise. Focusing on the dynamical aspects of the corresponding universality class, we study the mixing time, i.e., the rate of convergence to stationarity, for the canonical prelimiting object, namely the discrete Gaussian free field (DGFF), evolving along the (heat-bath) Glauber dynamics. While there have been significant breakthroughs made in the study of cutoff for Glauber dynamics of random curves, analogous sharp mixing bounds for random surface evolutions have remained elusive. In this direction, we establish that on a box of side-length $n$ in $\mathbb Z^2$, when started out of equilibrium, the Glauber dynamics for the DGFF exhibit cutoff at time $\frac{2}{π^2}n^2 \log n$.

math.PR↗

Universality of Poisson-Dirichlet law for log-correlated Gaussian fields via level set statistics

Many low temperature disordered systems are expected to exhibit Poisson-Dirichlet (PD) statistics. In this paper, we focus on the case when the underlying disorder is a logarithmically correlated Gaussian process $ϕ_N$ on the box $[-N,N]^d\subset\mathbb{Z}^d$. Canonical examples include branching random walk, $*$-scale invariant fields, with the central example being the two dimensional Gaussian free field (GFF), a universal scaling limit of a wide range of statistical mechanics models. The corresponding Gibbs measure obtained by exponentiating $β$ (inverse temperature) times $ϕ_N$ is a discrete version of the Gaussian multiplicative chaos (GMC) famously constructed by Kahane. In the low temperature or supercritical regime, the GMC is expected to exhibit atomic behavior on suitable renormalization, dictated by the extremal statistics of $ϕ_N$. Moreover, it is predicted, going back to a conjecture made in 2001 by Carpentier and Le Doussal, that the weights of this atomic GMC has a PD distribution. In a series of works, Biskup and Louidor carried out a comprehensive study of the near maxima of the 2D GFF, and established the conjectured PD behavior throughout the super-critical regime. In another direction, Ding, Roy and Zeitouni established universal behavior of the maximum for a general class of log-correlated Gaussian fields. In this paper we continue this program simply under the assumption of log-correlation and nothing further. We prove that the GMC concentrates on an $O(1)$ neighborhood of the local extrema and the PD prediction holds, in any dimension $d$, throughout the supercritical regime, significantly generalizing past results. Unlike for the 2D GFF, in absence of any Markovian structure for general Gaussian fields, we develop and use as our key input a sharp estimate of the size of level sets, which could have other applications.

math.PR↗

Discrete geodesic local time converges under KPZ scaling

The directed landscape constructed in (Dauvergne-Ortmann-Virag '18) produces a directed, planar, random geometry, and is believed to be the universal scaling limit of two-dimensional first and last passage percolation models in the Kardar-Parisi-Zhang (KPZ) universality class. Geodesics in this random geometry form an important class of random continuous curves exhibiting fluctuation theory quite different from that of Brownian motion. In this vein, counterpart to Brownian local time, BLT (a self-similar measure supported on the set of zeros of Brownian motion), a local time for geodesics, GLT, was recently constructed and used to study fractal properties of the directed landscape in (Ganguly-Zhang '22). It is a classical fact and can be proven using the Markovian property of Brownian motion that the uniform discrete measure on the set of zeros of the simple random walk converges to BLT. In this paper, we prove the ''KPZ analog'' of this by showing that the local times for discrete geodesics in pre-limiting integrable last passage percolation models converge to GLT under suitable scaling guided by KPZ exponents. In absence of any Markovianity, our arguments rely on the recently proven convergence of geodesics in pre-limiting models to that in the directed landscape (Dauvergne-Virag '21). However, this input concerns macroscopic properties and is too coarse to capture the microscopic information required for local time analysis. To relate the macroscopic and microscopic behavior, a key ingredient is an a priori smoothness estimate of the local time in the discrete model, proved relying on geometric ideas such as the coalescence of geodesics as well as their stability under perturbations of boundary data.

math.PR↗

Fractal geometry of the space-time difference profile in the directed landscape via construction of geodesic local times

The Directed Landscape, a random directed metric on the plane (where the first and the second coordinates are termed spatial and temporal respectively), was constructed in the breakthrough work of Dauvergne, Ortmann, and Virág, and has since been shown to be the scaling limit of various integrable models of Last Passage percolation, a central member of the Kardar-Parisi-Zhang universality class. It exhibits several scale invariance properties making it a natural source of rich fractal behavior. Such a study was initiated in Basu-Ganguly-Hammond, where the difference profile i.e., the difference of passage times from two fixed points (say $(\pm 1,0)$), was considered. Owing to geodesic geometry, it turns out that this difference process is almost surely locally constant. The set of non-constancy is connected to disjointness of geodesics and inherits remarkable fractal properties. In particular, it has been established that when only the spatial coordinate is varied, the set of non-constancy of the difference profile has Hausdorff dimension $1/2$, and bears a rather strong resemblance to the zero set of Brownian motion. The arguments crucially rely on a monotonicity property, which is absent when the temporal structure of the process is probed, necessitating the development of new methods. In this paper, we put forth several new ideas, and show that the set of non-constancy of the 2D difference profile and the 1D temporal process (when the spatial coordinate is fixed and the temporal coordinate is varied) have Hausdorff dimensions $5/3$ and $2/3$ respectively. A particularly crucial ingredient in our analysis is the novel construction of a local time process for the geodesic akin to Brownian local time, supported on the "zero set" of the geodesic. Further, we show that the latter has Hausdorff dimension $1/3$ in contrast to the zero set of Brownian motion which has dimension $1/2.$

math.PR↗

Spectral large deviations of sparse random matrices

Eigenvalues of Wigner matrices has been a major topic of investigation. A particularly important subclass of such random matrices is formed by the adjacency matrix of an Erdős-Rényi graph $\mathcal{G}_{n,p}$ equipped with i.i.d. edge-weights. An observable of particular interest is the largest eigenvalue. In this paper, we study the large deviations behavior of the largest eigenvalue of such matrices, a topic that has received considerable attention over the years. We focus on the case $p = \frac{d}{n}$, where most known techniques break down. So far, results were known only for $\mathcal{G}_{n,\frac{d}{n}}$ without edge-weights (Krivelevich and Sudakov, '03), (Bhattacharya, Bhattacharya, and Ganguly, '21) and with Gaussian edge-weights (Ganguly and Nam, '21). In the present article, we consider the effect of general weight distributions. More specifically, we consider the entries whose tail probabilities decay at rate $e^{-t^α}$ with $α>0$, where the regimes $0<α<2$ and $α>2$ correspond to tails heavier and lighter than the Gaussian tail respectively. While in many natural settings the large deviations behavior is expected to depend crucially on the entry distribution, we establish a surprising and rare universal behavior showing that this is not the case when $α> 2.$ In contrast, in the $α< 2$ case, the large deviation rate function is no longer universal and is given by the solution to a variational problem, the description of which involves a generalization of the Motzkin-Straus theorem, a classical result from spectral graph theory. As a byproduct of our large deviation results, we also establish new law of large numbers results for the largest eigenvalue. In particular, we show that the typical value of the largest eigenvalue exhibits a phase transition at $α= 2$, i.e. the Gaussian distribution.

math.PR↗

Upper tail behavior of the number of triangles in random graphs with constant average degree

Let $N$ be the number of triangles in an Erdős-Rényi graph $\mathcal{G}(n,p)$ on $n$ vertices with edge density $p=d/n,$ where $d>0$ is a fixed constant. It is well known that $N$ weakly converges to the Poisson distribution with mean ${d^3}/{6}$ as $n\rightarrow \infty$. We address the upper tail problem for $N,$ namely, we investigate how fast $k$ must grow, so that the probability of $\{N\ge k\}$ is not well approximated anymore by the tail of the corresponding Poisson variable. Proving that the tail exhibits a sharp phase transition, we essentially show that the upper tail is governed by Poisson behavior only when $k^{1/3} \log k< (\frac{3}{\sqrt{2}})^{2/3} \log n$ (sub-critical regime) as well as pin down the tail behavior when $k^{1/3} \log k> (\frac{3}{\sqrt{2}})^{2/3} \log n$ (super-critical regime). We further prove a structure theorem, showing that the sub-critical upper tail behavior is dictated by the appearance of almost $k$ vertex-disjoint triangles whereas in the supercritical regime, the excess triangles arise from a clique like structure of size approximately $(6k)^{1/3}$. This settles the long-standing upper-tail problem in this case, answering a question of Aldous, complementing a long sequence of works, spanning multiple decades, culminating in (Harel, Moussat, Samotij,'19) which analyzed the problem only in the regime $p\gg \frac{1}{n}.$ The proofs rely on several novel graph theoretical results which could have other applications.

math.PR↗

Collapse and Diffusion in Harmonic Activation and Transport

For an $n$-element subset $U$ of $\mathbb{Z}^2$, select $x$ from $U$ according to harmonic measure from infinity, remove $x$ from $U$, and start a random walk from $x$. If the walk leaves from $y$ when it first enters $U$, add $y$ to $U$. Iterating this procedure constitutes the process we call Harmonic Activation and Transport (HAT). HAT exhibits a phenomenon we refer to as collapse: informally, the diameter shrinks to its logarithm over a number of steps which is comparable to this logarithm. Collapse implies the existence of the stationary distribution of HAT, where configurations are viewed up to translation, and the exponential tightness of diameter at stationarity. Additionally, collapse produces a renewal structure with which we establish that the center of mass process, properly rescaled, converges in distribution to two-dimensional Brownian motion. To characterize the phenomenon of collapse, we address fundamental questions about the extremal behavior of harmonic measure and escape probabilities. Among $n$-element subsets of $\mathbb{Z}^2$, what is the least positive value of harmonic measure? What is the probability of escape from the set to a distance of, say, $d$? Concerning the former, examples abound for which the harmonic measure is exponentially small in $n$. We prove that it can be no smaller than exponential in $n \log n$. Regarding the latter, the escape probability is at most the reciprocal of $\log d$, up to a constant factor. We prove it is always at least this much, up to an $n$-dependent factor.

math.PR↗

Many nodal domains in random regular graphs

Let $G$ be a random $d$-regular graph. We prove that for every constant $α> 0$, with high probability every eigenvector of the adjacency matrix of $G$ with eigenvalue less than $-2\sqrt{d-2}-α$ has $Ω(n/$polylog$(n))$ nodal domains.

math.PR↗

Random metric geometries on the plane and Kardar-Parisi-Zhang universality

This is the article with the same title which is scheduled to appear in the January 2022 issue of the AMS Notices, with additional references which could not be provided in the accepted version due to space constraints. The figures in this article were made collaboratively with Milind Hegde.

math.PR↗

Local and global comparisons of the Airy difference profile to Brownian local time

There has recently been much activity within the Kardar-Parisi-Zhang universality class spurred by the construction of the canonical limiting object, the parabolic Airy sheet $\mathcal{S}:\mathbb{R}^2\to\mathbb{R}$ [arXiv:1812.00309]. The parabolic Airy sheet provides a coupling of parabolic Airy$_2$ processes -- a universal limiting geodesic weight profile in planar last passage percolation models -- and a natural goal is to understand this coupling. Geodesic geometry suggests that the difference of two parabolic Airy$_2$ processes, i.e., a difference profile, encodes important structural information. This difference profile $\mathcal{D}$, given by $\mathbb{R}\to\mathbb{R}:x\mapsto \mathcal{S}(1,x)-\mathcal{S}(-1,x)$, was first studied by Basu, Ganguly, and Hammond [arXiv:1904.01717], who showed that it is monotone and almost everywhere constant, with its points of non-constancy forming a set of Hausdorff dimension $1/2$. Noticing that this is also the Hausdorff dimension of the zero set of Brownian motion, we adopt a different approach. Establishing previously inaccessible fractal structure of $\mathcal{D}$, we prove, on a global scale, that $\mathcal{D}$ is absolutely continuous on compact sets to Brownian local time (of rate four) in the sense of increments, which also yields the main result of [arXiv:1904.01717] as a simple corollary. Further, on a local scale, we explicitly obtain Brownian local time of rate four as a local limit of $\mathcal{D}$ at a point of increase, picked by a number of methods, including at a typical point sampled according to the distribution function $\mathcal{D}$. Our arguments rely on the representation of $\mathcal{S}$ in terms of a last passage problem through the parabolic Airy line ensemble and an understanding of geodesic geometry at deterministic and random times.

math.PR↗

Hausdorff dimensions for shared endpoints of disjoint geodesics in the directed landscape

Within the Kardar-Parisi-Zhang universality class, the space-time Airy sheet is conjectured to be the canonical scaling limit for last passage percolation models. In recent work arXiv:1812.00309 of Dauvergne, Ortmann, and Virág, this object was constructed and shown to be the limit after parabolic correction of one such model: Brownian last passage percolation. This limit object, called the directed landscape, admits geodesic paths between any two space-time points $(x,s)$ and $(y,t)$ with $s<t$. In this article, we examine fractal properties of the set of these paths. Our main results concern exceptional endpoints admitting disjoint geodesics. First, we fix two distinct starting locations $x_1$ and $x_2$, and consider geodesics traveling $(x_1,0)\to (y,1)$ and $(x_2,0)\to (y,1)$. We prove that the set of $y\in\mathbb{R}$ for which these geodesics coalesce only at time $1$ has Hausdorff dimension one-half. Second, we consider endpoints $(x,0)$ and $(y,1)$ between which there exist two geodesics intersecting only at times $0$ and $1$. We prove that the set of such $(x,y)\in\mathbb{R}^2$ also has Hausdorff dimension one-half. The proofs require several inputs of independent interest, including (i) connections to the so-called difference weight profile studied in arXiv:1904.01717; and (ii) a tail estimate on the number of disjoint geodesics starting and ending in small intervals. The latter result extends the analogous estimate proved for the prelimiting model in arXiv:1709.04110.

math.PR↗

On Non-localization of Eigenvectors of High Girth Graphs

We prove improved bounds on how localized an eigenvector of a high girth regular graph can be, and present examples showing that these bounds are close to sharp. This study was initiated by Brooks and Lindenstrauss (2009) who relied on the observation that certain suitably normalized averaging operators on high girth graphs are hyper-contractive and can be used to approximate projectors onto the eigenspaces of such graphs. Informally, their delocalization result in the contrapositive states that for any $\varepsilon \in (0,1)$ and positive integer $k,$ if a $(d+1)-$regular graph has an eigenvector which supports $\varepsilon$ fraction of the $\ell_2^2$ mass on a subset of $k$ vertices, then the graph must have a cycle of size $\tilde{O}(\log_{d}(k)/\varepsilon^2)$, suppressing logarithmic terms in $1/\varepsilon$. In this paper, we improve the upper bound to $\tilde{O}(\log_{d}(k)/\varepsilon)$ and present a construction showing a lower bound of $Ω(\log_d(k)/\varepsilon)$. Our construction is probabilistic and involves gluing together a pair of trees while maintaining high girth as well as control on the eigenvectors and could be of independent interest.

math.CO↗

Sub-critical Exponential random graphs: concentration of measure and some applications

The exponential random graph model (ERGM) is a central object in the study of clustering properties in social networks as well as canonical ensembles in statistical physics. Despite some breakthrough works in the mathematical understanding of ERGM, most notably in (Bhamidi, Bresler, Sly, 2011) through the analysis of a natural Heat-bath Glauber dynamics, and in (Chatterjee, Diaconis, 2013), (Eldan, Gross, 2018) via a large deviation theoretic perspective, several basic questions have remained unanswered owing to the lack of exact solvability unlike the much studied Curie-Weiss model (Ising model on the complete graph). In this paper, we establish a series of new concentration of measure results for the ERGM throughout the entire sub-critical phase, including a Poincaré inequality, Gaussian concentration for Lipschitz functions, and a central limit theorem. In addition, a new proof of a quantitative bound on the $W_1-$Wasserstein distance to Erdős-Rényi graphs, previously obtained in (Reinert, Ross, 2017), is also presented. The arguments rely on translating temporal mixing properties of Glauber dynamics to static spatial mixing properties of the equilibrium measure and have the potential of being useful in proving similar functional inequalities for other Gibbsian systems beyond the perturbative regime.

math.PR↗