[論文レビュー] On a voltage-conductance kinetic system for integrate and fire neural networks

Benoı̂t Perthame, Delphine Salort|arXiv (Cornell University)|Oct 10, 2013

Advanced Thermodynamics and Statistical Mechanics参考文献 16被引用数 6

ひとこと要約

本稿では、電位-伝導度キネティックモデルに対する全時間存在性と事前評価を確立し、非線形性および退化拡散が存在するにもかかわらず、解が全時間で有界であることを証明する。主な結果は、関連する放物型Fokker-Planckモデルが有限時間で爆発するのに対し、この双曲型-キネティックモデルは時間スケールの違いと方程式の構造的性質のおかげで全時間で有界のままであるというパラドックスを解消する。

ABSTRACT

The voltage-conductance kinetic equation for integrate and fire neurons has been used in neurosciences since a decade and describes the probability density of neurons in a network. It is used when slow conductance receptors are activated and noticeable applications to the visual cortex have been worked-out. In the simplest case, the derivation also uses the assumption of fully excitatory and moderately all-to-all coupled networks; this is the situation we consider here. We study properties of solutions of the kinetic equation for steady states and time evolution and we prove several global a priori bounds both on the probability density and the firing rate of the network. The main difficulties are related to the degeneracy of the diffusion resulting from noise and to the quadratic aspect of the nonlinearity. This result constitutes a paradox; the solutions of the kinetic model, of partially hyperbolic nature, are globally bounded but it has been proved that the fully parabolic integrate and fire equation (some kind of diffusion limit of the former) blows-up in finite time.

研究の動機と目的

• インテグレート・アンド・ファイア神経ネットワークをモデル化する電位-伝導度キネティック方程式に対する全時間事前評価を確立すること。
• キネティックモデルは全時間で有界である一方で、その放物型極限は有限時間で爆発するというパラドックスを解消すること。
• 線形および非線形結合の下で定常解の存在、一意性、正則性を分析すること。
• ネットワーク全体の発火レートに関するモーメント伝播および可積分性評価を導出すること。
• 発火レートが $L^q$ 空間において正則性の向上および高階可積分性を示すことを証明すること。

提案手法

• 膜電位 $v$ とシナプス伝導度 $g$ を持つニューロンの確率密度 $p(v,g,t)$ をモデル化する非線形な(2+1)次元Fokker-Planck型キネティック方程式を定式化する。
• 全発火レート $\mathcal{N}(t)$ に依存する $g_{\text{in}}(t)$ と $a(t)$ を用いて、ドリフト-拡散構造をモデル化し、非線形性を導入する。
• 部分積分と重み付きエネルギー評価を用い、$L^q$ ノルムを制御するためのテスト関数 $K(v,g) = (1+g^\ell)(-g_L v + g(V_E - v))_+^{q-1}$ を適用する。
• Hölderの不等式および $\varepsilon$-Youngの不等式を用いて、$\partial_g p$ と $\partial_g K$ を含む交差項を制御する。
• 第二のテスト関数 $G(v,g) = v(1+g)^\ell(-g_L v + g(V_E - v))_+^{q-1}$ を用いた双対評価により、発火レート $\mathcal{N}(t)$ の $L^q$ ノルムを制御する。
• 初期データのモーメント条件および $\ell > 1 + q/q'$ の下で、$\mathcal{N}(t)$ の $L^q$ 可積分性を確立する。

実験結果

リサーチクエスチョン

• RQ1 退化拡散および二次非線形性が存在する中で、電位-伝導度キネティック方程式が全時間解をもつための条件は何か？
• RQ2 なぜキネティックモデルは全時間で有界のままであるのに対し、その放物型極限は有限時間で爆発するのか？
• RQ3 線形および非線形領域における定常解の存在および一意性の十分条件は何か？
• RQ4 確率密度および発火レートのモーメントは時間とともにどのように伝播するか？
• RQ5 $L^q$ 空間における全発火レート $\mathcal{N}(t)$ の正則性の向上および可積分性は何か？

主な発見

• 初期データのモーメント条件の下で、$q \geq 2$ に対して確率密度 $p(v,g,t)$ の $L^q$ ノルムに対する全時間事前評価を確立した。
• $\ell > 1 + q/q'$ の下で、全発火レート $\mathcal{N}(t)$ が $L^q(0,T)$ に属することを示し、可積分性を保証するとともに、高密度ネットワークでは周期的解が存在しないことを排除した。
• $p$ の $L^q$ ノルムおよび $\partial_g p$ の重み付き $L^2$ ノルムは時間に一様に有界であり、初期データおよび $g_{\text{in}}(t)$ に依存する。
• 提示されたモーメントおよび正則性条件の下で、発火レート $\mathcal{N}(t)$ に対して $\int_0^T \mathcal{N}^q(t) dt < \infty$ が成り立つ。
• $\mathcal{N}(t)$ の $L^q$ 可積分性の証明は、特別に構築されたテスト関数 $G(v,g)$ を用いた双対エネルギー評価に依拠しており、$v = V_F$ における境界項を制御する。
• キネティックモデルが全時間で有界であるのに対し、放物型極限が有限時間で爆発するというパラドックスは、時間スケールの違いに起因する。キネティックモデルは爆発が生じない短い時間スケールで動作する。