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
Бегущие волны, модулируемые подпороговыми колебаниями в сетях интегрирующих нейронов с утечкой
В данном исследовании изучаются явления бегущих волн в нейронных сетях, в частности в сетях нейронов с утечкой и интегрированием (LIF) с боковым торможением, дополненных медленными потенциал-зависимыми ионными каналами в качестве линейной переменной адаптации. Исследование выявляет: (1) увеличение интенсивности ионных каналов повышает скорость волны через взаимодействие с боковым торможением; (2) подпороговые колебания, вызванные ионными каналами, структурируют интервалы между спайками слабо связанных решений бегущих волн вокруг собственного периода нейрона; (3) подпороговые колебания приводят к появлению касательных бифуркаций коразмерности-2 (grazing bifurcations) и порождают складчатые бифуркации на ветвях волновых решений, вводя множество промежуточных структур в пространство решений. Исследование также разработало новые алгоритмы поиска корней для работы с неопределённостью существования решений со спайками.
В данной работе изучается механизм распространения бегущих волн в нейронных сетях, в частности то, как подпороговые колебания на уровне отдельного нейрона влияют на коллективное поведение на уровне сети.
Физиологическое значение: Бегущие волны широко распространены в сенсорных, моторных и когнитивных процессах мозга и считаются основой мозговых вычислений
Кросс-масштабная динамика: Подпороговые колебания и резонансные ответы в локальной динамике оказывают значительное влияние на поведение бегущих волн, например, в слуховой обработке улитки резонансная частота напрямую связана со скоростью распространения волны
Теоретическая ценность: Понимание того, как динамика отдельного нейрона формирует коллективное поведение на уровне сети, является центральной проблемой нейронауки
Упрощённые модели: Модели скорости типа Amari чрезмерно упрощают локальную динамику, игнорируя процессы отдельных нейронов и микросхем (такие как резонансные ответы)
Сложные модели: Модели типа Hodgkin-Huxley, хотя и детальные, трудны для анализа
Отсутствие подпороговой динамики: Предыдущие исследования IF-сетей (например, ссылка 12) в основном сосредоточивались на одномерной локальной динамике, не учитывая подпороговые колебания
Поиск баланса между простотой IF-модели и биологической реалистичностью путём введения линейной переменной адаптации (представляющей ионные каналы HCN или Kv1) для захвата подпороговых колебаний, сохраняя при этом возможность аналитической обработки.
Расширение модели: Расширение предыдущей модели LIF-сети на двумерную локальную динамическую систему с переменной ионного канала, способную генерировать подпороговые колебания
Аналитическое конструирование: Установление полу-явного метода конструирования решений бегущих волн и структуры линейного анализа устойчивости (уравнения 34 и 46)
Обнаружение структур бифуркаций:
Идентификация точек двойной касательной бифуркации коразмерности-2 (бифуркация типа III)
Обнаружение сложных структур бифуркаций, управляемых подпороговыми колебаниями
Раскрытие различий между "атомарными волнами" и "составными волнами"
Механизм модуляции скорости волны: Уточнение того, как параметры ионного канала R (скорость ответа) и D (скорость затухания) влияют на скорость волны через взаимодействие с боковым торможением
Явление захвата: Обнаружение захвата межпиковых интервалов слабо связанных двухпиковых волн целыми кратными собственному периоду нейрона
Эффективный численный алгоритм: Разработка основанного на событиях GPU-ускоренного алгоритма моделирования с улучшенным методом Ньютона-Рафсона для точного захвата времён спайков
Входные данные: N равномерно распределённых на кольцевой области LIF-нейронов с мексиканской шляпой типа ядра связи
Выходные данные: Существование решений бегущих волн, их скорость, устойчивость и структуры бифуркаций при изменении параметров
Ограничения: Нейроны соединены полносвязной дистанционно-зависимой связью, подчиняясь динамике утечки и интегрирования
vn: мембранный потенциал (при достижении порога vth=1 происходит спайк и сброс на vr=0)
un: ток ионного канала (линеаризованная переменная адаптации)
sn: переменная синаптического буфера
R≥0: скорость ответа ионного канала на изменение напряжения
D>0: скорость затухания ионного канала
β>0: параметр синаптической временной шкалы
I: приложенный ток (управляет возбудимостью)
Ключевое нововведение: Переменная un моделирует потенциал-зависимые ионные каналы через параметры R и D, способные генерировать подпороговые колебания. Собственные значения системной матрицы: λ1,2=−p±q, где:
p=21(D+1),q=21(D−1)2−4R
Когда 4R>(D−1)2, q является мнимым, система проявляет затухающие колебания с собственной частотой ∣q∣/2π.
Ядро связи типа мексиканской шляпы:
w(d)=a2πAe−2a2d2−b2πBe−2b2d2 (7)
где A=B обеспечивает баланс возбуждения и торможения, b>a создаёт возбуждение на близких расстояниях, торможение на средних расстояниях и отсутствие взаимодействия на больших расстояниях.
Переходя к пределу N→∞, вводятся функция времени спайка tk(x) (k-й спайк) и функция положения спайка Xk(t).
Форма решения бегущей волны:
tj(x)=τj+cx,j=1,2,...,m (26)
где c — скорость волны, τj — временные смещения (установлено τ1=0).
В сопутствующей системе координат ξ=t−x/c система становится независимой от времени, и решение бегущей волны удовлетворяет:
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)
m событий спайков обеспечивают m условий v(τj−)=vth, решаемых методом Ньютона-Рафсона для (c,τ2,...,τm).
Введение возмущения X~j(t)=c(t−τj)+ϵϕj(t), где ϕj(t)=Re(Φjeλt).
После линеаризации получается характеристическое уравнение:
det(F(λ)−G)=0 (46)
где F(λ) — матрица размером m×m, G — диагональная матрица, элементы матриц определены уравнением (43). Если все λ (кроме λ=0 из-за инвариантности сдвига) имеют отрицательную вещественную часть, волна устойчива.
Параметризация выбора: Использование (R,D) вместо традиционной параметризации проводимости облегчает визуализацию и сравнение, ясно связывая параметрическое пространство собственных колебаний с резонансным ответом
Полу-явное решение: Использование линейности системы для конструирования явного решения между событиями спайков (уравнения 12-13), избегая накопления ошибок численного интегрирования
Улучшенный алгоритм Ньютона-Рафсона:
Конструирование верхней границы mn≥sup{v′(t):t∈[tn,tn+1]} для предотвращения перерегулирования
Комбинирование двух границ для быстрой сходимости вдали от корня и квадратичной сходимости вблизи корня
Способность обнаруживать несуществование решений (когда tn>T или Mn≤0)
Моделирование, управляемое событиями: Прямой переход от одного события спайка к следующему, использование GPU для параллельного вычисления времени следующего спайка для каждого нейрона
Обнаружены множественные ветви двухпиковых волн, где значения τ2 близки к целым кратным собственного периода 2π/∣q∣:
D=0.85: При R<5 стабильны нечётные кратные; при R>5 переключение на чётные кратные
D=0.88: Переходное состояние, ветви переконфигурируются при R≈5, появляется складчатая связь
D=1: При R<5 стабильны чётные кратные, при R>5 нечётные кратные
Устойчивость проявляет чередующийся нечётно-чётный паттерн, указывая на то, что слабо связанные двухпиковые волны по сути являются "захваченной" комбинацией двух однопиковых волн.
Точки двойной касательной бифуркации: Кривые касательной бифуркации однопиковой и двухпиковой медленной ветвей сходятся в определённых значениях (R,D), соответствуя одновременному достижению двумя локальными максимумами порога (бифуркация коразмерности-2)
Кривые складчатой бифуркации: Складчатая бифуркация быстрой двухпиковой ветви разделяет параметрическое пространство на области существования/несуществования решений
Граница колебаний: Кривая 4R=(D−1)2 отмечает границу между треугольной и гиперболической динамикой
Общий паттерн: сильная переменная адаптации u (высокое R, низкое D) исключает эти волновые решения, в то время как изменение временной шкалы имеет меньший эффект.
Допустимые решения существуют только при более высоких значениях β, скорость волны возрастает с β
При увеличении R с 2.6 до 2.7 быстрая двухпиковая ветвь демонстрирует две складчатые бифуркации, создавая промежуточный зазор по β (решения не существуют)
В сравнении с результатами при R=0: R>0 вводит складчатые бифуркации, в то время как R=0 в основном проявляет бифуркации Хопфа
Медленная двухпиковая волна: вся волна немедленно трансформируется в одиночный выступ (bump)
Быстрая двухпиковая волна: второй волновой компонент формирует выступ, первый компонент продолжает распространяться до подавления, формируя второй выступ
Складчатая бифуркация (рисунки 9.2 и 10):
Проявляет характеристики задержанной бифуркации, волна продолжает распространяться значительное время после точки бифуркации
В итоге трансформируется в выступ, который может быть неустойчивым и расщепиться на множество выступов
Наблюдаются явления отражения волны и переходная бистабильность с тоническим спайком
Пример 1 (рисунок 5, R=3.5): Устойчивая быстрая двухпиковая волна
Контур показывает два чётко разделённых пика s
В моделировании волна стабильно распространяется, времена спайков образуют регулярные диагональные линии
Примеры 4-6 (рисунок 5, неустойчивые волны):
Примеры 4 и 5: немедленная потеря одного пика, после колебаний сходятся к однопиковой волне
Пример 6: вблизи точки касательной бифуркации, неустойчивость приводит к дополнительным событиям спайков, распространяющимся в обе стороны, в итоге сеть переходит в покой
Медленное изменение параметра (рисунок 9.2):
При пересечении складчатой бифуркации волна продолжает распространяться примерно 60 временных единиц перед трансформацией
После формирования выступ демонстрирует шевронный (chevron) паттерн
Механизм модуляции скорости волны: Увеличение R → ускорение ответа нейрона → увеличение скорости волны (согласуется с анализом переходного ответа)
Количество пиков и скорость: Атомарные m-пиковые волны медленнее однопиковых, и чем больше m, тем медленнее (рисунок 6)
Переход устойчивости: Волны с высоким m теряют устойчивость при более низких R (при m=7 область устойчивости исчезает)
Переход захват-разблокировка: При определённых значениях R происходит переконфигурация паттерна захвата слабо связанных волн
Каскад бифуркаций: При увеличении R атомарные волны проходят последовательность Hopf → касательная бифуркация
Организующая роль двойной касательной бифуркации: Как организующий центр параметрического пространства, разделяет области различных механизмов касательной бифуркации
Amari (1977): Пионерская работа по моделям скорости, установившая теоретическую основу для волн и выступов в сетях с боковым торможением
Ermentrout, Bressloff, Coombes и др.: Развитие теории нейронного поля, анализ влияния синаптических задержек, рекуррентного торможения, анизотропии на распространение волн
Laing & Chow (2001): Первое конструирование аттракторов выступов в LIF-сетях
Avitabile, Davis & Wedgwood (2023): Систематическое исследование выступов и бегущих волн в LIF-сетях при R=0, обнаружение седловых волновых решений и пространственно-временного хаоса
Bressloff (2000): Установление структуры анализа устойчивости бегущих волн в возбудимых IF-сетях
По сравнению с моделью Amari: сохранение деталей динамики отдельного нейрона, раскрытие влияния подпороговых колебаний на сетевое поведение
По сравнению с моделью Hodgkin-Huxley: сохранение аналитической обработки, установление полу-явного решения
По сравнению с Avitabile и др. (2023): расширение на двумерную локальную динамику, обнаружение новых структур бифуркаций (двойная касательная, явление захвата)
По сравнению с исследованиями резонанса: первый систематический анализ роли подпороговых колебаний в бегущих волнах импульсных сетей
Медленные ионные каналы повышают скорость волны через взаимодействие с боковым торможением, эффект монотонно возрастает с R
Подпороговые колебания захватывают межпиковые интервалы слабо связанных волн на целые кратные собственному периоду, формируя явление, аналогичное связыванию хвостов конвективных ячеек
Двойная касательная бифуркация служит организующим центром параметрического пространства, порождая касательную бифуркацию коразмерности-2 типа III (класс A недифференцируемых систем)
Атомарные и составные волны проявляют различное поведение при бифуркациях: первые в основном проходят касательные бифуркации, вторые также включают складчатые бифуркации
Динамика при пересечении бифуркаций зависит от типа бифуркации: касательная приводит к быстрому переходу, складчатая порождает задержанную бифуркацию
Механизмы переходов волна-выступ разнообразны: могут формировать один или множество выступов, возможно сопровождаются отражением волны
Упрощённая структура связи: Ядро типа мексиканской шляпы объединяет возбуждение и торможение, может упустить важную динамику разделённых E-I популяций (например, медленные волны с предварительным спайком тормозящих клеток)
Принцип Dale: Отдельный нейрон одновременно производит возбуждение и торможение, нарушает биологический принцип
Линейные ионные каналы: Реальные ионные каналы имеют нелинейную проводимость, ограничивает точное моделирование конкретных типов каналов
Одномерная область: Не исследованы неустойчивости волновых фронтов в высших размерностях, спиральные волны, глайдеры и другие структуры
Детерминированная модель: Игнорирует стохастичность, не может объяснить волны с частичным участием нейронов
Однородная сеть: Не учитывает гетерогенность и анизотропию
Расширение на трёхмерную локальную динамику: Введение сверхмедленной временной шкалы для порождения взрывов (bursting), возможно с использованием кусочно-линейных моделей для сохранения обработки
Разделение E-I популяций: Соблюдение принципа Dale, исследование взаимодействия выступов различных популяций
Модель динамической входной проводимости: Интеграция быстрых, медленных и сверхмедленных компонентов, связь выражения конкретных ионных каналов с сетевым поведением
Расширение на высшие размерности: Анализ неустойчивостей волновых фронтов в двух и трёх измерениях, исследование глайдеров и локализованных структур бегущих волн
Стохастичность и гетерогенность: Использование процессов Хокеса для описания склонности к спайкам, исследование сложных пространственно-временных паттернов типа lurching волн
Кросс-масштабные колебания: Исследование механизмов переходов up-down состояний в медленных корковых волнах (например, при сне)
Нейронные поля на поверхностях: Расширение на произвольные поверхности (например, кора головного мозга, органоиды) с геометрическими структурами
Заполнение теоретического пробела между моделями скорости и детальными импульсными моделями
Обеспечение количественной структуры для понимания роли подпороговой динамики на уровне сети
Обнаружение двойной касательной бифуркации может вдохновить исследования в других возбудимых системах
Практическая ценность:
Численный алгоритм имеет практическое применение в моделировании крупномасштабных IF-сетей
Обеспечивает руководство для проектирования нейроморфного оборудования с конкретной скоростью волны
Может помочь в понимании патологических/физиологических явлений, таких как эпилептические волны, медленные волны сна
Теоретическое влияние:
Доказательство того, что IF-сети могут проявлять поведение, качественно отличающееся от непрерывных моделей (например, пространственно-временной хаос выступов)
Аналогия явления захвата с привязкой хвостов конвективных ячеек в гидродинамике может способствовать междисциплинарному обмену
Подробная характеризация каскадов бифуркаций и задержанных бифуркаций обогащает теорию недифференцируемых динамических систем
Воспроизводимость: Отличная
Открытый исходный код
Подробные алгоритмы
Полные параметры
Вероятно, станет эталонной реализацией в этой области
Amari (1977): Основополагающая работа по теории нейронного поля
Bressloff (2000): Пионерский метод анализа устойчивости бегущих волн в IF-сетях
Avitabile, Davis & Wedgwood (2023): Прямое расширение базовой линии исследования при R=0
Richardson, Brunel & Hakim (2003): Количественная теория подпороговых резонансов
Kowalczyk et al. (2006): Классификационная структура для двойных касательных бифуркаций
Laing & Chow (2001): Первое конструирование аттракторов выступов в импульсных сетях
Ermentrout (1998): Классический анализ синаптически генерируемых бегущих волн
Общая оценка: Это высококачественная работа по теоретической нейронауке, строгая и инновационная в методологии, богатая на инсайты в результатах. Путём введения подпороговых колебаний — биологически релевантного признака — авторы обнаружили богатые структуры бифуркаций и явления захвата, значительно расширив наше понимание коллективного поведения импульсных нейронных сетей. Открытые высокоэффективные численные инструменты дополнительно повышают её практическую ценность. Основные ограничения заключаются в упрощённости модели и отсутствии экспериментальной верификации, однако как теоретическое исследование работа достигает высокого уровня и, как ожидается, окажет устойчивое влияние на исследования нейродинамики и возбудимых сред.