-
Proof of Zamolodchikov conjecture for semi-classical conformal blocks on torus
Authors:
Harini Desiraju,
Promit Ghosal,
Andrei Prokhorov
Abstract:
In 1986, Zamolodchikov conjectured an exponential structure for the semi-classical limit of conformal blocks on a sphere. This paper provides a rigorous proof of the analog of Zamolodchikov conjecture for Liouville conformal blocks on a one-punctured torus, using their probabilistic construction and show the existence of a positive radius of convergence of the semi-classical limit. As a consequenc…
▽ More
In 1986, Zamolodchikov conjectured an exponential structure for the semi-classical limit of conformal blocks on a sphere. This paper provides a rigorous proof of the analog of Zamolodchikov conjecture for Liouville conformal blocks on a one-punctured torus, using their probabilistic construction and show the existence of a positive radius of convergence of the semi-classical limit. As a consequence, we obtain a closed form expression for the solution of the Lamé equation, and show a relation between its accessory parameter and the classical action of the non-autonomous elliptic Calogero-Moser model evaluated at specific values of the solution.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Asymptotic Birkhoff-Violation in Operational Theories: Thermodynamic Implications and Information Processing
Authors:
Ananya Chakraborty,
Sahil Gopalkrishna Naik,
Samrat Sen,
Ram Krishna Patra,
Pratik Ghosal,
Mir Alimuddin,
Manik Banik
Abstract:
In accordance with the entropy principle of thermodynamics, under spontaneous evolutions, physical systems always evolve towards states with equal or greater randomness. But, where does this randomness originate? Renowned Birkhoff-von Neumann theorem, often referred to as Birkhoff theorem, identifies source of this randomness to be the stochastic application of reversible operations on the system…
▽ More
In accordance with the entropy principle of thermodynamics, under spontaneous evolutions, physical systems always evolve towards states with equal or greater randomness. But, where does this randomness originate? Renowned Birkhoff-von Neumann theorem, often referred to as Birkhoff theorem, identifies source of this randomness to be the stochastic application of reversible operations on the system under study, thereby ensuring its epistemic origin. Analogue of this theorem is known to fail in the quantum case. Here, we extend this investigation beyond quantum mechanics to a broader class of operational theories described within the framework of general probabilistic theories (GPTs). In this generalized framework, we establish Birkhoff-violation as the prevalent trait; in fact the asymptotic variant of the theorem gets violated. We then demonstrate that Birkhoff-violation in GPTs can lead to consequences that are atypical to quantum theory. For instance, we report manifestation of Birkhoff-violation in a communication task, which otherwise is not observed in quantum world. We also show that, unlike the quantum case, in other operational theories the state transformation criteria can be distinct under mixtures of reversible transformations and doubly stochastic evolutions, leading to different resource theories of purity. Despite these exotic implications, we analyze how to define a coherent notion of entropy in this generalized framework, while upholding alignment with von Neumann's thought experiment.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Hybrid Global Causal Discovery with Local Search
Authors:
Sujai Hiremath,
Jacqueline R. M. A. Maasch,
Mengxiao Gao,
Promit Ghosal,
Kyra Gan
Abstract:
Learning the unique directed acyclic graph corresponding to an unknown causal model is a challenging task. Methods based on functional causal models can identify a unique graph, but either suffer from the curse of dimensionality or impose strong parametric assumptions. To address these challenges, we propose a novel hybrid approach for global causal discovery in observational data that leverages l…
▽ More
Learning the unique directed acyclic graph corresponding to an unknown causal model is a challenging task. Methods based on functional causal models can identify a unique graph, but either suffer from the curse of dimensionality or impose strong parametric assumptions. To address these challenges, we propose a novel hybrid approach for global causal discovery in observational data that leverages local causal substructures. We first present a topological sorting algorithm that leverages ancestral relationships in linear structural equation models to establish a compact top-down hierarchical ordering, encoding more causal information than linear orderings produced by existing methods. We demonstrate that this approach generalizes to nonlinear settings with arbitrary noise. We then introduce a nonparametric constraint-based algorithm that prunes spurious edges by searching for local conditioning sets, achieving greater accuracy than current methods. We provide theoretical guarantees for correctness and worst-case polynomial time complexities, with empirical validation on synthetic data.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Distribution of quantum gravity induced entanglement in many-body systems
Authors:
Pratik Ghosal,
Arkaprabha Ghosal,
Somshubhro Bandyopadhyay
Abstract:
Recently, it was shown that two distant test masses, each prepared in a spatially superposed quantum state, become entangled through their mutual gravitational interaction. This entanglement, it was argued, is a signature of the quantum nature of gravity. We extend this treatment to a many-body system in a general setup and study the entanglement properties of the time-evolved state. We exactly co…
▽ More
Recently, it was shown that two distant test masses, each prepared in a spatially superposed quantum state, become entangled through their mutual gravitational interaction. This entanglement, it was argued, is a signature of the quantum nature of gravity. We extend this treatment to a many-body system in a general setup and study the entanglement properties of the time-evolved state. We exactly compute the time-dependent I-concurrence for every bipartition and obtain the necessary and sufficient condition for the creation of genuine many-body entanglement. We further show that this entanglement is of generalised GHZ type when certain conditions are met. We also evaluate the amount of multipartite entanglement in the system using a set of generalised Meyer-Wallach measures.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Linear programming using diagonal linear networks
Authors:
Haoyue Wang,
Promit Ghosal,
Rahul Mazumder
Abstract:
Linear programming has played a crucial role in sha** decision-making, resource allocation, and cost reduction in various domains. In this paper, we investigate the application of overparametrized neural networks and their implicit bias in solving linear programming problems. Specifically, our findings reveal that training diagonal linear networks with gradient descent, while optimizing the squa…
▽ More
Linear programming has played a crucial role in sha** decision-making, resource allocation, and cost reduction in various domains. In this paper, we investigate the application of overparametrized neural networks and their implicit bias in solving linear programming problems. Specifically, our findings reveal that training diagonal linear networks with gradient descent, while optimizing the squared $L_2$-norm of the slack variable, leads to solutions for entropically regularized linear programming problems. Remarkably, the strength of this regularization depends on the initialization used in the gradient descent process. We analyze the convergence of both discrete-time and continuous-time dynamics and demonstrate that both exhibit a linear rate of convergence, requiring only mild assumptions on the constraint matrix. For the first time, we introduce a comprehensive framework for solving linear programming problems using diagonal neural networks. We underscore the significance of our discoveries by applying them to address challenges in basis pursuit and optimal transport problems.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
From Stability to Chaos: Analyzing Gradient Descent Dynamics in Quadratic Regression
Authors:
Xuxing Chen,
Krishnakumar Balasubramanian,
Promit Ghosal,
Bhavya Agrawalla
Abstract:
We conduct a comprehensive investigation into the dynamics of gradient descent using large-order constant step-sizes in the context of quadratic regression models. Within this framework, we reveal that the dynamics can be encapsulated by a specific cubic map, naturally parameterized by the step-size. Through a fine-grained bifurcation analysis concerning the step-size parameter, we delineate five…
▽ More
We conduct a comprehensive investigation into the dynamics of gradient descent using large-order constant step-sizes in the context of quadratic regression models. Within this framework, we reveal that the dynamics can be encapsulated by a specific cubic map, naturally parameterized by the step-size. Through a fine-grained bifurcation analysis concerning the step-size parameter, we delineate five distinct training phases: (1) monotonic, (2) catapult, (3) periodic, (4) chaotic, and (5) divergent, precisely demarcating the boundaries of each phase. As illustrations, we provide examples involving phase retrieval and two-layer neural networks employing quadratic activation functions and constant outer-layers, utilizing orthogonal training data. Our simulations indicate that these five phases also manifest with generic non-orthogonal data. We also empirically investigate the generalization performance when training in the various non-monotonic (and non-divergent) phases. In particular, we observe that performing an ergodic trajectory averaging stabilizes the test error in non-monotonic (and non-divergent) phases.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
Recall-driven Precision Refinement: Unveiling Accurate Fall Detection using LSTM
Authors:
Rishabh Mondal,
Prasun Ghosal
Abstract:
This paper presents an innovative approach to address the pressing concern of fall incidents among the elderly by develo** an accurate fall detection system. Our proposed system combines state-of-the-art technologies, including accelerometer and gyroscope sensors, with deep learning models, specifically Long Short-Term Memory (LSTM) networks. Real-time execution capabilities are achieved through…
▽ More
This paper presents an innovative approach to address the pressing concern of fall incidents among the elderly by develo** an accurate fall detection system. Our proposed system combines state-of-the-art technologies, including accelerometer and gyroscope sensors, with deep learning models, specifically Long Short-Term Memory (LSTM) networks. Real-time execution capabilities are achieved through the integration of Raspberry Pi hardware. We introduce pruning techniques that strategically fine-tune the LSTM model's architecture and parameters to optimize the system's performance. We prioritize recall over precision, aiming to accurately identify falls and minimize false negatives for timely intervention. Extensive experimentation and meticulous evaluation demonstrate remarkable performance metrics, emphasizing a high recall rate while maintaining a specificity of 96\%. Our research culminates in a state-of-the-art fall detection system that promptly sends notifications, ensuring vulnerable individuals receive timely assistance and improve their overall well-being. Applying LSTM models and incorporating pruning techniques represent a significant advancement in fall detection technology, offering an effective and reliable fall prevention and intervention solution.
△ Less
Submitted 9 September, 2023;
originally announced September 2023.
-
Towards Understanding the Dynamics of Gaussian-Stein Variational Gradient Descent
Authors:
Tianle Liu,
Promit Ghosal,
Krishnakumar Balasubramanian,
Natesh S. Pillai
Abstract:
Stein Variational Gradient Descent (SVGD) is a nonparametric particle-based deterministic sampling algorithm. Despite its wide usage, understanding the theoretical properties of SVGD has remained a challenging problem. For sampling from a Gaussian target, the SVGD dynamics with a bilinear kernel will remain Gaussian as long as the initializer is Gaussian. Inspired by this fact, we undertake a deta…
▽ More
Stein Variational Gradient Descent (SVGD) is a nonparametric particle-based deterministic sampling algorithm. Despite its wide usage, understanding the theoretical properties of SVGD has remained a challenging problem. For sampling from a Gaussian target, the SVGD dynamics with a bilinear kernel will remain Gaussian as long as the initializer is Gaussian. Inspired by this fact, we undertake a detailed theoretical study of the Gaussian-SVGD, i.e., SVGD projected to the family of Gaussian distributions via the bilinear kernel, or equivalently Gaussian variational inference (GVI) with SVGD. We present a complete picture by considering both the mean-field PDE and discrete particle systems. When the target is strongly log-concave, the mean-field Gaussian-SVGD dynamics is proven to converge linearly to the Gaussian distribution closest to the target in KL divergence. In the finite-particle setting, there is both uniform in time convergence to the mean-field limit and linear convergence in time to the equilibrium if the target is Gaussian. In the general case, we propose a density-based and a particle-based implementation of the Gaussian-SVGD, and show that several recent algorithms for GVI, proposed from different perspectives, emerge as special cases of our unified framework. Interestingly, one of the new particle-based instance from this framework empirically outperforms existing approaches. Our results make concrete contributions towards obtaining a deeper understanding of both SVGD and GVI.
△ Less
Submitted 27 October, 2023; v1 submitted 23 May, 2023;
originally announced May 2023.
-
High-dimensional scaling limits and fluctuations of online least-squares SGD with smooth covariance
Authors:
Krishnakumar Balasubramanian,
Promit Ghosal,
Ye He
Abstract:
We derive high-dimensional scaling limits and fluctuations for the online least-squares Stochastic Gradient Descent (SGD) algorithm by taking the properties of the data generating model explicitly into consideration. Our approach treats the SGD iterates as an interacting particle system, where the expected interaction is characterized by the covariance structure of the input. Assuming smoothness c…
▽ More
We derive high-dimensional scaling limits and fluctuations for the online least-squares Stochastic Gradient Descent (SGD) algorithm by taking the properties of the data generating model explicitly into consideration. Our approach treats the SGD iterates as an interacting particle system, where the expected interaction is characterized by the covariance structure of the input. Assuming smoothness conditions on moments of order up to eight orders, and without explicitly assuming Gaussianity, we establish the high-dimensional scaling limits and fluctuations in the form of infinite-dimensional Ordinary Differential Equations (ODEs) or Stochastic Differential Equations (SDEs). Our results reveal a precise three-step phase transition of the iterates; it goes from being ballistic, to diffusive, and finally to purely random behavior, as the noise variance goes from low, to moderate and finally to very-high noise setting. In the low-noise setting, we further characterize the precise fluctuations of the (scaled) iterates as infinite-dimensional SDEs. We also show the existence and uniqueness of solutions to the derived limiting ODEs and SDEs. Our results have several applications, including characterization of the limiting mean-square estimation or prediction errors and their fluctuations, which can be obtained by analytically or numerically solving the limiting equations.
△ Less
Submitted 3 April, 2024; v1 submitted 2 April, 2023;
originally announced April 2023.
-
Fractal geometry of the PAM in 2D and 3D with white noise potential
Authors:
Promit Ghosal,
Jaeyun Yi
Abstract:
We study the parabolic Anderson model (PAM) \begin{equation}
{\partial \over \partial t}u(t,x) =\frac{1}{2}Δu(t,x) + u(t,x)ξ(x), \quad t>0, x\in \mathbb{R}^d, \quad \text{and} \quad
u(0,x) \equiv 1, \quad \forall x\in \mathbb{R}^d,
\end{equation} where $ξ$ is spatial white noise on $\mathbb{R}^d$ with $d \in\{2,3\}$. We show that the peaks of the PAM are macroscopically multifractal. More pr…
▽ More
We study the parabolic Anderson model (PAM) \begin{equation}
{\partial \over \partial t}u(t,x) =\frac{1}{2}Δu(t,x) + u(t,x)ξ(x), \quad t>0, x\in \mathbb{R}^d, \quad \text{and} \quad
u(0,x) \equiv 1, \quad \forall x\in \mathbb{R}^d,
\end{equation} where $ξ$ is spatial white noise on $\mathbb{R}^d$ with $d \in\{2,3\}$. We show that the peaks of the PAM are macroscopically multifractal. More precisely, we prove that the spatial peaks of the PAM have infinitely many distinct values and we compute the macroscopic Hausdorff dimension (introduced by Barlow and Taylor) of those peaks. As a byproduct, we obtain the exact spatial asymptotics of the solution of the PAM. We also study the spatio-temporal peaks of the PAM and show their macroscopic multifractality. Some of the major tools used in our proof techniques include paracontrolled calculus and tail probabilities of the largest point in the spectrum of the Anderson Hamiltonian.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Fair Healthcare Rationing to Maximize Dynamic Utilities
Authors:
Aadityan Ganesh,
Prajakta Nimbhorkar,
Pratik Ghosal,
Vishwa Prakash HV
Abstract:
Allocation of scarce healthcare resources under limited logistic and infrastructural facilities is a major issue in the modern society. We consider the problem of allocation of healthcare resources like vaccines to people or hospital beds to patients in an online manner. Our model takes into account the arrival of resources on a day-to-day basis, different categories of agents, the possible unavai…
▽ More
Allocation of scarce healthcare resources under limited logistic and infrastructural facilities is a major issue in the modern society. We consider the problem of allocation of healthcare resources like vaccines to people or hospital beds to patients in an online manner. Our model takes into account the arrival of resources on a day-to-day basis, different categories of agents, the possible unavailability of agents on certain days, and the utility associated with each allotment as well as its variation over time.
We propose a model where priorities for various categories are modelled in terms of utilities of agents. We give online and offline algorithms to compute an allocation that respects eligibility of agents into different categories, and incentivizes agents not to hide their eligibility for some category. The offline algorithm gives an optimal allocation while the on-line algorithm gives an approximation to the optimal allocation in terms of total utility. Our algorithms are efficient, and maintain fairness among different categories of agents. Our models have applications in other areas like refugee settlement and visa allocation. We evaluate the performance of our algorithms on real-life and synthetic datasets. The experimental results show that the online algorithm is fast and performs better than the given theoretical bound in terms of total utility. Moreover, the experimental results confirm that our utility-based model correctly captures the priorities of categories
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Statistical Inference for Linear Functionals of Online SGD in High-dimensional Linear Regression
Authors:
Bhavya Agrawalla,
Krishnakumar Balasubramanian,
Promit Ghosal
Abstract:
Stochastic gradient descent (SGD) has emerged as the quintessential method in a data scientist's toolbox. Using SGD for high-stakes applications requires, however, careful quantification of the associated uncertainty. Towards that end, in this work, we establish a high-dimensional Central Limit Theorem (CLT) for linear functionals of online SGD iterates for overparametrized least-squares regressio…
▽ More
Stochastic gradient descent (SGD) has emerged as the quintessential method in a data scientist's toolbox. Using SGD for high-stakes applications requires, however, careful quantification of the associated uncertainty. Towards that end, in this work, we establish a high-dimensional Central Limit Theorem (CLT) for linear functionals of online SGD iterates for overparametrized least-squares regression with non-isotropic Gaussian inputs. Our result shows that a CLT holds even when the dimensionality is of order exponential in the number of iterations of the online SGD, which, to the best of our knowledge, is the first such result. In order to use the developed result in practice, we further develop an online approach for estimating the expectation and the variance terms appearing in the CLT, and establish high-probability bounds for the developed online estimator. Furthermore, we propose a two-step fully online bias-correction methodology which together with the CLT result and the variance estimation result, provides a fully online and data-driven way to numerically construct confidence intervals, thereby enabling practical high-dimensional algorithmic inference with SGD. We also extend our results to a class of single-index models, based on the Gaussian Stein's identity. We also provide numerical simulations to verify our theoretical findings in practice.
△ Less
Submitted 28 April, 2024; v1 submitted 19 February, 2023;
originally announced February 2023.
-
EFX Exists for Four Agents with Three Types of Valuations
Authors:
Pratik Ghosal,
Vishwa Prakash H. V.,
Prajakta Nimbhorkar,
Nithin Varma
Abstract:
In this paper, we address the problem of determining an envy-free allocation of indivisible goods among multiple agents. EFX, which stands for envy-free up to any good, is a well-studied problem that has been shown to exist for specific scenarios, such as when there are only three agents with MMS valuations, as demonstrated by Chaudhury et al(2020), and for any number of agents when there are only…
▽ More
In this paper, we address the problem of determining an envy-free allocation of indivisible goods among multiple agents. EFX, which stands for envy-free up to any good, is a well-studied problem that has been shown to exist for specific scenarios, such as when there are only three agents with MMS valuations, as demonstrated by Chaudhury et al(2020), and for any number of agents when there are only two types of valuations as shown by Mahara(2020). Our contribution is to extend these results by showing that EFX exists for four agents with three distinct valuations. We further generalize this to show the existance of EFX allocations for n agents when n-2 of them have identical valuations.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
On the Convergence Rate of Sinkhorn's Algorithm
Authors:
Promit Ghosal,
Marcel Nutz
Abstract:
We study Sinkhorn's algorithm for solving the entropically regularized optimal transport problem. Its iterate $π_{t}$ is shown to satisfy $H(π_{t}|π_{*})+H(π_{*}|π_{t})=O(t^{-1})$ where $H$ denotes relative entropy and $π_{*}$ the optimal coupling. This holds for a large class of cost functions and marginals, including quadratic cost with subgaussian marginals. We also obtain the rate $O(t^{-1})$…
▽ More
We study Sinkhorn's algorithm for solving the entropically regularized optimal transport problem. Its iterate $π_{t}$ is shown to satisfy $H(π_{t}|π_{*})+H(π_{*}|π_{t})=O(t^{-1})$ where $H$ denotes relative entropy and $π_{*}$ the optimal coupling. This holds for a large class of cost functions and marginals, including quadratic cost with subgaussian marginals. We also obtain the rate $O(t^{-1})$ for the dual suboptimality and $O(t^{-2})$ for the marginal entropies. More precisely, we derive non-asymptotic bounds, and in contrast to previous results on linear convergence that are limited to bounded costs, our estimates do not deteriorate exponentially with the regularization parameter. We also obtain a stability result for $π_{*}$ as a function of the marginals, quantified in relative entropy.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Quantum superposition of causal structures as a universal resource for local implementation of nonlocal quantum operations
Authors:
Pratik Ghosal,
Arkaprabha Ghosal,
Debarshi Das,
Ananda G. Maity
Abstract:
Spatial separation restricts the set of locally implementable quantum operations on distributed multipartite quantum systems. We propose that indefinite causal structure arising due to quantum superposition of different space-time geometries can be used as an independent universal resource for local implementation of any quantum operation on spatially distributed quantum systems. Consequently, all…
▽ More
Spatial separation restricts the set of locally implementable quantum operations on distributed multipartite quantum systems. We propose that indefinite causal structure arising due to quantum superposition of different space-time geometries can be used as an independent universal resource for local implementation of any quantum operation on spatially distributed quantum systems. Consequently, all such quantum tasks that are not accomplishable by local operations and classical communication (LOCC) only also become locally accomplishable. We show that exploiting indefinite causal structure as the sole resource, it is possible to perfectly teleport the state of one agent's subsystem to the other distant laboratory in such a way that the agent at the distant laboratory can have access to the whole initially shared state in his or her laboratory and can perform any global quantum operation on the joint state locally. We further find that, after the teleportation process, the resource -- indefinite causal structure of the space-time does not get consumed. Hence, after implementing the desired quantum operation the state of the first agent's subsystem can be teleported back to its previous laboratory using the same resource. We show that this two-way teleportation is not always necessary for locally executing all nonlocal quantum tasks that are not realisable by LOCC only. Without invoking any kind of teleportation, we present a protocol for perfect local discrimination of the set of four Bell states that exploits indefinite causal structure as the sole resource. As immediate upshots, we present some more examples of such nonlocal tasks as local discrimination of the set of states exhibiting ``quantum nonlocality without entanglement" and activation of bound entangled states that are also achievable by our proposed protocol incorporating indefinite causal structure as a resource.
△ Less
Submitted 20 February, 2023; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Locally unidentifiable subset of quantum states and its resourcefulness in secret password distribution
Authors:
Pratik Ghosal,
Arkaprabha Ghosal,
Subhendu B. Ghosh,
Amit Mukherjee
Abstract:
We introduce a hitherto unexplored form of quantum nonlocality, termed local subset unidentifiability, that arises from the limitation of spatially separated parties to perfectly identify a subset of mutually orthogonal multipartite quantum states, randomly chosen from a larger known set, using Local Operations and Classical Communication (LOCC). We show that this nonlocality is stronger than othe…
▽ More
We introduce a hitherto unexplored form of quantum nonlocality, termed local subset unidentifiability, that arises from the limitation of spatially separated parties to perfectly identify a subset of mutually orthogonal multipartite quantum states, randomly chosen from a larger known set, using Local Operations and Classical Communication (LOCC). We show that this nonlocality is stronger than other existing forms of quantum nonlocality, such as local indistinguishability and local unmarkability. If more than one multipartite states from a locally indistinguishable set are distributed between spatially separated parties in a sequentially ordered fashion, then they may or may not mark which state is which using LOCC. However, we show that even when the parties cannot mark the states, they may still locally identify the particular states given to them, though not their order -- i.e., they can identify the elements of the given subset of states. Then we prove the existence of such subsets that are not even locally identifiable, thereby manifesting a stronger nonlocality. We also present the genuine version of this nonlocality -- genuine subset unidentifiability -- where the provided subset remains unidentifiable unless all the parties come together in a common location and perform global measurements. We anticipate potential applications of this nonlocality for future quantum technologies. We discuss one such application in a certain secret password distribution protocol, where this nonlocality outperforms its predecessors as a resource.
△ Less
Submitted 30 January, 2024; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Long and short time laws of iterated logarithms for the KPZ fixed point
Authors:
Sayan Das,
Promit Ghosal,
Yier Lin
Abstract:
We consider the KPZ fixed point starting from a general class of initial data. In this article, we study the growth of the large peaks of the KPZ fixed point at a spatial point $0$ when time $t$ goes to $\infty$ and when $t$ approaches $1$. We prove that for a very broad class of initial data, as $t\to \infty$, the limsup of the KPZ fixed point height function when scaled by…
▽ More
We consider the KPZ fixed point starting from a general class of initial data. In this article, we study the growth of the large peaks of the KPZ fixed point at a spatial point $0$ when time $t$ goes to $\infty$ and when $t$ approaches $1$. We prove that for a very broad class of initial data, as $t\to \infty$, the limsup of the KPZ fixed point height function when scaled by $t^{1/3}(\log\log t)^{2/3}$ almost surely equals a constant. The value of the constant is $(3/4)^{2/3}$ or $(3/2)^{2/3}$ depending on the initial data being non-random or Brownian respectively. Furthermore, we show that the increments of the KPZ fixed point near $t=1$ admits a short time law of iterated logarithm. More precisely, as the time increments $Δt :=t-1$ goes down to $0$, for a large class of initial data including the Brownian data initial data, we show that limsup of the height increments the KPZ fixed point near time $1$ when scaled by $(Δt)^{1/3}(\log\log (Δt)^{-1})^{2/3}$ almost surely equals $(3/2)^{2/3}$.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
Moment Intermittency in the PAM with Asymptotically Singular Noise
Authors:
Pierre Yves Gaudreau Lamarre,
Promit Ghosal,
Yuchen Liao
Abstract:
Let $ξ$ be a singular Gaussian noise on $\mathbb R^d$ that is either white, fractional, or with the Riesz covariance kernel; in particular, there exists a scaling parameter $ω>0$ such that $c^{ω/2}ξ(c\cdot)$ is equal in distribution to $ξ$ for all $c>0$. Let $(ξ_\varepsilon)_{\varepsilon>0}$ be a sequence of smooth mollifications such that $ξ_\varepsilon\toξ$ as $\varepsilon\to0$. We study the asy…
▽ More
Let $ξ$ be a singular Gaussian noise on $\mathbb R^d$ that is either white, fractional, or with the Riesz covariance kernel; in particular, there exists a scaling parameter $ω>0$ such that $c^{ω/2}ξ(c\cdot)$ is equal in distribution to $ξ$ for all $c>0$. Let $(ξ_\varepsilon)_{\varepsilon>0}$ be a sequence of smooth mollifications such that $ξ_\varepsilon\toξ$ as $\varepsilon\to0$. We study the asymptotics of the moments of the parabolic Anderson model (PAM) with noise $ξ_\varepsilon$ as $\varepsilon\to0$, both for large (i.e., $t\to\infty$) and fixed times $t$. This approach makes it possible to study the moments of the PAM with regular and singular noises in a unified fashion, as well as interpolate between the two settings. As corollaries of our main results, we obtain the following:
$\textbf{(1)}$ When $ξ$ is subcritical (i.e., $0<ω<2$), our results extend the known large-time moment and tail asymptotics for the Stratonovich PAM with noise $ξ$. Our method of proof clarifies the role of the maximizers of the variational problems (known as Hartree ground states) that appear in these moment asymptotics in describing the geometry of intermittency. We take this opportunity to prove the existence and study the properties of the Hartree ground state with a fractional kernel, which we believe is of independent interest.
$\textbf{(2)}$ When $ξ$ is critical or supercritical (i.e., $ω=2$ or $ω>2$), our results provide a new interpretation of the moment blowup phenomenon observed in the Stratonovich PAM with noise $ξ$. That is, we uncover that the latter is related to an intermittency effect that occurs in the PAM with noise $ξ_\varepsilon$ as $\varepsilon\to0$ for $\textit{fixed finite times}$ $t>0$.
△ Less
Submitted 9 May, 2023; v1 submitted 27 June, 2022;
originally announced June 2022.
-
Probability distribution for black hole evaporation
Authors:
Pratik Ghosal,
Rajarshi Ray
Abstract:
Non-thermal correction to the emission probability of particles from black holes can be obtained if the backreaction or self-gravitational effects of the emitted particles on the black hole spacetime are taken into consideration. These non-thermally emitted particles conserve the entropy of the black hole, i.e, the entropy of the system of radiated particles after complete evaporation of the black…
▽ More
Non-thermal correction to the emission probability of particles from black holes can be obtained if the backreaction or self-gravitational effects of the emitted particles on the black hole spacetime are taken into consideration. These non-thermally emitted particles conserve the entropy of the black hole, i.e, the entropy of the system of radiated particles after complete evaporation of the black hole matches the initial entropy of the black hole. Using the non-thermal emission probability, we have determined the probability for a black hole of mass $M$ to be completely evaporated by a given number of particles $n$. This is done by first evaluating the number of possible ways in which the black hole can be evaporated by emitting $n$ number of particles, and then the total number of ways in which the black hole can be evaporated. The ratio of these two quantities gives us the desired probability. From the probability distribution, we get a displacement relation between the most probable number of particles exhausting the black hole and the temperature of the initial black hole. This relation resembles Wien's displacement law for blackbody radiation.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Randomly Initialized One-Layer Neural Networks Make Data Linearly Separable
Authors:
Promit Ghosal,
Srinath Mahankali,
Yihang Sun
Abstract:
Recently, neural networks have demonstrated remarkable capabilities in map** two arbitrary sets to two linearly separable sets. The prospect of achieving this with randomly initialized neural networks is particularly appealing due to the computational efficiency compared to fully trained networks. This paper contributes by establishing that, given sufficient width, a randomly initialized one-lay…
▽ More
Recently, neural networks have demonstrated remarkable capabilities in map** two arbitrary sets to two linearly separable sets. The prospect of achieving this with randomly initialized neural networks is particularly appealing due to the computational efficiency compared to fully trained networks. This paper contributes by establishing that, given sufficient width, a randomly initialized one-layer neural network can, with high probability, transform two sets into two linearly separable sets without any training. Moreover, we furnish precise bounds on the necessary width of the neural network for this phenomenon to occur. Our initial bound exhibits exponential dependence on the input dimension while maintaining polynomial dependence on all other parameters. In contrast, our second bound is independent of input dimension, effectively surmounting the curse of dimensionality. The main tools used in our proof heavily relies on a fusion of geometric principles and concentration of random matrices.
△ Less
Submitted 8 October, 2023; v1 submitted 23 May, 2022;
originally announced May 2022.
-
Degree-restricted strength decompositions and algebraic branching programs
Authors:
Fulvio Gesmundo,
Purnata Ghosal,
Christian Ikenmeyer,
Vladimir Lysikov
Abstract:
We analyze Kumar's recent quadratic algebraic branching program size lower bound proof method (CCC 2017) for the power sum polynomial. We present a refinement of this method that gives better bounds in some cases.
The lower bound relies on Noether-Lefschetz type conditions on the hypersurface defined by the homogeneous polynomial. In the explicit example that we provide, the lower bound is prove…
▽ More
We analyze Kumar's recent quadratic algebraic branching program size lower bound proof method (CCC 2017) for the power sum polynomial. We present a refinement of this method that gives better bounds in some cases.
The lower bound relies on Noether-Lefschetz type conditions on the hypersurface defined by the homogeneous polynomial. In the explicit example that we provide, the lower bound is proved resorting to classical intersection theory.
Furthermore, we use similar methods to improve the known lower bound methods for slice rank of polynomials. We consider a sequence of polynomials that have been studied before by Shioda and show that for these polynomials the improved lower bound matches the known upper bound.
△ Less
Submitted 25 August, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
The ASEP speed process
Authors:
Amol Aggarwal,
Ivan Corwin,
Promit Ghosal
Abstract:
For ASEP with step initial data and a second class particle started at the origin we prove that as time goes to infinity the second class particle almost surely achieves a velocity that is uniformly distributed on $[-1,1]$. This positively resolves Conjecture 1.9 and 1.10 of [Amir, Angel and Valko, "The TASEP speed process", Annals of Probability 39, 1205--1242, 2011] and allows us to construct th…
▽ More
For ASEP with step initial data and a second class particle started at the origin we prove that as time goes to infinity the second class particle almost surely achieves a velocity that is uniformly distributed on $[-1,1]$. This positively resolves Conjecture 1.9 and 1.10 of [Amir, Angel and Valko, "The TASEP speed process", Annals of Probability 39, 1205--1242, 2011] and allows us to construct the ASEP speed process.
△ Less
Submitted 11 April, 2022;
originally announced April 2022.
-
Universality for multiplicative statistics of Hermitian random matrices and the integro-differential Painlevé II equation
Authors:
Promit Ghosal,
Guilherme L. F. Silva
Abstract:
We study multiplicative statistics for the eigenvalues of unitarily-invariant Hermitian random matrix models. We consider one-cut regular polynomial potentials and a large class of multiplicative statistics. We show that in the large matrix limit several associated quantities converge to limits which are universal in both the potential and the family of multiplicative statistics considered. In tur…
▽ More
We study multiplicative statistics for the eigenvalues of unitarily-invariant Hermitian random matrix models. We consider one-cut regular polynomial potentials and a large class of multiplicative statistics. We show that in the large matrix limit several associated quantities converge to limits which are universal in both the potential and the family of multiplicative statistics considered. In turn, such universal limits are described by the integro-differential Painlevé II equation, and in particular they connect the random matrix models considered with the narrow wedge solution to the KPZ equation at any finite time.
△ Less
Submitted 30 January, 2022;
originally announced January 2022.
-
Rigidity of the Stochastic Airy Operator
Authors:
Pierre Yves Gaudreau Lamarre,
Promit Ghosal,
Wenxuan Li,
Yuchen Liao
Abstract:
We prove that the spectrum of the stochastic Airy operator is rigid in the sense of Ghosh and Peres (Duke Math. J., 166(10):1789--1858, 2017) for Dirichlet and Robin boundary conditions. This proves the rigidity of the Airy-$β$ point process and the soft-edge limit of rank-$1$ perturbations of Gaussian $β$-Ensembles for any $β>0$, and solves an open problem mentioned in a previous work of Bufetov,…
▽ More
We prove that the spectrum of the stochastic Airy operator is rigid in the sense of Ghosh and Peres (Duke Math. J., 166(10):1789--1858, 2017) for Dirichlet and Robin boundary conditions. This proves the rigidity of the Airy-$β$ point process and the soft-edge limit of rank-$1$ perturbations of Gaussian $β$-Ensembles for any $β>0$, and solves an open problem mentioned in a previous work of Bufetov, Nikitin, and Qiu (Mosc. Math. J., 19(2):217--274, 2019). Our proof uses a combination of the semigroup theory of the stochastic Airy operator and the techniques for studying insertion and deletion tolerance of point processes developed by Holroyd and Soo (Electron. J. Probab., 18:no. 74, 24, 2013).
△ Less
Submitted 23 September, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Fractal Geometry of the Valleys of the Parabolic Anderson Equation
Authors:
Promit Ghosal,
Jaeyun Yi
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 August, 2021; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Rates of Estimation of Optimal Transport Maps using Plug-in Estimators via Barycentric Projections
Authors:
Nabarun Deb,
Promit Ghosal,
Bodhisattva Sen
Abstract:
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 provi…
▽ More
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.
△ Less
Submitted 4 July, 2021;
originally announced July 2021.
-
Stability of Entropic Optimal Transport and Schrödinger Bridges
Authors:
Promit Ghosal,
Marcel Nutz,
Espen Bernton
Abstract:
We establish the stability of solutions to the entropically regularized optimal transport problem with respect to the marginals and the cost function. The result is based on the geometric notion of cyclical invariance and inspired by the use of $c$-cyclical monotonicity in classical optimal transport. As a consequence of stability, we obtain the wellposedness of the solution in this geometric sens…
▽ More
We establish the stability of solutions to the entropically regularized optimal transport problem with respect to the marginals and the cost function. The result is based on the geometric notion of cyclical invariance and inspired by the use of $c$-cyclical monotonicity in classical optimal transport. As a consequence of stability, we obtain the wellposedness of the solution in this geometric sense, even when all transports have infinite cost. More generally, our results apply to a class of static Schrödinger bridge problems including entropic optimal transport.
△ Less
Submitted 5 July, 2022; v1 submitted 7 June, 2021;
originally announced June 2021.
-
Entropic Optimal Transport: Geometry and Large Deviations
Authors:
Espen Bernton,
Promit Ghosal,
Marcel Nutz
Abstract:
We study the convergence of entropically regularized optimal transport to optimal transport. The main result is concerned with the convergence of the associated optimizers and takes the form of a large deviations principle quantifying the local exponential convergence rate as the regularization parameter vanishes. The exact rate function is determined in a general setting and linked to the Kantoro…
▽ More
We study the convergence of entropically regularized optimal transport to optimal transport. The main result is concerned with the convergence of the associated optimizers and takes the form of a large deviations principle quantifying the local exponential convergence rate as the regularization parameter vanishes. The exact rate function is determined in a general setting and linked to the Kantorovich potential of optimal transport. Our arguments are based on the geometry of the optimizers and inspired by the use of $c$-cyclical monotonicity in classical transport theory. The results can also be phrased in terms of Schrödinger bridges.
△ Less
Submitted 23 January, 2022; v1 submitted 8 February, 2021;
originally announced February 2021.
-
Law of Iterated Logarithms and Fractal Properties of the KPZ Equation
Authors:
Sayan Das,
Promit Ghosal
Abstract:
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 tha…
▽ More
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.
△ Less
Submitted 2 February, 2021; v1 submitted 3 January, 2021;
originally announced January 2021.
-
On Spatial Conditioning of the Spectrum of Discrete Random Schrödinger Operators
Authors:
Pierre Yves Gaudreau Lamarre,
Promit Ghosal,
Yuchen Liao
Abstract:
Consider a random Schrödinger-type operator of the form $H:=-H_X+V+ξ$ acting on a general graph $\mathscr G=(\mathscr V,\mathscr E)$, where $H_X$ is the generator of a Markov process $X$ on $\mathscr G$, $V$ is a deterministic potential with sufficient growth (so that $H$ has a purely discrete spectrum), and $ξ$ is a random noise with at-most-exponential tails. We prove that $H$'s eigenvalue point…
▽ More
Consider a random Schrödinger-type operator of the form $H:=-H_X+V+ξ$ acting on a general graph $\mathscr G=(\mathscr V,\mathscr E)$, where $H_X$ is the generator of a Markov process $X$ on $\mathscr G$, $V$ is a deterministic potential with sufficient growth (so that $H$ has a purely discrete spectrum), and $ξ$ is a random noise with at-most-exponential tails. We prove that $H$'s eigenvalue point process is number rigid in the sense of Ghosh and Peres (Duke Math. J. 166 (2017), no. 10, 1789--1858); that is, the number of eigenvalues in any bounded domain $B\subset\mathbb C$ is determined by the configuration of eigenvalues outside of $B$. Our general setting allows to treat cases where $X$ could be non-symmetric (hence $H$ is non-self-adjoint) and $ξ$ has long-range dependence. Our strategy of proof consists of controlling the variance of the trace of the semigroup $\mathrm e^{-t H}$ using the Feynman-Kac formula.
△ Less
Submitted 9 March, 2023; v1 submitted 1 January, 2021;
originally announced January 2021.
-
Measuring Association on Topological Spaces Using Kernels and Geometric Graphs
Authors:
Nabarun Deb,
Promit Ghosal,
Bodhisattva Sen
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 8 October, 2020; v1 submitted 5 October, 2020;
originally announced October 2020.
-
Limitations of Sums of Bounded-Read Formulas
Authors:
Purnata Ghosal,
B. V. Raghavendra Rao
Abstract:
Proving super polynomial size lower bounds for various classes of arithmetic circuits computing explicit polynomials is a very important and challenging task in algebraic complexity theory. We study representation of polynomials as sums of weaker models such as read once formulas (ROFs) and read once oblivious algebraic branching programs (ROABPs). We prove:
(1) An exponential separation between…
▽ More
Proving super polynomial size lower bounds for various classes of arithmetic circuits computing explicit polynomials is a very important and challenging task in algebraic complexity theory. We study representation of polynomials as sums of weaker models such as read once formulas (ROFs) and read once oblivious algebraic branching programs (ROABPs). We prove:
(1) An exponential separation between sum of ROFs and read-$k$ formulas for some constant $k$. (2) A sub-exponential separation between sum of ROABPs and syntactic multilinear ABPs.
Our results are based on analysis of the partial derivative matrix under different distributions. These results highlight richness of bounded read restrictions in arithmetic formulas and ABPs.
Finally, we consider a generalization of multilinear ROABPs known as strict-interval ABPs defined in [Ramya-Rao, MFCS2019]. We show that strict-interval ABPs are equivalent to ROABPs upto a polynomial size blow up. In contrast, we show that interval formulas are different from ROFs and also admit depth reduction which is not known in the case of strict-interval ABPs.
△ Less
Submitted 3 October, 2020;
originally announced October 2020.
-
Thermalization of isolated quantum many-body system and the role of entanglement
Authors:
Tanmay Saha,
Pratik Ghosal,
Pratapaditya Bej,
Abhishek Banerjee,
Prasenjit Deb
Abstract:
Thermalization of an isolated quantum system has been a nontrivial problem since the early days of quantum mechanics. In generic isolated quantum systems, nonequilibrium dynamics is expected to result in thermalization, indicating the emergence of statistical mechanics from quantum dynamics. However, what feature of a many-body quantum system facilitates quantum thermalization is still not well un…
▽ More
Thermalization of an isolated quantum system has been a nontrivial problem since the early days of quantum mechanics. In generic isolated quantum systems, nonequilibrium dynamics is expected to result in thermalization, indicating the emergence of statistical mechanics from quantum dynamics. However, what feature of a many-body quantum system facilitates quantum thermalization is still not well understood. Recent experimental advancements have shown that entanglement may act as a thermalizing agent, not universally but particularly. Here, we theoretically show that the thermal averages of an observable in an isolated many-body quantum system with a large number of degrees of freedom emerge from the entangled energy eigenstates of the system. In particular, we show that the expectation values of an observable in entangled energy eigenstates and its marginals are equivalent to the microcanonical and canonical averages of the observable.
△ Less
Submitted 18 April, 2024; v1 submitted 22 September, 2020;
originally announced September 2020.
-
Rectangle Tiling Binary Arrays
Authors:
Pratik Ghosal,
Syed Mohammad Meesum,
Katarzyna Paluch
Abstract:
The problem of rectangle tiling binary arrays is defined as follows. Given an $n \times n$ array $A$ of zeros and ones and a natural number $p$, our task is to partition $A$ into at most $p$ rectangular tiles, so that the maximal weight of a tile is minimized. A tile is any rectangular subarray of $A$. The weight of a tile is the sum of elements that fall within it. We present a linear $(O(n^2))$…
▽ More
The problem of rectangle tiling binary arrays is defined as follows. Given an $n \times n$ array $A$ of zeros and ones and a natural number $p$, our task is to partition $A$ into at most $p$ rectangular tiles, so that the maximal weight of a tile is minimized. A tile is any rectangular subarray of $A$. The weight of a tile is the sum of elements that fall within it. We present a linear $(O(n^2))$ time $(\frac{3}{2}+\frac{p^2}{w(A)})$-approximation algorithm for this problem, where $w(A)$ denotes the weight of the whole array $A$.
The algorithm employs the lower bound of $L=\lceil \frac{w(A)}{p} \rceil$, which is the same lower bound on the optimum that was used in all algorithms for rectangle tiling. We prove that a better approximation factor for the binary \RTILE cannot be achieved using the same lower bound $L$, because there exist arrays, whose every partition contains a tile of weight at least $(\frac{3}{2}+\frac{p^2}{w(A)})L$. The previously known approximation algorithm for rectangle tiling binary arrays achieved the ratio of $2$. We also consider the dual problem of rectangle tiling for binary arrays, where we are given an upper bound on the weight of the tiles, and we have to cover the array $A$ with the minimum number of non-overlap** tiles. Both problems have natural extensions to $d$-dimensional versions, for which we provide analogous results.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Lyapunov exponents of the SHE for general initial data
Authors:
Promit Ghosal,
Yier Lin
Abstract:
We consider the $(1+1)$-dimensional stochastic heat equation (SHE) with multiplicative white noise and the Cole-Hopf solution of the Kardar-Parisi-Zhang (KPZ) equation. We show an exact way of computing the Lyapunov exponents of the SHE for a large class of initial data which includes any bounded deterministic positive initial data and the stationary initial data. As a consequence, we derive exact…
▽ More
We consider the $(1+1)$-dimensional stochastic heat equation (SHE) with multiplicative white noise and the Cole-Hopf solution of the Kardar-Parisi-Zhang (KPZ) equation. We show an exact way of computing the Lyapunov exponents of the SHE for a large class of initial data which includes any bounded deterministic positive initial data and the stationary initial data. As a consequence, we derive exact formulas for the upper tail large deviation rate functions of the KPZ equation for general initial data.
△ Less
Submitted 24 May, 2023; v1 submitted 13 July, 2020;
originally announced July 2020.
-
Probabilistic conformal blocks for Liouville CFT on the torus
Authors:
Promit Ghosal,
Guillaume Remy,
Xin Sun,
Yi Sun
Abstract:
Virasoro conformal blocks are a family of important functions defined as power series via the Virasoro algebra. They are a fundamental input to the conformal bootstrap program for 2D conformal field theory (CFT) and are closely related to four dimensional supersymmetric gauge theory through the Alday-Gaiotto-Tachikawa correspondence. The present work provides a probabilistic construction of the 1-…
▽ More
Virasoro conformal blocks are a family of important functions defined as power series via the Virasoro algebra. They are a fundamental input to the conformal bootstrap program for 2D conformal field theory (CFT) and are closely related to four dimensional supersymmetric gauge theory through the Alday-Gaiotto-Tachikawa correspondence. The present work provides a probabilistic construction of the 1-point toric Virasoro conformal block for central change greater than 25. More precisely, we construct an analytic function using a probabilistic tool called Gaussian multiplicative chaos (GMC) and prove that its power series expansion coincides with the 1-point toric Virasoro conformal block. The range $(25,\infty)$ of central charges corresponds to Liouville CFT, an important CFT originating from 2D quantum gravity and bosonic string theory. Our work reveals a new integrable structure underlying GMC and opens the door to the study of non-perturbative properties of Virasoro conformal blocks such as their analytic continuation and modular symmetry. Our proof combines an analysis of GMC with tools from CFT such as Belavin-Polyakov-Zamolodchikov differential equations, operator product expansions, and Dotsenko-Fateev type integrals.
△ Less
Submitted 28 January, 2024; v1 submitted 8 March, 2020;
originally announced March 2020.
-
Spectral rigidity of random Schrödinger operators via Feynman-Kac formulas
Authors:
Pierre Yves Gaudreau Lamarre,
Promit Ghosal,
Yuchen Liao
Abstract:
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 whi…
▽ More
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 $ξ$.
△ Less
Submitted 12 June, 2020; v1 submitted 22 August, 2019;
originally announced August 2019.
-
KPZ equation correlations in time
Authors:
Ivan Corwin,
Promit Ghosal,
Alan Hammond
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 July, 2020; v1 submitted 22 July, 2019;
originally announced July 2019.
-
Stochastic PDE limit of the dynamic ASEP
Authors:
Ivan Corwin,
Promit Ghosal,
Konstantin Matetski
Abstract:
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 weak…
▽ More
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.
△ Less
Submitted 16 February, 2021; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Multivariate Ranks and Quantiles using Optimal Transport: Consistency, Rates, and Nonparametric Testing
Authors:
Promit Ghosal,
Bodhisattva Sen
Abstract:
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 populati…
▽ More
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.
△ Less
Submitted 5 May, 2021; v1 submitted 13 May, 2019;
originally announced May 2019.
-
Limiting speed of a second class particle in ASEP
Authors:
Promit Ghosal,
Axel Saenz,
Ethan C. Zell
Abstract:
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 si…
▽ More
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 $Γ$.
△ Less
Submitted 25 March, 2019; v1 submitted 22 March, 2019;
originally announced March 2019.
-
KPZ equation tails for general initial data
Authors:
Ivan Corwin,
Promit Ghosal
Abstract:
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 shal…
▽ More
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.
△ Less
Submitted 2 March, 2020; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Moments of the SHE under delta initial measure
Authors:
Promit Ghosal
Abstract:
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].
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].
△ Less
Submitted 16 October, 2018; v1 submitted 13 August, 2018;
originally announced August 2018.
-
Stochastic PDE Limit of the Six Vertex Model
Authors:
Ivan Corwin,
Promit Ghosal,
Hao Shen,
Li-Cheng Tsai
Abstract:
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 sa…
▽ More
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).
△ Less
Submitted 13 March, 2019; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Coulomb-gas electrostatics controls large fluctuations of the KPZ equation
Authors:
Ivan Corwin,
Promit Ghosal,
Alexandre Krajenbrink,
Pierre Le Doussal,
Li-Cheng Tsai
Abstract:
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 d…
▽ More
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.
△ Less
Submitted 24 July, 2018; v1 submitted 15 March, 2018;
originally announced March 2018.
-
Lower tail of the KPZ equation
Authors:
Ivan Corwin,
Promit Ghosal
Abstract:
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 p…
▽ More
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}$.
△ Less
Submitted 9 February, 2018;
originally announced February 2018.
-
Joint estimation of parameters in Ising model
Authors:
Promit Ghosal,
Sumit Mukherjee
Abstract:
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 adj…
▽ More
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.
△ Less
Submitted 19 January, 2018;
originally announced January 2018.
-
Manipulation Strategies for the Rank Maximal Matching Problem
Authors:
Pratik Ghosal,
Katarzyna Paluch
Abstract:
We consider manipulation strategies for the rank-maximal matching problem. In the rank-maximal matching problem we are given a bipartite graph $G = (A \cup P, E)$ such that $A$ denotes a set of applicants and $P$ a set of posts. Each applicant $a \in A$ has a preference list over the set of his neighbours in $G$, possibly involving ties. Preference lists are represented by ranks on the edges - an…
▽ More
We consider manipulation strategies for the rank-maximal matching problem. In the rank-maximal matching problem we are given a bipartite graph $G = (A \cup P, E)$ such that $A$ denotes a set of applicants and $P$ a set of posts. Each applicant $a \in A$ has a preference list over the set of his neighbours in $G$, possibly involving ties. Preference lists are represented by ranks on the edges - an edge $(a,p)$ has rank $i$, denoted as $rank(a,p)=i$, if post $p$ belongs to one of $a$'s $i$-th choices. A rank-maximal matching is one in which the maximum number of applicants is matched to their rank one posts and subject to this condition, the maximum number of applicants is matched to their rank two posts, and so on. A rank-maximal matching can be computed in $O(\min(c \sqrt{n},n) m)$ time, where $n$ denotes the number of applicants, $m$ the number of edges and $c$ the maximum rank of an edge in an optimal solution.
A central authority matches applicants to posts. It does so using one of the rank-maximal matchings. Since there may be more than one rank- maximal matching of $G$, we assume that the central authority chooses any one of them randomly. Let $a_1$ be a manipulative applicant, who knows the preference lists of all the other applicants and wants to falsify his preference list so that he has a chance of getting better posts than if he were truthful. In the first problem addressed in this paper the manipulative applicant $a_1$ wants to ensure that he is never matched to any post worse than the most preferred among those of rank greater than one and obtainable when he is truthful. In the second problem the manipulator wants to construct such a preference list that the worst post he can become matched to by the central authority is best possible or in other words, $a_1$ wants to minimize the maximal rank of a post he can become matched to.
△ Less
Submitted 29 August, 2018; v1 submitted 31 October, 2017;
originally announced October 2017.
-
Limit law of a second class particle in TASEP with non-random initial condition
Authors:
Patrik L. Ferrari,
Peter Nejjar,
Promit Ghosal
Abstract:
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…
▽ More
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$.
△ Less
Submitted 22 May, 2018; v1 submitted 6 October, 2017;
originally announced October 2017.
-
Correlation Functions of the Pfaffian Schur Process Using Macdonald Difference Operators
Authors:
Promit Ghosal
Abstract:
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.
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.
△ Less
Submitted 26 November, 2019; v1 submitted 16 May, 2017;
originally announced May 2017.