Regularizing the Veto Core
说明正则化否决核心
简介该论文研究基于选民排序选出接近选民候选人的投票规则，即度量失真框架。作者提出正则化方法，为每个候选人权重加上一个小的ε，使同时否决投票规则恢复帕累托效率，并引入秩得分否决核心来分析失真。论文称其失真界限在一定范围内，并解决了Kızılkaya与Kempe提出的一个公开问题。
On True Minimum Distances of Goppa Codes
说明关于 Goppa 码真实最小距离的研究
简介本文研究二元 Goppa 码的真实最小距离。作者给出二元 Goppa 码最小距离恰为 2r+1 和 2r+2 的充要条件，并构造了多个无穷族码。文中还把 q 元 Goppa 码的判据推广到可分解的辅助多项式，得到若干达到设计距离 r+1 的无穷族。
★★★★☆ 值得关注
The Exhaustive Peres Transform: Extraction and Universal Coding
说明穷尽式 Peres 变换：提取与通用编码
简介本文研究 Peres 对 von Neumann 去偏方法的迭代并运行至穷尽，把长度为 N 的比特串拆分为公平比特和残差两部分，且该映射是双射。论文据此给出基于该分解的确定性稀疏性证明，并提出两种编码方案，其中一种无需参数、估计或算术编码器，并证明其对平稳遍历源具有通用性。
看点将Peres迭代穷尽化为双射并给出确定性稀疏界，据此得到无参数的通用编码与对所有个体序列的条件熵普适性，较新颖且证明完整。
Basis Selection For Analog Coded Computing Under Differential Privacy Constraints
说明差分隐私约束下模拟编码计算的基函数选择：在保证精确重构的同时调整编码基函数以兼顾隐私与精度
简介本文研究模拟编码计算中编码基函数的选择。作者指出，基函数不仅影响重构与数值稳定性，还决定合谋工作节点可获得的观测统计结构，从而影响数据隐私。作者放宽拉格朗日基的全部正交约束，提出一族可保证精确重构的广义多项式编码基，并推导了基于基函数的差分隐私刻画，通过数值优化在给定(ε,δ)-DP要求下选择数据与噪声基函数。数值结果显示，在相同隐私水平下，优化后的基函数相比传统ALCC显著降低了浮点重构误差。
Waveguide Deployment Optimization for Pinching-Antenna Systems
说明面向夹断天线系统的波导部署优化
简介本文研究夹断天线系统中波导的长期部署优化问题，以矩形服务区域为对象。作者在双波导情形下给出闭式充分条件，说明在何种波导高度与区域长宽比下，与服务区域长边平行的部署是全局最优；在多波导情形下，对各波导的朝向与偏移进行联合优化，并提出自适应交换算法。数值结果显示，在中等高度区间非平行部署可带来明显增益，而在其他区间平行或集中于中心的部署更为有利。
Pangolin: Efficient DAG-based BFT State-Machine Replication with TEE-Accelerated Commitment
说明Pangolin：借助可信执行环境加速提交的基于DAG的高效拜占庭容错状态机复制协议
简介该论文提出Pangolin协议，面向基于有向无环图（DAG）的拜占庭容错系统，提供原子广播层及完整的状态机复制框架。它利用可信执行环境，仅需2f+1个副本即可容忍f个拜占庭故障，并通过紧凑的执行证明让客户端高效验证回复。评估显示，其相对Mysticeti的平均延迟加速为1.27倍，最高可达1.52倍。
Bridging In-Situ Visualization to Game Engines: From ParaView Catalyst via ANARI to Unreal Engine
说明把原位可视化连接到游戏引擎：从 ParaView Catalyst 经 ANARI 到虚幻引擎
简介本文提出一条无需落盘的原位（in-situ）流水线，把高性能计算模拟数据通过 ParaView 的 ANARI 渲染接口接入虚幻引擎 5。修改后的 ANARI-USD 设备在内存中捕获 USD 场景图，经嵌入式 ZeroMQ 代理发送给可视化客户端，由配套的 JuSync 中间件解析几何并在运行时交给引擎渲染。该设计使模拟与可视化解耦，客户端可随时连接或断开。研究在于利雄研究中心的 JURECA-DC 超级计算机上，以含数千万粒子点云的自由电子激光模拟数据进行了演示。
Corrections to ``The Method of Gaps: Exact Expressions for the Generalization Error of Supervised Learning Algorithms''
说明对《间隙方法》论文的更正：指出其引理5存在反例，并给出更一般的表述
简介本文指出原论文（《间隙方法：监督学习算法泛化误差的精确表达式》）中引理5存在反例，因此原有的数据驱动间隙方法需要额外假设。作者提出了一种不依赖该引理、也不要求训练样本独立同分布的推广形式，使该方法适用于更广泛的数据分布和随机化学习算法。
★★★★☆ 值得关注
A Hyperplane Bound and Ward's Divisibility Conjecture
说明超平面界与 Ward 可整除性猜想
简介本文针对 q=p^f 元线性码，证明满足 Griesmer 界且维数为正、最小距离 d≥1 的码，都是 p^{max{0,ν_p(d)−f+1}}-可整除的，从而确认 Ward 的猜想。论文的核心是一个与维数无关的超平面界：在特定条件下，非零且标量不变的函数最多只能在 p^s(q−1) 个线性超平面上恒为零。作者还说明了这一论证与此前一份未发表证明的区别。
看点证明了Ward关于Griesmer界线性码整除性的猜想，给出维数无关的超平面界并结合多种论证，证据完整但影响限于编码理论子领域。
GeoTrain: Energy-Aware Automatic Parallelism for Foundation Model Training on Heterogeneous Geo-Distributed Resources
说明GeoTrain：面向异构跨地域GPU资源的能耗感知自动并行基础模型训练
简介该论文提出GeoTrain系统，用于在地理分布、性能异构的GPU环境中训练基础模型。它同时选择GPU、划分模型层并确定流水线配置，并兼顾训练速度与能耗。实验中，GeoTrain相较现有先进方法可显著降低单次迭代时间和能耗。
CEMA-Router: Infrastructure-Aware Batch Routing for LLM Inference in Cloud-Edge Systems
说明CEMA-Router：面向云边系统中大模型推理的基础设施感知批量路由
简介本文提出 CEMA-Router，一种用于云边系统的大语言模型推理批量路由方法，同时考虑回答质量损失、费用、能耗和批次完成时间等多个目标。该方法采用结合贪心播种与进化修复的memetic算法进行搜索，并实现了包含请求管理、路由服务和性能分析器的端到端系统。在 GSM8K 和 MMLU 工作负载的异构云边测试环境中，相比现有方法，加权目标最多降低 86%（GSM8K）和 80%（MMLU），能耗最多降低 33% 和 19%，批次完成时间最多降低 27% 和 30%。
Holistic Buoyancy-Driven Cloud Native Resource Management
说明基于浮力驱动的整体化云原生资源管理
简介多租户云环境中，工作负载会争抢末级缓存和内存带宽等共享资源，拥塞情况随负载构成而动态变化。本文利用工作负载浮力（一种在运行时捕捉工作负载对各项资源及应用性能敏感度的框架），将其纳入调度、节点本地资源分配和重新调度的全生命周期。作者以 Kubernetes 原生原型在多节点集群上评估，高拥塞场景下满足 SLO 的工作负载比例平均由 7.74% 提升至 87.8%，并降低了资源拥塞和集群碎片化。
Fault-Tolerant Offloading Framework for Real-Time Applications in Mobile Edge Computing
说明移动边缘计算中面向实时应用的容错卸载框架
简介本文研究在带回传网络的移动边缘计算系统中，受截止期限约束的任务卸载与资源分配问题，目标是最大化所有任务的推理精度提升总和。作者将该问题建模为整数线性规划并证明其为NP难问题，提出线性时间的近似算法FastSA，并设计了应对回传链路和边缘服务器故障的检测与恢复框架。实验使用图像分类负载和真实出租车轨迹数据进行评估。
★★★★☆ 值得关注
New Maximum Hermitian d-Codes and New Invariants from Skew Polynomial Rings
说明新的最大埃尔米特 d 码与来自斜多项式环的新不变量
简介本文研究埃尔米特矩阵空间中的最大秩距码。作者构造出各种可行长度与最小距离下的加性最大埃尔米特秩距码，填补了先前研究中一个未解决的存在性情形。构造在由斜多项式环商得到的带酉对合的中心单代数中完成，并引入新的不变量用于判断加性埃尔米特码的等价性；这些不变量显示所构造的码中有大量两两不等价的码。
看点解决了Hermitian d码存在性的最后一个公开情形，并借助斜多项式环构造并引入新不变量，理论贡献明确但适用范围在编码理论内。
Sustainable and Envy-free Multi-Period Allocation
说明可持续且无嫉妒的多期分配：一种考虑资源未来可再生性的公平分配问题研究
简介本文研究可再生资源在多个时期内的公平分配问题，资源数量随时间按更新函数变化，分配需满足可行性与容量约束，并在整个时间范围内无嫉妒。作者从智能体数量、资源数量和时期数量三个维度分析求解此类分配的计算与参数化复杂性。结果显示，即使其中一个维度固定为常数，问题在一元编码下仍为 NP 难，其余情况则取决于维度组合、更新函数类别及数值编码方式。
On the Adaptive Covering Complexity of Strings: Unifying Relative and Self-Referential Compression
说明论字符串的自适应覆盖复杂度：统一相对压缩与自引用压缩
简介论文提出“自适应覆盖复杂度”，指把字符串切分成最少连续片段的数量，每个片段可取自固定外部字典或已解码的前缀。作者证明动态自引用最多可将片段数降低一个指数因子，并给出与相关LZ77、相对Lempel-Ziv变体的结构等价关系及最优贪心切分的证明。文中还给出基于双后缀自动机、时间与空间为O(M+n)的实现，并讨论了字典选择的NP难性。
On the Information Bottleneck for Ergodic Finite-State Markov Chains: Stationary Approximation and Asymptotic Optimality
说明遍历有限状态马尔可夫链的信息瓶颈：平稳近似与渐近最优性
简介本文研究由离散时间遍历有限状态马尔可夫链产生的信源的信息瓶颈问题。作者提出把时变马尔可夫链产生的观测视为来自其唯一平稳分布的样本，用平稳过程的信息瓶颈解来压缩时变过程的样本。误差由若干信息间隙项上界给出，并建立了这些间隙收敛到零的充分条件，分析了各项的收敛速率。
Single-level reformulations for network pricing under Wardrop equilibrium with separable affine costs
说明可分离仿射成本下 Wardrop 均衡网络定价的单层重构
简介该论文研究在拥堵网络的部分路段设置通行费，以最大化网络管理方收入，并假设用户按 Wardrop 均衡选择路径。作者针对可分离仿射路段成本，利用 Beckmann 凸性刻画推导出三种新的单层重构模型，并给出用于验证最优性间隙的收入上界。在 Sioux Falls 和 Eastern Massachusetts 网络实例上的计算表明，基于路段的重构在时限内求得更多实例的最优解，路径型重构作为启发式也能给出接近最优的解。
An Event-Driven System Architecture for a 15-Minute Urban Flood Digital Twin: A Hanoi Case Study
说明面向河内15分钟城市洪水数字孪生的事件驱动系统架构：河内案例研究
简介该论文提出一个自动化城市洪水数字孪生原型，用于在数据有限的条件下以15分钟为周期更新积水深度信息。系统采用事件驱动的解耦工作流，串联由降雨条件触发的3Di水动力模拟，并通过空间服务与道路边缘积水发布供路径规划使用。在河内一场基于卫星降雨估计的57次模拟回放中，每个周期均在15分钟期限内完成，论文结论侧重系统可行性，并未验证预测精度或路线安全性。
k-Submodular Cover Problem with a Matroid Constraint
说明带拟阵约束的 k-次模覆盖问题
简介该论文研究带拟阵约束的 k-次模覆盖问题：在 n 元基础集上选取 k 个不相交子集，使其并集为某拟阵的独立集，且 k-次模效用函数超过给定阈值，同时使总成本最小。作者提出拟阵扩展贪心算法，分析其双准则近似比，并在单位成本的特殊情形下给出改进的近似比。
★★★★☆ 值得关注
Optimal Priors for Betting Tests with Bounded Payoffs: An Exact Expected-Time Characterization
说明有界收益下赌博检验的最优先验：精确的期望时间刻画
简介本文研究以赌博方式进行假设检验的框架，通过先验分布把初始财富分配到固定赌注上。在一定技术条件下，作者给出了期望拒绝时间的精确公式，该公式在误差概率趋于零时对所有有界备择假设一致成立。文章刻画了能达到最优主导常数的先验，并说明了均匀先验可能需要任意多的观测数量。
看点给出有界收益下期望拒绝时间的精确渐近公式并刻画最优先验，显著改进了对未知备择的适应代价分析，证明较完整。
Finite BSC-Decomposition of Binary-Input Symmetric-Output Channels and Applications to Channel Simulation
说明二元输入对称输出信道的有限BSC分解及其在信道模拟中的应用
简介论文提出一种有限BSC分解方法，把任意二元输入对称输出信道表示为至多 ℓ+1 个不同交叉概率的二元对称信道（BSC）的混合。文中给出分解后各分量信道的加权平均容量比原信道容量高出的上界，并说明其主项在最坏情形下渐近最优。基于该分解，作者设计了任意此类信道的模拟方案，结合BSC的高效信道模拟算法，在模拟 n 个信道副本时，其通信速率相对容量的冗余为 O((log n / n)^{2/3})。
Frobenius Profiles of Polynomial-Multiple MRD Codes
说明多项式倍数MRD码的Frobenius剖面
简介本文研究由有限域上普通多项式倍数生成的最大秩距离（MRD）码的Frobenius交剖面。作者证明，在足够大的每个扩张域上，所有数值上可容许的剖面都能由该类码实现，且所用的根指数模式与扩张次数无关。文中还给出了适用于所有多项式生成元的下界，并指出在一族无穷参数上，上界与下界仅相差O_q(log n)。
PMR-Aided Shifted-Pruning SCL-Flip Decoding for CRC-Aided Polar Codes
说明基于后验质量救援的移位剪枝SCL-Flip译码（用于CRC辅助极化码）
简介本文针对CRC辅助极化码提出一种后验质量救援（PMR）辅助的移位剪枝SCL-Flip译码器。当CRC辅助SCL和差分度量移位剪枝恢复都未能找到通过CRC校验的候选路径时，该方法基于估计的后验质量，对初始CA-SCL阶段保存的被丢弃前缀进行局部续译，且不增加移位剪枝的重试次数。仿真显示，在所评估的恢复预算下，其观测误帧率低于SCLF-Diff（T=15）及所考虑的文献基线，并接近SCLF-Diff（T=20）；但最坏情况路径步数上界更大。
★★★★☆ 值得关注
Hardness Amplification for Approximate Nash Equilibrium with Constantly Many Players
说明常数玩家数下近似纳什均衡的难度放大
简介该论文针对固定的 ε 和 η，证明在对称二元收益博弈中，计算 (ε,η) 弱近似纳什均衡需要拟多项式时间（假设确定性 PPAD-ETH 成立），即使玩家数量是常数。论文的主要技术是一个从双矩阵博弈到对称二元收益博弈的误差放大归约。结合 Rubinstein 的双矩阵难度结果，可得到 N^{(log N)^{1-o(1)}} 的确定性最坏情况运行时间下界。
看点通过误差放大归约把双矩阵博弈的困难性推广到常数人数的对称博弈，给出准多项式时间下界，证明严谨，对复杂性理论有实质推进。
Heuristic-Driven Resource Optimization for Decoupled Memory Channels on FPGAs
说明面向 FPGA 解耦内存通道的启发式资源优化
简介本文扩展了一个基于 LLVM 的静态分析框架，加入硬件感知的启发式细化层，用于为 FPGA 上解耦访存-执行（DAE）架构确定 OpenCL 通道深度。作者发现，基线内存停顿较多的网格类内核在通道深度最小时即可达到峰值性能，深度增大后吞吐量最多下降 61%。以 HotSpot 应用为例，该方法使资源效率提升 2.52 倍，同时保持峰值加速。
From Formulation to Articulation: Considerations for AI-Assisted Research in Information Theory
说明从问题表述到结果阐释：信息论中AI辅助研究的考量
简介本文探讨人工智能在信息论研究中的不同参与方式，如提出证明思路、参与数学对话、协调计算或作为搜索框架的一部分。文章提出四阶段框架：问题如何表述、AI如何参与求解、结论如何验证、机器输出如何转化为便于人类理解的数学阐述。作者建议论文披露各阶段AI的参与性质与程度，分别报告解析推理的验证与数值计算的核验，并更加重视对思想、技术与解释的阐述。