Theoretical Limitations of Self-Attention in Neural Sequence Models
Not on the map. Why?
Abstract (arXiv)
Transformers are emerging as the new workhorse of NLP, showing great success across tasks. Unlike LSTMs, transformers process input sequences entirely through self-attention. Previous work has suggested that the computational capabilities of self-attention to process hierarchical structures are limited. In this work, we mathematically investigate the computational power of self-attention to model formal languages. Across both soft and hard attention, we show strong theoretical limitations of the computational abilities of self-attention, finding that it cannot model periodic finite-state languages, nor hierarchical structure, unless the number of layers or heads increases with input length. These limitations seem surprising given the practical success of self-attention and the prominent role assigned to hierarchical structure in linguistics, suggesting that natural language can be approximated well with models that are too weak for the formal languages typically assumed in theoretical linguistics.
Key facts. Cited by 286 papers in the map (data through 7 Oct 2026). First posted on arXiv 16 Jun 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 22; 2022: 22; 2023: 50; 2024: 57; 2025: 65; 2026: 70.
286 papers.
Sort:
By area:
- 2023A Survey on Hallucination in Large Language Models: Principles, Taxonomy, Challenges, and Open Questionscited by 1,582
- 2022What Can Transformers Learn In-Context? A Case Study of Simple Function Classescited by 700
- 2023Faith and Fate: Limits of Transformers on Compositionalitycited by 496
- 2024Hallucination is Inevitable: An Innate Limitation of Large Language Modelscited by 329
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 293
- 2022Transformers Learn Shortcuts to Automatacited by 260
- 2024Chain of Thought Empowers Transformers to Solve Inherently Serial Problemscited by 256
- 2022Neural Networks and the Chomsky Hierarchycited by 214
- 2023What Algorithms can Transformers Learn? A Study in Length Generalizationcited by 198
- 2022The Parallelism Tradeoff: Limitations of Log-Precision Transformerscited by 191
- 2022Hidden Progress in Deep Learning: SGD Learns Parities Near the Computational Limitcited by 184
- 2021Thinking Like Transformerscited by 182
38 more
- 2022A Review on Language Models as Knowledge Basescited by 156
- 2021Inductive Biases and Variable Creation in Self-Attention Mechanismscited by 144
- 2021Saturated Transformers are Constant-Depth Threshold Circuitscited by 137
- 2023Representational Strengths and Limitations of Transformerscited by 132
- 2023What Formal Languages Can Transformers Express? A Surveycited by 120
- 2023Randomized Positional Encodings Boost Length Generalization of Transformerscited by 114
- 2022Overcoming a Theoretical Limitation of Self-Attentioncited by 110
- 2021Self-Attention Networks Can Process Bounded Hierarchical Languagescited by 105
- 2024Can Mamba Learn How to Learn? A Comparative Study on In-Context Learning Taskscited by 104
- 2024Unlocking State-Tracking in Linear RNNs Through Negative Eigenvaluescited by 97
- 2022Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexitycited by 92
- 2023Language Model Behavior: A Comprehensive Surveycited by 92
- 2021Transformer Embeddings of Irregularly Spaced Events and Their Participantscited by 90
- 2025HalluLens: LLM Hallucination Benchmarkcited by 88
- 2024Transformers need glasses! Information over-squashing in language taskscited by 87
- 2021Going Beyond Linear Transformers with Recurrent Fast Weight Programmerscited by 84
- 2023Exposing Attention Glitches with Flip-Flop Language Modelingcited by 74
- 2024Why are Sensitive Functions Hard for Transformers?cited by 74
- 2023The Transient Nature of Emergent In-Context Learning in Transformerscited by 72
- 2025DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Productscited by 69
- 2022Simplicity Bias in Transformers and their Ability to Learn Sparse Boolean Functionscited by 68
- 2022A Logic for Expressing Log-Precision Transformerscited by 67
- 2023Transformers as Support Vector Machinescited by 67
- 2024SynCode: LLM Generation with Grammar Augmentationcited by 66
- 2023Tighter Bounds on the Expressivity of Transformer Encoderscited by 65
- 2024On Limitations of the Transformer Architecturecited by 63
- 2023Understanding In-Context Learning in Transformers and LLMs by Learning to Learn Discrete Functionscited by 62
- 2024RNNs are not Transformers (Yet): The Key Bottleneck on In-context Retrievalcited by 62
- 2023TransNeXt: Robust Foveal Visual Perception for Vision Transformerscited by 61
- 2023Grokking of Hierarchical Structure in Vanilla Transformerscited by 53
- 2021PnG BERT: Augmented BERT on Phonemes and Graphemes for Neural TTScited by 52
- 2025How Linguistics Learned to Stop Worrying and Love the Language Modelscited by 50
- 2021What Context Features Can Transformer Language Models Use?cited by 49
- 2023Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languagescited by 47
- 2023Are Transformers with One Layer Self-Attention Using Low-Rank Weight Matrices Universal Approximators?cited by 46
- 2024The Expressive Capacity of State Space Models: A Formal Language Perspectivecited by 45
- 2022Autoregressive Structured Prediction with Language Modelscited by 43
- 2024Theoretical limitations of multi-layer Transformercited by 43
50 most cited of 286 All 286 (JSON)
- 2026Repetition, Not Length: Isolating the Counting Failure in Neural Text-to-Speech29 Sep 2026
- 2026Beyond the Training Horizon: Mechanisms and Limits of Length Generalization in Looped Transformers27 Sep 2026
- 2026VC Dimension and Expressivity of Real-Valued Transformers25 Sep 2026
- 2026Learn Your Own Thoughts: Abstract Token Curriculum17 Sep 2026
- 2026List Counting Failures Are Not One Phenomenon3 Sep 2026
- 2026When Do Frozen VLMs Respond to Image-Free Object-Token Edits? An Answer-Key-Free Protocol and What It Reveals3 Sep 2026
- 2026On the Expressive Power of Transformers13 Aug 2026
- 2026Attention-based representations for multi-task computation4 Aug 2026
- 2026State Propagation Also Satisfies: A Complex-Valued State-Space Model for Deterministic State Tracking4 Aug 2026
- 2026Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts31 Jul 2026
- 2026Indexing: the Beginning and the End24 Jul 2026
- 2026Recursive Language Models Generalize Out of Domain23 Jul 2026
38 more
- 2026The Information Shadow: Measuring Structural Limits on What Language Models Can Learn17 Jul 2026
- 2026From Expressivity to Sample Complexity: Narrow Teachers for Transformers via C-RASP13 Jul 2026
- 2026When Does Reward Teach State? A Hidden-Automaton Instrument and a Group-Language Warning Signal11 Jul 2026
- 2026Language Re-generation: An investigation into information locality effects on reconstruction11 Jul 2026
- 2026An expressivity analysis of hierarchical modelling in deep transformers via bounded-depth grammars16 Jun 2026
- 2026Sensitivity Shaping for Latent Modeling12 Jun 2026
- 2026Higher-Order Token Interactions via Quantum Attention10 Jun 2026
- 2026Tight Sample Complexity of Transformers8 Jun 2026
- 2026Understanding the Parameter Space Geometry of Transformers Encoding Boolean Functions7 Jun 2026
- 2026Are Large Language Models Suitable for Graph Computation? Progress and Prospects5 Jun 2026
- 2026Lifted State Hypothesis in Large Language Models2 Jun 2026
- 2026Causal Evidence of Stack Representations in Modeling Counter Languages Using Transformers2 Jun 2026
- 2026An Algebraic View of the Expressivity of Recurrent Language Models1 Jun 2026
- 2026Refit the Probe: Single-Direction Ablation Is Not a Necessity Test30 May 2026
- 2026The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary29 May 2026
- 2026Positional versus Symbolic Attention Heads: Learning Dynamics, RoPE Geometry, and Length Generalization29 May 2026
- 2026Length Generalization with Log-Depth Recurrent Units25 May 2026
- 2026Repeated Sequences Reveal Gaps between Large Language Models and Natural Language24 May 2026
- 2026Preisach Attention: A Hysteretic Model of Sequential Memory22 May 2026
- 2026InfoFlow: A Framework for Multi-Layer Transformer Analysis18 May 2026
- 2026Provably Shorter Scratchpads in Hybrid DeltaNet-Attention Decoders15 May 2026
- 2026Not-So-Strange Love: Language Models and Generative Linguistic Theories are More Compatible than They Appear11 May 2026
- 2026The two clocks and the innovation window: When and how generative models learn rules11 May 2026
- 2026SMolLM: Small Language Models Learn Small Molecular Grammar7 May 2026
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)28 Apr 2026
- 2026Fine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective25 Apr 2026
- 2026Closing the Theory-Practice Gap in Spiking Transformers via Effective Dimension17 Apr 2026
- 2026Geometric Capacity of Transformers: A Tropical Geometry Perspective16 Apr 2026
- 2026Numerical Instability and Chaos: Quantifying the Unpredictability of Large Language Models14 Apr 2026
- 2026You Can't Fight in Here! This is BBS!10 Apr 2026
- 2026Across the Levels of Analysis: Explaining Predictive Processing in Humans Requires More Than Machine-Estimated Probabilities10 Apr 2026
- 2026The UNDO Flip-Flop: A Controlled Probe for Reversible Semantic State Management in State Space Model7 Apr 2026
- 2026On the Mirage of Long-Range Dependency, with an Application to Integer Multiplication30 Mar 2026
- 2026Transformers in the Dark: Navigating Unknown Search Spaces via Bandit Feedback25 Mar 2026
- 2026Circuit Complexity of Hierarchical Knowledge Tracing and Implications for Log-Precision Transformers25 Mar 2026
- 2026Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability20 Mar 2026
- 2026On the Computational Hardness of Transformers11 Mar 2026
- 2026Beyond Pairwise Attention: Higher-Order Modular Attention for Efficient Sequence Learning11 Mar 2026
50 newest of 286 All 286 (JSON)
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 293
- 2024Chain of Thought Empowers Transformers to Solve Inherently Serial Problemscited by 256
- 2022A Logic for Expressing Log-Precision Transformerscited by 67
- 2024Iteration Head: A Mechanistic Study of Chain-of-Thoughtcited by 31
- 2023Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Modelscited by 24
- 2024Training Neural Networks as Recognizers of Formal Languagescited by 23
- 2024Tackling the Abstraction and Reasoning Corpus with Vision Transformers: the Importance of 2D Representation, Positions, and Objectscited by 9
- 2025Lost in Transmission: When and Why LLMs Fail to Reason Globallycited by 9
- 2025Softmax Transformers are Turing-Completecited by 9
- 2025Ehrenfeucht-Haussler Rank and Chain of Thoughtcited by 6
- 2025Compositional Reasoning with Transformers, RNNs, and Chain of Thoughtcited by 6
- 2025Efficient Turing Machine Simulation with Transformerscited by 4
12 most cited of 19 All 19 (JSON)
- 2026Beyond the Training Horizon: Mechanisms and Limits of Length Generalization in Looped Transformers27 Sep 2026
- 2026Learn Your Own Thoughts: Abstract Token Curriculum17 Sep 2026
- 2026The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary29 May 2026
- 2026Barriers to Universal Reasoning With Transformers (And How to Overcome Them)28 Apr 2026
- 2026Understanding LLM Failures: A Multi-Tape Turing Machine Analysis of Systematic Errors in Language Model Reasoning27 Jan 2026
- 2025Softmax Transformers are Turing-Complete25 Nov 2025
- 2025Efficient Turing Machine Simulation with Transformers28 Sep 2025
- 2025Rethinking Memorization Measures and their Implications in Large Language Models20 Jul 2025
- 2025Lost in Transmission: When and Why LLMs Fail to Reason Globally13 May 2025
- 2025Compositional Reasoning with Transformers, RNNs, and Chain of Thought3 Mar 2025
- 2025Ehrenfeucht-Haussler Rank and Chain of Thought22 Jan 2025
- 2024Training Neural Networks as Recognizers of Formal Languages11 Nov 2024
12 newest of 19 All 19 (JSON)
- 2024Can Mamba Learn How to Learn? A Comparative Study on In-Context Learning Taskscited by 104
- 2024Unlocking State-Tracking in Linear RNNs Through Negative Eigenvaluescited by 97
- 2024The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexitycited by 21
- 2024Understanding and Mitigating Bottlenecks of State Space Models through the Lens of Recency and Over-smoothingcited by 17
- 2024On the Expressiveness and Length Generalization of Selective State-Space Models on Regular Languagescited by 15
- 2024Fundamental Limitations on Subquadratic Alternatives to Transformerscited by 9
- 2025Sequential-Parallel Duality in Prefix Scannable Modelscited by 8
- 2026Why Depth Matters in Parallelizable Sequence Models: A Lie Algebraic Viewcited by 1
- 2026Why Depth Matters in Parallelizable Sequence Models: A Lie Algebraic View5 Mar 2026
- 2025Sequential-Parallel Duality in Prefix Scannable Models12 Jun 2025
- 2024Understanding and Mitigating Bottlenecks of State Space Models through the Lens of Recency and Over-smoothing31 Dec 2024
- 2024On the Expressiveness and Length Generalization of Selective State-Space Models on Regular Languages26 Dec 2024
- 2024The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexity9 Dec 2024
- 2024Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues19 Nov 2024
- 2024Fundamental Limitations on Subquadratic Alternatives to Transformers5 Oct 2024
- 2024Can Mamba Learn How to Learn? A Comparative Study on In-Context Learning Tasks6 Feb 2024
- 2024Inference Acceleration for Large Language Models on CPUscited by 2
- 2024Inference Acceleration for Large Language Models on CPUs4 Mar 2024
- 2023Sparse Universal Transformercited by 28
- 2023Sparse Universal Transformer11 Oct 2023
- 2026Debugging code world modelscited by 4
- 2026Debugging code world models7 Feb 2026
- 2023A Survey on Hallucination in Large Language Models: Principles, Taxonomy, Challenges, and Open Questionscited by 1,582
- 2022What Can Transformers Learn In-Context? A Case Study of Simple Function Classescited by 700
- 2023Faith and Fate: Limits of Transformers on Compositionalitycited by 496
- 2024Hallucination is Inevitable: An Innate Limitation of Large Language Modelscited by 329
- 2022Transformers Learn Shortcuts to Automatacited by 260
- 2022Neural Networks and the Chomsky Hierarchycited by 214
- 2023What Algorithms can Transformers Learn? A Study in Length Generalizationcited by 198
- 2022The Parallelism Tradeoff: Limitations of Log-Precision Transformerscited by 191
- 2022Hidden Progress in Deep Learning: SGD Learns Parities Near the Computational Limitcited by 184
- 2021Thinking Like Transformerscited by 182
- 2022A Review on Language Models as Knowledge Basescited by 156
- 2021Inductive Biases and Variable Creation in Self-Attention Mechanismscited by 144
12 most cited of 251 All 251 (JSON)
- 2026Repetition, Not Length: Isolating the Counting Failure in Neural Text-to-Speech29 Sep 2026
- 2026VC Dimension and Expressivity of Real-Valued Transformers25 Sep 2026
- 2026List Counting Failures Are Not One Phenomenon3 Sep 2026
- 2026When Do Frozen VLMs Respond to Image-Free Object-Token Edits? An Answer-Key-Free Protocol and What It Reveals3 Sep 2026
- 2026On the Expressive Power of Transformers13 Aug 2026
- 2026Attention-based representations for multi-task computation4 Aug 2026
- 2026State Propagation Also Satisfies: A Complex-Valued State-Space Model for Deterministic State Tracking4 Aug 2026
- 2026Transcript-Managed Transformers: Monotone Multi-Agent Collapse and Universality with Two Pop-Enabled Transcripts31 Jul 2026
- 2026Indexing: the Beginning and the End24 Jul 2026
- 2026Recursive Language Models Generalize Out of Domain23 Jul 2026
- 2026The Information Shadow: Measuring Structural Limits on What Language Models Can Learn17 Jul 2026
- 2026From Expressivity to Sample Complexity: Narrow Teachers for Transformers via C-RASP13 Jul 2026
12 newest of 251 All 251 (JSON)