分布式计算、博弈论、信息论等。
说明权重受限冗余校验对随机规则LDPC码剥离译码的极限
简介本文研究二进制删除信道上的剥离译码，允许任意增加冗余校验，但每个校验的行权重受限。针对随机简单二进制规则低密度奇偶校验（LDPC）码，考虑由权重不超过给定值的全部非零对偶码字构成的校验矩阵。结果表明，在一个显式的对数行权重范围内，这一完整冗余校验族与原LDPC矩阵的渐近归一化残差阈值相同。
看点证明在对数行重范围内，全部低权重冗余校验的剥离阈值与原LDPC矩阵渐近相同，并给出行重不可避免的渐近下界，理论上较新且证明较严格。
说明基于极值分布的流体天线信道拟合策略，用于精确评估中断性能
简介本文提出一种面向中断概率（OP）评估的流体天线系统（FAS）信道拟合方法，用极值分布刻画单天线FAS信道。方法采用组合极值分布（CEVD），以广义帕累托分布描述左尾、广义极值分布描述整体，并设计对数域误差的修正均方误差准则，同时在累积分布函数对数上均匀取点。仿真结果表明，该策略在超低中断概率区间显著提高了OP评估精度。
说明四个随机变量 Ingleton 分数的改进上界
简介本文针对四个有限离散随机变量，把 Ingleton 表达式取负后除以联合熵，证明其值至多为 19/124（约 0.15323），优于此前报告的 3/19 上界，改进了 11/2356。证明使用了一个包含四个复制步骤和六个辅助变量的复制程序，并以精确有理数线性规划证书进行验证。作者还表明，Dougherty-Freiling-Zeger 与 Csirmaz 两个已发表的信息不等式可推出 5/32 的界。
说明安全多接入编码缓存：提升方法
简介本文提出一种构造安全循环多接入编码缓存方案的方法：将安全单接入方案的缓存重新编码，并保持其组播消息不变。每个用户可读取连续的 L 个共享缓存，在恢复所需文件的同时不泄露其他文件的任何信息。文中给出了确定性和随机化两种编码器，并在适当的有限域上达到分块存储的最小值。作者还证明了可实现的内存-速率族的近似保证，并给出了 L=K-1 时权衡的精确证明。
说明HiNa-MoE：在带矩阵引擎的 CPU 上进行高性能、非侵入式 MoE 推理
简介本文提出 HiNa-MoE，一个面向支持 Intel AMX 的 CPU 的混合专家（MoE）推理算子库。它在保持标准权重布局的前提下利用 AMX 加速，并通过简单的页交错策略实现 NUMA 感知任务划分，无需修改框架分配器，还把解码阶段的矩阵-向量运算转为小规模矩阵-矩阵运算。论文报告，在多个 MoE 模型上，FFN 核函数最高加速 3.37 倍，端到端推理最高加速 2.09 倍，且可即插即用地接入现有框架。
说明CommuteProp：面向通信瓶颈的拆分式大模型微调的解耦训练方法
简介本文针对隐私保护的大语言模型拆分式微调中，客户端因等待服务器梯度而空闲、训练效率低的问题，提出异步拆分学习算法CommuteProp。该方法将训练解耦为跨模块前向反向传播与模块内权重更新两个并发阶段，使计算与通信重叠，把单轮耗时从各阶段延迟之和降为主要计算瓶颈。论文给出了异步误差与收敛性分析，并基于分析提出用于缓解陈旧梯度噪声的NS预条件方法。实验显示其吞吐量显著提升、精度与同步方法相当，并可作为即插即用模块增强现有隐私保护方法。
说明基于提升方法的半径受限安全设备间编码缓存
简介该论文研究在通信只限于附近用户的设备间（D2D）网络中，如何安全地进行编码缓存。用户的缓存与发送信号都不能泄露未请求文件的信息，同时仍能取回所需文件。文中给出了相应的构造方案，并在部分参数范围内给出了峰值总负载的理论下界与近似比保证。
说明你只需转换两次：面向链式张量模乘积的 Ozaki 方案 II
简介本文提出 OzII-RescaleBE 方法，使链式张量模乘积能在 Ozaki 方案 II 中以剩余数（residue）形式持续计算，中间张量无需反复转换为浮点数。方法只在链的开头转换一次、结尾重建一次，并基于 INT8 张量核心实现验证。在多组数据上，其法线相对误差在链深 d=3 至 7 时约为 10^-16 至 10^-15 量级，但在 d=8 时增至约 10^-13 量级；在吞吐量与显存占用方面，与 GEMMul8 库的两种基线相比各有优劣。
说明兼顾文件与需求隐私的近最优编码缓存
简介本文研究同时保护文件内容与用户需求隐私的编码缓存问题：每个用户只能获得自己请求的文件，且不能推知其余文件及其他用户的请求。作者给出一种方案，其最坏情况下的传输速率不超过最优值的9/2倍，并给出在不同缓存容量下的下界与精确结论。
看点在文件与需求双重隐私下给出近似最优编码缓存方案，并以熵论证给出近似紧的下界，理论改进显著。
说明社会最优并不意味着联盟稳定性：无权重 Max-k-Cut 博弈
简介本文研究无权重图上的 Max-k-Cut 博弈。作者证明，对于每个 k≥3，存在一个有限、简单、连通的无权重图，其最优着色并不是强均衡，即存在使全体参与者都获益的联盟偏离。该偏离会得到另一个同样最优的着色，但联盟外的参与者会受损，社会福利不变。文章还给出了联盟收益、割值变化与内部冲突之间的精确恒等式，并讨论了一般纳什均衡下强偏离的上界。
说明面向前传受限无蜂窝大规模MIMO网络的可扩展失真感知分簇方法
简介本文研究上行链路前传受限的无蜂窝大规模MIMO网络中、采用最大比合并（MRC）时的失真感知分簇问题。该方法仅依据大尺度衰落系数优化目标，利用渐近分析推导平均网络和速率的确定性等价表达式，并重点考虑量化失真。作者利用目标函数的结构设计了多项式时间算法以求得全局最优，数值结果表明其性能优于现有文献的改进方案，并与基于小尺度衰落的穷举搜索全局最优相当。
说明迈向微波模拟计算的 Lean 形式化
简介本文利用 Lean 证明助手，对微波模拟计算进行形式化。信号在微波网络中传播时可直接完成线性变换。作者形式化了混合耦合器和移相器等元件及其串并联连接，并证明了网络可实现变换的充要条件。文中还证明了任意 2 的幂次长度的离散傅里叶变换（DFT）可由这些网络实现，所有证明均通过 Lean 内核检验，代码已公开。
说明边缘感知、计算与通信的统一框架（空中计算联邦学习）
简介本文关注联邦学习中训练数据需先由边缘设备的异构传感器采集，采集质量与成本会影响学习效果。作者提出一个统一模型，涵盖空中计算（OTA）联邦学习系统中的感知噪声、能耗、时延与聚合失真，并给出非凸收敛界。基于该分析，文章建立了兼顾能耗、时延与学习质量的每轮优化问题，并通过交替求解方法处理，数值实验显示联合优化决策更有优势。
说明流体天线安全信道驱动星座（FASCC）：一种物理层安全方法
简介该论文提出一种用于下行通信的流体天线安全信道驱动星座框架（FASCC），信息通过流体天线的端口选择和相位调整生成的信道域星座点来传递。文中针对窃听者信道状态信息是否可用，提出了两种互补方案。数值结果显示，即使窃听者比合法用户更靠近基站，该框架在误码率和互信息保密性能方面仍能获得明显的保密增益。
说明约束微分博弈中的近似反馈纳什均衡：带上界保证的模型预测控制方法
简介论文针对多智能体控制中的反馈纳什均衡（FNE）计算难题，提出一种模型预测控制（MPC）方法，通过反复求解有限时域开环博弈来近似无限时域的FNE轨迹。方法引入辅助博弈以选择预测时域和终端代价，并通过约束开环博弈纳入硬约束。对于无约束情形，文中推导了MPC轨迹与FNE轨迹之间状态偏差的解析上界，并给出数值示例与基线方法比较。
