Phase-amplitude reduction of transient dynamics far from attractors for limit-cycling systems

How to design optimal brain stimulation to modulate phase-amplitude coupling?

Objective.Phase-amplitude coupling (PAC), the coupling of the amplitude of a faster brain rhythm to the phase of a slower brain rhythm, plays a significant role in brain activity and has been implicated in various neurological disorders. For example, in Parkinson's disease, PAC between the beta (13-30 Hz) and gamma (30-100 Hz) rhythms in the motor cortex is exaggerated, while in Alzheimer's disease, PAC between the theta (4-8 Hz) and gamma rhythms is diminished. Modulating PAC (i.e. reducing or enhancing PAC) using brain stimulation could therefore open new therapeutic avenues. However, while it has been previously reported that phase-locked stimulation can increase PAC, it is unclear what the optimal stimulation strategy to modulate PAC might be. Here, we provide a theoretical framework to narrow down the experimental optimisation of stimulation aimed at modulating PAC, which would otherwise rely on trial and error.Approach.We make analytical predictions using a Stuart-Landau model, and confirm these predictions in a more realistic model of coupled neural populations.Main results.Our framework specifies the critical Fourier coefficients of the stimulation waveform which should be tuned to optimally modulate PAC. Depending on the characteristics of the amplitude response curve of the fast population, these components may include the slow frequency, the fast frequency, combinations of these, as well as their harmonics. We also show that the optimal balance of energy between these Fourier components depends on the relative strength of the endogenous slow and fast rhythms, and that the alignment of fast components with the fast rhythm should change throughout the slow cycle. Furthermore, we identify the conditions requiring to phase-lock stimulation to the fast and/or slow rhythms.Significance.Together, our theoretical framework lays the foundation for guiding the development of innovative and more effective brain stimulation aimed at modulating PAC for therapeutic benefit.

Phase autoencoder for limit-cycle oscillators

We present a phase autoencoder that encodes the asymptotic phase of a limit-cycle oscillator, a fundamental quantity characterizing its synchronization dynamics. This autoencoder is trained in such a way that its latent variables directly represent the asymptotic phase of the oscillator. The trained autoencoder can perform two functions without relying on the mathematical model of the oscillator: first, it can evaluate the asymptotic phase and the phase sensitivity function of the oscillator; second, it can reconstruct the oscillator state on the limit cycle in the original space from the phase value as an input. Using several examples of limit-cycle oscillators, we demonstrate that the asymptotic phase and the phase sensitivity function can be estimated only from time-series data by the trained autoencoder. We also present a simple method for globally synchronizing two oscillators as an application of the trained autoencoder.

Insights into oscillator network dynamics using a phase-isostable framework

Networks of coupled nonlinear oscillators can display a wide range of emergent behaviors under the variation of the strength of the coupling. Network equations for pairs of coupled oscillators where the dynamics of each node is described by the evolution of its phase and slowest decaying isostable coordinate have previously been shown to capture bifurcations and dynamics of the network, which cannot be explained through standard phase reduction. An alternative framework using isostable coordinates to obtain higher-order phase reductions has also demonstrated a similar descriptive ability for two oscillators. In this work, we consider the phase-isostable network equations for an arbitrary but finite number of identical coupled oscillators, obtaining conditions required for the stability of phase-locked states including synchrony. For the mean-field complex Ginzburg-Landau equation where the solutions of the full system are known, we compare the accuracy of the phase-isostable network equations and higher-order phase reductions in capturing bifurcations of phase-locked states. We find the former to be the more accurate and, therefore, employ this to investigate the dynamics of globally linearly coupled networks of Morris-Lecar neuron models (both two and many nodes). We observe qualitative correspondence between results from numerical simulations of the full system and the phase-isostable description demonstrating that in both small and large networks, the phase-isostable framework is able to capture dynamics that the first-order phase description cannot.

Phase-amplitude reduction and optimal phase locking of collectively oscillating networks

We present a phase-amplitude reduction framework for analyzing collective oscillations in networked dynamical systems. The framework, which builds on the phase reduction method, takes into account not only the collective dynamics on the limit cycle but also deviations from it by introducing amplitude variables and using them with the phase variable. The framework allows us to study how networks react to applied inputs or coupling, including their synchronization and phase locking, while capturing the deviations of the network states from the unperturbed dynamics. Numerical simulations are used to demonstrate the effectiveness of the framework for networks composed of FitzHugh-Nagumo elements. The resulting phase-amplitude equations can be used in deriving optimal periodic waveforms or introducing feedback control for achieving fast phase locking while stabilizing the collective oscillations.

Synchronization, clustering, and weak chimeras in a densely coupled transcription-based oscillator model for split circadian rhythms

The synchronization dynamics for the circadian gene expression in the suprachiasmatic nucleus is investigated using a transcriptional circadian clock gene oscillator model. With global coupling in constant dark (DD) conditions, the model exhibits a one-cluster phase synchronized state, in dim light (dim LL), bistability between one- and two-cluster states and in bright LL, a two-cluster state. The two-cluster phase synchronized state, where some oscillator pairs synchronize in-phase, and some anti-phase, can explain the splitting of the circadian clock, i.e., generation of two bouts of daily activities with certain species, e.g., with hamsters. The one- and two-cluster states can be reached by transferring the animal from DD or bright LL to dim LL, i.e., the circadian synchrony has a memory effect. The stability of the one- and two-cluster states was interpreted analytically by extracting phase models from the ordinary differential equation models. In a modular network with two strongly coupled oscillator populations with weak intragroup coupling, with appropriate initial conditions, one group is synchronized to the one-cluster state and the other group to the two-cluster state, resulting in a weak-chimera state. Computational modeling suggests that the daily rhythms in sleep-wake depend on light intensity acting on bilateral networks of suprachiasmatic nucleus (SCN) oscillators. Addition of a network heterogeneity (coupling between the left and right SCN) allowed the system to exhibit chimera states. The simulations can guide experiments in the circadian rhythm research to explore the effect of light intensity on the complexities of circadian desynchronization.

A universal description of stochastic oscillators

Many systems in physics, chemistry, and biology exhibit oscillations with a pronounced random component. Such stochastic oscillations can emerge via different mechanisms, for example, linear dynamics of a stable focus with fluctuations, limit-cycle systems perturbed by noise, or excitable systems in which random inputs lead to a train of pulses. Despite their diverse origins, the phenomenology of random oscillations can be strikingly similar. Here, we introduce a nonlinear transformation of stochastic oscillators to a complex-valued function [Formula: see text](x) that greatly simplifies and unifies the mathematical description of the oscillator's spontaneous activity, its response to an external time-dependent perturbation, and the correlation statistics of different oscillators that are weakly coupled. The function [Formula: see text] (x) is the eigenfunction of the Kolmogorov backward operator with the least negative (but nonvanishing) eigenvalue λ1 = μ1 + iω1. The resulting power spectrum of the complex-valued function is exactly given by a Lorentz spectrum with peak frequency ω1 and half-width μ1; its susceptibility with respect to a weak external forcing is given by a simple one-pole filter, centered around ω1; and the cross-spectrum between two coupled oscillators can be easily expressed by a combination of the spontaneous power spectra of the uncoupled systems and their susceptibilities. Our approach makes qualitatively different stochastic oscillators comparable, provides simple characteristics for the coherence of the random oscillation, and gives a framework for the description of weakly coupled oscillators.

Controlling fluidic oscillator flow dynamics by elastic structure vibration

In this study, we introduce a design of a feedback-type fluidic oscillator with elastic structures surrounding its feedback channel. By employing phase reduction theory, we extract the phase sensitivity function of the complex fluid-structure coupled system, which represents the system's oscillatory characteristics. We show that the frequency of the oscillating flow inside the fluidic oscillator can be modulated by inducing synchronization with the weak periodic forcing from the elastic structure vibration. This design approach adds controllability to the fluidic oscillator, where conventionally, the intrinsic oscillatory characteristics of such device were highly determined by its geometry. The synchronization-induced control also changes the physical characteristics of the oscillatory fluid flow, which can be beneficial for practical applications, such as promoting better fluid mixing without changing the overall geometry of the device. Furthermore, by analyzing the phase sensitivity function, we demonstrate how the use of phase reduction theory gives good estimation of the synchronization condition with minimal number of experiments, allowing for a more efficient control design process. Finally, we show how an optimal control signal can be designed to reach the fastest time to synchronization.

Estimating asymptotic phase and amplitude functions of limit-cycle oscillators from time series data

We propose a method for estimating the asymptotic phase and amplitude functions of limit-cycle oscillators using observed time series data without prior knowledge of their dynamical equations. The estimation is performed by polynomial regression and can be solved as a convex optimization problem. The validity of the proposed method is numerically illustrated by using two-dimensional limit-cycle oscillators as examples. As an application, we demonstrate data-driven fast entrainment with amplitude suppression using the optimal periodic input derived from the estimated phase and amplitude functions.

A definition of the asymptotic phase for quantum nonlinear oscillators from the Koopman operator viewpoint

We propose a definition of the asymptotic phase for quantum nonlinear oscillators from the viewpoint of the Koopman operator theory. The asymptotic phase is a fundamental quantity for the analysis of classical limit-cycle oscillators, but it has not been defined explicitly for quantum nonlinear oscillators. In this study, we define the asymptotic phase for quantum oscillatory systems by using the eigenoperator of the backward Liouville operator associated with the fundamental oscillation frequency. By using the quantum van der Pol oscillator with a Kerr effect as an example, we illustrate that the proposed asymptotic phase appropriately yields isochronous phase values in both semiclassical and strong quantum regimes.

Control of coupled neural oscillations using near-periodic inputs

Deep brain stimulation (DBS) is a commonly used treatment for medication resistant Parkinson's disease and is an emerging treatment for other neurological disorders. More recently, phase-specific adaptive DBS (aDBS), whereby the application of stimulation is locked to a particular phase of tremor, has been proposed as a strategy to improve therapeutic efficacy and decrease side effects. In this work, in the context of these phase-specific aDBS strategies, we investigate the dynamical behavior of large populations of coupled neurons in response to near-periodic stimulation, namely, stimulation that is periodic except for a slowly changing amplitude and phase offset that can be used to coordinate the timing of applied input with a specified phase of model oscillations. Using an adaptive phase-amplitude reduction strategy, we illustrate that for a large population of oscillatory neurons, the temporal evolution of the associated phase distribution in response to near-periodic forcing can be captured using a reduced order model with four state variables. Subsequently, we devise and validate a closed-loop control strategy to disrupt synchronization caused by coupling. Additionally, we identify strategies for implementing the proposed control strategy in situations where underlying model equations are unavailable by estimating the necessary terms of the reduced order equations in real-time from observables.

Isostables for Stochastic Oscillators

Thomas and Lindner [P. J. Thomas and B. Lindner, Phys. Rev. Lett. 113, 254101 (2014).PRLTAO0031-900710.1103/PhysRevLett.113.254101], defined an asymptotic phase for stochastic oscillators as the angle in the complex plane made by the eigenfunction, having a complex eigenvalue with a least negative real part, of the backward Kolmogorov (or stochastic Koopman) operator. We complete the phase-amplitude description of noisy oscillators by defining the stochastic isostable coordinate as the eigenfunction with the least negative nontrivial real eigenvalue. Our results suggest a framework for stochastic limit cycle dynamics that encompasses noise-induced oscillations.

Koopman spectral analysis of elementary cellular automata

We perform a Koopman spectral analysis of elementary cellular automata (ECA). By lifting the system dynamics using a one-hot representation of the system state, we derive a matrix representation of the Koopman operator as the transpose of the adjacency matrix of the state-transition network. The Koopman eigenvalues are either zero or on the unit circle in the complex plane, and the associated Koopman eigenfunctions can be explicitly constructed. From the Koopman eigenvalues, we can judge the reversibility, determine the number of connected components in the state-transition network, evaluate the period of asymptotic orbits, and derive the conserved quantities for each system. We numerically calculate the Koopman eigenvalues of all rules of ECA on a one-dimensional lattice of 13 cells with periodic boundary conditions. It is shown that the spectral properties of the Koopman operator reflect Wolfram's classification of ECA.

Asymptotic Phase and Amplitude for Classical and Semiclassical Stochastic Oscillators via Koopman Operator Theory

The asymptotic phase is a fundamental quantity for the analysis of deterministic limit-cycle oscillators, and generalized definitions of the asymptotic phase for stochastic oscillators have also been proposed. In this article, we show that the asymptotic phase and also amplitude can be defined for classical and semiclassical stochastic oscillators in a natural and unified manner by using the eigenfunctions of the Koopman operator of the system. We show that the proposed definition gives appropriate values of the phase and amplitude for strongly stochastic limit-cycle oscillators, excitable systems undergoing noise-induced oscillations, and also for quantum limit-cycle oscillators in the semiclassical regime.

Fast optimal entrainment of limit-cycle oscillators by strong periodic inputs via phase-amplitude reduction and Floquet theory

Optimal entrainment of limit-cycle oscillators by strong periodic inputs is studied on the basis of the phase-amplitude reduction and Floquet theory. Two methods for deriving the input waveforms that keep the system state close to the original limit cycle are proposed, which enable the use of strong inputs for entrainment. The first amplitude-feedback method uses feedback control to suppress deviations of the system state from the limit cycle, while the second amplitude-penalty method seeks an input waveform that does not excite large deviations from the limit cycle in the feedforward framework. Optimal entrainment of the van der Pol and Willamowski-Rössler oscillators with real or complex Floquet exponents is analyzed as examples. It is demonstrated that the proposed methods can achieve considerably faster entrainment and provide wider entrainment ranges than the conventional method that relies only on phase reduction.

Exploiting circadian memory to hasten recovery from circadian misalignment

Recent years have seen a sustained interest in the development of circadian reentrainment strategies to limit the deleterious effects of jet lag. Due to the dynamical complexity of many circadian models, phase-based model reduction techniques are often an imperative first step in the analysis. However, amplitude coordinates that capture lingering effects (i.e., memory) from past inputs are often neglected. In this work, we focus on these amplitude coordinates using an operational phase and an isostable coordinate framework in the context of the development of jet-lag amelioration strategies. By accounting for the influence of circadian memory, we identify a latent phase shift that can prime one's circadian cycle to reentrain more rapidly to an expected time-zone shift. A subsequent optimal control problem is proposed that balances the trade-off between control effort and the resulting latent phase shift. Data-driven model identification techniques for the inference of necessary reduced order, phase-amplitude-based models are considered in situations where the underlying model equations are unknown, and numerical results are illustrated in both a simple planar model and in a coupled population of circadian oscillators.

Data-driven inference of high-accuracy isostable-based dynamical models in response to external inputs

Isostable reduction is a powerful technique that can be used to characterize behaviors of nonlinear dynamical systems using a basis of slowly decaying eigenfunctions of the Koopman operator. When the underlying dynamical equations are known, previously developed numerical techniques allow for high-order accuracy computation of isostable reduced models. However, in situations where the dynamical equations are unknown, few general techniques are available that provide reliable estimates of the isostable reduced equations, especially in applications where large magnitude inputs are considered. In this work, a purely data-driven inference strategy yielding high-accuracy isostable reduced models is developed for dynamical systems with a fixed point attractor. By analyzing steady-state outputs of nonlinear systems in response to sinusoidal forcing, both isostable response functions and isostable-to-output relationships can be estimated to arbitrary accuracy in an expansion performed in the isostable coordinates. Detailed examples are considered for a population of synaptically coupled neurons and for the one-dimensional Burgers' equation. While linear estimates of the isostable response functions are sufficient to characterize the dynamical behavior when small magnitude inputs are considered, the high-accuracy reduced order model inference strategy proposed here is essential when considering large magnitude inputs.

Sparse optimization of mutual synchronization in collectively oscillating networks

We consider a pair of collectively oscillating networks of dynamical elements and optimize their internetwork coupling for efficient mutual synchronization based on the phase reduction theory developed by Nakao et al. [Chaos 28, 045103 (2018)]. The dynamical equations describing a pair of weakly coupled networks are reduced to a pair of coupled phase equations, and the linear stability of the synchronized state between the networks is represented as a function of the internetwork coupling matrix. We seek the optimal coupling by minimizing the Frobenius and L₁ norms of the internetwork coupling matrix for the prescribed linear stability of the synchronized state. Depending on the norm, either a dense or sparse internetwork coupling yielding efficient mutual synchronization of the networks is obtained. In particular, a sparse yet resilient internetwork coupling is obtained by L₁-norm optimization with additional constraints on the individual connection weights.

Optimizing deep brain stimulation based on isostable amplitude in essential tremor patient models

OBJECTIVE

Deep brain stimulation is a treatment for medically refractory essential tremor. To improve the therapy, closed-loop approaches are designed to deliver stimulation according to the system's state, which is constantly monitored by recording a pathological signal associated with symptoms (e.g. brain signal or limb tremor). Since the space of possible closed-loop stimulation strategies is vast and cannot be fully explored experimentally, how to stimulate according to the state should be informed by modeling. A typical modeling goal is to design a stimulation strategy that aims to maximally reduce the Hilbert amplitude of the pathological signal in order to minimize symptoms. Isostables provide a notion of amplitude related to convergence time to the attractor, which can be beneficial in model-based control problems. However, how isostable and Hilbert amplitudes compare when optimizing the amplitude response to stimulation in models constrained by data is unknown.

APPROACH

We formulate a simple closed-loop stimulation strategy based on models previously fitted to phase-locked deep brain stimulation data from essential tremor patients. We compare the performance of this strategy in suppressing oscillatory power when based on Hilbert amplitude and when based on isostable amplitude. We also compare performance to phase-locked stimulation and open-loop high-frequency stimulation.

MAIN RESULTS

For our closed-loop phase space stimulation strategy, stimulation based on isostable amplitude is significantly more effective than stimulation based on Hilbert amplitude when amplitude field computation time is limited to minutes. Performance is similar when there are no constraints, however constraints on computation time are expected in clinical applications. Even when computation time is limited to minutes, closed-loop phase space stimulation based on isostable amplitude is advantageous compared to phase-locked stimulation, and is more efficient than high-frequency stimulation.

SIGNIFICANCE

Our results suggest a potential benefit to using isostable amplitude more broadly for model-based optimization of stimulation in neurological disorders.

Degenerate isostable reduction for fixed-point and limit-cycle attractors with defective linearizations

Isostable coordinates provide a convenient framework for understanding the transient behavior of dynamical systems with stable attractors. These isostable coordinates are often used to characterize the slowest decaying eigenfunctions of the Koopman operator; by neglecting the rapidly decaying Koopman eigenfunctions a reduced order model can be obtained. Existing work has focused primarily on nondegenerate isostable coordinates, that is, isostable coordinates that are associated with eigenvalues that have identical algebraic and geometric multiplicities. Current isostable reduction methods cannot be applied to characterize the decay associated with a defective eigenvalue. In this work, a degenerate isostable framework is proposed for use when eigenvalues are defective. These degenerate isostable coordinates are investigated in the context of various reduced order modeling frameworks that retain many of the important properties of standard (nondegenerate) isostable reduced modeling strategies. Reduced order modeling examples that require the use of degenerate isostable coordinates are presented with relevance to both circadian physiology and nonlinear fluid flows.

Analysis of input-induced oscillations using the isostable coordinate framework

Many reduced order modeling techniques for oscillatory dynamical systems are only applicable when the underlying system admits a stable periodic orbit in the absence of input. By contrast, very few reduction frameworks can be applied when the oscillations themselves are induced by coupling or other exogenous inputs. In this work, the behavior of such input-induced oscillations is considered. By leveraging the isostable coordinate framework, a high-accuracy reduced set of equations can be identified and used to predict coupling-induced bifurcations that precipitate stable oscillations. Subsequent analysis is performed to predict the steady state phase-locking relationships. Input-induced oscillations are considered for two classes of coupled dynamical systems. For the first, stable fixed points of systems with parameters near Hopf bifurcations are considered so that the salient dynamical features can be captured using an asymptotic expansion of the isostable coordinate dynamics. For the second, an adaptive phase-amplitude reduction framework is used to analyze input-induced oscillations that emerge in excitable systems. Examples with relevance to circadian and neural physiology are provided that highlight the utility of the proposed techniques.

Spectral analysis of the Koopman operator for partial differential equations

We provide an overview of the Koopman-operator analysis for a class of partial differential equations describing relaxation of the field variable to a stable stationary state. We introduce Koopman eigenfunctionals of the system and use the notion of conjugacy to develop spectral expansion of the Koopman operator. For linear systems such as the diffusion equation, the Koopman eigenfunctionals can be expressed as linear functionals of the field variable. The notion of inertial manifolds is shown to correspond to joint zero level sets of Koopman eigenfunctionals, and the notion of isostables is defined as the level sets of the slowest decaying Koopman eigenfunctional. Linear diffusion equation, nonlinear Burgers equation, and nonlinear phase-diffusion equation are analyzed as examples.

Global phase-amplitude description of oscillatory dynamics via the parameterization method

In this paper, we use the parameterization method to provide a complete description of the dynamics of an n-dimensional oscillator beyond the classical phase reduction. The parameterization method allows us, via efficient algorithms, to obtain a parameterization of the attracting invariant manifold of the limit cycle in terms of the phase-amplitude variables. The method has several advantages. It provides analytically a Fourier-Taylor expansion of the parameterization up to any order, as well as a simplification of the dynamics that allows for a numerical globalization of the manifolds. Thus, one can obtain the local and global isochrons and isostables, including the slow attracting manifold, up to high accuracy, which offer a geometrical portrait of the oscillatory dynamics. Furthermore, it provides straightforwardly the infinitesimal phase and amplitude response functions, that is, the extended infinitesimal phase and amplitude response curves, which monitor the phase and amplitude shifts beyond the asymptotic state. Thus, the methodology presented yields an accurate description of the phase dynamics for perturbations not restricted to the limit cycle but to its attracting invariant manifold. Finally, we explore some strategies to reduce the dimension of the dynamics, including the reduction of the dynamics to the slow stable submanifold. We illustrate our methods by applying them to different three-dimensional single neuron and neural population models in neuroscience.

Phase-amplitude reduction far beyond the weakly perturbed paradigm

While phase reduction is a well-established technique for the analysis of perturbed limit cycle oscillators, practical application requires perturbations to be sufficiently weak thereby limiting its utility in many situations. Here, a general strategy is developed for constructing a set of phase-amplitude reduced equations that is valid to arbitrary orders of accuracy in the amplitude coordinates. This reduction framework can be used to investigate the behavior of oscillatory dynamical systems far beyond the weakly perturbed paradigm. Additionally, a patchwork phase-amplitude reduction method is suggested that is useful when exceedingly large magnitude perturbations are considered. This patchwork method incorporates the high-accuracy phase-amplitude reductions of multiple nearby periodic orbits that result from modifications to nominal parameters. The proposed method of high-accuracy phase-amplitude reduction can be readily implemented numerically and examples are provided where reductions are computed up to fourteenth order accuracy.

A data-driven phase and isostable reduced modeling framework for oscillatory dynamical systems

Phase-amplitude reduction is of growing interest as a strategy for the reduction and analysis of oscillatory dynamical systems. Augmentation of the widely studied phase reduction with amplitude coordinates can be used to characterize transient behavior in directions transverse to a limit cycle to give a richer description of the dynamical behavior. Various definitions for amplitude coordinates have been suggested, but none are particularly well suited for implementation in experimental systems where output recordings are readily available but the underlying equations are typically unknown. In this work, a reduction framework is developed for inferring a phase-amplitude reduced model using only the observed model output from an arbitrarily high-dimensional system. This framework employs a proper orthogonal reduction strategy to identify important features of the transient decay of solutions to the limit cycle. These features are explicitly related to previously developed phase and isostable coordinates and used to define so-called data-driven phase and isostable coordinates that are valid in the entire basin of attraction of a limit cycle. The utility of this reduction strategy is illustrated in examples related to neural physiology and is used to implement an optimal control strategy that would otherwise be computationally intractable. The proposed data-driven phase and isostable coordinate system and associated reduced modeling framework represent a useful tool for the study of nonlinear dynamical systems in situations where the underlying dynamical equations are unknown and in particularly high-dimensional or complicated numerical systems for which standard phase-amplitude reduction techniques are not computationally feasible.

Recent advances in coupled oscillator theory

We review the theory of weakly coupled oscillators for smooth systems. We then examine situations where application of the standard theory falls short and illustrate how it can be extended. Specific examples are given to non-smooth systems with applications to the Izhikevich neuron. We then introduce the idea of isostable reduction to explore behaviours that the weak coupling paradigm cannot explain. In an additional example, we show how bifurcations that change the stability of phase-locked solutions in a pair of identical coupled neurons can be understood using the notion of isostable reduction. This article is part of the theme issue 'Coupling functions: dynamical interaction mechanisms in the physical, biological and social sciences'.

On the concept of dynamical reduction: the case of coupled oscillators

An overview is given on two representative methods of dynamical reduction known as centre-manifold reduction and phase reduction. These theories are presented in a somewhat more unified fashion than the theories in the past. The target systems of reduction are coupled limit-cycle oscillators. Particular emphasis is placed on the remarkable structural similarity existing between these theories. While the two basic principles, i.e. (i) reduction of dynamical degrees of freedom and (ii) transformation of reduced evolution equation to a canonical form, are shared commonly by reduction methods in general, it is shown how these principles are incorporated into the above two reduction theories in a coherent manner. Regarding the phase reduction, a new formulation of perturbative expansion is presented for discrete populations of oscillators. The style of description is intended to be so informal that one may digest, without being bothered with technicalities, what has been done after all under the word reduction. This article is part of the theme issue 'Coupling functions: dynamical interaction mechanisms in the physical, biological and social sciences'.

Dynamic causal modelling of phase-amplitude interactions

Models of coupled phase oscillators are used to describe a wide variety of phenomena in neuroimaging. These models typically rest on the premise that oscillator dynamics do not evolve beyond their respective limit cycles, and hence that interactions can be described purely in terms of phase differences. Whilst mathematically convenient, the restrictive nature of phase-only models can limit their explanatory power. We therefore propose a generalisation of dynamic causal modelling that incorporates both phase and amplitude. This allows for the separate quantifications of phase and amplitude contributions to the connectivity between neural regions. We show, using model-generated data and simulations of coupled pendula, that phase-amplitude models can describe strongly coupled systems more effectively than their phase-only counterparts. We relate our findings to four metrics commonly used in neuroimaging: the Kuramoto order parameter, cross-correlation, phase-lag index, and spectral entropy. We find that, with the exception of spectral entropy, the phase-amplitude model is able to capture all metrics more effectively than the phase-only model. We then demonstrate, using local field potential recordings in rodents and functional magnetic resonance imaging in macaque monkeys, that amplitudes in oscillator models play an important role in describing neural dynamics in anaesthetised brain states.

Phase reduction and phase-based optimal control for biological systems: a tutorial

A powerful technique for the analysis of nonlinear oscillators is the rigorous reduction to phase models, with a single variable describing the phase of the oscillation with respect to some reference state. An analog to phase reduction has recently been proposed for systems with a stable fixed point, and phase reduction for periodic orbits has recently been extended to take into account transverse directions and higher-order terms. This tutorial gives a unified treatment of such phase reduction techniques and illustrates their use through mathematical and biological examples. It also covers the use of phase reduction for designing control algorithms which optimally change properties of the system, such as the phase of the oscillation. The control techniques are illustrated for example neural and cardiac systems.

Isostable reduction of oscillators with piecewise smooth dynamics and complex Floquet multipliers

Phase-amplitude reduction is a widely applied technique in the study of limit cycle oscillators with the ability to represent a complicated and high-dimensional dynamical system in a more analytically tractable set of coordinates. Recent work has focused on the use of isostable coordinates, which characterize the transient decay of solutions toward a periodic orbit, and can ultimately be used to increase the accuracy of these reduced models. The breadth of systems to which this phase-amplitude reduction strategy can be applied, however, is still rather limited. In this work, the theory of phase-amplitude reduction using isostable coordinates is further developed to accommodate a broader set of dynamical systems. In the first part, limit cycles of piecewise smooth dynamical systems are considered and strategies are developed to compute the associated reduced equations. In the second part, the notion of isostable coordinates for complex-valued Floquet multipliers is introduced, resulting in one phaselike coordinate and one amplitudelike coordinate for each pair of complex conjugate Floquet multipliers. Examples are given with relevance to piecewise smooth representations of excitable cardiomyocytes and the relationship between the reduced coordinate system and the emergence of cardiac alternans is discussed. Also, phase-amplitude reduction is implemented for a chaotic, externally forced pendulum with complex Floquet multipliers and a resulting control strategy for the stabilization of its periodic solution is investigated.

Global computation of phase-amplitude reduction for limit-cycle dynamics

Recent years have witnessed increasing interest in phase-amplitude reduction of limit-cycle dynamics. Adding an amplitude coordinate to the phase coordinate allows us to take into account the dynamics transversal to the limit cycle and thereby overcome the main limitations of classic phase reduction (strong convergence to the limit cycle and weak inputs). While previous studies, mostly focus on local quantities such as infinitesimal responses, a major and limiting challenge of phase-amplitude reduction is to compute amplitude coordinates globally, in the basin of attraction of the limit cycle. In this paper, we propose a method to compute the full set of phase-amplitude coordinates in the large. Our method is based on the so-called Koopman (composition) operator and aims at computing the eigenfunctions of the operator through Laplace averages (in combination with the harmonic balance method). This yields a forward integration method that is not limited to two-dimensional systems. We illustrate the method by computing the so-called isostables of limit cycles in two-, three-, and four-dimensional state spaces, as well as their responses to strong external inputs.

Greater accuracy and broadened applicability of phase reduction using isostable coordinates

The applicability of phase models is generally limited by the constraint that the dynamics of a perturbed oscillator must stay near its underlying periodic orbit. Consequently, external perturbations must be sufficiently weak so that these assumptions remain valid. Using the notion of isostables of periodic orbits to provide a simplified coordinate system from which to understand the dynamics transverse to a periodic orbit, we devise a strategy to correct for changing phase dynamics for locations away from the limit cycle. Consequently, these corrected phase dynamics allow for perturbations of larger magnitude without invalidating the underlying assumptions of the reduction. The proposed reduction strategy yields a closed set of equations and can be applied to periodic orbits embedded in arbitrarily high dimensional spaces. We illustrate the utility of this strategy in two models with biological relevance. In the first application, we find that an optimal control strategy for modifying the period of oscillation can be improved with the corrected phase reduction. In the second, the corrected phase reduced dynamics are used to understand adaptation and memory effects resulting from past perturbations.