Pith. sign in

REVIEW 8 cited by

Representational Strengths and Limitations of Transformers

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2306.02896 v2 pith:XS6BJUJC submitted 2023-06-05 cs.LG stat.ML

Representational Strengths and Limitations of Transformers

classification cs.LG stat.ML
keywords attentioncomplexitylayerstransformersinputsizetaskanalysis
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Attention layers, as commonly used in transformers, form the backbone of modern deep learning, yet there is no mathematical description of their benefits and deficiencies as compared with other architectures. In this work we establish both positive and negative results on the representation power of attention layers, with a focus on intrinsic complexity parameters such as width, depth, and embedding dimension. On the positive side, we present a sparse averaging task, where recurrent networks and feedforward networks all have complexity scaling polynomially in the input size, whereas transformers scale merely logarithmically in the input size; furthermore, we use the same construction to show the necessity and role of a large embedding dimension in a transformer. On the negative side, we present a triple detection task, where attention layers in turn have complexity scaling linearly in the input size; as this scenario seems rare in practice, we also present natural variants that can be efficiently solved by attention layers. The proof techniques emphasize the value of communication complexity in the analysis of transformers and related models, and the role of sparse averaging as a prototypical attention task, which even finds use in the analysis of triple detection.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 8 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Structure Before Collapse: Transient semantic geometry in next-token prediction

    cs.LG 2026-06 unverdicted novelty 7.0

    Semantic geometry emerges transiently early in next-token prediction training before collapsing to Neural Collapse symmetry in synthetic settings with latent semantic factors.

  2. How Much Cache Does Reasoning Need? Depth-Cache Tradeoffs in KV-Compressed Transformers

    cs.LG 2026-04 unverdicted novelty 7.0

    Transformers need depth scaling as the product of ceil(k/s) and log n terms for k-hop pointer chasing under cache size s, with a conjectured lower bound, proved upper bound via windowed pointer doubling, and an adapti...

  3. Keyless Attention: Value-Space Routing and Value-Only Caching for Efficient Transformers

    cs.CL 2026-06 unverdicted novelty 6.0

    Keyless Attention eliminates the key projection in transformers via value-space routing, cutting KV cache size by 50% with competitive or superior performance on language modeling and zero-shot benchmarks.

  4. A Sharper Picture of Generalization in Transformers

    cs.LG 2026-05 unverdicted novelty 6.0

    PAC-Bayes applied to low-sharpness flat minima yields non-vacuous generalization bounds for boolean functions whose Fourier spectra are sparse and low-degree, with parameters estimable by property testing.

  5. A Sharper Picture of Generalization in Transformers

    cs.LG 2026-05 unverdicted novelty 6.0

    Sparse low-degree Fourier spectra allow flat minima in transformers for boolean functions up to context-length sparsity, enabling non-vacuous PAC-Bayes generalization bounds via an idealized low-sharpness learner.

  6. H$_2$O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models

    cs.LG 2023-06 unverdicted novelty 6.0

    H2O evicts non-heavy-hitter tokens from the KV cache using a dynamic submodular policy, retaining recent and frequent-co-occurrence tokens to reduce memory while preserving accuracy.

  7. Keyless Attention: Value-Space Routing and Value-Only Caching for Efficient Transformers

    cs.CL 2026-06 conditional novelty 5.0

    Keyless Attention eliminates the key projection, computing softmax(QV^T)V and reducing KV-cache memory by exactly 50%, with comparable or better performance on small-scale models.

  8. Keyless Attention: Value-Space Routing and Value-Only Caching for Efficient Transformers

    cs.CL 2026-06 conditional novelty 4.0

    An attention variant that uses values as keys reduces KV-cache memory by 50% and shows roughly comparable perplexity on small-scale training runs.