Travelling waves modulated by subthreshold oscillations in networks of integrate-and-fire neurons
Kerr, Ashwin, Wedgwood
Travelling waves of neural firing activity are observed in brain tissue as a part of various sensory, motor and cognitive processes. They represent an object of major interest in the study of excitable networks, with analysis conducted in both neural field models and spiking neuronal networks. The latter class exposes the single-neuron dynamics directly, allowing us to study the details of their influence upon network-scale behaviour. Here we present a study of a laterally-inhibited network of leaky integrate-and-fire neurons modulated by a slow voltage-gated ion channel that acts as a linear adaptation variable. As the strength of the ion channel increases, we find that its interaction with the lateral inhibition increases wave speeds. The ion channel can enable subthreshold oscillations, with the intervals between the firing events of loosely-coupled travelling wave solutions structured around the neuron's natural period. These subthreshold oscillations also enable the occurrence of codimension-2 grazing bifurcations; along with the emergence of fold bifurcations along wave solution branches, the slow ion channel introduces a variety of intermediate structures in the solution space. These point towards further investigation of the role neighbouring solution branches play in the behaviour of waves forced across bifurcations, which we illustrate with the aid of simulations using a novel root-finding algorithm designed to handle uncertainty over the existence of firing solutions.
academic
Ondes progressives modulées par des oscillations sous-liminaires dans des réseaux de neurones intègre-et-tire
Cette étude examine les phénomènes d'ondes progressives dans les réseaux de neurones, en particulier dans les réseaux de neurones intègre-et-tire (LIF) avec inhibition latérale, après l'ajout de canaux ioniques à commande de tension lents comme variables d'adaptation linéaires. Les résultats montrent que : (1) l'augmentation de l'intensité des canaux ioniques accroît la vitesse des ondes par interaction avec l'inhibition latérale ; (2) les oscillations sous-liminaires induites par les canaux ioniques structurent les intervalles de décharge des solutions d'ondes faiblement couplées autour de la période propre du neurone ; (3) les oscillations sous-liminaires entraînent l'apparition de bifurcations d'effleurage de codimension-2 et produisent des bifurcations plis sur les branches de solutions d'ondes, introduisant diverses structures intermédiaires dans l'espace des solutions. L'étude développe également de nouveaux algorithmes de recherche de racines pour gérer l'incertitude concernant l'existence de solutions de décharge.
Cet article étudie le mécanisme de propagation des ondes progressives dans les réseaux de neurones, en particulier comment les oscillations sous-liminaires au niveau des neurones individuels affectent le comportement collectif au niveau du réseau.
Signification physiologique: Les ondes progressives sont largement présentes dans les processus sensoriels, moteurs et cognitifs du cerveau et sont considérées comme fondamentales pour le calcul cérébral
Dynamique multi-échelle: Les oscillations sous-liminaires et les réponses résonantes au niveau de la dynamique locale ont un impact significatif sur le comportement des ondes progressives, par exemple dans le traitement auditif cochléaire, où la fréquence de résonance est directement liée à la vitesse de propagation des ondes
Valeur théorique: Comprendre comment la dynamique des neurones individuels façonne le comportement collectif au niveau du réseau est une question centrale en neurosciences
Modèles simplifiés: Les modèles de taux de type Amari simplifient excessivement la dynamique locale, ignorant les processus au niveau des neurones individuels et des petits circuits (comme les réponses résonantes)
Modèles complexes: Les modèles de type Hodgkin-Huxley, bien que détaillés, sont difficiles à analyser
Absence de dynamique sous-liminaire: Les recherches antérieures sur les réseaux IF (comme la référence 12) se concentrent principalement sur la dynamique locale unidimensionnelle, sans tenir compte des oscillations sous-liminaires
Trouver un équilibre entre la simplicité du modèle IF et la réalité biologique, en introduisant des variables d'adaptation linéaires (représentant les canaux ioniques HCN ou Kv1) pour capturer les oscillations sous-liminaires, tout en maintenant la possibilité d'un traitement analytique.
Extension du modèle: Extension du modèle de réseau LIF antérieur à un système dynamique local bidimensionnel incluant des variables de canaux ioniques linéaires, capable de produire des oscillations sous-liminaires
Construction analytique: Établissement d'une méthode de construction semi-explicite des solutions d'ondes progressives et d'un cadre d'analyse de stabilité linéaire (équations 34 et 46)
Découverte de structures de bifurcation:
Identification de points de bifurcation d'effleurage double de codimension-2 (bifurcation d'effleurage de type III)
Découverte de structures de bifurcation complexes pilotées par des oscillations sous-liminaires
Révélation de la distinction entre les « ondes atomiques » et les « ondes composites »
Mécanisme de modulation de la vitesse des ondes: Clarification de la façon dont les paramètres des canaux ioniques R (taux de réponse) et D (taux d'amortissement) affectent la vitesse des ondes par interaction avec l'inhibition latérale
Phénomène d'accrochage: Découverte que l'intervalle entre les pics des ondes bimodales faiblement couplées s'accroche à des multiples entiers de la période propre du neurone
Algorithme numérique efficace: Développement d'un algorithme de simulation accéléré par GPU basé sur les événements, utilisant une méthode Newton-Raphson améliorée pour capturer précisément les temps de décharge
Entrée: N neurones LIF uniformément distribués sur un domaine annulaire, avec un noyau de connectivité de type chapeau mexicain
Sortie: Existence, vitesse et stabilité des solutions d'ondes progressives, ainsi que les structures de bifurcation en fonction des variations de paramètres
Contraintes: Les neurones sont connectés par un couplage tout-à-tout dépendant de la distance, suivant la dynamique intègre-et-tire avec fuite
vn: potentiel de membrane (se décharge et se réinitialise à vr=0 lorsqu'il atteint le seuil vth=1)
un: courant du canal ionique (variable d'adaptation linéarisée)
sn: variable de tampon synaptique
R≥0: taux de réponse du canal ionique aux changements de tension
D>0: taux d'amortissement du canal ionique
β>0: paramètre d'échelle de temps synaptique
I: courant appliqué (contrôlant l'excitabilité)
Innovation clé: La variable un modélise les canaux ioniques à commande de tension via les paramètres R et D, pouvant produire des oscillations sous-liminaires. Les valeurs propres de la matrice système sont λ1,2=−p±q, où :
p=21(D+1),q=21(D−1)2−4R
Lorsque 4R>(D−1)2, q est imaginaire et le système présente un amortissement oscillatoire avec une fréquence propre de ∣q∣/2π.
Noyau de connectivité de type chapeau mexicain :
w(d)=a2πAe−2a2d2−b2πBe−2b2d2 (7)
Où A=B assure l'équilibre entre excitation et inhibition, et b>a produit une excitation à courte distance, une inhibition à distance moyenne, et aucune interaction à longue distance.
En prenant la limite N→∞, on introduit la fonction de temps de décharge tk(x) (k-ième décharge) et la fonction de position de décharge Xk(t).
Forme de la solution d'onde progressive :
tj(x)=τj+cx,j=1,2,...,m (26)
Où c est la vitesse de l'onde et τj sont les décalages temporels (avec τ1=0).
Dans le système de coordonnées co-mobiles ξ=t−x/c, le système devient invariant dans le temps, et les solutions d'ondes progressives satisfont :
v(ξ)=IeξM∫−∞ξe−ζM(10)dζ+∑j=1mβeξM∫−∞ξe−ζM(10)e−βζ∫−∞ζeβrw(c(r−τj))cdrdζ−(vth−vr)∑j=1me(ξ−τj)M(10)Θ(ξ−τj) (34)
Les m événements de décharge fournissent m conditions v(τj−)=vth, résolues par la méthode Newton-Raphson pour (c,τ2,...,τm).
En introduisant la perturbation X~j(t)=c(t−τj)+ϵϕj(t), où ϕj(t)=Re(Φjeλt).
Après linéarisation, on obtient l'équation caractéristique :
det(F(λ)−G)=0 (46)
Où F(λ) est une matrice m×m et G est une matrice diagonale, avec les éléments de matrice définis par l'équation (43). Si tous les λ (à l'exception de λ=0 dû à l'invariance de translation) ont une partie réelle négative, l'onde est stable.
Choix de paramétrisation: Utilisation de (R,D) plutôt que les paramètres de conductance traditionnels, facilitant la visualisation et la comparaison, et établissant clairement le lien entre les paramètres des oscillations propres et de la réponse résonante
Solutions semi-explicites: Exploitation de la linéarité du système pour construire des solutions explicites entre les événements de décharge (équations 12-13), évitant les erreurs d'accumulation de l'intégration numérique
Algorithme Newton-Raphson amélioré:
Construction d'une borne supérieure mn≥sup{v′(t):t∈[tn,tn+1]} pour prévenir le dépassement
Combinaison de deux bornes pour assurer une convergence rapide loin de la racine et une convergence quadratique près de la racine
Capacité à détecter l'inexistence de solutions (lorsque tn>T ou Mn≤0)
Simulation pilotée par événements: Saut direct d'un événement de décharge au suivant, utilisant le calcul parallèle GPU pour chaque neurone
La vitesse des ondes augmente de manière monotone avec R (de c≈1,5 à R=0 à c≈3,5 à R=4)
Bifurcation d'effleurage à R≈1,9, la solution devient inadmissible
Ondes atomiques bimodales (branche lente):
Vitesse des ondes inférieure d'environ 0,5 unités à celle des ondes unimodales
Un seul pic s entre les pics v, avec v augmentant de manière monotone
Bifurcation d'effleurage terminant à R≈1,87
La différence de vitesse avec les ondes unimodales reste essentiellement constante (confirmant l'intuition de la réponse transitoire de la section 2.5)
Ondes composites bimodales (branche rapide):
Vitesse des ondes proche de celle des ondes unimodales
Temps entre pics τ2 plus long, avec deux pics s
Bifurcation pli à R≈2,8, produisant une paire stable-instable
L'onde instable converge lentement vers la solution stable en simulation (phénomène de bifurcation retardée, exemple 2)
Découverte de plusieurs branches d'ondes bimodales avec des valeurs de τ2 proches de multiples entiers de la période propre 2π/∣q∣ :
D=0,85: Multiples impairs stables pour R<5 ; commutation vers multiples pairs stables pour R>5
D=0,88: État de transition, reconfiguration des branches à R≈5, apparition de connexions plis
D=1: Multiples pairs stables pour R<5, multiples impairs stables pour R>5
La stabilité présente un motif d'alternance pair-impair, indiquant que les ondes bimodales faiblement couplées sont essentiellement une combinaison « accrochée » de deux ondes unimodales.
Points d'effleurage double: Les courbes d'effleurage des branches unimodales et bimodales lentes convergent à des valeurs spécifiques (R,D), correspondant à deux maxima locaux atteignant simultanément le seuil (bifurcation de codimension-2)
Courbes de bifurcation pli: La courbe pli de la branche bimodale rapide divise l'espace des paramètres en régions d'existence/inexistence de solutions
Limite d'oscillation: La courbe 4R=(D−1)2 marque la limite entre solutions triangulaires et hyperboliques
Motif général : Une variable d'adaptation forte (R élevé, D faible) élimine ces solutions d'ondes, tandis que les changements d'échelle de temps ont un effet moindre.
Les solutions admissibles n'existent que pour des valeurs β plus élevées, la vitesse des ondes augmentant avec β
Lorsque R passe de 2,6 à 2,7, la branche bimodale rapide présente deux bifurcations plis, créant un intervalle intermédiaire en β où aucune solution n'existe
Comparaison avec les résultats antérieurs à R=0 : R>0 introduit des bifurcations plis, tandis que R=0 présente principalement des bifurcations Hopf
Onde bimodale lente : transformation immédiate en une seule bosse
Onde bimodale rapide : la deuxième composante d'onde forme une bosse, la première continue de se propager jusqu'à être supprimée, formant une deuxième bosse
Bifurcation pli (Figures 9.2 et 10):
Affichage de caractéristiques de bifurcation retardée, l'onde continuant à se propager longtemps après le point de bifurcation
Transformation finale en bosse, qui peut être instable et se diviser en plusieurs bosses
Observation de phénomènes de réflexion d'ondes et de bistabilité transitoire avec décharge tétanique
Bien que le document n'étiquette pas explicitement ces expériences comme « ablation », une analyse systématique des composants a été effectuée en variant individuellement les paramètres :
Baseline R=0: Comparaison avec les résultats de la référence 12, vérification que R=0 récupère le comportement antérieur
D fixe, R variable: Isolation de l'effet du taux de réponse du canal ionique
R fixe, D variable: Isolation de l'effet d'échelle de temps
R fixe, β variable: Isolation de l'effet d'échelle de temps synaptique
Exemple 1 (Figure 5, R=3,5): Onde bimodale rapide stable
Le profil affiche deux pics s clairement séparés
L'onde se propage de manière stable en simulation, les temps de décharge formant des lignes diagonales régulières
Exemples 4-6 (Figure 5, ondes instables):
Exemples 4 et 5 : perte immédiate d'un pic, convergence oscillatoire vers une onde unimodale
Exemple 6 : proche du point d'effleurage, l'instabilité provoque des événements de décharge supplémentaires se propageant dans les deux directions, le réseau finissant par se reposer
Variation lente de paramètres (Figure 9.2):
Lors du franchissement de la bifurcation pli, l'onde persiste environ 60 unités de temps avant transformation
Mécanisme de modulation de la vitesse des ondes: L'augmentation de R → accélération de la réponse des neurones → augmentation de la vitesse des ondes (conforme à l'analyse de réponse transitoire)
Nombre de pics et vitesse: Les ondes atomiques à m pics sont plus lentes que les ondes unimodales, d'autant plus que m est grand (Figure 6)
Transition de stabilité: Les ondes à m élevé perdent leur stabilité à des valeurs R plus basses (région stable disparaissant pour m=7)
Transition accrochage-décrochage: À des valeurs R spécifiques, le motif d'accrochage des ondes faiblement couplées se réorganise
Cascade de bifurcations: Avec l'augmentation de R, les ondes atomiques subissent une séquence de bifurcations Hopf → effleurage
Rôle organisateur de l'effleurage double: Agissant comme centre organisateur de l'espace des paramètres, séparant les régions de différents mécanismes d'effleurage
Amari (1977): Travail fondateur établissant les bases théoriques des ondes progressives et des bosses dans les réseaux avec inhibition latérale
Ermentrout, Bressloff, Coombes et al.: Développement de la théorie des champs neuronaux, analyse de l'impact des délais synaptiques, de l'inhibition récurrente, de l'anisotropie, etc. sur la propagation des ondes
Laing & Chow (2001): Première construction d'attracteurs de bosses dans les réseaux LIF
Avitabile, Davis & Wedgwood (2023): Étude systématique des bosses et ondes progressives dans les réseaux LIF avec R=0, découverte d'ondes en selle et chaos spatio-temporel
Bressloff (2000): Établissement d'un cadre d'analyse de stabilité pour les ondes progressives dans les réseaux IF excitateurs
Par rapport aux modèles Amari : conservation des détails de la dynamique des neurones individuels, révélation de l'impact des oscillations sous-liminaires sur le comportement du réseau
Par rapport aux modèles Hodgkin-Huxley : maintien de la traitabilité analytique, établissement de solutions semi-explicites
Par rapport à Avitabile et al. (2023) : extension à la dynamique locale bidimensionnelle, découverte de nouvelles structures de bifurcation (effleurage double, phénomènes d'accrochage)
Par rapport aux études de résonance : première analyse systématique du rôle des oscillations sous-liminaires dans les ondes progressives des réseaux pulsés
Les canaux ioniques lents augmentent la vitesse des ondes par interaction avec l'inhibition latérale, l'effet augmentant de manière monotone avec R
Les oscillations sous-liminaires verrouillent les intervalles entre pics des ondes faiblement couplées à des multiples entiers de la période propre, formant un phénomène similaire à la liaison des queues de cellules de convection
La bifurcation d'effleurage double agit comme centre organisateur de l'espace des paramètres, produisant une bifurcation d'effleurage de type III de codimension-2 (systèmes de classe A non-lisses)
Les ondes atomiques et composites présentent des comportements de bifurcation différents: les premières subissent principalement des effleurages, les secondes impliquent également des bifurcations plis
La dynamique lors du franchissement des bifurcations dépend du type de bifurcation: l'effleurage provoque une transformation rapide, les plis produisent une bifurcation retardée
Les mécanismes de transition onde-bosse sont variés: peuvent former une ou plusieurs bosses, potentiellement accompagnés de réflexion d'ondes
Structure de connectivité simplifiée: Le noyau Mexican hat fusionne l'excitation et l'inhibition, pouvant omettre la dynamique importante des populations E-I séparées (comme les ondes lentes où les cellules inhibitrices se déchargent avant les cellules excitatrices)
Principe de Dale: Un neurone individuel produisant simultanément excitation et inhibition viole le principe biologique
Canaux ioniques linéaires: Les canaux ioniques réels présentent une conductance non-linéaire, limitant la modélisation précise de types de canaux spécifiques
Domaine unidimensionnel: Pas d'exploration des instabilités de fronts d'ondes, spirales, planeurs et autres structures en dimensions supérieures
Modèle déterministe: Ignore la stochasticité, incapable d'expliquer les ondes où certains neurones ne participent pas à la décharge
Réseau homogène: Ne tient pas compte de l'hétérogénéité et de l'anisotropie
Extension à la dynamique locale tridimensionnelle: Introduction d'une échelle de temps ultra-lente produisant des rafales (bursting), utilisant potentiellement des modèles linéaires par morceaux pour maintenir la traitabilité
Séparation des populations E-I: Respect du principe de Dale, étude de l'interaction des bosses entre différentes populations
Modèle de conductance d'entrée dynamique: Intégration de composants rapides, lents et ultra-lents, reliant l'expression de canaux ioniques spécifiques au comportement du réseau
Extension en dimensions supérieures: Analyse des instabilités de fronts d'ondes en deux et trois dimensions, étude des planeurs et structures d'ondes localisées
Stochasticité et hétérogénéité: Utilisation de processus de Hawkes pour décrire la propension à la décharge, étude de motifs spatio-temporels complexes comme les ondes saccadées
Oscillations multi-échelles: Étude des mécanismes de transition d'états up-down dans les ondes corticales lentes (comme les oscillations lentes du sommeil)
Champs neuronaux sur surfaces: Extension à des géométries arbitraires (cortex cérébral, organoïdes) et structures de surface
Comble l'écart théorique entre les modèles de taux et les modèles pulsés détaillés
Fournit un cadre quantitatif pour comprendre le rôle de la dynamique sous-liminaire au niveau du réseau
La découverte de la bifurcation d'effleurage double pourrait inspirer des recherches sur d'autres systèmes excitables
Valeur pratique:
L'algorithme numérique a une valeur d'application pratique pour la simulation de réseaux IF à grande échelle
Fournit des orientations pour concevoir du matériel neuromorphe avec des vitesses d'ondes spécifiques
Peut aider à comprendre les phénomènes pathologiques/physiologiques comme les ondes épileptiques et les ondes lentes du sommeil
Impact théorique:
Démontre que les réseaux IF peuvent exhiber des comportements qualitativement différents des modèles continus (comme le chaos spatio-temporel des bosses)
L'analogie entre les phénomènes d'accrochage et les cellules de convection en mécanique des fluides peut favoriser les échanges interdisciplinaires
La caractérisation détaillée des cascades de bifurcations et de la bifurcation retardée enrichit la théorie des systèmes dynamiques non-lisses
Reproductibilité: Excellente
Code open-source
Algorithmes détaillés
Paramètres complets
Susceptible de devenir une implémentation de référence dans ce domaine
Neurosciences théoriques: Étude de la contribution de canaux ioniques spécifiques (HCN, Kv1) aux oscillations du réseau
Neurosciences computationnelles: Simulations de réseaux à grande échelle nécessitant un équilibre entre efficacité et réalisme biologique
Ingénierie neuromorphe: Conception d'architectures de calcul basées sur les impulsions, exploitant la propagation des ondes pour le traitement de l'information
Théorie des systèmes dynamiques: Cas d'étude pour les milieux excitables, les systèmes non-lisses, et la bifurcation retardée
Applications médicales: Compréhension des mécanismes potentiels des ondes pathologiques (propagation des crises d'épilepsie)
Scénarios non applicables:
Recherche nécessitant une correspondance précise avec des données expérimentales spécifiques (modèle trop simplifié)
Étude des phénomènes à long terme comme la plasticité synaptique et l'apprentissage (modèle avec connexions statiques)
Recherche pharmacologique nécessitant une dynamique détaillée des canaux ioniques
Amari (1977): Travail fondateur de la théorie des champs neuronaux
Bressloff (2000): Méthode d'analyse de stabilité pionnière pour les ondes progressives dans les réseaux IF
Avitabile, Davis & Wedgwood (2023): Étude de base R=0 directement étendue par ce travail
Richardson, Brunel & Hakim (2003): Théorie quantitative de la résonance sous-liminaire
Kowalczyk et al. (2006): Cadre de classification des bifurcations d'effleurage double
Laing & Chow (2001): Première construction d'attracteurs de bosses dans les réseaux pulsés
Ermentrout (1998): Analyse classique des ondes progressives générées par les synapses
Évaluation globale: Cet article est un travail de haute qualité en neurosciences théoriques, rigoureux et innovant dans ses méthodes, riche en perspectives dans ses résultats. En introduisant les oscillations sous-liminaires, une caractéristique biologiquement pertinente, les auteurs découvrent des structures de bifurcation riches et des phénomènes d'accrochage, élargissant significativement notre compréhension du comportement collectif dans les réseaux de neurones pulsés. L'outil numérique efficace et open-source améliore davantage sa valeur pratique. Les principales limitations résident dans la simplicité du modèle et l'absence de validation expérimentale, mais en tant qu'exploration théorique, ce travail atteint un très haut niveau et devrait avoir un impact durable sur la recherche en dynamique neuronale et en milieux excitables.