You All Need to Hear This: Wisdom of Crowds with Deliberating Jurors
说明《大家都需要听听这个》：审议陪审员的群体智慧
简介本文提出一个形式化的审议模型：参与者以概率方式获取证据，并有选择地向同伴披露，以促使他人改变意见。作者通过陪审团定理与模拟，研究审议是否能提高群体的集体准确性。结果显示，群体智慧在几轮审议后何时出现取决于具体条件，且该效应对证据获取机制以及初始证据分布的多样性较为敏感。
A Decremental Algorithm for Checking the Possibility of Braess Paradox in Dynamic Nets
说明判断动态网络中布雷斯悖论可能性的递减算法
简介布雷斯悖论指交通网络中去掉某些路段后，瓦德罗普均衡下的通行时延反而下降。本文针对动态演化的网络，提出一种递减算法，用于检查网络是否具有这种脆弱性，每次删除边的摊还复杂度为线性。作者还将静态检查算法的复杂度从 O(n m^2) 改进到 O(m^2)。
DIALER: A Case for Improving Rare-Class Accuracy in Retraining-Free Edge Video Analytics
说明DIALER：无需重训练的边缘视频分析中提升稀有类别准确率的方法
简介轻量模型在边缘视频分析中会因实时视频流的数据分布变化而准确率下降。论文发现，视觉基础模型无需重训练即可保持较高平均准确率且节省算力，但常把稀有类别误判为相似的常见类别。作者提出DIALER系统，利用推理后空闲的GPU算力执行多阶段修正流程，在四个真实驾驶数据集上将稀有类别准确率最多提升14.0%，且不影响多路实时推理。
From a Last-Week Add-On to First-Day Practice: Three Years of Integrating MPI Performance Analysis into HPC Education with EduMPI Suite
说明从期末附加内容到第一天的实践：EduMPI Suite 三年融入 HPC 教学的经验
简介本文是一篇三年教学经验报告，介绍 EduMPI Suite 如何把 MPI 性能分析从课程最后一周的附加内容，改为贯穿 MPI 开发的常规环节。该工具自动化集群执行、测量和接近实时的分析，并从第一个程序起就可视化 MPI 通信。2025 年的问卷显示，33 名学生中有 29 至 33 人认为它在理解程序行为、解读通信、发现瓶颈等方面优于传统工具，并且全体学生都建议尽早引入。
Computing Stable Matchings under Complementarities and Preference Misalignment
说明互补性与偏好错位下的稳定匹配计算
简介本文研究多对一双边稳定匹配问题，其中企业与工人对同一分配方案的偏好排序可能不同，且偏好具有互补性。作者给出两个条件，在其成立时每个实例都存在稳定匹配：每家企业有一位锚定工人，且存在与工人偏好一致的总排序。论文提出了带再提议的组合延迟接受算法CDAR，证明其有限时间收敛并输出稳定匹配，在严格偏好下其输出在稳定匹配中是帕累托最优的。
Acceleration of Data Analytics on Heterogeneous Supercloud Systems
说明在异构超云系统上加速数据分析
简介本文提出面向异构超云（Heterogeneous Supercloud）系统的计算模型与性能估计技术，用于加速基于稠密Cholesky分解（CH）和奇异值分解（SVD）的数据分析。作者开发的ReDSEa工具链可自动完成任务映射、负载均衡、调度、并行化及计算重叠。在配备华为鲲鹏920 ARM CPU和昇腾910 AI加速器的系统上，该LLVM编译工具链对递归、迭代和分块计算采用新的性能模型，相比充分优化的48核CPU实现，CH最高加速17倍，SVD最高加速88倍。
Coexistence of Shill-Proof and Non-Shill-Proof Equilibria in a Public Auction
说明公开拍卖中防托儿与非防托儿均衡并存
简介论文在 Komo、Kominers 与 Roughgarden 的模型中给出一个单一物品拍卖的例子，其中防托儿均衡与非防托儿均衡可以同时存在。例子包含三个竞拍位置、公开可见的行动、正的成交价以及严格正则的独立同分布估值分布。论文验证了两种均衡，并计算了各自的预期收入。
Serve Now or Improve Later? Scheduling Self-Evolution in Online Agent Systems
说明现在服务还是稍后改进？在线智能体系统中自我演化的调度研究
简介该论文针对在线智能体在共享GPU上利用空闲算力进行自我演化的调度问题，提出了状态感知的调度器LearnSched，将能力复用窗口与计算资源及时归还纳入统一的投资模型，并通过单步反事实推演在推进、检查点保存与等待之间做选择。作者在1920个有限模型场景中进行了评估，结果显示冷恢复成本较高时，等待较长执行窗口可通过避免切换提高净收益；在暖恢复场景中，强窗口策略已能达到相同价值。
On MMS allocations with few items
说明关于物品较少时的 MMS 分配
简介该论文研究将 m 件不可分物品分配给 n 个智能体的问题，目标是让每个智能体至少获得其最大最小份额（MMS）。作者定义 μ(n) 为对任意 n 个智能体与 m 件物品的实例都能实现 MMS 分配的最大 m。结论是：对一般单调估值，μ(n) = n + Θ(log n)，且对物品和劣品（chores）均成立；对任意（非单调）估值，μ(n) = log n + O(1)。
★★★★☆ 值得关注
Near-Exact Computation of Independent Chip Model Placement Probabilities for Thousands of Players
说明数千名玩家的独立筹码模型名次概率近精确计算
简介独立筹码模型（ICM）根据扑克锦标赛中各玩家的筹码量，计算其最终名次概率与奖金权益，是锦标赛求解器中的标准模型。该论文提出确定性算法DE-ICM，在O(M n²)时间内计算所有玩家在各个获奖名次的概率，并在双精度浮点精度附近达到目标精度。在可精确求解的最多4000名玩家的实例上，权益的最大相对误差为4.0×10⁻¹⁴，名次概率的最大绝对误差为1.1×10⁻¹⁴；1000名玩家的完整名次矩阵在单个CPU核心上耗时0.2秒。
看点将ICM排名概率的精确计算从被认为难解推进到千人规模，借助双指数积分与稳定反卷积；在最多4000名选手的可精确求解实例上验证，误差约10^-14。
★★★★☆ 值得关注
The Complexity of Computing Nash Equilibria in Colonel Blotto Games
说明计算上校布洛托博弈中纳什均衡的复杂性
简介本文研究离散上校布洛托博弈中纳什均衡的计算复杂性。作者证明在两人一般和博弈中，即使只有两个战场，计算逆多项式近似纳什均衡仍是PPAD难的，并给出PPAD完全性结论；同时在秩为常数的社会收益结构下，给出多项式时间可计算的情形，并在多人赢者通吃且平分高出价的设定下证明五人即已PPAD难。
看点解决了两人Colonel Blotto均衡计算复杂度的公开问题，给出PPAD难度与多个可解边界，证明完整，影响限于博弈论子领域。
On the signaling dimension of the cross-polytope
说明十字形多胞体（cross-polytope）的信号维数
简介本文研究通用概率信息论中，交叉多胞体（cross-polytope）状态空间的信号维数，即能完美模拟其输入输出相关性的经典通信协议的最小复杂度。三、四、五维交叉多胞体的信号维数已知为3。作者给出了更高维交叉多胞体信号维数的对数级上下界，两者相差在加性常数2之内。下界表明其信号维数随维数增长而趋于无穷，这与球体和超立方体的情形不同。
Conflict-avoiding codes and near-primitive roots
说明冲突避免码与近原根
简介该论文研究冲突避免码理论中的一个量，它与4模d的乘法阶有关，其中d取遍奇数n的所有正因子。作者借助Artin原根猜想的研究方法，分别讨论n取奇素数和取奇整数时该量的分布情况。文中还给出了这一量的其他解释，其中之一与X^n-1在有限域F_2上的不可约分解相联系。
Polynomials with restricted support and maximal zeros on a finite Cartesian set
说明受限支撑集与有限笛卡尔集上的最大零点多项式
简介本文研究有限笛卡尔集 S=X×Y 上，支撑集属于给定单项式集合的多项式中，在 S 上零点数最多的极值多项式。作者证明坐标分解给出的典型极值多项式总是存在，并讨论了非典型情形与经典 Prouhet–Tarry–Escott 问题的关系。文中还确定了二次非典型极值多项式的数量，并将其应用于通过最小权码字研究编码理论。
On the Tightness of Omura's Strong Converse Exponent and Critical Rates Above Capacity
说明关于Omura强逆指数的紧致性与容量以上临界速率
简介本文研究信道容量之上速率下正确译码概率的下界，即Omura的球填充形式指数。作者指出，Dueck与Körner对Omura方法的改进能得到精确的强逆指数，但文献中“两指数在所有速率下相同”的说法存在论证错误。文章证明，超过某一阈值速率后，强逆指数是斜率为1的直线，由无穷阶Rényi容量决定；两指数在第二个更高的阈值之前一致，之后严格不同。文中给出的例子包括模加信道（无差距）和二进制删除信道（阈值与差距有闭式结果）。
MOLT: A Fine-Grained GPU Memory Sharing System for LLM Serving with Opportunistic Fine-Tuning
说明MOLT：面向LLM推理与机会式微调的细粒度GPU显存共享系统
简介该论文指出大模型推理副本中存在闲置GPU显存，而现有方法要么长期占用这些显存，要么以整个训练样本为粒度回收，导致训练步骤被丢弃。作者提出MOLT系统，允许推理回收训练步骤中已保存激活值的显存，训练继续并通过反向传播重算这些激活。实验在24B至70B四种模型部署、H100 SXM与B200 GPU上进行，结果显示推理SLO达成率不低于99.7%，训练工作量为基于丢弃方式显存共享的1.9至3.3倍。
★★★★★ 值得关注
Substring Edit Correcting Codes and Optimal Single Burst-Deletion Correcting Codes
说明子串编辑纠错码与最优单突发删除纠错码
简介本文研究可纠正 k 次子串编辑（先删除长度至多为 k 的子串，再在同一位置插入长度至多为 k 的序列）的编码。作者提出一种新的定位方法，构造出冗余量为 log n+8loglog n+o(loglog n) 比特的 q 元 k 次子串编辑纠错码，改进了二元情形已有的结果。当删除与插入长度不同时，冗余量可达 log n+O(1)，在加性常数意义下最优。
看点提出新的定位方法，将q元子串编辑码冗余降至log n+O(1)，并首次覆盖多种突发删除模型的最优冗余，证明完整。
Payment Design under Belief Disagreement: Rent Placement, Bid Resolution, and Auction Choice
说明信念分歧下的支付设计：租金配置、出价结算与拍卖形式选择
简介本文研究竞拍者对竞争对手存在误判时，卖方如何通过改变租金发放的状态来设计支付规则。作者将支付设计表述为非负竞拍者租金的线性规划，并分析有限出价界面与非负支付限制下的可行性。文章还用1000条eBay证明集拍卖记录作校准，比较一价拍卖与受限真实报告规则，结果显示优劣取决于出价区间的划分方式。
Prime factorisation of stable-matching instances: uniqueness, simultaneous products, and an exact census
说明稳定匹配实例的素因子分解：唯一性、同时乘积与精确计数
简介该论文研究严格完全偏好的平衡稳定婚姻问题实例，证明每个实例都有唯一的最细素块划分，该划分同时分解可达执行有向图（笛卡尔积）、提议前缀反拟阵（直和）和稳定匹配格（直积）。论文还给出四人对四人偏好情形下可分解实例的精确计数，并说明这些块可由互秩滤过的方块分量刻画，因而划分可在多项式时间内计算。
Handling Missing Data in Performance Portability Studies
说明性能可移植性研究中缺失数据的处理方法
简介该论文讨论高性能计算性能可移植性研究中的数据缺失问题。由于基准测试不完整、硬件限制或实现缺失，性能效率数据常有缺漏，而现有多数性能可移植性指标无法处理缺失输入。作者评估了一系列插补方法与算法，并将其应用于真实的高性能计算数据集，比较了它们在准确性、鲁棒性和计算成本之间的权衡，并给出实用建议。
★★★★☆ 值得关注
Sender-Receiver Games with Payment Commitments
说明带支付承诺的发送者-接收者博弈
简介本文研究发送者与接收者博弈，双方在状态抽取前承诺依据事后核验的状态和接收者行动进行支付，支付可转移或销毁。作者分析了均衡保证、福利与计算复杂度，刻画了单边承诺下的悲观效用保证，并比较了不同承诺方式的最坏均衡福利。论文还讨论了二元行动情形下的优化算法及其计算难度。
看点提出支付承诺下的发送者-接收者博弈框架，刻画了均衡保证与福利，并给出多项计算复杂性结论，包括线性时间算法与NP难性结果，理论贡献较突出。
Nonlinear Posterior-Mean Feedback Codes for AWGN Channels
说明用于AWGN信道的非线性后验均值反馈码
简介本文提出一种面向带反馈的加性高斯白噪声（AWGN）信道的后验均值反馈编码框架，通过后验均值精修构造非线性反馈码，并在接收端采用最大后验（MAP）译码。该方案可解析描述，仅含少量与功率分配相关的可学习参数，因此被视为可解释的编码。作者还提出基于投影的设计以提升噪声反馈下的鲁棒性并支持更大的消息长度。数值结果显示，该方案在有限码长下性能良好，并优于若干解析及学习型反馈码基线。
One-Shot Beam Tracking for Stacked Intelligent Metasurfaces-Assisted LEO Broadcasting
说明面向堆叠智能超表面辅助低轨广播的一次性波束跟踪
简介本文提出一种基于物理信息的一次性波束跟踪方法，用于由多层堆叠智能超表面辅助的低轨卫星链路。方法利用可预测的轨道运动推算用户信噪比变化，并通过解析雅可比矩阵将其映射到各层相位系数，仅需一次修正即可完成跟踪。数值结果显示，该方法在计算速度大幅提升的同时，保留了约92%至94%的迭代重优化速率。
Repository-Scale Performance Characterization of the IO500 Benchmark
说明IO500基准测试的仓库级性能特征分析
简介本文分析了2019至2025年间来自116个站点的294份重置后的IO500提交结果，研究各测试阶段与综合排名之间的关系。结果显示，测量相似I/O行为的阶段之间关联较强，而带宽与元数据性能之间的关联较弱且受系统规模影响。时间序列与日志分析还揭示了仅看总分无法发现的信息。
★★★★★ 值得关注
Optimistic Reliable Broadcast in Three Steps
说明三步完成的乐观可靠广播
简介本文研究无需签名的异步可靠广播协议在乐观两步交付下的延迟权衡。作者给出两种构造，在特定参数范围内把乐观延迟、诚实广播者延迟和总体性延迟同时压到较低水平。文中还证明了对应范围内的下界，并指出在最大乐观预算下，总体性延迟的代价是比 Bracha 协议多一步，而正常情况下的延迟不增加。
看点提出在拜占庭容错可靠广播中同时保持乐观两步交付与三步良好案例的新构造，并给出匹配的下界证明，理论改进明确。
Modulation and Integration in a local processor having input from two distinct sources
说明局部处理器中两路输入的调制与整合：基于部分信息分解的分析
简介该论文利用部分信息分解方法，分析一个接收两路整合输入的局部处理器中的信息传递。作者修订了基于部分信息分解各分量的情境调制判定条件，并提出了信号整合的判定条件，用Ibroja方法给出信息论量的精确结果。文中对多种激活函数进行了测试，并将结果应用于模拟的第5b层锥体细胞数据，报告了基底输入与顶端输入之间的调制与整合证据。
★★★★☆ 值得关注
Certified Splitting: Decidability and Anchor Supply for Maximal-Munch Tokenization
说明认证切分：最大吞咽分词中的可判定性与锚点供给
简介本文研究在最大吞咽（maximal-munch）分词中，如何判定一个字节窗口是否构成“认证锚点”，即窗口在任何可完全分词的输入中出现时，覆盖其末字节的词元都从窗口起点开始，从而可安全地在该处切分输入。作者给出在线（字面词表）与离线（任意正则词表）两种判定方式，并证明在锚点处切分后独立扫描可复现顺序分词结果，且与原分词边界一致。
看点提出可判定的锚点认证框架，并给出切分、编辑与差分审计的定理，理论新意明显；以可执行检查和分块扫描实测支撑结论，对分词子领域有实用价值。
★★★★★ 值得关注
A Simple Algorithm Breaking the 1/3 Barrier for Approximate Nash Equilibria in Bimatrix Games
说明打破双矩阵博弈近似纳什均衡1/3门槛的简单算法
简介双矩阵博弈求纳什均衡是PPAD完全问题，该论文关注多项式时间内能达到的最强近似保证。作者提出一种简单、对称的确定性多项式时间算法，无需调节超参数，近似保证约为0.30954+δ，突破了长期以来的1/3门槛。该算法基于Tsaknakis与Spirakis的优化框架，并融合了作者关于策略混合与自动化近似分析的研究。
看点突破了长期存在的1/3近似障碍，提出新的算法结构，并给出概念性解释，证明较完整。