arXiv Science⌕ Search

arXiv · 2610.04374

Geometric Realizations of Capability Spaces of Large Models and Zigzag Persistent Homology

Abstract

We propose a topological model for capability changes during large-model training. The model represents knowledge states and preregistered capability probes as subcomplexes of a finite regular CW complex. We prove that attaching a single $n$-cell can only create a class in $\mathrm H_n$ or kill a class in $\mathrm H_{n-1}$. With the reliability threshold and the training checkpoint as two parameter axes, capability gains and losses make the spaces along the training axis nonnested. Union or intersection bridges produce zigzag persistence modules, and we distinguish checkpoint, transition, and bridge-sensitive classes. A finite four-stage example is computed by boundary matrices. The framework records algebraic changes under a chosen encoding, and a homological change is called a candidate capability emergence only after robustness tests, null-model comparisons, and independent behavioral validation.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yu-Zhe Liu, Shengda Liu, Jianyong Pi, Chao Zhang. 2026-10-03. Geometric Realizations of Capability Spaces of Large Models and Zigzag Persistent Homology. https://arxiv.org/abs/2610.04374

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

KEEP EXPLORING

Related papers

On the Mac Lane $Q$-Construction for Exact $\infty$-Categories

We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in $\mathcal{A}$ that is an immediate generalization of Mac Lane's cubical $Q$-complex computing the stable homology of abelian groups.

math.AT↗

Obstructions to Reality: Torsors & Visual Paradox

Visual paradoxes like the Penrose staircase present a fundamental tension: locally coherent geometric relationships that cannot be realized globally. Inspired by Penrose's observations connecting such paradoxes to cohomology, we develop a mathematical framework that characterizes this phenomenon through network torsors and sheaf cohomology. Network torsors capture the essential nature of visual paradoxes by formalizing relative geometric attributes (height changes, orientation flips) without requiring absolute measures. We demonstrate that a significant class of visual paradoxes can be characterized as non-trivial network torsors, with their obstruction to global consistency quantified by elements of first cohomology $H^1$. This framework enables analysis of classical paradoxes and construction of novel examples on various topological spaces. Key contributions include the first visual paradox with nonabelian holonomy (the Klein ladder, whose holonomy takes values in the infinite dihedral group), and paradoxes driven by boundary conditions rather than loops, analyzable via non-constant structure sheaves and relative cohomology. Our approach unifies diverse visual paradoxes under a single mathematical principle: the obstruction to globalizing locally consistent geometric relationships.

math.AT↗