-
Phase space contraction of degenerately damped random splittings
Authors:
David P. Herzog,
Jonathan C. Mattingly
Abstract:
When studying out-of-equilibrium systems, one often excites the dynamics in some degrees of freedom while removing the excitation in others through dam**. In order for the system to converge to a statistical steady state, the dynamics must transfer the energy from the excited modes to the dissipative directions. The precise mechanisms underlying this transfer are of particular interest and are t…
▽ More
When studying out-of-equilibrium systems, one often excites the dynamics in some degrees of freedom while removing the excitation in others through dam**. In order for the system to converge to a statistical steady state, the dynamics must transfer the energy from the excited modes to the dissipative directions. The precise mechanisms underlying this transfer are of particular interest and are the topic of this paper. We explore a class of randomly switched models introduced in [2,3] and provide some of the first results showing that minimal dam** is sufficient to stabilize the system in a fluids model.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Multiscale Parallel Tempering for Fast Sampling on Redistricting Plans
Authors:
Gabriel Chuang,
Gregory Herschlag,
Jonathan C. Mattingly
Abstract:
When auditing a redistricting plan, a persuasive method is to compare the plan with an ensemble of neutrally drawn redistricting plans. Ensembles are generated via algorithms that sample distributions on balanced graph partitions. To audit the partisan difference between the ensemble and a given plan, one must ensure that the non-partisan criteria are matched so that we may conclude that partisan…
▽ More
When auditing a redistricting plan, a persuasive method is to compare the plan with an ensemble of neutrally drawn redistricting plans. Ensembles are generated via algorithms that sample distributions on balanced graph partitions. To audit the partisan difference between the ensemble and a given plan, one must ensure that the non-partisan criteria are matched so that we may conclude that partisan differences come from bias rather than, for example, levels of compactness or differences in community preservation. Certain sampling algorithms allow one to explicitly state the policy-based probability distribution on plans, however, these algorithms have shown poor mixing times for large graphs (i.e. redistricting spaces) for all but a few specialized measures. In this work, we generate a multiscale parallel tempering approach that makes local moves at each scale. The local moves allow us to adopt a wide variety of policy-based measures. We examine our method in the state of Connecticut and succeed at achieving fast mixing on a policy-based distribution that has never before been sampled at this scale. Our algorithm shows promise to expand to a significantly wider class of measures that will (i) allow for more principled and situation-based comparisons and (ii) probe for the typical partisan impact that policy can have on redistricting.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Random Splitting of Point Vortex Flows
Authors:
Andrea Agazzi,
Francesco Grotto,
Jonathan C. Mattingly
Abstract:
We consider a stochastic version of the point vortex system, in which the fluid velocity advects single vortices intermittently for small random times. Such system converges to the deterministic point vortex dynamics as the rate at which single components of the vector field are randomly switched diverges, and therefore it provides an alternative discretization of 2D Euler equations. The random vo…
▽ More
We consider a stochastic version of the point vortex system, in which the fluid velocity advects single vortices intermittently for small random times. Such system converges to the deterministic point vortex dynamics as the rate at which single components of the vector field are randomly switched diverges, and therefore it provides an alternative discretization of 2D Euler equations. The random vortex system we introduce preserves microcanonical statistical ensembles of the point vortex system, hence constituting a simpler alternative to the latter in the statistical mechanics approach to 2D turbulence.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Central limit theorems for Fréchet means on stratified spaces
Authors:
Jonathan C. Mattingly,
Ezra Miller,
Do Tran
Abstract:
Fréchet means of samples from a probability measure $μ$ on any smoothly stratified metric space M with curvature bounded above are shown to satisfy a central limit theorem (CLT). The methods and results proceed by introducing and proving analytic properties of the "escape vector" of any finitely supported measure $δ$ in M, which records infinitesimal variation of the Fréchet mean $\barμ$ of $μ$ in…
▽ More
Fréchet means of samples from a probability measure $μ$ on any smoothly stratified metric space M with curvature bounded above are shown to satisfy a central limit theorem (CLT). The methods and results proceed by introducing and proving analytic properties of the "escape vector" of any finitely supported measure $δ$ in M, which records infinitesimal variation of the Fréchet mean $\barμ$ of $μ$ in response to perturbation of $μ$ by adding the mass $tδ$ for $t \to 0$. The CLT limiting distribution $N$ on the tangent cone $T$ at the Fréchet mean is characterized in four ways. The first uses tangential collapse $L$ to compare $T$ with a linear space and then applies a distortion map to the usual linear CLT to transfer back to $T$. Distortion is defined by applying escape after taking preimages under $L$. The second characterization constructs singular analogues of Gaussian measures on smoothly stratified spaces and expresses $N$ as the escape vector of any such "Gaussian mass". The third characterization expresses $N$ as the directional derivative, in the space of measures on $M$, of the barycenter map at $μ$ in the (random) direction given by any Gaussian mass. The final characterization expresses $N$ as the directional derivative, in the space $C$ of continuous real-valued functions on $T$, of a minimizer map, with the derivative taken at the Fréchet function $F \in C$ along the (random) direction given by the negative of the Gaussian tangent field induced by $μ$. Precise mild hypotheses on the measure $μ$ guarantee these CLTs, whose convergence is proved via the second characterization of $N$ by formulating a duality between Gaussian masses and Gaussian tangent fields.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
A central limit theorem for random tangent fields on stratified spaces
Authors:
Jonathan C. Mattingly,
Ezra Miller,
Do Tran
Abstract:
Variation of empirical Fréchet means on a metric space with curvature bounded above is encoded via random fields indexed by unit tangent vectors. A central limit theorem shows these random tangent fields converge to a Gaussian such field and lays the foundation for more traditionally formulated central limit theorems in subsequent work.
Variation of empirical Fréchet means on a metric space with curvature bounded above is encoded via random fields indexed by unit tangent vectors. A central limit theorem shows these random tangent fields converge to a Gaussian such field and lays the foundation for more traditionally formulated central limit theorems in subsequent work.
△ Less
Submitted 15 February, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Geometry of measures on smoothly stratified metric spaces
Authors:
Jonathan C. Mattingly,
Ezra Miller,
Do Tran
Abstract:
Any measure $μ$ on a CAT(k) space M that is stratified as a finite union of manifolds and has local exponential maps near the Fréchet mean $\barμ$ yields a continuous "tangential collapse" from the tangent cone of M at $\barμ$ to a vector space that preserves the Fréchet mean, restricts to an isometry on the "fluctuating cone" of directions in which the Fréchet mean can vary under perturbation of…
▽ More
Any measure $μ$ on a CAT(k) space M that is stratified as a finite union of manifolds and has local exponential maps near the Fréchet mean $\barμ$ yields a continuous "tangential collapse" from the tangent cone of M at $\barμ$ to a vector space that preserves the Fréchet mean, restricts to an isometry on the "fluctuating cone" of directions in which the Fréchet mean can vary under perturbation of $μ$, and preserves angles between arbitrary and fluctuating tangent vectors at the Fréchet mean.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Shadow geometry at singular points of CAT(k) spaces
Authors:
Jonathan C. Mattingly,
Ezra Miller,
Do Tran
Abstract:
In any CAT(k) space M, the "shadow" of a tangent vector Z at a point p is the set vectors that form an angle of πor more with Z. Taking logarithm maps at points approaching p along a fixed geodesic ray from p with tangent Z collapses the shadow to a single ray while leaving isometrically intact every convex cone that avoids the shadow of Z.
In any CAT(k) space M, the "shadow" of a tangent vector Z at a point p is the set vectors that form an angle of πor more with Z. Taking logarithm maps at points approaching p along a fixed geodesic ray from p with tangent Z collapses the shadow to a single ray while leaving isometrically intact every convex cone that avoids the shadow of Z.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Optimal enhanced dissipation and mixing for a time-periodic, Lipschitz velocity field on $\mathbb{T}^2$
Authors:
Tarek M. Elgindi,
Kyle Liss,
Jonathan C. Mattingly
Abstract:
We consider the advection-diffusion equation on $\mathbb{T}^2$ with a Lipschitz and time-periodic velocity field that alternates between two piecewise linear shear flows. We prove enhanced dissipation on the timescale $|\log ν|$, where $ν$ is the diffusivity parameter. This is the optimal decay rate as $ν\to 0$ for uniformly-in-time Lipschitz velocity fields. We also establish exponential mixing f…
▽ More
We consider the advection-diffusion equation on $\mathbb{T}^2$ with a Lipschitz and time-periodic velocity field that alternates between two piecewise linear shear flows. We prove enhanced dissipation on the timescale $|\log ν|$, where $ν$ is the diffusivity parameter. This is the optimal decay rate as $ν\to 0$ for uniformly-in-time Lipschitz velocity fields. We also establish exponential mixing for the $ν= 0$ problem.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Random Splitting of Fluid Models: Positive Lyapunov Exponents
Authors:
Andrea Agazzi,
Jonathan C. Mattingly,
Omar Melikechi
Abstract:
In this paper we give sufficient conditions for random splitting systems to have a positive top Lyapunov exponent. We verify these conditions for random splittings of two fluid models: the conservative Lorenz-96 equations and Galerkin approximations of the 2D Euler equations on the torus. In doing so, we highlight particular structures in these equations such as shearing. Since a positive top Lyap…
▽ More
In this paper we give sufficient conditions for random splitting systems to have a positive top Lyapunov exponent. We verify these conditions for random splittings of two fluid models: the conservative Lorenz-96 equations and Galerkin approximations of the 2D Euler equations on the torus. In doing so, we highlight particular structures in these equations such as shearing. Since a positive top Lyapunov exponent is an indicator of chaos which in turn is a feature of turbulence, our results show these randomly split fluid models have important characteristics of turbulent flow.
△ Less
Submitted 27 November, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Random Splitting of Fluid Models: Ergodicity and Convergence
Authors:
Andrea Agazzi,
Jonathan C. Mattingly,
Omar Melikechi
Abstract:
We introduce a family of stochastic models motivated by the study of nonequilibrium steady states of fluid equations. These models decompose the deterministic dynamics of interest into fundamental building blocks, i.e., minimal vector fields preserving some fundamental aspects of the original dynamics. Randomness is injected by sequentially following each vector field for a random amount of time.…
▽ More
We introduce a family of stochastic models motivated by the study of nonequilibrium steady states of fluid equations. These models decompose the deterministic dynamics of interest into fundamental building blocks, i.e., minimal vector fields preserving some fundamental aspects of the original dynamics. Randomness is injected by sequentially following each vector field for a random amount of time. We show under general assumptions that these random dynamics possess a unique invariant measure and converge almost surely to the original, deterministic model in the small noise limit. We apply our construction to the Lorenz-96 equations, often used in studies of chaos and data assimilation, and Galerkin approximations of the 2D Euler and Navier-Stokes equations. An interesting feature of the models developed is that they apply directly to the conservative dynamics and not just those with excitation and dissipation.
△ Less
Submitted 1 October, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
Gibbsian dynamics and the generalized Langevin equation
Authors:
David P. Herzog,
Jonathan C. Mattingly,
Hung D. Nguyen
Abstract:
We study the statistically invariant structures of the nonlinear generalized Langevin equation (GLE) with a power-law memory kernel. For a broad class of memory kernels, including those in the subdiffusive regime, we construct solutions of the GLE using a Gibbsian framework, which does not rely on existing Markovian approximations. Moreover, we provide conditions on the decay of the memory to ensu…
▽ More
We study the statistically invariant structures of the nonlinear generalized Langevin equation (GLE) with a power-law memory kernel. For a broad class of memory kernels, including those in the subdiffusive regime, we construct solutions of the GLE using a Gibbsian framework, which does not rely on existing Markovian approximations. Moreover, we provide conditions on the decay of the memory to ensure uniqueness of statistically steady states, generalizing previous known results for the GLE under particular kernels as a sum of exponentials.
△ Less
Submitted 6 January, 2023; v1 submitted 7 November, 2021;
originally announced November 2021.
-
The Gaussian Structure of the Singular Stochastic Burgers Equation
Authors:
Jonathan C. Mattingly,
Marco Romito,
Langxuan Su
Abstract:
We consider the stochastically forced Burgers equation with an emphasis on spatially rough driving noise. We show that the law of the process at a fixed time $t$, conditioned on no explosions, is absolutely continuous with respect to the stochastic heat equation obtained by removing the nonlinearity from the equation. This establishes a form of ellipticity in this infinite dimensional setting. The…
▽ More
We consider the stochastically forced Burgers equation with an emphasis on spatially rough driving noise. We show that the law of the process at a fixed time $t$, conditioned on no explosions, is absolutely continuous with respect to the stochastic heat equation obtained by removing the nonlinearity from the equation. This establishes a form of ellipticity in this infinite dimensional setting. The results follow from a recasting of the Girsanov Theorem to handle less spatially regular solutions while only proving absolute continuity at a fixed time and not on path-space. The results are proven by decomposing the solution into the sum of auxiliary processes which are then shown to be absolutely continuous in law to a stochastic heat equation. The number of levels in this decomposition diverges to infinite as we move to the stochastically forced Burgers equation associated to the KPZ equation, which we conjecture is just beyond the validity of our results (and certainly the current proof). The analysis provides insights into the structure of the solution as we approach the regularity of KPZ. A number of techniques from singular SPDEs are employed as we are beyond the regime of classical solutions for much of the paper.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
Noise-induced strong stabilization
Authors:
Matti Leimbach,
Jonathan C. Mattingly,
Michael Scheutzow
Abstract:
We consider a 2-dimensional stochastic differential equation in polar coordinates depending on several parameters. We show that if these parameters belong to a specific regime then the deterministic system explodes in finite time, but the random dynamical system corresponding to the stochastic equation is not only strongly complete but even admits a random attractor.
We consider a 2-dimensional stochastic differential equation in polar coordinates depending on several parameters. We show that if these parameters belong to a specific regime then the deterministic system explodes in finite time, but the random dynamical system corresponding to the stochastic equation is not only strongly complete but even admits a random attractor.
△ Less
Submitted 16 June, 2022; v1 submitted 22 September, 2020;
originally announced September 2020.
-
Singularities of invariant densities for random switching between two linear ODEs in 2D
Authors:
Yuri Bakhtin,
Tobias Hurth,
Sean D. Lawley,
Jonathan C. Mattingly
Abstract:
We consider a planar dynamical system generated by two stable linear vector fields with distinct fixed points and random switching between them. We characterize singularities of the invariant density in terms of the switching rates and contraction rates. We prove boundedness away from those singularities. We also discuss some motivating biological examples.
We consider a planar dynamical system generated by two stable linear vector fields with distinct fixed points and random switching between them. We characterize singularities of the invariant density in terms of the switching rates and contraction rates. We prove boundedness away from those singularities. We also discuss some motivating biological examples.
△ Less
Submitted 2 September, 2020;
originally announced September 2020.
-
Multi-Scale Merge-Split Markov Chain Monte Carlo for Redistricting
Authors:
Eric A. Autry,
Daniel Carter,
Gregory Herschlag,
Zach Hunter,
Jonathan C. Mattingly
Abstract:
We develop a Multi-Scale Merge-Split Markov chain on redistricting plans. The chain is designed to be usable as the proposal in a Markov Chain Monte Carlo (MCMC) algorithm. Sampling the space of plans amounts to dividing a graph into a partition with a specified number of elements which each correspond to a different district. The districts satisfy a collection of hard constraints and the measure…
▽ More
We develop a Multi-Scale Merge-Split Markov chain on redistricting plans. The chain is designed to be usable as the proposal in a Markov Chain Monte Carlo (MCMC) algorithm. Sampling the space of plans amounts to dividing a graph into a partition with a specified number of elements which each correspond to a different district. The districts satisfy a collection of hard constraints and the measure may be weighted with regard to a number of other criteria. The multi-scale algorithm is similar to our previously developed Merge-Split proposal, however, this algorithm provides improved scaling properties and may also be used to preserve nested communities of interest such as counties and precincts. Both works use a proposal which extends the ReCom algorithm which leveraged spanning trees merge and split districts. In this work we extend the state space so that each district is defined by a hierarchy of trees. In this sense, the proposal step in both algorithms can be seen as a "Forest ReCom." We also expand the state space to include edges that link specified districts, which further improves the computational efficiency of our algorithm. The collection of plans sampled by the MCMC algorithm can serve as a baseline against which a particular plan of interest is compared. If a given plan has different racial or partisan qualities than what is typical of the collection of plans, the given plan may have been gerrymandered and is labeled as an outlier.
△ Less
Submitted 18 August, 2020;
originally announced August 2020.
-
Non-reversible Markov chain Monte Carlo for sampling of districting maps
Authors:
Gregory Herschlag,
Jonathan C. Mattingly,
Matthias Sachs,
Evan Wyse
Abstract:
Evaluating the degree of partisan districting (Gerrymandering) in a statistical framework typically requires an ensemble of districting plans which are drawn from a prescribed probability distribution that adheres to a realistic and non-partisan criteria. In this article we introduce novel non-reversible Markov chain Monte-Carlo (MCMC) methods for the sampling of such districting plans which have…
▽ More
Evaluating the degree of partisan districting (Gerrymandering) in a statistical framework typically requires an ensemble of districting plans which are drawn from a prescribed probability distribution that adheres to a realistic and non-partisan criteria. In this article we introduce novel non-reversible Markov chain Monte-Carlo (MCMC) methods for the sampling of such districting plans which have improved mixing properties in comparison to previously used (reversible) MCMC algorithms. In doing so we extend the current framework for construction of non-reversible Markov chains on discrete sampling spaces by considering a generalization of skew detailed balance. We provide a detailed description of the proposed algorithms and evaluate their performance in numerical experiments.
△ Less
Submitted 18 August, 2020;
originally announced August 2020.
-
Metropolized Forest Recombination for Monte Carlo Sampling of Graph Partitions
Authors:
Eric Autrey,
Daniel Carter,
Gregory Herschlag,
Zach Hunter,
Jonathan C. Mattingly
Abstract:
We develop a new Markov chain on graph partitions that makes relatively global moves yet is computationally feasible to be used as the proposal in the Metropolis-Hastings method. Our resulting algorithm can be made reversible and able to sample from a specified measure on partitions. Both of these properties are critical to some important applications and computational Bayesian statistics in gener…
▽ More
We develop a new Markov chain on graph partitions that makes relatively global moves yet is computationally feasible to be used as the proposal in the Metropolis-Hastings method. Our resulting algorithm can be made reversible and able to sample from a specified measure on partitions. Both of these properties are critical to some important applications and computational Bayesian statistics in general. Our proposal chain modifies the recently developed method called Recombination (ReCom), which draws spanning trees on joined partitions and then randomly cuts them to repartition. We improve the computational efficiency by augmenting the state space from partitions to spanning forests. The extra information accelerates the computation of the forward and backward proposal probabilities. We demonstrate this method by sampling redistricting plans and find promising convergence results on several key observables of interest.
△ Less
Submitted 10 May, 2021; v1 submitted 28 October, 2019;
originally announced November 2019.
-
Geometric ergodicity of Langevin dynamics with Coulomb interactions
Authors:
Yulong Lu,
Jonathan C. Mattingly
Abstract:
This paper is concerned with the long time behavior of Langevin dynamics of {\em Coulomb gases} in $\mathbf{R}^d$ with $d\geq 2$, that is a second order system of Brownian particles driven by an external force and a pairwise repulsive Coulomb force. We prove that the system converges exponentially to the unique Boltzmann-Gibbs invariant measure under a weighted total variation distance. The proof…
▽ More
This paper is concerned with the long time behavior of Langevin dynamics of {\em Coulomb gases} in $\mathbf{R}^d$ with $d\geq 2$, that is a second order system of Brownian particles driven by an external force and a pairwise repulsive Coulomb force. We prove that the system converges exponentially to the unique Boltzmann-Gibbs invariant measure under a weighted total variation distance. The proof relies on a novel construction of Lyapunov function for the Coulomb system.
△ Less
Submitted 10 February, 2019; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Seemingly stable chemical kinetics can be stable, marginally stable, or unstable
Authors:
Andrea Agazzi,
Jonathan C. Mattingly
Abstract:
We present three examples of chemical reaction networks whose ordinary differential equation scaling limit are almost identical and in all cases stable. Nevertheless, the Markov jump processes associated to these reaction networks display the full range of behaviors: one is stable (positive recurrent), one is unstable (transient) and one is marginally stable (null recurrent). We study these differ…
▽ More
We present three examples of chemical reaction networks whose ordinary differential equation scaling limit are almost identical and in all cases stable. Nevertheless, the Markov jump processes associated to these reaction networks display the full range of behaviors: one is stable (positive recurrent), one is unstable (transient) and one is marginally stable (null recurrent). We study these differences and characterize the invariant measures by Lyapunov function techniques. In particular, we design a natural set of such functions which scale homogeneously to infinity, taking advantage of the same scaling behavior of the reaction rates.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Quantifying Gerrymandering in North Carolina
Authors:
Gregory Herschlag,
Han Sung Kang,
Justin Luo,
Christy Vaughn Graves,
Sachet Bangia,
Robert Ravier,
Jonathan C. Mattingly
Abstract:
Using an ensemble of redistricting plans, we evaluate whether a given political districting faithfully represents the geo-political landscape. Redistricting plans are sampled by a Monte Carlo algorithm from a probability distribution that adheres to realistic and non-partisan criteria. Using the sampled redistricting plans and historical voting data, we produce an ensemble of elections that reveal…
▽ More
Using an ensemble of redistricting plans, we evaluate whether a given political districting faithfully represents the geo-political landscape. Redistricting plans are sampled by a Monte Carlo algorithm from a probability distribution that adheres to realistic and non-partisan criteria. Using the sampled redistricting plans and historical voting data, we produce an ensemble of elections that reveal geo-political structure within the state. We showcase our methods on the two most recent districtings of NC for the U.S. House of Representatives, as well as a plan drawn by a bipartisan redistricting panel. We find the two state enacted plans are highly atypical outliers whereas the bipartisan plan accurately represents the ensemble both in partisan outcome and in the fine scale structure of district-level results.
△ Less
Submitted 10 January, 2018;
originally announced January 2018.
-
Error bounds for Approximations of Markov chains used in Bayesian Sampling
Authors:
James E. Johndrow,
Jonathan C. Mattingly
Abstract:
We give a number of results on approximations of Markov kernels in total variation and Wasserstein norms weighted by a Lyapunov function. The results are applied to examples from Bayesian statistics where approximations to transition kernels are made to reduce computational costs.
We give a number of results on approximations of Markov kernels in total variation and Wasserstein norms weighted by a Lyapunov function. The results are applied to examples from Bayesian statistics where approximations to transition kernels are made to reduce computational costs.
△ Less
Submitted 5 July, 2018; v1 submitted 14 November, 2017;
originally announced November 2017.
-
Ergodicity and Lyapunov functions for Langevin dynamics with singular potentials
Authors:
David P. Herzog,
Jonathan C. Mattingly
Abstract:
We study Langevin dynamics of $N$ particles on $R^d$ interacting through a singular repulsive potential, e.g.~the well-known Lennard-Jones type, and show that the system converges to the unique invariant Gibbs measure exponentially fast in a weighted total variation distance. The proof of the main result relies on an explicit construction of a Lyapunov function. In contrast to previous results for…
▽ More
We study Langevin dynamics of $N$ particles on $R^d$ interacting through a singular repulsive potential, e.g.~the well-known Lennard-Jones type, and show that the system converges to the unique invariant Gibbs measure exponentially fast in a weighted total variation distance. The proof of the main result relies on an explicit construction of a Lyapunov function. In contrast to previous results for such systems, our result implies geometric convergence to equilibrium starting from an essentially optimal family of initial distributions.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Evaluating Partisan Gerrymandering in Wisconsin
Authors:
Gregory Herschlag,
Robert Ravier,
Jonathan C. Mattingly
Abstract:
We examine the extent of gerrymandering for the 2010 General Assembly district map of Wisconsin. We find that there is substantial variability in the election outcome depending on what maps are used. We also found robust evidence that the district maps are highly gerrymandered and that this gerrymandering likely altered the partisan make up of the Wisconsin General Assembly in some elections. Comp…
▽ More
We examine the extent of gerrymandering for the 2010 General Assembly district map of Wisconsin. We find that there is substantial variability in the election outcome depending on what maps are used. We also found robust evidence that the district maps are highly gerrymandered and that this gerrymandering likely altered the partisan make up of the Wisconsin General Assembly in some elections. Compared to the distribution of possible redistricting plans for the General Assembly, Wisconsin's chosen plan is an outlier in that it yields results that are highly skewed to the Republicans when the statewide proportion of Democratic votes comprises more than 50-52% of the overall vote (with the precise threshold depending on the election considered). Wisconsin's plan acts to preserve the Republican majority by providing extra Republican seats even when the Democratic vote increases into the range when the balance of power would shift for the vast majority of redistricting plans.
△ Less
Submitted 5 September, 2017;
originally announced September 2017.
-
Smooth invariant densities for random switching on the torus
Authors:
Yuri Bakhtin,
Tobias Hurth,
Sean D. Lawley,
Jonathan C. Mattingly
Abstract:
We consider a random dynamical system obtained by switching between the flows generated by two smooth vector fields on the 2d-torus, with the random switchings happening according to a Poisson process. Assuming that the driving vector fields are transversal to each other at all points of the torus and that each of them allows for a smooth invariant density and no periodic orbits, we prove that the…
▽ More
We consider a random dynamical system obtained by switching between the flows generated by two smooth vector fields on the 2d-torus, with the random switchings happening according to a Poisson process. Assuming that the driving vector fields are transversal to each other at all points of the torus and that each of them allows for a smooth invariant density and no periodic orbits, we prove that the switched system also has a smooth invariant density, for every switching rate. Our approach is based on an integration by parts formula inspired by techniques from Malliavin calculus.
△ Less
Submitted 21 March, 2018; v1 submitted 4 August, 2017;
originally announced August 2017.
-
Coupling and Decoupling to bound an approximating Markov Chain
Authors:
James E. Johndrow,
Jonathan C. Mattingly
Abstract:
This simple note lays out a few observations which are well known in many ways but may not have been said in quite this way before. The basic idea is that when comparing two different Markov chains it is useful to couple them is such a way that they agree as often as possible. We construct such a coupling and analyze it by a simple dominating chain which registers if the two processes agree or dis…
▽ More
This simple note lays out a few observations which are well known in many ways but may not have been said in quite this way before. The basic idea is that when comparing two different Markov chains it is useful to couple them is such a way that they agree as often as possible. We construct such a coupling and analyze it by a simple dominating chain which registers if the two processes agree or disagree. We find that this imagery is useful when thinking about such problems. We are particularly interested in comparing the invariant measures and long time averages of the processes. However, since the paths agree for long runs, it also provides estimates on various stop** times such as hitting or exit times. We also show that certain bounds are tight. Finally, we provide a simple application to a Markov Chain Monte Carlo algorithm and show numerically that the results of the paper show a good level of approximation at considerable speed up by using an approximating chain rather than the original sampling chain.
△ Less
Submitted 14 November, 2017; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Scaling and Saturation in Infinite-Dimensional Control Problems with Applications to Stochastic Partial Differential Equations
Authors:
Nathan E. Glatt-Holtz,
David P. Herzog,
Jonathan C. Mattingly
Abstract:
We establish the dual notions of scaling and saturation from geometric control theory in an infinite-dimensional setting. This generalization is applied to the low-mode control problem in a number of concrete nonlinear partial differential equations. We also develop applications concerning associated classes of stochastic partial differential equations (SPDEs). In particular, we study the support…
▽ More
We establish the dual notions of scaling and saturation from geometric control theory in an infinite-dimensional setting. This generalization is applied to the low-mode control problem in a number of concrete nonlinear partial differential equations. We also develop applications concerning associated classes of stochastic partial differential equations (SPDEs). In particular, we study the support properties of probability laws corresponding to these SPDEs as well as provide applications concerning the ergodic and mixing properties of invariant measures for these stochastic systems.
△ Less
Submitted 20 September, 2018; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Redistricting: Drawing the Line
Authors:
Sachet Bangia,
Christy Vaughn Graves,
Gregory Herschlag,
Han Sung Kang,
Justin Luo,
Jonathan C. Mattingly,
Robert Ravier
Abstract:
We develop methods to evaluate whether a political districting accurately represents the will of the people. To explore and showcase our ideas, we concentrate on the congressional districts for the U.S. House of representatives and use the state of North Carolina and its redistrictings since the 2010 census. Using a Monte Carlo algorithm, we randomly generate over 24,000 redistrictings that are no…
▽ More
We develop methods to evaluate whether a political districting accurately represents the will of the people. To explore and showcase our ideas, we concentrate on the congressional districts for the U.S. House of representatives and use the state of North Carolina and its redistrictings since the 2010 census. Using a Monte Carlo algorithm, we randomly generate over 24,000 redistrictings that are non-partisan and adhere to criteria from proposed legislation. Applying historical voting data to these random redistrictings, we find that the number of democratic and republican representatives elected varies drastically depending on how districts are drawn. Some results are more common, and we gain a clear range of expected election outcomes. Using the statistics of our generated redistrictings, we critique the particular congressional districtings used in the 2012 and 2016 NC elections as well as a districting proposed by a bipartisan redistricting commission. We find that the 2012 and 2016 districtings are highly atypical and not representative of the will of the people. On the other hand, our results indicate that a plan produced by a bipartisan panel of retired judges is highly typical and representative. Since our analyses are based on an ensemble of reasonable redistrictings of North Carolina, they provide a baseline for a given election which incorporates the geometry of the state's population distribution.
△ Less
Submitted 8 May, 2017; v1 submitted 9 April, 2017;
originally announced April 2017.
-
Trajectory stratification of stochastic dynamics
Authors:
Aaron R. Dinner,
Jonathan C. Mattingly,
Jeremy O. B. Tempkin,
Brian Van Koten,
Jonathan Weare
Abstract:
We present a general mathematical framework for trajectory stratification for simulating rare events. Trajectory stratification involves decomposing trajectories of the underlying process into fragments limited to restricted regions of state space (strata), computing averages over the distributions of the trajectory fragments within the strata with minimal communication between them, and combining…
▽ More
We present a general mathematical framework for trajectory stratification for simulating rare events. Trajectory stratification involves decomposing trajectories of the underlying process into fragments limited to restricted regions of state space (strata), computing averages over the distributions of the trajectory fragments within the strata with minimal communication between them, and combining those averages with appropriate weights to yield averages with respect to the original underlying process. Our framework reveals the full generality and flexibility of trajectory stratification, and it illuminates a common mathematical structure shared by existing algorithms for sampling rare events. We demonstrate the power of the framework by defining strata in terms of both points in time and path-dependent variables for efficiently estimating averages that were not previously tractable.
△ Less
Submitted 10 November, 2017; v1 submitted 28 October, 2016;
originally announced October 2016.
-
On Unique Ergodicity in Nonlinear Stochastic Partial Differential Equations
Authors:
Nathan E. Glatt-Holtz,
Jonathan C. Mattingly,
Geordie Richards
Abstract:
We illustrate how the notion of asymptotic coupling provides a flexible and intuitive framework for proving the uniqueness of invariant measures for a variety of stochastic partial differential equations whose deterministic counterpart possesses a finite number of determining modes. Examples exhibiting parabolic and hyperbolic structure are studied in detail. In the later situation we also present…
▽ More
We illustrate how the notion of asymptotic coupling provides a flexible and intuitive framework for proving the uniqueness of invariant measures for a variety of stochastic partial differential equations whose deterministic counterpart possesses a finite number of determining modes. Examples exhibiting parabolic and hyperbolic structure are studied in detail. In the later situation we also present a simple framework for establishing the existence of invariant measures when the usual approach relying on the Krylov-Bogolyubov procedure and compactness fails.
△ Less
Submitted 13 December, 2015;
originally announced December 2015.
-
Optimal approximating Markov chains for Bayesian inference
Authors:
James E. Johndrow,
Jonathan C. Mattingly,
Sayan Mukherjee,
David Dunson
Abstract:
The Markov Chain Monte Carlo method is the dominant paradigm for posterior computation in Bayesian analysis. It is common to control computation time by making approximations to the Markov transition kernel. Comparatively little attention has been paid to computational optimality in these approximating Markov Chains, or when such approximations are justified relative to obtaining shorter paths fro…
▽ More
The Markov Chain Monte Carlo method is the dominant paradigm for posterior computation in Bayesian analysis. It is common to control computation time by making approximations to the Markov transition kernel. Comparatively little attention has been paid to computational optimality in these approximating Markov Chains, or when such approximations are justified relative to obtaining shorter paths from the exact kernel. We give simple, sharp bounds for uniform approximations of uniformly mixing Markov chains. We then suggest a notion of optimality that incorporates computation time and approximation error, and use our bounds to make generalizations about properties of good approximations in the uniformly mixing setting. The relevance of these properties is demonstrated in applications to a minibatching-based approximate MCMC algorithm for large $n$ logistic regression and low-rank approximations for Gaussian processes.
△ Less
Submitted 29 August, 2017; v1 submitted 13 August, 2015;
originally announced August 2015.
-
Scaling limits of a model for selection at two scales
Authors:
Shishi Luo,
Jonathan C. Mattingly
Abstract:
The dynamics of a population undergoing selection is a central topic in evolutionary biology. This question is particularly intriguing in the case where selective forces act in opposing directions at two population scales. For example, a fast-replicating virus strain outcompetes slower-replicating strains at the within-host scale. However, if the fast-replicating strain causes host morbidity and i…
▽ More
The dynamics of a population undergoing selection is a central topic in evolutionary biology. This question is particularly intriguing in the case where selective forces act in opposing directions at two population scales. For example, a fast-replicating virus strain outcompetes slower-replicating strains at the within-host scale. However, if the fast-replicating strain causes host morbidity and is less frequently transmitted, it can be outcompeted by slower-replicating strains at the between-host scale. Here we consider a stochastic ball-and-urn process which models this type of phenomenon. We prove the weak convergence of this process under two natural scalings. The first scaling leads to a deterministic nonlinear integro-partial differential equation on the interval $[0,1]$ with dependence on a single parameter, $λ$. We show that the fixed points of this differential equation are Beta distributions and that their stability depends on $λ$ and the behavior of the initial data around $1$. The second scaling leads to a measure-valued Fleming-Viot process, an infinite dimensional stochastic process that is frequently associated with a population genetics.
△ Less
Submitted 1 July, 2015;
originally announced July 2015.
-
Redistricting and the Will of the People
Authors:
Jonathan C. Mattingly,
Christy Vaughn
Abstract:
We introduce a non-partisan probability distribution on congressional redistricting of North Carolina which emphasizes the equal partition of the population and the compactness of districts. When random districts are drawn and the results of the 2012 election were re-tabulated under the drawn districtings, we find that an average of 7.6 democratic representatives are elected. 95% of the randomly s…
▽ More
We introduce a non-partisan probability distribution on congressional redistricting of North Carolina which emphasizes the equal partition of the population and the compactness of districts. When random districts are drawn and the results of the 2012 election were re-tabulated under the drawn districtings, we find that an average of 7.6 democratic representatives are elected. 95% of the randomly sampled redistrictings produced between 6 and 9 Democrats. Both of these facts are in stark contrast with the 4 Democrats elected in the 2012 elections with the same vote counts. This brings into serious question the idea that such elections represent the "will of the people." It underlines the ability of redistricting to undermine the democratic process, while on the face allowing democracy to proceed.
△ Less
Submitted 29 October, 2014;
originally announced October 2014.
-
Sticky central limit theorems at isolated hyperbolic planar singularities
Authors:
Stephan Huckemann,
Jonathan C. Mattingly,
Ezra Miller,
James Nolen
Abstract:
We derive the limiting distribution of the barycenter $b_n$ of an i.i.d. sample of $n$ random points on a planar cone with angular spread larger than $2π$. There are three mutually exclusive possibilities: (i) (fully sticky case) after a finite random time the barycenter is almost surely at the origin; (ii) (partly sticky case) the limiting distribution of $\sqrt{n} b_n$ comprises a point mass at…
▽ More
We derive the limiting distribution of the barycenter $b_n$ of an i.i.d. sample of $n$ random points on a planar cone with angular spread larger than $2π$. There are three mutually exclusive possibilities: (i) (fully sticky case) after a finite random time the barycenter is almost surely at the origin; (ii) (partly sticky case) the limiting distribution of $\sqrt{n} b_n$ comprises a point mass at the origin, an open sector of a Gaussian, and the projection of a Gaussian to the sector's bounding rays; or (iii) (nonsticky case) the barycenter stays away from the origin and the renormalized fluctuations have a fully supported limit distribution---usually Gaussian but not always. We conclude with an alternative, topological definition of stickiness that generalizes readily to measures on general metric spaces.
△ Less
Submitted 13 July, 2015; v1 submitted 25 October, 2014;
originally announced October 2014.
-
A practical criterion for positivity of transition densities
Authors:
David P. Herzog,
Jonathan C. Mattingly
Abstract:
We establish a simple criterion for locating points where the transition density of a degenerate diffusion is strictly positive. Throughout, we assume that the diffusion satisfies a stochastic differential equation (SDE) on $\mathbf{R}^d$ with additive noise and polynomial drift. In this setting, we will see that it is often that case that local information of the flow, e.g. the Lie algebra genera…
▽ More
We establish a simple criterion for locating points where the transition density of a degenerate diffusion is strictly positive. Throughout, we assume that the diffusion satisfies a stochastic differential equation (SDE) on $\mathbf{R}^d$ with additive noise and polynomial drift. In this setting, we will see that it is often that case that local information of the flow, e.g. the Lie algebra generated by the vector fields defining the SDE at a point $x\in \mathbf{R}^d$, determines where the transition density is strictly positive. This is surprising in that positivity is a more global property of the diffusion. This work primarily builds on and combines the ideas of Ben Arous and Léandre (1991) and Jurdjevic and Kupka (1981, 1985).
△ Less
Submitted 14 July, 2014;
originally announced July 2014.
-
Stochastic switching in infinite dimensions with applications to random parabolic PDEs
Authors:
Sean D. Lawley,
Jonathan C. Mattingly,
Michael C. Reed
Abstract:
We consider parabolic PDEs with randomly switching boundary conditions. In order to analyze these random PDEs, we consider more general stochastic hybrid systems and prove convergence to, and properties of, a stationary distribution. Applying these general results to the heat equation with randomly switching boundary conditions, we find explicit formulae for various statistics of the solution and…
▽ More
We consider parabolic PDEs with randomly switching boundary conditions. In order to analyze these random PDEs, we consider more general stochastic hybrid systems and prove convergence to, and properties of, a stationary distribution. Applying these general results to the heat equation with randomly switching boundary conditions, we find explicit formulae for various statistics of the solution and obtain almost sure results about its regularity and structure. These results are of particular interest for biological applications as well as for their significant departure from behavior seen in PDEs forced by disparate Gaussian noise. Our general results also have applications to other types of stochastic hybrid systems, such as ODEs with randomly switching right-hand sides.
△ Less
Submitted 20 August, 2016; v1 submitted 8 July, 2014;
originally announced July 2014.
-
Regularity of invariant densities for 1D-systems with random switching
Authors:
Yuri Bakhtin,
Tobias Hurth,
Jonathan C. Mattingly
Abstract:
This is a detailed analysis of invariant measures for one-dimensional dynamical systems with random switching. In particular, we prove smoothness of the invariant densities away from critical points and describe the asymptotics of the invariant densities at critical points.
This is a detailed analysis of invariant measures for one-dimensional dynamical systems with random switching. In particular, we prove smoothness of the invariant densities away from critical points and describe the asymptotics of the invariant densities at critical points.
△ Less
Submitted 20 June, 2014;
originally announced June 2014.
-
Noise-Induced Stabilization of Planar Flows I
Authors:
David P. Herzog,
Jonathan C. Mattingly
Abstract:
We show that the complex-valued ODE
\begin{equation*}
\dot z_t = a_{n+1} z^{n+1} + a_n z^n+\cdots+a_0,
\end{equation*} which necessarily has trajectories along which the dynamics blows up in finite time, can be stabilized by the addition of an arbitrarily small elliptic, additive Brownian stochastic term. We also show that the stochastic perturbation has a unique invariant measure which is h…
▽ More
We show that the complex-valued ODE
\begin{equation*}
\dot z_t = a_{n+1} z^{n+1} + a_n z^n+\cdots+a_0,
\end{equation*} which necessarily has trajectories along which the dynamics blows up in finite time, can be stabilized by the addition of an arbitrarily small elliptic, additive Brownian stochastic term. We also show that the stochastic perturbation has a unique invariant measure which is heavy-tailed yet is uniformly, exponentially attracting. The methods turn on the construction of Lyapunov functions. The techniques used in the construction are general and can likely be used in other settings where a Lyapunov function is needed. This is a two-part paper. This paper, Part I, focuses on general Lyapunov methods as applied to a special, simplified version of the problem. Part II of this paper extends the main results to the general setting.
△ Less
Submitted 11 September, 2015; v1 submitted 3 April, 2014;
originally announced April 2014.
-
Noise-Induced Stabilization of Planar Flows II
Authors:
David P. Herzog,
Jonathan C. Mattingly
Abstract:
We continue the work started in Part I of this article, showing how the addition of noise can stabilize an otherwise unstable system. The analysis makes use of nearly optimal Lyapunov functions. In this continuation, we remove the main limiting assumption of Part I by an inductive procedure as well as establish a lower bound which shows that our construction is radially sharp. We also prove a vers…
▽ More
We continue the work started in Part I of this article, showing how the addition of noise can stabilize an otherwise unstable system. The analysis makes use of nearly optimal Lyapunov functions. In this continuation, we remove the main limiting assumption of Part I by an inductive procedure as well as establish a lower bound which shows that our construction is radially sharp. We also prove a version of Peskir's \cite{Peskir_07} generalized Tanaka formula adapted to patching together Lyapunov functions. This greatly simplifies the analysis used in previous works.
△ Less
Submitted 11 September, 2015; v1 submitted 3 April, 2014;
originally announced April 2014.
-
Invariant measure selection by noise: An Example
Authors:
Jonathan C. Mattingly,
Etienne Pardoux
Abstract:
We consider a deterministic system with two conserved quantities and infinity many invariant measures. However the systems possess a unique invariant measure when enough stochastic forcing and balancing dissipation are added. We then show that as the forcing and dissipation are removed a unique limit of the deterministic system is selected. The exact structure of the limiting measure depends on th…
▽ More
We consider a deterministic system with two conserved quantities and infinity many invariant measures. However the systems possess a unique invariant measure when enough stochastic forcing and balancing dissipation are added. We then show that as the forcing and dissipation are removed a unique limit of the deterministic system is selected. The exact structure of the limiting measure depends on the specifics of the stochastic forcing.
△ Less
Submitted 14 March, 2014;
originally announced March 2014.
-
Sensitivity to switching rates in stochastically switched ODEs
Authors:
Sean D. Lawley,
Jonathan C. Mattingly,
Michael C. Reed
Abstract:
We consider a stochastic process driven by a linear ordinary differential equation whose right-hand side switches at exponential times between a collection of different matrices. We construct planar examples that switch between two matrices where the individual matrices and the average of the two matrices are all Hurwitz (all eigenvalues have strictly negative real part), but nonetheless the proce…
▽ More
We consider a stochastic process driven by a linear ordinary differential equation whose right-hand side switches at exponential times between a collection of different matrices. We construct planar examples that switch between two matrices where the individual matrices and the average of the two matrices are all Hurwitz (all eigenvalues have strictly negative real part), but nonetheless the process goes to infinity at large time for certain values of the switching rate. We further construct examples in higher dimensions where again the two individual matrices and their averages are all Hurwitz, but the process has arbitrarily many transitions between going to zero and going to infinity at large time as the switching rate varies. In order to construct these examples, we first prove in general that if each of the individual matrices is Hurwitz, then the process goes to zero at large time for sufficiently slow switching rate and if the average matrix is Hurwitz, then the process goes to zero at large time for sufficiently fast switching rate. We also give simple conditions that ensure the process goes to zero at large time for all switching rates.
△ Less
Submitted 20 August, 2016; v1 submitted 9 October, 2013;
originally announced October 2013.
-
Sticky central limit theorems on open books
Authors:
Thomas Hotz,
Sean Skwerer,
Stephan Huckemann,
Huiling Le,
J. S. Marron,
Jonathan C. Mattingly,
Ezra Miller,
James Nolen,
Megan Owen,
Vic Patrangenaru
Abstract:
Given a probability distribution on an open book (a metric space obtained by gluing a disjoint union of copies of a half-space along their boundary hyperplanes), we define a precise concept of when the Fréchet mean (barycenter) is sticky. This nonclassical phenomenon is quantified by a law of large numbers (LLN) stating that the empirical mean eventually almost surely lies on the (codimension $1$…
▽ More
Given a probability distribution on an open book (a metric space obtained by gluing a disjoint union of copies of a half-space along their boundary hyperplanes), we define a precise concept of when the Fréchet mean (barycenter) is sticky. This nonclassical phenomenon is quantified by a law of large numbers (LLN) stating that the empirical mean eventually almost surely lies on the (codimension $1$ and hence measure $0$) spine that is the glued hyperplane, and a central limit theorem (CLT) stating that the limiting distribution is Gaussian and supported on the spine. We also state versions of the LLN and CLT for the cases where the mean is nonsticky (i.e., not lying on the spine) and partly sticky (i.e., is, on the spine but not sticky).
△ Less
Submitted 3 December, 2013; v1 submitted 20 February, 2012;
originally announced February 2012.
-
Propagating Lyapunov Functions to Prove Noise--induced Stabilization
Authors:
Avanti Athreya,
Tiffany Kolba,
Jonathan C. Mattingly
Abstract:
We investigate an example of noise-induced stabilization in the plane that was also considered in (Gawedzki, Herzog, Wehr 2010) and (Birrell, Herzog, Wehr 2011). We show that despite the deterministic system not being globally stable, the addition of additive noise in the vertical direction leads to a unique invariant probability measure to which the system converges at a uniform, exponential rate…
▽ More
We investigate an example of noise-induced stabilization in the plane that was also considered in (Gawedzki, Herzog, Wehr 2010) and (Birrell, Herzog, Wehr 2011). We show that despite the deterministic system not being globally stable, the addition of additive noise in the vertical direction leads to a unique invariant probability measure to which the system converges at a uniform, exponential rate. These facts are established primarily through the construction of a Lyapunov function which we generate as the solution to a sequence of Poisson equations. Unlike a number of other works, however, our Lyapunov function is constructed in a systematic way, and we present a meta-algorithm we hope will be applicable to other problems. We conclude by proving positivity properties of the transition density by using Malliavin calculus via some unusually explicit calculations.
△ Less
Submitted 1 October, 2012; v1 submitted 7 November, 2011;
originally announced November 2011.
-
Geometric Ergodicity of Two--dimensional Hamiltonian systems with a Lennard--Jones--like Repulsive Potential
Authors:
Ben Cooke,
David P. Herzog,
Jonathan C. Mattingly,
Scott A. McKinley,
Scott C. Schmidler
Abstract:
In this paper we establish the ergodicity of Langevin dynamics for simple two-particle system involving a Lennard-Jones type potential. To the best of our knowledge, this is the first such result for a system operating under this type of potential. Moreover we show that the dynamics are {\it geometrically} ergodic (have a spectral gap) and converge at a geometric rate. Methods from stochastic aver…
▽ More
In this paper we establish the ergodicity of Langevin dynamics for simple two-particle system involving a Lennard-Jones type potential. To the best of our knowledge, this is the first such result for a system operating under this type of potential. Moreover we show that the dynamics are {\it geometrically} ergodic (have a spectral gap) and converge at a geometric rate. Methods from stochastic averaging are used to establish the existence of a Lyapunov function. The existence of a Lyapunov function in this setting seems resistant to more traditional approaches. This is a corrected version of the article.
△ Less
Submitted 5 July, 2017; v1 submitted 19 April, 2011;
originally announced April 2011.
-
Rare Transition Events in Nonequilibrium Systems with State-Dependent Noise: Application to Stochastic Current Switching in Semiconductor Superlattices
Authors:
Matthias Heymann,
Stephen W. Teitsworth,
Jonathan C. Mattingly
Abstract:
Using recent mathematical advances, a geometric approach to rare noise-driven transition events in nonequilibrium systems is given, and an algorithm for computing the maximum likelihood transition curve is generalized to the case of state-dependent noise. It is applied to a model of electronic transport in semiconductor superlattices to investigate transitions between metastable electric field dis…
▽ More
Using recent mathematical advances, a geometric approach to rare noise-driven transition events in nonequilibrium systems is given, and an algorithm for computing the maximum likelihood transition curve is generalized to the case of state-dependent noise. It is applied to a model of electronic transport in semiconductor superlattices to investigate transitions between metastable electric field distributions. When the applied voltage $V$ is varied near a saddle-node bifurcation at $V_th$, the mean life time $<T>$ of the initial metastable state is shown to scale like $log<T> \propto |V_th - V|^{3/2}$ as $V\to V_th$.
△ Less
Submitted 16 October, 2010; v1 submitted 24 August, 2010;
originally announced August 2010.
-
Diffusion limits of the random walk Metropolis algorithm in high dimensions
Authors:
Jonathan C. Mattingly,
Natesh S. Pillai,
Andrew M. Stuart
Abstract:
Diffusion limits of MCMC methods in high dimensions provide a useful theoretical tool for studying computational complexity. In particular, they lead directly to precise estimates of the number of steps required to explore the target measure, in stationarity, as a function of the dimension of the state space. However, to date such results have mainly been proved for target measures with a product…
▽ More
Diffusion limits of MCMC methods in high dimensions provide a useful theoretical tool for studying computational complexity. In particular, they lead directly to precise estimates of the number of steps required to explore the target measure, in stationarity, as a function of the dimension of the state space. However, to date such results have mainly been proved for target measures with a product structure, severely limiting their applicability. The purpose of this paper is to study diffusion limits for a class of naturally occurring high-dimensional measures found from the approximation of measures on a Hilbert space which are absolutely continuous with respect to a Gaussian reference measure. The diffusion limit of a random walk Metropolis algorithm to an infinite-dimensional Hilbert space valued SDE (or SPDE) is proved, facilitating understanding of the computational complexity of the algorithm.
△ Less
Submitted 4 October, 2012; v1 submitted 22 March, 2010;
originally announced March 2010.
-
Convergence of Numerical Time-Averaging and Stationary Measures via Poisson Equations
Authors:
Jonathan C. Mattingly,
Andrew M. Stuart,
M. V. Tretyakov
Abstract:
Numerical approximation of the long time behavior of a stochastic differential equation (SDE) is considered. Error estimates for time-averaging estimators are obtained and then used to show that the stationary behavior of the numerical method converges to that of the SDE. The error analysis is based on using an associated Poisson equation for the underlying SDE. The main advantage of this approa…
▽ More
Numerical approximation of the long time behavior of a stochastic differential equation (SDE) is considered. Error estimates for time-averaging estimators are obtained and then used to show that the stationary behavior of the numerical method converges to that of the SDE. The error analysis is based on using an associated Poisson equation for the underlying SDE. The main advantage of this approach is its simplicity and universality. It works equally well for a range of explicit and implicit schemes including those with simple simulation of random variables, and for hypoelliptic SDEs. To simplify the exposition, we consider only the case where the state space of the SDE is a torus and we study only smooth test functions. However we anticipate that the approach can be applied more widely. An analogy between our approach and Stein's method is indicated. Some practical implications of the results are discussed.
△ Less
Submitted 28 February, 2010; v1 submitted 30 August, 2009;
originally announced August 2009.
-
A weak trapezoidal method for a class of stochastic differential equations
Authors:
David F. Anderson,
Jonathan C. Mattingly
Abstract:
We present a numerical method for the approximation of solutions for the class of stochastic differential equations driven by Brownian motions which induce stochastic variation in fixed directions. This class of equations arises naturally in the study of population processes and chemical reaction kinetics. We show that the method constructs paths that are second order accurate in the weak sense. T…
▽ More
We present a numerical method for the approximation of solutions for the class of stochastic differential equations driven by Brownian motions which induce stochastic variation in fixed directions. This class of equations arises naturally in the study of population processes and chemical reaction kinetics. We show that the method constructs paths that are second order accurate in the weak sense. The method is simpler than many second order methods in that it neither requires the construction of iterated Ito integrals nor the evaluation of any derivatives. The method consists of two steps. In the first an explicit Euler step is used to take a fractional step. This fractional point is then combined with the initial point to obtain a higher order, trapezoidal like, approximation. The higher order of accuracy stems from the fact that both the drift and the quadratic variation of the underlying SDE are approximated to second order.
△ Less
Submitted 14 June, 2010; v1 submitted 18 June, 2009;
originally announced June 2009.
-
Geometric ergodicity of a bead-spring pair with stochastic Stokes forcing
Authors:
Jonathan C. Mattingly,
Scott A. McKinley,
Natesh S. Pillai
Abstract:
We consider a simple model for the fluctuating hydrodynamics of a flexible polymer in dilute solution, demonstrating geometric ergodicity for a pair of particles that interact with each other through a nonlinear spring potential while being advected by a stochastic Stokes fluid velocity field. This is a generalization of previous models which have used linear spring forces as well as white-in-time…
▽ More
We consider a simple model for the fluctuating hydrodynamics of a flexible polymer in dilute solution, demonstrating geometric ergodicity for a pair of particles that interact with each other through a nonlinear spring potential while being advected by a stochastic Stokes fluid velocity field. This is a generalization of previous models which have used linear spring forces as well as white-in-time fluid velocity fields.
We follow previous work combining control theoretic arguments, Lyapunov functions, and hypo-elliptic diffusion theory to prove exponential convergence via a Harris chain argument. In addition we allow the possibility of excluding certain "bad" sets in phase space in which the assumptions are violated but from which the system leaves with a controllable probability. This allows for the treatment of singular drifts, such as those derived from the Lennard-Jones potential, which is a novel feature of this work.
△ Less
Submitted 23 July, 2012; v1 submitted 25 February, 2009;
originally announced February 2009.
-
Asymptotic coupling and a weak form of Harris' theorem with applications to stochastic delay equations
Authors:
Martin Hairer,
Jonathan C. Mattingly,
Michael Scheutzow
Abstract:
There are many Markov chains on infinite dimensional spaces whose one-step transition kernels are mutually singular when starting from different initial conditions. We give results which prove unique ergodicity under minimal assumptions on one hand and the existence of a spectral gap under conditions reminiscent of Harris' theorem. The first uses the existence of couplings which draw the solutio…
▽ More
There are many Markov chains on infinite dimensional spaces whose one-step transition kernels are mutually singular when starting from different initial conditions. We give results which prove unique ergodicity under minimal assumptions on one hand and the existence of a spectral gap under conditions reminiscent of Harris' theorem. The first uses the existence of couplings which draw the solutions together as time goes to infinity. Such "asymptotic couplings" were central to recent work on SPDEs on which this work builds. The emphasis here is on stochastic differential delay equations.Harris' celebrated theorem states that if a Markov chain admits a Lyapunov function whose level sets are "small" (in the sense that transition probabilities are uniformly bounded from below), then it admits a unique invariant measure and transition probabilities converge towards it at exponential speed. This convergence takes place in a total variation norm, weighted by the Lyapunov function. A second aim of this article is to replace the notion of a "small set" by the much weaker notion of a "d-small set," which takes the topology of the underlying space into account via a distance-like function d. With this notion at hand, we prove an analogue to Harris' theorem, where the convergence takes place in a Wasserstein-like distance weighted again by the Lyapunov function. This abstract result is then applied to the framework of stochastic delay equations.
△ Less
Submitted 19 August, 2009; v1 submitted 25 February, 2009;
originally announced February 2009.
-
Yet another look at Harris' ergodic theorem for Markov chains
Authors:
Martin Hairer,
Jonathan C. Mattingly
Abstract:
The aim of this note is to present an elementary proof of a variation of Harris' ergodic theorem of Markov chains. This theorem, dating back to the fifties essentially states that a Markov chain is uniquely ergodic if it admits a ``small'' set which is visited infinitely often. This gives an extension of the ideas of Doeblin to the unbounded state space setting. Often this is established by find…
▽ More
The aim of this note is to present an elementary proof of a variation of Harris' ergodic theorem of Markov chains. This theorem, dating back to the fifties essentially states that a Markov chain is uniquely ergodic if it admits a ``small'' set which is visited infinitely often. This gives an extension of the ideas of Doeblin to the unbounded state space setting. Often this is established by finding a Lyapunov function with ``small'' level sets. This topic has been studied by many authors (cf. Harris, Hasminskii, Nummelin, Meyn and Tweedie). If the Lyapunov function is strong enough, one has a spectral gap in a weighted supremum norm (cf. Meyn and Tweedie).
Traditional proofs of this result rely on the decomposition of the Markov chain into excursions away from the small set and a careful analysis of the exponential tail of the length of these excursions. There have been other variations which have made use of Poisson equations or worked at getting explicit constants. The present proof is very direct, and relies instead on introducing a family of equivalent weighted norms indexed by a parameter $β$ and to make an appropriate choice of this parameter that allows to combine in a very elementary way the two ingredients (existence of a Lyapunov function and irreducibility) that are crucial in obtaining a spectral gap.
The original motivation of this proof was the authors' work on spectral gaps in Wasserstein metrics. The proof presented in this note is a version of our reasoning in the total variation setting which we used to guide the calculations in arXiv:math/0602479. While we initially produced it for that purpose, we hope that it will be of interest in its own right.
△ Less
Submitted 15 October, 2008;
originally announced October 2008.