Searcharxiv⌕ Search

arXiv subjects

Riddhipratim Basu

Publications and source records attributed to Riddhipratim Basu.

At least 37 records · Page 2Linked to original sources

Small deviation estimates and small ball probabilities for geodesics in last passage percolation

For the exactly solvable model of exponential last passage percolation on $\mathbb{Z}^2$, consider the geodesic $Γ_n$ joining $(0,0)$ and $(n,n)$ for large $n$. It is well known that the transversal fluctuation of $Γ_n$ around the line $x=y$ is $n^{2/3+o(1)}$ with high probability. We obtain the exponent governing the decay of the small ball probability for $Γ_{n}$ and establish that for small $δ$, the probability that $Γ_{n}$ is contained in a strip of width $δn^{2/3}$ around the diagonal is $\exp (-Θ(δ^{-3/2}))$ uniformly in high $n$. We also obtain optimal small deviation estimates for the one point distribution of the geodesic showing that for $\frac{t}{2n}$ bounded away from $0$ and $1$, we have $\mathbb{P}(|x(t)-y(t)|\leq δn^{2/3})=Θ(δ)$ uniformly in high $n$, where $(x(t),y(t))$ is the unique point where $Γ_{n}$ intersects the line $x+y=t$. Our methods are expected to go through for other exactly solvable models of planar last passage percolation and, upon taking the $n\to \infty$ limit, provide analogous estimates for geodesics in the directed landscape.

math.PR↗

Interlacing and scaling exponents for the geodesic watermelon in last passage percolation

In discrete planar last passage percolation (LPP), random values are assigned independently to each vertex in $\mathbb Z^2$, and each finite upright path in $\mathbb Z^2$ is ascribed the weight given by the sum of values of its vertices. The weight of a collection of disjoint paths is the sum of its members' weights. The notion of a geodesic, a maximum weight path between two vertices, has a natural generalization concerning several disjoint paths: a $k$-geodesic watermelon in $[1,n]^2\cap\mathbb Z^2$ is a collection of $k$ disjoint paths contained in this square that has maximum weight among all such collections. While the weights of such collections are known to be important objects, the maximizing paths have been largely unexplored beyond the $k=1$ case. For exactly solvable models, such as exponential and geometric LPP, it is well known that for $k=1$ the exponents that govern fluctuation in weight and transversal distance are $1/3$ and $2/3$; that is, typically, the weight of the geodesic on the route $(1,1) \to (n,n)$ fluctuates around a dominant linear growth of the form $μn$ by the order of $n^{1/3}$; and the maximum Euclidean distance of the geodesic from the diagonal has order $n^{2/3}$. Assuming a strong but local form of convexity and one-point moderate deviation bounds for the geodesic weight profile---which are available in all known exactly solvable models---we establish that, typically, the $k$-geodesic watermelon's weight falls below $μnk$ by order $k^{5/3}n^{1/3}$, and its transversal fluctuation is of order $k^{1/3}n^{2/3}$. Our arguments crucially rely on, and develop, a remarkable deterministic interlacing property that the watermelons admit. Our methods also yield sharp rigidity estimates for naturally associated point processes, which improve on estimates obtained via tools from the theory of determinantal point processes available in the integrable setting.

math.PR↗

Upper tail large deviations of regular subgraph counts in Erdős-Rényi graphs in the full localized regime

For a $Δ$-regular connected graph ${\sf H}$ the problem of determining the upper tail large deviation for the number of copies of ${\sf H}$ in $\mathbb{G}(n,p)$, an Erdős-Rényi graph on $n$ vertices with edge probability $p$, has generated significant interests. For $p\ll 1$ and $np^{Δ/2} \gg (\log n)^{1/(v_{\sf H}-2)}$, where $v_{\sf H}$ is the number of vertices in ${\sf H}$, the upper tail large deviation event is believed to occur due to the presence of localized structures. In this regime the large deviation event that the number of copies of ${\sf H}$ in $\mathbb{G}(n,p)$ exceeds its expectation by a constant factor is predicted to hold at a speed $n^2 p^Δ \log (1/p)$ and the rate function is conjectured to be given by the solution of a mean-field variational problem. After a series of developments in recent years, covering progressively broader ranges of $p$, the upper tail large deviations for cliques of fixed size was proved by Harel, Mousset, and Samotij \cite{hms} in the entire localized regime. This paper establishes the conjecture for all connected regular graphs in the whole localized regime.

math.PR↗

Lower Deviations in $β$-ensembles and Law of Iterated Logarithm in Last Passage Percolation

For the last passage percolation (LPP) on $\mathbb{Z}^2$ with exponential passage times, let $T_{n}$ denote the passage time from $(1,1)$ to $(n,n)$. We investigate the law of iterated logarithm of the sequence $\{T_{n}\}_{n\geq 1}$; we show that $\liminf_{n\to \infty} \frac{T_{n}-4n}{n^{1/3}(\log \log n)^{1/3}}$ almost surely converges to a deterministic negative constant and obtain some estimates on the same. This settles a conjecture of Ledoux (J. Theor. Probab., 2018) where a related lower bound and similar results for the corresponding upper tail were proved. Our proof relies on a slight shift in perspective from point-to-point passage times to considering point-to-line passage times instead, and exploiting the correspondence of the latter to the largest eigenvalue of the Laguerre Orthogonal Ensemble (LOE). A key technical ingredient, which is of independent interest, is a new lower bound of lower tail deviation probability of the largest eigenvalue of $β$-Laguerre ensembles, which extends the results proved in the context of the $β$-Hermite ensembles by Ledoux and Rider (Electron. J. Probab., 2010).

math.PR↗

Fractal geometry of Airy_2 processes coupled via the Airy sheet

In last passage percolation models lying in the Kardar-Parisi-Zhang universality class, maximizing paths that travel over distances of order $n$ accrue energy that fluctuates on scale $n^{1/3}$; and these paths deviate from the linear interpolation of their endpoints on scale $n^{2/3}$. These maximizing paths and their energies may be viewed via a coordinate system that respects these scalings. What emerges by doing so is a system indexed by $x,y \in \mathbb{R}$ and $s,t \in \mathbb{R}$ with $s < t$ of unit order quantities $W_n\big( x,s ; y,t \big)$ specifying the scaled energy of the maximizing path that moves in scaled coordinates between $(x,s)$ and $(y,t)$. The space-time Airy sheet is, after a parabolic adjustment, the putative distributional limit $W_\infty$ of this system as $n \to \infty$. The Airy sheet has recently been constructed in [15] as such a limit of Brownian last passage percolation. In this article, we initiate the study of fractal geometry in the Airy sheet. We prove that the scaled energy difference profile given by $\mathbb{R} \to \mathbb{R}: z \to W_\infty \big( 1,0 ; z,1 \big) - W_\infty \big( -1,0 ; z,1 \big)$ is a non-decreasing process that is constant in a random neighbourhood of almost every $z \in \mathbb{R}$; and that the exceptional set of $z \in \mathbb{R}$ that violate this condition almost surely has Hausdorff dimension one-half. Points of violation correspond to special behaviour for scaled maximizing paths, and we prove the result by investigating this behaviour, making use of two inputs from recent studies of scaled Brownian LPP; namely, Brownian regularity of profiles, and estimates on the rarity of pairs of disjoint scaled maximizing paths that begin and end close to each other.

math.PR↗

Connecting Eigenvalue Rigidity with Polymer Geometry: Diffusive Transversal Fluctuations under Large Deviation

We consider the exactly solvable model of exponential directed last passage percolation on $\mathbb{Z}^2$ in the large deviation regime. Conditional on the upper tail large deviation event $\mathcal{U}_δ:=\{T_{n}\geq (4+δ)n\}$ where $T_{n}$ denotes the last passage time from $(1,1)$ to $(n,n)$, we study the geometry of the polymer/geodesic $Γ_{n}$, i.e., the optimal path attaining $T_{n}$. We show that conditioning on $\mathcal{U}_δ$ changes the transversal fluctuation exponent from the characteristic $2/3$ of the KPZ universality class to $1/2$, i.e., conditionally, the smallest strip around the diagonal that contains $Γ_{n}$ has width $n^{1/2+o(1)}$ with high probability. This sharpens a result of Deuschel and Zeitouni (1999) who proved a $o(n)$ bound on the transversal fluctuation in the context of Poissonian last passage percolation, and complements (Basu, Ganguly, Sly, 2017), where the transversal fluctuation was shown to be $Θ(n)$ in the lower tail large deviation event. Our proof exploits the correspondence between last passage times in the exponential LPP model and the largest eigenvalue of the Laguerre Unitary Ensemble (LUE) together with the determinantal structure of the spectrum of the latter. A key ingredient in our proof is a sharp refinement of the large deviation result for the largest eigenvalue (Seppäläinen '98, Johansson '99), using rigidity properties of the spectrum, which could be of independent interest.

math.PR↗

Coalescence of Geodesics in Exactly Solvable Models of Last Passage Percolation

Coalescence of semi-infinite geodesics remains a central question in planar first passage percolation. In this paper we study finer properties of the coalescence structure of finite and semi-infinite geodesics for exactly solvable models of last passage percolation. Consider directed last passage percolation on $\mathbb{Z}^2$ with i.i.d. exponential weights on the vertices. Fix two points $v_1=(0,0)$ and $v_2=(0, \lfloor k^{2/3} \rfloor)$ for some $k>0$, and consider the maximal paths $Γ_1$ and $Γ_2$ starting at $v_1$ and $v_2$ respectively to the point $(n,n)$ for $n\gg k$. Our object of study is the point of coalescence, i.e., the point $v\in Γ_1\cap Γ_2$ with smallest $|v|_1$. We establish that the distance to coalescence $|v|_1$ scales as $k$, by showing the upper tail bound $\mathbb{P}(|v|_1> Rk) \leq R^{-c}$ for some $c>0$. We also consider the problem of coalescence for semi-infinite geodesics. For the almost surely unique semi-infinite geodesics in the direction $(1,1)$ starting from $v_3=(-\lfloor k^{2/3} \rfloor , \lfloor k^{2/3}\rfloor)$ and $v_4=(\lfloor k^{2/3} \rfloor ,- \lfloor k^{2/3}\rfloor)$, we establish the optimal tail estimate $\mathbb{P}(|v|_1> Rk) \asymp R^{-2/3}$, for the point of coalescence $v$. This answers a question left open by Pimentel (Ann. Probab., 2016) who proved the corresponding lower bound.

math.PR↗

Time Correlation Exponents in Last Passage Percolation

For directed last passage percolation on $\mathbb{Z}^2$ with exponential passage times on the vertices, let $T_{n}$ denote the last passage time from $(0,0)$ to $(n,n)$. We consider asymptotic two point correlation functions of the sequence $T_{n}$. In particular we consider ${\rm Corr}(T_{n}, T_{r})$ for $r\le n$ where $r,n\to \infty$ with $r\ll n$ or $n-r \ll n$. We show that in the former case ${\rm Corr}(T_{n}, T_{r})=Θ((\frac{r}{n})^{1/3})$ whereas in the latter case $1-{\rm Corr}(T_{n}, T_{r})=Θ((\frac{n-r}{n})^{2/3})$. The argument revolves around finer understanding of polymer geometry and is expected to go through for a larger class of integrable models of last passage percolation. As by-products of the proof, we also get a couple of other results of independent interest: Quantitative estimates for locally Brownian nature of pre-limits of Airy$_2$ process coming from exponential LPP, and precise variance estimates for lengths of polymers constrained to be inside thin rectangles at the transversal fluctuation scale.

math.PR↗

Activated Random Walk on a cycle

We consider Activated Random Walk (ARW), a particle system with mass conservation, on the cycle $\mathbb{Z}/n\mathbb{Z}$. One starts with a mass density $μ>0$ of initially active particles, each of which performs a simple symmetric random walk at rate one and falls asleep at rate $λ>0.$ Sleepy particles become active on coming in contact with other active particles. There have been several recent results concerning fixation/non-fixation of the ARW dynamics on infinite systems depending on the parameters $μ$ and $λ$. On the finite graph $\mathbb{Z}/n\mathbb{Z}$, unless there are more than $n$ particles, the process fixates (reaches an absorbing state) almost surely in finite time. We show that the number of steps the process takes to fixate is linear in $n$ (up to poly-logarithmic terms), when the density is sufficiently low compared to the sleep rate, and exponential in $n$ when the sleep rate is sufficiently small compared to the density, reflecting the fixation/non-fixation phase transition in the corresponding infinite system as established by Rolla, Sidoravicius (2012).

math.PR↗

Non-fixation for conservative stochastic dynamics on the line

We consider Activated Random Walk (ARW), a model which generalizes the Stochastic Sandpile, one of the canonical examples of self organized criticality. Informally ARW is a particle system on $\mathbb{Z}$ with mass conservation. One starts with a mass density $μ>0$ of initially active particles, each of which performs a symmetric random walk at rate one and falls asleep at rate $λ>0$. Sleepy particles become active on coming in contact with other active particles. We investigate the question of fixation/non-fixation of the process, and show for small enough $λ$, the critical mass density for fixation is strictly less than one. Moreover, the critical density goes to zero as $λ$ tends to zero. This settles a long standing open question.

math.PR↗

Upper Tail Large Deviations in First Passage Percolation

For first passage percolation on $\mathbb{Z}^2$ with i.i.d. bounded edge weights, we consider the upper tail large deviation event; i.e., the rare situation where the first passage time between two points at distance $n$, is macroscopically larger than typical. It was shown by Kesten (1986) that the probability of this event decays as $\exp (-Θ(n^2))$. However the question of existence of the rate function i.e., whether the log-probability normalized by $n^2$ tends to a limit, had remained open. We show that under some additional mild regularity assumption on the passage time distribution, the rate function for upper tail large deviation indeed exists. Our proof can be generalized to work in higher dimensions and for the corresponding problem in last passage percolation as well. The key intuition behind the proof is that a limiting metric structure which is atypical causes the upper tail large deviation event. The formal argument then relies on an approximate version of the above which allows us to dilate the large deviation environment to compare the upper tail probabilities for various values of $n.$

math.PR↗

Delocalization of Polymers in Lower Tail Large Deviation

Directed last passage percolation models on the plane, where one studies the weight as well as the geometry of optimizing paths (called polymers) in a field of i.i.d. weights, are paradigm examples of models in the KPZ universality class. In this article, we consider the large deviation regime, i.e., when the polymer has a much smaller (lower tail) or larger (upper tail) weight than typical. Precise asymptotics of large deviation probabilities have been obtained in a handful of the so-called exactly solvable scenarios, including the Exponential (Johansson, '00) and Poissonian (Seppäläinen, '98 and Deuschel, Zeitouni, '99) cases. How the geometry of the optimizing paths change under such a large deviation event was considered in (Deuschel, Zeitouni, '99), where it was shown that the paths (from $(0,0)$ to $(n,n)$, say) remain concentrated around the straight line joining the end points in the upper tail large deviation regime, but the corresponding question in the lower tail was left open. We establish a contrasting behavior in the lower tail large deviation regime, showing that conditioned on the latter, in both the models, the optimizing paths are not concentrated around any deterministic curve. Our argument does not use any ingredient from integrable probability, and hence can be extended to other planar last passage percolation models under fairly mild conditions; and also to other non-integrable settings such as high dimensions.

math.PR↗

Exponential concentration for zeroes of stationary Gaussian processes

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.

math.PR↗

$SO(N)$ Lattice Gauge Theory, planar and beyond

Lattice Gauge theories have been studied in the physics literature as discrete approximations to quantum Yang-Mills theory for a long time. Primary statistics of interest in these models are expectations of the so called "Wilson loop variables". In this article we continue the program initiated by Chatterjee (2015) to understand Wilson loop expectations in Lattice Gauge theories in a certain limit through gauge-string duality. The objective in this paper is to better understand the underlying combinatorics in the strong coupling regime, by giving a more geometric picture of string trajectories involving correspondence to objects such as decorated trees and non-crossing partitions. Using connections with Free Probability theory, we provide an elaborate description of loop expectations in the planar setting, which provides certain insights about structures of higher dimensional trajectories as well. Exploiting this, we construct an example showing that in any dimension, the Wilson loop area law lower bound does not hold in full generality.

math.PR↗

Invariant Measures for TASEP with a Slow Bond

Totally Asymmetric Simple Exclusion Process (TASEP) on $\mathbb{Z}$ is one of the classical exactly solvable models in the KPZ universality class. We study the "slow bond" model, where TASEP on $\mathbb{Z}$ is imputed with a slow bond at the origin. The slow bond increases the particle density immediately to its left and decreases the particle density immediately to its right. Whether or not this effect is detectable in the macroscopic current started from the step initial condition has attracted much interest over the years and this question was settled recently (Basu, Sidoravicius, Sly (2014)) by showing that the current is reduced even for arbitrarily small strength of the defect. Following non-rigorous physics arguments (Janowsky, Lebowitz (1992, 1994)) and some unpublished works by Bramson, a conjectural description of properties of invariant measures of TASEP with a slow bond at the origin was provided in Liggett's 1999 book. We establish Liggett's conjectures and in particular show that TASEP with a slow bond at the origin, started from step initial condition, converges in law to an invariant measure that is asymptotically close to product measures with different densities far away from the origin towards left and right. Our proof exploits the correspondence between TASEP and the last passage percolation on $\mathbb{Z}^2$ with exponential weights and uses the understanding of geometry of maximal paths in those models.

math.PR↗

The Competition of Roughness and Curvature in Area-Constrained Polymer Models

The competition between local Brownian roughness and global parabolic curvature experienced in many random interface models reflects an important aspect of the KPZ universality class. It may be summarised by an exponent triple $(1/2,1/3,2/3)$ representing local interface fluctuation, local roughness (or inward deviation) and convex hull facet length. The three effects arise, for example, in droplets in planar Ising models (Alexander, '01, Hammond, '11,'12). In this article, we offer a new perspective on this phenomenon. We consider directed last passage percolation model in the plane, a paradigmatic example in the KPZ universality class, and constrain the maximizing path under the additional requirement of enclosing an atypically large area. The interface suffers a constraint of parabolic curvature as before, but now its local structure is the KPZ fixed point polymer's rather than Brownian. The local interface fluctuation exponent is thus two-thirds rather than one-half. We prove that the facet lengths of the constrained path's convex hull are governed by an exponent of $3/4$, and inward deviation by an exponent of $1/2$. That is, the exponent triple is now $(2/3,1/2,3/4)$ in place of $(1/2,1/3,2/3)$. This phenomenon appears to be shared among various isoperimetrically extremal circuits in local randomness. Indeed, we formulate a conjecture to this effect concerning such circuits in supercritical percolation, whose Wulff-like first-order behaviour was recently established (Biskup, Louidor, Procaccia and Rosenthal, '12).

math.PR↗

Lipschitz Embeddings of Random Fields

We consider the problem of embedding one i.i.d.\ collection of Bernoulli random variables indexed by $\mathbb{Z}^d$ into an independent copy in an injective $M$-Lipschitz manner. For the case $d=1$, it was shown by Basu and Sly (PTRF, 2014) to be possible almost surely for sufficiently large $M$. In this paper we provide a multi-scale argument extending this result to higher dimensions.

math.PR↗

Limit Theorems for Longest Monotone Subsequences in Random Mallows Permutations

We study the lengths of monotone subsequences for permutations drawn from the Mallows measure. The Mallows measure was introduced by Mallows in connection with ranking problems in statistics. Under this measure, the probability of a permutation $π$ is proportional to $q^{{\rm inv}(π)}$ where $q$ is a positive parameter and ${\rm inv}(π)$ is the number of inversions in $π$. In our main result we show that when $0<q<1$, the limiting distribution of the longest increasing subsequence (LIS) is Gaussian, answering an open question in [Bhatnagar and Peled, PTRF, 2015]. This is in contrast to the case when $q=1$ where the limiting distribution of the LIS when scaled appropriately is the GUE Tracy-Widom distribution. We also obtain a law of large numbers for the length of the longest decreasing subsequence (LDS) and identify the precise constant in the order of the expectation, answering a further open question in [Bhatnagar and Peled, PTRF, 2015].

math.PR↗