Definition
An open 1D manifold embedded in : a smooth, non-self-intersecting curve (with endpoints, unlike the closed Circle) parametrised by a single ordered coordinate . A canonical form for such an embedding, when projected onto any two of its top principal components:
for wavenumbers . This is a Lissajous figure. The higher-frequency components () are “ripples” — extrinsic curvature riding on top of the dominant, slowest-varying trend.
Intuition
A piece of string laid out along a wavy line through activation space, rather than a closed loop: it has two distinct endpoints, and — unlike a circle — walking far enough in one direction does not bring you back to the start.
Properties
- . An open arc is contractible (homotopy equivalent to a point), unlike a circle () — there is no non-contractible loop, since the curve has endpoints and never closes on itself.
- Ordered coordinate. The parameter carries a genuine order ( is meaningful), unlike the angular coordinate on , which is only defined modulo and has no global “less than.”
- Rational vs. irrational frequency ratio distinguishes closed from open. If is rational, the Lissajous projection is a closed curve that eventually repeats (the closed, periodic case belongs to Torus/Circle instead); if is irrational, the curve is quasi-periodic — it never exactly closes, densely covering a bounded region without repeating. This is what makes an open 1D manifold look like an endlessly “rippling,” never-quite-repeating curve.
- Extrinsically curved, but the curvature is a projection artifact of higher harmonics, not an intrinsic property of the underlying 1-manifold (which, as any embedded arc, is intrinsically flat — an interval, isometric to a subset of under its own induced arc-length metric, is what it is regardless of how it’s bent in the ambient space).
- Amplitude decay with frequency. In the canonical form above, higher-wavenumber components typically carry smaller amplitude — so the curve is dominated by its lowest-frequency component with progressively smaller “ripple” corrections from higher ones, rather than all frequencies contributing equally.
Key evidence
Burkhart, Ramadan, Liao, Chhikara, Rojas, Parker & Beaulieu-Jones (2025)
train a real Llama-3.2-1B-architecture transformer from scratch on
tokenized real EHR sequences (MIMIC-IV, CLIF-standardized), then
transfer to a real independent hospital dataset (University of Chicago
Medical Center). Two-component PCA of the model’s own decile/quantile
token embeddings recovers the correct ordinal ranking of all ten
deciles as a 1D continuum, alongside category-consistent clustering of
clinical-concept tokens; separately, a linear-probe (logistic
regression) analysis of patient-representation trajectory features
over the first 24 hours of admission (path length, max single-step
jump, an anomaly score) predicts four clinical outcomes (ROC-AUC
0.877-0.914 in MIMIC, degrading to 0.529-0.878 in the independent
hospital before fine-tuning) — purely observational, no causal
validation. See
burkhart-etal-2025-ehr-fm-recovers-ordinal-1d-continuum-of-decile-embeddings-via-pca-and-trajectory-features-predict-clinical-outcomes.
Bassi & Tomar (2026) test whether Gurnee et al.’s (2025) curved-1D-manifold-
plus-attention-head-twist motif for character counting in Claude 3.5 Haiku
(see rippled-1d-continuum) generalizes across four new ordinal tasks and
three open-weight models (Gemma-2-2B, Gemma-2-9B, Qwen3-4B). Tasks where
the ordinal variable is locally computable from token identity (bracket
nesting depth, markdown table column index) replicate a clean 1D manifold
(>90% of per-value-centroid variance in PC1) with SAE features tiling it
like place cells, pre-organized from the embedding layer (attention-head
twist <=0.131 in every model); tasks requiring cross-position integration
(indentation, table rows) need 2-4 principal components and are actively
constructed by attention heads through training-dependent “twisting”
(Qwen3-4B shows 4-10x higher twist than Gemma, 0.803 vs. 0.214-0.331 for
indentation); and numeric magnitude — despite train — shows no
coherent manifold at all (4-5 PCs needed, zero monotonic SAE features).
Subspace ablation confirms causal necessity: patching the top-3 manifold
directions drops probe accuracy/ more than 28x more than patching
random directions, across every task-model pair. See
1d-manifold-with-place-cell-tiling-generalizes-to-locally-computable-ordinal-tasks-across-architectures-but-not-to-numeric-magnitude-and-subspace-ablation-confirms-causal-necessity.
Singh (2026) proves via a minimum-norm/weight-decay argument
(Proposition 1) that a transformer trained only on adjacent-pair
comparisons over a total order must collapse embeddings onto a
collinear, monotonically rank-ordered line with characteristic
end-anchor stretching — a third distinct source of non-uniformity on
this shape class, alongside the logarithmic compression of
logarithmic-number-line and the oscillatory ripples of
rippled-1d-continuum. Confirmed in a real, actually-trained
single-layer toy Transformer () and extended to real,
pretrained Qwen2.5-1.5B across three ordinal domains (digits, sizes,
months) with domain-dependent fidelity and near-orthogonal per-domain
probe directions (|cos|<0.2); a cyclic control domain resists the line
entirely. See
singh-2026-a-minimum-norm-collinear-embedding-emerges-from-weight-decay-and-generalizes-to-real-qwen2-5-1-5b-ordinal-domains-with-near-orthogonal-per-domain-directions.
Exercises
Base
- Is an open arc homeomorphic to ? Justify using a topological invariant, not just intuition.
Solution
No. of the open arc is (it’s contractible — homotopy equivalent to a point), while . Since homology is a topological invariant, spaces with different cannot be homeomorphic.
- For the Lissajous parametrisation , what happens to the curve’s shape if (equal frequencies)?
Solution
With : traces an ellipse (a circle if ) as ranges over a full period — the simplest, -ratio Lissajous figure, which is a closed curve, not an open one. (This is the boundary case connecting to Circle/Torus; genuinely open, non-repeating behavior requires with an irrational ratio.)
Middle
- Suppose exactly (rational). Show that the curve is periodic in , and find its period.
Solution
Write , for some constant (matching the ratio ). has period in ; has period . The combined curve repeats when advances by a common multiple of both periods: . Writing both as multiples of : and , so the lcm is . The curve is periodic with period — a closed (repeating), not open, curve, since the ratio is rational.
- Now suppose is irrational. Prove that the curve never exactly returns to its starting point for any .
Solution
Returning to the same point requires simultaneously and , i.e. and for some integers (not both zero, since ). Dividing: , a ratio of integers — i.e. rational. This contradicts the assumption that is irrational (taking ; if then already from the first equation, contradiction). Hence no such exists — the curve never exactly repeats.
Pro
- Prove that if is irrational, the set of points is dense in the torus (this is the classical justification for “densely covers a bounded region without repeating”). You may use Weyl’s equidistribution theorem without proving it.
Solution
Rescale to , so the point is for irrational, tracing a line of irrational slope on the unit torus as ranges over . Weyl’s equidistribution theorem states that for irrational , the sequence (fractional parts) is equidistributed on as ranges over the integers (or, in the continuous analogue, the trajectory of the linear flow with irrational slope on the torus is equidistributed, hence dense). Density follows immediately from equidistribution: an equidistributed sequence/trajectory must enter every open subset of the torus (else that subset would have zero limiting frequency, contradicting equidistribution against the uniform measure, which assigns every nonempty open set positive measure). Rescaling back, the original curve is dense in .
- A researcher fits the two-frequency model to noisy empirical data and estimates from finite, noisy samples. Explain why this estimate can never distinguish “genuinely rational, e.g. ” from “irrational but close to ,” and what this implies about claiming open (non-periodic) structure from finite data.
Solution
Rational and irrational numbers are both dense in , so for any irrational there is a rational arbitrarily close to it (and vice versa) — no finite-precision measurement can distinguish a ratio that is exactly rational from one that is irrational but agrees with that rational to the measured precision, since doing so would require infinite precision (verifying agreement, or lack thereof, at every decimal place). Consequently, “open, non-repeating” structure is not something finite data can confirm in the strict topological sense (it would require infinite precision on the frequency ratio); in practice, the empirical claim has to be a weaker, operational one — e.g. “no exact repetition observed within the sampled range / at the achieved measurement precision,” or “the best-fit rational approximation has denominator large enough that the effective period exceeds the observed data range” — rather than a literal proof of irrationality.