SearcharxivSearch

arXiv subjects

Lai-Sang Young

Publications and source records attributed to Lai-Sang Young.

At least 19 recordsLinked to original sources

Mostly-monocular responses and other visual functions in a multiscale network model of Macaque V1

Visual signals from the two eyes merge gradually as they pass through the primary visual cortex (V1). Here we use a computational model of Macaque V1 to study the first stage of this integration along the magnocellular pathway, in layer 4C$α$, aiming to infer neuroanatomical origins of binocular response. It is known that neurons in layer 4C$α$ are predominantly monocular, though some do exhibit varying degrees of binocularity. We find (1) the emergence of narrow binocular strips along borders of ocular dominance columns (ODC), a finding that aligns with experiments; (2) most consistent with data is when $10-30\%$ of interactions near ODC boundaries are cross-columnar; and (3) feedback from layer 6 is largely monocular. These results were obtained through systematic hypothesis testing using a multiscale model that is orders of magnitude faster than its biologically-detailed predecessors. We propose that multiscale modeling can be an effective tool for bridging anatomy and function.

q-bio.NC

Random attractors and nonergodic attractors for diffusions with degeneracies

We consider a diffusion on a bounded domain, assuming that the system is irreducible inside the domain and that the diffusion has varying degree of degeneracy on the domain's boundary. The long-term statistical properties of typical trajectories started inside the domain may be governed by one invariant measure or more than one invariant measure. We describe various possible scenarios. In dimensions 1 and 2 under boundary hyperbolicity assumptions, we give a complete classification of the limiting behavior and answer the question whether sequential averaging involving more than one invariant distribution occurs. In all cases, we compute the set of weak limit points of empirical measures. Our hitting-time estimates used to prove transience or recurrence are based on a new version of the Foster-Lyapunov technique. Extensions to nonhyperbolic boundaries and higher dimensions are discussed and an application to growth rates in scalable networks is given.

math.PR

A data-driven biophysical network model reproduces C. elegans premotor neural dynamics

C. elegans locomotion is composed of switches between forward and reversal states punctuated by turns. This locomotory capability is necessary for the nematode to move towards attractive stimuli, escape noxious chemicals, and explore its environment. Although experimentalists have identified a number of premotor neurons as drivers of forward and reverse motion, how these neurons work together to produce the behaviors observed remains to be understood. Towards a better understanding of C. elegans neurodynamics, we present in this paper a minimally parameterized, biophysical dynamical systems model of the premotor network. Our model consists of a recurrently connected collection of premotor neurons (the core group) driven by over a hundred sensory and interneurons that provide diverse feedforward inputs to the core group. It is data-driven in the sense that the choice of neurons in the core group follows experimental guidance, anatomical structures are dictated by the connectome, and physiological parameters are deduced from whole-brain imaging and voltage clamps data. When simulated with realistic input signals, our model produces premotor activity that closely resembles experimental data: from the seemingly random switching between forward and reversal behaviors to the synchronization of subnetworks to various higher-order statistics. We posit that different roles are played by gap junctions and synaptic connections in switching dynamics. The model correctly predicts behavior such as dwelling versus roaming as a result of the synaptic inputs received, and we demonstrate that it can be used to study how the activity level of certain individual neurons impacts behavior.

q-bio.NC

Chaotic heteroclinic networks as models of switching behavior in biological systems

Key features of biological activity can often be captured by transitions between a finite number of semi-stable states that correspond to behaviors or decisions. We present here a broad class of dynamical systems that are ideal for modeling such activity. The models we propose are chaotic heteroclinic networks with nontrivial intersections of stable and unstable manifolds. Due to the sensitive dependence on initial conditions, transitions between states are seemingly random. Dwell times, exit distributions, and other transition statistics can be built into the model through geometric design and can be controlled by tunable parameters. To test our model's ability to simulate realistic biological phenomena, we turned to one of the most studied organisms, {\it C. elegans}, well known for its limited behavioral states. We reconstructed experimental data from two laboratories, demonstrating the model's ability to quantitatively reproduce dwell times and transition statistics under a variety of conditions. Stochastic switching between dominant states in complex dynamical systems has been extensively studied and is often modeled as Markov chains. As an alternative, we propose here a new paradigm, namely chaotic heteroclinic networks generated by deterministic rules (without the necessity for noise). Chaotic heteroclinic networks can be used to model systems with arbitrary architecture and size without a commensurate increase in phase dimension. They are highly flexible and able to capture a wide range of transition characteristics that can be adjusted through control parameters.

math.DS

Existence of physical measures in some Excitation-Inhibition Networks

In this paper we present a rigorous analysis of a class of coupled dynamical systems in which two distinct types of components, one excitatory and the other inhibitory, interact with one another. These network models are finite in size but can be arbitrarily large. They are inspired by real biological networks, and possess features that are idealizations of those in biological systems. Individual components of the network are represented by simple, much studied dynamical systems. Complex dynamical patterns on the network level emerge as a result of the coupling among its constituent subsystems. Appealing to existing techniques in (nonuniform) hyperbolic theory, we study their Lyapunov exponents and entropy, and prove that large time network dynamics are governed by physical measures with the SRB property.

math.DS

A data-informed mean-field approach to mapping of cortical parameter landscapes

Constraining the many biological parameters that govern cortical dynamics is computationally and conceptually difficult because of the curse of dimensionality. This paper addresses these challenges by proposing (1) a novel data-informed mean-field (MF) approach to efficiently map the parameter space of network models; and (2) an organizing principle for studying parameter space that enables the extraction biologically meaningful relations from this high-dimensional data. We illustrate these ideas using a large-scale network model of the Macaque primary visual cortex. Of the 10-20 model parameters, we identify 7 that are especially poorly constrained, and use the MF algorithm in (1) to discover the firing rate contours in this 7D parameter cube. Defining a "biologically plausible" region to consist of parameters that exhibit spontaneous Excitatory and Inhibitory firing rates compatible with experimental values, we find that this region is a slightly thickened codimension-1 submanifold. An implication of this finding is that while plausible regimes depend sensitively on parameters, they are also robust and flexible provided one compensates appropriately when parameters are varied. Our organizing principle for conceptualizing parameter dependence is to focus on certain 2D parameter planes that govern lateral inhibition: Intersecting these planes with the biologically plausible region leads to very simple geometric structures which, when suitably scaled, have a universal character independent of where the intersections are taken. In addition to elucidating the geometry of the plausible region, this invariance suggests useful approximate scaling relations. Our study offers, for the first time, a complete characterization of the set of all biologically plausible parameters for a detailed cortical model, which has been out of reach due to the high dimensionality of parameter space.

q-bio.NC

Simulating brain rhythms using an ODE with stochastically varying coefficients

The brain produces rhythms in a variety of frequency bands. Some are likely by-products of neuronal processes; others are thought to be top-down. Produced entirely naturally, these rhythms have clearly recognizable beats, but they are very far from periodic in the sense of mathematics. They produce signals that are broad-band, episodic, wandering in magnitude, in frequency and in phase; the rhythm comes and goes, degrading and regenerating. Rhythms with these characteristics do not match standard dynamical systems paradigms of periodicity, quasi-periodicity, or periodic motion in the presence of a Brownian noise. Thus far they have been satisfactorily reproduced only using networks of hundreds of integrate-and-fire neurons. In this paper, we tackle the mathematical question of whether signals with these properties can be generated from simpler dynamical systems. Using an ODE with two variables inspired by the FitzHugh-Nagumo model, and varying randomly three parameters that control the magnitude, frequency and degree of degradation, we were able to replicate the qualitative characteristics of these natural brain rhythms. Viewing the two variables as Excitatory and Inhibitory conductances of a typical neuron in a local population, our model produces results that closely resemble gamma-band activity in real cortex, including the moment-to-moment balancing of E and I-currents seen in experiments.

math.DS

Nonuniformly hyperbolic systems arising from coupling of chaotic and gradient-like systems

We investigate dynamical systems obtained by coupling two maps, one of which is chaotic and is exemplified by an Anosov diffeomorphism, and the other is of gradient type and is exemplified by a N-pole-to-S-pole map of the circle. Leveraging techniques from the geometric and ergodic theories of hyperbolic systems, we analyze three different ways of coupling together the two maps above. For weak coupling, we offer an addendum to existing theory showing that almost always the attractor has fractal-like geometry when it is not normally hyperbolic. Our main results are for stronger couplings in which the action of the Anosov diffeomorphism on the circle map has certain monotonicity properties. Under these conditions, we show that the coupled systems have invariant cones and possess SRB measures even though there are genuine obstructions to uniform hyperbolicity.

math.DS

Consequences of delays and imperfect implementation of isolation in epidemic control

For centuries isolation has been the main control strategy of unforeseen epidemic outbreaks. When implemented in full and without delay, isolation is very effective. However, flawless implementation is seldom feasible in practice. We present an epidemic model called SIQ with an isolation protocol, focusing on the consequences of delays and incomplete identification of infected hosts. The continuum limit of this model is a system of Delay Differential Equations, the analysis of which reveals clearly the dependence of epidemic evolution on model parameters including disease reproductive number, isolation probability, speed of identification of infected hosts and recovery rates. Our model offers estimates on minimum response capabilities needed to curb outbreaks,and predictions of endemic states when containment fails. Critical response capability is expressed explicitly in terms of parameters that are easy to obtain, to assist in the evaluation of funding priorities involving preparedness and epidemics management.

q-bio.PE

Equivalence of physical and SRB measures in random dynamical systems

We give a geometric proof, offering a new and quite different perspective on an earlier result of Ledrappier and Young on random transformations. We show that under mild conditions, sample measures of random diffeomorphisms are SRB measures. As sample measures are the limits of forward images of stationary measures, they can be thought of as the analog of physical measures for deterministic systems. Our results thus show the equivalence of physical and SRB measures in the random setting, a hoped-for scenario that is not always true for deterministic maps.

math.DS

SIQ: a delay differential equations model for disease control via isolation

Infectious diseases are among the most prominent threats to mankind. When preventive health care cannot be provided, a viable means of disease control is the isolation of individuals, who may be infected. To study the impact of isolation, we propose a system of Delay Differential Equations and offer our model analysis based on the geometric theory of semi-flows. Calibrating the response to an outbreak in terms of the fraction of infectious individuals isolated and the speed with which this is done, we deduce the minimum response required to curb an incipient outbreak, and predict the ensuing endemic state should the infection continue to spread.

math.DS

How well do reduced models capture the dynamics in models of interacting neurons ?

This paper introduces a class of stochastic models of interacting neurons with emergent dynamics similar to those seen in local cortical populations, and compares them to very simple reduced models driven by the same mean excitatory and inhibitory currents. Discrepancies in firing rates between network and reduced models were investigated, and mechanisms leading to these discrepancies were identified. Chief among them is correlations in spiking, or partial synchronization, working in concert with "nonlinearities" in the time evolution of membrane potentials. Additionally, simple random walk models and their first passage times were shown to reproduce well fluctuations in neuronal membrane potentials and interspike times.

q-bio.NC

Lyapunov exponents for random perturbations of some area-preserving maps including the standard map

We consider a large class of 2D area-preserving diffeomorphisms that are not uniformly hyperbolic but have strong hyperbolicity properties on large regions of their phase spaces. A prime example is the Standard map. Lower bounds for Lyapunov exponents of such systems are very hard to estimate, due to the potential switching of "stable" and "unstable" directions. This paper shows that with the addition of (very) small random perturbations, one obtains with relative ease Lyapunov exponents reflecting the geometry of the deterministic maps.

math.DS

Absolute continuity of stable foliations for mappings of Banach spaces

We prove the absolute continuity of stable foliations for mappings of Banach spaces satisfying conditions consistent with time-t maps of certain classes of dissipative PDEs. This property is crucial for passing information from submanifolds transversal to the stable foliation to the rest of the phase space; it is also used in proofs of ergodicity. Absolute continuity of stable foliations is well known in finite dimensional hyperbolic theory. On Banach spaces, the absence of nice geometric properties poses some additional difficulties.

math.DS

Dynamic signal tracking in a simple V1 spiking model

This work is part of an effort to understand the neural basis for our visual system's ability, or failure, to accurately track moving visual signals. We consider here a ring model of spiking neurons, intended as a simplified computational model of a single hypercolumn of the primary visual cortex. Signals that consist of edges with time-varying orientations localized in space are considered. Our model is calibrated to produce spontaneous and driven firing rates roughly consistent with experiments, and our two main findings, for which we offer dynamical explanation on the level of neuronal interactions, are the following: (1) We have documented consistent transient overshoots in signal perception following signal switches due to emergent interactions of the E- and I-populations, and (2) for continuously moving signals, we have found that accuracy is considerably lower at reversals of orientation than when continuing in the same direction (as when the signal is a rotating bar). To measure performance, we use two metrics, called fidelity and reliability, to compare signals reconstructed by the system to the ones presented, and to assess trial-to-trial variability. We propose that the same population mechanisms responsible for orientation selectivity also impose constraints on dynamic signal tracking that manifest in perception failures consistent with psychophysical observations.

q-bio.NC

Polynomial convergence to equilibrium for a system of interacting particles

We consider a stochastic particle system in which a finite number of particles interact with one another via a common energy tank. Interaction rate for each particle is proportional to the square root of its kinetic energy, as is consistent with analogous mechanical models. Our main result is that the rate of convergence to equilibrium for such a system is $\sim t^{-2}$, more precisely it is faster than a constant times $t^{-2+\varepsilon}$ for any $\varepsilon>0$. A discussion of exponential vs polynomial convergence for similar particle systems is included.

math.PR

Entropy, volume growth and SRB measures for Banach space mappings

We consider $C^2$ Fréchet differentiable mappings of Banach spaces leaving invariant compactly supported Borel probability measures, and study the relation between entropy and volume growth for a natural notion of volume defined on finite dimensional subspaces. SRB measures are characterized as exactly those measures for which entropy is equal to volume growth on unstable manifolds, equivalently the sum of positive Lyapunov exponents of the map. In addition to numerous difficulties incurred by our infinite-dimensional setting, a crucial aspect to the proof is the technical point that the volume elements induced on unstable manifolds are regular enough to permit distortion control of iterated determinant functions. The results here generalize previously known results for diffeomorphisms of finite dimensional Riemannian manifolds, and are applicable to dynamical systems defined by large classes of dissipative parabolic PDEs.

math.DS

Local thermal equilibrium for certain stochastic models of heat transport

This paper is about nonequilibrium steady states (NESS) of a class of stochastic models in which particles exchange energy with their "local environments" rather than directly with one another. The physical domain of the system can be a bounded region of $\mathbb R^d$ for any $d \ge 1$. We assume that the temperature at the boundary of the domain is prescribed and is nonconstant, so that the system is forced out of equilibrium. Our main result is local thermal equilibrium in the infinite volume limit. In the Hamiltonian context, this would mean that at any location $x$ in the domain, local marginal distributions of NESS tend to a probability with density $\frac{1}{Z} e^{-β(x) H}$, permitting one to define the local temperature at $x$ to be $β(x)^{-1}$. We prove also that in the infinite volume limit, the mean energy profile of NESS satisfies Laplace's equation for the prescribed boundary condition. Our method of proof is duality: by reversing the sample paths of particle movements, we convert the problem of studying local marginal energy distributions at $x$ to that of joint hitting distributions of certain random walks starting from $x$, and prove that the walks in question become increasingly independent as system size tends to infinity.

math-ph