分布式计算、博弈论、信息论等。
说明匿名博弈中精确与近似纳什均衡的计算复杂度
简介该论文证明：对任意固定有理数 c>0，在 n 人两策略匿名博弈中计算 2^{-n^c} 近似纳什均衡是 PPAD 完全问题，即使在较受限的博弈设定下仍成立。作者用系数估计近似模拟电路约束；为精确计算，在三策略情形中用多项式求根精确实现电路门，由此得出精确均衡计算的 FIXP 完全性及近似意义上的 FIXP_a 完全性。
看点证明了指数级精度逼近均衡的PPAD完全性及精确计算的FIXP完全性，显著推进了匿名博弈复杂性的已知界限，证明严格完整。
说明旋转不变噪声下矩形尖峰矩阵模型的信息论极限
简介本文研究在加性旋转不变噪声下，矩形秩一尖峰矩阵模型推断的信息论极限，不再假设噪声元素相互独立。作者利用统计物理中的复本方法，给出信号与数据之间互信息的变分公式，并给出预测最小均方误差的鞍点方程组。在贝叶斯最优设定下，这些方程与一种正交近似消息传递算法状态演化的不动点方程一致，并通过数值计算与有限规模模拟加以验证。
说明基于信道分布预测的大规模MIMO生成式深度学习CSI反馈
简介本文针对大规模MIMO系统中的信道状态信息（CSI）反馈问题，提出一种预测辅助编码框架，依据预测的信道分布与实时观测对CSI进行自适应编码。该方法将每帧CSI表示为多个不依赖历史CSI的令牌，并用因果Transformer预测下一帧令牌的条件分布，再以变长熵编码传输。实验显示，相比现有利用历史信息的方法，该框架可减少约72%至84%的反馈开销，同时重建精度更高，且在随机游走轨迹下仍能保持精度。
说明改进的大规模并行最短路径计算
简介本文在大规模并行计算（MPC）模型中提出了求带权无向图近似最短路径的新算法，可构造 O(1) 近似的单源最短路径查询器，回答距离查询只需 O(1) 轮。在近线性与异构两种内存设定下，所需轮数分别为 O(log log n) 和 O(log² log n)，优于 Dory 和 Matar（SPAA 2024）的结果。
说明基于ITU-R VSAT辐射图的卫星系统RIS集成研究
简介本文提出一种简便的工程方法，通过考虑天线辐射图和系统拓扑来优化可重构智能表面（RIS）的位置与朝向，以在不使用有源元件的情况下缓解反射链路中的双重衰落，并利用RIS的菲涅耳区。文中给出结果：直径1米的VSAT在2 GHz（S频段）增益可达9 dB，在4 GHz（C频段）可达14 dB。此外，论文还改进了RIS信道方程，纳入对流层衰减并考虑电磁波极化。
说明StageBreaker：将视频强化学习后训练的调度从阶段级细化到数据依赖级
简介论文提出 StageBreaker，一个面向视频强化学习后训练的细粒度调度框架。它按照强化学习步骤中真实的数据流而非粗粒度阶段进行调度，使策略训练与奖励评估重叠，并把两次轨迹回放合并为一次，同时在更细的粒度上平衡 GPU 负载。实验结果显示，相比阶段式执行，其加速比最高可达 1.41 倍。
说明论多数化单纯形上的差异度量
简介本文研究多数化单纯形（按非递增顺序排列的概率向量集合）上的差异与相似度量。作者分析了基于Rényi熵的距离d_α：当α≥1时它是度量，α取其他值时一般不是；并给出α>1时三角不等式取等的充要条件。此外，文章给出了全变差距离与Hellinger亲和度的若干界及其取等条件，其中由Hellinger亲和度导出的全变差上界，在某些情况下可小于Pinsker不等式和Bretagnolle–Huber不等式给出的界。
说明带意见图的选民模型：一种含有界信任的意见动力学模型
简介本文研究带意见图的选民模型，它是标准选民模型的推广，加入了有界信任机制。智能体只有在彼此意见在意见图中相邻时才会采纳对方意见。文章分析了普通与有生产性的两种EdgeVOG过程，给出了稳定时间的上界，并讨论了意见存活概率以及单一意见所能获得的智能体数量上限。
说明可重构智能表面阵列因子的性质：用于无线电通信的分析
简介本文研究可重构智能表面（RIS）在天线设计中的阵列因子性质，说明相位偏移对建立反射路径的重要性。文中还探讨了需要相同相位偏移的空间位置、阵列因子零点的产生、总主瓣数量、第二主瓣幅度以及3dB带宽的计算。这些分析对RIS辅助的无线电通信系统有参考价值。
说明NRT度量下超导数里德-所罗门码的覆盖半径与深洞
简介本文研究超导数里德-所罗门（HRS）码在Niederreiter-Rosenbloom-Tsfasman（NRT）度量下的覆盖半径与深洞问题，深洞问题是编码理论的基本问题。作者确定了HRS码的NRT覆盖半径，并通过最大距离可分（MDS）扩张和多项式余式条件刻画其深洞。文中还给出三类显式深洞构造，提出针对该码的Cheng-Murray型猜想，并在若干特例下给出精确的计数公式。
说明PRB-WM：用于真实时变水声信道预测式链路自适应的物理正则化Beta世界模型
简介该论文针对水声通信中反馈信道状态信息过时的问题，提出PRB-WM模型，用随机潜空间动态模型预测信道演化，并为每种调制编码方案评估误码分布，再用带机会约束的滚动时域控制器选择频谱效率最高且满足误码率约束的方案。在六条实测海试链路的闭环回放中，该方法的平均吞吐量比最强基线高出87%，并在误码违约风险上满足约定要求。
说明在 O(√Δ+log* n) 轮内完成分布式 (Δ+1) 着色
简介本文提出一种确定性分布式算法，可在 LOCAL 与 CONGEST 两种模型下，于 O(√Δ+log* n) 轮内为最大度为 Δ 的 n 个节点图完成 (Δ+1) 着色。算法结合 Barenboim 的多项式着色过程、arbdefective 分解、度数降低与一类短哈希函数族。作者还给出了基于无损扩展图的显式变体，可避免穷举搜索。
看点改进了确定性分布式(Δ+1)着色的已知轮数界，从O(√Δ log Δ)降至O(√Δ)，并给出证明与显式变体，理论结果有实质推进。
说明先验信息暴露下的隐私保护状态估计器设计
简介本文研究离散时间线性随机系统在攻击者掌握先验信息时的隐私保护状态估计问题，采用逐点最大泄漏（PML）衡量隐私。作者指出稳态卡尔曼滤波器在不加释放噪声时泄漏最多，给出了$(\varepsilon,\delta)$-PML隐私所能保证的稳态估计误差下界，并推导了保证隐私的释放噪声充分条件。最后通过半定规划联合设计估计器增益与释放噪声协方差，并在源-负荷电力系统上进行了仿真。
说明多函数近似编码计算：构造方法与误差界
简介本文研究分布式计算中的编码计算，用于应对落后节点问题。针对模拟域中多个任意（包括非多项式）函数的单轮计算，作者将已有的多函数方法扩展到 BACC 框架并给出近似误差界，随后基于 Berrut 基函数提出新构造并推导其误差界。数值比较显示，在测试设置中，所提构造的相对误差低于现有方法。
说明CALIPER：校准HPC/AI网络模拟器的方法
简介该论文提出CALIPER方法，用于系统地校准和验证HPC/AI网络模拟器。方法区分可直接观测的系统参数与需通过校准配置的辅助参数，并将后者约束在与目标系统一致的可行范围内。在于利希超算中心最多64个节点的参考系统上，使用集合通信基准测试评估后，校准后的参数对系统性能的预测平均误差低于5%，且在scale-up与scale-out网络场景中均成立。
说明一计数器语言的部分ω-幂在差分层级中的完全性结果
简介本文研究有限字母表上由一计数器自动机接受的有限语言，其ω-幂在差分层级中的完全性。作者证明对任意自然数n、k≥1，存在这样的语言U_{n,k}，使其ω-幂是D_{2n-1}(Π^0_k)-完全的。文中还给出关于对偶类D^-_{2n}(Π^0_k)的条件性结论，并补充了有理Δ^0_2 ω-幂的Wadge度的一个条件结果。
说明太空AI基础设施：边缘计算与轨道云的融合
简介本文提出“太空AI基础设施”（SpaceAI-Infra）的发展路线，即将人工智能与航天技术结合，把星载智能扩展为全球性基础设施。文章分三阶段阐述其演进：星载AI、太空边缘AI和太空云AI，并提出由近地轨道星座构成的通信型太空边缘与晨昏太阳同步轨道上编队飞行的计算型太空云相结合的架构。案例研究显示，该架构可支持全球数百万并发用户的数据中心级基础模型推理。
说明SP-Allreduce：面向环面网络及更广泛拓扑的对称树调度算法
简介本文提出 SP-allreduce，一种用于 d 维环面网络（torus）的全归约（allreduce）通信算法，利用拓扑对称性且只沿最短路径传输数据。作者证明该算法在所有完全带宽最优的算法中轮次数最少，因而运行时间最短，并将其思路推广到更多对称拓扑。实验表明，在所测配置下，它在方形和矩形环面上分别最高提升 1.19 倍和 1.65 倍，在 HyperX 与 spine-leaf 网络上分别最高提升 14.82 倍和 1.72 倍。
看点提出对称最短路径树的allreduce，证明在全带宽最优算法中轮数最少，比Bucket减半；实验覆盖多种拓扑并给出加速比。
说明从标称算力到可交付算力：D-PIN SCU 动态计量系统的设计、校准与验证
简介本文提出 D-PIN 标准化算力单元（D-PIN SCU），用于衡量异构分布式网络实际可交付的算力，而非芯片标称规格。系统结合五维资源归一化、拓扑感知与运行时修正的计量方法，并在张江科学城生产节点上完成端到端验证，涵盖 10 台 8 卡服务器共 59.5 D-PIN SCU。作者指出结果仅基于单个生产节点，且经验校准的芯片数值与数据手册存在明显差异。
说明强相位噪声信道下基于对数密度谱的极化码译码方法
简介本文提出一种用于强相位噪声信道的极化码译码方法。与传统在概率等标量软信息上递推的SC译码不同，该方法在相位噪声变量上的概率密度函数层面进行递推，并用对数密度的谱表示来降低计算复杂度，称为对数密度谱递推（LDSR）。数值结果表明，在强相位噪声和AWGN信道下，LDSR的误码性能明显优于传统SC译码和基于卡尔曼滤波的方法。
说明交互越多通信越高效：面向任务通信的有向信息瓶颈方法
简介该论文提出一种变分有向信息瓶颈联合信源信道编码框架（VDIB-JSCC），只传输接收端尚未获得的新信息，以减少与此前已传内容的冗余。作者用有向信息刻画任务相关增量信息的因果流动，并在 CIFAR-10 和 CIFAR-100 视频流实验中显示，该方法以更少的传输信息获得了比现有语义通信方法更高的分类准确率。
说明扭曲里德-所罗门码的广义汉明重量与子码支撑重量分布
简介本文确定了两类扭曲里德-所罗门（TRS）码的广义汉明重量层次结构。对于单扭曲TRS码，给出了广义汉明重量的所有可能取值，并用对偶码的最小距离完整刻画了重量层次，同时推导出显式条件。对于双扭曲TRS码，同样确定了完整的广义汉明重量层次。此外，还给出了单扭曲TRS码子码支撑重量分布的显式公式。
说明HeteroVDiff：在移动端 NPU 与 GPU 之间共享权重、流水线化运行视频扩散模型
简介本文提出 HeteroVDiff，用于在手机上的 NPU 和 GPU 之间共同运行多专家视频扩散模型。系统把基础权重以 INT8 只存一份，并将去噪过程切分为两段，前段由 GPU 执行，后段由 NPU 执行，两者并行工作。论文报告其权重内存比各自保存一份副本少 48%，在 Galaxy S25 上连续生成视频时吞吐量为仅用 NPU 的 1.35 倍，并在 VBench-2.0 的 18 个维度总分上与 FP32 相当。
说明利用少量子空间投影纠正RM码中结构化错误模式的RPA译码
简介该论文研究Reed-Muller码的递归投影聚合（RPA）译码器，考察错误数小于最小距离一半的情形。作者指出，对于结构化错误模式，通过选择合适的投影子空间，可以减少每层递归所需的子空间数量。当错误为长度小于最小距离一半的单个突发时，每层三个子空间即可完成纠错。
说明学习规则与记忆事实：幻觉的信息论视角
简介该论文从信息论角度研究泛化与幻觉之间的关系，提出一个基于选择器密度条件互信息的分析框架。作者将模型与数据之间的互信息分解为规则学习、原子事实记忆和过度记忆三部分，并分析两者之间的竞争关系。论文还给出了原子幻觉的联合预算约束，并通过高斯模型与关系型实验，探讨训练暴露、规则复杂度与模型容量对这些权衡的影响。
说明多GPU通信的新视角：面向可移植优化的API级内存模型
简介论文指出，网络通信已成为机器学习和高性能计算的瓶颈，而设备端通信库（如rocSHMEM、MSCCL++等）缺乏严格的内存模型。作者提出为这类设备通信API定义API级内存模型，并在AMD开源的rocSHMEM中实现了一个模型。文中称，通过放宽该模型以支持网络数据绕过缓存，在集合通信、计算与通信融合及专家并行通信等负载上分别获得最高2.48倍、1.77倍和1.18倍的性能提升。
说明基于F2+uF2上双循环LCD码及二元LCD码构造
简介本文研究有限链环F2+uF2（u²=0）上的双循环线性互补对偶（LCD）码，即与其对偶码仅交于零元的线性码。作者利用中国剩余定理与x^n-1的因式分解，给出了显式计数公式，并单独处理x-1对应的分量。通过把Gray像与已知扩展构造相结合，文中得到二元LCD码参数[29,15,7]，并构造出两个置换不等价的[45,23,9]二元LCD码。
说明子步骤可线性化：在保持顺序规范的同时放松原子性
简介本文针对并发对象的正确性条件线性化（linearizability）提出一种放松方案，称为子步骤可线性化（substep linearizability）。作者指出，原子交换器等操作无法以原子方式定义，而现有的区间可线性化（interval linearizability）虽然强大，却需要难以正确编写和理解的区间顺序规范。文中证明子步骤可线性化与区间可线性化等价，并用于评估原子交换器、非可线性化队列结构以及数据库事务之间的快照隔离。
说明线性阈值函数及其复合的傅里叶熵
简介论文证明了每个线性阈值函数都满足傅里叶熵-影响不等式，常数小于 8.937，且对权重和阈值没有限制。结果还扩展到正则布尔函数及其组合，并处理了在任意乘积测度下的对称阈值函数的读一次复合。
看点证明了所有线性阈值函数的傅里叶熵-影响不等式并给出常数上界，并推广到布尔组合与读一次复合，理论界限改进显著。
说明在成本高效的实验设计与未知变化后模型下的鲁棒最快变化检测
简介本文研究最快变化检测问题：决策者可使用多个实验，但每次只能选择一个来检测变化。各实验下的变化后分布未知，但已知属于某一分布族，且每个分布族中存在一个定义明确的最不利分布。作者基于这些最不利分布设计算法，并证明当虚警率趋近于零时，该算法是一阶渐近最优的。该算法在虚警前平均运行长度的约束以及变化前各实验执行时间比例的约束下，使所有分布族内变化后分布的最坏情况平均检测延迟最小。
说明延迟-多普勒对偶：在时域或频域精确均衡Zak-OTFS的简化方法
简介本文研究Zak-OTFS无线通信中的均衡问题。作者证明延迟-多普勒信道矩阵可通过离散Zak变换等价为带状的时域或频域矩阵，并据此设计可精确求解且复杂度随帧长线性增长的接收机。仿真结果显示，其误码率与直接的延迟-多普勒LMMSE均衡一致，而乘法运算量减少三到四个数量级。
说明支持集受限随机响应的精确隐私-失真设计
简介本文研究输出被限制在私有输入某半径邻域内的随机响应机制，指出有序字母表上全支持机制会带来不必要的报告失真。作者在仅对距离不超过H的输入对成立的近似局部隐私下，推导出该机制精确的hockey-stick缺陷，并联合设计真实报告概率、非真实报告概率与支持半径。
说明基于学习的UD-IaaS-FaaS系统工作流多目标可扩展调度
简介本文研究在用户设备、IaaS与FaaS组成的混合边云环境中调度工作流的问题，目标是同时优化完成时间、能耗和成本。作者将其建模为多目标混合整数线性规划，并提出结合图神经网络、代理性能模型与多样本REINFORCE的学习框架。在Pegasus Montage工作流的真实测试平台实验中，相比遗传算法和贪心调度，完成时间降低10%至17.5%，能耗降低3%至9%，成本降低4%至10%，且与MILP最优解的差距在3.5%至5.6%之间。
说明多GPU迭代求解器的通信方案：让CPU不再主导执行
简介本文提出一种完全自主的多GPU执行模型，除初始内核启动外，完全不需要CPU参与。作者利用持久内核、线程块特化、设备端屏障和设备发起的通信等现有技术，实现减少通信开销的自主多GPU代码。在2D/3D Jacobi模板计算和共轭梯度法（CG）两种迭代求解器上的实验显示，在8块NVIDIA A100 GPU上，3D模板计算的通信延迟降低58.8%，CG的速度提升1.63倍。
说明对称信道近似模拟的精细渐近分析
简介本文研究正态近似区间内的近似信道模拟问题，所需码本大小与信道的平滑最大互信息相关。作者针对Gallager对称的离散无记忆信道，给出了第三阶展开的精确形式，并指出第三阶项与信道性质有关。与信道编码的结果相比，奇异信道与非奇异信道之间的速率差距方向相反：奇异信道的第三阶项为-(1/2)log n，非奇异信道为O(log log n)。
说明仿射限制下的高阶非同态性：研究布尔函数在仿射子空间上限制后的高阶非同态性，并确定阈值函数的相关结论
简介本文研究布尔函数限制到仿射子空间后的k阶非同态性（P_k）。作者定义了t-限制k阶非同态性P_{k,t}(f)，并对由次数至少为2的m个单项式直和构成的函数精确求出该值：当t<m时，最小值通过在t个最低次单项式各设一个变量为零获得；当m≤t<n时最小值为零。文中还给出布尔函数在任意余维仿射子空间上的Walsh变换公式，并证明非仿射函数存在阶数更低的超平面限制；最后确定了n≥3时所有阈值函数的归一化非线性度，解决了前人留下的两个阈值函数猜想。
说明基于强化学习调度的低延迟量子LDPC码置信传播译码
简介本文针对量子LDPC码的置信传播（BP）译码，提出桶式强化学习顺序调度方法B-RL-S。该方法将学习到的Q值量化为整数优先级，并用动态维护的先进先出桶来调度变量节点更新，无需重新训练或改变BP消息更新规则。在[[288,12,18]]双变量自行车码、去极化信道p=0.05的条件下，使用八个优先级的B-RL-S，其误块率约为平坦BP加10阶有序统计译码的五分之一，且无需额外后处理阶段。
说明选择性隐私下的残余信息泛化界：扩展版
简介本文研究独立同分布样本对 (X,Y)，学习者观察到 (X^n,Y^n)，对 X^n 的信息泄露至多为 ε_n 奈特，同时在 Y 上产生损失。作者通过链式法则推导出闭式通用上界 I(W;Y^n) ≤ min{nH(Y), nH(Y|X)+ε_n}，并结合互信息泛化界得到由剩余任务不确定性与归一化隐私泄露决定的泛化界。论文还给出了相应的反演结果，并证明在特定源族下 √(ε_n/n) 的泛化速率在常数因子内是紧的。
说明二元扩域上 Reed-Solomon 码的超多项式列表：在固定码率下，列表规模可超过多项式增长
简介本文研究二元扩域上的普通 Reed-Solomon 码的列表解码。作者证明，对任意固定码率 0<R<1，存在正常数 ε_R，使得对足够大的 h，域 F_{2^h} 上的全域 Reed-Solomon 码中存在一个接收字，其在相对距离 1-R-ε_R 内对应 n^{Ω_R(log n)} 个码字。这说明在素数域上成立的多项式规模列表结论，不能推广到所有底层域。
看点通过二进制BCH重量枚举对应关系构造RS码的超多项式列表下界，给出所有固定速率的反例，证据为严格组合构造与推广论证。
说明基于物品互补偏好的公平分配
简介本文研究代理人对物品组合（而非单个物品）具有二分次模偏好时的公平分配问题，该偏好可自然扩展已有模型，并适用于课程分配等场景。作者证明计算功利主义或纳什最优分配是NP难的，但当互补组合大小至多为k时，存在多项式时间算法可计算近似最优分配。论文还指出，此设定下可在多项式时间内计算近似最大功利社会福利的EF-X分配，并给出每位代理人的效用下界。
看点将二分偏好扩展到物品互补的群组，证明计算效用或纳什最优分配为NP难，并给出近似算法与EF-X结果，理论贡献明确。
说明VT码在两次插入或两次删除下的平均列表大小
简介本文研究二进制VT码在插入与删除错误下的列表译码问题，参照McEliece的平均列表大小问题进行分析。作者考察长度为n的VT码在两次插入下的平均返回码字数上界为(n+12)/4，在两次删除下的平均下界为n/2−10。两者约相差一倍，表明从平均角度看，插入错误比删除错误更容易进行列表译码。
说明原生双池还是共享分页？并发混合大模型推理的内存组织方式比较
简介本文比较了混合注意力与状态空间模型（SSM）推理中的四种内存组织方式，并在修改后的 vLLM 运行时中实现。研究发现，从共享分页到循环状态分页再到卷积槽打包的逐步改进，在主要工作点上提高了输出吞吐量并缩短了尾部完成时间。循环状态检查点的可用性被确认为复用的限制因素，但保留状态续写的正确性仍未解决。
说明Rényi熵的尖锐Rogers–Shephard不等式：关于两个独立对数凹随机向量差的熵上界
简介本文证明了Rényi微分熵的加权Rogers–Shephard不等式：对独立的对数凹随机向量X、X'，对所有a、b>0与1≤p≤∞，成立h_p(aX−bX')≤h_p(X)+n·log(a+b)。p=1对应Shannon熵，p=∞对应最小熵。该结果解决了Madiman与Kontoyiannis提出的熵Rogers–Shephard猜想。对0<p<1，高维单纯形上的均匀分布会违反无权重界，因此p=1是该界成立的临界阶数。
看点证明了Rényi熵的尖锐Rogers–Shephard不等式并解决了Madiman–Kontoyiannis猜想，给出完整证明与等号刻画，理论突破明显。
说明DualColl：基于分数树打包的带宽受限集合通信吞吐最优方法
简介该论文针对大规模分布式训练中带宽受限的AllReduce集合通信，提出DualColl框架，直接优化AllReduce而非先组合AllGather与ReduceScatter。方法采用乘法权重算法，并通过精确的最小代价树求解器把物理链路对偶价格投影到参与节点的逻辑图上，理论上可达到最优吞吐的(1-ε)²倍。论文还将该框架扩展到局部等下一跳路由及无显式带宽控制的网络，并支持其他集合操作和多个并发集合组。
说明纠正突发错误及其在 DNA 数据存储中的应用
简介本文提出排列突发错误纠正问题，动机来自使用纳米孔测序的分子数据存储。排列突发错误会打乱一段长度为 k 的子串中的元素，作者研究如何利用其保持权重的特性来降低经典突发纠错码（如 Fire 码和 Reed-Solomon 码）的冗余度，并给出冗余度下界、渐近上界及构造方法。
