Formation of international environmental agreements and payoff allocation
说明国际环境协议的形成与收益分配：研究如何让各国达成减排协议并公平分配收益与成本。
简介该论文关注应对气候变化需要各国付出减排代价，但各国都有搭便车的动机。作者指出博弈论适合设计国际环境协议，既有以非合作方式研究环境联盟形成的文献，也有以合作博弈分摊气候变化成本的思路。两种方法各有优缺点。
Movable Antenna Enabled Anti-Jamming: From Local Optimality Guaranteed Design to a Unified Antenna Position Optimization Framework
说明可移动天线抗干扰：局部最优保证设计与统一天线位置优化框架
简介该论文研究利用可移动天线（MA）提升无线通信抗干扰能力。通过联合优化天线位置向量与接收波束成形器，以最大化输出信干噪比（SINR）。针对单干扰源、单视距路径的典型场景，提出阻尼投影梯度下降（DPGD）算法，其复杂度随接收天线数线性增长，并证明该算法几乎必然收敛到局部最小值；针对多路径或多干扰源的一般场景，提出低复杂度的软激活投影梯度（SAPG）算法，同样线性增长，并可适用于MVDR与ZF接收。数值结果表明两种算法在抗干扰性能与计算效率上均有明显提升。
How Numerical Errors Scale with Hardware
说明数值误差如何随硬件规模变化：用统一资源预算比较算法与硬件的一份短技术笔记
简介这篇短技术笔记讨论如何根据计算资源给数值误差设定上界。作者结合已知复杂度估计的可并行算法与并行化定律，并认为该思路可推广到示例之外。通过为每种配置施加相同的资源或能量预算，再比较所得的数值误差评估，可用于公平比较算法、硬件系统和软件实现。
★★★★☆ 值得关注
A Unified Framework for Assortment Optimization and Matching under MNL Choice
说明MNL选择模型下的组合优化与匹配统一框架
简介本文提出一个统一框架，用于多项逻辑回归（MNL）选择模型下的产品组合优化与匹配问题。核心是单个顾客的组合问题：企业在产品可用性被揭示之前先确定候选产品。文中给出的简单阈值策略相对于对比基准达到紧致的1/2保证，并可处理基数约束。该框架在多个应用中得到1/2或1/4的近似保证。
看点提出统一框架并给出紧的1/2保证，改进多个应用的近似因子，证明完整但应用多为理论层面。
★★★★☆ 值得关注
Converse symplectic interlacing via low-rank singular value perturbations
说明通过低秩奇异值扰动得到的辛交错逆定理
简介该论文证明辛交错定理的逆命题。给定全局辛谱和满足2k步交错不等式的局部辛谱，可以构造实对称正定矩阵，使其具有指定的全局谱，且某个主子矩阵具有指定的局部谱。主要工具是把s主压缩化归为秩k的奇异值扰动。在高斯量子边缘问题中，这表明辛交错不等式是全局与局部模式边缘问题的完整谱兼容条件。
看点证明了辛谱交错定理的逆命题，给出完整的充要刻画，并以低秩奇异值扰动为核心工具，属于突出的理论突破。
Minimality of Binary Codes From Weight Layers and Graph Cut Spaces
说明由权重层与图割空间构造的二进制码的极小性
简介本文研究二进制线性码的极小性，这类码在秘密共享方案中很重要。作者分析了三类已知构造：单一完全汉明权重层构造的码、任意多个此类权重层并集构造的码，以及图割空间码。对单层码给出了完整的极小性判定：当 t 为偶数时该码是极小的。对并集构造，给出了极小性的充要判定，并分析了奇数 k 的情形。文中还将图割码的极小性转化为图论条件。
Further Study of p-Ary Self-Orthogonal Codes From Square Functions
说明基于平方函数的 p 元自正交码的进一步研究
简介本文研究奇特征有限域上的一类迹码，其定义由两个二次迹条件给出。通过分析相关二次型并计算对应的字符和，论文得到了这些码的参数与完整重量分布。作者还利用定义集的乘法轨道结构构造删余码，并确定其参数、重量分布与对偶距离，同时建立自正交判据，讨论了码的可整除性与射影性。
Who Pays for Thinking? Billing Hidden Reasoning Tokens in Model Cloud Contracts
说明谁为思考买单？模型云合同中隐藏推理词元的计费问题
简介本文研究按词元计费的语言模型服务中，对用户不可见的中间推理与候选答案收费的问题。作者构建了用户、模型厂商与算力云三方服务模型，分析计费方式如何影响供应方的计算预算选择和社会福利。基于 LiveCodeBench 的实验比较了五种模型部署的答案质量、延迟与资源消耗；结论是按计量收费在额外推理产生净社会价值时福利更高，而在其成本超过收益时固定服务定价更优。
BROCADE: Broker-based Contract Design for the Multi-Agency Model
说明BROCADE：面向多机构模型的基于中介的合同设计
简介本文研究一个合同模型中的社会福利最大化问题，其中有 m 个委托人私下评估公共项目成功的价值，n 个代理人付出的努力不可观测。论文提出三项工具：分离委托人付款与代理人收款的中介、刻画优势策略激励相容（DSIC）的 Myerson 引理扩展，以及归约到预算受限单委托人合同设计的黑盒方法。论文给出了确定性与随机化合同在不同基准下的近似比结果，其中一种随机化合同的近似比为与 n 无关的 O(log m)。
★★★★☆ 值得关注
Sharp Bounds for Graph-Codes Avoiding Complete Bipartite Differences
说明图编码中避免完全二部差集的紧界
简介本文研究在 [n] 上的所有图中，最多能选取多大比例的图，使得其中任意两个不同图的对称差都不是 K_{s,t}（完全二部图）。作者对每一对正整数 s、t 确定了这一最大密度。若两部分大小均为奇数，密度已知恰为 1/2；否则以 2h 表示最大的偶数部分大小，证明最大密度为 Θ(n^{-h})。上界利用 Frankl–Füredi 禁止交集定理，下界则用 BCH 码构造二进制线性码。
看点确定了所有固定s,t下K_{s,t}差集禁止族密度的精确阶Θ(n^{-h})，改进了Alon的O(1/n)上界，并用BCH码构造下界，证明严格完整。
Revisiting entropy and entropy-related magnitudes of a symbolic sequence and their estimation
说明重新审视符号序列的熵及相关量及其估计方法
简介本文回顾了用于分析序列数据的熵、熵密度、有效测度复杂度和信息距离等量，并在信息论与遍历论框架下给出其数学基础。文中以Ziv定理为核心，说明归一化的不同词数与熵密度渐近等价，从而为基于Lempel-Ziv分解的估计提供理论依据，并提出有限序列的估计方法及一个开源并行计算库。文章通过fMRI脑功能连接、耦合非线性振子以及心电图房颤分类三个案例，展示了这些熵类度量的实际应用。
New families of additive non-RS MDS codes and ACD codes from twisted Reed-Solomon codes
说明由扭曲Reed-Solomon码构造的新型加性非RS MDS码与ACD码
简介本文研究有限域上的单扭曲加性广义扭曲Reed-Solomon（GTRS）码。作者给出了这些码在任意hook和twist参数下成为MDS码的充要条件，并利用Schur平方证明这类加性MDS码与加性Reed-Solomon码不单项式等价。文中还识别出一类对偶仍为加性GTRS码的码，并表明对于特征避开某有限集、且q足够大的素数幂，这类GTRS码可以得到ACD码。
Priority-Aware Scheduler for Serverless Functions Provision and Load Balancing
说明面向无服务器函数供给与负载均衡的优先级感知调度器
简介本文提出 SPES-Ext，一种基于规则、感知优先级的调度器，面向内存受限的分布式工作节点。它通过按调用模式对函数分类，结合预测式函数供给、驱逐优化和动态负载均衡三个组件，以降低冷启动问题。文中报告的实验结果显示，相较现有方案，其第 75 百分位冷启动次数减少 80%，内存浪费下降 83.92%，工作节点负载方差提升 52.49%。
★★★★☆ 值得关注
Follow the Regularized Leader Does Not Converge in Constrained Optimization
说明跟随正则化领导者算法在约束优化中不收敛
简介本文研究在线学习中的基础算法跟随正则化领导者（FTRL）在约束非凸优化中的收敛性。作者构造了一个无限光滑的约束优化问题，证明连续时间FTRL的KKT间隙可能无限期保持在零以上，即无法收敛到一阶驻点。作者同时证明，当目标函数解析时，使用欧氏正则化的FTRL是收敛的。
看点构造无限光滑约束优化问题，证明连续时间FTRL的KKT间隙可永久保持较大，推翻收敛直觉，理论贡献显著。
Subcodes with Prescribed Hull Dimensions in Linear Codes:Enumeration, Containment, and Asymptotic Distributions
说明线性码子码中给定 hull 维数的计数：枚举、包含关系与渐近分布
简介本文研究在给定母码内部，具有指定维数、hull 维数与类型的子码数量。作者将母码分解为 LCD 补码与其 hull，利用投影把问题化归到 LCD 补码中，得到可按完全类型细化的显式计数公式，并讨论对偶包含问题及子码维数趋于无穷时的渐近分布。
FrontGI: Architecture-Aware Parallel GNN Inference on Chiplet-Based Multicore Systems
说明FrontGI：面向芯粒多核系统的架构感知并行图神经网络推理
简介图神经网络（GNN）在大规模图数据上的推理，常规库在上百核的多核系统上扩展性较差。本文提出FrontGI，依据图结构特性与体系结构设计并行策略，以更好地利用多级缓存。在128核AMD EPYC系统上，与DGL相比，GCN、GraphSAGE、GIN、SGC模型分别最高获得3.35倍、3.20倍、2.89倍和3.10倍加速，相对PyG提升更大。
When and Why to Use TMA: A Workload-Grounded Characterization of Tensor Memory Acceleration on NVIDIA Hopper GPUs
说明何时以及为何使用 TMA：基于工作负载的 Hopper GPU 张量内存加速器特性分析
简介本文针对 NVIDIA Hopper 架构的张量内存加速器（TMA），研究内核中何时使用 TMA、是否启用集群多播。作者分析了 FlashAttention-3 前向计算中 TMA、多播、分布式共享内存与 cp.async 的选择，并通过微基准测试给出 H100 上的经验规则。文章还比较了 TMA 多播与分布式共享内存，并在 B200 上验证了这些分派规则在 Blackwell（SM100）架构中的适用性。
Fair Division of Lotteries
说明彩票式不确定物品的公平分配
简介本文研究不确定物品的公平分配问题，每件物品的效用是随机变量，在分配确定后才能观察到实现值。文章区分了实现前评估的事前公平与实现后评估的事后公平，并探讨两者的兼容程度。作者给出了事前无嫉妒分配能够最大化事后无嫉妒概率的条件，并分析了近似保证与计算复杂性。
Order-selection Prophet Inequality (Almost) Goes I.I.D
说明顺序选择先知不等式（几乎）可化为独立同分布情形
简介论文研究顺序选择型先知不等式：赌徒已知各独立非负随机变量的分布，自行决定查看顺序，并且只能在值出现时不可撤回地接受至多一个。作者给出一种算法，其竞争比为 0.74500001，比独立同分布情形的最优比 Γ⋆≈0.74544 低不到 4.5×10⁻⁴。该算法采用独立到达时间和随物品而变的阈值，结论部分依赖解析估计与计算机辅助的严格验证。
Constructions of Secure Convertible Codes
说明安全可转换码的构造方法
简介本文构造了两类访问最优的安全可转换码。它们在被动窃听者模型下实现保密容量，窃听者可访问初始与最终码字中的任意 ℓ 个符号。第一类基于最大秩距离码，适用于合并与拆分两种情形的全部参数，但需要较大的域。第二类基于广义 Reed-Solomon 码，域较小，但仅适用于合并与拆分情形中的部分参数。
HiLO: Towards Product-Level Graceful Degradation with a Quality-Aware, Load-Aware Control Framework
说明HiLO：面向产品级优雅降级的质量感知、负载感知控制框架
简介论文提出 HiLO（高负载优化器），一种自动化的产品级降级系统，把观测到的负载映射到一组预先验证、按降级严重程度部分排序的产品状态格。依赖关系在设计阶段解决，因此控制过程确定且连续。论文称其已部署于微软 Bing，在超过基线峰值两倍的持续负载下，将 OneDCG（相关性）下降控制在 0.5 分以内。
★★★★☆ 值得关注
On the Existence of Complete Coverings of Lee Spheres
说明关于 Lee 球完全覆盖存在性的研究
简介该论文研究 Z^n 中完美 r 纠错 Lee 码周围的一种有限构型，称为完全覆盖，即一组两两不交的半径为 r 的 Lee 球，并与中心球不交，覆盖距离码字为 r+1 的所有格点。作者证明在 n≥8 且 r²+⌊25r/34⌋−3≥2n 时不存在完全覆盖，并给出大半径下完美 Lee 码不存在的改进界。同时，利用近似最优的三元定常权码构造了几乎完全的覆盖。
看点提出完全覆盖概念并显著改进Lee球完美码的非存在界，证明较严谨，但对实际系统影响有限。
★★★★★ 值得关注
Linear Hashing Is Poissonesque
说明线性哈希近似泊松分布：随机 F2 线性映射下的桶负载行为
简介论文研究把 m 个球随机投入 n 个桶时的负载分布。当投放方式是随机 F2 线性映射时，负载分布仍大体由均值为 m/n 的泊松分布支配，只是保证较弱。作者由此证明线性映射在期望负载和集中性方面接近完全随机映射，并给出最大负载和子集负载比例的界。
看点证明随机线性映射的负载分布仍受泊松分布支配，给出最大负载与完全随机映射仅差3/2+o(1)的严格界，属于重要的理论改进。
The rank of ℤ₂^s-linear Hadamard codes
说明Z_{2^s} 线性 Hadamard 码的秩
简介本文研究 Z_{2^s} 线性 Hadamard 码（由 Z_{2^s} 加法码经 Gray 映射得到的二进制码）的秩，即二进制线性张成的维数。此前该秩仅在 s≤3 时有闭式结果，s≥4 时只能对小码长用计算机求得。作者给出一种对任意 s 都能计算秩的方法，证明秩是关于类型参数的二项式多项式，其系数与码长无关，并计算了 s≤5 的全部系数，从而得到 Z_4、Z_8、Z_16 和 Z_32 上的显式秩公式。
Semantic SCL Decoding for Polar Codes
说明极化码的语义SCL译码方法
简介本文提出一种面向自然语言文本的极化码语义连续消除列表（SCL）译码器。该方法用微调后的字节级语言模型给出下一字节先验，将其转换为比特代价并加入路径度量，同时利用信道可靠性和文本结构。仿真显示，在长度512的极化码上，相比CRC辅助SCL译码，误块率明显改善；在码率0.75、列表大小16时增益超过1 dB。
Semantic Transferability of Generative Rate-Distortion-Perception Systems
说明生成式率失真感知系统的语义可迁移性
简介本文研究生成式有损压缩系统在迁移到新的条件生成任务时，哪些部分仍可复用。作者比较了完全重新设计与三种限制递增的迁移策略，并给出有限字母表下的速率区域、可控性条件及压缩率代价的刻画。文中还给出标量高斯情形的闭式结果与示例。
Live Adaptation of Dataflow Stream Processing for Hybrid Edge-Cloud Analytics
说明面向混合边缘-云分析的数据流流处理实时自适应方法
简介论文指出，在动态广域网条件和边缘资源有限的情况下，全部放在云端或静态地卸载到边缘都难以稳定达到目标速率。作者提出 Sluice，一个兼容 Apache Flink 等数据流引擎的混合云自适应流处理系统，包含自动查询重写器和无需暂停执行即可在边缘与云之间迁移计算的实时路由机制。在树莓派实物测试平台和 100 台虚拟机的模拟平台上，五个真实应用的实验显示，Sluice 能在边缘与云之间无缝切换计算，并且吞吐量持续高于基线系统。
Competitive exploration in structured environments
说明结构化环境中的竞争性探索：两个觅食者在一维格点上为了更远的大奖励而竞争探索的最小模型研究
简介该论文研究生物觅食者在知道近处小奖励、不知远处大奖励时，探索与利用的权衡如何因竞争而改变。作者用两个采用ε-贪婪时序差分学习的个体，在一维格点模型中进行分析。结果显示，两者都探索、都停留或一方探索另一方停留是纳什均衡，局部最优响应动态下常出现社会困境，而简单的发现信号可以减少这种困境。
Dynamics-Aware Sampling and Recovery for Tensor-Valued Dynamical Systems
说明面向张量动力系统的动态感知采样与恢复方法
简介本文研究在t-积框架下演化的张量值动力系统，利用随时间变化的部分空间观测进行采样与恢复。作者给出初始张量状态的确定性可识别条件，并通过时间-谱分解得到分阶段的恢复方法，给出高概率恢复保证与稳定性估计。实验在合成数据、海表温度和湍流速度数据上进行，结果显示学习到的t-积系统算子通常优于多种基线方法。
Failure-Resilient and Verifiable Distributed Approximate Nearest-Neighbor Retrieval
说明面向故障容错与可验证的分布式近似最近邻检索
简介该论文提出 TrustANN，一个不修改底层近似最近邻算法的中间件，为分布式向量检索的每次查询提供可信度判断。它通过多副本的认证与一致性证据验证结果，只有每个相关分片都有足够独立证据时才标记为可信，否则返回未验证。在 AWS 上基于分布式 FAISS HNSW 的测试中，攻击成功率从 1.000 降至 0.000，干净查询的 p95 延迟仅增加 9.36%，副本崩溃达 33% 时仍能维持可信检索。
Cross-Modal Data Co-Locality for Heterogeneous Storage Systems
说明异构存储系统中的跨模态数据共置
简介本文提出 Coloc，一个存储管理层，把跨模态访问的局部性作为数据布局的首要信号。它借助跨模态访问图综合语义相似度、共同访问和时间行为，并在容量与拓扑约束下放置经常被共同访问的向量。部署在涵盖 GPU、NUMA-DRAM、NVMe 与 S3 的多层 AWS 测试平台上，Coloc 显著降低了数据移动与查询延迟，且不改变 ANN 检索结果。
Supervision Without Blocking: An Evidence-Driven Redesign of OTP-Style Fault Tolerance for Cooperative Runtimes
说明不阻塞的监督：面向协作式运行时的 OTP 式容错重新设计
简介主流运行时上的 Actor 框架宣称具备 Erlang/OTP 式监督机制，但 OTP 的一致性保证依赖同步单线程监督者。作者逐条核对了 OTP 文档与源码，并对比了三个 Rust Actor 框架，归纳出 24 类缺陷，其中 8 类源于同一根因。论文提出一套监督运行时，通过显式机制修复这些缺陷，并以 241 项测试验证，同时保留 OTP 已核实的契约，并新增组重启期间监督者保持响应、消息处理不被中途取消两项特性。
Insdel Decoding Algorithms for Maximum Distance Separable Codes
说明用于最大距离可分码的插删解码算法
简介本文研究最大距离可分（MDS）线性分组码在插入和删除错误下的解码问题。作者提出一种有界距离解码算法，适用于码率不超过一半的任意MDS码，并采用滑动窗口，时间复杂度低于暴力解码。对于最优Reed-Solomon码，该算法可纠正达到半Singleton界的插删错误。此外，针对只有插入或只有删除的特殊情形，文中还给出了复杂度更低的两种算法。
Prefix Keys and Values Matter Late: RIPE Caching for Self-Speculative Decoding in Looped Language Models
说明《前缀键与值在后期更重要：面向循环语言模型自推测解码的 RIPE 缓存》
简介本文研究循环语言模型中键值（KV）缓存的内存问题，该模型每个词元需多次运行同一组层。作者发现，靠后的循环对前缀键与值更敏感，并提出 RIPE 方法：只保留最深一层的缓存，仅对近期位置保留完整深度。论文报告了在 Huginn 和 Raven-Llama 模型上的实验结果，包括推测解码的加速比与内存占用。
★★★★☆ 值得关注
Envy-Free Allocations for Random Non-Additive Valuations
说明随机非可加估值下的无嫉妒分配
简介本文研究在半随机模型下的公平分配问题：每位代理人拥有任意的基础估值，并对物品名称做均匀随机置换。作者证明，对于任意固定的代理人数 n 和能被 n 整除的物品数 m，当 m 趋于无穷时，无嫉妒分配以概率 1-o(1) 存在，从而回答了 Benade 等人提出的 n>2 情形的公开问题。证明结合了二阶矩方法与广义 Johnson 图的（小集合）扩张性。
看点解决了Benade等人提出的开放问题，把n=2的结果推广到任意n，并结合二阶矩方法与广义Johnson图的扩张性，证明严密。
MANTA: Unlocking DAG Flexibility in Asynchronous BFT
说明MANTA：释放异步拜占庭容错中 DAG 的灵活性
简介该论文针对基于有向无环图（DAG）的异步拜占庭容错共识协议。现有设计在异构广域网中因轮次同步而受落后节点拖累，延迟较高。作者提出灵活的 DAG 增长框架，放宽轮次同步，并在多轮之间累积提交所需的连通性。基于此框架实现的 MANTA 协议，在异构广域网实验中延迟降低约 30%–70%。
Path-Specific Geometric-Stochastic Channel Model for Scattering from ISAC Targets: A Unified Measurement-Based Characterization of Robots, Humans, and Automobiles at 28 GHz
说明28 GHz 频段 ISAC 目标散射的路径级几何-随机信道模型：基于实测的机器人、人体与汽车统一表征
简介本文基于 28 GHz 的统一测量实验，为机器人、人体和汽车等综合感知与通信（ISAC）目标建立散射信道模型。作者对九类目标在多种收发配置下进行测量，共采集近 117000 次数据，并通过数字波束成形与超分辨率处理提取多径。模型以双基地镜面几何定义路径簇中心、以随机方式描述簇形状，并与 3GPP TR 38.901 的 ISAC 信道模型相容。测量与合成结果在路径损耗趋势和起伏特性上吻合较好。
★★★★☆ 值得关注
Logarithmic asymptotics for polynomial threshold functions
说明多项式阈值函数的对数渐近估计
简介本文研究在 n 维立方体上，由有界次数实多项式符号表示的布尔函数的数量。作者证明，这些函数数量的对数与经典超平面排列上界的对数渐近相等，相对误差为 O((log n)^2/n)，且对所有次数一致成立。文中还在特定次数范围内给出了更精细的加性和相对误差估计，所用方法包括 Reed–Muller 码的概率估计与熵计数等。
看点将多项式阈值函数计数的对数渐近式与超平面排列上界对齐，相对误差达 O((log n)^2/n)，理论界限改进明显，证据为完整证明。
★★★★☆ 值得关注
Exact Minimum Extension Degrees for Reed Solomon Codes under Linear and Nonlinear Repair at the Cut Set Bound
说明在割集界下，Reed-Solomon 码线性与非线性修复所需的精确最小扩张次数
简介本文研究 Reed-Solomon 码在割集界下，从任意指定的 d 个辅助节点进行精确修复所需的最小扩张次数。对于 3≤k<d<n≤2d-2 的情形，作者证明该最小次数恰为 sQ_s(n)，其中 s=d-k+1。作者还证明，在割集界下的非线性修复方案会诱导出同一码上的 F_p 线性修复方案，因此素数域上的下界不需要线性假设也成立。
看点给出Reed-Solomon码在割集界下精确最小扩展度的完整刻画，并证明非线性修复可归约为线性修复，理论推进明确。
★★★★☆ 值得关注
Pricing Information in Search with Nonobligatory Inspection
说明非强制检查搜索中的信息定价：在可选择不购买报告的搜索场景下，平台如何为信息收费的研究
简介该论文研究AI智能体时代的搜索与广告中，平台如何对有助于决策的信息定价。买家可在不购买报告的情况下直接选择任一备选项。研究表明，对于同分布先验，统一收费可使静态收入最大化；对异质二元先验，精确优化是NP难题，但提出的多项式时间静态定价算法可达到信息剩余的3近似。
看点证明同质先验下统一收费最优，解决了猜想，并给出异质情形的NP难性与对数近似的紧界，理论贡献较突出。