SearcharxivSearch

arXiv subjects

Promit Ghosal

Publications and source records attributed to Promit Ghosal.

At least 55 records · Page 3Linked to original sources

Fractal Geometry of the Valleys of the Parabolic Anderson Equation

We study the macroscopic fractal properties of the deep valleys of the solution of the $(1+1)$-dimensional parabolic Anderson equation $${\partial \over \partial t}u(t,x) =\frac{1}{2} {\partial^2 \over \partial x^2} u(t,x) + u(t,x)\dot{W}(t,x),t>0, x\in {\bf R},\quad u(0,x) \equiv u_0(x),x\in {\bf R}, $$ where $\dot{W}$ is the time-space white noise and $0<\inf_{x\in {\bf R}} u_0(x)\leq \sup_{x\in {\bf R}} u_0(x)<\infty.$ Unlike the macroscopic multifractality of the tall peaks, we show that valleys of the parabolic Anderson equation are macroscopically monofractal. In fact, the macroscopic Hausdorff dimension (introduced by Barlow and Taylor [J. Phys. A 22 (1989) 2621--2628; Proc. Lond. Math. Soc. (3) 64 (1992) 125--152]) of the valleys undergoes a phase transition at a point which does not depend on the initial data. The key tool of our proof is a lower bound to the lower tail probability of the parabolic Anderson equation. Such lower bound is obtained for the first time in this paper and will be derived by utilizing the connection between the parabolic Anderson equation and the Kardar-Parisi-Zhang equation. Our techniques of proving this lower bound can be extended to other models in the KPZ universality class including the KPZ fixed point.

math.PR

Rates of Estimation of Optimal Transport Maps using Plug-in Estimators via Barycentric Projections

Optimal transport maps between two probability distributions $μ$ and $ν$ on $\mathbb{R}^d$ have found extensive applications in both machine learning and statistics. In practice, these maps need to be estimated from data sampled according to $μ$ and $ν$. Plug-in estimators are perhaps most popular in estimating transport maps in the field of computational optimal transport. In this paper, we provide a comprehensive analysis of the rates of convergences for general plug-in estimators defined via barycentric projections. Our main contribution is a new stability estimate for barycentric projections which proceeds under minimal smoothness assumptions and can be used to analyze general plug-in estimators. We illustrate the usefulness of this stability estimate by first providing rates of convergence for the natural discrete-discrete and semi-discrete estimators of optimal transport maps. We then use the same stability estimate to show that, under additional smoothness assumptions of Besov type or Sobolev type, wavelet based or kernel smoothed plug-in estimators respectively speed up the rates of convergence and significantly mitigate the curse of dimensionality suffered by the natural discrete-discrete/semi-discrete estimators. As a by-product of our analysis, we also obtain faster rates of convergence for plug-in estimators of $W_2(μ,ν)$, the Wasserstein distance between $μ$ and $ν$, under the aforementioned smoothness assumptions, thereby complementing recent results in Chizat et al. (2020). Finally, we illustrate the applicability of our results in obtaining rates of convergence for Wasserstein barycenters between two probability distributions and obtaining asymptotic detection thresholds for some recent optimal-transport based tests of independence.

math.ST

Multivariate Ranks and Quantiles using Optimal Transport: Consistency, Rates, and Nonparametric Testing

In this paper we study multivariate ranks and quantiles, defined using the theory of optimal transport, and build on the work of Chernozhukov et al.(2017) and Hallin et al.(2021). We study the characterization, computation and properties of the multivariate rank and quantile functions and their empirical counterparts. We derive the uniform consistency of these empirical estimates to their population versions, under certain assumptions. In fact, we prove a Glivenko-Cantelli type theorem that shows the asymptotic stability of the empirical rank map in any direction. Under mild structural assumptions, we provide global and local rates of convergence of the empirical quantile and rank maps. We also provide a sub-Gaussian tail bound for the global L_2-loss of the empirical quantile function. Further, we propose tuning parameter-free multivariate nonparametric tests -- a two-sample test and a test for mutual independence -- based on our notion of multivariate quantiles/ranks. Asymptotic consistency of these tests are shown and the rates of convergence of the associated test statistics are derived, both under the null and alternative hypotheses.

math.ST

Stochastic PDE limit of the dynamic ASEP

We study a stochastic PDE limit of the height function of the dynamic asymmetric simple exclusion process (dynamic ASEP). A degeneration of the stochastic Interaction Round-a-Face (IRF) model of arXiv:1701.05239, dynamic ASEP has a jump parameter $q\in (0,1)$ and a dynamical parameter $α>0$. It degenerates to the standard ASEP height function when $α$ goes to $0$ or $\infty$. We consider very weakly asymmetric scaling, i.e., for $\varepsilon$ tending to zero we set $q=e^{-\varepsilon}$ and look at fluctuations, space and time in the scales $\varepsilon^{-1}$, $\varepsilon^{-2}$ and $\varepsilon^{-4}$. We show that under such scaling the height function of the dynamic ASEP converges to the solution of the space-time Ornstein-Uhlenbeck process. We also introduce the dynamic ASEP on a ring with generalized rate functions. Under the very weakly asymmetric scaling, we show that the dynamic ASEP (with generalized jump rates) on a ring also converges to the solution of the space-time Ornstein-Uhlenbeck process on $[0,1]$ with periodic boundary conditions.

math.PR

Law of Iterated Logarithms and Fractal Properties of the KPZ Equation

We consider the Cole-Hopf solution of the (1+1)-dimensional KPZ equation started from the narrow wedge initial condition. In this article, we ask how the peaks and valleys of the KPZ height function (centered by time/24) at any spatial point grow as time increases. Our first main result is about the law of iterated logarithms for the KPZ equation. As time variable $t$ goes to $\infty$, we show that the limsup of the KPZ height function with the scaling by $t^{1/3}(\log\log t)^{2/3}$ is almost surely equal to $(\frac{3}{4\sqrt{2}})^{2/3}$ whereas the liminf of the height function with the scaling by $t^{1/3}(\log\log t)^{1/3}$ is almost surely equal to $-6^{1/3}$. Our second main result concerns with the macroscopic fractal properties of the KPZ equation. Under exponential transformation of the time variable, we show that the peaks of KPZ height function mutate from being monofractal to multifractal, a property reminiscent of a similar phenomenon in Brownian motion [Khoshnevisan-Kim-Xiao 17, Theorem 1.4]. The proofs of our main results hinge on the following three key tools: (1) a multi-point composition law of the KPZ equation which can be regarded as a generalization of the two point composition law from [Corwin-Ghosal-Hammond 19, Proposition 2.9], (2) the Gibbsian line ensemble techniques from [Corwin-Hammond 14, Corwin-Hammond 16, Corwin-Ghosal-Hammond 19] and, (3) the tail probabilities of the KPZ height function in short time and its spatio-temporal modulus of continuity. We advocate this last tool as one of our new and important contributions which might garner independent interest.

math.PR

Measuring Association on Topological Spaces Using Kernels and Geometric Graphs

In this paper we propose and study a class of simple, nonparametric, yet interpretable measures of association between two random variables $X$ and $Y$ taking values in general topological spaces. These nonparametric measures -- defined using the theory of reproducing kernel Hilbert spaces -- capture the strength of dependence between $X$ and $Y$ and have the property that they are 0 if and only if the variables are independent and 1 if and only if one variable is a measurable function of the other. Further, these population measures can be consistently estimated using the general framework of graph functionals which include $k$-nearest neighbor graphs and minimum spanning trees. Moreover, a sub-class of these estimators are also shown to adapt to the intrinsic dimensionality of the underlying distribution. Some of these empirical measures can also be computed in near linear time. Under the hypothesis of independence between $X$ and $Y$, these empirical measures (properly normalized) have a standard normal limiting distribution. Thus, these measures can also be readily used to test the hypothesis of mutual independence between $X$ and $Y$. In fact, as far as we are aware, these are the only procedures that possess all the above mentioned desirable properties. Furthermore, when restricting to Euclidean spaces, we can make these sample measures of association finite-sample distribution-free, under the hypothesis of independence, by using multivariate ranks defined via the theory of optimal transport. The recent correlation coefficient proposed in Dette et al. (2013), Chatterjee (2019), and Azadkia and Chatterjee (2019) can be seen as a special case of this general class of measures.

math.ST

KPZ equation correlations in time

We consider the narrow wedge solution to the Kardar-Parisi-Zhang stochastic PDE under the characteristic $3:2:1$ scaling of time, space and fluctuations. We study the correlation of fluctuations at two different times. We show that when the times are close to each other, the correlation approaches one at a power-law rate with exponent $2/3$, while when the two times are remote from each other, the correlation tends to zero at a power-law rate with exponent $-1/3$. We also prove exponential-type tail bounds for differences of the solution at two space-time points. Three main tools are pivotal to proving these results: 1) a representation for the two-time distribution in terms of two independent narrow wedge solutions; 2) the Brownian Gibbs property of the KPZ line ensemble; and 3) recently proved one-point tail bounds on the narrow wedge solution.

math.PR

Spectral rigidity of random Schrödinger operators via Feynman-Kac formulas

We develop a technique for proving number rigidity (in the sense of Ghosh-Peres) of the spectrum of general random Schrödinger operators (RSOs). Our method makes use of Feynman-Kac formulas to estimate the variance of exponential linear statistics of the spectrum in terms of self-intersection local times. Inspired by recent results concerning Feynman-Kac formulas for RSOs with multiplicative white noise by Gorin, Shkolnikov and the first-named author, we use this method to prove number rigidity for a class of one-dimensional continuous RSOs of the form $-\frac12Δ+V+ξ$, where $V$ is a deterministic potential and $ξ$ is a stationary Gaussian noise. Our results require only very mild assumptions on the domain on which the operator is defined, the boundary conditions on that domain, the regularity of the potential $V$, and the singularity of the noise $ξ$.

math-ph

KPZ equation tails for general initial data

We consider the upper and lower tail probabilities for the centered (by time$/24$) and scaled (according to KPZ time$^{1/3}$ scaling) one-point distribution of the Cole-Hopf solution of the KPZ equation when started with initial data drawn from a very general class. For the lower tail, we prove an upper bound which demonstrates a crossover from super-exponential decay with exponent $3$ in the shallow tail to an exponent $5/2$ in the deep tail. For the upper tail, we prove super-exponential decay bounds with exponent $3/2$ at all depth in the tail.

math.PR

Correlation Functions of the Pfaffian Schur Process Using Macdonald Difference Operators

We study the correlation functions of the Pfaffian Schur process. Borodin and Rains [J. Stat. Phys. 121 (2005), 291-317] introduced the Pfaffian Schur process and derived its correlation functions using a Pfaffian analogue of the Eynard-Mehta theorem. We present here an alternative derivation of the correlation functions using Macdonald difference operators.

math.PR

Limiting speed of a second class particle in ASEP

We study the asymptotic speed of a second class particle in the two-species asymmetric simple exclusion process (ASEP) on $\mathbb{Z}$ with each particle belonging either to the first class or the second class. For any fixed non-negative integer $L$, we consider the two-species ASEP started from the initial data with all the sites of $\mathbb{Z}_{<-L}$ occupied by first class particles, all the sites of $\mathbb{Z}_{[-L,0]}$ occupied by second class particles, and the rest of the sites of $\mathbb{Z}$ unoccupied. With these initial conditions, we show that the speed of the leftmost second class particle converges weakly to a distribution supported on a symmetric compact interval $Γ\subset \mathbb{R}$. Furthermore, the limiting distribution is shown to have the same law as the minimum of $L+1$ independent random samples drawn uniformly from the interval $Γ$.

math.PR

Stochastic PDE Limit of the Six Vertex Model

We study the stochastic six vertex model and prove that under weak asymmetry scaling (i.e., when the parameter $Δ\to 1^+$ so as to zoom into the ferroelectric/disordered phase critical point) its height function fluctuations converge to the solution to the KPZ equation. We also prove that the one-dimensional family of stochastic Gibbs states for the symmetric six vertex model converge under the same scaling to the stationary solution to the stochastic Burgers equation. Our proofs rely upon the Markov (self) duality of our model. The starting point is an exact microscopic Hopf-Cole transform for the stochastic six vertex model which follows from the model's known one-particle Markov self-duality. Given this transform, the crucial step is to establish self-averaging for specific quadratic function of the transformed height function. We use the model's two-particle self-duality to produce explicit expressions (as Bethe ansatz contour integrals) for conditional expectations from which we extract time-decorrelation and hence self-averaging in time. The crux of our Markov duality method is that the entire convergence result reduces to precise estimates on the one-particle and two-particle transition probabilities. Previous to our work, Markov dualities had only been used to prove convergence of particle systems to linear Gaussian SPDEs (e.g. the stochastic heat equation with additive noise).

math.PR

Moments of the SHE under delta initial measure

We give a rigorous proof of the contour integral formulas of the moments of the stochastic heat equation (SHE) started from the delta initial measure at the origin. These formulas were conjectured in [BC14] (see also [CDR10, Dot10]). Our proof is based on a correspondence between the SHE and the Airy point process which was proved in [BG16, Theorem 1] using the formula of [ACQ11, Theorem 1.1].

math.PR

Coulomb-gas electrostatics controls large fluctuations of the KPZ equation

We establish a large deviation principle for the Kardar-Parisi-Zhang (KPZ) equation, providing precise control over the left tail of the height distribution for narrow wedge initial condition. Our analysis exploits an exact connection between the KPZ one-point distribution and the Airy point process -- an infinite particle Coulomb-gas which arises at the spectral edge in random matrix theory. We develop the large deviation principle for the Airy point process and use it to compute, in a straight-forward and assumption-free manner, the KPZ large deviation rate function in terms of an electrostatic problem (whose solution we evaluate). This method also applies to the half-space KPZ equation, showing that its rate function is half of the full-space rate function. In addition to these long-time estimates, we provide rigorous proof of finite-time tail bounds on the KPZ distribution which demonstrate a crossover between exponential decay with exponent $3$ (in the shallow left tail) to exponent $5/2$ (in the deep left tail). The full-space KPZ rate function agrees with the one computed in Sasorov et al. [J. Stat. Mech, 063203 (2017)] via a WKB approximation analysis of a non-local, non-linear integro-differential equation generalizing Painlevé II which Amir et al. [Comm. Pure Appl. Math. 64, 466 (2011)] related to the KPZ one-point distribution.

cond-mat.stat-mech

Limit law of a second class particle in TASEP with non-random initial condition

We consider the totally asymmetric simple exclusion process (TASEP) with non-random initial condition having density $ρ$ on $\mathbb{Z}_-$ and $λ$ on $\mathbb{Z}_+$, and a second class particle initially at the origin. For $ρ<λ$, there is a shock and the second class particle moves with speed $1-λ-ρ$. For large time $t$, we show that the position of the second class particle fluctuates on a $t^{1/3}$ scale and determine its limiting law. We also obtain the limiting distribution of the number of steps made by the second class particle until time $t$.

math.PR

Lower tail of the KPZ equation

We provide the first tight bounds on the lower tail probability of the one point distribution of the KPZ equation with narrow wedge initial data. Our bounds hold for all sufficiently large times $T$ and demonstrates a crossover between super-exponential decay with exponent $5/2$ (and leading pre-factor $\frac{4}{15π} T^{1/3}$) for tail depth greater than $T^{2/3}$, and exponent $3$ (with leading pre-factor $\frac{1}{12}$) for tail depth less than $T^{2/3}$.

math.PR

Joint estimation of parameters in Ising model

We study joint estimation of the inverse temperature and magnetization parameters $(β,B)$ of an Ising model with a non-negative coupling matrix $A_n$ of size $n\times n$, given one sample from the Ising model. We give a general bound on the rate of consistency of the bi-variate pseudolikelihood estimator. Using this, we show that estimation at rate $n^{-1/2}$ is always possible if $A_n$ is the adjacency matrix of a bounded degree graph. If $A_n$ is the scaled adjacency matrix of a graph whose average degree goes to $+\infty$, the situation is a bit more delicate. In this case estimation at rate $n^{-1/2}$ is still possible if the graph is not regular (in an asymptotic sense). Finally, we show that consistent estimation of both parameters is impossible if the graph is Erdös-Renyi with parameter $p>0$ free of $n$, thus confirming that estimation is harder on approximately regular graphs with large degree.

math.ST

Hall-Littlewood-PushTASEP and its KPZ limit

We study a new model of interactive particle systems which we call the randomly activated cascading exclusion process (RACEP). Particles wake up according to exponential clocks and then take a geometric number of steps. If another particle is encountered during these steps, the first particle goes to sleep at that location and the second is activated and proceeds accordingly. We consider a totally asymmetric version of this model which we refer as Hall-Littlewood-PushTASEP (HL-PushTASEP) on $\mathbb{Z}_{\geq 0}$ lattice where particles only move right and where initially particles are distributed according to Bernoulli product measure on $\mathbb{Z}_{\geq 0}$. We prove KPZ-class limit theorems for the height function fluctuations. Under a particular weak scaling, we also prove convergence to the solution of the KPZ equation.

math.PR