aiqbench analysis
This research establishes precise theoretical bounds on the sample complexity of Transformers, specifically quantifying how depth and parameter count influence learning efficiency in chain-of-thought scenarios. By deriving nearly matching upper and lower limits for VC dimension, the study provides a rigorous mathematical foundation for understanding data requirements in autoregressive models without relying on empirical heuristics.
Tight Sample Complexity of Transformers
arXiv:2606.09731v2 Announce Type: replace Abstract: We tightly characterize the VC dimension of depth-$L$ Transformers with a total of $W$ parameters, mapping an input sequence of length $T$ to a single output, establishing an upper bound of $O(L W \log (T W))$ and a nearly matching lower bound of $\Omega(L W \log (T W / L))$. We further tightly characterize the sample complexity of chain-of-thought learning using such a Transformer, showing teacher forcing (i.e. selecting a predictor consistent with the entire chain-of-thought on training data) learns with sample complexity $O\left(L W \log \left(\left(T+T^{\prime}\right) W\right)\right)$ and that any learning rule that uses chain-of-thought data requires at least $\Omega\left(L W \log \left(\left(T+T^{\prime}\right) W / L\right)\right)$ examples, where $T$ is the input length and $T^{\prime}$ is the number of autoregressive steps.
Abstract:We tightly characterize the VC dimension of depth-$L$ Transformers with a total of $W$ parameters, mapping an input sequence of length $T$ to a single output, establishing an upper bound of $O(L W \log (T W))$ and a nearly matching lower bound of $\Omega(L W \log (T W / L))$. We further tightly characterize the sample complexity of chain-of-thought learning using such a Transformer, showing teacher forcing (i.e. selecting a predictor consistent with the entire chain-of-thought on training data) learns with sample complexity $O\left(L W \log \left(\left(T+T^{\prime}\right) W\right)\right)$ and that any learning rule that uses chain-of-thought data requires at least $\Omega\left(L W \log \left(\left(T+T^{\prime}\right) W / L\right)\right)$ examples, where $T$ is the input length and $T^{\prime}$ is the number of autoregressive steps.
Machine Learning (cs.LG)
arXiv:2606.09731 [cs.LG]
(or arXiv:2606.09731v2 [cs.LG] for this version)
https://doi.org/10.48550/arXiv.2606.09731 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 214 words
Related coverage
Tight Sample Complexity of Transformers
arXiv · Jun 9, 2026
Quantum Purity Amplification for Arbitrary Eigenstates and Multiple Outputs
arXiv · Sep 30, 2026

Unconditional Quantum Advantage for Sampling with Shallow Circuits
Quantum Journal · Aug 12, 2026
Does preservation make sense before we know how to revive?
LessWrong · Jun 15, 2026