跳转至

Read this paper write-up in English

RoPERelay:固定稀疏 KV 的位置重建组件

论文信息

字段 内容
论文链接 arXiv 2610.21126;v1 全文
原文标题 Compression Does Not End at Selection: Post-Selection Positional Geometry for Sparse KV Caches
公司/机构 Wanyang Hong、Zhaoning Zhang;National University of Defense Technology,National Key Laboratory of Parallel and Distributed Computing / College of Computer Science and Technology
首次公开日期 2026-10-15(arXiv v1);精确时间 2026-10-15T02:30:27Z
原文开源代码 否:未找到已发布的方法仓库;附录 A.1 写明未来将发布实现与配置。公式独立实现,未 vendor
Adapter rope-relay(目录键;无 reproduction adapter,adapter: null)
本地复现代码目录 src/auto_research/foundation_models/rope_relay.py;调用入口 scripts/run_oct16_foundation_components.py
实现状态 component_only;L1 机制诊断;evolve_integrated: false
完整实验 成本过高,不复现(审查 DONE);not_reproduced_high_cost

原始论文总结

背景与主要改动

selector 删除 token 后,K 仍携带稀疏旧坐标的旋转相位。RoPERelay 不重选内容、不重新 prefill 历史,将选中状态按原始时间排序、压紧坐标,并同步问题及生成坐标。来源为 §3、附录 A 的 Algorithm 1 和数值约定。

flowchart LR
  A[selector的K V 源位置和mask] --> B[稳定时间排序]
  B --> C[异长head右端点对齐]
  C --> D[K逆旋转再重旋转]
  B --> E[V不改变 只同步排列]
  D --> F[问题从共同anchor M开始]
  E --> F
  F --> G[答案输入从M加Q连续前进]

原论文关键图

原文 Figure 2,RoPERelay 的位置变换

原文 Figure 2 的位置重建与同步流程;不是本地能力结果。图片来自原论文,版权归原作者所有。

核心公式

设各层/物理 head 保留 \(m_{\ell h}\) 个状态,\(M=\max_{\ell h}m_{\ell h}\);稳定排序后 \(p'_i=M-m_{\ell h}+i\)。历史重建为 \(K'_i=R_{p'_i}R_{p_i}^{-1}K_i\)、\(V'_i=V_i\)。问题使用 \(M,\ldots,M+Q-1\);首个答案 token 被回送为输入时使用 \(M+Q\)。对缩放旋转因子 \(c=a\cos\phi,s=a\sin\phi\),逆变换需除以 \(c^2+s^2\),不能误当单位旋转;非 rotary 维度不变。

论文离线与线上效果

论文配置 Original RoPERelay
Llama-3.1-8B / BM25 / LongMemEval-S 23.60% 35.40%
Llama-3.1-8B / SnapKV / LongMTBench+ 28.41% 22.73%

来源:Table 1;36 个比较中 32 个提高、4 个退化,不能只宣传正例。§5 的约 1–3% 完整请求开销来自原论文配置,不是本地算子计时。线上 A/B:未报告。

本地复现

保留实数 Torch 梯度的 cache 算子,支持 scaled/partial RoPE、split-half/interleaved 两种布局、异长 mask、共同 continuation anchor。用合成固定 K/V 进行独立 complex 参考与 attention/梯度诊断,未加载模型或长记忆数据。

数据协议与运行

输入是 seeds 42/43/44 的合成张量(synthetic-formula-tensors@oct16-component-v1),不是语言能力评测集;无 checkpoint。每 seed 为 2 层×2 head×8 槽,保留数 8/6/4/2,12 维 K/Q,其中 8 维旋转,缩放幅度 1.3。问题长度 3,后续答案位置 11、12。

PYTHONPATH=src python scripts/run_oct16_foundation_components.py \
  --papers rope-relay --device cpu --seeds 42,43,44 \
  --output runs/oct16-foundation/rope-cpu.json

同一命令可显式 --device cuda 作真实设备算子验收,绝不静默回退 CPU;GPU receipt 由整体验收流程追加,CPU 记录不等于 GPU 验证。

结果

CPU 实测:独立 complex 参考最大绝对误差各 seed 为 4.7684e-7 / 4.7684e-7 / 2.3842e-7;V 数值、非 rotary 尾部、异长右端点和问题/答案同步均通过。Q/K/V 梯度均有限且非零。故意不迁移 query 的负对照平均 logit 差为 5.9008622;这是数值合同,不是准确率收益。

代码映射与边界

上下游 本地位置/合同
selector 输出输入 relay_cache(K,V,source_positions,factors,valid_mask);不修改 selector
公式 3/4 与 Algorithm 1 稳定排序、relocate_keys、apply_rotary
模型 rotary 因子 FactorProvider 接收模型给定 c/s;rotary_factors 仅为静态便利函数
问题与 decode 消费者 RelayedCache.question_positions、answer_input_positions、causal_mask;调用方须将相同坐标用于新 Q/K
核验 tests/foundation_models/test_rope_relay.py,双精度 gradcheck、scaled inverse、partial 维、异长 mask、query 负对照

本地没有 selector 效果比较、真实模型 cache 集成或生成器;坐标接口可调用不代表完成推理服务集成。cached K 中旧上下文产生的内容不被恢复或重算,V 只随原始选中项排列。

成本与未复现范围

完整研究含 7B/8B 两模型×6 selectors×3 长记忆任务(最长 128K)、额外长文本/消融及 32B judge;附录 B 的系统计时使用四张 RTX 3090。按该公开配置,完整多臂长上下文评测超出本轮单 A100/A30/Mac 的低成本预算,成本过高,不复现(审查 DONE),不下载权重或大数据。adapter: null、diagnostic_only: true、promotion_eligible: false,不进入 evolve。