-
Emergent Language Symbolic Autoencoder (ELSA) with Weak Supervision to Model Hierarchical Brain Networks
Authors:
Ammar Ahmed Pallikonda Latheef,
Alberto Santamaria-Pang,
Craig K Jones,
Haris I Sair
Abstract:
Brain networks display a hierarchical organization, a complexity that poses a challenge for existing deep learning models, often structured as flat classifiers, leading to difficulties in interpretability and the 'black box' issue. To bridge this gap, we propose a novel architecture: a symbolic autoencoder informed by weak supervision and an Emergent Language (EL) framework. This model moves beyon…
▽ More
Brain networks display a hierarchical organization, a complexity that poses a challenge for existing deep learning models, often structured as flat classifiers, leading to difficulties in interpretability and the 'black box' issue. To bridge this gap, we propose a novel architecture: a symbolic autoencoder informed by weak supervision and an Emergent Language (EL) framework. This model moves beyond traditional flat classifiers by producing hierarchical clusters and corresponding imagery, subsequently represented through symbolic sentences to improve the clinical interpretability of hierarchically organized data such as intrinsic brain networks, which can be characterized using resting-state fMRI images. Our innovation includes a generalized hierarchical loss function designed to ensure that both sentences and images accurately reflect the hierarchical structure of functional brain networks. This enables us to model functional brain networks from a broader perspective down to more granular details. Furthermore, we introduce a quantitative method to assess the hierarchical consistency of these symbolic representations. Our qualitative analyses show that our model successfully generates hierarchically organized, clinically interpretable images, a finding supported by our quantitative evaluations. We find that our best performing loss function leads to a hierarchical consistency of over 97% when identifying images corresponding to brain networks. This approach not only advances the interpretability of deep learning models in neuroimaging analysis but also represents a significant step towards modeling the intricate hierarchical nature of brain networks.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Applications of Sequential Learning for Medical Image Classification
Authors:
Sohaib Naim,
Brian Caffo,
Haris I Sair,
Craig K Jones
Abstract:
Purpose: The aim of this work is to develop a neural network training framework for continual training of small amounts of medical imaging data and create heuristics to assess training in the absence of a hold-out validation or test set.
Materials and Methods: We formulated a retrospective sequential learning approach that would train and consistently update a model on mini-batches of medical im…
▽ More
Purpose: The aim of this work is to develop a neural network training framework for continual training of small amounts of medical imaging data and create heuristics to assess training in the absence of a hold-out validation or test set.
Materials and Methods: We formulated a retrospective sequential learning approach that would train and consistently update a model on mini-batches of medical images over time. We address problems that impede sequential learning such as overfitting, catastrophic forgetting, and concept drift through PyTorch convolutional neural networks (CNN) and publicly available Medical MNIST and NIH Chest X-Ray imaging datasets. We begin by comparing two methods for a sequentially trained CNN with and without base pre-training. We then transition to two methods of unique training and validation data recruitment to estimate full information extraction without overfitting. Lastly, we consider an example of real-life data that shows how our approach would see mainstream research implementation.
Results: For the first experiment, both approaches successfully reach a ~95% accuracy threshold, although the short pre-training step enables sequential accuracy to plateau in fewer steps. The second experiment comparing two methods showed better performance with the second method which crosses the ~90% accuracy threshold much sooner. The final experiment showed a slight advantage with a pre-training step that allows the CNN to cross ~60% threshold much sooner than without pre-training.
Conclusion: We have displayed sequential learning as a serviceable multi-classification technique statistically comparable to traditional CNNs that can acquire data in small increments feasible for clinically realistic scenarios.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Tip** in a Low-Dimensional Model of a Tropical Cyclone
Authors:
Katherine Slyman,
John A. Gemmer,
Nicholas K. Corak,
Claire Kiers,
Christopher K. R. T. Jones
Abstract:
A presumed impact of global climate change is the increase in frequency and intensity of tropical cyclones. Due to the possible destruction that occurs when tropical cyclones make landfall, understanding their formation should be of mass interest. In 2017, Kerry Emanuel modeled tropical cyclone formation by develo** a low-dimensional dynamical system which couples tangential wind speed of the ey…
▽ More
A presumed impact of global climate change is the increase in frequency and intensity of tropical cyclones. Due to the possible destruction that occurs when tropical cyclones make landfall, understanding their formation should be of mass interest. In 2017, Kerry Emanuel modeled tropical cyclone formation by develo** a low-dimensional dynamical system which couples tangential wind speed of the eye-wall with the inner-core moisture. For physically relevant parameters, this dynamical system always contains three fixed points: a stable fixed point at the origin corresponding to a non-storm state, an additional asymptotically stable fixed point corresponding to a stable storm state, and a saddle corresponding to an unstable storm state. The goal of this work is to provide insight into the underlying mechanisms that govern the formation and suppression of tropical cyclones through both analytical arguments and numerical experiments. We present a case study of both rate and noise-induced tip** between the stable states, relating to the destabilization or formation of a tropical cyclone. While the stochastic system exhibits transitions both to and from the non-storm state, noise-induced tip** is more likely to form a storm, whereas rate-induced tip** is more likely to be the way a storm is destabilized, and in fact, rate-induced tip** can never lead to the formation of a storm when acting alone. For rate-induced tip** acting as a destabilizer of the storm, a striking result is that both wind shear and maximal potential velocity have to increase, at a substantial rate, in order to effect tip** away from the active hurricane state. For storm formation through noise-induced tip**, we identify a specific direction along which the non-storm state is most likely to get activated.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Deep Labeling of fMRI Brain Networks
Authors:
Ammar Ahmed Pallikonda Latheef,
Sejal Ghate,
Zhipeng Hui,
Alberto Santamaria-Pang,
Ivan Tarapov,
Haris I Sair,
Craig K Jones
Abstract:
Resting State Networks (RSNs) of the brain extracted from Resting State functional Magnetic Resonance Imaging (RS-fMRI) are used in the pre-surgical planning to guide the neurosurgeon. This is difficult, though, as expert knowledge is required to label each of the RSNs. There is a lack of efficient and standardized methods to be used in clinical workflows. Additionally, these methods need to be ge…
▽ More
Resting State Networks (RSNs) of the brain extracted from Resting State functional Magnetic Resonance Imaging (RS-fMRI) are used in the pre-surgical planning to guide the neurosurgeon. This is difficult, though, as expert knowledge is required to label each of the RSNs. There is a lack of efficient and standardized methods to be used in clinical workflows. Additionally, these methods need to be generalizable since the method needs to work well regardless of the acquisition technique. We propose an accurate, fast, and lightweight deep learning approach to label RSNs. Group Independent Component Analysis (ICA) was used to extract large scale functional connectivity patterns in the cohort and dual regression was used to back project them on individual subject RSNs. We compare a Multi-Layer Perceptron (MLP) based method with 2D and 3D Convolutional Neural Networks (CNNs) and find that the MLP is faster and more accurate. The MLP method performs as good or better than other works despite its compact size. We prove the generalizability of our method by showing that the MLP performs at 100% accuracy in the holdout dataset and 98.3% accuracy in three other sites' fMRI acquisitions.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Tailoring data assimilation to discontinuous Galerkin models
Authors:
Ivo Pasmans,
Yumeng Chen,
Alberto Carrassi,
Chris K. R. T. Jones
Abstract:
During the last few years discontinuous Galerkin (DG) methods have received increased interest from the geophysical community. In these methods the solution in each grid cell is approximated as a linear combination of basis functions. Ensemble data assimilation (EnDA) aims to approximate the true state by combining model outputs with observations using error statistics estimated from an ensemble o…
▽ More
During the last few years discontinuous Galerkin (DG) methods have received increased interest from the geophysical community. In these methods the solution in each grid cell is approximated as a linear combination of basis functions. Ensemble data assimilation (EnDA) aims to approximate the true state by combining model outputs with observations using error statistics estimated from an ensemble of model runs. Ensemble data assimilation in geophysical models faces several well-documented issues. In this work we exploit the expansion of the solution in DG basis functions to address some of these issues. Specifically, it is investigated whether a DA-DG combination 1) mitigates the need for observation thinning, 2) reduces errors in the field's gradients, 3) can be used to set up scale-dependent localisation. Numerical experiments are carried out using stochastically generated ensembles of model states, with different noise properties, and with Legendre polynomials as basis functions. It is found that strong reduction in the analysis error is achieved by using DA-DG and that the benefit increases with increasing DG order. This is especially the case when small scales dominate the background error. The DA improvement in the 1st derivative is on the other hand marginal. We think this to be a counter-effect of the power of DG to fit the observations closely, which can deteriorate the estimates of the derivatives. Applying optimal localisation to the different polynomial orders, thus exploiting their different spatial length, is beneficial: it results in a covariance matrix closer to the true covariance than the matrix obtained using traditional optimal localisation in state-space.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
A Dynamical Systems Approach for Most Probable Escape Paths over Periodic Boundaries
Authors:
Emmanuel Fleurantin,
Katherine Slyman,
Blake Barker,
Christopher K. R. T. Jones
Abstract:
Analyzing when noisy trajectories, in the two dimensional plane, of a stochastic dynamical system exit the basin of attraction of a fixed point is specifically challenging when a periodic orbit forms the boundary of the basin of attraction. Our contention is that there is a distinguished Most Probable Escape Path (MPEP) crossing the periodic orbit which acts as a guide for noisy esca** paths in…
▽ More
Analyzing when noisy trajectories, in the two dimensional plane, of a stochastic dynamical system exit the basin of attraction of a fixed point is specifically challenging when a periodic orbit forms the boundary of the basin of attraction. Our contention is that there is a distinguished Most Probable Escape Path (MPEP) crossing the periodic orbit which acts as a guide for noisy esca** paths in the case of small noise slightly away from the limit of vanishing noise. It is well known that, before exiting, noisy trajectories will tend to cycle around the periodic orbit as the noise vanishes, but we observe that the esca** paths are stubbornly resistant to cycling as soon as the noise becomes at all significant. Using a geometric dynamical systems approach, we isolate a subset of the unstable manifold of the fixed point in the Euler-Lagrange system, which we call the River. Using the Maslov index we identify a subset of the River which is comprised of local minimizers. The Onsager-Machlup (OM) functional, which is treated as a perturbation of the Friedlin-Wentzell functional, provides a selection mechanism to pick out a specific MPEP. Much of the paper is focused on the system obtained by reversing the van der Pol Equations in time (so-called IVDP). Through Monte-Carlo simulations, we show that the prediction provided by OM-selected MPEP matches closely the escape hatch chosen by noisy trajectories at a certain level of small noise.
△ Less
Submitted 13 June, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Rate and Noise-Induced Tip** Working in Concert
Authors:
Katherine Slyman,
Christopher K. Jones
Abstract:
Rate-induced tip** occurs when a ramp parameter changes rapidly enough to cause the system to tip between co-existing, attracting states. We show that the addition of noise to the system can cause it to tip well below the critical rate at which rate-induced tip** would occur. Moreover it does so with significantly increased probability over the noise acting alone. We achieve this by finding a…
▽ More
Rate-induced tip** occurs when a ramp parameter changes rapidly enough to cause the system to tip between co-existing, attracting states. We show that the addition of noise to the system can cause it to tip well below the critical rate at which rate-induced tip** would occur. Moreover it does so with significantly increased probability over the noise acting alone. We achieve this by finding a global minimizer in a canonical problem of the Freidlin-Wentzell action functional of large deviation theory that represents the most probable path for tip**. This is realized as a heteroclinic connection for the Euler-Lagrange system associated with the Freidlin-Wentzell action and we find it exists for all rates less than or equal to the critical rate. Its role as most probable path is corroborated by direct Monte Carlo simulations.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Deep Labeling of fMRI Brain Networks Using Cloud Based Processing
Authors:
Sejal Ghate,
Alberto Santamaria-Pang,
Ivan Tarapov,
Haris I Sair,
Craig K Jones
Abstract:
Resting state fMRI is an imaging modality which reveals brain activity localization through signal changes, in what is known as Resting State Networks (RSNs). This technique is gaining popularity in neurosurgical pre-planning to visualize the functional regions and assess regional activity. Labeling of rs-fMRI networks require subject-matter expertise and is time consuming, creating a need for an…
▽ More
Resting state fMRI is an imaging modality which reveals brain activity localization through signal changes, in what is known as Resting State Networks (RSNs). This technique is gaining popularity in neurosurgical pre-planning to visualize the functional regions and assess regional activity. Labeling of rs-fMRI networks require subject-matter expertise and is time consuming, creating a need for an automated classification algorithm. While the impact of AI in medical diagnosis has shown great progress; deploying and maintaining these in a clinical setting is an unmet need. We propose an end-to-end reproducible pipeline which incorporates image processing of rs-fMRI in a cloud-based workflow while using deep learning to automate the classification of RSNs. We have architected a reproducible Azure Machine Learning cloud-based medical imaging concept pipeline for fMRI analysis integrating the popular FMRIB Software Library (FSL) toolkit. To demonstrate a clinical application using a large dataset, we compare three neural network architectures for classification of deeper RSNs derived from processed rs-fMRI. The three algorithms are: an MLP, a 2D projection-based CNN, and a fully 3D CNN classification networks. Each of the net-works was trained on the rs-fMRI back-projected independent components giving >98% accuracy for each classification method.
△ Less
Submitted 20 September, 2022; v1 submitted 16 September, 2022;
originally announced September 2022.
-
The Astropy Project: Sustaining and Growing a Community-oriented Open-source Project and the Latest Major Release (v5.0) of the Core Package
Authors:
The Astropy Collaboration,
Adrian M. Price-Whelan,
Pey Lian Lim,
Nicholas Earl,
Nathaniel Starkman,
Larry Bradley,
David L. Shupe,
Aarya A. Patil,
Lia Corrales,
C. E. Brasseur,
Maximilian Nöthe,
Axel Donath,
Erik Tollerud,
Brett M. Morris,
Adam Ginsburg,
Eero Vaher,
Benjamin A. Weaver,
James Tocknell,
William Jamieson,
Marten H. van Kerkwijk,
Thomas P. Robitaille,
Bruce Merry,
Matteo Bachetti,
H. Moritz Günther,
Thomas L. Aldcroft
, et al. (111 additional authors not shown)
Abstract:
The Astropy Project supports and fosters the development of open-source and openly-developed Python packages that provide commonly needed functionality to the astronomical community. A key element of the Astropy Project is the core package $\texttt{astropy}$, which serves as the foundation for more specialized projects and packages. In this article, we summarize key features in the core package as…
▽ More
The Astropy Project supports and fosters the development of open-source and openly-developed Python packages that provide commonly needed functionality to the astronomical community. A key element of the Astropy Project is the core package $\texttt{astropy}$, which serves as the foundation for more specialized projects and packages. In this article, we summarize key features in the core package as of the recent major release, version 5.0, and provide major updates for the Project. We then discuss supporting a broader ecosystem of interoperable packages, including connections with several astronomical observatories and missions. We also revisit the future outlook of the Astropy Project and the current status of Learn Astropy. We conclude by raising and discussing the current and future challenges facing the Project.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
Federated Learning Enables Big Data for Rare Cancer Boundary Detection
Authors:
Sarthak Pati,
Ujjwal Baid,
Brandon Edwards,
Micah Sheller,
Shih-Han Wang,
G Anthony Reina,
Patrick Foley,
Alexey Gruzdev,
Deepthi Karkada,
Christos Davatzikos,
Chiharu Sako,
Satyam Ghodasara,
Michel Bilello,
Suyash Mohan,
Philipp Vollmuth,
Gianluca Brugnara,
Chandrakanth J Preetha,
Felix Sahm,
Klaus Maier-Hein,
Maximilian Zenk,
Martin Bendszus,
Wolfgang Wick,
Evan Calabrese,
Jeffrey Rudie,
Javier Villanueva-Meyer
, et al. (254 additional authors not shown)
Abstract:
Although machine learning (ML) has shown promise in numerous domains, there are concerns about generalizability to out-of-sample data. This is currently addressed by centrally sharing ample, and importantly diverse, data from multiple sites. However, such centralization is challenging to scale (or even not feasible) due to various limitations. Federated ML (FL) provides an alternative to train acc…
▽ More
Although machine learning (ML) has shown promise in numerous domains, there are concerns about generalizability to out-of-sample data. This is currently addressed by centrally sharing ample, and importantly diverse, data from multiple sites. However, such centralization is challenging to scale (or even not feasible) due to various limitations. Federated ML (FL) provides an alternative to train accurate and generalizable ML models, by only sharing numerical model updates. Here we present findings from the largest FL study to-date, involving data from 71 healthcare institutions across 6 continents, to generate an automatic tumor boundary detector for the rare disease of glioblastoma, utilizing the largest dataset of such patients ever used in the literature (25,256 MRI scans from 6,314 patients). We demonstrate a 33% improvement over a publicly trained model to delineate the surgically targetable tumor, and 23% improvement over the tumor's entire extent. We anticipate our study to: 1) enable more studies in healthcare informed by large and diverse data, ensuring meaningful results for rare diseases and underrepresented populations, 2) facilitate further quantitative analyses for glioblastoma via performance optimization of our consensus model for eventual public release, and 3) demonstrate the effectiveness of FL at such scale and task complexity as a paradigm shift for multi-site collaborations, alleviating the need for data sharing.
△ Less
Submitted 25 April, 2022; v1 submitted 22 April, 2022;
originally announced April 2022.
-
Bifurcation to instability through the lens of the Maslov index
Authors:
Paul Cornwell,
Christopher K. R. T. Jones,
Claire Kiers
Abstract:
The Maslov index is a powerful tool for assessing the stability of solitary waves. Although it is difficult to calculate in general, a framework for doing so was recently established for singularly perturbed systems. In this paper, we apply this framework to standing wave solutions of a three-component activator-inhibitor model. These standing waves are known to become unstable as parameters vary.…
▽ More
The Maslov index is a powerful tool for assessing the stability of solitary waves. Although it is difficult to calculate in general, a framework for doing so was recently established for singularly perturbed systems. In this paper, we apply this framework to standing wave solutions of a three-component activator-inhibitor model. These standing waves are known to become unstable as parameters vary. Our goal is to see how this established stability criterion manifests itself in the Maslov index calculation. In so doing, we obtain new insight into the mechanism for instability. We further suggest how this mechanism might be used to reveal new instabilities in singularly perturbed models.
△ Less
Submitted 17 February, 2021;
originally announced February 2021.
-
Ensemble Kalman Filter for non-conservative moving mesh solvers with a joint physics and mesh location update
Authors:
Christian Sampson,
Alberto Carrassi,
Ali Aydoğdu,
Chris K. R. T Jones
Abstract:
Numerical solvers using adaptive meshes can focus computational power on important regions of a model domain capturing important or unresolved physics. The adaptation can be informed by the model state, external information, or made to depend on the model physics. In this latter case, one can think of the mesh configuration {\it as part of the model state}. If observational data is to be assimilat…
▽ More
Numerical solvers using adaptive meshes can focus computational power on important regions of a model domain capturing important or unresolved physics. The adaptation can be informed by the model state, external information, or made to depend on the model physics. In this latter case, one can think of the mesh configuration {\it as part of the model state}. If observational data is to be assimilated into the model, the question of updating the mesh configuration with the physical values arises. Adaptive meshes present significant challenges when using popular ensemble Data Assimilation (DA) methods. We develop a novel strategy for ensemble-based DA for which the adaptive mesh is updated along with the physical values. This involves including the node locations as a part of the model state itself allowing them to be updated automatically at the analysis step. This poses a number of challenges which we resolve to produce an effective approach that promises to apply with some generality. We evaluate our strategy with two testbed models in 1-d comparing to a strategy that does not update the mesh configuration. We find updating the mesh improves the fidelity and convergence of the filter.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
The essential spectrum of periodically-stationary solutions of the complex Ginzburg-Landau equation
Authors:
John Zweck,
Yuri Latushkin,
Jeremy L. Marzuola,
Christopher K. R. T. Jones
Abstract:
We establish the existence and regularity properties of a monodromy operator for the linearization of the cubic-quintic complex Ginzburg-Landau equation about a periodically-stationary (breather) solution. We derive a formula for the essential spectrum of the monodromy operator in terms of that of the associated asymptotic linear differential operator. This result is obtained using the theory of a…
▽ More
We establish the existence and regularity properties of a monodromy operator for the linearization of the cubic-quintic complex Ginzburg-Landau equation about a periodically-stationary (breather) solution. We derive a formula for the essential spectrum of the monodromy operator in terms of that of the associated asymptotic linear differential operator. This result is obtained using the theory of analytic semigroups under the assumption that the Ginzburg-Landau equation includes a spectral filtering (diffusion) term. We discuss applications to the stability of periodically-stationary pulses in ultrafast fiber lasers.
△ Less
Submitted 6 October, 2020; v1 submitted 18 May, 2020;
originally announced May 2020.
-
Compactification for Asymptotically Autonomous Dynamical Systems: Theory, Applications and Invariant Manifolds
Authors:
Sebastian Wieczorek,
Chun Xie,
Chris K. R. T. Jones
Abstract:
We develop a general compactification framework to facilitate analysis of nonlinear nonautonomous ODEs where nonautonomous terms decay asymptotically. The strategy is to compactify the problem: the phase space is augmented with a bounded but open dimension and then extended at one or both ends by gluing in flow-invariant subspaces that carry autonomous dynamics of the limit systems from infinity.…
▽ More
We develop a general compactification framework to facilitate analysis of nonlinear nonautonomous ODEs where nonautonomous terms decay asymptotically. The strategy is to compactify the problem: the phase space is augmented with a bounded but open dimension and then extended at one or both ends by gluing in flow-invariant subspaces that carry autonomous dynamics of the limit systems from infinity. We derive the weakest decay conditions possible for the compactified system to be continuously differentiable on the extended phase space. This enables us to use equilibria and other compact invariant sets of the limit systems from infinity to analyse the original nonautonomous problem in the spirit of dynamical systems theory. Specifically, we prove that solutions of interest are contained in unique invariant manifolds of saddles for the limit systems when embedded in the extended phase space. The uniqueness holds in the general case, that is even if the compactification gives rise to a centre direction and the manifolds become centre or centre-stable manifolds. A wide range of problems including pullback attractors, rate-induced critical transitions (R-tip**) and nonlinear wave solutions fit naturally into our framework.
△ Less
Submitted 12 March, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
On Conditions for Rate-induced Tip** in Multi-Dimensional Dynamical Systems
Authors:
Claire Kiers,
Christopher K. R. T. Jones
Abstract:
The possibility of rate-induced tip** (R-tip**) away from an attracting fixed point has been thoroughly explored in 1-dimensional systems. In these systems, it is impossible to have R-tip** away from a path of quasi-stable equilibria that is forward basin stable (FBS), but R-tip** is guaranteed for paths that are non-FBS of a certain type. We will investigate whether these results carry ov…
▽ More
The possibility of rate-induced tip** (R-tip**) away from an attracting fixed point has been thoroughly explored in 1-dimensional systems. In these systems, it is impossible to have R-tip** away from a path of quasi-stable equilibria that is forward basin stable (FBS), but R-tip** is guaranteed for paths that are non-FBS of a certain type. We will investigate whether these results carry over to multi-dimensional systems. In particular, we will show that the same conditions guaranteeing R-tip** in 1-dimension also guarantee R-tip** in higher dimensions; however, it is possible to have R-tip** away from a path that is FBS even in 2-dimensional systems. We will propose a different condition, forward inflowing stability (FIS), which we show is sufficient to prevent R-tip** in all dimensions. The condition, while natural, is difficult to verify in concrete examples. Monotone systems are a class for which FIS is implied by an easily verifiable condition. As a result, we see how the additional structure of these systems makes predicting the possibility of R-tip** straightforward in a fashion similar to 1-dimension. In particular, we will prove that the FBS and FIS conditions in monotone systems reduce to comparing the relative positions of equilibria over time. An example of a monotone system is given that demonstrates how these ideas are applied to determine exactly when R-tip** is possible.
△ Less
Submitted 5 October, 2018;
originally announced October 2018.
-
On the Existence and Stability of Fast Traveling Waves in a Doubly-Diffusive FitzHugh-Nagumo System
Authors:
Paul Cornwell,
Christopher K. R. T. Jones
Abstract:
The FitzHugh-Nagumo equation, which was derived as a simplification of the Hodgkin-Huxley model for nerve impulse propagation, has been extensively studied as a paradigmatic activator-inhibitor system. We consider the version of this system in which two agents diffuse at an equal rate. Using geometric singular perturbation theory, we prove the existence and stability of fast traveling pulses. The…
▽ More
The FitzHugh-Nagumo equation, which was derived as a simplification of the Hodgkin-Huxley model for nerve impulse propagation, has been extensively studied as a paradigmatic activator-inhibitor system. We consider the version of this system in which two agents diffuse at an equal rate. Using geometric singular perturbation theory, we prove the existence and stability of fast traveling pulses. The stability proof makes use of the Maslov index--an invariant of symplectic geometry--to count unstable eigenvalues for the linearization about the wave. The calculation of the Maslov index is carried out by tracking the evolution of the unstable manifold of the rest state using the timescale separation. This entails a careful consideration of how the transition from fast to slow dynamics occurs in the tangent bundle over the wave. Finally, we observe in the calculation that the Maslov index lacks monotonicity in the spatial parameter, which distinguishes this application of the Maslov index from similar analyses of Hamiltonian systems.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Investigating the physical properties of transiting hot Jupiters with the 1.5-m Kuiper Telescope
Authors:
Jake D. Turner,
Robin M. Leiter,
Lauren I. Biddle,
Kyle A. Pearson,
Kevin K. Hardegree-Ullman,
Robert M. Thompson,
Johanna K. Teske,
Ian T. Cates,
Kendall L. Cook,
Michael P. Berube,
Megan N. Nieberding,
Christen K. Jones,
Brandon Raphael,
Spencer Wallace,
Zachary T. Watson,
Robert E. Johnson
Abstract:
We present new photometric data of 11 hot Jupiter transiting exoplanets (CoRoT-12b, HAT-P-5b, HAT-P-12b, HAT-P-33b, HAT-P-37b, WASP-2b, WASP-24b, WASP-60b, WASP-80b, WASP-103b, XO-3b) in order to update their planetary parameters and to constrain information about their atmospheres. These observations of CoRoT-12b, HAT-P-37b and WASP-60b are the first follow-up data since their discovery. Addition…
▽ More
We present new photometric data of 11 hot Jupiter transiting exoplanets (CoRoT-12b, HAT-P-5b, HAT-P-12b, HAT-P-33b, HAT-P-37b, WASP-2b, WASP-24b, WASP-60b, WASP-80b, WASP-103b, XO-3b) in order to update their planetary parameters and to constrain information about their atmospheres. These observations of CoRoT-12b, HAT-P-37b and WASP-60b are the first follow-up data since their discovery. Additionally, the first near-UV transits of WASP-80b and WASP-103b are presented. We compare the results of our analysis with previous work to search for transit timing variations (TTVs) and a wavelength dependence in the transit depth. TTVs may be evidence of a third body in the system and variations in planetary radius with wavelength can help constrain the properties of the exoplanet's atmosphere. For WASP-103b and XO-3b, we find a possible variation in the transit depths that may be evidence of scattering in their atmospheres. The B-band transit depth of HAT-P-37b is found to be smaller than its near-IR transit depth and such a variation may indicate TiO/VO absorption. These variations are detected from 2-4.6$σ$, so follow-up observations are needed to confirm these results. Additionally, a flat spectrum across optical wavelengths is found for 5 of the planets (HAT-P-5b, HAT-P-12b, WASP-2b, WASP-24b, WASP-80b), suggestive that clouds may be present in their atmospheres. We calculate a refined orbital period and ephemeris for all the targets, which will help with future observations. No TTVs are seen in our analysis with the exception of WASP-80b and follow-up observations are needed to confirm this possible detection.
△ Less
Submitted 25 August, 2017;
originally announced August 2017.
-
A coherent structure approach for parameter estimation in Lagrangian Data Assimilation
Authors:
John Maclean,
Naratip Santitissadeekorn,
Christopher KRT Jones
Abstract:
We introduce a data assimilation method to estimate model parameters with observations of passive tracers by directly assimilating Lagrangian Coherent Structures. Our approach differs from the usual Lagrangian Data Assimilation approach, where parameters are estimated based on tracer trajectories. We employ the Approximate Bayesian Computation (ABC) framework to avoid computing the likelihood func…
▽ More
We introduce a data assimilation method to estimate model parameters with observations of passive tracers by directly assimilating Lagrangian Coherent Structures. Our approach differs from the usual Lagrangian Data Assimilation approach, where parameters are estimated based on tracer trajectories. We employ the Approximate Bayesian Computation (ABC) framework to avoid computing the likelihood function of the coherent structure, which is usually unavailable. We solve the ABC by a Sequential Monte Carlo (SMC) method, and use Principal Component Analysis (PCA) to identify the coherent patterns from tracer trajectory data. Our new method shows remarkably improved results compared to the bootstrap particle filter when the physical model exhibits chaotic advection.
△ Less
Submitted 8 June, 2017;
originally announced June 2017.
-
A Stability Index for Traveling Waves in Activator-Inhibitor Systems
Authors:
Paul Cornwell,
Christopher K. R. T. Jones
Abstract:
We consider the stability of nonlinear traveling waves in a class of activator-inhibitor systems. The eigenvalue equation arising from linearizing about the wave is seen to preserve the manifold of Lagrangian planes for a nonstandard symplectic form. This allows us to define a Maslov index for the wave corresponding to the spatial evolution of the unstable bundle. We formulate the Evans function f…
▽ More
We consider the stability of nonlinear traveling waves in a class of activator-inhibitor systems. The eigenvalue equation arising from linearizing about the wave is seen to preserve the manifold of Lagrangian planes for a nonstandard symplectic form. This allows us to define a Maslov index for the wave corresponding to the spatial evolution of the unstable bundle. We formulate the Evans function for the eigenvalue problem and show that the parity of the Maslov index determines the sign of the derivative of the Evans function at the origin. The connection between the Evans function and the Maslov index is established by a "detection form," which identifies conjugate points for the curve of Lagrangian planes.
△ Less
Submitted 21 September, 2017; v1 submitted 22 March, 2017;
originally announced March 2017.
-
Degenerate Kalman filter error covariances and their convergence onto the unstable subspace
Authors:
Marc Bocquet,
Karthik S. Gurumoorthy,
Amit Apte,
Alberto Carrassi,
Colin Grudzien,
Christopher K. R. T. Jones
Abstract:
The characteristics of the model dynamics are critical in the performance of (ensemble) Kalman filters. In particular, as emphasized in the seminal work of Anna Trevisan and co-authors, the error covariance matrix is asymptotically supported by the unstable-neutral subspace only, i.e., it is spanned by the backward Lyapunov vectors with non-negative exponents. This behavior is at the core of algor…
▽ More
The characteristics of the model dynamics are critical in the performance of (ensemble) Kalman filters. In particular, as emphasized in the seminal work of Anna Trevisan and co-authors, the error covariance matrix is asymptotically supported by the unstable-neutral subspace only, i.e., it is spanned by the backward Lyapunov vectors with non-negative exponents. This behavior is at the core of algorithms known as Assimilation in the Unstable Subspace, although a formal proof was still missing.
This paper provides the analytical proof of the convergence of the Kalman filter covariance matrix onto the unstable-neutral subspace when the dynamics and the observation operator are linear and when the dynamical model is error-free, for any, possibly rank-deficient, initial error covariance matrix. The rate of convergence is provided as well. The derivation is based on an expression that explicitly relates the error covariances at an arbitrary time to the initial ones. It is also shown that if the unstable and neutral directions of the model are sufficiently observed and if the column space of the initial covariance matrix has a non-zero projection onto all of the forward Lyapunov vectors associated with the unstable and neutral directions of the dynamics, the covariance matrix of the Kalman filter collapses onto an asymptotic sequence which is independent of the initial covariances. Numerical results are also shown to illustrate and support the theoretical findings.
△ Less
Submitted 31 March, 2017; v1 submitted 9 April, 2016;
originally announced April 2016.
-
Ground-based near-UV observations of 15 transiting exoplanets: Constraints on their atmospheres and no evidence for asymmetrical transits
Authors:
Jake D. Turner,
Kyle A. Pearson,
Lauren I. Biddle,
Brianna M. Smart,
Robert T. Zellem,
Johanna K. Teske,
Kevin K. Hardegree-Ullman,
Caitlin C. Griffith,
Robin M. Leiter,
Ian T. Cates,
Megan N. Nieberding,
Carter-Thaxton W. Smith,
Robert M. Thompson,
Ryan Hofmann,
Michael P. Berube,
Chi H. Nguyen,
Lindsay C. Small,
Blythe C. Guvenen,
Logan Richardson,
Allison McGraw,
Brandon Raphael,
Benjamin E. Crawford,
Amy N. Robertson,
Ryan Tombleson,
Timothy M. Carleton
, et al. (15 additional authors not shown)
Abstract:
Transits of exoplanets observed in the near-UV have been used to study the scattering properties of their atmospheres and possible star-planet interactions. We observed the primary transits of 15 exoplanets (CoRoT-1b, GJ436b, HAT-P-1b, HAT-P-13b, HAT-P-16b, HAT-P-22b, TrES-2b, TrES-4b, WASP-1b, WASP-12b, WASP-33b, WASP-36b, WASP-44b, WASP-48b, and WASP-77Ab) in the near-UV and several optical phot…
▽ More
Transits of exoplanets observed in the near-UV have been used to study the scattering properties of their atmospheres and possible star-planet interactions. We observed the primary transits of 15 exoplanets (CoRoT-1b, GJ436b, HAT-P-1b, HAT-P-13b, HAT-P-16b, HAT-P-22b, TrES-2b, TrES-4b, WASP-1b, WASP-12b, WASP-33b, WASP-36b, WASP-44b, WASP-48b, and WASP-77Ab) in the near-UV and several optical photometric bands to update their planetary parameters, ephemerides, search for a wavelength dependence in their transit depths to constrain their atmospheres, and determine if asymmetries are visible in their light curves. Here we present the first ground-based near-UV light curves for 12 of the targets (CoRoT-1b, GJ436b, HAT-P-1b, HAT-P-13b, HAT-P-22b, TrES-2b, TrES-4b, WASP-1b, WASP-33b, WASP-36b, WASP-48b, and WASP-77Ab). We find that none of the near-UV transits exhibit any non-spherical asymmetries, this result is consistent with recent theoretical predictions by Ben-Jaffel et al. and Turner et al. The multi-wavelength photometry indicates a constant transit depth from near-UV to optical wavelengths in 10 targets (suggestive of clouds), and a varying transit depth with wavelength in 5 targets (hinting at Rayleigh or aerosol scattering in their atmospheres). We also present the first detection of a smaller near-UV transit depth than that measured in the optical in WASP-1b and a possible opacity source that can cause such radius variations is currently unknown. WASP-36b also exhibits a smaller near-UV transit depth at 2.6$σ$. Further observations are encouraged to confirm the transit depth variations seen in this study.
△ Less
Submitted 8 March, 2016;
originally announced March 2016.
-
Mixed mode oscillations of the El Niño-Southern Oscillation
Authors:
Andrew Roberts,
Esther Widiasih,
Axel Timmermann,
Christopher K. R. T. Jones,
John Guckenheimer
Abstract:
Very strong El Niño events occur sporadically every 10-20 years. The origin of this bursting behavior still remains elusive. Using a simplified 3-dimensional dynamical model of the tropical Pacific climate system, which captures the El Niño-Southern Oscillation (ENSO) combined with recently developed mathematical tools for fast-slow systems we show that decadal ENSO bursting behavior can be explai…
▽ More
Very strong El Niño events occur sporadically every 10-20 years. The origin of this bursting behavior still remains elusive. Using a simplified 3-dimensional dynamical model of the tropical Pacific climate system, which captures the El Niño-Southern Oscillation (ENSO) combined with recently developed mathematical tools for fast-slow systems we show that decadal ENSO bursting behavior can be explained as a Mixed Mode Oscillation (MMO), which also predicts a critical threshold for rapid amplitude growth. It is hypothesized that the MMO dynamics of the low-dimensional climate model can be linked to a saddle-focus equilibrium point, which mimics a tropical Pacific Ocean state without ocean circulation.
△ Less
Submitted 28 January, 2016; v1 submitted 23 November, 2015;
originally announced November 2015.
-
Counting spectrum via the Maslov index for one dimensional $θ-$periodic Schrödinger operators
Authors:
Christopher K. R. T. Jones,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
We study the spectrum of the Schrödinger operators with $n\times n$ matrix valued potentials on a finite interval subject to $θ-$periodic boundary conditions. For two such operators, corresponding to different values of $θ$, we compute the difference of their eigenvalue counting functions via the Maslov index of a path of Lagrangian planes. In addition we derive a formula for the derivatives of th…
▽ More
We study the spectrum of the Schrödinger operators with $n\times n$ matrix valued potentials on a finite interval subject to $θ-$periodic boundary conditions. For two such operators, corresponding to different values of $θ$, we compute the difference of their eigenvalue counting functions via the Maslov index of a path of Lagrangian planes. In addition we derive a formula for the derivatives of the eigenvalues with respect to $θ$ in terms of the Maslov crossing form. Finally, we give a new shorter proof of a recent result relating the Morse and Maslov indices of the Schrödinger operator for a fixed $θ$.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
Manifold decompositions and indices of Schrödinger operators
Authors:
Graham Cox,
Christoper K. R. T. Jones,
Jeremy L. Marzuola
Abstract:
The Maslov index is used to compute the spectra of different boundary value problems for Schrödinger operators on compact manifolds. The main result is a spectral decomposition formula for a manifold $M$ divided into components $Ω_1$ and $Ω_2$ by a separating hypersurface $Σ$. A homotopy argument relates the spectrum of a second-order elliptic operator on $M$ to its Dirichlet and Neumann spectra o…
▽ More
The Maslov index is used to compute the spectra of different boundary value problems for Schrödinger operators on compact manifolds. The main result is a spectral decomposition formula for a manifold $M$ divided into components $Ω_1$ and $Ω_2$ by a separating hypersurface $Σ$. A homotopy argument relates the spectrum of a second-order elliptic operator on $M$ to its Dirichlet and Neumann spectra on $Ω_1$ and $Ω_2$, with the difference given by the Maslov index of a path of Lagrangian subspaces. This Maslov index can be expressed in terms of the Morse indices of the Dirichlet-to-Neumann maps on $Σ$. Applications are given to doubling constructions, periodic boundary conditions and the counting of nodal domains. In particular, a new proof of Courant's nodal domain theorem is given, with an explicit formula for the nodal deficiency.
△ Less
Submitted 12 January, 2016; v1 submitted 24 June, 2015;
originally announced June 2015.
-
Rank deficiency of Kalman error covariance matrices in linear time-varying system with deterministic evolution
Authors:
Karthik S. Gurumoorthy,
Colin Grudzien,
Amit Apte,
Alberto Carrassi,
Christopher K. R. T. Jones
Abstract:
We prove that for linear, discrete, time-varying, deterministic system (perfect model) with noisy outputs, the Riccati transformation in the Kalman filter asymptotically bounds the rank of the forecast and the analysis error covariance matrices to be less than or equal to the number of non-negative Lyapunov exponents of the system. Further, the support of these error covariance matrices is shown t…
▽ More
We prove that for linear, discrete, time-varying, deterministic system (perfect model) with noisy outputs, the Riccati transformation in the Kalman filter asymptotically bounds the rank of the forecast and the analysis error covariance matrices to be less than or equal to the number of non-negative Lyapunov exponents of the system. Further, the support of these error covariance matrices is shown to be confined to the space spanned by the unstable-neutral backward Lyapunov vectors, providing the theoretical justification for the methodology of the algorithms that perform assimilation only in the unstable-neutral subspace. The equivalent property of the autonomous system is investigated as a special case.
△ Less
Submitted 4 October, 2016; v1 submitted 17 March, 2015;
originally announced March 2015.
-
Decreasing flow uncertainty in Bayesian inverse problems through Lagrangian drifter control
Authors:
Damon McDougall,
Chris K. R. T. Jones
Abstract:
Commonplace in oceanography is the collection of ocean drifter positions. Ocean drifters are devices that sit on the surface of the ocean and move with the flow, transmitting their position via GPS to stations on land. Using drifter data, it is possible to obtain a posterior on the underlying flow. This problem, however, is highly underdetermined. Through controlling an ocean drifter, we attempt t…
▽ More
Commonplace in oceanography is the collection of ocean drifter positions. Ocean drifters are devices that sit on the surface of the ocean and move with the flow, transmitting their position via GPS to stations on land. Using drifter data, it is possible to obtain a posterior on the underlying flow. This problem, however, is highly underdetermined. Through controlling an ocean drifter, we attempt to improve our knowledge of the underlying flow. We do this by instructing the drifter to explore parts of the flow currently uncharted, thereby obtaining fresh observations. The efficacy of a control is determined by its effect on the variance of the posterior distribution. A smaller variance is interpreted as a better understanding of the flow. We show a systematic reduction in variance can be achieved by utilising controls that allow the drifter to navigate new or interesting flow structures, a good example of which are eddies.
△ Less
Submitted 26 August, 2014;
originally announced August 2014.
-
The Morse and Maslov indices for multidimensional Schrödinger operators with matrix-valued potentials
Authors:
Graham Cox,
Christopher K. R. T. Jones,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
We study the Schrödinger operator $L=-Δ+V$ on a star-shaped domain $Ω$ in $\mathbb{R}^d$ with Lipschitz boundary $\partialΩ$. The operator is equipped with quite general Dirichlet- or Robin-type boundary conditions induced by operators between $H^{1/2}(\partialΩ)$ and $H^{-1/2}(\partialΩ)$, and the potential takes values in the set of symmetric $N\times N$ matrices. By shrinking the domain and res…
▽ More
We study the Schrödinger operator $L=-Δ+V$ on a star-shaped domain $Ω$ in $\mathbb{R}^d$ with Lipschitz boundary $\partialΩ$. The operator is equipped with quite general Dirichlet- or Robin-type boundary conditions induced by operators between $H^{1/2}(\partialΩ)$ and $H^{-1/2}(\partialΩ)$, and the potential takes values in the set of symmetric $N\times N$ matrices. By shrinking the domain and rescaling the operator we obtain a path in the Fredholm-Lagrangian-Grassmannian of the subspace of $H^{1/2}(\partialΩ)\times H^{-1/2}(\partialΩ)$ corresponding to the given boundary condition. The path is formed by computing the Dirichlet and Neumann traces of weak solutions to the rescaled eigenvalue equation. We prove a formula relating the number of negative eigenvalues of $L$ (the Morse index), the signed crossings of the path (the Maslov index), the number of negative eigenvalues of the potential matrix evaluated at the center of the domain, and the number of negative squares of a bilinear form related to the boundary operator.
△ Less
Submitted 3 June, 2015; v1 submitted 5 August, 2014;
originally announced August 2014.
-
A Morse index theorem for elliptic operators on bounded domains
Authors:
Graham Cox,
Christopher K. R. T. Jones,
Jeremy L. Marzuola
Abstract:
Given a selfadjoint, elliptic operator $L$, one would like to know how the spectrum changes as the spatial domain $Ω\subset \mathbb{R}^d$ is deformed. For a family of domains $\{Ω_t\}_{t\in[a,b]}$ we prove that the Morse index of $L$ on $Ω_a$ differs from the Morse index of $L$ on $Ω_b$ by the Maslov index of a path of Lagrangian subspaces on the boundary of $Ω$. This is particularly useful when…
▽ More
Given a selfadjoint, elliptic operator $L$, one would like to know how the spectrum changes as the spatial domain $Ω\subset \mathbb{R}^d$ is deformed. For a family of domains $\{Ω_t\}_{t\in[a,b]}$ we prove that the Morse index of $L$ on $Ω_a$ differs from the Morse index of $L$ on $Ω_b$ by the Maslov index of a path of Lagrangian subspaces on the boundary of $Ω$. This is particularly useful when $Ω_a$ is a domain for which the Morse index is known, e.g. a region with very small volume. Then the Maslov index computes the difference of Morse indices for the "original" problem (on $Ω_b$) and the "simplified" problem (on $Ω_a$). This generalizes previous multi-dimensional Morse index theorems that were only available on star-shaped domains or for Dirichlet boundary conditions. We also discuss how one can compute the Maslov index using crossing forms, and present some applications to the spectral theory of Dirichlet and Neumann boundary value problems.
△ Less
Submitted 16 February, 2015; v1 submitted 23 April, 2014;
originally announced April 2014.
-
Finding Eigenvalues the Rupert Way
Authors:
Colin J. Grudzien,
Tom J. Bridges,
Christopher K. R. T. Jones
Abstract:
We develop a stability index for the travelling waves of non-linear reaction diffusion equations using the geometric phase induced on the Hopf bundle $S^{2n-1} \subset \mathbb{C}^n$. This can be viewed as an alternative formulation of the winding number calculation of the Evans function, whose zeroes correspond to the eigenvalues of the linearization of reaction diffusion operators about the wave.…
▽ More
We develop a stability index for the travelling waves of non-linear reaction diffusion equations using the geometric phase induced on the Hopf bundle $S^{2n-1} \subset \mathbb{C}^n$. This can be viewed as an alternative formulation of the winding number calculation of the Evans function, whose zeroes correspond to the eigenvalues of the linearization of reaction diffusion operators about the wave. The stability of a travelling wave can be determined by the existence of eigenvalues of positive real part for the linear operator. Our method of geometric phase for locating and counting eigenvalues is inspired by the numerical results in Way's Dynamics in the Hopf bundle, the geometric phase and implications for dynamical systems. We provide a detailed proof of the relationship between the phase and eigenvalues for dynamical systems defined on $\mathbb{C}^2$ and sketch the proof of the method of geometric phase for $\mathbb{C}^n$ and its generalization to boundary-value problems. Implementing the numerical method, modified from Way's work, we conclude with open questions inspired from the results.
△ Less
Submitted 23 February, 2016; v1 submitted 13 February, 2014;
originally announced February 2014.
-
Spectral and Modulational Stability of Periodic Wavetrains for the Nonlinear Klein-Gordon Equation
Authors:
Christopher K. R. T. Jones,
Robert Marangell,
Peter D. Miller,
Ramon G. Plaza
Abstract:
This paper is a detailed and self-contained study of the stability properties of periodic traveling wave solutions of the nonlinear Klein-Gordon equation $u_{tt}-u_{xx}+V'(u)=0$, where $u$ is a scalar-valued function of $x$ and $t$, and the potential $V(u)$ is of class $C^2$ and periodic. Stability is considered both from the point of view of spectral analysis of the linearized problem (spectral s…
▽ More
This paper is a detailed and self-contained study of the stability properties of periodic traveling wave solutions of the nonlinear Klein-Gordon equation $u_{tt}-u_{xx}+V'(u)=0$, where $u$ is a scalar-valued function of $x$ and $t$, and the potential $V(u)$ is of class $C^2$ and periodic. Stability is considered both from the point of view of spectral analysis of the linearized problem (spectral stability analysis) and from the point of view of wave modulation theory (the strongly nonlinear theory due to Whitham as well as the weakly nonlinear theory of wave packets). The aim is to develop and present new spectral stability results for periodic traveling waves, and to make a solid connection between these results and predictions of the (formal) modulation theory, which has been developed by others but which we review for completeness.
△ Less
Submitted 1 June, 2017; v1 submitted 4 December, 2013;
originally announced December 2013.
-
Mixed mode oscillations in a conceptual climate model
Authors:
Andrew Roberts,
Esther Widiasih,
Chris K. R. T. Jones,
Martin Wechselberger
Abstract:
Much work has been done on relaxation oscillations and other simple oscillators in conceptual climate models. However, the oscillatory patterns in climate data are often more complicated than what can be described by such mechanisms. This paper examines complex oscillatory behavior in climate data through the lens of mixed-mode oscillations. As a case study, a conceptual climate model with governi…
▽ More
Much work has been done on relaxation oscillations and other simple oscillators in conceptual climate models. However, the oscillatory patterns in climate data are often more complicated than what can be described by such mechanisms. This paper examines complex oscillatory behavior in climate data through the lens of mixed-mode oscillations. As a case study, a conceptual climate model with governing equations for global mean temperature, atmospheric carbon, and oceanic carbon is analyzed. The nondimensionalized model is a fast/slow system with one fast variable (corresponding to ice volume) and two slow variables (corresponding to the two carbon stores). Geometric singular perturbation theory is used to demonstrate the existence of a folded node singularity. A parameter regime is found in which (singular) trajectories that pass through the folded node are returned to the singular funnel in the limiting case where $ε= 0$. In this parameter regime, the model has a stable periodic orbit of type $1^s$ for some $s>0$. To our knowledge, it is the first conceptual climate model demonstrated to have the capability to produce an MMO pattern.
△ Less
Submitted 7 November, 2014; v1 submitted 20 November, 2013;
originally announced November 2013.
-
The Morse and Maslov indices for matrix Hill's equations
Authors:
Christopher K. R. T. Jones,
Yuri Latushkin,
Robert Marangell
Abstract:
For Hill's equations with matrix valued periodic potential, we discuss relations between the Morse index, counting the number of unstable eigenvalues, and the Maslov index, counting the number of signed intersections of a path in the space of Lagrangian planes with a fixed plane. We adapt to the one dimensional periodic setting the strategy of a recent paper by J. Deng and C. Jones relating the Mo…
▽ More
For Hill's equations with matrix valued periodic potential, we discuss relations between the Morse index, counting the number of unstable eigenvalues, and the Maslov index, counting the number of signed intersections of a path in the space of Lagrangian planes with a fixed plane. We adapt to the one dimensional periodic setting the strategy of a recent paper by J. Deng and C. Jones relating the Morse and Maslov indices for multidimensional elliptic eigenvalue problems.
△ Less
Submitted 18 June, 2015; v1 submitted 18 January, 2013;
originally announced January 2013.
-
Approximation of Random Slow Manifolds and Settling of Inertial Particles under Uncertainty
Authors:
Jian Ren,
**qiao Duan,
Christopher K. R. T. Jones
Abstract:
A method is provided for approximating random slow manifolds of a class of slow-fast stochastic dynamical systems. Thus approximate, low dimensional, reduced slow systems are obtained analytically in the case of sufficiently large time scale separation. To illustrate this dimension reduction procedure, the impact of random environmental fluctuations on the settling motion of inertial particles in…
▽ More
A method is provided for approximating random slow manifolds of a class of slow-fast stochastic dynamical systems. Thus approximate, low dimensional, reduced slow systems are obtained analytically in the case of sufficiently large time scale separation. To illustrate this dimension reduction procedure, the impact of random environmental fluctuations on the settling motion of inertial particles in a cellular flow field is examined. It is found that noise delays settling for some particles but enhances settling for others. A deterministic stable manifold is an agent to facilitate this phenomenon. Overall, noise appears to delay the settling in an averaged sense.
△ Less
Submitted 10 March, 2013; v1 submitted 17 December, 2012;
originally announced December 2012.
-
On the stability analysis of periodic sine-Gordon traveling waves
Authors:
Christopher K. R. T. Jones,
Robert Marangell,
Peter D. Miller,
Ramon G. Plaza
Abstract:
We study the spectral stability properties of periodic traveling waves in the sine-Gordon equation, including waves of both subluminal and superluminal propagation velocities as well as waves of both librational and rotational types. We prove that only subluminal rotational waves are spectrally stable and establish exponential instability in the other three cases. Our proof corrects a frequently c…
▽ More
We study the spectral stability properties of periodic traveling waves in the sine-Gordon equation, including waves of both subluminal and superluminal propagation velocities as well as waves of both librational and rotational types. We prove that only subluminal rotational waves are spectrally stable and establish exponential instability in the other three cases. Our proof corrects a frequently cited one given by Scott.
△ Less
Submitted 30 January, 2013; v1 submitted 2 October, 2012;
originally announced October 2012.
-
Unstable gap solitons in inhomogeneous Schrodinger equations
Authors:
R. Marangell,
H. Susanto,
C. K. R. T. Jones
Abstract:
A periodically inhomogeneous Schrodinger equation is considered. The inhomogeneity is reflected through a non-uniform coefficient of the linear and non-linear term in the equation. Due to the periodic inhomogeneity of the linear term, the system may admit spectral bands. When the oscillation frequency of a localized solution resides in one of the finite band gaps, the solution is a gap soliton, ch…
▽ More
A periodically inhomogeneous Schrodinger equation is considered. The inhomogeneity is reflected through a non-uniform coefficient of the linear and non-linear term in the equation. Due to the periodic inhomogeneity of the linear term, the system may admit spectral bands. When the oscillation frequency of a localized solution resides in one of the finite band gaps, the solution is a gap soliton, characterized by the presence of infinitely many zeros in the spatial profile of the soliton. Recently, how to construct such gap solitons through a composite phase portrait is shown. By exploiting the phase-space method and combining it with the application of a topological argument, it is shown that the instability of a gap soliton can be described by the phase portrait of the solution. Surface gap solitons at the interface between a periodic inhomogeneous and a homogeneous medium are also discussed. Numerical calculations are presented accompanying the analytical results.
△ Less
Submitted 13 January, 2012;
originally announced January 2012.
-
Stability of Travelling Wave Solutions to the Sine-Gordon Equation
Authors:
C. K. R. T. Jones,
R. Marangell
Abstract:
We give a geometric proof of spectral stability of travelling kink wave solutions to the sine-Gordon equation. For a travelling kink wave solution of speed $c \neq \pm 1$, the wave is spectrally stable. The proof uses the Maslov index as a means for determining the lack of real eigenvalues. Ricatti equations and further geometric considerations are also used in establishing stability.
We give a geometric proof of spectral stability of travelling kink wave solutions to the sine-Gordon equation. For a travelling kink wave solution of speed $c \neq \pm 1$, the wave is spectrally stable. The proof uses the Maslov index as a means for determining the lack of real eigenvalues. Ricatti equations and further geometric considerations are also used in establishing stability.
△ Less
Submitted 13 October, 2010;
originally announced October 2010.
-
Localized standing waves in inhomogeneous Schrodinger equations
Authors:
R. Marangell,
C. K. R. T. Jones,
H. Susanto
Abstract:
A nonlinear Schrodinger equation arising from light propagation down an inhomogeneous medium is considered. The inhomogeneity is reflected through a non-uniform coefficient of the non-linear term in the equation. In particular, a combination of self-focusing and self-defocusing nonlinearity, with the self-defocusing region localized in a finite interval, is investigated. Using numerical computat…
▽ More
A nonlinear Schrodinger equation arising from light propagation down an inhomogeneous medium is considered. The inhomogeneity is reflected through a non-uniform coefficient of the non-linear term in the equation. In particular, a combination of self-focusing and self-defocusing nonlinearity, with the self-defocusing region localized in a finite interval, is investigated. Using numerical computations, the extension of linear eigenmodes of the corresponding linearized system into nonlinear states is established, particularly nonlinear continuations of the fundamental state and the first excited state. The (in)stability of the states is also numerically calculated, from which it is obtained that symmetric nonlinear solutions become unstable beyond a critical threshold norm. Instability of the symmetric states is then investigated analytically through the application of a topological argument. Determination of instability of positive symmetric states is reduced to simple geometric properties of the composite phase plane orbit of the standing wave. Further the topological argument is applied to higher excited states and instability is again reduced to straightforward geometric calculations. For a relatively high norm, it is observed that asymmetric states bifurcate from the symmetric ones. The stability and instability of asymmetric states is also considered.
△ Less
Submitted 18 February, 2010;
originally announced February 2010.
-
Existence of multi-pulses of the regularized short-pulse and Ostrovsky equations
Authors:
Vahagn Manukian,
Nick Costanzino,
Christopher K. R. T. Jones,
Bjorn Sandstede
Abstract:
The existence of multi-pulse solutions near orbit-flip bifurcations of a primary single-humped pulse is shown in reversible, conservative, singularly perturbed vector fields. Similar to the non-singular case, the sign of a geometric condition that involves the first integral decides whether multi-pulses exist or not. The proof utilizes a combination of geometric singular perturbation theory and…
▽ More
The existence of multi-pulse solutions near orbit-flip bifurcations of a primary single-humped pulse is shown in reversible, conservative, singularly perturbed vector fields. Similar to the non-singular case, the sign of a geometric condition that involves the first integral decides whether multi-pulses exist or not. The proof utilizes a combination of geometric singular perturbation theory and Lyapunov--Schmidt reduction through Lin's method. The motivation for considering orbit flips in singularly perturbed systems comes from the regularized short-pulse equation and the Ostrovsky equation, which both fit into this framework and are shown here to support multi-pulses.
△ Less
Submitted 13 July, 2009;
originally announced July 2009.
-
Solitary waves of the regularized short pulse and Ostrovsky equations
Authors:
N. Costanzino,
V. Manukian,
C. K. R. T. Jones
Abstract:
We derive a model for the propagation of short pulses in nonlinear media. The model is a higher order regularization of the short pulse equation (SPE). The regularization term arises as the next term in the expansion of the susceptibility in derivation of the SPE. Without the regularization term there do not exist traveling pulses in the class of piecewise smooth functions with one discontinuity…
▽ More
We derive a model for the propagation of short pulses in nonlinear media. The model is a higher order regularization of the short pulse equation (SPE). The regularization term arises as the next term in the expansion of the susceptibility in derivation of the SPE. Without the regularization term there do not exist traveling pulses in the class of piecewise smooth functions with one discontinuity. However, when the regularization term is added we show, for a particular parameter regime, that the equation supports smooth traveling waves which have structure similar to solitary waves of the modified KdV equation. The existence of such traveling pulses is proved via the Fenichel theory for singularly perturbed systems and a Melnikov type transversality calculation. Corresponding statements for the Ostrovsky equations are also included.
△ Less
Submitted 19 September, 2008;
originally announced September 2008.
-
Solitary Waves Under the Competition of Linear and Nonlinear Periodic Potentials
Authors:
Z. Rapti,
P. G. Kevrekidis,
V. V. Konotop,
C. K. R. T. Jones
Abstract:
In this paper, we study the competition of linear and nonlinear lattices and its effects on the stability and dynamics of bright solitary waves. We consider both lattices in a perturbative framework, whereby the technique of Hamiltonian perturbation theory can be used to obtain information about the existence of solutions, and the same approach, as well as eigenvalue count considerations, can be…
▽ More
In this paper, we study the competition of linear and nonlinear lattices and its effects on the stability and dynamics of bright solitary waves. We consider both lattices in a perturbative framework, whereby the technique of Hamiltonian perturbation theory can be used to obtain information about the existence of solutions, and the same approach, as well as eigenvalue count considerations, can be used to obtained detailed conditions about their linear stability. We find that the analytical results are in very good agreement with our numerical findings and can also be used to predict features of the dynamical evolution of such solutions.
△ Less
Submitted 8 July, 2007;
originally announced July 2007.
-
Ultra-short pulses in linear and nonlinear media
Authors:
Y. Chung,
C. K. R. T. Jones,
T. Schaefer,
C. E. Wayne
Abstract:
We consider the evolution of ultra-short optical pulses in linear and nonlinear media. For the linear case, we first show that the initial-boundary value problem for Maxwell's equations in which a pulse is injected into a quiescent medium at the left endpoint can be approximated by a linear wave equation which can then be further reduced to the linear short-pulse equation. A rigorous proof is gi…
▽ More
We consider the evolution of ultra-short optical pulses in linear and nonlinear media. For the linear case, we first show that the initial-boundary value problem for Maxwell's equations in which a pulse is injected into a quiescent medium at the left endpoint can be approximated by a linear wave equation which can then be further reduced to the linear short-pulse equation. A rigorous proof is given that the solution of the short pulse equation stays close to the solutions of the original wave equation over the time scales expected from the multiple scales derivation of the short pulse equation. For the nonlinear case we compare the predictions of the traditional nonlinear Schrödinger equation (NLSE) approximation which those of the short pulse equation (SPE). We show that both equations can be derived from Maxwell's equations using the renormalization group method, thus bringing out the contrasting scales. The numerical comparison of both equations to Maxwell's equations shows clearly that as the pulse length shortens, the NLSE approximation becomes steadily less accurate while the short pulse equation provides a better and better approximation.
△ Less
Submitted 10 August, 2004;
originally announced August 2004.
-
A Spectral Map** Theorem and Invariant Manifolds for Nonlinear Schrödinger Equations
Authors:
F. Gesztesy,
C. K. R. T. Jones,
Y. Latushkin,
M. Stanislavova
Abstract:
A spectral map** theorem is proved that resolves a key problem in applying invariant manifold theorems to nonlinear Schr\" odinger type equations. The theorem is applied to the operator that arises as the linearization of the equation around a standing wave solution. We cast the problem in the context of space-dependent nonlinearities that arise in optical waveguide problems. The result is, ho…
▽ More
A spectral map** theorem is proved that resolves a key problem in applying invariant manifold theorems to nonlinear Schr\" odinger type equations. The theorem is applied to the operator that arises as the linearization of the equation around a standing wave solution. We cast the problem in the context of space-dependent nonlinearities that arise in optical waveguide problems. The result is, however, more generally applicable including to equations in higher dimensions and even systems. The consequence is that stable, unstable, and center manifolds exist in the neighborhood of a (stable or unstable) standing wave, such as a waveguide mode, under simple and commonly verifiable spectral conditions.
△ Less
Submitted 16 July, 1999;
originally announced July 1999.