分布式计算、博弈论、信息论等。
说明Z_{p^s}线性广义Hadamard码的完全分类
简介本文研究由Z_{p^s}加法码经Gray映射得到的Z_{p^s}线性广义Hadamard（GH）码，这类码可由递归构造得到。作者完成了对每个素数p下这些码的分类，主要工具是由核确定的坐标块外打孔得到的导出码。对于t≥3，文中给出了长度为p^t的非等价码的数量，并完成了Z_{2^s}线性Hadamard码的分类，同时证明了一个关于t_1≥2且t_s=0情形的猜想。
说明在大规模分布式片上存储加速器上实现快速灵活的脉冲神经网络仿真
简介论文提出一种基于分组的映射与通信策略，用于在具有大规模分布式片上存储（SRAM）的商用加速器上运行脉冲神经网络仿真，以解决脉冲路由问题。在Graphcore IPU上，皮层微电路仿真速度达到生物实时的22.7倍，且编译图可复用、构建时间很短。该方法不依赖特定模型或硬件假设。
说明LOCAL模型中不存在真正亚对数轮数的分布式极大独立集算法
简介本文证明，在LOCAL模型中，轮数为o(log n/log log n)的随机算法在某些输入上以次常数概率才能找到极大独立集（MIS）。这表明已有四十年历史、轮数为O(log n)的Luby及Alon、Babai、Itai随机CONGEST算法接近最优。作者通过将树状图的顶点替换为团、边替换为二分Erdős–Rényi图构造困难实例，并提出新的轮次消去方法来分析任意LOCAL算法。
看点通过新颖的轮次消除与非树状硬实例，将MIS下界从Ω(√log n)推进到近乎匹配Luby算法的Ω(log n/log log n)，证明扎实。
说明基于嵌套循环码的确定性分布式线性可分离计算
简介本文研究分布式线性可分离计算问题：主节点借助 N 个工作节点，在至多 S 个掉队节点的情况下恢复 K 个消息的 K_c 个确定性线性组合。作者提出基于嵌套循环码的框架，计算负载为 M=(K/N)(S+K_c)，并证明在 K 足够大时该负载与下界一致、渐近最优。采用循环局部可恢复码作为基码后，在许多掉队情形下主节点只需联系少于 N-S 个工作节点。
说明LEO卫星网络中用于快速波束放置的天线波束方向图模型研究
简介本文比较了四种天线增益模型（贝塞尔J1、J1+J3组合、高斯及3GPP TR 37.842模型）对低轨卫星网络波束放置问题的影响。各模型据半功率角构建用户兼容图，并将问题转化为最小团覆盖问题，用图着色算法求解。结果显示，天线方向图模型同时影响波束资源使用和链路质量，因此需要考虑天线方向图的波束放置方法。
说明非加性对称秩距码：在有限域对称矩阵空间中构造比加性码更大的码
简介本文研究有限域上对称矩阵空间中的非加性秩距码，重点是对称2码。对奇数q，作者利用四维空间上非退化二次型的各向同性向量，建立与椭圆二次曲面Q^-(5,q)部分卵形的对应，并借助Cossidente与Pavese的构造，得到Sym_3(q)中基数为q^4+2q^3的非加性对称2码，同时给出其显式矩阵描述。作者还提出基于分块的构造，对所有奇数n≥3和素数幂q>2给出下界，该界严格大于同参数加性对称2码的最大基数。
看点通过二次型与椭圆二次曲面部分卵形的对应构造非加性对称码，给出首个无穷族超过加性码上界的结果，证明完整。
说明基于编码衍射图样的相位恢复：高斯-牛顿方法
简介本文研究从带有加性强度噪声的随机编码衍射图样中进行相位恢复的最小范数高斯-牛顿方法。作者在两种设定下给出收敛保证，并证明误差呈二次递推。数值实验在合成信号和自然图像上显示该方法相对于现有先进算法具有效率优势。
说明从单张 GPU 看分布式训练：RankLens 单秩仿真系统
简介分布式训练的调试、调优和分析成本高，通常需要在目标规模集群上反复运行。该论文提出 RankLens，在单张 GPU 上运行一个幸存的进程（rank），执行原始训练程序的真实本地计算，并在通信节点上用记录的通信结果和耗时来替代真实的多卡通信。论文在 DeepSpeed 与 Megatron-LM 的 8 至 64 卡配置上评估，报告训练张量通信结构匹配率为 100%，仿真耗时误差低于 5%，并可将分析所需资源从目标规模集群降到单张 GPU。
说明度量空间中带候选地点的两设施真实选址问题
简介本文研究两个设施的选址问题，每个代理人拥有度量空间中的私有位置并对两个设施有已知偏好。设施只能建在给定的候选地点，目标是近似最小化社会成本或最大成本，同时激励代理人如实报告位置。文中在直线度量下确定了确定性机制对社会成本的近似比为7，并表明随机化可带来严格改进；对最大成本，最优确定性保证3仍是紧的。对一般度量空间，文章给出确定性策略证明机制的紧近似比：社会成本为2n-1，最大成本为5，并指出随机化对两个目标都有明显改进。
说明面向时延的上行 NOMA-MEC 与夹点天线（PASS）：可行性优先的资源分配框架
简介本文研究移动边缘计算中多用户同时卸载时如何在时限内完成任务。作者采用上行非正交多址接入系统，并由夹点天线系统提供视距链路，通过联合优化发射功率、CPU 频率和天线配置来满足时延约束。文中给出了闭式的最小功率可行性判别方法，并提出三块交替优化算法，数值结果显示该方案在用户负载较高时仍能保持时限可行性。
说明瑞利-贝纳德对流的时空并行直接数值模拟：用并行谱延迟校正法缩短模拟时间
简介论文研究瑞利-贝纳德对流（一种湍流流动模型）的直接数值模拟，这类模拟需要非常精细的网格和较小的时间步长，计算成本高。作者探索用并行谱延迟校正（SDC）作为高阶时间推进方法，在JUSUF（CPU）和JUPITER（GPU）上用两种代码测试。结果显示，并行SDC能在时间轴上提供一定并发性，并允许更大的最大稳定时间步长，从而减少模拟一个自由下落时间所需的挂钟时间。
说明弦码：码的构造与高效高斯消元译码
简介本文提出“弦码”，即校验矩阵的原图（primal graph）为弦图的线性码。作者证明，对任意擦除模式，弦码对应的译码子矩阵仍保持弦图结构，因此沿完美消除序列进行的高斯消元可避免特定类型的填充，其计算复杂度低于对随机码的高斯消元译码。文中还给出了弦消元复杂度的上界。
说明匹配数不超过二的需求图的路由最优性
简介本文证明在无向网络中，若需求图的匹配数不超过二（即不存在三条端点两两不相交的需求边），网络编码与分数路由具有相同的容量区域。作者借助 Liu 等人的度量填充归约，把问题化为固定图 Γ_{3,3} 上的距离加权通信不等式，并通过条件熵不等式、两次图收缩及确定性交互的信息不等式完成证明。
说明Reed–Muller 码 RM(1,9) 的覆盖半径为 242
简介该论文解决了密码学与编码理论中长期未决的问题：Reed–Muller 码 RM(1,9) 的覆盖半径是 242。作者通过构造一个达到尖锐 Walsh ℓ¹ 界的三次布尔函数，排除了非线性度 244 的可能；并通过推导不等式，排除了非线性度 243 的可能。
看点解决了RM(1,9)覆盖半径这一长期未决问题，通过Walsh谱界与立方函数分类排除了244和243两种情形，证明较为严谨，对编码与密码学理论有重要意义。
说明基于配额的老化机制：面向LLM服务中预测引导调度的方法
简介本文提出基于配额的老化机制（QBA），用于大语言模型服务中的请求调度。该方法将预测的短请求优先准入与对已等待较久的预测长请求、设有配额上限并强制执行欠债约束的提升相结合。作者在考虑解码优先批处理、分块预填充等条件的事件驱动模拟器中，将QBA与FCFS、预测短优先和激进老化进行比较。结果显示，QBA介于激进短优先与无限制老化之间，能显著降低长请求的尾延迟，同时保留预测引导调度的大部分平均延迟收益。
说明基于学习的分数型Turbo消息传递：从空间压缩测量中恢复信道
简介该论文研究大规模MIMO基站混合波束成形中的上行信道恢复问题。作者提出学习型分数Turbo消息传递框架（L-STMP），将迭代过程展开为少数可训练层，并引入PMI辅助的波束选择作为方向先验。仿真结果显示，该方法优于现有基线，在PMI辅助压缩下取得明显的重建增益。
说明加权流行匹配的拟阵推广：刻画与算法
简介本文研究一个统一两类推广的问题：单侧偏好模型中的加权流行匹配与流行公共独立集。作者引入加权流行公共独立集问题，它同时推广了这两类问题。主要结果是该问题的第一个多项式时间算法，其关键是对加权流行公共独立集给出一个与解无关的刻画。
说明借助 Rényi 散度改进 McDiarmid 不等式的分布相关界
简介本文探讨能否用 Rényi 散度改进 McDiarmid 不等式及由 KL 散度导出的分布相关细化。作者指出，把 Marton 输运证明中的 KL 散度换成阶数 0<α<1 的 Rényi 散度后，输运不等式一般不再成立。对独立有界随机变量之和，利用 Rényi 散度的可加性，可以重新推导出集中界。对伯努利和，这些界在一定偏差阈值范围内严格优于 KL 散度导出的界。论文还给出与 Gilardoni 不等式相关的分布相关细化，并为一般集中界给出显式常数。
说明双机器人可解性剖面的最小精确析取基
简介本文研究平面中两台自主移动机器人在可变迷失方向、手性和刚性移动条件下的任务可解性。作者证明所有上集都可实现，并构造了由十三个具体任务组成的最小精确析取基。文中指出，该基可用于表示全部54种可解性剖面，且六个任务即可区分计算类之间的包含与不可比较关系。
说明利用半域码构造最优 Ferrers 图秩度量码的打孔-包含方法
简介Ferrers 图秩度量码是随机网络编码中恒定维数码多层构造的重要组件。本文针对图形 [3,3,3,5]、秩距离为 3 的情形，对每个素数幂 q 构造了最优的 [[3,3,3,5],6,3]_q Ferrers 图秩度量码，回答了 Etzion 等人 2016 年提出的一个公开问题。该构造先建立 [3×4,4,3]_q MRD 码，再证明其在最后一列打孔后的 Delsarte 对偶码包含一个来自半域码的 [3×3,3,3]_q MRD 码。此外，作者还对两类无穷族 Ferrers 图给出了最优构造。
看点通过穿孔与包含构造，回答了Etzion等人提出的公开问题，给出多个无限族，新意明显；证明完整，但影响集中于编码理论子领域。
说明容量优于算力：在消费级CPU上部署大型临床语言模型的内存优先方案
简介该论文指出，在医疗场景本地运行大模型的主要瓶颈是显存而非算力。作者在两台消费级电脑上，用纯CPU流程运行一个27B参数的4位量化模型（以开源模型代替医疗模型），处理合成的FHIR提示，模型完全加载在系统内存中，而两块显卡都因显存不足无法运行。论文还测量了推理速度和联邦微调的通信量（仅约22.6 MB的低秩适配器）。
说明排序算法（Ranking）的按秩分配增益框架：认证容量与差距
简介本文研究在线二部图匹配中的随机原始-对偶框架，即按离线秩分配每单位匹配增益的方法。作者定义了该框架的“认证容量”与“认证差距”，分别刻画可获得的最强一致保证及其与Ranking实际竞争比的差距。论文分析了在线度至多为d的图以及d正则图，并给出在度为1和无限制情形下框架是紧的，在度为2时存在严格正差距的结论。
看点在Devanur等人的原始对偶框架上定义认证容量并刻画其与Ranking竞争比的差距，给出低度图上精确结果及上下界，理论贡献明确。
说明带样本与不带样本的改进组合拍卖机制
简介本文为多件商品、多名XOS买家的组合拍卖（以社会福利最大化为目标）提出新机制，涵盖带样本的先知模型、秘书模型和离线模型。在先知带样本版本中，买家以对抗顺序到达，每个分布抽取O(log log m)个样本，给出普遍真实的多项式时间(2+ε)近似机制，近似因子在单物品且无激励约束时也是紧的。在秘书和离线模型中，作者得到普遍真实的O(log log m)近似机制，改进了此前的O((log log m)^2)结果。
看点改进了组合拍卖中先知与秘书模型的近似比与样本复杂度，解决了两个公开开放问题，并给出紧界与理论证明。
说明CacheSmith：在延迟服务等级目标下利用自适应KV缓存复用实现准确的RAG服务
简介本文提出CacheSmith，一种用于RAG预填充阶段的KV缓存复用系统，目标是在保证生成质量的前提下提高满足延迟服务等级目标（SLO）的请求比例。它将选择性重计算拆分为WarmUp、Probe和Patch三个阶段，并通过SLO感知调度器与预算感知规划器动态配置。在四个基准测试、不同到达率和突发程度下，该系统相比四个最先进基线，质量门控SLO达成率最多提升27.5%。
说明面向感知音频编码的协同自适应熵建模与率失真最优比特分配
简介该论文提出一种感知音频编码器，在不传输模型边信息的前提下，让熵编码模型与比特分配在各数据块之间协同自适应。编码端与解码端根据已解码的数据块累积相同的直方图，并同步更新模型状态。实验显示，在每块严格的码率约束下，考虑熵编码的比特分配使感知失真（线性尺度下的带内噪声掩蔽比）相对降低15%至24%，协同自适应又进一步降低3%至4%（在双簧管样本上最高可达15%）。MUSHRA听感测试在每声道80 kbps下验证了这一排序。
说明针对“最低价购买”型顾客的单位需求定价
简介本文研究顾客采取“最低价购买”行为（选择效用非负的最低价商品）时的单位需求定价问题。作者证明在对称环境下，统一定价通常是最优的，且与最优逐件定价的差距在最坏情形下为对数级，并在非对称正则估值情形下给出约69.86%的收益保证并证明其紧性。结论显示，在此类更保守的需求模型下，非统一定价的价值大幅降低，甚至常常消失。
说明在线平台增长的随机模型：如何在供需双方逐步扩张中做出准入、分配与报酬决策
简介该论文研究作为双边匹配市场做市商的在线平台如何增长，即“先有鸡还是先有蛋”的难题。作者将平台增长建模为马尔可夫过程，服务提供者和客户按泊松过程到达。论文刻画了平台的最优准入、分配与报酬策略，并指出资历导向的报酬可以在需求有限时替代前期补贴。
说明易腐商品的动态清仓定价：一种随库存调整价格的算法
简介本文研究卖家在库存有限、顾客估值各异的情况下，如何为易腐商品逐一定价。作者提出可解释的动态清仓定价算法DROP，根据当前库存和预期未来需求实时调价。文中证明在估值服从有界或指数分布时，随市场规模增大，该算法的期望收益趋近最优收益；对于重尾的帕累托分布，作者又提出尾部感知版本TA-DROP，通过提高价格保护库存，并证明其恢复渐近最优性。
说明计算周期性变化卫星网络中所有节点对之间的最短通信时间路径
简介本文针对低轨卫星星座等拓扑随时间变化的网络，提出计算所有节点对最短时间路径的算法。该方法将网络建模为时变图，算法复杂度为 O(M²n³)。其计算结构包含前向和后向两个类似矩阵乘法的步骤，便于在 GPU 等 SIMD 架构上并行，从而在快速变化的低轨卫星星座中实现高效的全网消息路由。
说明二维热流下Fisher信息凸性的一个精确计算机辅助下界
简介论文研究二维高斯热流中Fisher信息满足的微分不等式的最优常数c。已知结果为c=1不成立，平方根凸性定理给出c=1/2。作者用精确有理的平方和证书证明c至少为231691/250000（约0.926764），并给出0.926764≤c*<0.94176665的上下界，最优值仍未确定。
说明面向计算机科学家的契约理论导论：用结果导向的支付激励努力投入的综述
简介这篇综述面向计算机科学读者，介绍契约设计，即通过基于结果的支付来激励努力投入。文章讨论了在线劳动力市场、激励感知的算法分类以及新兴AI智能体生态等应用场景。文章介绍了经典的委托-代理模型，说明最优契约可通过线性规划求解，但往往不透明且脆弱，因此转向线性契约等更简单的形式，并讨论其近似保证与稳健（最大-最小）最优性，最后延伸到多智能体组合契约及部分信息下的学习方法。
说明MCCL：基于测量的集合通信库，可在网络性能下降时动态重新生成通信调度
简介大规模分布式训练中，集合通信常是性能瓶颈，而现有库使用固定拓扑和峰值带宽预先计算调度。MCCL通过被动测量GPU间吞吐量、检测持续性性能下降，并用热启动合成器重新生成受影响的调度后在训练中热切换。原文报告在硬件原型上开销低于2%、测量误差低于1.2%、热切换约12毫秒，并在模拟的Llama、DeepSeek训练负载下，于灰色故障情况下相比静态调度最多缩短训练时间至4.99倍。
说明构造正则胖线性集与不可表示的q-拟阵
简介本文研究有限域上线性集的一类结构，即恰有 r 个权重不小于 2 的“胖点”、其余点权重为 1 的正则胖线性集。作者利用定义子空间的标量稳定子导出点权重的整除约束，并由此证明秩为 2i 的正则胖线性集在 PG(1,q^n) 中至多有两个胖点或恰有 q+1 个胖点。作者还构造了胖点不构成子几何的高维例子，并将射影直线上的结果用于 q-拟阵的可表示性，给出一族无限的不可表示秩二 q-拟阵。
看点解决了两个公开问题：给出点权整除约束，并构造新的高维正则胖线性集及不可表示的q-拟阵族，证明严格。
说明FlashT2S：面向异构神经形态大模型后端的GPU加速张量到脉冲转换算子
简介本文针对神经形态大语言模型训练与推理中的张量与脉冲数据格式转换瓶颈，提出GPU加速的转换算子FlashT2S。通过架构感知和数据为中心的优化降低转换延迟。实验显示其相对原生算子平均加速约850倍，在实际工作负载中约802倍，并比torch.compile生成的内核快5至11倍。
说明短BCH码的多权重移位求和迭代译码研究
简介本文研究一种利用对偶码字的移位求和译码算法。现有方法主要依赖最小权重对偶码字，但这类码字数量有限。作者将计数机制扩展到汉明权重不超过给定上界的对偶码字，并提出归一化计数规则以抑制高权重类别的计数偏差。基于该框架，作者提出硬判决和软信息辅助的迭代误差消减译码器。数值结果显示，该方法优于现有的最小权重移位求和方法，对短码尤其有效。
说明MODAIC：面向去中心化多模态学习的协调异步机制
简介这篇论文提出 MODAIC，一种无需等待的去中心化多模态学习系统，用于在带宽和算力各异的边缘设备之间协调训练。系统让各模态独立推进并保持跨模态特征交换，同时通过负载感知的更新拉取和考虑共识的节点选择来减少拥塞与过时更新。实验在 AVE 和 KU-HAR 数据集上进行，结果显示平均精度和最差智能体精度均有提升，云端测试中收敛时间最多缩短 30%。
说明带升级补救的在线公平分配
简介本文研究不可分割物品的在线公平分配。在物品分配不可撤销的标准模型中，任何算法都无法保证最大最小份额（MMS）的正比例。论文考虑在重新分配时确保每个受影响的代理人至少不变差的两种升级方式：物品级升级与捆绑级升级。作者给出了物品级升级下的最优近似因子约为 1/ln n，捆绑级升级下可达到两个代理人的精确 MMS 及任意数量代理人超过一半的 MMS。
看点提出在升级补偿约束下的在线公平分配新模型，给出近最优的 1/H_n 因子并用 2 人精确 MMS 与超过半数 MMS 的结果，理论证明较完整，对子领域有较大影响。
说明超越边界：通过扩散、反向与收集实现网格最优分散
简介本文研究在有向正方形网格上，k≤n 个移动智能体在局部通信模型下如何确定性地分散到互不相同的节点上。已有算法在 k=Θ(n) 时最优，但 k 较小时是否能达到 Ω(√k) 的时间下界尚不清楚。作者提出 SRC 算法，可在 O(√k) 同步轮内完成分散，每个智能体仅需 O(log k) 位持久内存，同时匹配时间与内存下界。
看点提出在局部通信下以O(√k)轮完成扩散的确定性算法，匹配时间与内存下界，填补了开放问题，证明充分。
