Showing 1–49 of 49 results for author: Simpson, G

Metastability in the stochastic nearest-neighbor Kuramoto model of coupled phase oscillators

Authors: Nils Berglund, Georgi S. Medvedev, Gideon Simpson

Abstract: The Kuramoto model (KM) of $n$ coupled phase-oscillators is analyzed in this work. The KM on a Cayley graph possesses a family of steady state solutions called twisted states. Topologically distinct twisted states are distinguished by the winding number $q\in\mathbb{Z}$. These states are known to be stable for small enough $q$. In the presence of small noise, the KM exhibits metastable transitions… ▽ More The Kuramoto model (KM) of $n$ coupled phase-oscillators is analyzed in this work. The KM on a Cayley graph possesses a family of steady state solutions called twisted states. Topologically distinct twisted states are distinguished by the winding number $q\in\mathbb{Z}$. These states are known to be stable for small enough $q$. In the presence of small noise, the KM exhibits metastable transitions between $q$-twisted states: A typical trajectory remains in the basin of attraction of a given $q$-twisted state for an exponentially long time, but eventually transitions to the vicinity of another such state. In the course of this transition, it passes in close proximity of a saddle of Morse index $1$, called a relevant saddle. In this work, we provide an exhaustive analysis of metastable transitions in the stochastic KM with nearest-neighbor coupling. We start by analyzing the equilibria and their stability. First, we identify all equilibria in this model. Using the discrete Fourier transform and eigenvalue estimates for rank-1 perturbations of symmetric matrices, we classify the equilibria by their Morse indices. In particular, we identify all stable equilibria and all relevant saddles involved in the metastable transitions. Further, we use Freidlin-Wentzell theory and the potential-theoretic approach to metastability to establish the metastable hierarchy and sharp estimates of Eyring-Kramers type for the transition times. The former determines the precise order, in which the metastable transitions occur, while the latter characterizes the times between successive transitions. The theoretical estimates are complemented by numerical simulations and a careful numerical verification of the transition times. Finally, we discuss the implications of this work for the KM with other coupling types including nonlocal coupling and the continuum limit as $n$ tends to infinity. △ Less

Submitted 19 December, 2024; originally announced December 2024.

Comments: 37 pages, 15 figures

MSC Class: 60H10; 34F05; 60K35; 92B20

Counting the number of stationary solutions of Partial Differential Equations via infinite dimensional sampling

Authors: Martin Kolodziejczyk, Michela Ottobre, Gideon Simpson

Abstract: This paper is concerned with the problem of counting solutions of stationary nonlinear Partial Differential Equations (PDEs) when the PDE is known to admit more than one solution. We suggest tackling the problem via a sampling-based approach. We test our proposed methodology on the McKean-Vlasov PDE, more precisely on the problem of determining the number of stationary solutions of the McKean-Vlas… ▽ More This paper is concerned with the problem of counting solutions of stationary nonlinear Partial Differential Equations (PDEs) when the PDE is known to admit more than one solution. We suggest tackling the problem via a sampling-based approach. We test our proposed methodology on the McKean-Vlasov PDE, more precisely on the problem of determining the number of stationary solutions of the McKean-Vlasov (or porous medium) equation. △ Less

Submitted 28 February, 2025; v1 submitted 11 November, 2024; originally announced November 2024.

MSC Class: 35Q83; 35Q70; 60H15; 65M22; 65K99; 82M60

The fast committor machine: Interpretable prediction with kernels

Authors: D. Aristoff, M. Johnson, G. Simpson, R. J. Webber

Abstract: In the study of stochastic systems, the committor function describes the probability that a system starting from an initial configuration $x$ will reach a set $B$ before a set $A$. This paper introduces an efficient and interpretable algorithm for approximating the committor, called the "fast committor machine" (FCM). The FCM uses simulated trajectory data to build a kernel-based model of the comm… ▽ More In the study of stochastic systems, the committor function describes the probability that a system starting from an initial configuration $x$ will reach a set $B$ before a set $A$. This paper introduces an efficient and interpretable algorithm for approximating the committor, called the "fast committor machine" (FCM). The FCM uses simulated trajectory data to build a kernel-based model of the committor. The kernel function is constructed to emphasize low-dimensional subspaces that optimally describe the $A$ to $B$ transitions. The coefficients in the kernel model are determined using randomized linear algebra, leading to a runtime that scales linearly in the number of data points. In numerical experiments involving a triple-well potential and alanine dipeptide, the FCM yields higher accuracy and trains more quickly than a neural network with the same number of parameters. The FCM is also more interpretable than the neural net. △ Less

Submitted 10 August, 2024; v1 submitted 16 May, 2024; originally announced May 2024.

Comments: 10 pages, 7 figures

MSC Class: 82C31; 82C32; 65C30; 65C40

Iterate Averaging, the Kalman Filter, and 3DVAR for Linear Inverse Problem

Authors: Felix G. Jones, Gideon Simpson

Abstract: It has been proposed that classical filtering methods, like the Kalman filter and 3DVAR, can be used to solve linear statistical inverse problems. In the work of Iglesias, Lin, Lu, & Stuart (2017), error estimates were obtained for this approach. By optimally tuning a regularization parameter in the filters, the authors were able to show that the mean squared error could be systematically reduced.… ▽ More It has been proposed that classical filtering methods, like the Kalman filter and 3DVAR, can be used to solve linear statistical inverse problems. In the work of Iglesias, Lin, Lu, & Stuart (2017), error estimates were obtained for this approach. By optimally tuning a regularization parameter in the filters, the authors were able to show that the mean squared error could be systematically reduced. Building on the aforementioned work of Iglesias, Lin, Lu, & Stuart, we prove that by (i) considering the problem in a weaker norm and (ii) applying simple iterate averaging of the filter output, 3DVAR will converge in mean square, unconditionally on the choice of parameter. Without iterate averaging, 3DVAR cannot converge by running additional iterations with a fixed choice of parameter. We also establish that the Kalman filter's performance in this setting cannot be improved through iterate averaging. We illustrate our results with numerical experiments that suggest our convergence rates are sharp. △ Less

Submitted 10 May, 2022; v1 submitted 6 October, 2021; originally announced October 2021.

Comments: revision 1, 20 pages, 3 figures

MSC Class: 93E11; 65J22; 47A52

A Numerical Method for a Nonlocal Diffusion Equation with Additive Noise

Authors: Georgi Medvedev, Gideon Simpson

Abstract: We consider a nonlocal evolution equation representing the continuum limit of a large ensemble of interacting particles on graphs forced by noise. The two principle ingredients of the continuum model are a nonlocal term and Q-Wiener process describing the interactions among the particles in the network and stochastic forcing respectively. The network connectivity is given by a square integrable fu… ▽ More We consider a nonlocal evolution equation representing the continuum limit of a large ensemble of interacting particles on graphs forced by noise. The two principle ingredients of the continuum model are a nonlocal term and Q-Wiener process describing the interactions among the particles in the network and stochastic forcing respectively. The network connectivity is given by a square integrable function called a graphon. We prove that the initial value problem for the continuum model is well-posed. Further, we construct a semidiscrete (discrete in space and continuous in time) and a fully discrete schemes for the nonlocal model. The former is obtained by a discontinuous Galerkin method and the latter is based on further discretizing time using the Euler-Maruyama method. We prove convergence and estimate the rate of convergence in each case. For the semidiscrete scheme, the rate of convergence estimate is expressed in terms of the regularity of the graphon, Q-Wiener process, and the initial data. We work in generalized Lipschitz spaces, which allows to treat models with data of lower regularity. This is important for applications as many interesting types of connectivity including small-world and power-law are expressed by graphons that are not smooth. The error analysis of the fully discrete scheme, on the other hand, reveals that for some models common in applied science, one has a higher speed of convergence than that predicted by the standard estimates for the Euler-Maruyama method. The rate of convergence analysis is supplemented with detailed numerical experiments, which are consistent with our analytical results. As a by-product, this work presents a rigorous justification for taking continuum limit for a large class of interacting dynamical systems on graphs subject to noise. △ Less

Submitted 4 April, 2022; v1 submitted 16 August, 2021; originally announced August 2021.

Comments: 33 pages, 2 figures, first revision

MSC Class: 65C30; 60H15; 60H35; 34C15

Pseudojump inversion in special r. b. $Π^0_1$ classes

Authors: Hayden R. Jananthan, Stephen G. Simpson

Abstract: The Jump Inversion Theorem says that for every real $A \ge_T 0'$ there is a real $B$ such that $A \equiv_T B' \equiv_T B \oplus 0'$. A known refinement of this theorem says that we can choose $B$ to be a member of any special $Π^0_1$ subclass of $\{0,1\}^ω$. We now consider the possibility of analogous refinements of two other well-known theorems: the Join Theorem -- for all reals $A$ and $Z$ such… ▽ More The Jump Inversion Theorem says that for every real $A \ge_T 0'$ there is a real $B$ such that $A \equiv_T B' \equiv_T B \oplus 0'$. A known refinement of this theorem says that we can choose $B$ to be a member of any special $Π^0_1$ subclass of $\{0,1\}^ω$. We now consider the possibility of analogous refinements of two other well-known theorems: the Join Theorem -- for all reals $A$ and $Z$ such that $A \ge_T Z \oplus 0'$ and $Z >_T 0$, there is a real $B$ such that $A \equiv_T B' \equiv_T B \oplus 0' \equiv_T B \oplus Z$ -- and the Pseudojump Inversion Theorem -- for all reals $A \ge_T 0'$ and every $e \in ω$, there is a real $B$ such that $A \equiv_T B \oplus W_e^B \equiv_T B \oplus 0'$. We show that in these theorems, $B$ can be found in some special $Π^0_1$ subclasses of $\{0,1\}^ω$ but not in others. △ Less

Submitted 11 February, 2021; originally announced February 2021.

Comments: 19 pages, submitted for publication

MSC Class: 03D28 (Primary) 03D30; 03D32; 03D35 (Secondary)

Turing Degrees of Hyperjumps

Authors: Hayden R. Jananthan, Stephen G. Simpson

Abstract: The Posner-Robinson Theorem states that for any reals $Z$ and $A$ such that $Z \oplus 0' \leq_\mathrm{T} A$ and $0 <_\mathrm{T} Z$, there exists $B$ such that $A \equiv_\mathrm{T} B' \equiv_\mathrm{T} B \oplus Z \equiv_\mathrm{T} B \oplus 0'$. Consequently, any nonzero Turing degree $\operatorname{deg}_\mathrm{T}(Z)$ is a Turing jump relative to some $B$. Here we prove the hyperarithmetical analog… ▽ More The Posner-Robinson Theorem states that for any reals $Z$ and $A$ such that $Z \oplus 0' \leq_\mathrm{T} A$ and $0 <_\mathrm{T} Z$, there exists $B$ such that $A \equiv_\mathrm{T} B' \equiv_\mathrm{T} B \oplus Z \equiv_\mathrm{T} B \oplus 0'$. Consequently, any nonzero Turing degree $\operatorname{deg}_\mathrm{T}(Z)$ is a Turing jump relative to some $B$. Here we prove the hyperarithmetical analog, based on an unpublished proof of Slaman, namely that for any reals $Z$ and $A$ such that $Z \oplus \mathcal{O} \leq_\mathrm{T} A$ and $0 <_\mathrm{HYP} Z$, there exists $B$ such that $A \equiv_\mathrm{T} \mathcal{O}^B \equiv_\mathrm{T} B \oplus Z \equiv_\mathrm{T} B \oplus \mathcal{O}$. As an analogous consequence, any nonhyperarithmetical Turing degree $\operatorname{deg}_\mathrm{T}(Z)$ is a hyperjump relative to some $B$. △ Less

Submitted 19 July, 2024; v1 submitted 21 January, 2021; originally announced January 2021.

Comments: 16 pages, submitted for publication in Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, 2020

Very weak fragments of weak Kőnig's lemma

Authors: Stephen G. Simpson, Keita Yokoyama

Abstract: It is well-known that any finite $Π^{0}_{1}$-class of $2^{\mathbb N}$ has a computable member. Then, how can we understand this in the context of reverse mathematics? In this note, we consider several very weak fragments of Kőnig's lemma to answer this qeustion. It is well-known that any finite $Π^{0}_{1}$-class of $2^{\mathbb N}$ has a computable member. Then, how can we understand this in the context of reverse mathematics? In this note, we consider several very weak fragments of Kőnig's lemma to answer this qeustion. △ Less

Submitted 3 January, 2021; originally announced January 2021.

Comments: Technical note

A splitting method to reduce MCMC variance

Authors: Robert J. Webber, David Aristoff, Gideon Simpson

Abstract: We explore whether splitting and killing methods can improve the accuracy of Markov chain Monte Carlo (MCMC) estimates of rare event probabilities, and we make three contributions. First, we prove that "weighted ensemble" is the only splitting and killing method that provides asymptotically consistent estimates when combined with MCMC. Second, we prove a lower bound on the asymptotic variance of w… ▽ More We explore whether splitting and killing methods can improve the accuracy of Markov chain Monte Carlo (MCMC) estimates of rare event probabilities, and we make three contributions. First, we prove that "weighted ensemble" is the only splitting and killing method that provides asymptotically consistent estimates when combined with MCMC. Second, we prove a lower bound on the asymptotic variance of weighted ensemble's estimates. Third, we give a constructive proof and numerical examples to show that weighted ensemble can approach this optimal variance bound, in many cases reducing the variance of MCMC estimates by multiple orders of magnitude. △ Less

Submitted 16 December, 2020; v1 submitted 27 November, 2020; originally announced November 2020.

Comments: 30 pages, 9 figures

MSC Class: 65C05; 65C40; 82C80

Sampling from Rough Energy Landscapes

Authors: Petr Plecháč, Gideon Simpson

Abstract: We examine challenges to sampling from Boltzmann distributions associated with multiscale energy landscapes. The multiscale features, or "roughness," corresponds to highly oscillatory, but bounded, perturbations of a smooth landscape. Through a combination of numerical experiments and analysis we demonstrate that the performance of Metropolis Adjusted Langevin Algorithm can be severely attenuated… ▽ More We examine challenges to sampling from Boltzmann distributions associated with multiscale energy landscapes. The multiscale features, or "roughness," corresponds to highly oscillatory, but bounded, perturbations of a smooth landscape. Through a combination of numerical experiments and analysis we demonstrate that the performance of Metropolis Adjusted Langevin Algorithm can be severely attenuated as the roughness increases. In contrast, we prove that Random Walk Metropolis is insensitive to such roughness. We also formulate two alternative sampling strategies that incorporate large scale features of the energy landscape, while resisting the impact of fine scale roughness; these also outperform Random Walk Metropolis. Numerical experiments on these landscapes are presented that confirm our predictions. Open questions and numerical challenges are also highlighted. △ Less

Submitted 1 July, 2020; v1 submitted 24 March, 2019; originally announced March 2019.

Comments: 34 pages, first revision

MSC Class: 65C05; 65C40; 60J22

A symmetric $β$-model

Authors: Stephen G. Simpson

Abstract: We prove that there exists a countable $β$-model in which, for all reals $X$ and $Y$, $X$ is definable from $Y$ if and only $X$ is hyperarithmetical in $Y$. We also obtain some related results and pose some related questions. We prove that there exists a countable $β$-model in which, for all reals $X$ and $Y$, $X$ is definable from $Y$ if and only $X$ is hyperarithmetical in $Y$. We also obtain some related results and pose some related questions. △ Less

Submitted 6 March, 2018; originally announced March 2018.

Comments: 8 pages. This paper was written in 2000 but was not published until 2018. The only change since 2000 is that the references have been updated

MSC Class: 03F35; 03C62; 03C25; 03D80; 03B30

Existence theory for magma equations in dimension two and higher

Authors: David M. Ambrose, Gideon Simpson, J. Douglas Wright, Dennis G. Yang

Abstract: We examine a degenerate, dispersive, nonlinear wave equation related to the evolution of partially molten rock in dimensions two and higher. This simplified model, for a scalar field capturing the melt fraction by volume, has been studied by direct numerical simulation where it has been observed to develop stable solitary waves. In this work, we prove local in time well-posedness results for the t… ▽ More We examine a degenerate, dispersive, nonlinear wave equation related to the evolution of partially molten rock in dimensions two and higher. This simplified model, for a scalar field capturing the melt fraction by volume, has been studied by direct numerical simulation where it has been observed to develop stable solitary waves. In this work, we prove local in time well-posedness results for the time dependent equation, on both the whole space and the torus, for dimensions two and higher. We also prove the existence of the solitary wave solutions in dimensions two and higher. △ Less

Submitted 7 July, 2018; v1 submitted 14 June, 2017; originally announced June 2017.

Symbolic dynamics: entropy = dimension = complexity

Authors: Stephen G. Simpson

Abstract: Let $G$ be the group $\mathbb{Z}^d$ or the monoid $\mathbb{N}^d$ where $d$ is a positive integer. Let $X$ be a subshift over $G$, i.e., a closed and shift-invariant subset of $A^G$ where $A$ is a finite alphabet. We prove that the topological entropy of $X$ is equal to the Hausdorff dimension of $X$ and has a sharp characterization in terms of the Kolmogorov complexity of finite pieces of the orbi… ▽ More Let $G$ be the group $\mathbb{Z}^d$ or the monoid $\mathbb{N}^d$ where $d$ is a positive integer. Let $X$ be a subshift over $G$, i.e., a closed and shift-invariant subset of $A^G$ where $A$ is a finite alphabet. We prove that the topological entropy of $X$ is equal to the Hausdorff dimension of $X$ and has a sharp characterization in terms of the Kolmogorov complexity of finite pieces of the orbits of $X$. In the version of this paper that has been published in Theory of Computing Systems, the proof of Lemma 4.3 contains a confusing typographical error. This version of the paper corrects that error. △ Less

Submitted 14 February, 2017; originally announced February 2017.

Comments: 19 pages

MSC Class: 37B10 (Primary); 37B40; 94A17; 68Q30 (Secondary)

Journal ref: Theory of Computing Systems 56(3), 2015, pages 527-543

Spin-Diffusions and Diffusive Molecular Dynamics

Authors: Brittan A Farmer, Mitchell Luskin, Petr Plecháč, Gideon Simpson

Abstract: Metastable condensed matter typically fluctuates about local energy minima at the femtosecond time scale before transitioning between local minima after nanoseconds or microseconds. This vast scale separation limits the applicability of classical molecular dynamics methods and has spurned the development of a host of approximate algorithms. One recently proposed method is diffusive molecular dynam… ▽ More Metastable condensed matter typically fluctuates about local energy minima at the femtosecond time scale before transitioning between local minima after nanoseconds or microseconds. This vast scale separation limits the applicability of classical molecular dynamics methods and has spurned the development of a host of approximate algorithms. One recently proposed method is diffusive molecular dynamics which aims to integrate a system of ordinary differential equations describing the likelihood of occupancy by one of two species, in the case of a binary alloy, while quasistatically evolving the locations of the atoms. While diffusive molecular dynamics has shown to be efficient and provide agreement with observations, it is fundamentally a model, with unclear connections to classical molecular dynamics. In this work, we formulate a spin-diffusion stochastic process and show how it can be connected to diffusive molecular dynamics. The spin-diffusion model couples a classical overdamped Langevin equation to a kinetic Monte Carlo model for exchange amongst the species of a binary alloy. Under suitable assumptions and approximations, spin-diffusion can be shown to lead to diffusive molecular molecular dynamics type models. The key assumptions and approximations include a well defined time scale separation, a choice of spin exchange rates, a low temperature approximation, and a mean field type approximation. We derive several models from different assumptions and show their relationship to diffusive molecular dynamics. Differences and similarities amongst the models are explored in a simple test problem. △ Less

Submitted 23 September, 2017; v1 submitted 5 February, 2017; originally announced February 2017.

Comments: 26 Pages, corrected a typo from the previous version

MSC Class: 60G20 82C80 37N15 74H15

Conservative Integrators for a Toy Model of Weak Turbulence

Authors: Aquil D. Jones, Gideon Simpson, William Wilson

Abstract: Weak turbulence is a phenomenon by which a system generically transfers energy from low to high wave numbers, while persisting for all finite time. It has been conjectured by Bourgain that the 2D defocusing nonlinear Schrödinger equation (NLS) on the torus has this dynamic, and several analytical and numerical studies have worked towards addressing this point. In the process of studying the conj… ▽ More Weak turbulence is a phenomenon by which a system generically transfers energy from low to high wave numbers, while persisting for all finite time. It has been conjectured by Bourgain that the 2D defocusing nonlinear Schrödinger equation (NLS) on the torus has this dynamic, and several analytical and numerical studies have worked towards addressing this point. In the process of studying the conjecture, Colliander, Keel, Staffilani, Takaoka, and Tao introduced a "toy model" dynamical system as an approximation of NLS, which has been subsequently studied numerically. In this work, we formulate and examine several numerical schemes for integrating this model equation. The model has two invariants, and our schemes aim to conserve at least one of them. We prove convergence in some cases, and our numerical studies show that the schemes compare favorably to others, such as Trapezoidal Rule and fixed step fourth order Runge-Kutta. The preservation of the invariants is particularly important in the study of weak turbulence as the energy transfer tends to occur on long time scales. △ Less

Submitted 18 July, 2017; v1 submitted 30 June, 2016; originally announced July 2016.

Comments: 16 pages, corrected references

MSC Class: 35Q55; 34A33; 65P10; 65L20

Local structure of singular profiles for a Derivative Nonlinear Schrödinger Equation

Authors: Yuri Cher, Gideon Simpson, Catherine Sulem

Abstract: The Derivative Nonlinear Schrödinger equation is an $L^2$-critical nonlinear dispersive equation model for Alfvén waves in space plasmas. Recent numerical studies on an $L^2$-supercritical extension of this equation provide evidence of finite time singularities. Near the singular point, the solution is described by a universal profile that solves a nonlinear elliptic eigenvalue problem depending o… ▽ More The Derivative Nonlinear Schrödinger equation is an $L^2$-critical nonlinear dispersive equation model for Alfvén waves in space plasmas. Recent numerical studies on an $L^2$-supercritical extension of this equation provide evidence of finite time singularities. Near the singular point, the solution is described by a universal profile that solves a nonlinear elliptic eigenvalue problem depending only on the strength of the nonlinearity. In the present work, we describe the deformation of the profile and its parameters near criticality, combining asymptotic analysis and numerical simulations. △ Less

Submitted 7 February, 2016; originally announced February 2016.

Comments: 34 pages, 14 figures

MSC Class: 35Q55; 37K40; 35Q51; 65M60

Existence and Stability Properties of Radial Bound States for Schrödinger-Poisson with an External Coulomb Potential in Three Space Dimensions

Authors: Sarah Raynor, Jeremy L. Marzuola, Gideon Simpson

Abstract: We consider radial solutions to the Schrödinger-Poisson system in three dimensions with an external smooth potential with Coulomb-like decay. Such a system can be viewed as a model for the interaction of dark matter with a bright matter background in the non-relativistic limit. We find that there are infinitely many critical points of the Hamiltonian, subject to fixed mass, and that these bifurcat… ▽ More We consider radial solutions to the Schrödinger-Poisson system in three dimensions with an external smooth potential with Coulomb-like decay. Such a system can be viewed as a model for the interaction of dark matter with a bright matter background in the non-relativistic limit. We find that there are infinitely many critical points of the Hamiltonian, subject to fixed mass, and that these bifurcate from solutions to the associated linear problem at zero mass. As a result, each branch has a different topological character defined by the number of zeros of the radial states. We construct numerical approximations to these nonlinear states along the first several branches. The solution branches can be continued, numerically, to large mass values, where they become asymptotic, under a rescaling, to those of the Schrödinger-Poisson problem with no external potential. Our numerical computations indicate that the ground state is orbitally stable, while the excited states are linearly unstable for sufficiently large mass. △ Less

Submitted 12 September, 2016; v1 submitted 11 December, 2015; originally announced December 2015.

Comments: 23 pages; Dramatic changes: improved exposition, Linearized operator calculations included, and more. Updates from referee reports taken into consideration

MSC Class: 35C08; 37K40; 35Q55

Reverse mathematics, Young diagrams, and the ascending chain condition

Authors: Kostas Hatzikiriakou, Stephen G. Simpson

Abstract: Let $S$ be the group of finitely supported permutations of a countably infinite set. Let $K[S]$ be the group algebra of $S$ over a field $K$ of characteristic $0$. According to a theorem of Formanek and Lawrence, $K[S]$ satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over RCA$_0$ (or even over RCA$_0^*$) to the… ▽ More Let $S$ be the group of finitely supported permutations of a countably infinite set. Let $K[S]$ be the group algebra of $S$ over a field $K$ of characteristic $0$. According to a theorem of Formanek and Lawrence, $K[S]$ satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over RCA$_0$ (or even over RCA$_0^*$) to the statement that $ω^ω$ is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering. △ Less

Submitted 11 October, 2015; originally announced October 2015.

Comments: 14 pages

MSC Class: Primary 03B30; Secondary 16P40; 16S34; 05A17; 03F15

Comparing WO$(ω^ω)$ with $Σ^0_2$ induction

Authors: Stephen G. Simpson

Abstract: Let WO$(ω^ω)$ be the statement that the ordinal number $ω^ω$ is well ordered. WO$(ω^ω)$ has occurred several times in the reverse-mathematical literature. The purpose of this expository note is to discuss the place of WO$(ω^ω)$ within the standard hierarchy of subsystems of second-order arithmetic. We prove that WO$(ω^ω)$ is implied by I$Σ^0_2$ and independent of B$Σ^0_2$. We also prove that WO… ▽ More Let WO$(ω^ω)$ be the statement that the ordinal number $ω^ω$ is well ordered. WO$(ω^ω)$ has occurred several times in the reverse-mathematical literature. The purpose of this expository note is to discuss the place of WO$(ω^ω)$ within the standard hierarchy of subsystems of second-order arithmetic. We prove that WO$(ω^ω)$ is implied by I$Σ^0_2$ and independent of B$Σ^0_2$. We also prove that WO$(ω^ω)$ and B$Σ^0_2$ together do not imply I$Σ^0_2$. △ Less

Submitted 11 August, 2015; originally announced August 2015.

Comments: 6 pages

MSC Class: Primary 03B30; Secondary 03F15; 03F30; 03F35

Relative Entropy Minimization over Hilbert Spaces via Robbins-Monro

Authors: Gideon Simpson, Daniel Watkins

Abstract: One way of getting insight into non-Gaussian measures, posed on infinite dimensional Hilbert spaces, is to first obtain best fit Gaussian approximations, which are more amenable to numerical approximation. These Gaussians can then be used to accelerate sampling algorithms. This begs the questions of how one should measure optimality and how the optimizers can be obtained. Here, we consider the pro… ▽ More One way of getting insight into non-Gaussian measures, posed on infinite dimensional Hilbert spaces, is to first obtain best fit Gaussian approximations, which are more amenable to numerical approximation. These Gaussians can then be used to accelerate sampling algorithms. This begs the questions of how one should measure optimality and how the optimizers can be obtained. Here, we consider the problem of minimizing the distance with respect to relative entropy. We examine this minimization problem by seeking roots of the first variation of relative entropy, taken with respect to the mean of the Gaussian, leaving the covariance fixed. Adapting a convergence analysis of Robbins-Monro to the infinite dimensional setting, we can justify the application of this algorithm and highlight necessary assumptions to ensure convergence, not only in the context of relative entropy minimization, but other infinite dimensional problems as well. Numerical examples in path space, showing the robustness of this method with respect to dimension, are provided. △ Less

Submitted 22 May, 2019; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: corrected typos

MSC Class: 65C05; 60G15; 62G05; 65K10; 62L20

Analysis of estimators for adaptive Kinetic Monte Carlo

Authors: D. Aristoff, S. Chill, G. Simpson

Abstract: Adaptive Kinetic Monte Carlo combines the simplicity of Kinetic Monte Carlo (KMC) with a Molecular Dynamics (MD) based saddle point search algorithm in order to simulate metastable systems. Key to making Adaptive KMC effective is a stopping criterion for the saddle point search. In this work, we examine a recent criterion, due to S. Chill and G. Henkelman, that is based on the fraction of total re… ▽ More Adaptive Kinetic Monte Carlo combines the simplicity of Kinetic Monte Carlo (KMC) with a Molecular Dynamics (MD) based saddle point search algorithm in order to simulate metastable systems. Key to making Adaptive KMC effective is a stopping criterion for the saddle point search. In this work, we examine a recent criterion, due to S. Chill and G. Henkelman, that is based on the fraction of total reaction rate found instead of the fraction of observed saddles. The criterion uses the Eyring-Kramers law to estimate the reaction rate at the MD search temperature. We also consider a related criterion that remains valid when the Eyring-Kramers law is not. We examine the mathematical properties of both estimators and prove their mean square errors are well behaved, vanishing as the simulation continues to run. △ Less

Submitted 16 June, 2015; originally announced June 2015.

Comments: 14 pages, 2 figures

MSC Class: 65C05; 65C20; 82C80

Journal ref: Comm. App. Math. and Comp. Sci. 11(2), 171-186 (2016)

A Theoretical Examination of Diffusive Molecular Dynamics

Authors: Gideon Simpson, Mitchell Luskin, David J. Srolovitz

Abstract: Diffusive molecular dynamics is a novel model for materials with atomistic resolution that can reach diffusive time scales. The main ideas of diffusive molecular dynamics are to first minimize an approximate variational Gaussian free energy of the system with respect to the mean atomic coordinates (averaging over many vibrational periods), and to then to perform a diffusive step where atoms and va… ▽ More Diffusive molecular dynamics is a novel model for materials with atomistic resolution that can reach diffusive time scales. The main ideas of diffusive molecular dynamics are to first minimize an approximate variational Gaussian free energy of the system with respect to the mean atomic coordinates (averaging over many vibrational periods), and to then to perform a diffusive step where atoms and vacancies (or two species in a binary alloy) flow on a diffusive time scale via a master equation. We present a mathematical framework for studying this algorithm based upon relative entropy, or Kullback-Leibler divergence. This adds flexibility in how the algorithm is implemented and interpreted. We then compare our formulation, relying on relative entropy and absolute continuity of measures, to existing formulations. The main difference amongst the equations appears in a model for vacancy diffusion, where additional entropic terms appear in our development. △ Less

Submitted 8 June, 2015; originally announced June 2015.

Comments: 19 pages

MSC Class: 65Z05; 65C20; 82C80

Petviashvilli's Method for the Dirichlet Problem

Authors: Derek Olson, Soumitra Shukla, Gideon Simpson, Daniel Spirn

Abstract: We examine the Petviashvilli method for solving the equation $ φ- Δφ= |φ|^{p-1} φ$ on a bounded domain $Ω\subset \mathbb{R}^d$ with Dirichlet boundary conditions. We prove a local convergence result, using spectral analysis, akin to the result for the problem on $\mathbb{R}$ by Pelinovsky & Stepanyants, 2004. We also prove a global convergence result by generating a suite of nonlinear inequalities… ▽ More We examine the Petviashvilli method for solving the equation $ φ- Δφ= |φ|^{p-1} φ$ on a bounded domain $Ω\subset \mathbb{R}^d$ with Dirichlet boundary conditions. We prove a local convergence result, using spectral analysis, akin to the result for the problem on $\mathbb{R}$ by Pelinovsky & Stepanyants, 2004. We also prove a global convergence result by generating a suite of nonlinear inequalities for the iteration sequence, and we show that the sequence has a natural energy that decreases along the sequence. △ Less

Submitted 26 November, 2014; v1 submitted 15 November, 2014; originally announced November 2014.

Comments: 24 pages, 7 figures, shortened for publication with some corrections. See v1 for more detailed proofs of the local convergence

MSC Class: 35J60; 35C08; 65N12

Mass problems and intuitionistic higher-order logic

Authors: Sankha S. Basu, Stephen G. Simpson

Abstract: In this paper we study a model of intuitionistic higher-order logic which we call \emph{the Muchnik topos}. The Muchnik topos may be defined briefly as the category of sheaves of sets over the topological space consisting of the Turing degrees, where the Turing cones form a base for the topology. We note that our Muchnik topos interpretation of intuitionistic mathematics is an extension of the wel… ▽ More In this paper we study a model of intuitionistic higher-order logic which we call \emph{the Muchnik topos}. The Muchnik topos may be defined briefly as the category of sheaves of sets over the topological space consisting of the Turing degrees, where the Turing cones form a base for the topology. We note that our Muchnik topos interpretation of intuitionistic mathematics is an extension of the well known Kolmogorov/Muchnik interpretation of intuitionistic propositional calculus via Muchnik degrees, i.e., mass problems under weak reducibility. We introduce a new sheaf representation of the intuitionistic real numbers, \emph{the Muchnik reals}, which are different from the Cauchy reals and the Dedekind reals. Within the Muchnik topos we obtain a \emph{choice principle} $(\forall x\,\exists y\,A(x,y))\Rightarrow\exists w\,\forall x\,A(x,wx)$ and a \emph{bounding principle} $(\forall x\,\exists y\,A(x,y))\Rightarrow\exists z\,\forall x\,\exists y\,(y\le_{\mathrm{T}}(x,z)\land A(x,y))$ where $x,y,z$ range over Muchnik reals, $w$ ranges over functions from Muchnik reals to Muchnik reals, and $A(x,y)$ is a formula not containing $w$ or $z$. For the convenience of the reader, we explain all of the essential background material on intuitionism, sheaf theory, intuitionistic higher-order logic, Turing degrees, mass problems, Muchnik degrees, and Kolmogorov's calculus of problems. We also provide an English translation of Muchnik's 1963 paper on Muchnik degrees. △ Less

Submitted 12 August, 2014; originally announced August 2014.

Comments: 44 pages

MSC Class: 03D28; 03F55

Algorithms for Kullback-Leibler Approximation of Probability Measures in Infinite Dimensions

Authors: Frank J. Pinski, Gideon Simpson, Andrew M. Stuart, Hendrik Weber

Abstract: In this paper we study algorithms to find a Gaussian approximation to a target measure defined on a Hilbert space of functions; the target measure itself is defined via its density with respect to a reference Gaussian measure. We employ the Kullback-Leibler divergence as a distance and find the best Gaussian approximation by minimizing this distance. It then follows that the approximate Gaussian m… ▽ More In this paper we study algorithms to find a Gaussian approximation to a target measure defined on a Hilbert space of functions; the target measure itself is defined via its density with respect to a reference Gaussian measure. We employ the Kullback-Leibler divergence as a distance and find the best Gaussian approximation by minimizing this distance. It then follows that the approximate Gaussian must be equivalent to the Gaussian reference measure, defining a natural function space setting for the underlying calculus of variations problem. We introduce a computational algorithm which is well-adapted to the required minimization, seeking to find the mean as a function, and parameterizing the covariance in two different ways: through low rank perturbations of the reference covariance; and through Schrödinger potential perturbations of the inverse reference covariance. Two applications are shown: to a nonlinear inverse problem in elliptic PDEs, and to a conditioned diffusion process. We also show how the Gaussian approximations we obtain may be used to produce improved pCN-MCMC methods which are not only well-adapted to the high-dimensional setting, but also behave well with respect to small observational noise (resp. small temperatures) in the inverse problem (resp. conditioned diffusion). △ Less

Submitted 8 August, 2014; originally announced August 2014.

Comments: 28 pages

MSC Class: 60G15; 34A55; 62G05; 65C05

Asymptotic Stability of high-dimensional Zakharov-Kuznetsov solitons

Authors: Raphaël Côte, Claudio Muñoz, Didier Pilod, Gideon Simpson

Abstract: We prove that solitons (or solitary waves) of the Zakharov-Kuznetsov (ZK) equation, a physically relevant high dimensional generalization of the Korteweg-de Vries (KdV) equation appearing in Plasma Physics, and having mixed KdV and nonlinear Schrödinger (NLS) dynamics, are strongly asymptotically stable in the energy space in the physical region. We also prove that the sum of well-arranged soliton… ▽ More We prove that solitons (or solitary waves) of the Zakharov-Kuznetsov (ZK) equation, a physically relevant high dimensional generalization of the Korteweg-de Vries (KdV) equation appearing in Plasma Physics, and having mixed KdV and nonlinear Schrödinger (NLS) dynamics, are strongly asymptotically stable in the energy space in the physical region. We also prove that the sum of well-arranged solitons is stable in the same space. Orbital stability of ZK solitons is well-known since the work of de Bouard. Our proofs follow the ideas by Martel and Martel and Merle, applied for generalized KdV equations in one dimension. In particular, we extend to the high dimensional case several monotonicity properties for suitable half-portions of mass and energy; we also prove a new Liouville type property that characterizes ZK solitons, and a key Virial identity for the linear and nonlinear part of the ZK dynamics, obtained independently of the mixed KdV-NLS dynamics. This last Virial identity relies on a simple sign condition, which is numerically tested for the two and three dimensional cases, with no additional spectral assumptions required. Possible extensions to higher dimensions and different nonlinearities could be obtained after a suitable local well-posedness theory in the energy space, and the verification of a corresponding sign condition. △ Less

Submitted 8 September, 2015; v1 submitted 12 June, 2014; originally announced June 2014.

Comments: 61 pages, 10 figures, accepted version including referee comments

A Generalized Parallel Replica Dynamics

Authors: Andrew Binder, Tony Lelièvre, Gideon Simpson

Abstract: Metastability is a common obstacle to performing long molecular dynamics simulations. Many numerical methods have been proposed to overcome it. One method is parallel replica dynamics, which relies on the rapid convergence of the underlying stochastic process to a quasi-stationary distribution. Two requirements for applying parallel replica dynamics are knowledge of the time scale on which the pro… ▽ More Metastability is a common obstacle to performing long molecular dynamics simulations. Many numerical methods have been proposed to overcome it. One method is parallel replica dynamics, which relies on the rapid convergence of the underlying stochastic process to a quasi-stationary distribution. Two requirements for applying parallel replica dynamics are knowledge of the time scale on which the process converges to the quasi-stationary distribution and a mechanism for generating samples from this distribution. By combining a Fleming-Viot particle system with convergence diagnostics to simultaneously identify when the process converges while also generating samples, we can address both points. This variation on the algorithm is illustrated with various numerical examples, including those with entropic barriers and the 2D Lennard-Jones cluster of seven atoms. △ Less

Submitted 8 October, 2014; v1 submitted 24 April, 2014; originally announced April 2014.

Comments: 24 pages, 15 figures, 6 tables

MSC Class: 65C35 65C05 65C30

Local Existence Theory for Derivative Nonlinear Schrödinger Equations with Non-Integer Power Nonlinearities

Authors: David M. Ambrose, Gideon Simpson

Abstract: We study a derivative nonlinear Schrödinger equation, allowing non-integer powers in the nonlinearity, $|u|^{2σ} u_x$. Making careful use of the energy method, we are able to establish short-time existence of solutions with initial data in the energy space, $H^1$. For more regular initial data, we establish not just existence of solutions, but also well-posedness of the initial value problem. Thes… ▽ More We study a derivative nonlinear Schrödinger equation, allowing non-integer powers in the nonlinearity, $|u|^{2σ} u_x$. Making careful use of the energy method, we are able to establish short-time existence of solutions with initial data in the energy space, $H^1$. For more regular initial data, we establish not just existence of solutions, but also well-posedness of the initial value problem. These results hold for real-valued $σ\geq 1,$ while prior existence results in the literature require integer-valued $σ$ or $σ$ sufficiently large ($σ\geq 5/2$), or use higher-regularity function spaces. △ Less

Submitted 27 January, 2014; originally announced January 2014.

Comments: 23 pages

MSC Class: 35A01 35A02 35Q41

The parallel replica method for simulating long trajectories of Markov chains

Authors: David Aristoff, Tony Lelièvre, Gideon Simpson

Abstract: The parallel replica dynamics, originally developed by A.F. Voter, efficiently simulates very long trajectories of metastable Langevin dynamics. We present an analogous algorithm for discrete time Markov processes. Such Markov processes naturally arise, for example, from the time discretization of a continuous time stochastic dynamics. Appealing to properties of quasistationary distributions, we s… ▽ More The parallel replica dynamics, originally developed by A.F. Voter, efficiently simulates very long trajectories of metastable Langevin dynamics. We present an analogous algorithm for discrete time Markov processes. Such Markov processes naturally arise, for example, from the time discretization of a continuous time stochastic dynamics. Appealing to properties of quasistationary distributions, we show that our algorithm reproduces exactly (in some limiting regime) the law of the original trajectory, coarsened over the metastable states. △ Less

Submitted 5 June, 2014; v1 submitted 17 January, 2014; originally announced January 2014.

Comments: 13 pages, 6 figures

MSC Class: 65C05; 65C20; 65C40

Journal ref: Appl. Math Res. Express 2014(2), 332-352

Propagation of partial randomness

Authors: Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson, Keita Yokoyama

Abstract: Let f be a computable function from finite sequences of 0's and 1's to real numbers. We prove that strong f-randomness implies strong f-randomness relative to a PA-degree. We also prove: if X is strongly f-random and Turing reducible to Y where Y is Martin-L"of random relative to Z, then X is strongly f-random relative to Z. In addition, we prove analogous propagation results for other notions of… ▽ More Let f be a computable function from finite sequences of 0's and 1's to real numbers. We prove that strong f-randomness implies strong f-randomness relative to a PA-degree. We also prove: if X is strongly f-random and Turing reducible to Y where Y is Martin-L"of random relative to Z, then X is strongly f-random relative to Z. In addition, we prove analogous propagation results for other notions of partial randomness, including non-K-triviality and autocomplexity. We prove that f-randomness relative to a PA-degree implies strong f-randomness, hence f-randomness does not imply f-randomness relative to a PA-degree. △ Less

Submitted 4 November, 2013; originally announced November 2013.

Comments: 27 pages. A version of this paper will appear in Annals of Pure and Applied Logic

MSC Class: Primary 03D32; Secondary 03D28; 68Q30; 03H15; 03C62; 03F30

Kullback-Leibler Approximation for Probability Measures on Infinite Dimensional Spaces

Authors: Frank Pinski, Gideon Simpson, Andrew Stuart, Hendrik Weber

Abstract: In a variety of applications it is important to extract information from a probability measure $μ$ on an infinite dimensional space. Examples include the Bayesian approach to inverse problems and possibly conditioned) continuous time Markov processes. It may then be of interest to find a measure $ν$, from within a simple class of measures, which approximates $μ$. This problem is studied in the cas… ▽ More In a variety of applications it is important to extract information from a probability measure $μ$ on an infinite dimensional space. Examples include the Bayesian approach to inverse problems and possibly conditioned) continuous time Markov processes. It may then be of interest to find a measure $ν$, from within a simple class of measures, which approximates $μ$. This problem is studied in the case where the Kullback-Leibler divergence is employed to measure the quality of the approximation. A calculus of variations viewpoint is adopted and the particular case where $ν$ is chosen from the set of Gaussian measures is studied in detail. Basic existence and uniqueness theorems are established, together with properties of minimising sequences. Furthermore, parameterisation of the class of Gaussians through the mean and inverse covariance is introduced, the need for regularisation is explained, and a regularised minimisation is studied in detail. The calculus of variations framework resulting from this work provides the appropriate underpinning for computational algorithms. △ Less

Submitted 28 March, 2014; v1 submitted 29 October, 2013; originally announced October 2013.

Comments: 38 pages, 2 figures

Harrington's results on arithmetical singletons

Authors: Stephen G. Simpson

Abstract: We exposit two previously unpublished theorems of Leo Harrington. The first theorem says that there exist arithmetical singletons which are arithmetically incomparable. The second theorem says that there exists a ranked point which is not an arithmetical singleton. Unlike Harrington's proofs of these theorems, our proofs do not use the finite- or infinite-injury priority method. Instead they use a… ▽ More We exposit two previously unpublished theorems of Leo Harrington. The first theorem says that there exist arithmetical singletons which are arithmetically incomparable. The second theorem says that there exists a ranked point which is not an arithmetical singleton. Unlike Harrington's proofs of these theorems, our proofs do not use the finite- or infinite-injury priority method. Instead they use an oracle construction adapted from the standard proof of the Friedberg Jump Theorem. △ Less

Submitted 4 March, 2013; originally announced March 2013.

Comments: 9 pages

MSC Class: 03D99; 03C40; 03F30

Focusing Singularity in a Derivative Nonlinear Schrödinger Equation

Authors: Xiao Liu, Gideon Simpson, Catherine Sulem

Abstract: We present a numerical study of a derivative nonlinear Schrödinger equation with a general power nonlinearity, $|ψ|^{2σ}ψ_x$. In the $L^2$-supercritical regime, $σ>1$, our simulations indicate that there is a finite time singularity. We obtain a precise description of the local structure of the solution in terms of blowup rate and asymptotic profile, in a form similar to that of the nonlinear Schr… ▽ More We present a numerical study of a derivative nonlinear Schrödinger equation with a general power nonlinearity, $|ψ|^{2σ}ψ_x$. In the $L^2$-supercritical regime, $σ>1$, our simulations indicate that there is a finite time singularity. We obtain a precise description of the local structure of the solution in terms of blowup rate and asymptotic profile, in a form similar to that of the nonlinear Schrödinger equation with supercritical power law nonlinearity. △ Less

Submitted 6 January, 2013; originally announced January 2013.

Comments: 24 pages, 17 figures

MSC Class: 35Q55; 37K40; 35Q51; 65M60

Behavior of a Model Dynamical System with Applications to Weak Turbulence

Authors: James E. Colliander, Jeremy L. Marzuola, Tadahiro Oh, Gideon Simpson

Abstract: We experimentally explore solutions to a model Hamiltonian dynamical system derived in Colliander et al., 2012, to study frequency cascades in the cubic defocusing nonlinear Schrödinger equation on the torus. Our results include a statistical analysis of the evolution of data with localized amplitudes and random phases, which supports the conjecture that energy cascades are a generic phenomenon. W… ▽ More We experimentally explore solutions to a model Hamiltonian dynamical system derived in Colliander et al., 2012, to study frequency cascades in the cubic defocusing nonlinear Schrödinger equation on the torus. Our results include a statistical analysis of the evolution of data with localized amplitudes and random phases, which supports the conjecture that energy cascades are a generic phenomenon. We also identify stationary solutions, periodic solutions in an associated problem and find experimental evidence of hyperbolic behavior. Many of our results rely upon reframing the dynamical system using a hydrodynamic formulation. △ Less

Submitted 13 September, 2012; v1 submitted 4 September, 2012; originally announced September 2012.

Comments: 22 pages, 14 figures

MSC Class: 35Q55

Stability of Solitary Waves for a Generalized Derivative Nonlinear Schrödinger Equation

Authors: Xiao Liu, Gideon Simpson, Catherine Sulem

Abstract: We consider a derivative nonlinear Schrödinger equation with a general nonlinearity. This equation has a two parameter family of solitary wave solutions. We prove orbital stability/instability results that depend on the strength of the nonlinearity and, in some instances, their velocity. We illustrate these results with numerical simulations. We consider a derivative nonlinear Schrödinger equation with a general nonlinearity. This equation has a two parameter family of solitary wave solutions. We prove orbital stability/instability results that depend on the strength of the nonlinearity and, in some instances, their velocity. We illustrate these results with numerical simulations. △ Less

Submitted 15 June, 2012; originally announced June 2012.

Comments: 29 pages, 4 Figures

MSC Class: 35A15; 35B35; 35Q55

Numerical Analysis of Parallel Replica Dynamics

Authors: Gideon Simpson, Mitchell Luskin

Abstract: Parallel replica dynamics is a method for accelerating the computation of processes characterized by a sequence of infrequent events. In this work, the processes are governed by the overdamped Langevin equation. Such processes spend much of their time about the minima of the underlying potential, occasionally transitioning into different basins of attraction. The essential idea of parallel replica… ▽ More Parallel replica dynamics is a method for accelerating the computation of processes characterized by a sequence of infrequent events. In this work, the processes are governed by the overdamped Langevin equation. Such processes spend much of their time about the minima of the underlying potential, occasionally transitioning into different basins of attraction. The essential idea of parallel replica dynamics is that the exit time distribution from a given well for a single process can be approximated by the minimum of the exit time distributions of $N$ independent identical processes, each run for only 1/N-th the amount of time. While promising, this leads to a series of numerical analysis questions about the accuracy of the exit distributions. Building upon the recent work in Le Bris et al., we prove a unified error estimate on the exit distributions of the algorithm against an unaccelerated process. Furthermore, we study a dephasing mechanism, and prove that it will successfully complete. △ Less

Submitted 31 August, 2012; v1 submitted 3 April, 2012; originally announced April 2012.

Comments: 37 pages, 4 figures, revised and new estimates from the previous version

MSC Class: 65C05; 82C31; 60H35

Ill-posedness of degenerate dispersive equations

Authors: David M. Ambrose, Gideon Simpson, J. Douglas Wright, Dennis G. Yang

Abstract: In this article we provide numerical and analytical evidence that some degenerate dispersive partial differential equations are ill-posed. Specifically we study the K(2,2) equation $u_t = (u^2)_{xxx} + (u^2)_{x}$ and the "degenerate Airy" equation $u_t = 2 u u_{xxx}$. For K(2,2) our results are computational in nature: we conduct a series of numerical simulations which demonstrate that data which… ▽ More In this article we provide numerical and analytical evidence that some degenerate dispersive partial differential equations are ill-posed. Specifically we study the K(2,2) equation $u_t = (u^2)_{xxx} + (u^2)_{x}$ and the "degenerate Airy" equation $u_t = 2 u u_{xxx}$. For K(2,2) our results are computational in nature: we conduct a series of numerical simulations which demonstrate that data which is very small in $H^2$ can be of unit size at a fixed time which is independent of the data's size. For the degenerate Airy equation, our results are fully rigorous: we prove the existence of a compactly supported self-similar solution which, when combined with certain scaling invariances, implies ill-posedness (also in $H^2$). △ Less

Submitted 13 April, 2011; originally announced April 2011.

Analytical and Numerical Results on the Positivity of Steady State Solutions of a Thin Film Equation

Authors: Daniel Ginsberg, Gideon Simpson

Abstract: We consider an equation for a thin-film of fluid on a rotating cylinder and present several new analytical and numerical results on steady state solutions. First, we provide an elementary proof that both weak and classical steady states must be strictly positive so long as the speed of rotation is nonzero. Next, we formulate an iterative spectral algorithm for computing these steady states. Finall… ▽ More We consider an equation for a thin-film of fluid on a rotating cylinder and present several new analytical and numerical results on steady state solutions. First, we provide an elementary proof that both weak and classical steady states must be strictly positive so long as the speed of rotation is nonzero. Next, we formulate an iterative spectral algorithm for computing these steady states. Finally, we explore a non-existence inequality for steady state solutions from the recent work of Chugunova, Pugh, & Taranets. △ Less

Submitted 28 October, 2011; v1 submitted 17 January, 2011; originally announced January 2011.

Comments: 17 pages, 12 figures

Embedded Eigenvalues and the Nonlinear Schrodinger Equation

Authors: Reza Asad, Gideon Simpson

Abstract: A common challenge to proving asymptotic stability of solitary waves is understanding the spectrum of the operator associated with the linearized flow. The existence of eigenvalues can inhibit the dispersive estimates key to proving stability. Following the work of Marzuola & Simpson, we prove the absence of embedded eigenvalues for a collection of nonlinear Schrodinger equations, including some o… ▽ More A common challenge to proving asymptotic stability of solitary waves is understanding the spectrum of the operator associated with the linearized flow. The existence of eigenvalues can inhibit the dispersive estimates key to proving stability. Following the work of Marzuola & Simpson, we prove the absence of embedded eigenvalues for a collection of nonlinear Schrodinger equations, including some one and three dimensional supercritical equations, and the three dimensional cubic-quintic equation. Our results also rule out nonzero eigenvalues within the spectral gap and, in 3D, endpoint resonances. The proof is computer assisted as it depends on the sign of certain inner products which do not readily admit analytic representations. Our source code is available for verification at http://www.math.toronto.edu/simpson/files/spec_prop_asad_simpson_code.zip. △ Less

Submitted 30 January, 2011; v1 submitted 12 January, 2011; originally announced January 2011.

Comments: 29 pages, 27 figures: fixed a typo in an equation from the previous version, and added two equations to clarify

Vortex Collapse for the L2-Critical Nonlinear Schrödinger Equation

Authors: Gideon Simpson, Ian Zwiers

Abstract: The focusing cubic nonlinear Schrödinger equation in two dimensions admits vortex solitons, standing wave solutions with spatial structure, Qm(r,theta) = e^{i m theta} Rm(r). In the case of spin m = 1, we prove there exists a class of data that collapse with the vortex soliton profile at the log-log rate. This extends the work of Merle and Raphaël, (the case m = 0,) and suggests that the L2 mass t… ▽ More The focusing cubic nonlinear Schrödinger equation in two dimensions admits vortex solitons, standing wave solutions with spatial structure, Qm(r,theta) = e^{i m theta} Rm(r). In the case of spin m = 1, we prove there exists a class of data that collapse with the vortex soliton profile at the log-log rate. This extends the work of Merle and Raphaël, (the case m = 0,) and suggests that the L2 mass that may be concentrated at a point during generic collapse may be unbounded. Difficulties with m >= 2 or when breaking the spin symmetry are discussed. △ Less

Submitted 28 October, 2010; originally announced October 2010.

Comments: 36 pages, 10 figures

MSC Class: 35Q55; 35B44; 35P15

Coherent Structures and Carrier Shocks in the Nonlinear Periodic Maxwell Equations

Authors: Gideon Simpson, Michael I. Weinstein

Abstract: We consider the one-dimensional propagation of electromagnetic waves in a weakly nonlinear and low-contrast spatially inhomogeneous medium with no energy dissipation. We focus on the case of a periodic medium, in which dispersion enters only through the (Floquet-Bloch) spectral band dispersion associated with the periodic structure; chromatic dispersion (time-nonlocality of the polarization) is ne… ▽ More We consider the one-dimensional propagation of electromagnetic waves in a weakly nonlinear and low-contrast spatially inhomogeneous medium with no energy dissipation. We focus on the case of a periodic medium, in which dispersion enters only through the (Floquet-Bloch) spectral band dispersion associated with the periodic structure; chromatic dispersion (time-nonlocality of the polarization) is neglected. Numerical simulations show that for initial conditions of wave-packet type (a plane wave of fixed carrier frequency multiplied by a slow varying, spatially localized function) very long-lived spatially localized coherent soliton-like structures emerge, whose character is that of a slowly varying envelope of a train of shocks. We call this structure an envelope carrier-shock train. The structure of the solution violates the oft-assumed nearly monochromatic wave packet structure, whose envelope is governed by the nonlinear coupled mode equations (NLCME). The inconsistency and inaccuracy of NLCME lies in the neglect of all (infinitely many) resonances except for the principle resonance induced by the initial carrier frequency. We derive, via a nonlinear geometrical optics expansion, a system of nonlocal integro-differential equations governing the coupled evolution of backward and forward propagating waves. These equations incorporate effects of all resonances. In a periodic medium, these equations may be expressed as a system of infinitely many coupled mode equations, which we call the extended nonlinear coupled mode system (xNLCME). Truncating xNLCME to include only the principle resonances leads to the classical NLCME. Numerical simulations of xNLCME demonstrate that it captures both large scale features, related to third harmonic generation, and fine scale carrier shocks features of the nonlinear periodic Maxwell equations. △ Less

Submitted 17 November, 2010; v1 submitted 19 September, 2010; originally announced September 2010.

Comments: 18 figures, added references, fixed typos

MSC Class: 78A25; 37K40; 37K05; 35L65

Solitary Wave Benchmarks in Magma Dynamics

Authors: Gideon Simpson, Marc Spiegelman

Abstract: We present a model problem for benchmarking codes that investigate magma migration in the Earth's interior. This system retains the essential features of more sophisticated models, yet has the advantage of possessing solitary wave solutions. The existence of such exact solutions to the nonlinear problem make it an excellent benchmark problem for combinations of solver algorithms. In this work, we… ▽ More We present a model problem for benchmarking codes that investigate magma migration in the Earth's interior. This system retains the essential features of more sophisticated models, yet has the advantage of possessing solitary wave solutions. The existence of such exact solutions to the nonlinear problem make it an excellent benchmark problem for combinations of solver algorithms. In this work, we explore a novel algorithm for computing high quality approximations of the solitary waves and use them to benchmark a semi-Lagrangian Crank-Nicholson scheme for a finite element discretization of the time dependent problem. △ Less

Submitted 1 September, 2010; originally announced September 2010.

Comments: 25 pages, 7 figures

Spectral Analysis for Matrix Hamiltonian Operators

Authors: Jeremy L. Marzuola, Gideon Simpson

Abstract: In this work, we study the spectral properties of matrix Hamiltonians generated by linearizing the nonlinear Schrödinger equation about soliton solutions. By a numerically assisted proof, we show that there are no embedded eigenvalues for the three dimensional cubic equation. Though we focus on a proof of the 3d cubic problem, this work presents a new algorithm for verifying certain spectral pro… ▽ More In this work, we study the spectral properties of matrix Hamiltonians generated by linearizing the nonlinear Schrödinger equation about soliton solutions. By a numerically assisted proof, we show that there are no embedded eigenvalues for the three dimensional cubic equation. Though we focus on a proof of the 3d cubic problem, this work presents a new algorithm for verifying certain spectral properties needed to study soliton stability. Source code for verification of our comptuations, and for further experimentation, are available at http://www.math.toronto.edu/simpson/files/spec_prop_code.tgz. △ Less

Submitted 2 April, 2010; v1 submitted 11 March, 2010; originally announced March 2010.

Comments: 57 pages, 22 figures, typos fixed

MSC Class: 35Q55; 65N25

Arrest of Langmuir wave collapse by quantum effects

Authors: Gideon Simpson, Catherine Sulem, Pierre-Louis Sulem

Abstract: The arrest of Langmuir-wave collapse by quantum effects, first addressed by Haas and Shukla [Phys. Rev. E 79, 066402 (2009)] using a Rayleigh-Ritz trial-function method is revisited, using rigorous estimates and systematic asymptotic expansions. The absence of blow up for the so-called quantum Zakharov equations is proved in two and three dimensions, whatever the strength of the quantum effects.… ▽ More The arrest of Langmuir-wave collapse by quantum effects, first addressed by Haas and Shukla [Phys. Rev. E 79, 066402 (2009)] using a Rayleigh-Ritz trial-function method is revisited, using rigorous estimates and systematic asymptotic expansions. The absence of blow up for the so-called quantum Zakharov equations is proved in two and three dimensions, whatever the strength of the quantum effects. The time-periodic behavior of the solution for initial conditions slightly in excess of the singularity threshold for the classical problem is established for various settings in two space dimensions. The difficulty of developing a consistent perturbative approach in three dimensions is also discussed, and a semi-phenomenological model is suggested for this case. △ Less

Submitted 9 October, 2009; originally announced October 2009.

Comments: 4 figures

MSC Class: 00A79

Numerical simulations of the energy- supercritical Nonlinear Schrödinger equation

Authors: J. Colliander, G. Simpson, C. Sulem

Abstract: We present numerical simulations of the defocusing nonlinear Schrodinger (NLS) equation with an energy supercritical nonlinearity. These computations were motivated by recent works of Kenig-Merle and Kilip-Visan who considered some energy supercritical wave equations and proved that if the solution is {a priori} bounded in the critical Sobolev space (i.e. the space whose homogeneous norm is inva… ▽ More We present numerical simulations of the defocusing nonlinear Schrodinger (NLS) equation with an energy supercritical nonlinearity. These computations were motivated by recent works of Kenig-Merle and Kilip-Visan who considered some energy supercritical wave equations and proved that if the solution is {a priori} bounded in the critical Sobolev space (i.e. the space whose homogeneous norm is invariant under the scaling leaving the equation invariant), then it exists for all time and scatters. In this paper, we numerically investigate the boundedness of the $H^2$-critical Sobolev norm for solutions of the NLS equation in dimension five with quintic nonlinearity. We find that for a class of initial conditions, this norm remains bounded, the solution exists for long time, and scatters. △ Less

Submitted 17 August, 2009; v1 submitted 17 July, 2009; originally announced July 2009.

Comments: 17 pages with 9 figures

MSC Class: 35Q5; 35P25

A system of ODEs for a Perturbation of a Minimal Mass Soliton

Authors: J. Marzuola, S. Raynor, G. Simpson

Abstract: We study soliton solutions to a nonlinear Schrodinger equation with a saturated nonlinearity. Such nonlinearities are known to possess minimal mass soliton solutions. We consider a small perturbation of a minimal mass soliton, and identify a system of ODEs similar to those from Comech and Pelinovsky (2003), which model the behavior of the perturbation for short times. We then provide numerical e… ▽ More We study soliton solutions to a nonlinear Schrodinger equation with a saturated nonlinearity. Such nonlinearities are known to possess minimal mass soliton solutions. We consider a small perturbation of a minimal mass soliton, and identify a system of ODEs similar to those from Comech and Pelinovsky (2003), which model the behavior of the perturbation for short times. We then provide numerical evidence that under this system of ODEs there are two possible dynamical outcomes, which is in accord with the conclusions of Pelinovsky, Afanasjev, and Kivshar (1996). For initial data which supports a soliton structure, a generic initial perturbation oscillates around the stable family of solitons. For initial data which is expected to disperse, the finite dimensional dynamics follow the unstable portion of the soliton curve. △ Less

Submitted 18 May, 2009; v1 submitted 4 May, 2009; originally announced May 2009.

Comments: Minor edits

On a Hamiltonian PDE arising in Magma Dynamics

Authors: Gideon Simpson, Michael I. Weinstein, Philip Rosenau

Abstract: In this article we discuss a new Hamiltonian PDE arising from a class of equations appearing in the study of magma, partially molten rock, in the Earth's interior. Under physically justifiable simplifications, a scalar, nonlinear, degenerate, dispersive wave equation may be derived to describe the evolution of $φ$, the fraction of molten rock by volume, in the Earth. These equations have two pow… ▽ More In this article we discuss a new Hamiltonian PDE arising from a class of equations appearing in the study of magma, partially molten rock, in the Earth's interior. Under physically justifiable simplifications, a scalar, nonlinear, degenerate, dispersive wave equation may be derived to describe the evolution of $φ$, the fraction of molten rock by volume, in the Earth. These equations have two power nonlinearities which specify the constitutive realitions for bulk viscosity and permeability in terms of $φ$. Previously, they have been shown to admit solitary wave solutions. For a particular relation between exponents, we observe the equation to be Hamiltonian; it can be viewed as a generalization of the Benjamin-Bona-Mahoney equation. We prove that the solitary waves are nonlinearly stable, by showing that they are constrained local minimizers of an appropriate time-invariant Lyapunov functional. A consequence is an extension of the regime of global in time well-posedness for this class of equations to (large) data, which include a neighborhood of a solitary wave. Finally, we observe that these equations have {\it compactons}, solitary traveling waves with compact spatial support at each time. △ Less

Submitted 17 January, 2008; v1 submitted 3 January, 2008; originally announced January 2008.

Comments: 27 pages, submitted to DCDS-B

Asymptotic Stability of Ascending Solitary Magma Waves

Authors: Gideon Simpson, Michael I. Weinstein

Abstract: Coherent structures, such as solitary waves, appear in many physical problems, including fluid mechanics, optics, quantum physics, and plasma physics. A less studied setting is found in geophysics, where highly viscous fluids couple to evolving material parameters to model partially molten rock, magma, in the Earth's interior. Solitary waves are also found here, but the equations lack useful mat… ▽ More Coherent structures, such as solitary waves, appear in many physical problems, including fluid mechanics, optics, quantum physics, and plasma physics. A less studied setting is found in geophysics, where highly viscous fluids couple to evolving material parameters to model partially molten rock, magma, in the Earth's interior. Solitary waves are also found here, but the equations lack useful mathematical structures such as an inverse scattering transform or even a variational formulation. A common question in all of these applications is whether or not these structures are stable to perturbation. We prove that the solitary waves in this Earth science setting are asymptotically stable and accomplish this without any pre-exisiting Lyapunov stability. This holds true for a family of equations, extending beyond the physical parameter space. Furthermore, this extends existing results on well-posedness to data in a neighborhood of the solitary waves. △ Less

Submitted 4 January, 2008; v1 submitted 2 January, 2008; originally announced January 2008.

Comments: 60 pages, submitted to SIAM JMA

Degenerate dispersive equations arising in the study of magma dynamics

Authors: Gideon Simpson, Marc Spiegelman, Michael I. Weinstein

Abstract: An outstanding problem in Earth science is understanding the method of transport of magma in the Earth's mantle. Models for this process, transport in a viscously deformable porous media, give rise to scalar degenerate, dispersive, nonlinear wave equations. We establish a general local well-posedness for a physical class of data (roughly $H^1$) via fixed point methods. The strategy requires posi… ▽ More An outstanding problem in Earth science is understanding the method of transport of magma in the Earth's mantle. Models for this process, transport in a viscously deformable porous media, give rise to scalar degenerate, dispersive, nonlinear wave equations. We establish a general local well-posedness for a physical class of data (roughly $H^1$) via fixed point methods. The strategy requires positive lower bounds on the solution. This is extended to global existence for a subset of possible nonlinearities by making use of certain conservation laws associated with the equations. Furthermore, we construct a Lyapunov energy functional, which is locally convex about the uniform state, and prove (global in time) nonlinear dynamic stability of the uniform state for any choice of nonlinearity. We compare the dynamics to that of other problems and discuss open questions concerning a larger range of nonlinearities, for which we conjecture global existence. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Comments: 27 Pages, 7 figures are not present in this version. See http://www.columbia.edu/~grs2103/ for a PDF with figures. Submitted to Nonlinearity