分布式计算、博弈论、信息论等。
说明FP64 足够，INT8 够用，手头只有 FP4/6/8：用低精度矩阵乘法模拟双精度计算的方案
简介该论文将 Ozaki 方案 II 及其 FP8、FP4 变体视为同一类方法，利用模余数的方式用低精度矩阵乘法（GEMM）模拟 FP64 矩阵乘积。作者把方案选择建模为最小化低精度 GEMM 次数的组合优化问题，并给出该类方案的次数下界。在三款 Blackwell GPU 上实现后，INT8、FP8 和 FP4 方案的速度可超过原生 FP64，在 B300 上最高达 83 倍。
看点将Ozaki类方案统一为组合优化问题并给出GEMM数下界，首次得到FP6方案；在三款Blackwell GPU上实测，最高83倍于原生FP64，证据较充分。
说明用于纠正 t 次删除的阶最优系统置换码
简介本文构造了能纠正多次符号删除的全系统置换码，分别针对符号不变删除（SID）与置换不变删除（PID）两种模型。对任意固定的 t≥1 及足够大的码长 n，编码器在保持原始符号顺序的前提下插入冗余标记，PID 需要 7t−1 个、SID 需要 4t 个。两类码的冗余分别为 (7t−1)log n+O_t(1) 与 4t log n+O_t(1) 比特，编码与解码均可在 n^{O(t)} 时间内完成。
说明MEDEM：多引擎深度学习加速器设计方法
简介本文提出多引擎深度学习加速器设计方法MEDEM，用于为多样化的深度学习负载设计并选择由互补引擎组成的加速器组合。该方法定义通用引擎抽象、协同设计候选引擎，并在资源预算下选择能使总执行代价最小的引擎组合。实验显示，MEDEM设计的加速器在能量延迟积和吞吐量上的几何平均提升最高分别达4.84倍和1.59倍。
说明双边与匹配市场中的次优社会福利精确下界
简介该论文研究私有价值使市场损失多少社会福利，给出次优福利与最优福利之比的精确值：任意先验下约为0.8882516903，买方具单调风险率时约为0.9113893681。两个常数在双边交易中即可达到，并可推广到匹配市场。论文还给出了两个常数的变分刻画与可复现的数值区间证明。
看点给出双边贸易及匹配市场次优福利比的精确常数，并证明其对任意分布与单调风险率情形均为紧界，理论改进显著。
说明可旋转天线赋能的天-空-地一体化网络：机遇与挑战
简介本文探讨可旋转天线（RA）技术在天-空-地一体化网络（SAGIN）中支持通信与感知的作用。RA通过机械或电子方式调整波束指向而保持天线位置固定，以适应异构平台的移动性与业务需求。文章分析了其在广域覆盖、动态定向传输与协同感知中的作用，并讨论了信道获取、跨层协调与部署等设计挑战，最后以RA阵列原型和两个仿真研究说明可行性与潜在性能增益。
说明在大字母表上纠正两个删除且只用三个冗余符号的系统码
简介本文构造了在多项式规模字母表上纠正两个删除、仅需三个冗余符号的系统码，并给出多项式时间的编码与解码方法。依据 Liu 与 Xing 的基数界，三个冗余符号是必需的，因此该构造在这一指标上是最优的。此外，文中还给出了字母表规模为 O(n^4) 的存在性结果，对单次相邻两删除的突发错误也给出了类似的多项式时间构造。
说明拟阵打包博弈：核与核仁
简介本文从合作博弈论的角度研究拟阵基打包问题，并定义了对应的拟阵基打包博弈，把 Baiou 与 Barahona（2020）的网络强度博弈从图拟阵推广到一般拟阵。作者利用拟阵的交换结构，建立了分析该博弈核与核仁的图论框架。该框架给出了核非空的紧凑刻画，并给出了判断核是否非空、求核分配以及计算核仁的多项式时间算法。
说明硬核约束多址接入信道中基于SIC解码的VLSF码性能保证
简介本文研究在多址接入信道中使用可变长停止反馈（VLSF）码、并采用串行干扰消除（SIC）解码时的时延性能。针对由硬核点过程建模的部署，证明覆盖区域内所有发送端的信干噪比（SINR）有正的下界。在给定总错误概率约束下，这些发送端可在有上界的时延内完成解码，且时延可用逆高斯分布近似。数值结果表明，硬核约束可为各链路提供一致的性能保证。
说明源自丁猜想的六类二元码
简介丁（Ding）2016年提出十个关于布尔函数所生成二元线性码的猜想。其中第38至41条已由Gölo\u{g}lu与Krasnayová证明，本文研究其余六条（第19、27、30、33、34、37条）。文中对第19、27条得到共同的权重限制及若干无限五权族；对第30条证明码的非零权重数为三、四或五，并以一个四权例子否定原“三或五权”的断言；对第34条给出一般的(2h+1)权上界及一个六权反例。第37条借助Ahmadi与Shafaeiabr的已知结果，并结合两个剩余类的处理而完全解决。
说明指数退避：亚稳定性与隐式准入控制
简介本文分析了指数退避算法，它用于让多个用户以分布式方式共享同一个通信信道，与 802.11 等网络标准的做法类似。作者证明该算法存在亚稳定行为：系统会在长时间尺度上，在只有部分信源能有效占用信道的亚稳定状态之间振荡，从而形成一种隐式的准入控制。文中提供了理论工具和数值实验，实验可完全复现，代码以 Python 包形式公开。
说明面向异构边缘网络分布式优化的分窗量化分组ADMM方法（WQ-GADMM）
简介本文提出一种分窗、量化的分组交替方向乘子法（WQ-GADMM），用于在有限激活容量和通信资源下协调边缘客户端的分组更新。客户端按估计计算时间分组，每个窗口每轮只激活有限数量的组，云端在所有组各更新一次后更新全局模型，并对上下行模型交换进行量化以降低通信开销。对于光滑非凸目标，论文给出了平均平方KKT残差的上界，包含随迭代次数下降的项和与量化相关的误差项。在MNIST和CIFAR-10上的实验显示，12位通信在保持与全精度相当测试精度的同时，降低了通信量和模拟墙钟时间。
说明Cobalt：利用专家共激活实现高效分布式MoE训练
简介本文提出Cobalt，一个高效的混合专家（MoE）训练框架。研究者观察到许多专家对常被同一个token共同激活，据此把经常共同激活的专家安排到同一节点以减少跨节点通信，并通过节点内每步调整来平衡负载，同时设计了考虑通信的任务分配方法。在32块B200 GPU上的实验显示，相比现有MoE训练框架，Cobalt最高可加速1.53至2.41倍（平均1.28至1.89倍），跨节点token流量减少75.74%至99.26%。
说明基于 SSD 稀疏 KV 存储的高效智能体 LLM 推理服务（Janus）
简介论文针对多轮工具调用的智能体会话，提出 Janus 推理服务框架，用 SSD 存储历史 KV 缓存并采用稀疏注意力。它让 SSD 读取移出关键路径，用模型自身的 KV 选择模块提前预测所需数据，并通过合并读取、打包写入来提升 SSD 效率。在三个模型和三条智能体轨迹上，首 token 延迟较现有方法最多快 1.57 至 3.69 倍，解码效率保持不变。
说明面向异构加速器异步强化学习后训练的推演负载重塑
简介该论文针对异构硬件上的强化学习后训练推演调度问题，提出CadenceRL系统。它通过重塑负载结构（缩短轨迹、集中长上下文尾部、延迟准备KV缓存）来兼顾吞吐与单条轨迹完成时间，无需人工路由配置。原文称其在异构推演池上将解码吞吐提升最多48%，P95轨迹延迟降低最多64%。
说明为 bfloat16 矩阵乘法的单侧 ABFT 校验和标定误报界限，以及它漏检的情况
简介该论文研究基于算法的容错（ABFT）如何检测矩阵乘法中的错误，此前只在 float32 下评估。作者在 bfloat16、K=4096 的条件下，用约 8e7 个干净残差拟合广义帕累托分布，给出每次矩阵乘法误报率 1e-6 对应的阈值约为 3.14e-6。在其设定的输出层扰动模型下，该检测器捕获了 400 次单个指数位翻转中的 304 次（76%），低尾数位翻转则全部漏检。论文并非测量实际硬件故障率。
说明面向1比特DAC的MIMO-OFDM雷达通信一体化系统高效发射波形设计
简介本文研究配备1比特数模转换器（DAC）的MIMO-OFDM雷达通信一体化（DFRC）系统的高效波形设计，该方向在现有文献中研究较少。作者以最大化目标角度Fisher信息矩阵的迹为目标，并通过相长干涉（CI）约束控制符号错误概率，同时加入时域1比特发射字母表约束，形成大规模非线性整数规划问题。为此提出一种非精确交替方向乘子法（ADMM），在时域与频域之间交替更新。仿真结果显示该方法具有良好的DFRC性能。
说明HARS：一种基于初始校验子参数映射与局部可靠性加权的LDPC比特翻转译码器
简介本文提出HARS，一种结合局部信道可靠性与初始校验子选择参数的比特翻转LDPC译码器。初始校验子的权重决定每帧的基础权重、可靠性系数、阈值衰减因子和扰动幅度。在PEGReg和WiMAX码的仿真中，相较于校准后的SM-NGDBF基线，HARS降低了误码率和平均迭代次数；同时给出了在XC7A200T FPGA上的实现结果。
说明单标签设定下DNA标记容量研究
简介DNA标记通过记录标签位置来区分不同DNA序列，其标记容量指序列长度趋于无穷时可区分序列数量的指数增长率。本文将标记过程建模为确定性信道，证明其零误差容量等于标记容量，并将单标签情形对应到星图上求零误差容量。作者由此给出所有星图的零误差容量，完整刻画了所有单标签情形的标记容量，并提出构造容量可达码的通用方法。
说明有限卷积模型中的近似均匀性
简介本文研究两个独立的、支撑集固定的分布之和逼近均匀分布的问题，采用曼哈顿距离、欧氏距离、前向KL散度和基于线度量的Wasserstein-1距离作为度量。作者在两类模型中给出了显式结果，并将其重构方法应用于一个关于加性噪声信道编码容量的最新猜想。
说明非线性定价让数据卖家的最优定价重新变得可解
简介论文研究数据卖家向预算受限的买家出售多个数据集的定价问题，卖家为每个数据集设计把购买量映射为总付款额的定价函数。先前工作限定为线性定价且计算上难解；本文允许使用一般函数定价，表明这种灵活性不仅能提高收入，还能使问题可在多项式时间内求解。最优定价呈分段线性凸形式，所有定价函数的拐点总数不超过买家数量。
说明用于MIMO设备到设备干扰网络的代理增强分式规划（SEFP）
简介该论文针对多流MIMO设备到设备（D2D）干扰网络中的加权和速率最大化问题，将标量形式的代理增强分式规划（SEFP）推广到矩阵形式，借助埃尔米特函数演算构建矩阵SEFP框架。作者还证明XMMSE方法可视为SEFP的特例，并据此提出用于灵活关联MIMO D2D网络联合调度与波束成形的SEFPLinQ算法。数值结果显示其性能有一致提升。
说明Walker卫星星座路由表缺乏周期性的研究
简介本文将Walker星座中卫星构型随时间的演化视为环面上平移的动力系统，并把这一分析扩展到借助固定地面中继站的路由。研究表明，任何确定性、时不变的路由规则所生成的路由表都继承了环面流的二分性：轨道角速度比为有理数时路由表周期性重复，为无理数时则非周期，但其长期平均可按显式不变测度计算为系综平均。文中还以两城市间的往返时延为例，说明如何借助遍历性比较星座与地面光纤的时延。
说明ParaAnya：通过即插即用输出缓存加速并行扩散采样
简介扩散模型的采样过程按时间顺序逐步进行，计算量大。并行时间求解器会在滑动窗口内并行生成，但窗口重叠导致同一时间步被反复计算。ParaAnya 缓存扩散模型的输入输出对，在重叠时间步复用缓存结果，只把未命中的时间步分配给 GPU，减少函数调用次数。在 Stable Diffusion v1.5 上，相比未缓存版本提速 1.30 至 2.43 倍，并保持相近的 CLIP 分数。
说明强 EFX 可定向图的多项式时间刻画
简介本文研究离散公平分配中的图形估值模型，即顶点为代理人、边为物品。作者给出了强 EFX 可定向图的多项式时间刻画：连通图当且仅当为二分图，或其块分解中恰有一个非二分块且存在一个顶点满足在该块内度数为 2 且删去该顶点后图为二分图。该证明据称由 AI 在人工干预下完成。
看点完整刻画了强EFX可定向图的多项式时间判定条件，解决了Christodoulou等人提出的公开问题，有严格证明。
说明奇异点最优的秩度量 CSS 码：等式结构与精确投影恢复半径
简介本文针对共享控制引起的相关故障（物理支撑稠密但在基域上秩较低）研究秩度量量子码。作者证明了 Calderbank–Shor–Steane 码（包括退化码）的非对称秩度量 Singleton 界，并通过交换的最大秩距离矩阵码刻画等式成立的条件。对于正逻辑维数的 Singleton 最优码对，测量得到的校验子在严格小于扇区秩距离一半的半径内精确确定模稳定子的投影误差。
说明移动场景下区域数字孪生的条件覆盖贡献者选择
简介本文研究移动环境中区域数字孪生如何在拥塞的广播网络上协调贡献者接入，且无需固定基础设施。作者提出由主机协调的协议，只接纳能在周期截止时间内带来及时、非重复覆盖增益、且超过拥塞价格的贡献者，并用13字节信标摘要支持发送前评分。基于标准的仿真显示，该协议在与ETSI冗余缓解相近的负载下，将及时可用覆盖缺口从5.6%降至1.4%。
说明求解北极产品组合拍卖
简介本文研究北极产品组合拍卖，其中预算受限的竞买人可以表达对多种可替代商品的偏好。作者给出了首个强多项式算法，用于在拍卖方具有可分离凸分段线性成本时求出竞争均衡。该算法结合了到无成本北极拍卖的强多项式归约，以及已有的无成本北极拍卖强多项式算法。
看点首次给出强多项式算法求解带可分凸成本的Arctic拍卖竞争均衡，并建立与线性Fisher市场的归约，理论贡献明确。
说明随机到达顺序的在线二分匹配中，到达时间激励相容的竞争性算法
简介本文研究随机顺序在线二分匹配问题，用户只关心是否被服务，平台希望最大化总匹配收益。作者在完全二分图上提出了首个具有常数竞争比的激励相容边加权匹配算法，其竞争比与在线点数和离线点数之比相关，并给出了二元收益情形下竞争比更优的算法。
说明LDPC Fractus 码：具有递归结构的稀疏码
简介论文提出一类通过自相似递归构造的稀疏矩阵（称为 Fractus 矩阵），并用其构造低密度奇偶校验（LDPC）码。该构造生成的 Tanner 图围长为 6，最小汉明距离至少为 ℓ+1。作者还证明了这类矩阵的稀疏性、规则性、递归分解和翻转转置对称性，并指出其具有格结构。
说明在近线性时间内最大化社会影响力
简介该论文研究影响力最大化问题：在有 n 个节点、m 条边的图中选出 k 个种子节点，使信息在标准扩散模型下的期望传播范围最大。以往 Borgs 等人的算法运行时间为 Õ((n+m)k)，此后的改进只能削减对数因子或改善对 ε 的依赖。作者提出一种新算法，在时间 Õ(n+m) 内得到 1−1/e−ε 的近似比，去除了时间复杂度中对 k 的乘性依赖。
看点解决了影响力最大化中长期存在的开放问题，将运行时间从依赖k降至近线性，证明严谨，对子领域影响较大。
说明Voronoi-Markov链与空间熵：用于点模式分析的方法
简介本文重新审视空间语境下的熵概念，旨在为组织病理学等领域的点模式分析提出可计算、可解释的指标。作者讨论了泊松齐性与简单顺序抑制（SSI）等随机点过程假设，并回顾Voronoi与Delaunay剖分的已知结果，以用于经验假设检验的零分布。文中提出了基于Voronoi盆地上Ord分布的“密集盆地熵”（对聚集敏感），以及一个近似平面布朗运动的马尔可夫链。模拟与组织病理学实验表明，这些指标能提供与其他空间熵形式互补的信息。
说明动态跟踪与通信的基本极限：平稳策略视角
简介本文研究一种通感一体化问题：多天线发射机在与接收端通信的同时，跟踪一个遵循平稳高斯-马尔可夫模型运动的目标。作者把通信速率与感知误差之间的权衡建模为率失真问题，并用后验克拉美-罗界给出感知误差的可处理外界。文中证明在给定条件下，平稳随机马尔可夫策略已足够，并推导出高斯协方差控制的外界，数值实验将扩展卡尔曼滤波的可达前沿与该外界进行比较。
说明基于深度神经网络辅助的莱斯衰落信道上行SCMA近最优码本设计
简介本文针对下一代通信网络中的稀疏码多址接入（SCMA）技术，提出一种基于深度神经网络（DNN）辅助的近最优上行码本设计框架。该网络以无监督方式训练，损失函数由生成码本的结构特性导出，无需标注数据。论文推导了随莱斯因子变化的设计准则，AWGN和瑞利衰落可作为其极限情况；同时给出平均互信息的上下界，并分析了高信噪比下两类准则的渐近一致性。数值结果显示，该码本在多种莱斯因子下优于代表性基准方案，并在误码平台区表现良好。
说明DNA数据存储中文件检索的双曲界
简介本文研究DNA存储系统中两个文件共享编码冗余的方式如何影响其期望检索时间。作者针对由任意有限域上系统线性码编码的两个文件，验证了一个猜想：当至少一个文件维数大于1时，各文件维数除以其期望检索时间之和不超过1。该证明通过追踪生成矩阵列张成空间的增长并采用投影界完成。
说明基于 Bell-Cover 随机化的投注检验中的竞争最优性
简介该论文把 Bell 与 Cover 的随机化结果推广到投注检验：对复合零假设和简单备择假设，将随机乘子 U 与数值（numeraire）e-变量 E* 结合后，UE* 以至少一半的概率胜过任何其他 e-变量。文章还证明这种竞争最优性等价于不等式 E_Q[E/E*]≤1，并指出随机化无法提升任意 e-变量的竞争优势。论文同时讨论了代价：在期望对数财富和检验功效方面需要付出代价。
说明多物品拍卖中确定性机制的效力
简介本文研究单一买方、多件异质物品的多物品垄断拍卖问题。作者分析了三种简单的确定性拍卖（单独出售、整体打包出售、二者取优）的近似比，并对独立同分布两件物品的情形给出了紧致的近似比界。文中证明了最优收入与两种简单机制收入之间满足 REV ≤ 3 max{SREV, BREV}，改进了此前已知的界。
看点为两个独立同分布物品构造新的拉格朗日对偶证明，紧确定了确定性拍卖近似比，并改进了多物品收益比较的常数上界，证据较扎实。
说明具有常数最大最小份额保证的期望真实机制
简介本文研究在可分割性受限（不可分割物品）且agent估值为可加性的条件下，将物品公平分配给n个策略性agent的问题。作者提出一种期望真实（TIE）的随机机制，每个agent在每种实际分配中都能获得其最大最小份额（MMS）的至少1/7。该机制还具有事前无嫉妒性，并可在多项式时间内实现，从而确认了Babaioff等人关于基数信息可支持常数事后MMS保证的猜想。
看点证明了基数信息下真实期望机制可达常数事后MMS保证，解决了猜想，并给出多项式时间实现，证明较完整。
说明动态唤醒：碰撞代价高时的随机算法
简介本文研究共享信道上设备的唤醒问题：数据包在随机时隙变为活跃，只有恰好一个包发送时才算成功。作者提出无需碰撞检测、也不需知道包数的随机算法 Lowball，并以每次碰撞的代价 C 同时衡量延迟与碰撞总代价。当 C 足够大时，期望延迟与期望碰撞代价分别为 O(C^{1/2+ε} ln C) 和 O(√C)。
说明群论版张-杨不等式的一个简单证明
简介该论文讨论张与杨在1998年提出的第一个适用于所有熵向量的非香农型信息不等式，以及陈与杨在2002年建立的线性熵不等式与有限群子群基数乘法不等式之间的一一对应关系。作者此前缺少将张-杨不等式直接转换到群论框架的证明。本文用基础的群论与计数方法，直接给出了有限群子群基数情形下群论版张-杨不等式的证明。
说明空中记忆：多无人机记忆聚合的低空问答
简介本文研究低空问答（LAQA），多架无人机采集的记忆汇聚到地面服务器，以回答长时段内观测相关的问题。论文提出“生成对抗考试”（GAE）来衡量记忆质量，并构建以记忆为中心的框架（MemCen），在通信约束下联合选择无人机并分配发射功率。在CARLA的Town04和Town05场景中，问答准确率分别为92.4%和84.0%；在真实实验的全景多智能体系统（PMAS）基准上为88.5%。
说明硬阈值下的二进制 k-中心问题及其在委托投票中的应用
简介该论文研究如何用固定数量的中心字符串覆盖等长的二进制字符串（部分条目可能缺失），使每个输入字符串与最近中心的相对距离不超过给定阈值。研究动机主要来自计算社会选择中的多议题认可投票：在选举前如何设计代表，使尽可能多的选民愿意委托投票。论文在中心数量和一致性阈值两个维度上，给出了存在缺失条目时的完整计算复杂度结果；在无缺失条目的特例中，将硬度结果扩展到任意数量的中心和较大的阈值。
说明可补充预算的在线资源分配
简介在线资源分配是预算约束下按序决策的基础框架，经典模型假设资源只减不增。本文研究预算可补充的更一般情形，动作既可能消耗也可能补充资源，并提出一种基于对偶的算法。作者称该算法在标准情形下保持最优双界保证，在补充系数大于零时进一步改进，并保证严格满足预算约束。
