SearcharxivSearch

arXiv subjects

John Guckenheimer

Publications and source records attributed to John Guckenheimer.

17 recordsLinked to original sources

Active Sensing Subserves Task-Level Control

Active sensing is traditionally defined as the expenditure of energy, typically in the form of movement, for obtaining information. Here, we propose that the combination of reliance on adaptive sensors, the linkage between movement and sensing, and task-level control inevitably gives rise to the emergence of active sensing movements. In this way, active sensing is not driven by sensory goals, such as minimizing uncertainty about the state, but rather is necessary for task-level control. This hypothesis, that active sensing subserves control, is supported by both empirical data from organisms and mathematical theory. Interestingly, active sensing behaviors often occur in discrete epochs, interspersed with goal-oriented behavior. This suggests that animals switch between two behavioral modes with distinct control policies, an `explore' mode in which animals produce dynamic movements to shape sensory feedback, and an `exploit' mode in which animals produce slower compensatory movements that are directly related to achieving task goals. This strategy for feedback control that relies on adaptive sensors, active sensing, and mode switching is not commonly used in engineered systems despite being ubiquitous in biology. Engineered systems comprising state-of-the-art sensors, actuators, and mechanical designs can outperform animals with respect to ``cost functions'' such as maximum force generation, precision, and speed. Nevertheless, animals routinely achieve robust, graceful behaviors that are currently unmatched by engineered systems, suggesting that current control systems are insufficient. These insights, expressed in the language of control theory, may be critical for improving robotic sensing and control.

q-bio.NC

The Legacy of the Cartwright-Littlewood Collaboration

Mary L. Cartwright and John E. Littlewood published a short preliminary survey in 1945 describing results of their investigation of the forced van der Pol equation \begin{equation*} \ddot{y}-k(1-y^2)\dot{y}+y = b λk \cos(λt+a) \end{equation*} in which $b,λ,k,a$ are parameters with $k$ large. Their description of dynamical behavior now known as chaos in this dissipative dynamical system was a landmark in dynamical systems theory. Littlewood's monster paper containing the details of their investigation finally appeared twelve years later in the journal Acta Mathematica. I review here the context in which Cartwright and Littlewood worked when they wrote their 1945 paper and the enduring mathematical legacy of their discoveries. I also give brief pointers to research they inspired in other application areas.

math.DS

Staying the course: Locating equilibria of dynamical systems on Riemannian manifolds defined by point-clouds

We introduce a method to successively locate equilibria (steady states) of dynamical systems on Riemannian manifolds. The manifolds need not be characterized by an a priori known atlas or by the zeros of a smooth map. Instead, they can be defined by point-clouds and sampled as needed through an iterative process. If the manifold is an Euclidean space, our method follows isoclines, curves along which the direction of the vector field $X$ is constant. For a generic vector field $X$, isoclines are smooth curves and every equilibrium lies on isoclines. We generalize the definition of isoclines to Riemannian manifolds through the use of parallel transport: generalized isoclines are curves along which the directions of $X$ are parallel transports of each other. As in the Euclidean case, generalized isoclines of generic vector fields $X$ are smooth curves that connect equilibria of $X$. Our algorithm can be regarded as an extension of the method of Newton trajectories to the manifold setting when the manifold is unknown. This work is motivated by computational statistical mechanics, specifically high dimensional (stochastic) differential equations that model the dynamics of molecular systems. Often, these dynamics concentrate near low-dimensional manifolds and have transitions (saddle points with a single unstable direction) between metastable equilibria. We employ iteratively sampled data and isoclines to locate these saddle points. Coupling a black-box sampling scheme (e.g., Markov chain Monte Carlo) with manifold learning techniques (diffusion maps in the case presented here), we show that our method reliably locates equilibria of $X$.

cs.LG

(Un)predictability of strong El Niño events

The El Niño-Southern Oscillation (ENSO) is a mode of interannual variability in the coupled equatorial Pacific coupled atmosphere/ocean system. El Niño describes a state in which sea surface temperatures in the eastern Pacific increase and upwelling of colder, deep waters diminishes. El Niño events typically peak in boreal winter, but their strength varies irregularly on decadal time scales. There were exceptionally strong El Niño events in 1982-83, 1997-98 and 2015-16 that affected weather on a global scale. Widely publicized forecasts in 2014 predicted that the 2015-16 event would occur a year earlier. Predicting the strength of El Niño is a matter of practical concern due to its effects on hydroclimate and agriculture around the world. This paper discusses the frequency and regularity of strong El Niño events in the context of chaotic dynamical systems. We discover a mechanism that limits their predictability in a conceptual "recharge oscillator" model of ENSO. Weak seasonal forcing or noise in this model can induce irregular switching between an oscillatory state that has strong El Niño events and a chaotic state that lacks strong events, In this regime, the timing of strong El Niño events on decadal time scales is unpredictable.

math.DS

Intrinsic unpredictability of strong El Niño events

The El Niño-Southern Oscillation (ENSO) is a mode of interannual variability in the coupled equatorial ocean/atmosphere Pacific. El Niño describes a state in which sea surface temperatures in the eastern Pacific increase and upwelling of colder, deep waters diminishes. El Niño events typically peak in boreal winter, but their strength varies irregularly on decadal time scales. There were exceptionally strong El Niño events in 1982-83, 1997-98 and 2015-16 that affected weather on a global scale. Widely publicized forecasts in 2014 predicted that the 2015-16 event would occur a year earlier. Predicting the strength of El Niño is a matter of practical concern due to its effects on hydroclimate and agriculture around the world. This paper presents a new robust mechanism limiting the predictability of strong ENSO events: the existence of an irregular switching between an oscillatory state that has strong El Niño events and a chaotic state that lacks strong events, which can be induced by very weak seasonal forcing or noise.

physics.ao-ph

Mixed mode oscillations of the El Niño-Southern Oscillation

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.

math.DS

Shilnikov Homoclinic Bifurcation of Mixed-Mode Oscillations

The Koper model is a three-dimensional vector field that was developed to study complex electrochemical oscillations arising in a diffusion process. Koper and Gaspard described paradoxical dynamics in the model: they discovered complicated, chaotic behavior consistent with a homoclinic orbit of Shil'nikov type, but were unable to locate the orbit itself. The Koper model has since served as a prototype to study the emergence of mixed-mode oscillations (MMOs) in slow-fast systems, but only in this paper is the existence of these elusive homoclinic orbits established. They are found first in a larger family that has been used to study singular Hopf bifurcation in multiple time scale systems with two slow variables and one fast variable. A curve of parameters with homoclinic orbits in this larger family is obtained by continuation and shown to cross the submanifold of the Koper system. The strategy used to compute the homoclinic orbits is based upon systematic investigation of intersections of invariant manifolds in this system with multiple time scales. Both canards and folded nodes are multiple time scale phenomena encountered in the analysis. Suitably chosen cross-sections and return maps illustrate the complexity of the resulting MMOs and yield a modified geometric model from the one Shil'nikov used to study spiraling homoclinic bifurcations.

math.DS

Rigorous Enclosures of a Slow Manifold

Slow-fast dynamical systems have two time scales and an explicit parameter representing the ratio of these time scales. Locally invariant slow manifolds along which motion occurs on the slow time scale are a prominent feature of slow-fast systems. This paper introduces a rigorous numerical method to compute enclosures of the slow manifold of a slow-fast system with one fast and two slow variables. A triangulated first order approximation to the two dimensional invariant manifold is computed "algebraically". Two translations of the computed manifold in the fast direction that are transverse to the vector field are computed as the boundaries of an initial enclosure. The enclosures are refined to bring them closer to each other by moving vertices of the enclosure boundaries one at a time. As an application we use it to prove the existence of tangencies of invariant manifolds in the problem of singular Hopf bifurcation and to give bounds on the location of one such tangency.

math.DS

Computing Slow Manifolds of Saddle Type

Slow manifolds are important geometric structures in the state spaces of dynamical systems with multiple time scales. This paper introduces an algorithm for computing trajectories on slow manifolds that are normally hyperbolic with both stable and unstable fast manifolds. We present two examples of bifurcation problems where these manifolds play a key role and a third example in which saddle-type slow manifolds are part of a traveling wave profile of a partial differential equation. Initial value solvers are incapable of computing trajectories on saddle-type slow manifolds, so the slow manifold of saddle type (SMST) algorithm presented here is formulated as a boundary value method. We take an empirical approach here to assessing the accuracy and effectiveness of the algorithm.

math.DS

Homoclinic Orbits of the FitzHugh-Nagumo Equation: Bifurcations in the Full System

This paper investigates travelling wave solutions of the FitzHugh-Nagumo equation from the viewpoint of fast-slow dynamical systems. These solutions are homoclinic orbits of a three dimensional vector field depending upon system parameters of the FitzHugh-Nagumo model and the wave speed. Champneys et al. [A.R. Champneys, V. Kirk, E. Knobloch, B.E. Oldeman, and J. Sneyd, When Shilnikov meets Hopf in excitable systems, SIAM Journal of Applied Dynamical Systems, 6(4), 2007] observed sharp turns in the curves of homoclinic bifurcations in a two dimensional parameter space. This paper demonstrates numerically that these turns are located close to the intersection of two curves in the parameter space that locate non-transversal intersections of invariant manifolds of the three dimensional vector field. The relevant invariant manifolds in phase space are visualized. A geometrical model inspired by the numerical studies displays the sharp turns of the homoclinic bifurcations curves and yields quantitative predictions about multi-pulse and homoclinic orbits and periodic orbits that have not been resolved in the FitzHugh-Nagumo model. Further observations address the existence of canard explosions and mixed-mode oscillations.

math.DS

Homoclinic Orbits of the FitzHugh-Nagumo Equation: The Singular-Limit

The FitzHugh-Nagumo equation has been investigated with a wide array of different methods in the last three decades. Recently a version of the equations with an applied current was analyzed by Champneys, Kirk, Knobloch, Oldeman and Sneyd using numerical continuation methods. They obtained a complicated bifurcation diagram in parameter space featuring a C-shaped curve of homoclinic bifurcations and a U-shaped curve of Hopf bifurcations. We use techniques from multiple time-scale dynamics to understand the structures of this bifurcation diagram based on geometric singular perturbation analysis of the FitzHugh-Nagumo equation. Numerical and analytical techniques show that if the ratio of the time-scales in the FitzHugh-Nagumo equation tends to zero, then our singular limit analysis correctly represents the observed CU-structure. Geometric insight from the analysis can even be used to compute bifurcation curves which are inaccessible via continuation methods. The results of our analysis are summarized in a singular bifurcation diagram.

math.DS

Unfoldings of singular Hopf bifurcation

Singular Hopf bifurcation occurs in generic families of vector-fields with two slow variables and one fast variable. Normal forms for this bifurcation depend upon several parameters, and the dynamics displayed by the normal forms is intricate. This paper analyzes a normal form for this bifurcation. It presents extensive diagrams of bifurcations of equilibrium points and periodic orbits that are close to singular Hopf bifurcation. In addition, parameters are determined where there is a tangency between invariant manifolds that are important in the appearance of mixed-mode oscillations in systems near singular Hopf bifurcation. One parameter of the normal form is identified as the primary bifurcation parameter, and the paper presents a catalog of bifurcation sequences that occur as the primary bifurcation parameter is varied. These results are applied to estimate the parameters for the onset of mixed-mode oscillations in a model of chemical oscillations.

math.DS

The Backward behavior of the Ricci and Cross Curvature Flows on SL(2,R)

This paper is concerned with properties of maximal solutions of the Ricci and cross curvature flows on locally homogeneous three-manifolds of type SL(2,R). We prove that, generically, a maximal solution originates at a sub-Riemannian geometry of Heisenberg type. This solves a problem left open in earlier work by two of the authors.

math.DG

Dissecting the Phase Response of a Model Bursting Neuron

We investigate the phase response properties of the Hindmarsh-Rose model of neuronal bursting using burst phase response curves (BPRCs) computed with an infinitesimal perturbation approximation and by direct simulation of synaptic input. The resulting BPRCs have a significantly more complicated structure than the usual Type I and Type II PRCs of spiking neuronal models, and they exhibit highly timing-sensitive changes in the number of spikes per burst that lead to large magnitude phase responses. We use fast-slow dissection and isochron calculations to analyze the phase response dynamics in both weak and strong perturbation regimes.

math.DS

Fruit flies modulate passive wing pitching to generate in-flight turns

Flying insects execute aerial maneuvers through subtle manipulations of their wing motions. Here, we measure the free flight kinematics of fruit flies and determine how they modulate their wing pitching to induce sharp turns. By analyzing the torques these insects exert to pitch their wings, we infer that the wing hinge acts as a torsional spring that passively resists the wing's tendency to flip in response to aerodynamic and inertial forces. To turn, the insects asymmetrically change the spring rest angles to generate rowing motions of their wings. Thus, insects can generate these maneuvers using only a slight active actuation that biases their wing motion.

physics.bio-ph

Dynamical Systems: Some Computational Problems

We present several topics involving the computation of dynamical systems. The emphasis is on work in progress and the presentation is informal -- there are many technical details which are not fully discussed. The topics are chosen to demonstrate the various interactions between numerical computation and mathematical theory in the area of dynamical systems. We present an algorithm for the computation of stable manifolds of equilibrium points, describe the computation of Hopf bifurcations for equilibria in parametrized families of vector fields, survey the results of studies of codimension two global bifurcations, discuss a numerical analysis of the Hodgkin and Huxley equations, and describe some of the effects of symmetry on local bifurcation.

chao-dyn

A Dynamical Simulation Facility for Hybrid Systems

This paper establishes a general framework for describing hybrid dynamical systems which is particularly suitable for numerical simulation. In this context, the data structures used to describe the sets and functions which comprise the dynamical system are crucial since they provide the link between a natural mathematical formulation of a problem and the correct application of standard numerical algorithms. We describe a partial implementation of the design methodology and use this simulation tool for a specific control problem in robotics as an illustration of the utility of the approach for practical applications.

chao-dyn