Searcharxiv⌕ Search

arXiv subjects

Nathan Glatt-Holtz

Publications and source records attributed to Nathan Glatt-Holtz.

At least 19 recordsLinked to original sources

Multiproposal Elliptical Slice Sampling

We introduce Multiproposal Elliptical Slice Sampling, a self-tuning multiproposal Markov chain Monte Carlo method for Bayesian inference with Gaussian priors. Our method generalizes the Elliptical Slice Sampling algorithm by 1) allowing multiple candidate proposals to be sampled in parallel at each self-tuning step, and 2) basing the acceptance step on a distance-informed transition matrix that can favor proposals far from the current state. This allows larger moves in state space and faster self-tuning, at essentially no additional wall clock time for expensive likelihoods, and results in improved mixing. We additionally provide theoretical arguments and experimental results suggesting dimension-robust mixing behavior, making the algorithm particularly well suited for Bayesian PDE inverse problems.

stat.CO↗

Bayesian Semi-Blind Deconvolution at Scale

Blind image deconvolution refers to the problem of simultaneously estimating the blur kernel and the true image from a set of observations when both the blur kernel and the true image are unknown. Sometimes, additional image and/or blur information is available and the term semi-blind deconvolution (SBD) is used. We consider a recently introduced Bayesian conjugate hierarchical model for SBD, formulated on an extended cyclic lattice to allow a computationally scalable Gibbs sampler. In this article, we extend this model to the general SBD problem, rewrite the previously proposed Gibbs sampler so that operations are performed in the Fourier domain whenever possible, and introduce a new marginal Hamiltonian Monte Carlo (HMC) blur update, obtained by analytically integrating the blur-image joint conditional over the image. The cyclic formulation combined with non-trivial linear algebra manipulations allows a Fourier-based, scalable HMC update, otherwise complicated by the rigid constraints of the SBD problem. Having determined the padding size in the cyclic embedding through a numerical experiment, we compare the mixing and exploration behaviour of the Gibbs and HMC blur updates on simulated data and on a real geophysical seismic imaging problem where we invert a grid with $300\times50$ nodes, corresponding to a posterior with approximately $80,000$ parameters.

stat.CO↗

On the long-time statistical behavior of smooth solutions of the weakly damped, stochastically-driven KdV equation

This paper considers the damped periodic Korteweg-de Vries (KdV) equation in the presence of a white-in-time and spatially smooth stochastic source term and studies the long-time behavior of solutions. We show that the integrals of motion for KdV can be exploited to prove regularity and ergodic properties of invariant measures for damped stochastic KdV. First, by considering non-trivial modifications of the integrals of motion, we establish Lyapunov structure by proving that moments of Sobolev norms of solutions at all orders of regularity are bounded globally-in-time; existence of invariant measures follows as an immediate consequence. Next, we prove a weak Foias-Prodi type estimate for damped stochastic KdV, for which the synchronization occurs in expected value. This estimate plays a crucial role throughout our subsequent analysis. As a first novel application, we combine the Foias-Prodi estimate with the Lyapunov structure to establish that invariant measures are supported on smooth functions provided that the external driving forces are smooth. We then establish ergodic properties of invariant measures, treating the regimes of arbitrary damping and large damping separately. For arbitrary damping, we demonstrate that the framework of `asymptotic coupling' can be implemented for a compact proof of uniqueness of the invariant measure provided that sufficiently many directions in phase space are stochastically forced. Our proof is paradigmatic for SPDEs for which a weak Foias-Prodi type property holds. Lastly, for large damping, we establish the existence of a spectral gap with respect to a Wasserstein-like distance, and exponential mixing and uniqueness of the invariant measure follows.

math.PR↗

Hydrodynamic stability in the presence of a stochastic forcing:a case study in convection

We investigate the stability of statistically stationary conductive states for Rayleigh-Bénard convection that arise due to a bulk stochastic internal heating. Our results indicate that stochastic forcing at small magnitude has little to no effect, while strong stochastic forcing has a destabilizing effect. The methodology put forth in this article, which combines rigorous analysis with careful computation, provides an approach to hydrodynamic stability which is applicable to a variety of systems subject to a large scale stochastic forcing.

physics.flu-dyn↗

Unique Ergodicity in Stochastic Electroconvection

We consider a stochastic electroconvection model describing the nonlinear evolution of a surface charge density in a two-dimensional fluid with additive stochastic forcing. We prove the existence and uniqueness of solutions, we define the corresponding Markov semigroup, and we study its Feller properties. When the noise forces enough modes in phase space, we obtain the uniqueness of the smooth invariant measure for the Markov transition kernels associated with the model.

math.AP↗

Methodological reconstruction of historical seismic events from anecdotal accounts of destructive tsunamis: a case study for the great 1852 Banda arc mega-thrust earthquake and tsunami

We demonstrate the efficacy of a Bayesian statistical inversion framework for reconstructing the likely characteristics of large pre-instrumentation earthquakes from historical records of tsunami observations. Our framework is designed and implemented for the estimation of the location and magnitude of seismic events from anecdotal accounts of tsunamis including shoreline wave arrival times, heights, and inundation lengths over a variety of spatially separated observation locations. As an initial test case we use our framework to reconstruct the great 1852 earthquake and tsunami of eastern Indonesia. Relying on the assumption that these observations were produced by a subducting thrust event, the posterior distribution indicates that the observables were the result of a massive mega-thrust event with magnitude near 8.8 Mw and a likely rupture zone in the north-eastern Banda arc. The distribution of predicted epicentral locations overlaps with the largest major seismic gap in the region as indicated by instrumentally recorded seismic events. These results provide a geologic and seismic context for hazard risk assessment in coastal communities experiencing growing population and urbanization in Indonesia. In addition, the methodology demonstrated here highlights the potential for applying a Bayesian approach to enhance understanding of the seismic history of other subduction zones around the world.

physics.geo-ph↗

The Generalized Langevin Equation with a power-law memory in a nonlinear potential well

The generalized Langevin equation (GLE) is a stochastic integro-differential equation that has been used to describe the velocity of microparticles in viscoelastic fluids. In this work, we consider the large-time asymptotic properties of a Markovian approximation to the GLE in the presence of a wide class of external potential wells. The qualitative behavior of the GLE is largely determined by its memory kernel $K$, which summarizes the delayed response of the fluid medium on the particles past movement. When $K$ can be expressed as a finite sum of exponentials, it has been shown that long-term time-averaged properties of the position and velocity do not depend on $K$ at all. In certain applications, however, it is important to consider the GLE with a power law memory kernel. Using the fact that infinite sums of exponentials can have power law tails, we study the infinite-dimensional version of the Markovian GLE in a potential well. In the case where the memory kernel $K$ is integrable (i.e. in the asymptotically diffusive regime), we are able to extend previous results and show that there is a unique stationary distribution for the GLE system and that the long-term statistics of the position and velocity do not depend on $K$. However, when $K$ is not integrable (i.e. in the asymptotically subdiffusive regime), we are able to show the existence of an invariant probability measure but uniqueness remains an open question. In particular, the method of asymptotic coupling used in the integrable case to show uniqueness does not apply when $K$ fails to be integrable.

math.PR↗

On the convergence of stationary solutions in the Smoluchowski-Kramers approximation of infinite dimensional systems

We prove the convergence, in the small mass limit, of statistically invariant states for a class of semi-linear damped wave equations, perturbed by an additive Gaussian noise, both with Lipschitz-continuous and with polynomial non-linearities. In particular, we prove that the first marginals of any sequence of invariant measures for the stochastic wave equation converge in a suitable Wasserstein metric to the unique invariant measure of the limiting stochastic semi-linear parabolic equation obtained in the Smoluchowski-Kramers approximation. The Wasserstein metric is associated to a suitable distance on the space of square integrable functions, that is chosen in such a way that the dynamics of the limiting stochastic parabolic equation is contractive with respect to such a Wasserstein metric. This implies that the limiting result is a consequence of the validity of a generalized Smoluchowski-Kramers limit at fixed times. The proof of such a generalized limit requires new delicate bounds for the solutions of the stochastic wave equation, that must be uniform with respect to the size of the mass.

math.PR↗

Large Prandtl Number Asymptotics in Randomly Forced Turbulent Convection

We establish the convergence of statistically invariant states for the stochastic Boussinesq Equations in the infinite Prandtl number limit and in particular demonstrate the convergence of the Nusselt number (a measure of heat transport in the fluid). This is a singular parameter limit significant in mantle convection and for gasses under high pressure. The equations are subject to a both temperature gradient on the boundary and internal heating in the bulk driven by a stochastic, white in time, gaussian forcing. Here, the stochastic source terms have a strong physical motivation for example as a model of radiogenic heating. Our approach uses mixing properties of the formal limit system to reduce the convergence of invariant states to an analysis of the finite time asymptotics of solutions and parameter-uniform moment bounds. Here, it is notable that there is a phase space mismatch between the finite Prandtl system and the limit equation, and we implement methods to lift both finite and infinite time convergence results to an extended phase space which includes velocity fields. For the infinite Prandtl stochastic Boussinesq equations, we show that the associated invariant measure is unique and that the dual Markovian dynamics are contractive in an appropriate Kantorovich-Wasserstein metric. We then address the convergence of solutions on finite time intervals, which is still a singular perturbation. In the process we derive well-posed equations which accurately approximate the dynamics up to the initial time when the Prandtl number is large.

math.AP↗

Invariant measures for the stochastic one-dimensional compressible Navier-Stokes equations

We investigate the long-time behavior of solutions to a stochastically forced one-dimensional Navier-Stokes system, describing the motion of a compressible viscous fluid, in the case of linear pressure law. We prove existence of an invariant measure for the Markov process generated by strong solutions. We overcome the difficulties of working with non-Feller Markov semigroups on non-complete metric spaces by generalizing the classical Krylov-Bogoliubov method, and by providing suitable polynomial and exponential moment bounds on the solution, together with pathwise estimates.

math.AP↗

Invariant measures for passive scalars in the small noise inviscid limit

We consider a class of invariant measures for a passive scalar $f$ driven by an incompressible velocity field $\boldsymbol{u}$, on a $d$-dimensional periodic domain, satisfying $$ \partial_t f + \boldsymbol{u} \cdot \nabla f = 0, \qquad f(0)=f_0. $$ The measures are obtained as limits of stochastic viscous perturbations. We prove that the span of the $H^1$ eigenfunctions of the operator $\boldsymbol{u}\cdot\nabla$ contains the support of these measures. We also analyze several explicit examples: when $\boldsymbol{u}$ is a shear flow or a relaxation enhancing flow (a generalization of weakly mixing), we can characterize the limiting measure uniquely and compute its covariance structure. We also consider the case of two-dimensional cellular flows, for which further regularity properties of the functions in the support of the measure can be deduced. The main results are proved with the use of spectral theory results, in particular the RAGE theorem, which are used to characterize large classes of orbits of the inviscid problem that are growing in $H^1$.

math.AP↗

Asymptotic Analysis for Randomly Forced MHD

We consider the three-dimensional magnetohydrodynamics (MHD) equations in the presence of a spatially degenerate stochastic forcing as a model for magnetostrophic turbulence in the Earth's fluid core. We examine the multi-parameter singular limit of vanishing Rossby number $ε$ and magnetic Reynold's number $δ$, and establish that: (i) the limiting stochastically driven active scalar equation (with $ε=δ=0$) possesses a unique ergodic invariant measure, and (ii) any suitable sequence of statistically invariant states of the full MHD system converge weakly, as $ε,δ\rightarrow 0$, to the unique invariant measure of the limit equation. This latter convergence result does not require any conditions on the relative rates at which $\varepsilon, δ$ decay. Our analysis of the limit equation relies on a recently developed theory of hypo-ellipticity for infinite-dimensional stochastic dynamical systems. We carry out a detailed study of the interactions between the nonlinear and stochastic terms to demonstrate that a Hörmander bracket condition is satisfied, which yields a contraction property for the limit equation in a suitable Wasserstein metric. This contraction property reduces the convergence of invariant states in the multi-parameter limit to the convergence of solutions at finite times. However, in view of the phase space mismatch between the small parameter system and the limit equation, and due to the multi-parameter nature of the problem, further analysis is required to establish the singular limit. In particular, we develop methods to lift the contraction for the limit equation to the extended phase space, including the velocity and magnetic fields. Moreover, for the convergence of solutions at finite times we make use of a probabilistic modification of the Grönwall inequality, relying on a delicate stopping time argument.

math.AP↗

Notes on Statistically Invariant States in Stochastically Driven Fluid Flows

These expository notes address certain stationary and ergodic properties of the equations of fluid dynamics subject to a spatially degenerate (i.e. frequency localized), white in time gaussian forcing. In order to provide an accessible treatment of some recent progress in this subject we will develop ideas in detail for a class of finite dimensional models.

math.PR↗

Time Discrete Approximation of Weak Solutions for Stochastic Equations of Geophysical Fluid Dynamics and Applications

As a first step towards the numerical analysis of the stochastic primitive equations of the atmosphere and oceans, we study their time discretization by an implicit Euler scheme. From deterministic viewpoint the 3D Primitive Equations are studied with physically realistic boundary conditions. From probabilistic viewpoint we consider a wide class of nonlinear, state dependent, white noise forcings. The proof of convergence of the Euler scheme covers the equations for the oceans, atmosphere, coupled oceanic-atmospheric system and other geophysical equations. We obtain the existence of solutions weak in PDE and probabilistic sense, a result which is new by itself to the best of our knowledge.

math.AP↗

Inviscid Limits for a Stochastically Forced Shell Model of Turbulent Flow

We establish the anomalous mean dissipation rate of energy in the inviscid limit for a stochastic shell model of turbulent fluid flow. The proof relies on viscosity independent bounds for stationary solutions and on establishing ergodic and mixing properties for the viscous model. The shell model is subject to a degenerate stochastic forcing in the sense that noise acts directly only through one wavenumber. We show that it is hypo-elliptic (in the sense of Hormander) and use this property to prove a gradient bound on the Markov semigroup.

math-ph↗

Ergodic and Mixing Properties of the Boussinesq Equations with a Degenerate Random Forcing

We establish the existence, uniqueness and attraction properties of an ergodic invariant measure for the Boussinesq Equations in the presence of a degenerate stochastic forcing acting only in the temperature equation and only at the largest spatial scales. The central challenge is to establish time asymptotic smoothing properties of the Markovian dynamics corresponding to this system. Towards this aim we encounter a Lie bracket structure in the associated vector fields with a complicated dependence on solutions. This leads us to develop a novel Hörmander-type condition for infinite-dimensional systems. Demonstrating the sufficiency of this condition requires new techniques for the spectral analysis of the Malliavin covariance matrix.

math.AP↗

Martingale and Pathwise Solutions to the Stochastic Zakharov-Kuznetsov Equation with Multiplicative Noise

We study in this article the stochastic Zakharov-Kuznetsov equation driven by a multiplicative noise. We establish, in space dimensions two and three the global existence of martingale solutions, and in space dimension two the global pathwise uniqueness and the existence of pathwise solutions. New methods are employed in the passage to the limit on a special type of boundary conditions and in the verification of the pathwise uniqueness of martingale solutions with a lack of regularity, where both difficulties arise due to the partly hyperbolic feature of the model.

math.AP↗