分布式计算、博弈论、信息论等。
说明单项式映射函数纠错码的 Plotkin 型界
简介本文研究函数纠错码（FCC），即让接收端对特定函数值提供比消息更高等级的保护。作者在汉明度量下，针对有限域上的任意函数，推导出了冗余度的广义 Plotkin 型界，该界可退化为经典纠错码的 Plotkin 界。文中还给出了线性函数、汉明重量函数和汉明重量阈值函数的显式界，并针对有限域 F_{q^k} 上的单项式映射 f(x)=x^n 推导出了显式的冗余度界。
说明面向V2X-ISAC系统的受QoS约束资源图样设计
简介本文提出一种在车联网感知与通信一体化（ISAC）系统中选择资源图样的方法，同时兼顾通信可靠性和感知性能。感知目标基于Fisher信息矩阵，用于联合估计距离和速度；通信方面以最小分组接收率（PRR）作为服务质量约束。为避免穷举搜索的高复杂度，作者设计了带单次交换优化的贪心选择算法。仿真结果显示，该方法在满足PRR要求的同时，感知性能优于传统资源图样，并接近穷举搜索的最优结果。
说明对立发送方的及时说服：竞争何时对接收方有利？
简介两个立场相反的发送方分别在个人预算下，就一个二元连续时间马尔可夫链发送状态更新。接收方只有在跟随报告所得效用不低于先验默认估计时才会采用这些报告。文章以斯塔克尔伯格博弈建模，给出纯策略均衡的闭式刻画，并分析单一发送方与竞争两种情形下接收方效用的差异，同时用数值结果比较均衡表现与接收方最优报告基准。
说明从部分轨迹中识别与恢复线性动力系统
简介本文研究如何从只观测到部分状态坐标的线性动力轨迹中，联合恢复未知系统矩阵A与低秩初始状态矩阵X0。文章给出可识别性的必要条件及观测数量下界，并证明在特定条件下可实现局部可识别；当初始状态构成基并完全观测时，给出全局恢复的充要秩条件及显式重构公式。数值实验在不同空间采样率与观测时长下评估了恢复效果。
说明带共享约束的整数规划博弈中的均衡计算
简介本文提出一种割平面算法，用于计算带共享约束的有限整数博弈中的纯纳什均衡。通过条件均衡不等式刻画偏离的可行性依赖关系，并将其嵌入分支切割框架中，用于优化精确或近似均衡下的线性目标。实验在3,300个实例上进行，大多数情况下找到社会最优均衡，并对无均衡情形给出证明。
说明SyclKittens：面向英特尔GPU程序员与编码智能体的分块编程模型
简介论文提出SyclKittens，一种面向英特尔GPU的硬件感知分块编程模型，把已知的高效方法封装进操作中。在相同条件下，使用该模型的编码智能体将GEMM内核性能提升至英特尔oneDNN库的82.1%，而仅用原始SYCL时仅为57.5%。基于该模型构建的内核套件在GEMM上几何平均达到oneDNN的约96%，并使Llama-3.1-8B推理在单GPU上比torch.compile快1.59倍。
看点提出面向编码智能体的硬件感知瓦片编程模型，将已知优化方法编码进接口，并在GEMM与Llama推理上做了对照实验。
说明OACM：用于大规模脉冲神经网络仿真的乐观异步通信模型
简介本文提出OACM模型，用于解决大规模分布式脉冲神经网络（SNN）仿真中同步开销大、回滚多、通信效率低的问题。方法包括乐观混合仿真、基于UNR库的异步单边通信，以及在2D-HyperX虚拟拓扑中的自适应消息聚合与路由。在高性能计算集群上，对多区域狨猴大脑模型仿真（最多174个计算节点）显示，相比原CORTEX仿真器最高加速1.4倍，相比NEST最高加速22.6倍以上。
说明大群体中带预期收益的学习：Bregman 散度与 Willems、Lyapunov 方法的结合
简介本文研究大规模群体在动态机制产生收益时的演化纳什均衡学习问题。作者基于逆时针耗散性（CCW）框架，证明一类良好的学习规则会收敛，并进一步通过 CCW 存储函数构造与规则无关的 Lyapunov 函数，以补上仅有收敛性而缺少 Lyapunov 稳定性的缺口。对于比较当前收益与平滑群体状态对应收益的非线性预期机制，存储函数可由 Bregman 散度导出，所得 Lyapunov 函数可证明全局渐近稳定。文末以带非线性拥堵增长收费的拥堵博弈作为例子说明结果。
说明BitIR：面向异构GPU应用弹性分析的跨架构故障注入
简介本文提出BitIR框架，在LLVM IR层面注入确定性的单比特故障，使扰动在后端代码生成前保持语义等价，从而可跨NVIDIA、Intel与AMD GPU直接比较。作者在Polaris、Aurora和Frontier三台超级计算机上对异构基准程序进行大规模注入实验，将结果分为被屏蔽、静默数据损坏和失效三类。结果显示，相同故障在不同厂商GPU上表现差异明显，因此弹性并不与后端无关。
说明机器人出租车分派博弈中的确定性斯塔克尔伯格策略
简介该论文研究两家平台争抢乘客的机器人出租车博弈，在位者需要调度车队，以减少被后来者抢走的需求。作者把问题建模为零和博弈，给出精确的整数线性规划和多项式时间近似算法，并证明最优收益的计算和近似都很困难。论文还在欧几里得直线上给出精确动态规划算法，并用真实网约车数据验证，结果显示线性规划方法表现优于最坏情况保证，简单启发式方法也很有竞争力。
说明基于连续干扰消除（SIC）译码的 RIS 辅助多向通信系统
简介本文研究采用 QPSK 调制、由可重构智能表面（RIS）辅助的多向通信系统，使多个用户利用 RIS 的全双工能力相互交换信息。文中比较了三种 SIC 排序方法的误码率表现，并在 RIS 反射单元幅度随相位变化的情况下对相移优化进行了扩展。仿真结果显示：RIS 单元数较少时，按均方误差递增排序的 SIC 表现最好；单元数增多时，基于优化方法排序的 SIC 表现最好。
说明不同构的图具有不同的顶点Ramsey类
简介论文研究图H的k色顶点Ramsey类，即所有使得任意k种颜色给顶点着色都会出现单色（诱导）H子图的图G的集合。作者证明，对于任意k，两个互不同构的图所对应的Ramsey类彼此不同。
说明单样本先知不等式：从组合分配到单物品的归约
简介本文研究在线组合分配中的单样本先知不等式。作者提出一种通用归约方法，把组合估值问题转化为单物品先知不等式问题，并借助自由处置价值分离买方的组合约束与物品方的供给约束。基于此框架，文中给出 XOS 估值下的单样本与 k 样本竞争比结果，并扩展到可分资源与带上限 XOS 估值的情形。
说明改进的恢复对上界
简介本文证明：对 n 元集合上任意非空子集族构成的恢复对 (A, B)，有 |A||B| ≤ (2.23949)^n。此前由 Mond、Souza 与 Versteegen 的结果结合 Fang 与 Huang 的 (9/4)^n 界，得到的是 (2.2499)^n，本文将其改进。证明结合了两个熵不等式，并以凸组合合并。
看点通过结合两个熵不等式把递归对的指数上界从(2.2499)^n改进到(2.23949)^n，属于有实质进展的界改进，证明严谨。
说明OpenMP 元降级：面向性能可移植并行代码生成的声明式方法
简介本文基于 MLIR 框架提出一种模块化并行代码生成方法，用领域专用语言（DSL）描述 OpenMP 结构应如何为某一目标平台降级，称为 OpenMP 元降级。在 PolyBench/C-OMP 上的评测显示，该方法性能与主流编译工具链相当，代码体积开销低于 0.7%。与 Clang 和 GCC 相比，所实现的 OpenMP 子集所需降级代码分别减少约 32% 和 76%，新运行时只需少量规范即可支持。
说明Add-and-Remove变换下矩阵秩度量码的码距
简介本文研究矩阵秩度量码在“加减”（Add-and-Remove）构造下子码距离的变化：保留一个余维为ℓs的子码，并加入一个维数为ℓa的空间。文中给出了原码与新码子码距离之间的不等式，并证明Delsarte对偶会交换ℓs与ℓa。对于矩阵Gabidulin码，文章给出了子码距离的显式公式及变化规律，并用新码与公共子码之间的秩距离表示新码的最小距离。该结果也与MIRANDA签名方案相关。
说明跨机构大语言模型预训练：在三台超算上弹性聚合、数据租约与排队感知调度
简介该论文提出一套系统，将三台分属两大洲、相距最远7,400公里的超级计算机（Snellius、LUMI、Frontier）上的零散计算配额汇集起来，共同预训练一个语言模型。系统结合了弹性聚合的两层训练方法、基于心跳租约的数据分配协议（保证样本不重复、不丢失），以及依据排队状态选择提交位置的调度机制。以Qwen3-0.6B在C4数据上的实验为例，三站点训练的困惑度为34.7，集中式基线为28.2。
看点提出弹性跨站点预训练、数据租约与排队感知调度的组合，并在三台超算上实际训练验证，但对比与规模有限。
说明RailWave：面向专家并行通信的自适应空间与时间调度
简介本文针对混合专家（MoE）模型专家并行中的不规则 All-to-All 通信瓶颈，提出基于 DeepEP 的 RailWave 通信层。它在路由层之下，通过重新分配跨网络 Rail 的流量并限制每个接收端的并发发送方来优化通信。在 106B GLM-4.5-Air 模型的训练通信负载上，相比 Native 方案，RailWave 在 H800 上最高加速 5.84 倍，在 H20 上最高加速 4.36 倍。
