-
Renewal theorems in a periodic environment
Authors:
Quentin Cormier
Abstract:
We study a renewal problem within a periodic environment, departing from the classical renewal theory by relaxing the assumption of independent and identically distributed inter-arrival times. Instead, the conditional distribution of the next arrival time, given the current one, is governed by a periodic kernel, denoted as $H$. The periodicity property of $H$ is expressed as…
▽ More
We study a renewal problem within a periodic environment, departing from the classical renewal theory by relaxing the assumption of independent and identically distributed inter-arrival times. Instead, the conditional distribution of the next arrival time, given the current one, is governed by a periodic kernel, denoted as $H$. The periodicity property of $H$ is expressed as $\mathbb{P}(T_{k+1} > t ~ |~ T_k) = H(t, T_k)$, where $H(t+T,s+T) = H(t, s)$. For a fixed time $t$, we define $N_t$ as the count of events occurring up to time $t$. The focus is on two temporal aspects: $Y_t$, the time elapsed since the last event, and $X_t$, the time until the next event occurs, given by $Y_t = t - T_{N_t}$ and $X_t = T_{N_{t}+1} - t$. The study explores the long-term behavior of the distributions of $X_t$ and $Y_t$.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Synchronization in a Kuramoto Mean Field Game
Authors:
Rene Carmona,
Quentin Cormier,
H. Mete Soner
Abstract:
The classical Kuramoto model is studied in the setting of an infinite horizon mean field game. The system is shown to exhibit both synchronization and phase transition. Incoherence below a critical value of the interaction parameter is demonstrated by the stability of the uniform distribution. Above this value, the game bifurcates and develops self-organizing time homogeneous Nash equilibria. As i…
▽ More
The classical Kuramoto model is studied in the setting of an infinite horizon mean field game. The system is shown to exhibit both synchronization and phase transition. Incoherence below a critical value of the interaction parameter is demonstrated by the stability of the uniform distribution. Above this value, the game bifurcates and develops self-organizing time homogeneous Nash equilibria. As interactions become stronger, these stationary solutions become fully synchronized. Results are proved by an amalgam of techniques from nonlinear partial differential equations, viscosity solutions, stochastic optimal control and stochastic processes.
△ Less
Submitted 23 October, 2022;
originally announced October 2022.
-
On the stability of the invariant probability measures of McKean-Vlasov equations
Authors:
Quentin Cormier
Abstract:
We study the long-time behavior of some McKean-Vlasov stochastic differential equations used to model the evolution of large populations of interacting agents. We give conditions ensuring the local stability of an invariant probability measure. Lions derivatives are used in a novel way to obtain our stability criteria. We obtain results for non-local McKean-Vlasov equations on $\mathbb{R}^d$ and f…
▽ More
We study the long-time behavior of some McKean-Vlasov stochastic differential equations used to model the evolution of large populations of interacting agents. We give conditions ensuring the local stability of an invariant probability measure. Lions derivatives are used in a novel way to obtain our stability criteria. We obtain results for non-local McKean-Vlasov equations on $\mathbb{R}^d$ and for McKean-Vlasov equations on the torus where the interaction kernel is given by a convolution. On $\mathbb{R}^d$, we prove that the location of the roots of an analytic function determines the stability. On the torus, our stability criterion involves the Fourier coefficients of the interaction kernel. In both cases, we prove the convergence in the Wasserstein metric $W_1$ with an exponential rate of convergence.
△ Less
Submitted 30 April, 2024; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Hopf bifurcation in a Mean-Field model of spiking neurons
Authors:
Quentin Cormier,
Etienne Tanré,
Romain Veltz
Abstract:
We study a family of non-linear McKean-Vlasov SDEs driven by a Poisson measure, modelling the mean-field asymptotic of a network of generalized Integrate-and-Fire neurons. We give sufficient conditions to have periodic solutions through a Hopf bifurcation. Our spectral conditions involve the location of the roots of an explicit holomorphic function. The proof relies on two main ingredients. First,…
▽ More
We study a family of non-linear McKean-Vlasov SDEs driven by a Poisson measure, modelling the mean-field asymptotic of a network of generalized Integrate-and-Fire neurons. We give sufficient conditions to have periodic solutions through a Hopf bifurcation. Our spectral conditions involve the location of the roots of an explicit holomorphic function. The proof relies on two main ingredients. First, we introduce a discrete time Markov Chain modeling the phases of the successive spikes of a neuron. The invariant measure of this Markov Chain is related to the shape of the periodic solutions. Secondly, we use the Lyapunov-Schmidt method to obtain self-consistent oscillations. We illustrate the result with a toy model for which all the spectral conditions can be analytically checked.
△ Less
Submitted 26 August, 2021; v1 submitted 25 August, 2020;
originally announced August 2020.
-
A mean-field model of Integrate-and-Fire neurons: non-linear stability of the stationary solutions
Authors:
Quentin Cormier
Abstract:
We investigate a stochastic network composed of Integrate-and-Fire spiking neurons, focusing on its mean-field asymptotics. We consider an invariant probability measure of the McKean-Vlasov equation and establish an explicit sufficient condition to ensure the local stability of this invariant distribution. Furthermore, we provide a proof of a conjecture originally proposed by J. Touboul and P. Rob…
▽ More
We investigate a stochastic network composed of Integrate-and-Fire spiking neurons, focusing on its mean-field asymptotics. We consider an invariant probability measure of the McKean-Vlasov equation and establish an explicit sufficient condition to ensure the local stability of this invariant distribution. Furthermore, we provide a proof of a conjecture originally proposed by J. Touboul and P. Robert regarding the bistable nature of a specific instance of this neuronal model.
△ Less
Submitted 20 June, 2024; v1 submitted 20 February, 2020;
originally announced February 2020.
-
Long time behavior of a mean-field model of interacting neurons
Authors:
Quentin Cormier,
Etienne Tanré,
Romain Veltz
Abstract:
We study the long time behavior of the solution to some McKean-Vlasov stochastic differential equation (SDE) driven by a Poisson process. In neuroscience, this SDE models the asymptotic dynamic of the membrane potential of a spiking neuron in a large network. We prove that for a small enough interaction parameter, any solution converges to the unique (in this case) invariant measure. To this aim,…
▽ More
We study the long time behavior of the solution to some McKean-Vlasov stochastic differential equation (SDE) driven by a Poisson process. In neuroscience, this SDE models the asymptotic dynamic of the membrane potential of a spiking neuron in a large network. We prove that for a small enough interaction parameter, any solution converges to the unique (in this case) invariant measure. To this aim, we first obtain global bounds on the jump rate and derive a Volterra type integral equation satisfied by this rate. We then replace temporary the interaction part of the equation by a deterministic external quantity (we call it the external current). For constant current, we obtain the convergence to the invariant measure. Using a perturbation method, we extend this result to more general external currents. Finally, we prove the result for the non-linear McKean-Vlasov equation.
△ Less
Submitted 14 August, 2020; v1 submitted 19 October, 2018;
originally announced October 2018.