MATH · IN · MODELS
structures / Manifolds / 1D continuum manifold / Stratified Manifold with Continuous Fibers

Stratified Manifold with Continuous Fibers

OBJECTgeometric-objectembedded-setnonlinearK:variableparametrizationdisjoint union of basins (discrete base), each traversed by continuous 1D fibers connecting adjacent basinsintermediatehow it's classified →

A representation space partitioned into a discrete set of macroscopic basins (indexed by a discrete output/class variable) with each basin's interior further organized by continuous 1D fibers that extend across basin boundaries, tracking a separate continuous quantity — a discrete clustering structure and a continuous stratification structure coexisting at different scales of the same space, rather than either alone.

Replicationcomputed from the corpus — never hand-assigned
1 paper2 architecture classes · one study2 domains · one study2 model families · one study
Filled = two or more values reported by papers that share no author — replication. Outlined = two or more values, but all from a single study — breadth, not replication. Grey = a single value. Derived from paper authorship and each model's architecture class, domain and family; it updates itself when a paper is added.

Definition

A stratified manifold with continuous fibers is a representation space XX admitting a decomposition X=iBiX = \bigsqcup_i B_i into discrete basins BiB_i (each basin associated with one value of a discrete output variable, e.g. one predicted digit), such that within and across basin boundaries there exist continuous fibers TjX\mathcal{T}_j \subset X — 1-dimensional curves parametrized by a separate continuous quantity ϕ\phi (not the discrete basin index) — along which ϕ\phi varies smoothly even as the fiber crosses from one basin BiB_i into an adjacent basin Bi+1B_{i+1}. Formally, for a state ss with discrete label i(s)i(s) and continuous fiber coordinate ϕ(s)\phi(s), nearby points along a fixed fiber satisfy i(s)i(s){1,0,+1}i(s')-i(s) \in \{-1,0,+1\} (adjacent-basin transitions only) while ϕ(s)ϕ(s)\phi(s')\approx\phi(s) (up to the fiber’s own local variation) — the discrete and continuous coordinates are both locally meaningful, but at different scales: basin identity is the macroscopic/coarse coordinate, fiber position is the microscopic/fine one.

Intuition

Picture a stack of discrete plates (the basins) with several ropes running through holes drilled near each plate’s edge, so that each rope threads continuously from one plate to the next: from far away, you see only discrete, stacked plates (the coarse clustering); from close up, following any one rope, you see a spiraling continuous path that happens to pass through several plates in sequence. Neither description alone (just plates, or just one long undifferentiated rope) captures the full picture — the structure is genuinely two-scale.

Properties

  • Coexistence of discrete clustering and continuous stratification is the falsifiable claim, not either alone. A purely discrete-cluster claim (e.g. Neural Collapse-style class clusters) or a purely continuous-manifold claim (e.g. 1D continuum manifold alone) would each be a simpler, weaker structure; the distinguishing content here is that the same representation exhibits both, and that the fine continuous structure is what predicts fine-grained behavioral outcomes (e.g. specific error types) that the coarse discrete structure alone cannot.
  • First quantified instance in this map: digit basins stratified by carry-potential fibers in LLM arithmetic. Wen, Zhu, Huang, Li & Gao (2026) apply UMAP (cosine distance) to Qwen3-4B’s final-layer activations during multi-operand addition and find ten discrete digit basins (one per output digit 0-9, UMAP trustworthiness 0.9953 vs. 0.8633 for PCA and 0.9907 for t-SNE), each basin’s interior further organized by continuous “Iso-Raw-Sum Trajectories” (IRSTs) — fibers connecting states that share a raw positional sum rpr_p across adjacent basins as the carry cp=Φpc_p=\lfloor\Phi_p\rfloor varies, where the Carry Potential Φp=j=1P1prp+j/10j\Phi_p = \sum_{j=1}^{P-1-p} r_{p+j}/10^j is a continuous quantity whose fractional part indexes exact fiber position. A noisy-quantization model (Φ^p=Φp+ε\hat\Phi_p=\Phi_p+\varepsilon, εN(0,σ2)\varepsilon\sim\mathcal{N}(0,\sigma^2); predicted error rate P(ErrorΦ)=Q(δ(Φ)/σ)+Q((1δ(Φ))/σ)P(\text{Error}\mid\Phi)=Q(\delta(\Phi)/\sigma)+Q((1-\delta(\Phi))/\sigma) for δ(Φ)=Φmod1\delta(\Phi)=\Phi\bmod 1) fits the empirical per-position error-rate “bathtub curve” at R2=0.80R^2=0.80 (σ0.05\sigma\approx0.05) in Qwen3-4B, replicating at R20.70R^2\geq0.70 in Qwen3-8B (σ0.05\sigma\approx0.05, 12-digit) and Gemma-3-4B-IT (σ0.07\sigma\approx0.07, 10-digit) — states near an integer boundary of Φ\Phi (a carry “flip point”) are quantifiably more error-prone than states well inside a basin, directly tying fiber position to a specific behavioral failure mode (93.19% of all model errors are off-by-one, i.e. exactly one basin-transition away from correct). See wen-etal-2026-digit-basins-stratified-by-carry-potential-fibers-predict-off-by-one-arithmetic-errors-via-a-noisy-quantization-bathtub-curve.
  • Causally validated via contrastive-centroid steering along a fiber, with basin-boundary-dependent thresholds. A steering vector built from the difference between adjacent-basin fiber centroids, injected into the residual stream, flips the model’s predicted digit at a magnitude α\alpha that depends on the target state’s fiber position: states already near the noisy-quantization boundary (small δ(Φ)\delta(\Phi) or δ(Φ)\delta(\Phi) near 1) flip at much smaller α|\alpha| (e.g. α0.1\alpha\approx-0.1 for a near-boundary “hallucination” state) than states deep inside a basin (e.g. α0.5\alpha\approx0.5 for a stable interior state) — the causal manipulability of the representation varies continuously with fiber position, not just with basin identity.
  • Relation to prior helical/circular arithmetic-geometry claims: an explicit refinement, not an independent alternative. The paper positions its stratified-fiber structure as refining Kantamneni & Tegmark’s generalized-helix hypothesis and Nanda et al.’s original circular/rotational modular-arithmetic geometry: rather than a smooth rotational manifold where errors would be uniform around a loop, the digit basins here do not wrap circularly (0 and 9 are not adjacent, unlike a clock face), and the specific off-by-one error pattern is explained by local carry-fiber slippage near quantization boundaries rather than by global rotational dynamics — a different, more locally-grounded mechanistic account of a structurally related phenomenon (multi-digit arithmetic geometry), evaluated with entirely different tools (UMAP-based basin/fiber decomposition and a probabilistic quantization-noise model, versus Fourier-period helix fitting and activation patching).

Exercises

Base

  1. Why does a purely discrete-cluster description (just “ten digit basins, one per output digit”) fail to explain why errors are overwhelmingly off-by-one (93.19%) rather than uniformly spread across all possible wrong digits?
Solution

A purely discrete-cluster description has no notion of “distance” or “adjacency” beyond same-cluster/different-cluster — it cannot in principle predict that errors land preferentially in neighboring basins rather than arbitrary ones, since it discards exactly the continuous fiber coordinate that tracks how close a given state is to a specific neighboring basin’s boundary. The off-by-one pattern requires the continuous stratification (fiber position relative to a quantization boundary) to explain which neighbor an error lands in and why nearby-boundary states are disproportionately affected.

  1. The bathtub-curve model predicts error probability rises near δ(Φ)=0\delta(\Phi)=0 and δ(Φ)=1\delta(\Phi)=1 (both quantization boundaries) and is lowest near δ(Φ)=0.5\delta(\Phi)=0.5 (basin interior). Explain this shape in terms of the noisy-quantization model Φ^p=Φp+ε\hat\Phi_p=\Phi_p+\varepsilon.
Solution

The floor function c^p=Φ^p\hat c_p=\lfloor\hat\Phi_p\rfloor only differs from the true cp=Φpc_p=\lfloor\Phi_p\rfloor when the noise ε\varepsilon is large enough to push Φ^p\hat\Phi_p across an integer boundary. If Φp\Phi_p is close to an integer (δ(Φ)\delta(\Phi) near 0 or 1), only a small noise perturbation is needed to cross that boundary, so the error probability (governed by the Gaussian tail, the QQ-function) is high; if Φp\Phi_p is near the middle of its interval (δ(Φ)0.5\delta(\Phi)\approx0.5), a much larger noise perturbation is required to reach either neighboring integer, so the error probability is low — producing the characteristic “bathtub” shape (high at both edges of [0,1)[0,1), low in the middle) as a direct consequence of the model’s Gaussian-noise assumption.

Middle

  1. The paper reports that boundary states (“hallucination,” Φ=1.96\Phi=1.96) flip under steering at α0.1\alpha\approx-0.1, while a deep-basin state (Φ=1.62\Phi=1.62) requires α0.5\alpha\approx0.5. Using the fiber-coordinate framework, explain why this is expected rather than an unrelated finding.
Solution

Φ=1.96\Phi=1.96 has δ(Φ)=0.96\delta(\Phi)=0.96, very close to the upper quantization boundary (δ=1\delta=1, where the floor jumps from 1 to 2) — the state is already almost at the basin transition, so only a small steering push in the direction that increases Φ\Phi past the boundary is needed to flip the discrete output. Φ=1.62\Phi=1.62 has δ(Φ)=0.62\delta(\Phi)=0.62, comfortably inside its basin’s interior — a much larger push is needed to cross either boundary. This mirrors the bathtub-curve logic applied to causal intervention rather than naturally occurring noise: proximity to a boundary in the continuous fiber coordinate predicts ease of flipping under an external perturbation, just as it predicts susceptibility to naturally-occurring representational noise.

Found in (1 observation · 2 families)

Qwen

The Shape of Addition: Geometric Structures of Arithmetic in Large Language Models (2026)measured

Digit basins stratified by carry-potential fibers predict off-by-one errors

Details

Wen et al. apply UMAP to Qwen3-4B's final-layer activations during multi-digit addition and find ten discrete digit basins (trustworthiness 0.9953), one per output digit [wen-etal-2026-shape-of-addition] Each basin is stratified by continuous Iso-Raw-Sum-Trajectory fibers indexed by a Carry Potential whose integer part is the true carry [wen-etal-2026-shape-of-addition] A noisy-quantization bathtub model fits the per-position error rate (R^2=0.80, replicated at R^2>=0.70 in Qwen3-8B and Gemma-3-4B-IT), explaining why 93.19% of errors are off-by-one and the basins do not wrap circularly [wen-etal-2026-shape-of-addition] Contrastive-centroid steering flips the predicted digit at a magnitude that depends continuously on fiber position, and an inference-time Dual-Stream correction improves accuracy across all three models [wen-etal-2026-shape-of-addition]

models: Qwen3-4B, Qwen3-8B · method: Causal interventions (steering)

Gemma

The Shape of Addition: Geometric Structures of Arithmetic in Large Language Models (2026)measured

Digit basins stratified by carry-potential fibers predict off-by-one errors

Details

Wen et al. apply UMAP to Qwen3-4B's final-layer activations during multi-digit addition and find ten discrete digit basins (trustworthiness 0.9953), one per output digit [wen-etal-2026-shape-of-addition] Each basin is stratified by continuous Iso-Raw-Sum-Trajectory fibers indexed by a Carry Potential whose integer part is the true carry [wen-etal-2026-shape-of-addition] A noisy-quantization bathtub model fits the per-position error rate (R^2=0.80, replicated at R^2>=0.70 in Qwen3-8B and Gemma-3-4B-IT), explaining why 93.19% of errors are off-by-one and the basins do not wrap circularly [wen-etal-2026-shape-of-addition] Contrastive-centroid steering flips the predicted digit at a magnitude that depends continuously on fiber position, and an inference-time Dual-Stream correction improves accuracy across all three models [wen-etal-2026-shape-of-addition]

models: Gemma 3 4B Instruct · method: Causal interventions (steering)