Backend
Identifying Neural Dynamics Using Nonlinear Interventional State Space Models
arXiv stat.ML0 views
arXiv:2611.08113v1 Announce Type: new Abstract: State-space models (SSMs) recover low-dimensional latent dynamics from high-dimensional observations, but latents are generally not identifiable from observational data alone. Interventional state-space models (iSSMs) use perturbations to break observational symmetries and identify parameters up to permutation, scaling, and shift. However, prior work restricts identifiability to linear latent dynamics and piecewise-linear emissions, excluding many behaviors characteristic of neural circuits. We extend iSSMs to a substantially broader model class: we prove that (i) affine identifiability holds under general injective emission functions and Gaussian latent transitions, and (ii) with interventions, identifiability up to permutation, scaling, and shift is preserved under general nonlinear latent dynamics. We validate our theory on simulated FitzHugh-Nagumo dynamics, and then demonstrate two applications: adjudicating between competing models of decision-making; and predicting responses to unseen micro-stimulation in macaque and human neural recordings, with proof-of-concept generalization to a held-out stimulation site in the latter. Finally, simulations yield practical guidance for designing stimulation protocols that improve identifiability.
Source:https://arxiv.org/abs/2611.08113PreviousJoint Modeling of Conditional Mean and Variability in Multilevel Functional Data: Application to Postprandial Glucose Trajectories in the AEGIS StudyNextPatch Attention Wisely: Understanding Patch Length in Attention-Based Forecasting
Related posts
Executable but Unfaithful: Mock Object, Stub, and Assertion Generation by LLMs and Coding Agents
0arXiv cs.SE
SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
0arXiv cs.SE
QDiff: Differential Testing of Quantum Software Stacks
0arXiv cs.SE
Don't Prompt Your Agents. Equip Them: Skillware as a Modular Standard for Sovereign, Auditable, and Deterministic Capability Execution for Logical Systems
0arXiv cs.SE
Follow the Policy, Fail the Benchmark: Auditing and Revising Policy-Based Decision Benchmarks
0arXiv cs.SE
Accepted but Wrong: Silent Failures of LLM Code Repairs after API Migrations
0arXiv cs.SE