[논문 리뷰] On a voltage-conductance kinetic system for integrate and fire neural networks

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

Advanced Thermodynamics and Statistical Mechanics참고 문헌 16인용 수 6

한 줄 요약

이 논문은 적분-화염 신경망의 전압-도전도 운동론 모델에 대해 전역 존재성과 사전 경계를 확립하며, 비선형성과 퇴화된 확산에도 불구하고 해가 전역적으로 유계임을 증명한다. 핵심 결과는 역설을 해결한다: 관련된 포아송-포켈스키 모델은 유한 시간 내에 폭발하지만, 이 하이퍼볼릭-운동론 모델은 시간 척도와 방정식의 구조적 성질의 차이로 인해 전역적으로 유계로 유지된다.

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)-차원 포켈스키 유형 운동론 방정식을 수립한다.
• 전체 발화율 $\mathcal{N}(t)$에 따라 의존하는 $g_{\text{in}}(t)$와 $a(t)$를 포함한 드리프트-확산 구조로 네트워크 동역학을 모델링하여 비선형성을 도입한다.
• 부분적 적분과 가중 에너지 추정을 사용하여 테스트 함수 $K(v,g) = (1+g^\ell)(-g_L v + g(V_E - v))_+^{q-1}$ 를 통해 $L^q$ 노름을 제어한다.
• 횔더 부등식과 $\varepsilon$-요르거 부등식을 사용하여 $\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$ 인 $L^q$ 노름에 대해 확률 밀도 $p(v,g,t)$ 에 대한 전역 사전 경계가 확립된다.
• $\ell > 1 + q/q'$ 조건 하에서 $\mathcal{N}(t)$ 가 $L^q(0,T)$ 에 속함을 보이며, 이는 적분 가능성 보장과 고도로 연결된 네트워크에서 주기적 해가 존재하지 않음을 의미한다.
• $p$ 의 $L^q$ 노름과 $\partial_g p$ 의 가중 $L^2$ 노름은 시간에 대해 일관되게 유계이며, 이는 초기 자료와 $g_{\text{in}}(t)$ 에 의존한다.
• 제시된 모멘트 및 정규성 조건 하에서 $\int_0^T \mathcal{N}^q(t) dt < \infty$ 를 만족함을 보였다.
• $\mathcal{N}(t)$ 의 $L^q$ 적분 가능성 증명은 특수하게 구성된 테스트 함수 $G(v,g)$ 를 사용한 쌍대 에너지 추정에 기반하며, 이는 $v = V_F$ 에서 경계 항을 제어한다.
• 운동론 모델은 전역적으로 유계이지만 포물선 근사에서는 유한 시간 내 폭발한다는 역설은 시간 척도의 차이로 설명된다: 운동론 모델은 폭발이 발생하지 않는 짧은 시간 척도에서 작동한다.