本站已超过 12 小时没有更新（正常每 3 小时更新一次），下面的内容可能不是最新的。
本页没有符合条件的条目（筛选只在本页内进行）。
说明重新思考面向智能体大模型服务的KV缓存淘汰策略
简介大语言模型服务中的KV缓存占用大量显存，容量不足时需要淘汰。本文提出保留共享前缀、从剩余历史的开头淘汰KV缓存并保留后缀的策略，并基于此设计了Penelope系统。该系统在SGLang中实现，使用真实智能体轨迹在三种Qwen3模型规模上评估，相比SGLang，在仅GPU缓存下首词延迟最多降低60%、作业完成时间最多降低37%；在GPU-CPU两级缓存下分别最多降低76%和60%。
说明帕累托秘书问题：在线选出帕累托最优观测值
简介该论文研究在线选择问题：从独立同分布样本中依次观察，目标是选出一个帕累托极大（不被其他观测值在各维度上全面超越）的观测值。论文给出了固定维度下最优失败概率的阶，并分析了高斯相关及任意依赖情形下的结论。
说明从标量博弈到无约束网络零和博弈：基于梯度学习的迁移原理
简介本文研究一类基于梯度的学习规则。若规则在所有标量零和博弈上都能收敛，则在任意网络零和博弈上也能收敛，且步长需满足与博弈算子范数相关的条件。研究还表明，有限时间的收敛速率可以逐模式迁移，最坏情况下的网络响应恰好等于标量博弈中的最大速率。因此，理解标量博弈上的学习动态足以刻画网络博弈的普适收敛性与最坏情况速率。
说明具身可移动天线：利用物理主体的机械自由度重构无线信道
简介本文提出具身可移动天线（embodied MAs），不再为天线配备专用执行器，而是利用机器人等物理主体本身已有的机械自由度来改变天线的位置和朝向。作者区分了任务耦合与任务保持两种模式，并以冗余机械臂为例，推导了多径信道的精确傅里叶表示。数值结果显示，通过任务保持运动可以显著提升通信性能。
说明容量与四子空间问题：分布式线性计算与交比
简介论文研究多个用户各自观察公共数据的固定线性函数，服务器需由每个用户发送的一条消息零误差地恢复另一线性函数，并关注其最小总传输量（容量）。重点考察三个用户分别观察a、b及a+b、服务器需要a+λb的情形，四个函数在平面中构成交比为λ的四条直线。结果显示，调和交比时容量为2，λ不在素子域中时为3/2，其他λ在素子域中时位于[3p/(2p-1), 2]之间。
说明有限射影系统的极值字符谱
简介本文研究有限射影空间 PG(k-1,q) 中有限生成多重点集的字符函数。在总重数预算约束下，考察其在余维为 r 的平坦上取到的不同值个数的最大值，并讨论相应的极值系统。文中给出了 r=k-1 时的完整解答，并改进了 r=1 时此类系统最小长度的已知上界。
说明将工作负载匹配到 Blackwell：NVIDIA B200 与 B300 在高性能计算和 AI 工作负载上的功耗分析基准测试
简介本文在两套各含八块 GPU 的独立集群上，对 NVIDIA B200 和 B300（Blackwell Ultra）进行了测试，涵盖计算机视觉推理与训练、Llama-3-8B 和 70B 大模型推理，以及六个生产级高性能计算程序。结果显示 B300 并非 B200 的简单升级：在卷积推理、3D 视觉 Transformer 训练、70B 大模型吞吐量和双精度 Quantum ESPRESSO 上表现落后，部分工作负载差距高达数倍。作者借助单卡功耗数据分析了卷积任务的性能差距，并给出了按工作负载划分的采购建议。
说明去中心化动态稳定匹配：玩家与臂之间在无共同时钟、无直接通信条件下的最优稳定匹配计算与学习
简介该论文研究在玩家随时加入或离开、无共同时钟且不能直接通信的情况下，去中心化地计算玩家最优稳定匹配（POSM）。对已知偏好的情形，给出确定性多项式时间的自校准协议，代价界为 O(t_*+K^2 log T)，改进了此前的界。对未知偏好的情形，给出代价为 O(t_*+K^4 Δ_min^{-2} log T) 的去中心化学习协议，并给出与 T 和 Δ_min 依赖关系紧致的下界。
看点在无共享时钟、无直接通信下实现动态稳定匹配，cost 界由 O(T^{1-1/K}) 改进为 O(t*+K^2 log T)，并给出近似最优的下界。
说明关于 k-Hadamard 算子的 Donoho–Stark 不确定性原理近似支撑版本
简介本文讨论有限维空间中 k-Hadamard 算子的 Donoho–Stark 型不确定性原理。作者在 Wigderson 与 Wigderson 的已有工作基础上，研究了在 ℓ^p 范数下近似支撑版本的结论。文中证明：若矩阵不是特殊 k-Hadamard 矩阵，此类定理不能推广到 p>1；对于特殊 k-Hadamard 算子，结论在 1≤p≤2 范围内成立；而在 p>2 时即使满足特殊性条件，结论也不成立。
说明面向高性能计算应用的分层可复现性：Feel++ 与 Ktirio 城市建筑案例研究
简介本文针对高性能计算中软件环境复杂、硬件异构、验证成本高而难以复现的问题，提出分层可复现策略。Feel++ 提供可追溯的软件供应链，Ktirio Urban Buildings（KUB）在其基础上管理带版本的城市建筑数据、可执行模拟及可校验的结果文件。该方法将可复现性从后期手工打包前移为连接源码提交、软件包、容器、基准配置、数据集版本、溯源记录与生成结果的工件链。
说明在因果状态信息下，多址信道上的速率与近无损状态传输
简介本文研究在无记忆状态相关多址信道上同时传输数据和状态的问题，其中编码器拥有因果状态信息。状态由三个独立部分组成：一个公共部分，同时告知两个编码器；两个私有部分，各自只告知一个编码器。文中要求数据以任意小的错误概率恢复，状态序列以任意小的符号错误率恢复。在不考虑状态重建约束时容量区域非空的假设下，作者给出了该容量区域，并证明可用结合分箱与叠加编码的分块马尔可夫编码方案实现。
说明基于条件加性平滑的批量通用预测
简介本文研究批量遗憾这一概念，即预测器先观察一批训练序列，再对同一未知信源生成的独立测试序列进行预测，并以此衡量其表现。论文分析了二元无记忆信源与一阶马尔可夫信源下条件加性平滑估计器的渐近批量遗憾。对于二元无记忆信源，作者通过扩展Krichevsky基于泊松的分析，给出最优偏置随训练批量大小变化的情况。论文还引入批量遗憾的Rényi类比，并将对应最优预测器识别为条件α-NML估计器。