Bridging Expressivity and Scalability with Adaptive Unitary SSMs
Arjun Karuvally, Franz Nowak, Anderson T. Keller, Carmen Amo Alonso, Terrence J. Sejnowski, Hava T. Siegelmann

TL;DR
This paper introduces the Adaptive Unitary State Space Model (AUSSM), which enhances the expressivity and scalability of SSMs by incorporating adaptive, input-dependent recurrence inspired by biological neural systems, enabling better modeling of formal languages and long sequences.
Contribution
The paper proposes AUSSM, a novel SSM with adaptive, input-dependent recurrence that can perform modulo counting and simulate automata, improving expressivity over traditional SSMs.
Findings
AUSSM can perform modulo counting and simulate automata.
AUSSM outperforms prior SSMs on formal algorithmic tasks.
AUSSM achieves good performance on long time-series benchmarks.
Abstract
Recent work has revealed that state space models (SSMs), while efficient for long-sequence processing, are fundamentally limited in their ability to represent formal languages-particularly due to time-invariant and real-valued recurrence structures. In this work, we draw inspiration from adaptive and structured dynamics observed in biological neural systems and introduce the Adaptive Unitary State Space Model (AUSSM): a novel class of SSMs that leverages skew-symmetric, input-dependent recurrence to achieve unitary evolution and high expressive power. Using algebraic automata theory, we prove that AUSSM can perform modulo counting and simulate solvable group automata at precision logarithmically bounded in the input length, enabling SSMs to model a broad class of regular languages out of reach for other SSM architectures. To overcome the practical inefficiencies of adaptive recurrence,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMachine Learning and Algorithms · Formal Methods in Verification · Evolutionary Algorithms and Applications
