-
Well-posedness and regularity of solutions to neural field problems with dendritic processing
Authors:
Daniele Avitabile,
Nikolai V. Chemetov,
Pedro M. Lima
Abstract:
We study solutions to a recently proposed neural field model in which dendrites are modelled as a continuum of vertical fibres stemming from a somatic layer. Since voltage propagates along the dendritic direction via a cable equation with nonlocal sources, the model features an anisotropic diffusion operator, as well as an integral term for synaptic coupling. The corresponding Cauchy problem is th…
▽ More
We study solutions to a recently proposed neural field model in which dendrites are modelled as a continuum of vertical fibres stemming from a somatic layer. Since voltage propagates along the dendritic direction via a cable equation with nonlocal sources, the model features an anisotropic diffusion operator, as well as an integral term for synaptic coupling. The corresponding Cauchy problem is thus markedly different from classical neural field equations. We prove that the weak formulation of the problem admits a unique solution, with embedding estimates similar to the ones of nonlinear local reaction-diffusion equations. Our analysis relies on perturbing weak solutions to the diffusion-less problem, that is, a standard neural field, for which weak problems have not been studied to date. We find rigorous asymptotic estimates for the problem with and without diffusion, and prove that the solutions of the two models stay close, in a suitable norm, on finite time intervals. We provide numerical evidence of our perturbative results.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Cross-scale excitability in networks of synaptically-coupled quadratic integrate-and-fire neurons
Authors:
Daniele Avitabile,
Mathieu Desroches,
G. Bard Ermentrout
Abstract:
From the action potentials of neurons and cardiac cells to the amplification of calcium signals in oocytes, excitability is a hallmark of many biological signalling processes. In recent years, excitability in single cells has been related to multiple-timescale dynamics through canards, special solutions which determine the effective thresholds of the all-or-none responses. However, the emergence o…
▽ More
From the action potentials of neurons and cardiac cells to the amplification of calcium signals in oocytes, excitability is a hallmark of many biological signalling processes. In recent years, excitability in single cells has been related to multiple-timescale dynamics through canards, special solutions which determine the effective thresholds of the all-or-none responses. However, the emergence of excitability in large populations remains an open problem. Here, we show that the mechanism of excitability in large networks and mean-field descriptions of coupled quadratic integrate-and-fire (QIF) cells mirrors that of the individual components. We initially exploit the Ott-Antonsen ansatz to derive low-dimensional dynamics for the coupled network and use it to describe the structure of canards via slow periodic forcing. We demonstrate that the thresholds for onset and offset of population firing can be found in the same way as those of the single cell. We combine theoretical analysis and numerical computations to develop a novel and comprehensive framework for excitability in large populations, applicable not only to models amenable to Ott-Antonsen reduction, but also to networks without a closed-form mean-field limit, in particular sparse networks.
△ Less
Submitted 16 March, 2022;
originally announced March 2022.
-
Projection methods for Neural Field equations
Authors:
Daniele Avitabile
Abstract:
Neural field models are nonlinear integro-differential equations for the evolution of neuronal activity, and they are a prototypical large-scale, coarse-grained neuronal model in continuum cortices. Neural fields are often simulated heuristically and, in spite of their popularity in mathematical neuroscience, their numerical analysis is not yet fully established. We introduce generic projection me…
▽ More
Neural field models are nonlinear integro-differential equations for the evolution of neuronal activity, and they are a prototypical large-scale, coarse-grained neuronal model in continuum cortices. Neural fields are often simulated heuristically and, in spite of their popularity in mathematical neuroscience, their numerical analysis is not yet fully established. We introduce generic projection methods for neural fields, and derive a-priori error bounds for these schemes. We extend an existing framework for stationary integral equations to the time-dependent case, which is relevant for neuroscience applications. We find that the convergence rate of a projection scheme for a neural field is determined to a great extent by the convergence rate of the projection operator. This abstract analysis, which unifies the treatment of collocation and Galerkin schemes, is carried out in operator form, without resorting to quadrature rules for the integral term, which are introduced only at a later stage, and whose choice is enslaved by the choice of the projector. Using an elementary timestepper as an example, we demonstrate that the error in a time stepper has two separate contributions: one from the projector, and one from the time discretisation. We give examples of concrete projection methods: two collocation schemes (piecewise-linear and spectral collocation) and two Galerkin schemes (finite elements and spectral Galerkin); for each of them we derive error bounds from the general theory, introduce several discrete variants, provide implementation details, and present reproducible convergence tests.
△ Less
Submitted 29 October, 2022; v1 submitted 6 December, 2021;
originally announced December 2021.
-
Bursting in a next generation neural mass model with synaptic dynamics: a slow-fast approach
Authors:
Halgurd Taher,
Daniele Avitabile,
Mathieu Desroches
Abstract:
We report a detailed analysis on the emergence of bursting in a recently developed neural mass model that takes short-term synaptic plasticity into account. The one being used here is particularly important, as it represents an exact meanfield limit of synaptically coupled quadratic integrate & fire neurons, a canonical model for type I excitability. In absence of synaptic dynamics, a periodic ext…
▽ More
We report a detailed analysis on the emergence of bursting in a recently developed neural mass model that takes short-term synaptic plasticity into account. The one being used here is particularly important, as it represents an exact meanfield limit of synaptically coupled quadratic integrate & fire neurons, a canonical model for type I excitability. In absence of synaptic dynamics, a periodic external current with a slow frequency ε can lead to burst-like dynamics. The firing patterns can be understood using techniques of singular perturbation theory, specifically slow-fast dissection. In the model with synaptic dynamics the separation of timescales leads to a variety of slow-fast phenomena and their role for bursting is rendered inordinately more intricate. Canards are one of the main slow-fast elements on the route to bursting. They describe trajectories evolving nearby otherwise repelling locally invariant sets of the system and are found in the transition region from subthreshold dynamics to bursting. For values of the timescale separation nearby the singular limit ε = 0, we report peculiar jump-on canards, which block a continuous transition to bursting. In the biologically more plausible regime of ε this transition becomes continuous and bursts emerge via consecutive spike-adding transitions. The onset of bursting is of complex nature and involves mixed-type like torus canards, which form the very first spikes of the burst and revolve nearby fast-subsystem repelling limit cycles. We provide numerical evidence for the same mechanisms to be responsible for the emergence of bursting in the quadratic integrate & fire network with plastic synapses. The main conclusions apply for the network, owing to the exactness of the meanfield limit.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Canonical models for torus canards in elliptic bursters
Authors:
Emre Baspinar,
Daniele Avitabile,
Mathieu Desroches
Abstract:
We revisit elliptic bursting dynamics from the viewpoint of torus canard solutions. We show that at the transition to and from elliptic burstings, classical or mixed-type torus canards can appear, the difference between the two being the fast subsystem bifurcation that they approach, saddle-node of cycles for the former and subcritical Hopf for the latter. We first showcase such dynamics in a Wils…
▽ More
We revisit elliptic bursting dynamics from the viewpoint of torus canard solutions. We show that at the transition to and from elliptic burstings, classical or mixed-type torus canards can appear, the difference between the two being the fast subsystem bifurcation that they approach, saddle-node of cycles for the former and subcritical Hopf for the latter. We first showcase such dynamics in a Wilson-Cowan type elliptic bursting model, then we consider minimal models for elliptic bursters in view of finding transitions to and from bursting solutions via both kinds of torus canards. We first consider the canonical model proposed by Izhikevich (ref. [22] in the manuscript) and adapted to elliptic bursting by Ju, Neiman, Shilnikov (ref. [24] in the manuscript), and we show that it does not produce mixed-type torus canards due to a nongeneric transition at one end of the bursting regime. We therefore introduce a perturbative term in the slow equation, which extends this canonical form to a new one that we call Leidenator and which supports the right transitions to and from elliptic bursting via classical and mixed-type torus canards, respectively. Throughout the study, we use singular flows ($\varepsilon=0$) to predict the full system's dynamics ($\varepsilon>0$ small enough). We consider three singular flows: slow, fast and average slow, so as to appropriately construct singular orbits corresponding to all relevant dynamics pertaining to elliptic bursting and torus canards.
△ Less
Submitted 8 November, 2020; v1 submitted 3 November, 2020;
originally announced November 2020.
-
Bump attractors and waves in networks of leaky integrate-and-fire neurons
Authors:
D. Avitabile,
J. L. Davis,
K. C. A. Wedgwood
Abstract:
Bump attractors are wandering localised patterns observed in in vivo experiments of spatially-extended neurobiological networks. They are important for the brain's navigational system and specific memory tasks. A bump attractor is characterised by a core in which neurons fire frequently, while those away from the core do not fire. We uncover a relationship between bump attractors and travelling wa…
▽ More
Bump attractors are wandering localised patterns observed in in vivo experiments of spatially-extended neurobiological networks. They are important for the brain's navigational system and specific memory tasks. A bump attractor is characterised by a core in which neurons fire frequently, while those away from the core do not fire. We uncover a relationship between bump attractors and travelling waves in a classical network of excitable, leaky integrate-and-fire neurons. This relationship bears strong similarities to the one between complex spatiotemporal patterns and waves at the onset of pipe turbulence. Waves in the spiking network are determined by a firing set, that is, the collection of times at which neurons reach a threshold and fire as the wave propagates. We define and study analytical properties of the voltage map**, an operator transforming a solution's firing set into its spatiotemporal profile. This operator allows us to construct localised travelling waves with an arbitrary number of spikes at the core, and to study their linear stability. A homogeneous "laminar" state exists in the network, and it is linearly stable for all values of the principal control parameter. Sufficiently wide disturbances to the homogeneous state elicit the bump attractor. We show that one can construct waves with a seemingly arbitrary number of spikes at the core; the higher the number of spikes, the slower the wave, and the more its profile resembles a stationary bump. As in the fluid-dynamical analogy, such waves coexist with the homogeneous state, are unstable, and the solution branches to which they belong are disconnected from the laminar state; we provide evidence that the dynamics of the bump attractor displays echoes of the unstable waves, which form its building blocks.
△ Less
Submitted 14 December, 2021; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Numerical investigation of a neural field model including dendritic processing
Authors:
Daniele Avitabile,
Stephen Coombes,
Pedro M. Lima
Abstract:
We consider a simple neural field model in which the state variable is dendritic voltage, and in which somas form a continuous one-dimensional layer. This neural field model with dendritic processing is formulated as an integro-differential equation. We introduce a computational method for approximating solutions to this nonlocal model, and use it to perform numerical simulations for neuro-biologi…
▽ More
We consider a simple neural field model in which the state variable is dendritic voltage, and in which somas form a continuous one-dimensional layer. This neural field model with dendritic processing is formulated as an integro-differential equation. We introduce a computational method for approximating solutions to this nonlocal model, and use it to perform numerical simulations for neuro-biologically realistic choices of anatomical connectivity and nonlinear firing rate function. For the time discretisation we adopt an Implicit-Explicit (IMEX) scheme; the space discretisation is based on a finite-difference scheme to approximate the diffusion term and uses the trapezoidal rule to approximate integrals describing the nonlocal interactions in the model. We prove that the scheme is of first-order in time and second order in space, and can be efficiently implemented if the factorisation of a small, banded matrix is precomputed. By way of validation we compare the outputs of a numerical realisation to theoretical predictions for the onset of a Turing pattern, and to the speed and shape of a travelling front for a specific choice of Heaviside firing rate. We find that theory and numerical simulations are in excellent agreement.
△ Less
Submitted 28 March, 2020;
originally announced March 2020.
-
Local theory for spatio-temporal canards and delayed bifurcations
Authors:
Daniele Avitabile,
Mathieu Desroches,
Romain Veltz,
Martin Wechselberger
Abstract:
We present a rigorous framework for the local analysis of canards and slow passages through bifurcations in a wide class of infinite-dimensional dynamical systems with time-scale separation. The framework is applicable to models where an infinite-dimensional dynamical system for the fast variables is coupled to a finite-dimensional dynamical system for slow variables. We prove the existence of cen…
▽ More
We present a rigorous framework for the local analysis of canards and slow passages through bifurcations in a wide class of infinite-dimensional dynamical systems with time-scale separation. The framework is applicable to models where an infinite-dimensional dynamical system for the fast variables is coupled to a finite-dimensional dynamical system for slow variables. We prove the existence of centre-manifolds for generic models of this type, and study the reduced, finite-dimensional dynamics near bifurcations of (possibly) patterned steady states in the layer problem. Theoretical results are complemented with detailed examples and numerical simulations covering systems of local- and nonlocal-reaction diffusion equations, neural field models, and delay-differential equations. We provide analytical foundations for numerical observations recently reported in literature, such as spatio-temporal canards and slow-passages through Hopf bifurcations in spatially-extended systems subject to slow parameter variations. We also provide a theoretical analysis of slow passage through a Turing bifurcation in local and nonlocal models.
△ Less
Submitted 15 September, 2020; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Bumps and Oscillons in Networks of Spiking Neurons
Authors:
Helmut Schmidt,
Daniele Avitabile
Abstract:
We study localized patterns in an exact mean-field description of a spatially-extended network of quadratic integrate-and-fire (QIF) neurons. We investigate conditions for the existence and stability of localized solutions, so-called bumps, and give an analytic estimate for the parameter range where these solutions exist in parameter space, when one or more microscopic network parameters are varie…
▽ More
We study localized patterns in an exact mean-field description of a spatially-extended network of quadratic integrate-and-fire (QIF) neurons. We investigate conditions for the existence and stability of localized solutions, so-called bumps, and give an analytic estimate for the parameter range where these solutions exist in parameter space, when one or more microscopic network parameters are varied. We develop Galerkin methods for the model equations, which enable numerical bifurcation analysis of stationary and time-periodic spatially-extended solutions. We study the emergence of patterns composed of multiple bumps, which are arranged in a snake-and-ladder bifurcation structure if a homogeneous or heterogeneous synaptic kernel is suitably chosen. Furthermore, we examine time-periodic, spatially-localized solutions (oscillons) in the presence of external forcing, and in autonomous, recurrently coupled excitatory and inhibitory networks. In both cases we observe period doubling cascades leading to chaotic oscillations.
△ Less
Submitted 20 March, 2020; v1 submitted 6 November, 2019;
originally announced November 2019.
-
A next generation neural field model: The evolution of synchrony within patterns and waves
Authors:
Áine Byrne,
Daniele Avitabile,
Stephen Coombes
Abstract:
Neural field models are commonly used to describe wave propagation and bump attractors at a tissue level in the brain. Although motivated by biology, these models are phenomenological in nature. They are built on the assumption that the neural tissue operates in a near synchronous regime, and hence, cannot account for changes in the underlying synchrony of patterns. It is customary to use spiking…
▽ More
Neural field models are commonly used to describe wave propagation and bump attractors at a tissue level in the brain. Although motivated by biology, these models are phenomenological in nature. They are built on the assumption that the neural tissue operates in a near synchronous regime, and hence, cannot account for changes in the underlying synchrony of patterns. It is customary to use spiking neural network models when examining within population synchronisation. Unfortunately, these high dimensional models are notoriously hard to obtain insight from. In this paper, we consider a network of $θ$-neurons, which has recently been shown to admit an exact mean-field description in the absence of a spatial component. We show that the inclusion of space and a realistic synapse model leads to a reduced model that has many of the features of a standard neural field model coupled to a further dynamical equation that describes the evolution of network synchrony. Both Turing instability analysis and numerical continuation software are used to explore the existence and stability of spatio-temporal patterns in the system. In particular, we show that this new model can support states above and beyond those seen in a standard neural field model. These states are typified by structures within bumps and waves showing the dynamic evolution of population synchrony.
△ Less
Submitted 7 September, 2018;
originally announced September 2018.
-
Synchrony-induced modes of oscillation of a neural field model
Authors:
Jose M. Esnaola-Acebes,
Alex Roxin,
Daniele Avitabile,
Ernest Montbrió
Abstract:
We investigate the modes of oscillation of heterogeneous ring-networks of quadratic integrate-and-fire neurons with non-local, space-dependent coupling. Perturbations of the equilibrium state with a particular wave number produce transient standing waves with a specific frequency, analogous to those in a tense string. In the neuronal network, the equilibrium corresponds to a spatially homogeneous,…
▽ More
We investigate the modes of oscillation of heterogeneous ring-networks of quadratic integrate-and-fire neurons with non-local, space-dependent coupling. Perturbations of the equilibrium state with a particular wave number produce transient standing waves with a specific frequency, analogous to those in a tense string. In the neuronal network, the equilibrium corresponds to a spatially homogeneous, asynchronous state. Perturbations of this state excite the network's oscillatory modes, which reflect the interplay of episodes of synchronous spiking with the excitatory-inhibitory spatial interactions. In the thermodynamic limit, an exact low-dimensional neural field model describing the macroscopic dynamics of the network is derived. This allows us to obtain formulas for the Turing eigenvalues of the spatially-homogeneous state, and hence to obtain its stability boundary. We find that the frequency of each Turing mode depends on the corresponding Fourier coefficient of the synaptic pattern of connectivity. The decay rate instead, is identical for all oscillation modes as a consequence of the heterogeneity-induced desynchronization of the neurons. Finally, we numerically compute the spectrum of spatially-inhomogeneous solutions branching from the Turing bifurcation, showing that similar oscillatory modes operate in neural bump states, and are maintained away from onset.
△ Less
Submitted 29 August, 2017;
originally announced August 2017.
-
Spot dynamics in a reaction-diffusion model of plant root hair initiation
Authors:
D. Avitabile,
V. F. Breña-Medina,
M. J. Ward
Abstract:
We study pattern formation in a 2-D reaction-diffusion (RD) sub-cellular model characterizing the effect of a spatial gradient of a plant hormone distribution on a family of G-proteins associated with root-hair (RH) initiation in the plant cell Arabidopsis thaliana. The activation of these G-proteins, known as the Rho of Plants (ROPs), by the plant hormone auxin, is known to promote certain protub…
▽ More
We study pattern formation in a 2-D reaction-diffusion (RD) sub-cellular model characterizing the effect of a spatial gradient of a plant hormone distribution on a family of G-proteins associated with root-hair (RH) initiation in the plant cell Arabidopsis thaliana. The activation of these G-proteins, known as the Rho of Plants (ROPs), by the plant hormone auxin, is known to promote certain protuberances on root hair cells, which are crucial for both anchorage and the uptake of nutrients from the soil. Our mathematical model for the activation of ROPs by the auxin gradient is an extension of the model of Payne and Grierson [PLoS ONE, 12(4), (2009)], and consists of a two-component Schnakenberg-type RD system with spatially heterogeneous coefficients on a 2-D domain. The nonlinear kinetics in this RD system model the nonlinear interactions between the active and inactive forms of ROPs. By using a singular perturbation analysis to study 2-D localized spatial patterns of active ROPs, it is shown that the spatial variations in the nonlinear reaction kinetics, due to the auxin gradient, lead to a slow spatial alignment of the localized regions of active ROPs along the longitudinal midline of the plant cell. Numerical bifurcation analysis, together with time-dependent numerical simulations of the RD system are used to illustrate both 2-D localized patterns in the model, and the spatial alignment of localized structures.
△ Less
Submitted 5 October, 2017; v1 submitted 7 March, 2017;
originally announced March 2017.
-
Spatio-temporal canards in neural field equations
Authors:
Daniele Avitabile,
Mathieu Desroches,
Edgar Knobloch
Abstract:
Canards are special solutions to ordinary differential equations that follow invariant repelling slow manifolds for long time intervals. In realistic biophysical single cell models, canards are responsible for several complex neural rhythms observed experimentally, but their existence and role in spatially-extended systems is largely unexplored. We describe a novel type of coherent structure in wh…
▽ More
Canards are special solutions to ordinary differential equations that follow invariant repelling slow manifolds for long time intervals. In realistic biophysical single cell models, canards are responsible for several complex neural rhythms observed experimentally, but their existence and role in spatially-extended systems is largely unexplored. We describe a novel type of coherent structure in which a spatial pattern displays temporal canard behaviour. Using interfacial dynamics and geometric singular perturbation theory, we classify spatio-temporal canards and give conditions for the existence of folded-saddle and folded-node canards. We find that spatio-temporal canards are robust to changes in the synaptic connectivity and firing rate. The theory correctly predicts the existence of spatio-temporal canards with octahedral symmetries in a neural field model posed on the unit sphere.
△ Less
Submitted 11 March, 2017; v1 submitted 31 January, 2017;
originally announced February 2017.
-
Macroscopic coherent structures in a stochastic neural network: from interface dynamics to coarse-grained bifurcation analysis
Authors:
Daniele Avitabile,
Kyle Wedgwood
Abstract:
We study coarse pattern formation in a cellular automaton modelling a spatially-extended stochastic neural network. The model, originally proposed by Gong and Robinson [36], is known to support stationary and travelling bumps of localised activity. We pose the model on a ring and study the existence and stability of these patterns in various limits using a combination of analytical and numerical t…
▽ More
We study coarse pattern formation in a cellular automaton modelling a spatially-extended stochastic neural network. The model, originally proposed by Gong and Robinson [36], is known to support stationary and travelling bumps of localised activity. We pose the model on a ring and study the existence and stability of these patterns in various limits using a combination of analytical and numerical techniques. In a purely deterministic version of the model, posed on a continuum, we construct bumps and travelling waves analytically using standard interface methods from neural fields theory. In a stochastic version with Heaviside firing rate, we construct approximate analytical probability mass functions associated with bumps and travelling waves. In the full stochastic model posed on a discrete lattice, where a coarse analytic description is unavailable, we compute patterns and their linear stability using equation-free methods. The lifting procedure used in the coarse time-stepper is informed by the analysis in the deterministic and stochastic limits. In all settings, we identify the synaptic profile as a mesoscopic variable, and the width of the corresponding activity set as a macroscopic variable. Stationary and travelling bumps have similar meso- and macroscopic profiles, but different microscopic structure, hence we propose lifting operators which use microscopic motifs to disambiguate between them. We provide numerical evidence that waves are supported by a combination of high synaptic gain and long refractory times, while meandering bumps are elicited by short refractory times.
△ Less
Submitted 7 October, 2016; v1 submitted 14 March, 2016;
originally announced March 2016.
-
Beyond in-phase and anti-phase coordination in a model of joint action
Authors:
Daniele Avitabile,
Piotr Słowiński,
Benoit Bardy,
Krasimira Tsaneva-Atanasova
Abstract:
In 1985 Haken, Kelso and Bunz proposed a system of coupled nonlinear oscillators as a model of rhythmic movement patterns in human bimanual coordination. Since then, the Haken-Kelso-Bunz (HKB) model has become a modelling paradigm applied extensively in all areas of movement science, including interpersonal motor coordination. However all previous studies have followed the line of analysis based o…
▽ More
In 1985 Haken, Kelso and Bunz proposed a system of coupled nonlinear oscillators as a model of rhythmic movement patterns in human bimanual coordination. Since then, the Haken-Kelso-Bunz (HKB) model has become a modelling paradigm applied extensively in all areas of movement science, including interpersonal motor coordination. However all previous studies have followed the line of analysis based on the slow varying amplitude and rotating wave approximations. These approximations lead to a reduced system comprised of a single differential equation representing the evolution of the relative phase of the two coupled oscillators. Here we take a different approach and systematically investigate the behaviour of the HKB model in the full four-dimensional state space. We perform detailed numerical bifurcation analyses and reveal that the HKB model supports previously unreported dynamical regimes as well as bi-stability between a variety of coordination patterns. Furthermore, we identify the stability boundaries of distinct coordination regimes in the model and discuss the applicability of our findings to interpersonal coordination and other joint-action tasks.
△ Less
Submitted 9 June, 2016; v1 submitted 27 December, 2015;
originally announced December 2015.
-
Ducks in space: from nonlinear absolute instability to noise-sustained structures in a pattern-forming system
Authors:
Daniele Avitabile,
Mathieu Desroches,
Edgar Knobloch,
Martin Krupa
Abstract:
A subcritical pattern-forming system with nonlinear advection in a bounded domain is recast as a slow-fast system in space and studied using a combination of geometric singular perturbation theory and numerical continuation. Two types of solutions describing the possible location of stationary fronts are identified, whose origin is traced to the onset of convective and absolute instability when th…
▽ More
A subcritical pattern-forming system with nonlinear advection in a bounded domain is recast as a slow-fast system in space and studied using a combination of geometric singular perturbation theory and numerical continuation. Two types of solutions describing the possible location of stationary fronts are identified, whose origin is traced to the onset of convective and absolute instability when the system is unbounded. The former are present only for nonzero upstream boundary conditions and provide a quantitative understanding of noise-sustained structures in systems of this type. The latter correspond to the onset of a global mode and are present even with zero upstream boundary condition. The role of canard trajectories in the nonlinear transition between these states is clarified and the stability properties of the resulting spatial structures are determined. Front location in the convective regime is highly sensitive to the upstream boundary condition and its dependence on this boundary condition is studied using a combination of numerical continuation and Monte Carlo simulations of the partial differential equation. Statistical properties of the system subjected to random or stochastic boundary conditions at the inlet are interpreted using the deterministic slow-fast spatial-dynamical system.
△ Less
Submitted 1 November, 2017; v1 submitted 29 November, 2015;
originally announced November 2015.
-
Noise reduction in coarse bifurcation analysis of stochastic agent-based models: an example of consumer lock-in
Authors:
Daniele Avitabile,
Rebecca Hoyle,
Giovanni Samaey
Abstract:
We investigate coarse equilibrium states of a fine-scale, stochastic agent-based model of consumer lock-in in a duopolistic market. In the model, agents decide on their next purchase based on a combination of their personal preference and their neighbours' opinions. For agents with independent identically-distributed parameters and all-to-all coupling, we derive an analytic approximate coarse evol…
▽ More
We investigate coarse equilibrium states of a fine-scale, stochastic agent-based model of consumer lock-in in a duopolistic market. In the model, agents decide on their next purchase based on a combination of their personal preference and their neighbours' opinions. For agents with independent identically-distributed parameters and all-to-all coupling, we derive an analytic approximate coarse evolution-map for the expected average purchase. We then study the emergence of coarse fronts when spatial segregation is present in the relative perceived quality of products. We develop a novel Newton-Krylov method that is able to compute accurately and efficiently coarse fixed points when the underlying fine-scale dynamics is stochastic. The main novelty of the algorithm is in the elimination of the noise that is generated when estimating Jacobian-vector products using time-integration of perturbed initial conditions. We present numerical results that demonstrate the convergence properties of the numerical method, and use the method to show that macroscopic fronts in this model destabilise at a coarse symmetry-breaking bifurcation.
△ Less
Submitted 3 September, 2014; v1 submitted 24 March, 2014;
originally announced March 2014.
-
Stripe to spot transition in a plant root hair initiation model
Authors:
V. F. Breña-Medina,
D. Avitabile,
A. R. Champneys,
M. J. Ward
Abstract:
A generalised Schnakenberg reaction-diffusion system with source and loss terms and a spatially dependent coefficient of the nonlinear term is studied both numerically and analytically in two spatial dimensions. The system has been proposed as a model of hair initiation in the epidermal cells of plant roots. Specifically the model captures the kinetics of a small G-protein ROP, which can occur in…
▽ More
A generalised Schnakenberg reaction-diffusion system with source and loss terms and a spatially dependent coefficient of the nonlinear term is studied both numerically and analytically in two spatial dimensions. The system has been proposed as a model of hair initiation in the epidermal cells of plant roots. Specifically the model captures the kinetics of a small G-protein ROP, which can occur in active and inactive forms, and whose activation is believed to be mediated by a gradient of the plant hormone auxin. Here the model is made more realistic with the inclusion of a transverse co-ordinate. Localised stripe-like solutions of active ROP occur for high enough total auxin concentration and lie on a complex bifurcation diagram of single and multi-pulse solutions. Transverse stability computations, confirmed by numerical simulation show that, apart from a boundary stripe, these 1D solutions typically undergo a transverse instability into spots. The spots so formed typically drift and undergo secondary instabilities such as spot replication. A novel 2D numerical continuation analysis is performed that shows the various stable hybrid spot-like states can coexist. The parameter values studied lead to a natural singularly perturbed, so-called semi-strong interaction regime. This scaling enables an analytical explanation of the initial instability, by describing the dispersion relation of a certain non-local eigenvalue problem. The analytical results are found to agree favourably with the numerics. Possible biological implications of the results are discussed.
△ Less
Submitted 24 March, 2015; v1 submitted 20 March, 2014;
originally announced March 2014.
-
Localised auxin peaks in concentration-based transport models of the shoot apical meristem
Authors:
Delphine Draelants,
Daniele Avitabile,
Wim Vanroose
Abstract:
We study the formation of auxin peaks in a generic class of concentration-based auxin transport models, posed on static plant tissues. Using standard asymptotic analysis we prove that, on bounded domains, auxin peaks are not formed via a Turing instability in the active transport parameter, but via simple corrections to the homogeneous steady state. When the active transport is small, the geometry…
▽ More
We study the formation of auxin peaks in a generic class of concentration-based auxin transport models, posed on static plant tissues. Using standard asymptotic analysis we prove that, on bounded domains, auxin peaks are not formed via a Turing instability in the active transport parameter, but via simple corrections to the homogeneous steady state. When the active transport is small, the geometry of the tissue encodes the peaks' amplitude and location: peaks arise where cells have fewer neighbours, that is, at the boundary of the domain. We test our theory and perform numerical bifurcation analysis on two models which are known to generate auxin patterns for biologically plausible parameter values. In the same parameter regimes, we find that realistic tissues are capable of generating a multitude of stationary patterns, with a variable number of auxin peaks, that can be selected by different initial conditions or by quasi-static changes in the active transport parameter. The competition between active transport and production rate determines whether peaks remain localised or cover the entire domain. We relate the occurrence of localised patterns to a snaking bifurcation structure, which is known to arise in a wide variety of nonlinear media but has not yet been reported in plant models.
△ Less
Submitted 5 January, 2015; v1 submitted 16 March, 2014;
originally announced March 2014.
-
Snakes and ladders in an inhomogeneous neural field model
Authors:
Daniele Avitabile,
Helmut Schmidt
Abstract:
Continuous neural field models with inhomogeneous synaptic connectivities are known to support traveling fronts as well as stable bumps of localized activity. We analyze stationary localized structures in a neural field model with periodic modulation of the synaptic connectivity kernel and find that they are arranged in a snakes-and-ladders bifurcation structure. In the case of Heaviside firing ra…
▽ More
Continuous neural field models with inhomogeneous synaptic connectivities are known to support traveling fronts as well as stable bumps of localized activity. We analyze stationary localized structures in a neural field model with periodic modulation of the synaptic connectivity kernel and find that they are arranged in a snakes-and-ladders bifurcation structure. In the case of Heaviside firing rates, we construct analytically symmetric and asymmetric states and hence derive closed-form expressions for the corresponding bifurcation diagrams. We show that the ideas proposed by Beck and co-workers to analyze snaking solutions to the Swift-Hohenberg equation remain valid for the neural field model, even though the corresponding spatial-dynamical formulation is non-autonomous. We investigate how the modulation amplitude affects the bifurcation structure and compare numerical calculations for steep sigmoidal firing rates with analytic predictions valid in the Heaviside limit.
△ Less
Submitted 28 November, 2014; v1 submitted 5 March, 2014;
originally announced March 2014.
-
Continuation of localised coherent structures in nonlocal neural field equations
Authors:
James Rankin,
Daniele Avitabile,
Javier Baladron,
Gregory Faye,
David J. B. Lloyd
Abstract:
We study localised activity patterns in neural field equations posed on the Euclidean plane; such models are commonly used to describe the coarse-grained activity of large ensembles of cortical neurons in a spatially continuous way. We employ matrix-free Newton-Krylov solvers and perform numerical continuation of localised patterns directly on the integral form of the equation. This opens up the p…
▽ More
We study localised activity patterns in neural field equations posed on the Euclidean plane; such models are commonly used to describe the coarse-grained activity of large ensembles of cortical neurons in a spatially continuous way. We employ matrix-free Newton-Krylov solvers and perform numerical continuation of localised patterns directly on the integral form of the equation. This opens up the possibility to study systems whose synaptic kernel does not lead to an equivalent PDE formulation. We present a numerical bifurcation study of localised states and show that the proposed models support patterns of activity with varying spatial extent through the mechanism of homoclinic snaking. The regular organisation of these patterns is due to spatial interactions at a specific scale associated with the separation of excitation peaks in the chosen connectivity function. The results presented form a basis for the general study of localised cortical activity with inputs and, more specifically, for investigating the localised spread of orientation selective activity that has been observed in the primary visual cortex with local visual input.
△ Less
Submitted 26 April, 2013;
originally announced April 2013.
-
Efficient determination of the energy landscape of nonlinear Schrödinger-type equations
Authors:
Nico Schlömer,
Daniele Avitabile,
Milorad V. Milošević,
Bart Partoens,
Wim Vanroose
Abstract:
We describe a systematic approach for the efficient numerical solution of nonlinear Schrödinger-type partial differential equations of the form $(K +V + g|ψ|^2)ψ=0$, with an energy operator $K$, a scalar potential $V$, and a scalar parameter $g$. Instrumental to the approach are developments in numerical linear and nonlinear algebra, specifically numerical parameter continuation. We demonstrate ho…
▽ More
We describe a systematic approach for the efficient numerical solution of nonlinear Schrödinger-type partial differential equations of the form $(K +V + g|ψ|^2)ψ=0$, with an energy operator $K$, a scalar potential $V$, and a scalar parameter $g$. Instrumental to the approach are developments in numerical linear and nonlinear algebra, specifically numerical parameter continuation. We demonstrate how a continuous sequence of solutions can be obtained regardless of their stability, so that finally the spectrum of stable and unstable solutions in the specified parameter range is fully revealed. The method is demonstrated for the GL equation in a three-dimensional superconducting domain with an inhomogeneous magnetic field, a numerically demanding problem known to have an involved solution landscape.
△ Less
Submitted 26 September, 2012;
originally announced September 2012.
-
Numerical bifurcation study of superconducting patterns on a square
Authors:
Nico Schlömer,
Daniele Avitabile,
Wim Vanroose
Abstract:
This paper considers the extreme type-II Ginzburg-Landau equations that model vortex patterns in superconductors. The nonlinear PDEs are solved using Newton's method, and properties of the Jacobian operator are highlighted. Specifically, it is illustrated how the operator can be regularized using an appropriate phase condition. For a two-dimensional square sample, the numerical results are based o…
▽ More
This paper considers the extreme type-II Ginzburg-Landau equations that model vortex patterns in superconductors. The nonlinear PDEs are solved using Newton's method, and properties of the Jacobian operator are highlighted. Specifically, it is illustrated how the operator can be regularized using an appropriate phase condition. For a two-dimensional square sample, the numerical results are based on a finite-difference discretization with link variables that preserves the gauge invariance. For two exemplary sample sizes, a thorough bifurcation analysis is performed using the strength of the applied magnetic field as a bifurcation parameter and focusing on the symmetries of this system. The analysis gives new insight in the transitions between stable and unstable states, as well as the connections between stable solution branches.
△ Less
Submitted 8 December, 2011; v1 submitted 6 February, 2011;
originally announced February 2011.