Truthful-in-Expectation MMS Allocations for Chores
说明家务分配中的期望说真话公平份额机制
简介本文研究不可分割的“家务”（负效用物品）分配问题，要求机制在期望意义上说真话，并保证事后最大最小份额（MMS）的近似比。作者提出首个对任意人数都能达到常数事后MMS近似比的此类机制，人数为2和3时分别达到4/3和3/2。对两人情形，作者把已知下界提高到4/3，表明该机制在两人时最优；对任意n≥3，给出13/12的下界。
Weaver: A System for AI-RAN Compute Sharing with Foundation Model Training
说明Weaver：利用AI-RAN闲置GPU算力进行基础模型训练的系统
简介该论文研究基站配备GPU的AI-RAN基础设施中闲置的计算资源，发现40%至85%的GPU算力未被使用，且在各站点间呈互补分布。作者提出Weaver系统，在不影响无线接入网络（RAN）性能的前提下，利用这些闲置算力协同训练基础模型。原文报告称，在原型系统中可用闲置算力最多提高4.9倍，多站点测试中训练吞吐量比基线方法提升2.1至3.7倍。
Finite-Resolution Microwave Linear Analog Computer (MiLAC)-Aided Multiuser Beamforming
说明有限分辨率微波线性模拟计算机（MiLAC）辅助的多用户波束成形
简介该论文研究用可调导纳元件组成的微波线性模拟计算机（MiLAC）实现波束成形时，可调元件只能取有限个状态的情形。作者在无损、互易约束下，联合优化离散电纳与功率分配，并基于信道统计设计离散码本，提出可证明与原离散问题全局等价的连续罚函数模型及ADMM算法。数值结果显示，3比特茎状连接的MiLAC可达到无量化全连接MiLAC和速率性能的95%以上，而可调元件仅需其22%。
★★★★☆ 值得关注
Envy-Free Decompositions of Random Assignments: Settling Four Agents, and What Lies Beyond
说明随机分配的无嫉妒分解：四人情形已解决及其后续问题
简介论文研究把随机分配矩阵分解为确定性分配时，能否让每位代理被嫉妒的概率都不超过1/2。作者证明四个代理的情形总能做到，并用计算机辅助方法验证；对一般的n，证明了1/2是最优阈值，并给出若干特殊情形的证明。论文同时指出一些自然分解方法会失败，并证明判定任意随机分配是否存在此类分解是强NP完全问题。
看点解决了四人情形的公开问题，并给出计算机辅助的完整证明和NP完全性结果，新颖性较高，但对实际系统影响有限。
★★★★☆ 值得关注
AReaL-TIK: Stateful Agentic Optimization of Unified RL Kernels through an Optimization IR
说明AReaL-TIK：通过优化中间表示实现统一强化学习内核的有状态智能体优化
简介强化学习后训练中，rollout 与策略更新常使用不同的 GPU 内核，数值差异会影响概率比。论文提出 KernelBraid 智能体框架，以一个手工调优、比特级一致的统一内核为起点，借助优化中间表示组织代码搜索，并在通过正确性检查且延迟整体改善的前提下保留改动。在 H20 上的 12 个端到端训练配置中，平均吞吐量为 AReaL（带对数概率重算）的 1.10 倍，训练奖励比约为 1.00 倍。
看点提出统一位一致RL内核的智能体优化框架与优化中间表示，在12个端到端配置和多算子上验证，1.10x吞吐提升。
★★★★☆ 值得关注
Does AI Help or Harm? Endogenous Information Acquisition with AI Advice
说明AI建议是帮助还是伤害？带AI建议的内生信息获取研究
简介这篇论文研究在人做最终决策前，AI建议如何影响决策质量（以最终行动的总效用衡量）。作者借助一种以均匀后验可分离成本定义的信息获取模型，刻画AI建议通过后续最优获取所产生的价值函数的凸性。文中指出，该价值函数的凸性是AI信号在任何先验下都能弱提升总效用的充要条件，非凸性则可能导致伤害。
看点提出以连续价值函数凸性刻画AI建议对信息获取决策质量影响的判据，并给出紧致的状态空间结果与反例，理论贡献突出；证明完整性较强但缺乏实证验证。
Improved bounds for constant-power and low-power error-correcting cooling codes
说明改进恒功耗与低功耗纠错冷却码的界
简介本文研究片上总线中同时控制功耗与热效应并提供纠错的二元恒功耗纠错冷却码（CPECC）与低功耗纠错冷却码（LPECC），取 e=w-3。对 CPECC 码，将 Zhao 与 Zhang 的上界适用范围从 w≥2t(t+1)+2 扩展到 w≥w0(t)，其中 w0(t) 约为 √2·t^(3/2)；利用 Steiner 系统证明该界可达且对固定 t、w 渐近紧。对 LPECC 码，给出新的上界 ⌊C(n+2,3)/C(w+t,3)⌋，适用于 w≥μ(t)，μ(t) 约为 √2·t^(3/2)，在适用范围内严格小于先前结果并渐近紧。
★★★★☆ 值得关注
Large-Scale Autonomous Discovery of Kissing Number Constructions
说明大规模自主发现亲吻数构造
简介亲吻数问题是离散几何中的经典问题，目前仅在少数维度上有精确解。作者使用自主多智能体研究系统 Qiushi Engine，在十九个维度上获得了亲吻数的新下界，并给出了可独立验证的有限证书。文中还给出了若干具体下界，例如 K(25)≥197580 与 K(55)≥53301140。
看点在十九个维度给出吻合数新下界，构造机制多样且有有限可验证证书，但对已有方法的改进幅度需全文确认。
★★★★☆ 值得关注
A proof of the generalized packing-covering conjecture
说明广义打包-覆盖猜想的一个证明
简介该论文证明了线性码的一个猜想：对任意线性码和允许的阶数 t，第 t 个广义汉明重量 d_t 与第 t 个广义覆盖半径 R_t 满足 d_t ≤ 2R_t + 2。证明借助计算机辅助完成，结合校验矩阵重述、反例长度界和逐次删余论证，覆盖了所有阶数 t≥32，其余有限个参数组合则通过精确计算验证排除。
看点证明了一个长期猜想，结合奇偶校验重述、长度界和逐步删截论证，并用精确计算排除有限剩余情形，证据充分。
Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
说明基于TLA+轨迹检查的多租户Kubernetes集群监控与验证
简介本文提出一种监控工具，将TLA+规范用于运行时的轨迹检查，而非传统的设计期穷举建模。工具依据Kubernetes审计日志推断系统行为，并检测其中的违规情况。主要应用场景是多租户违规检测，但该流程并不局限于此。论文展示了如何将形式化推理引入实时Kubernetes环境，以改进监控与正确性检查。
Synthesizing Update Schedules with Game-Based Extension of Bounded Model Checking
说明基于博弈扩展有界模型检验的更新调度综合
简介本文研究安全关键系统在不中断运行、无需备用硬件的前提下进行软件更新的调度问题。作者将系统与更新过程建模为双人定时博弈，并用有界SMT编码综合固定的全局时间点更新调度。该调度被证明可在系统任意允许行为下保证更新的安全且完整部署，并以自动驾驶轨迹规划器为例进行了演示。
WaveAlign: Cache-Aware Query-Row Scheduling for Sparse Attention in Long-Video Generation
说明WaveAlign：面向长视频生成稀疏注意力的缓存感知查询行调度
简介长视频扩散Transformer（DiT）生成的token序列极长，注意力计算是推理主要瓶颈。论文提出轻量级的WaveAlign框架，通过对稀疏掩码行做低秩SVD分组并在GPU波次内按K/V块数降序排序查询行，提高L2缓存命中率、减少HBM读取。该方法只置换查询和掩码行，不改变稀疏注意力语义，在两种GPU架构、两个视频DiT和四种稀疏注意力方法上测得内核最高1.25倍、端到端最高1.17倍加速，且无质量损失。
Divergence-Minimizing Distribution Matching for Parallel Channels and Channels with Memory
说明并行信道与有记忆信道的散度最小化分布匹配
简介本文将分布匹配器的理论扩展到有记忆的分布，证明散度最小化的分布匹配器与无记忆情形一样，会选取目标概率最高的序列。文章还把散度的标度律推广到由新息过程驱动的分布，并将理论应用于并行加性高斯白噪声信道，采用带加权能量约束的改进枚举球形整形方法。在三信道示例中，跨信道联合整形在短块长下比乘积分布匹配器显著降低了速率损失，并通过概率幅度整形与5G-NR低密度奇偶校验码的仿真得到验证。
GPU-Accelerated Robust Beamforming for OTFS Massive MIMO with CSI Uncertainty
说明面向存在信道状态信息不确定性的OTFS大规模MIMO鲁棒波束成形（GPU加速）
简介本文研究在信道状态信息（CSI）存在不确定性时，基于OTFS的大规模MIMO系统的鲁棒波束成形。作者以最小化总发射功率并保证预设中断概率为目标建立机会约束优化问题，采用支持向量聚类（SVC）将不确定CSI建模为非对称不确定集，并将其转化为半定规划。同时设计了GPU加速的可并行交替方向乘子法（ADMM）以降低计算复杂度。仿真结果显示，所提方法相比传统方案降低了发射功率，且GPU加速的ADMM获得了加速效果。
★★★★★ 值得关注
Distributed Lower Bounds via Automatic Self-Reduction
说明通过自动自归约实现分布式下界
简介本文研究分布式计算中图问题的随机化下界。作者证明自归约实际上是经典轮次消除的特例，并提出新的算法误差度量方式，使经典轮次消除能够给出超过 log log n 的随机化下界。文中还给出一类问题的黑盒式改进，并据此证明极大匹配等若干图问题的 Ω(√log n) 随机化下界。
看点将自归约统一为经典轮次消去的特例，并给出黑盒式的随机化下界框架，突破了ω(log log n)的限制，有较强的理论新意与适用性。
Robust Resource Management for SAGIN using DNN-Driven Channel Uncertainty Learning
说明基于深度神经网络信道不确定性学习的空天地一体化网络鲁棒资源管理
简介本文研究不确定信道状态信息（CSI）下空天地一体化网络（SAGIN）的联合鲁棒波束成形与资源分配问题。作者在给定中断概率下建立机会约束优化问题，以最小化总发射功率并满足用户服务质量要求，并借助半正定松弛将目标函数转化为线性形式。随后提出深度神经网络驱动的信道不确定性学习方法，将不确定CSI建模为非对称不确定集，并基于预训练网络参数构造鲁棒对应方法，再通过自适应迭代算法联合优化资源分配与波束成形向量。仿真结果表明，该方法在能效与鲁棒可靠性方面优于传统鲁棒及非鲁棒方法。
Scattering Measures and Information Geometry
说明散射测量与信息几何：用有限测度描述散射实验，并用 Fisher 度量分析其信息结构
简介作者把散射实验表述为结果空间上参数化的有限测度，并由 Fisher 度量定义相应的信息几何。散射测度可分解为总质量与归一化形状，使 Fisher 信息分别对应整体散射强度的变化与结果间的重新分布。测量过程用作用于散射测度的概率或次概率核表示，这类核会收缩 Fisher 信息，并与最优实验设计理论相连。同一有限测度结构也出现在探测不完全的量子测量中。
Covert Communications over Enormous Fluid Antenna Systems (E-FAS): Impact of Channel Hardening on Detection
说明超大流体天线系统上的隐蔽通信：信道硬化对检测的影响
简介本文研究超大流体天线系统（E-FAS）中的隐蔽通信，其信道由导波表面波传播形成，具有随机协方差尺度。作者在有被动监听者的情况下，推导出监听者最优似然比检验退化为能量检测器，并给出虚警和漏检概率。结果表明，在有限观测时长下，有限模式E-FAS信道比平均功率相同的完全硬化瑞利极限更隐蔽；信道硬化的作用并不对称。
★★★★☆ 值得关注
Settling the Complexity Landscape of Multi-Agent Contracts with Binary Actions
说明多智能体二元行动合约的计算复杂度全景：在总替代奖励类中划分出多种不同的近似性质
简介本文研究多智能体二元行动模型中最优合约设计的计算复杂度，重点关注总替代（gross substitutes）奖励函数及相关类别。作者证明即使对OXS奖励（总替代的严格子类），最优合约问题也是APX完全的；对加权拟阵秩函数则给出EPTAS，并指出一般情况下不存在随机化FPTAS；对划分拟阵秩函数给出FPTAS。对于更广的超奖励（ultra）函数，论文证明在价值查询下，任何多项式时间随机算法都无法在期望意义上达到2^{o(n)}的近似。
看点在毛姆替代类中划出精细的近似复杂度边界，给出APX完全性、EPTAS与FPTAS等一系列严格结果，理论突破明显。
Torch-PIM: Automated Profile-Guided PIM Offloading for PyTorch
说明Torch-PIM：面向 PyTorch 的基于性能剖析、自动决定卸载到内存内计算的编译框架
简介该论文提出 Torch-PIM，一个编译框架，利用性能剖析引导优化，决定 PyTorch 生成的并行循环嵌套应在主机上执行还是卸载到内存内计算（PIM）单元。它先评估各循环的工作量和内存受限程度，所用数据来自主机剖析或 MLIR 中间表示。文中报告，在 32 至 128 核的 PIM 配置下，相比纯 CPU 执行，张量算子最高加速 8.6 倍，MLP 为 2.9 倍，Attention 为 4.4 倍，GPT-J-6B 为 5.1 倍，LLaMA-7B 为 3.6 倍。
★★★★☆ 值得关注
Contraction of Rényi Divergences for Discrete Channels
说明离散信道上Rényi散度的收缩性
简介本文研究有限空间上Rényi散度的强数据处理不等式（SDPI）常数，分析其随Rényi阶数变化的性质，并给出常数的取值与界。文章还将结果应用于局部差分隐私和马尔可夫链，为纯LDP机制给出收缩保证，并为马尔可夫链给出有限时间收敛界。
看点系统刻画了有限空间上Rényi散度的SDPI常数（单调性、凸性、支撑限制、张量化界），并应用于LDP与马尔可夫链，新意明确；证明为主，证据较扎实。
★★★★☆ 值得关注
Nash Equilibria in Auctions with Pacing Strategies: Complexity and Inefficiency
说明带节奏策略拍卖中的纳什均衡：复杂性与低效率
简介本文研究“节奏策略拍卖”（APS）博弈：多个以效用最大化为目标的竞标者同时参与多个一价拍卖，每人选择一个统一缩放出价的节奏乘数。文章证明存在不存在近似纯纳什均衡的实例，判定均衡存在性一般是NP完全问题，但在竞标者数或物品数固定时可多项式时间求解。当均衡存在时，其无效率由无政府代价和稳定代价精确刻画，二者均为 e/(e-1)。
看点提出APS博弈模型并证明纯纳什均衡不存在、NP完全性及精确的效率损失界，理论贡献突出，但影响范围限于博弈论与拍卖子领域。
Semantics, Workflows, and Infrastructure: Understanding Agent Serving at Production Scale
说明语义、工作流与基础设施：理解生产规模下的智能体服务
简介本文分析了一个大型通用智能体生产平台两周内的 1170 万次请求追踪数据，该平台由超过 1 万块 GPU 的推理基础设施支撑。作者从任务发起语义、工作流执行模式和基础设施服务需求三个层面进行刻画。研究发现请求量在会话间高度不均、同级请求的执行重叠很少，以及任务边界之间存在上下文复用，并据此讨论部署影响和待解决的问题。
Dual-Branch Vector-Quantization-Aided Satellite Digital Semantic Communication with Index Compression for High-Resolution RSI Over AFDM
说明基于矢量量化与索引压缩的双分支卫星数字语义通信，用于AFDM上的高分辨率遥感影像传输
简介论文提出一种双分支矢量量化辅助的卫星数字语义通信框架（DVQ-SDSC），用于在仿射频分复用（AFDM）上传输高分辨率遥感影像。框架分别处理高频残差与低频结构语义，并通过PCA码本重排与组差分脉冲编码调制（G-DPCM）压缩索引比特率。在FAIR1M数据集、3GPP NTN-TDL-D信道上的实验显示，该方案在0.0625 bpp的基础速率下优于JPEG-LDPC方案。
The Shape of Speed: Impacts of Partition Geometry and Rank Density in Distributed Quantum Circuit Simulations
说明分布式量子电路模拟中分区形状与每节点进程数的影响
简介本文在富岳超级计算机上，对1024个节点上39量子比特的分布式量子电路模拟进行了764组验证配置的评测。结果显示，环面分区的几何形状是决定运行时间的主要因素：扁平分区比接近立方体的分区慢1.73至2.31倍，且数据传输量相同。每节点进程数只是次要因素，仅在紧凑几何形状上带来约11%的时间缩减。
VarioPath: Workload-Aware All-to-All Communication for PCIe GPU Clusters
说明VarioPath：面向PCIe GPU集群的负载感知全对全通信
简介该论文提出VarioPath，一种用于PCIe GPU系统的AlltoAllv通信调度框架，适用于混合专家模型等分布式大模型推理。系统结合离线拓扑感知分析器与在线需求感知调度器，以应对PCIe链路争用和动态倾斜的流量。在四个平台（最多256块GPU）上的评估显示，相比FAST和DeepEP，AlltoAllv平均分别提速5.88倍和1.72倍；端到端实验中，Qwen3推理延迟最多降低27.2%，Wan2.1生成延迟降低6.1%。
HyDra: Demystifying and Taming Dynamic Context Parallelism at Production Scale
说明HyDra：面向生产规模的动态上下文并行系统，揭示并解决其负载不均问题
简介该论文针对长上下文训练中动态上下文并行（DCP）的负载不均问题，指出 Megatron-Core DCP 因只按显存分配并行度而导致计算失衡，在一个 11K 余卡的 256K 上下文生产任务中，各秩微批次耗时相差可达 5 倍。作者提出可扩展的负载驱动系统 HyDra，通过调度器平衡计算、并采用嵌套的 Ulysses 与环形通信结构。在 2048 卡生产任务中，HyDra 将流水线气泡从 36% 降至 14%，吞吐量较 Mcore DCP 提升 1.10 至 1.43 倍。
Heddle: Learning Structural Templates for Parallelism Planning on Heterogeneous GPU Clusters
说明Heddle：在异构GPU集群上学习结构模板以进行并行规划
简介该论文提出Heddle，一种基于学习的并行训练规划器，用于异构GPU集群。它把规划问题简化为对流水线结构的搜索，并在离线阶段从多样的集群配置中学习构建计划的结构模板。评估显示，在不同GPU类型和节点规模的集群上，Heddle的吞吐量达到或超过五种现有规划器中的最佳方案，稠密模型最高提升84.5%，MoE模型最高为4.6倍。
RIS-Assisted Multiuser NOMA Networks With Imperfect CSI Under Transceiver Hardware Impairments
说明存在收发器硬件损伤与不完美信道状态信息时的RIS辅助多用户NOMA网络
简介该论文研究RIS辅助的单波束与多波束NOMA网络，考虑收发器硬件损伤和不完美CSI。作者提出鲁棒设计方案，在满足用户目标速率的前提下最小化基站发射功率，并结合Bernstein型不等式与半定松弛求解非凸问题。数值结果显示，该方案优于忽略硬件损伤和信道估计误差的非鲁棒方案，且多波束网络获得更高的波束增益。
Parallel Successive Cancellation Perturbation-Enhanced Decoding of Polar Codes via Offline Variance Design
说明基于离线方差设计的并行连续消除扰动增强极化码译码
简介本文提出一种用于短、中长度极化码的并行连续消除扰动增强译码方法（OVD-PSCP），在译码前离线确定各扰动分支的方差，使原始分支与所有扰动分支可同时启动，避免依据前次译码结果生成扰动带来的额外延迟。仿真显示，在码率1/2、码长64至512的极化码上，该方法在相同扰动分支数下比传统SCP的误块率更低，码长越短、分支数越多，增益越明显。
Schedule Repair for DAG Workflows under Link Disruptions
说明受链路中断影响的DAG工作流调度修复
简介本文研究网络化物联网中DAG工作流在链路中断后如何修复调度。作者比较了等待、绕行、局部重调度和全局重调度四类修复范围，并以最优解为基准，同时计入修复决策的延迟。实验覆盖100个工作负载实例与不同的中断模式，结果显示没有单一方案始终最优，修复范围应依据中断过程与修复成本来调整。
★★★★★ 值得关注
Tight Efficiency Guarantees for Strategyproof Linear Regression
说明线性回归中防作弊机制的效率保证（严格的理论界限）
简介本文研究线性回归中预测精度与激励相容之间的权衡：参与者提交与公开特征对应的私有标签，并希望预测值接近其真实标签。作者设计了一种确定性的群体防作弊机制，其最小二乘最优解的近似比为 (d+1)，并证明即使在通用防作弊的随机化机制中该比例也是最优的，回答了 Chen 等人（EC 2018）提出的一个开放问题。若将通用防作弊放宽为期望意义上的防作弊，个体平方损失仍保持 d+1，而个体绝对损失可达到紧致比率 2-1/(⌈d/2⌉+1)。
看点解决了Chen等人提出的开放问题，给出线性回归中策略证明机制的紧致近似比及最优性证明，理论突破明显。
On the Geographic Incentives of Multiple Concurrent Proposers
说明多个并发提议者的地理激励机制研究
简介该论文研究在多个并发提议者（MCP）的系统中，提议者是否会因激励而在地理上分散布局。作者建立模型，提议者通过选择位置争取用户市场份额，用户按交易进入时间选择发送对象。论文证明提议者的决定因素是其到最近法定人数见证者的距离（quorum radius），提议者会选择最小化该距离的位置；当提议者同时担任见证者时会趋向同地布局，角色分离时则呈现地理多样性。此外，论文指出预确认和更快的验证者间连接会削弱quorum radius的影响，并进一步破坏同地布局的激励。
Performance vs Portability in Heterogeneous HPC Environments: Why Pre-execution Benchmarking is Required
说明异构高性能计算环境中的性能与可移植性：为何需要运行前基准测试
简介本文比较了在 HPC 系统上使用 Podman 容器与直接在系统上运行量子化学软件的性能差异，测试对象为预编译的可执行程序，涵盖 CPU 优化版本和多个计算节点，未做额外网络优化。结果显示，性能取决于软件编译方式、启动开销和执行配置；短时任务中容器准备时间可能占主导，长时间计算则需要监控计算进度。作者由此强调，在 HPC 系统上以容器部署科学应用时，应进行针对具体工作负载的基准测试和用户层面的监控。
Soft-Output GRAND-Aided Macrosymbol
说明软输出GRAND辅助宏符号解码（SOGRAND-AM）：面向NOMA系统的联合多用户检测与解码方法
简介该论文面向非正交多址（NOMA）系统，在GRAND-AM基础上提出软输出版本SOGRAND-AM，可同时完成多用户检测与纠错，并输出校准的比特级后验错误概率。它能与现有软判决外层纠错解码器配合使用。论文称，与采用硬输入的GRAND-AM相比，在外层软输入解码器输出端，比特误码率约改善2 dB。
Statistical Dark Matter: Synergy is everywhere but is hard to capture
说明统计暗物质：协同效应无处不在，却难以捕捉
简介该论文关注信息论中的“协同效应”，即只存在于三个或更多变量整体之中、任何子集都不包含的统计结构。作者借助多变量信息论的最新进展指出，协同效应在复杂系统中远比以往认为的普遍。研究还发现，常用的统计建模工具严重低估了这类协同结构，因此协同效应常常难以被察觉。
★★★★★ 值得关注
A proof of the Braun-Etzion-Vardy bound for binary subspace codes
说明证明二元子空间码的Braun-Etzion-Vardy上界
简介线性子空间码是射影空间中的一类编码。Braun、Etzion和Vardy（2013年）曾提出猜想：射影空间中的线性子空间码至多含有2^n个码字。本文证明了这一猜想，证明采用一种新的特征标论证，且过程自成体系。
看点解决了Braun-Etzion-Vardy提出的公开猜想，采用新颖的特征标理论论证，证明完整自洽。