Searcharxiv⌕ Search

arXiv · 2610.16535

Learning, Compression, and Meta-Complexity

Abstract

The idea that learning is closely tied to compression has long served as both a powerful principle and, at times, an informal analogy across machine learning and learning theory. Here we focus on settings in which that intuition can be made mathematically precise, surveying formal connections among learning algorithms, data compression, and computational complexity theory, with an emphasis on recent progress and current frontiers. We describe how techniques from complexity theory can guide the design of both supervised and unsupervised learning algorithms with provable guarantees, and conversely, how learning algorithms can yield new insights and results in complexity theory. A central theme is the role of data compression as a bridge between learning and complexity, especially through an area called meta-complexity, which studies the computational difficulty of compression problems and time-bounded variants of Kolmogorov complexity.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Halley Goldberg, Mikito Nanashima, Igor C. Oliveira. 2026-10-12. Learning, Compression, and Meta-Complexity. https://arxiv.org/abs/2610.16535

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Polynomial Hierarchy does not collapse

The arithmetical hierarchy (AH) is similar to the polynomial hierarchy (PH). Unlike the PH, the AH does not collapse relative to any oracle. A $Σ_{k+1}$-complete language is computably enumerable (c.e.) relative to the k-th level of the AH. So, given an oracle in the k-th level of the AH, we require exhaustive search to recognize whether the input string is in the language. We can define a language in AH with a quantified formula and a computable relation. The encoding lengths of the bounded variables are unbounded. However, if we observe only finitely many input strings, then there exist integers such that the encoding lengths of the bounded variables can be limited to these integers without changing the result of the formula for each input string. By adding padding arguments of length equal to those of the bounded variables and padding of length equal to the runtime required to compute the relation, we construct an equivalent language in PH. An OTM operating on the language with padding arguments in PH with a padded oracle has the same program flow as it does on the original language with the unpadded oracle in the AH. The number of oracle queries does not change. We still need brute-force search therefore, the required number of oracle queries is exponential. The PH does not collapse.

cs.CC↗

PSPACE-completeness of the Hunters and Rabbit game

In the Hunters and Rabbit game, hunters shoot at a set of vertices at each round, while an invisible rabbit must move along an edge. We prove that deciding whether a given number of hunters can guarantee capture is PSPACE-complete, even on simple bipartite graphs. The reduction uses intersection nonemptiness for inverse finite automata: one common word must put all automata in accepting states simultaneously. A clique acting as a safe haven and two families of guards force every winning strategy to simulate common transitions. Existing transformations remove the restriction on the rabbit's initial positions and yield PSPACE-completeness for the directed game with one hunter, even on oriented graphs with positive minimum outdegree. Adjusting the guard sizes also proves PSPACE-completeness of the firefighting game, in which the rabbit may remain at its current vertex.

cs.CC↗

The Separation of $\mathit{NP}$ and $\mathit{PSPACE}$

There is an important and interesting open question in computational complexity on the relation between the complexity classes $\mathcal{NP}$ and $\mathcal{PSPACE}$. It is a widespread belief that $\mathcal{NP}\ne\mathcal{PSPACE}$. In this paper, we confirm this conjecture affirmatively by showing that there is a language $L_d$ accepted by no polynomial-time nondeterministic Turing machines but accepted by a nondeterministic Turing machine running within space $O(n^k)$ for all $k\in\mathbb{N}_1$. We achieve this by virtue of the prerequisite of $$ {\rm NTIME}[S(n)]\subseteq{\rm DSPACE}[S(n)], $$ and then by diagonalization against all polynomial-time nondeterministic Turing machines via a universal nondeterministic Turing machine $M_0$. We further show that $L_d\in \mathcal{PSPACE}$, which leads to the conclusion $$ \mathcal{NP}\subsetneqq\mathcal{PSPACE}. $$ Our approach is based on standard diagonalization and novel new techniques developed in the author's recent works \cite{Lin21a,Lin21b} with some new refinement.

cs.CC↗