主读 01已读相关正文与作者解读
Batch size 与方向相关的优化动力学
固定样本预算 T,增大 batch size B 会降低梯度噪声,同时减少更新次数。论文用 noisy quadratic model 区分这两个因素。[1]
hi>0:曲率;ci>0:单样本梯度噪声方差;zi∼N(0,1)。方向相关的曲率—噪声比为 CNRi=hi2/ci。
理想 Muon 在 1×1 矩阵上对应 sign 操作,因此先考察带 momentum 的 SignSGD:
局部机制。 固定 wi,令 momentum 达到稳态。在独立高斯噪声下,
每处理一个样本的平均位移与 ηerf(qi)/B 成正比。保持这一局部位移给出:
方向干预。 从同一 checkpoint 出发,将 batch 从 128K 增至 2M,仅在选定方向保留小 batch 更新。局部 loss 差距恢复比例为
同一数据流上的局部曲率诊断;sharp directions 来自 Muon 预条件后的曲率近似。[2]相关动态基于摘要
噪声可以平滑 sign,也可能改变特征学习顺序
作者报告:小 batch 噪声能恢复 full-batch spectral descent 中缺失的顺序特征学习,并在深线性模型中形式化这一机制。[3][4]
下面是用于理解“噪声平滑”的标量示意推导。取 z∼N(0,1)、σ>0,则
主读 02已读相关正文
发现 scaling law,本身也有算力预算
必要背景Chinchilla(2022)通过小规模训练实验研究模型与数据的算力分配;SLDBench(2025,ICLR 2026)进一步让 agent 自动发现预测规律。新的问题是:获得拟合数据本身也要付出训练成本。[6][7]
上式只是候选形式。Agent 既不知道正确函数形式,也不能免费获得全部观测;它拿到的是带价格的实验目录。[5]
xi 是训练配置,ci 通常为训练 FLOPs;购买后才看到结果 yi。略去分组记号,每轮购买 At,在时刻 τ 停止:
评价同时记录 (更大规模上的外推误差,ρ)。因此需要联合决定买什么实验、何时停止、拟合什么规律。测试配置比候选实验更大,无法直接购买。[5]
30 个筛选出的困难任务,8 个 agent 系统;R² 范围跨系统,不是置信区间。[5]简讯基于摘要
Monarch-Muon:将大矩阵正交化拆成小块
Monarch 因子对权重施加结构,减少权重、梯度和优化器状态,并产生小块更新子问题。摘要中的 6.89B 系统测量为:[8][9]
每日精读 · 经典 001已读方法、理论与实验相关章节
S4:一个状态空间,三种计算方式
从哪里来长序列既需要保留历史,也需要高效训练。HiPPO(2020)用多项式投影设计连续记忆;S4(2022)进一步寻找可快速计算、数值稳定的状态空间参数化。[10][13]
先看一个输入、输出均为标量的通道,隐藏状态 x(t)∈RN。A 控制记忆演化,B 写入输入,C 读出状态;略去可单独计算的 skip term。[12]
以步长 Δ>0 作双线性离散化;假设逆矩阵存在。Δ 是采样时间尺度,可作为模型参数学习。[12]
零初始状态 x−1=0,固定参数时,逐步递推与整段卷积完全等价:[12]
真正的瓶颈是计算核。 直接对 HiPPO 矩阵做特征分解可能严重病态。S4 的关键是“正规矩阵 + 低秩修正”,再用酉变换得到 DPLR:[10]
Λ 为对角矩阵。令 A=Λ−PQ∗、R(ω)=(ωI−Λ)−1,在相关逆存在时,Woodbury 恒等式给出:[10]
高维求逆由对角求逆与 r×r 修正替代。论文再把有限长卷积核的生成函数化为 Cauchy 计算并作逆 FFT:固定低秩时,理论核构造为 O(N+L),每步递推为 O(N)。这是单个 SSM 的复杂度,快速 Cauchy 算法是前提。[10]
采用 v3 附录 Table 10 的 original 行;后续改进结果另列为 updated。原始 Path-X 配置:6 层、256 通道、每通道状态维度 64,单张 A100 40GB。[10]