分布式计算、博弈论、信息论等。
说明将自下而上的指标与云服务商自上而下的报告对齐，用于云碳核算
简介论文指出，目前用于云应用碳核算的两类方法彼此脱节：自下而上的软件碳强度（SCI）便于优化，但租户难以获取服务商侧的开销；服务商自上而下的报告较全面，却粒度粗且方法不透明。作者提出“对齐版SCI（rSCI）”的构想，通过残差把单个工作负载的能耗估算与服务商报告衔接，并按物理驱动因素分配残差。作者认为，现有的自上而下报告还不足以支撑可信的对齐，并列出了服务商报告与标准方面的具体改进步骤。
说明多播猜想不成立：网络编码在无向多单播网络中优于多商品流
简介本文反驳了关于无向多单播网络的一个猜想，该猜想认为网络编码相对于多商品流没有吞吐量优势。作者在 PG(2,9) 点线关联图的一个 182 顶点二部子图上，构造了基于 F_9 的确定性线性网络编码，可支持 157 个独立单播会话，公共编码速率至少为 1，而任何分数多商品流的公共速率至多为 147/157。
看点构造有限域线性网络编码反例，否定了无向多重单播猜想，并给出可观的编码增益，证据充分但规模有限。
说明基于变分贝叶斯推断、考虑干扰参数的渐进式多目标MIMO感知
简介本文提出一种多阶段渐进式贝叶斯MIMO多目标感知框架。目标角度为待估随机参数，反射系数作为未知干扰参数处理。各阶段以上一阶段的后验概率密度作为先验，通过贝叶斯发射波束成形最小化角度估计的总后验克拉美-罗界。作者提出基于变分贝叶斯推断的方法，以目标数量的多项式复杂度给出闭式代理后验，优于指数复杂度的数值计算方法，数值结果验证了其逐步提升感知性能的效果。
说明双重量化下大规模MIMO-OFDM系统的频谱效率分析
简介本文研究上行链路中，模数转换器（ADC）量化与前传量化同时存在时的可达频谱效率。作者基于双重量化的导频观测推导出线性最小均方误差信道估计器，并利用"先用后忘"界得到可达频谱效率。数值结果显示，两种量化分辨率对频谱效率影响相当；分辨率不同时，较低者成为主要限制因素；六比特量化可达到理想情况下90%以上的频谱效率。
说明复合DNA的概率性GC含量约束
简介本文研究如何在复合DNA数据存储中编码生化上的GC含量约束。以往的确定性模型为避免链条超出允许范围而付出较高的速率代价。作者引入ε概率约束框架以考虑复合DNA的随机性，推导了基于组成类型的全局约束和基于有限状态马尔可夫链的局部滑动窗口约束的容量界，并提出了一种可达到容量的多类型枚举编码器。
说明面向分数时延与多普勒的AFDM系统模型阶数自适应信道估计
简介本文研究仿射频分复用（AFDM）系统的信道估计问题，针对存在分数时延、分数多普勒且传播路径数未知的信道。作者在改进的SAGE框架下提出模型阶数自适应估计器，通过残差检验新增路径、剪枝冗余路径，并以精确似然进行细化。仿真结果显示，该方法在归一化均方误差和误码率上优于SAGE、稀疏恢复和贝叶斯等基准方法，并可在最高600 km/h的终端速度下保持稳定性能。
说明HPC-MQBench：在 Slurm 上以合格性优先的单代理 Kafka 基准测试框架
简介论文提出 HPC-MQBench，一个基于 Slurm 调度的消息系统基准框架，先检查记录与投递的合格性，再对速率排名。在四节点、单个 Kafka 代理的评测中，120 种负载配置得到 99 个合格观测。最终选定的负载在五次观测中均合格，中位数指标包括平衡端点速率、待投递比例和 P99 延迟。框架的贡献在于可审计的配置选择，多代理与扩展实验留待未来工作。
说明可在多种硬件上移植运行的 SU(N) 格点规范理论模拟（基于 Kokkos）
简介本文介绍 kwqft，一个基于 Kokkos 的性能可移植实现，用于在任意时空维数下对 SU(N) 杨-米尔斯理论进行 Wilson 纯规范蒙特卡罗模拟。同一份源代码可在 Serial、OpenMP、CUDA、HIP、SYCL 等执行空间运行，并将 MPI 晕区交换与内部更新重叠。文中报告其结果与已发表数值一致（规范群可达 SU(17)），在 NVIDIA A100 上 Kokkos CUDA 后端与原生 CUDA 代码性能相当，并在 LineShine 超级计算机上展示了 SU(4) 格点的大规模加速。
说明AeroEval：面向AI生成无人机任务的分阶段程序与执行验证框架
简介论文提出AeroEval，一种由智能体辅助的中间件，用于验证大语言模型根据自然语言任务生成的无人机程序。它先做程序语法、平台接口和任务意图检查，再依据执行轨迹与环境信息评估实际行为，并将结构化失败信息反馈用于重新生成。在AirSim和Gazebo仿真器上的实验中，导航任务成功率由55%提升至95%。
说明可变失向下的会合：固定单位距离的算法能力
简介本文研究弱几何与弱同步假设下，两台带灯机器人的确定性会合问题。在可变失向（VD）模型中，每次观察时机器人局部坐标系可任意旋转、反射和缩放；在加入固定单位距离（FUD）后，局部单位距离保持不变。作者给出了若干不可能性结果与颜色数的精确边界，并提出利用周期性距离类的算法，将距离的乘性变化转化为可预测的循环相位移动。结果表明，固定局部度量可作为持久的循环记忆，并阐明了度量稳定性、单向可见性与调度原子性如何共同决定会合的可解性与颜色复杂度。
看点提出周期距离类把度量变化转为循环相位，多个调度器下给出可行算法并将全异步颜色数从12降到6，理论突破明显。
说明面向分布式态矢量模拟的通信感知量子比特布局与自动节点数分配
简介本文针对分布式量子电路模拟中量子比特放置不当导致节点间通信过多的问题，提出一种通信感知的量子比特布局优化框架，可在最小化节点间数据交换的同时动态选择计算节点数量。该方法已集成到QuCSLO库中，支持动态扩展节点、解析OpenQASM并与QuEST模拟器对接。在合成基准和QASMBench真实电路上的测试显示，优化后的布局能显著减少通信切割，在高纠缠电路中相比恒等布局获得超过2倍的运行加速。
说明基于混合 XPU 计算的快速且省内存的卸载训练框架
简介大模型训练时 GPU 显存容易不足，ZeRO-Offload 把优化器状态移到 CPU 内存，但存在 GPU 利用率低、通信与计算重叠不充分等问题。本文提出 MemFerry，利用 GPU 直接访问主机内存（DHA）计算 CPU 内存中的数据，并通过调度器与影子模型统一管理 GPU 与 CPU 中的参数分区；还结合动态规划算法把梯度经 DHA 卸载到 CPU。论文报告单 GPU 上训练速度最高提升 1.68 倍、可训练模型最多大 1.52 倍，并给出多卡与华为 CloudMatrix384 节点上的扩展结果。
说明排除小式图类上支配集的近最优常数轮近似算法
简介论文针对固定的真小式封闭图类，给出确定性的LOCAL算法，返回大小至多为(2a(C)+1+ε)γ_f(G)的支配集，其中γ_f为分数支配数。在平面图上得到确定性保证(7+ε)γ_f(G)，结合已知下界，确定了平面图最小支配集确定性常数轮近似比的下确界为7。论文还证明对r次路幂图，任何确定性常数轮LOCAL算法的近似比都不能低于2r+1。
看点解决了平面图确定性常数轮支配集近似比的开放问题，给出紧的下界与上界，理论证明完整。
说明带个人支付的无嫉妒分配
简介当不可分割物品的无嫉妒分配不存在时，可以通过金钱转移来恢复无嫉妒性。本文只允许代理人之间互相转移金钱，且每个代理人的支付受其个人预算限制，而非依赖外部补贴。研究表明，判断给定分配能否靠个人预算内的支付变为无嫉妒是多项式时间可解的，但从零计算此类分配的问题是NP难的。作者还做了参数化复杂性分析并给出若干特殊情形的高效算法。
说明布尔函数对映（antipodal）情形的 Hellinger 猜想
简介该论文研究在二元对称噪声下，由布尔决策诱导的两个输出分布之间的重叠程度。作者证明，在所有噪声区间内，对于输入符号全部反转时决策值也随之反转的对映决策，单一输入坐标能使这种重叠最小。证明借助平方根信道密度 Gram 矩阵跨类块的归一化核范数，并将结论推广到任意独立二元输入信道。
看点证明了平衡Hellinger猜想在对跌布尔判决下的最小重叠由单坐标达到，并推广到独立二元输入信道，理论新意明显。
说明用于二分图上二次正则化最优传输的分布式加速预条件ADMM算法
简介最优传输在机器学习和管理等领域应用广泛，但经典模型难以处理带图结构连接和质量不平衡的分配问题。本文提出一种完全分布式算法DAP-ADMM，每个节点只与图中的邻居通信，并在固定局部惩罚参数下给出全局收敛性及非遍历的O(1/k)收敛界。文中还设计了无需求解器的区间约束投影方法，并提出无需全局汇总的自适应惩罚更新机制。数值实验表明其相较标准分布式ADMM有实际加速效果。
说明用于符号对读取信道的函数纠错李距离码
简介本文研究符号对读取信道中的函数纠错码（FCSPLC），用于在纠错时保护消息的指定函数值，并降低可靠通信所需的冗余。作者将符号对李距离推广到整数环Z_q，并针对2^m元相移键控星座进行研究。文中给出了最优冗余的Plotkin型和Gilbert–Varshamov型界，并讨论了若干特定函数类别的构造与线性函数的下界。
说明二阶像尺寸刻画：含失真与保密性的信息论结果
简介本文研究编码约束与源单元及其输出像的概率之间的关系，把单输出的后验刻画推广到多输出的后验与条件组合像界，并引入实际失真标记与后验质量约束以处理保密性。文中给出多源辅助交集、有损重建与多个有信息的无损重建、高斯共同/私有描述、以及由给定条件类型实现的隐私放大等应用的二阶区域，并对一般情形给出显式速率界。
说明基于巴兰金界的里德堡量子阵列物理感知功率优化（论文）
简介该论文面向太赫兹波束对准中的到达方向估计，提出基于随机巴兰金界最小化的里德堡量子均匀线阵功率优化框架。作者在低信噪比条件下推导闭式巴兰金界矩阵，并结合电磁感应透明读出模型考虑光子散粒噪声等物理效应。仿真结果显示，该框架比克拉美-罗界更准确地预测阈值失效，并在严重太赫兹衰减下扩大了可靠工作区域。
说明在无向多播网络中，网络编码可以胜过路由
简介论文指出网络编码在无向多重单播网络中可以优于分数路由，推翻了Li和Li在2004年提出的猜想。作者构造了一个有限的无向网络，其中二进制线性分组码达到的公共速率严格高于最大分数路由速率。文中还给出了一族网络，编码速率趋近于一而路由速率有界，并且关键定理已在Lean中形式化。
看点证伪了Li与Li关于无向网络中编码无优势于路由的2004年猜想，构造了有限反例并给出无界族，证明严格、并用Lean形式化验证。
说明vLLM-Omni技术报告：面向全模态生成的统一服务运行时
简介随着智能系统扩展到语音、图像、视频和机器人动作等多种模态，单一架构的推理服务已不够用。本文提出vLLM-Omni，一个统一的全模态生成服务运行时，由单一编排器把每个任务组织为多阶段流水线，并通过专用引擎、阶段副本、数据通道和会话控制来支持流式输出、长时双工交互、世界模型与机器人等工作负载。报告介绍了其架构和兼容OpenAI及OpenPI的接口，并在H100等硬件上的多模态夜间持续集成中进行了评测，重点是Qwen3-Omni。
说明对数级社区数量下SDP的紧性与误差指数
简介本文研究社区数量按对数增长时，用于社区恢复的半定规划（SDP）松弛。在平衡随机块模型中，给出了远离临界情形时紧性的渐近边界。即使稀有顶点导致紧性失效，原矩阵的归一化误差在所有近似最优解中仍趋于零，并给出了与之匹配的高概率误差指数。在该谱稳定区域内，单次求解SDP加上显式舍入与精修即可实现精确的社区恢复。
看点在对数级社区数的随机块模型中给出SDP紧性的精确渐近边界及匹配的误差指数，理论推进明确，影响限于该子领域。
说明基于去中心化多智能体强化学习的关键任务频谱共享
简介该论文针对日益拥挤的频谱和关键任务应用需求，提出一种去中心化多智能体强化学习模型，使次级用户在共享频段中学习动态接入策略。模型采用马尔可夫势博弈框架设计智能体学习器，并使用轻量级线性演员-评论家算法，适合资源受限的边缘设备。实验显示，相较随机策略和预测启发式基线，该方法在保持吞吐量的同时显著减少碰撞，总碰撞最多降低96.8%。
说明全双工大规模MIMO感知-通信-计算一体化网络的性能分析与感知感知型资源分配
简介该论文研究全双工大规模MIMO感知、通信与计算一体化（ISCC）网络，用户将部分任务卸载到边缘服务器，接入点同时对目标进行雷达探测。作者推导了零强迫上行接收下的速率下界和目标角度克拉美-罗下界（CRLB），并联合优化卸载比例、用户与雷达发射功率及边缘计算资源，以最小化平均端到端时延，再用逐次凸近似算法求解。仿真结果显示，联合分配相比等功率方案可将雷达发射功率降低约86%（在-40 dB CRLB阈值下），并优于固定分配和半双工方案。
说明这篇论文讨论科学计算中如何合理降低数值精度以节省算力，减少不必要的高精度浪费。
简介论文指出，硬件趋势偏向面向 AI 的低精度格式，而偏微分方程模拟中的离散化误差会掩盖 FP64 的低位比特，使其变得无关紧要。作者提出基于信噪比（SNR）的判据来评估安全降精度的影响，并给出一套面向数据流、自动化的混合精度子图降精度工作流。在天气与气候应用的大规模评估中，GPU 上的策略性降精度可实现最高 1.8 倍加速，同时保持物理结果的可信度。
说明在线次可加组合分配问题的高效算法
简介本文研究在线组合分配问题（物品不可分割，买家估值为次可加函数）。此前Correa和Cristi证明存在6-竞争比的在线算法，但仅为存在性结论。本文给出期望多项式时间的(6+ε)-竞争在线算法，并在离线情形下恢复Feige的(2+ε)近似结果。在买家估值同分布时，还得到改进的(60/11+ε)-竞争算法。核心技术是一种可高效计算的递归束得分生成器。
看点解决了开放问题：将存在性的6竞争比转化为多项式时间算法，并提出可高效计算的递归捆绑分数生成器，理论证明完整。
说明函数纠错码中的最优编码与系统性
简介本文研究函数纠错码（FCC）：在 t 个错误下保护消息的函数值。作者指出，非系统编码可以比系统编码用更少的冗余。对于线性函数与固定线性码，文中给出构造最优生成矩阵的算法，并以贪心基中一个码字的重量确定最优值。对于两值函数，文章不限线性与系统性，证明非系统 FCC 存在的条件，并给出冗余为 1 足够的若干情形。
看点证明非系统编码可把冗余从2t降到1，并给出线性情形的最优生成矩阵算法与两值函数的完整刻画，理论贡献突出，对编码理论子领域有实际影响。
说明大玩家类与近似加权投票：当每类参与者都足够多时，简单博弈近似于加权多数表决
简介论文研究简单博弈中的加权多数表示问题。已知联盟偏好完备并不保证存在加权多数表示，作者证明在近似意义下可以得到加权性。若所有等价玩家类在渐近意义上都变大而类别数有界，则近似误差上界为最小玩家类规模的倒数量级，并且该界是紧的。
说明GoDDaR：自动检测并修复 Go 代码中的死锁
简介Go 语言的 goroutine 容易发生死锁，运行时只能发现所有线程都被阻塞的全局死锁，无法识别部分 goroutine 永久阻塞的局部死锁。本文提出 GoDDaR 工具，将 Go 源码转换为反映消息传递的中间表示，通过符号分析检测全局与局部死锁，并输出可应用于原始代码的修复建议（diff）。在死锁样例基准上的评估显示，其局部死锁检测与主流方法相当，并在自动修复方面推进了现有水平。
说明通用MIMO信道统一刻画框架：一种适用于分布式与全息MIMO等多种架构的分析方法
简介本文研究一般相关的瑞利衰落MIMO信道，其向量化形式服从具有任意协方差矩阵的一般高斯分布。作者证明了在收发天线数按比例增长的渐近区间内，信道矩阵的谱范数有界，并推导出遍历互信息的确定性近似，其收敛速率由信道相关结构决定。该近似由一对矩阵值自洽方程刻画，文中给出解的存在唯一性和迭代数值算法，并应用于下行分布式MIMO和上行异构MIMO系统，数值结果验证了近似的准确性。
看点提出统一框架，用矩阵值自洽方程刻画任意协方差的MIMO信道互信息，统一并推广已有结果，数值结果支持近似精度。
说明部分Strassen算法如何在并行石子游戏模型中加速矩阵乘法
简介本文提出一种称为部分Strassen算法的变体，只对部分递归步骤使用Strassen方法进行矩阵乘法。作者证明该算法的内存占用较小，无论单线程还是多线程环境均适用。数据显示，三层部分Strassen算法耗时约为BLAS的80%，内存需求约为其2.25倍，并优于传统Strassen实现。
说明虚拟对局（fictitious play）可以任意慢的多项式收敛
简介论文证明在二人零和博弈中，虚拟对局的收敛速度可以任意慢的多项式级别。对每个整数 k≥2，作者构造了一个收益矩阵，经过 t 步后经验策略的对偶间隙按 Θ(t^{-1/k}) 衰减。对于 k≥3，这些博弈反驳了 Karlin 提出的 O(t^{-1/2}) 收敛速率猜想，并把 Wang（2025）的 Θ(t^{-1/3}) 结果推广到任意慢的多项式速率。
看点构造递归博弈族，使虚拟博弈收敛速率任意慢于多项式，推翻Karlin对O(t^{-1/2})速率的猜想，并推广已有的Θ(t^{-1/3})结果，证明严谨。
说明奇特征有限域上自正交码与完全自正交码的采样算法
简介本文给出一种算法，可在奇特征有限域上均匀随机采样任意 hull 维数与类型的线性码，从而首次实现对任意码率（包括自对偶码）的自正交码的均匀采样。作者基于 Albrecht 等人的算法并利用 Li、Shi 与 Ling 的质量公式进行改进。此外，文章还研究了在有限扩域上考虑的完全正交性（即对所有诱导 Galois 几何同时正交），刻画了相关向量与码的性质，并给出采样完全 hull 维数的线性码的算法。
说明多边贸易中利润最大化的依支撑集大小而定的后悔率
简介本文研究多边贸易中的在线利润最大化问题，该场景同时推广了动态定价和双边贸易。中介向买方定价、向卖方出价，只有所有参与者都接受时才成交。论文假设估值来自未知的联合分布，允许各主体之间任意相关，且每个主体的边际估值分布支撑集大小至多为K。对于常数维度d，作者设计了后悔值为Õ(√(K^d T))的算法，并借助归一化缩放过程避免对几乎平坦区域的过度细化。
说明容量极限下的里德-所罗门码：算法列表译码与邻近间隙
简介本文讨论里德-所罗门码（RS码，一类代数编码）的列表可译性极限，这是代数编码理论中的重要开放问题。文章指出，Brakensiek、Chen、Putterman、Zhang、Zheng 证明了大特征域上的RS码可以用算法列表译码，一直达到容量上限。Jeronimo 在此基础上把相关技术推广到RS码的邻近间隙问题。作者对这些结果给出统一而清晰的阐述。
