Key quotes / one-liners from research (paraphrase-safe)
For legal/traceability prefer opening the parent files. These are compressed restatements used in agent context.
- Wrong target: exact recovery of all scores forces Θ(m d) parameters (17 Thm0).
- Right target: ε-approximate A(q)=softmax(Kᵀq/T)V.
- Covering: N(M_A,ε) scales as (C/ε)^{r_Σ}, independent of m under stated bounds.
- A0: winner value error decays with score gap exp(−Δ).
- Hybrid: exact recent + manifold far past is the practical architecture.
- Empiric: some early Qwen heads r_Σ≈4–7; deeper heads much less compressible.
- Feasibility: full high-d chirotope on 128k context is not the MVP.
- Novelty neighbors: Tropical Attention (trained kernel), KV-Fold (still linear KV), KV-Direct (residual→K/V) — different objects.
- Honesty: reconstruction error ≠ e2e generation quality.
- Gate: measure r_Σ; do not force AOC on high-rank heads.